Вложения Альтернативных Теорий–Кандидатов в УГМ

Статус

Документ соотносит с УГМ конкурирующие подходы к квантовой гравитации. После аудита 2026-09-26 он доказывает [Т]: общую группу симметрий с M-теорией на $G_2$-многообразиях (T-170 (i)), инъективные кодирования конечных спиновых сетей и конечных каузальных множеств голонными состояниями (T-171, T-172) и универсальное свойство кинематического объекта УГМ (T-174). Он не доказывает, что эти теории восстанавливаются как пределы УГМ: соответствие статсумм с M-теорией — гипотеза [Г], а прежнее приёмное отображение из всякой теории в УГМ отозвано [✗].

---

1. M-теория на $G_2$-многообразиях

1.1 Математический контекст

M-теория, компактифицированная на 7-мерном многообразии $M_7$ с голономией $\mathrm{Hol}(M_7) = G_2$, даёт $N=1$ суперсимметрию в 4D (Acharya, 1998; Atiyah–Witten, 2001; Joyce, 2000). Ключевые результаты:

• Acharya (1998, hep-th/9812011): M-теория на компактном $G_2$-многообразии → $N=1$ 4D, калибровочные группы из сингулярностей.
• Atiyah–Witten (2001, hep-th/0107177): M-теория на $G_2$-многообразиях с коническими сингулярностями → хиральные фермионы.
• Halverson–Morrison (2015, 1507.05965): Систематическое извлечение калибровочных групп из $G_2$-компактификаций. $SU(3) \times SU(2) \times U(1)$ из $A$-$D$-$E$ сингулярностей на кокомпактных подмногообразиях.
• Acharya–Witten (2001, hep-th/0109152): $G_2$-компактификация как «M-theory on $G_2$» — систематический обзор.

1.2 Соответствие UHM ↔ M-теория

T-170: Соответствие с M-теорией — совпадение групп и конечная статсумма [Т], соответствие статсумм [Г]

Исправлено 2026-09-26 — аудит T-170

T-170 стояла как «[Т] на уровнях определённости M-теории» и опиралась на T-170' (пертурбативное тождество статсумм) и T-170'' (непертурбативная корректность УГМ-интеграла). Аудит нашёл четыре ошибки:

1. Лемма T-170'.1 ложна [✗]. Непрерывное действие связной группы $G_2$ на торе $(S^1)^{21}$ автоморфизмами группы тривиально, так как $\mathrm{Aut}((S^1)^{21}) = GL(21, \mathbb{Z})$ дискретна; линейное представление $\mathbf{14} \oplus \mathbf{7}$ не сохраняет никакой решётки (иначе его образ, компактная связная группа, лежал бы в $GL(21,\mathbb{Z})$ и был бы тривиален). Даже на векторном пространстве $\mathbb{R}^{21} = \mathbf{14} \oplus \mathbf{7}$ фактор — не орбифолд: стабилизатор $(0, v)$ равен $SU(3)$ (орбита размерности 6, а не 14), а стабилизатор $0$ — $G_2$. И Gap-фазы $\theta_{ij} = \arg \Gamma_{ij}$ не преобразуются между собой: два состояния с одинаковыми 21 фазами и разными модулями получают от одного $g \in G_2$ разные фазы (численно — до 2,65 рад).
2. T-170' — не корректно поставленное утверждение [✗]. $Z_{\text{M}}^{\text{pert}}$ не определена как формальный степенной ряд: одиннадцатимерная супергравитация пертурбативно неперенормируема, с ультрафиолетовой расходимостью на двух петлях (Bern, Dixon, Dunbar, Perelstein, Rozowsky 1998; Deser, Seminara 1999). Шаг 5 («каждая фейнмановская диаграмма тождественна») не называет отображения из диаграмм интеграла по $21M$ переменным в диаграммы 11D-супергравитации, а компактное $G_2$-многообразие «с $b_3 = 21$ (например, разрешение Джойса $T^7/\Gamma$)» — не цитируемый пример: первый пример Джойса (1996) имеет $b_2 = 12$, $b_3 = 43$.
3. Вакуумное состояние Шага 4 T-170'' — не состояние [✗]: $\omega_{\text{vac}} = \lim_M \mathrm{Tr}_M(\rho^*_M\,\cdot)/M$ даёт $\omega(1) = 1/M \to 0$.
4. Функтор $\mathcal{F}_M$ из §1.3 плохо типизирован [✗]: гельфандов спектр определён для коммутативных $C^*$-алгебр; $A_{\text{int}}^{\otimes M}$ некоммутативна, а спектр её центра $\mathbb{C}^{3^M}$ — это $3^M$ точек, нульмерное множество, а не 7-многообразие; часть на морфизмах («CPTP-канал $\mapsto$ $G_2$-диффеоморфизм») не определена.

Испробованные маршруты сохранить соответствие в [Т]. (i) Как формальные степенные ряды — закрыт пунктом 2: правой части не существует. (ii) Как отождествление классических модулей, 21 Gap-фаза $\leftrightarrow$ $H^3(\mathcal{M}_7)$ — закрыт пунктом 1: у фаз нет $G_2$-действия, которое можно сопоставить, и компактное $G_2$-многообразие с $b_3 = 21$ не названо. (iii) На уровне группы симметрий — проходит: часть (i) теоремы ниже. Итак, соответствие статсумм — гипотеза [Г]; доказаны (i)–(iii).

Теорема T-170 (переформулирована 2026-09-26) [Т] для (i)–(iii); (iv) — гипотеза [Г]

(i) Совпадение групп [Т]. Пусть $\varphi_0(x, y, z) = \langle x, yz \rangle$ — ассоциативная 3-форма на $\mathrm{Im}\,\mathbb{O} = \mathbb{R}^7$ фановского умножения. Её стабилизатор в $GL(7, \mathbb{R})$ есть $G_2 = \mathrm{Aut}(\mathbb{O})$; на уровне алгебр Ли $\{X \in \mathfrak{gl}(7, \mathbb{R}) : X \cdot \varphi_0 = 0\} = \mathrm{Der}(\mathbb{O})$, размерность 14. Это та группа, голономия которой задаёт $G_2$-структуру без кручения на 7-многообразии, и $G_2 \subset \mathrm{Spin}(7)$ — стабилизатор одного единичного спинора 8-мерного спинорного представления: единственный параллельный спинор, стоящий за $N = 1$ в 4D.

(ii) Статсумма при конечном $M$ [Т]. Для $M \in \mathbb{N}$ и $S_{\text{Gap}}$, непрерывной на торе $(S^1)^{21M}$, интеграл $Z^{(M)}_{\text{UHM}} = \int_{(S^1)^{21M}} e^{-S_{\text{Gap}}[\theta]}\, d\theta$ (нормированная мера Хаара) конечен и строго положителен.

(iii) Состояния термодинамического предела [Т]. Пусть $\mathfrak{A} = \bigotimes_{v \in \mathbb{N}} M_7(\mathbb{C})$ — квазилокальная (UHF) $C^*$-алгебра, а $\omega_M$ — состояние, равное $\mathrm{Tr}(\rho_M\,\cdot)$ на первых $M$ сомножителях и фиксированному произведению состояний на остальных. Последовательность $(\omega_M)$ имеет слабо-$*$ сходящуюся подпоследовательность, и всякий предел — состояние на $\mathfrak{A}$. Единственность предела не утверждается.

(iv) Соответствие [Г]. Равенство $Z_{\text{UHM}} = Z_{\text{M}}$ при отождествлении (a)–(d) прежней формулировки ниже — гипотеза, а не теорема ни на каком уровне строгости.

Прежняя формулировка T-170 (теперь гипотеза (iv))

При следующих условиях:

(C27-M) (Непрерывный предел Gap): существует предел $a \to 0$ решётки Gap-полей $\theta_{ij}(x)$, в котором $\sigma$-модель на $(S^1)^{21}/G_2$ задаёт гладкое 7-мерное целевое пространство $\mathcal{M}_7$; (обозначено C27-M для отличия от условия окна сознания C27 «аттрактор в окне»; «-M» метит блок M-теории/ToE C27-M–C30)

(C28-M) (Суперсимметричное расширение): SUSY-расширение Gap-интеграла (SUSY из $G_2$) — корректно определённый квантовый суперсимметричный функциональный интеграл;

Gap-функциональный интеграл УГМ $Z_{\text{UHM}} = \int_{(S^1)^{21}} \mathcal{D}[\theta]\, \mathcal{D}[\tilde{\theta}]\, e^{-S_{\text{Gap}}[\theta, \tilde{\theta}]}$ восстанавливает M-теоретическую статсумму $Z_{\text{M}} = \int_{\mathcal{M}_7} \mathcal{D}[C_3]\, \mathcal{D}[g]\, e^{-S_{11D}[g, C_3]}$ через отождествление: (a) $(S^1)^{21}/G_2$ ↔ модули $G_2$-метрики на $\mathcal{M}_7$; (b) 21 фаза $\theta_{ij}$ ↔ деформации ассоциативной 3-формы, биективно при $b_3 = 21$; (c) $G_2 = \mathrm{Aut}(\mathbb{O})$ ↔ $\mathrm{Hol}(\mathcal{M}_7) = G_2$; (d) Gap-суперпартнёры $\tilde{\theta}_{ij}$ ↔ фермионные модули (параллельный спинор $\eta_0 = 1_{\mathbb{O}}$).

Из (a)–(d) доказуемо лишь (c), и это часть (i) переформулированной теоремы; (a) — пункт 1 аудита; (b) и (d) — отождествления без отображения.

Доказательство (i). Линейное отображение, сохраняющее $\varphi_0$, сохраняет метрику, потому что метрика определяется $\varphi_0$ через $6\,\langle x, y\rangle\,\mathrm{vol} = (x \lrcorner \varphi_0) \wedge (y \lrcorner \varphi_0) \wedge \varphi_0$ (Bryant 1987, «Metrics with exceptional holonomy», §2), а значит сохраняет векторное произведение $\langle x \times y, z\rangle = \varphi_0(x, y, z)$ и октонионное умножение $xy = -\langle x, y\rangle + x \times y$ на $\mathrm{Im}\,\mathbb{O}$; обратно, автоморфизм $\mathbb{O}$ сохраняет $\varphi_0$. Итак, $\mathrm{Stab}_{GL(7)}(\varphi_0) = \mathrm{Aut}(\mathbb{O}) = G_2$. Что $G_2$ — группа голономии $G_2$-структуры без кручения и фиксирует ровно один спинор $\mathrm{Spin}(7)$, — стандартно (Bryant 1987; Harvey, Spinors and Calibrations, 1990; Joyce 2000). $\square$

Прежняя теорема T-170' (пертурбативное соответствие) [✗ как теорема; часть гипотезы (iv)]

Прежняя формулировка. $Z_{\text{UHM}}^{\text{pert}}[\lambda; \hbar] = Z_{\text{M-theory}}^{\text{pert}}[G_4; \hbar]$ как формальные степенные ряды при отождествлении (a)–(d).

Вердикт по шагам. Шаг 1 (четырёхмерная база из T-120 [Т], внутреннее пространство параметризовано $\mathcal{D}(\mathbb{C}^7)$) — описание, а не соответствие; фраза о $KO$-размерности 7 уже отозвана [✗] (вещественной структуры $KO$-размерности 6 на $\mathbb{C}^7$ нет, пространство-время, Шаг 6). Шаг 2 опирается на Лемму T-170'.1, которая ложна (пункт 1 аудита). Шаг 3 ссылается на разложение Конна–Шамседдина для $\mathrm{Tr}\,f(D/\Lambda)$ (T-65), но не вычисляет ни одного коэффициента редуцированного 11D-действия для сравнения. Шаг 4 ($V_3 \neq 0 \Leftrightarrow \langle G_4\rangle \neq 0$) не называет отображения между ассоциатором фановского умножения и потоком 4-формы. Шаг 5 утверждает тождество фейнмановских диаграмм объекта, которого нет (пункт 2 аудита). Ни один шаг нельзя довести до доказательства равенства, потому что его правая часть не определена.

Теорема T-170'' (переформулирована 2026-09-26: конечность при конечном $M$, предельные состояния) [Т]

Утверждение — части (ii) и (iii) теоремы T-170. Прежняя область $(S^1)^{21M}/G_2^M$ заменена тором $(S^1)^{21M}$ (делить не на что — действия $G_2$ нет, пункт 1 аудита), а прежняя формула вакуума — слабо-$*$ предельными точками (пункт 3 аудита).

Доказательство (ii). Тор $(S^1)^{21M}$ компактен, а $S_{\text{Gap}}$ на нём непрерывна (тригонометрический многочлен от фаз), поэтому $\lvert S_{\text{Gap}} \rvert \leq C$ для некоторого $C < \infty$. Подынтегральное выражение лежит в $[e^{-C}, e^{C}]$, а нормированная мера Хаара имеет полную массу 1, так что $e^{-C} \leq Z^{(M)}_{\text{UHM}} \leq e^{C}$. $\square$

Доказательство (iii). Пространство состояний унитальной $C^*$-алгебры $\mathfrak{A}$ слабо-$*$ компактно (Банах–Алаоглу) и, поскольку $\mathfrak{A}$ сепарабельна, метризуемо; значит, $(\omega_M)$ имеет сходящуюся подпоследовательность. Положительность и $\omega(1) = 1$ переходят к слабо-$*$ пределам, поэтому всякий предел — состояние (Bratteli–Robinson, Operator Algebras and Quantum Statistical Mechanics, т. 1). $\square$

Используемые результаты: Bryant 1987 и Harvey 1990 (стабилизатор $\varphi_0$); Joyce 2000 ($G_2$-голономия); Банах–Алаоглу; Bratteli–Robinson 1979. Больше не используются: T-53, T-65, T-120, редукция Калуцы–Клейна, Acharya–Witten, Harvey–Lawson — они входили лишь в отозванные шаги T-170'.

Численная проверка: check_core_numbers.py, test_t170_gap_phases_carry_no_g2_action_and_the_torus_quotient_is_not_an_orbifold — стабилизатор $\varphi_0$ в $\mathfrak{gl}(7)$ имеет размерность 14 и ровно аннулируется 14 дифференцированиями $\mathbb{O}$; на $\mathbf{14} \oplus \mathbf{7}$ $G_2$-орбиты общей точки, $(0, v)$ и $0$ имеют размерности 14, 6 и 0; два состояния с равными фазами и разными модулями получают от одного $g \in G_2$ фазы, различающиеся более чем на 0,5 рад.

История статуса: исходно [С при C27, C28]; [Т] «на уровнях определённости M-теории» до 2026-09-26; переформулирована 2026-09-26: (i)–(iii) [Т], соответствие (iv) [Г], Лемма T-170'.1 и T-170' как теорема [✗].

1.3 Формальный функтор

Прежнее определение [✗]. $\mathcal{F}_M: \mathbf{Hol}_{\text{comp}} \to \mathbf{G_2\text{-}Mfld}$, переводящий $M$ голонов в «гельфандов спектр $A_{\text{int}}^{\otimes M}/G_2$», а CPTP-канал — в $G_2$-диффеоморфизм. Он плохо типизирован (пункт 4 аудита): гельфандов спектр центра $A_{\text{int}}^{\otimes M}$ — конечное множество из $3^M$ точек, и никакое правило не сопоставляет каналу диффеоморфизм.

Что остаётся. Функтор не утверждается. Доказанное соответствие — совпадение групп симметрий, T-170 (i): группа, действующая на голоне, $\mathrm{Aut}(\mathbb{O})$, есть группа, фиксирующая ассоциативную 3-форму, $\mathrm{Stab}_{GL(7)}(\varphi_0)$, — группа голономии $G_2$-структуры без кручения.

1.4 Оценка вложения

Аспект	Статус	Комментарий
Совпадение $G_2$-симметрии	[Т]	T-170 (i): $\mathrm{Stab}_{GL(7)}(\varphi_0) = \mathrm{Aut}(\mathbb{O})$, алгебра Ли размерности 14
$N=1$ SUSY	[Т] на уровне группы	$G_2 \subset \mathrm{Spin}(7)$ фиксирует ровно один спинор; физическое отождествление $\eta_0 = 1_{\mathbb{O}}$ — часть (iv) [Г]
$SU(3) = \mathrm{Stab}_{G_2}(e_O)$	[Т]	T-42e; «тот же механизм, что калибровочные группы из особенностей у Acharya и Halverson–Morrison», не доказано [Г]
Пространство модулей $(S^1)^{21}/G_2$ как 7D-орбифолд	[✗]	Действия $G_2$ на торе нет; $\mathbb{R}^{21}/G_2$ — не орбифолд (пункт 1 аудита)
Пертурбативное соответствие $Z_{\text{UHM}} = Z_M$	[✗] как теорема	$Z_M^{\text{pert}}$ не определена; равенство — часть (iv) [Г]
Конечность $Z_{\text{UHM}}^{(M)}$	[Т]	T-170'' (ii), на торе $(S^1)^{21M}$
Состояния термодинамического предела	[Т] существование	T-170'' (iii); единственность открыта
Непертурбативное определение $Z_M$ (M-теория)	открыто	Внешняя открытая задача M-теории

---

2. Петлевая квантовая гравитация

2.1 Математический контекст

Петлевая квантовая гравитация (ПКГ/LQG) основана на:

• Спиновые сети (Penrose, 1971; Rovelli–Smolin, 1995): графы с рёбрами, помеченными представлениями $SU(2)$, и вершинами — интертвайнерами.
• Спиновые пены (Baez, 1998; Perez, 2013): 2-комплексы как «эволюция» спиновых сетей, определяющие амплитуды перехода.
• Ключевая алгебра: $SU(2)$ — калибровочная группа в формализме Аштекара.

Связь $SU(2) \subset G_2$: цепочка вложений

$$SU(2) \subset SU(3) \subset G_2$$

где $SU(3) = \mathrm{Stab}_{G_2}(e_O)$ (T-42e [Т]) и $SU(2) \subset SU(3)$ — стандартное вложение.

2.2 Конструкция вложения

T-171: Спиновые сети кодируются голонными состояниями [Т]

Исправлено 2026-09-26 — аудит T-171, Леммы C29' и T-171'

T-171 стояла как «функтор вложения ПКГ $\mathbf{SpinNet}^{\text{bd}}_{SU(2)} \to \mathbf{Hol}_{\text{comp}}$» для спинов $j_e \leq 3$ (через Лемму C29'), распространённый на все спины кластерной конструкцией T-171'. Аудит нашёл:

1. Состояние Леммы C29' — не матрица плотности [✗]. $W_e^{\text{spin}} = \lvert\gamma\rvert \sum_{i,j} U_{ij}\, \lvert i\rangle\langle j\rvert_v \otimes \lvert j\rangle\langle i\rvert_w$ с унитарной $U$ в общем случае не эрмитов и имеет след $\lvert\gamma\rvert \sum_i U_{ii} \neq 1$, так что Шаг 6 («выпуклая комбинация положительных операторов с суммой весов 1») ложен; численно для случайной унитарной $U$ дефект эрмитовости $2{,}9$, а след $-1{,}51 - 0{,}78i$.
2. Спин не восстанавливается [✗]. Шаг 7 даёт когерентность $\eta\,\lvert\gamma\rvert_{\text{target}}$, так что $j = \tfrac12\lfloor 7\lvert\gamma\rvert^2\rfloor$ возвращает $\tfrac12\lfloor 2 j \eta^2\rfloor$; при навязанном Шагом 5 $\eta \leq 1/(\lvert E\rvert V_{\max})$ всякий $j \leq 3$ декодируется как $0$, едва $\eta \leq 1/4$. «Подходящего масштабирования $\eta$» нет.
3. Функтора заявленного вида нет [✗]. «Унитарного вложения $U_\phi$, сохраняющего $\Gamma_{\text{total}}$», не существует: состояние полного ранга $7^{M_2}$ не есть образ $V\Gamma V^\dagger$ состояния на пространстве размерности $7^{M_1} < 7^{M_2}$.
4. Часть (c) ничего не выводит. Формула площади ПКГ $8\pi l_P^2 \gamma \sum_e \sqrt{j_e(j_e+1)}$ — функция меток; конечномерность $\mathcal{D}(\mathbb{C}^7)$ её не порождает. Утверждение снято.
5. Кластерная конструкция T-171' ложна [✗]. Подспины $j_e/k_e$ не обязаны быть полуцелыми ($j_e = 7/2$, $k_e = \lceil 7/6\rceil = 2$: $7/4$); при $k_e = 1$ Шаг 4 делит на $k_e - 1 = 0$; и спины вдоль цепочки не складываются — ряд Клебша–Гордана даёт диапазон $\lvert j_1 - j_2\rvert, \dots, j_1 + j_2$, а не сумму.
6. Граница $j_e \leq 3$ — артефакт чтения спина из $\lvert\gamma\rvert^2 \leq 6/7$. Прочитанный из отношения двух когерентностей, спин неограничен и не зависит от весов.

Выбранный маршрут. Кодирование перестроено так, что каждое слагаемое — состояние, а каждая метка — отношение двух матричных элементов, которых не касается никакое другое слагаемое. Это доказывает больше прежнего — все конечные спиновые сети на $M = \lvert V\rvert$ голонах, без границы на $j$, без кластеров, — так что статус остаётся [Т] при более сильном утверждении, а T-171' становится следствием.

Теорема T-171 (переформулирована 2026-09-26) [Т]

Пусть $\mathcal{S} = (G, j, k)$ — конечная спиновая сеть: конечный ориентированный граф $G = (V, E)$ без петель и с не более чем одним ребром между двумя вершинами, спины $j_e \in \tfrac12\mathbb{Z}_{\geq 0}$ (неограниченные), и в каждой вершине $v$ метка $k_v \in \mathbb{Z}_{\geq 0}$ — номер интертвайнера в фиксированном ортонормированном базисе $\mathrm{Inv}\big(\bigotimes_{e \ni v} V_{j_e}\big)$. Положим $M = \lvert V\rvert$, выберем веса $\eta, \kappa > 0$ с $\eta\lvert E\rvert + \kappa M \leq 1$ и

$$\Gamma_{\mathcal{S}} := (1 - \eta\lvert E\rvert - \kappa M)\,\frac{\mathbb{1}}{7^M} + \eta \sum_{e = (v,w) \in E} \psi_{j_e}^{(v,w)} \otimes \frac{\mathbb{1}}{7^{M-2}} + \kappa \sum_{v \in V} \chi_{k_v}^{(v)} \otimes \frac{\mathbb{1}}{7^{M-1}},$$

где $\psi_j = \lvert\psi_j\rangle\langle\psi_j\rvert$ действует на упорядоченной паре (начало, конец), $\lvert\psi_j\rangle \propto \lvert 01\rangle + \lvert 12\rangle + (2j+1)\lvert 23\rangle$, и $\chi_k = \lvert\chi_k\rangle\langle\chi_k\rvert$, $\lvert\chi_k\rangle \propto \lvert 3\rangle + \lvert 4\rangle + (k+1)\lvert 5\rangle$ (единичные векторы). Тогда:

(a) Состояние. $\Gamma_{\mathcal{S}} \in \mathcal{D}\big((\mathbb{C}^7)^{\otimes M}\big)$; при $\eta\lvert E\rvert + \kappa M < 1$ оно полного ранга.

(b) Локальное декодирование. Для упорядоченной пары $v \neq w$ с двухчастичным маргиналом $\rho_{vw}$ и вершины $v$ с одночастичным маргиналом $\rho_v$: $(v, w) \in E \iff \langle 01\rvert\rho_{vw}\lvert 12\rangle \neq 0$; тогда $2j_{(v,w)} + 1 = \langle 01\rvert\rho_{vw}\lvert 23\rangle / \langle 01\rvert\rho_{vw}\lvert 12\rangle$; и $k_v + 1 = \langle 3\rvert\rho_v\lvert 5\rangle / \langle 3\rvert\rho_v\lvert 4\rangle$. Значит, $\mathcal{S} \mapsto \Gamma_{\mathcal{S}}$ инъективно, и декодирование не использует $\eta$, $\kappa$.

(c) Ограничение. Для $W \subset V$ декодирование $\mathrm{Tr}_{V \setminus W}\,\Gamma_{\mathcal{S}}$ есть индуцированная подсеть $\mathcal{S}\vert_W$ (рёбра с обоими концами в $W$, их спины, метки на $W$). Кодирование с последующим декодированием переводит частичный след в ограничение на индуцированные подсети.

(d) Ковариантного функтора, сохраняющего состояния, нет. При $M_1 < M_2$ и полноранговом $\Gamma_{\mathcal{S}_2}$ никакая изометрия $V: (\mathbb{C}^7)^{\otimes M_1} \to (\mathbb{C}^7)^{\otimes M_2}$ не удовлетворяет $V\,\Gamma_{\mathcal{S}_1} V^\dagger = \Gamma_{\mathcal{S}_2}$.

(e) Цепочка групп. $SU(3) = \mathrm{Stab}_{G_2}(e_O)$ (T-42e) и стандартное $SU(2) \subset SU(3)$ дают, как комплексные представления, $\mathbf{7} \to \mathbf{1} \oplus \mathbf{3} \oplus \bar{\mathbf{3}} \to \mathbf{1} \oplus (\mathbf{2} \oplus \mathbf{1}) \oplus (\mathbf{2} \oplus \mathbf{1})$. (Это расщепление представлений над $\mathbb{C}$, а не расщепление семи координатных осей; check_core_numbers.py, test_no_axis_triple_is_su3_invariant.)

Граф с петлями или кратными рёбрами кодируется после однократного подразбиения каждого ребра (обе половины несут $j_e$) с пометкой вершин подразбиения вектором $\lvert\chi\rangle \propto \lvert 3\rangle + \lvert 4\rangle$, у которого отношение из (b) равно $0$; тогда $M = \lvert V\rvert + \lvert E\rvert$.

Лемма C29' (переформулирована: кодирование Теоремы T-171) [Т]

Формулировка. Части (a)–(c) теоремы T-171. Прежняя Лемма C29' (ограниченные спины $j_e \leq 3$, состояние из $W_e^{\text{spin}}$) отозвана [✗] (пункты 1–2 аудита); переформулированная лемма не ограничивает спины.

Доказательство. (a) $\psi_j$, $\chi_k$ и $\mathbb{1}/7^{m}$ — матрицы плотности, как и их тензорные произведения; коэффициенты $1 - \eta\lvert E\rvert - \kappa M$, $\eta$, $\kappa$ неотрицательны и в сумме по $1 + \lvert E\rvert + M$ слагаемым дают 1, так что $\Gamma_{\mathcal{S}}$ — выпуклая комбинация состояний. Если первый коэффициент $c$ положителен, $\Gamma_{\mathcal{S}} \geq c\,\mathbb{1}/7^M > 0$.

(b) Всякий используемый матричный элемент имеет вид $\langle ab\rvert X \otimes Y\lvert cd\rangle = \langle a\rvert X\lvert c\rangle\langle b\rvert Y\lvert d\rangle$ с $a \neq c$ и $b \neq d$ (двухчастичный) или $\langle a\rvert X \lvert c\rangle$ с $a \neq c$ (одночастичный). Вклады слагаемых $\Gamma_{\mathcal{S}}$ в $\rho_{vw}$:

• слагаемое-единица даёт $\mathbb{1}/49$ — диагональ, вклад 0;
• $\psi_{j_e}$ для $e = (v, w)$ даёт само $\eta\,\psi_{j_e}$: $\langle 01\rvert\psi_j\lvert 12\rangle = 1/n_j^2$ и $\langle 01\rvert\psi_j\lvert 23\rangle = (2j+1)/n_j^2$, $n_j^2 = 2 + (2j+1)^2$;
• $\psi$ на обращённой паре $(w, v)$ встретиться не может (между двумя вершинами не более одного ребра); в любом случае $\langle 10\rvert\psi\lvert 21\rangle = 0$, поскольку у $\lvert\psi\rangle$ компоненты лишь на $\lvert 01\rangle, \lvert 12\rangle, \lvert 23\rangle$;
• $\psi$ на ребре, разделяющем с $\{v, w\}$ одну вершину, даёт (одночастичный маргинал $\psi$) $\otimes\, \mathbb{1}/7$; оба одночастичных маргинала $\lvert\psi_j\rangle$ диагональны, так как у трёх компонент попарно различны первые и попарно различны вторые сомножители — вклад 0;
• рёбра, не пересекающие $\{v, w\}$, дают $\mathbb{1}/49$; вершинные слагаемые дают $\chi \otimes \mathbb{1}/7$ или $\mathbb{1}/7 \otimes \chi$, второй или первый сомножитель которых диагонален, — вклад 0. Итак, $\langle 01\rvert\rho_{vw}\lvert 12\rangle = \eta/n_j^2$ при $(v, w) \in E$ и $0$ иначе, а отношение равно $2j + 1$. Для $\rho_v$: рёбра дают диагональные одночастичные маргиналы, единица диагональна, другие вершины дают $\mathbb{1}/7$; в $\langle 3\rvert\rho_v\lvert 4\rangle = \kappa/m_k^2$ и $\langle 3\rvert\rho_v\lvert 5\rangle = \kappa(k_v+1)/m_k^2$ вкладывает только $\kappa\chi_{k_v}$.

(c) Двух- и одночастичные маргиналы $\mathrm{Tr}_{V\setminus W}\Gamma_{\mathcal{S}}$ на $W$ совпадают с маргиналами $\Gamma_{\mathcal{S}}$; по (b) они декодируются в рёбра, спины и метки внутри $W$. $\blacksquare$

Доказательство T-171

(a)–(c) — Лемма C29'. (d) $\mathrm{rank}\,(V\Gamma_{\mathcal{S}_1}V^\dagger) \leq 7^{M_1} < 7^{M_2} = \mathrm{rank}\,\Gamma_{\mathcal{S}_2}$. (e) $SU(3) = \mathrm{Stab}_{G_2}(e_O)$ — это T-42e; ограничение 7-мерного представления $G_2$ на $SU(3)$ после комплексификации есть $\mathbf{1} \oplus \mathbf{3} \oplus \bar{\mathbf{3}}$ (вещественное $\mathbf{6} = e_O^\perp$ становится $\mathbb{C}^3$ с комплексной структурой $x \mapsto e_O x$), а $\mathbf{3}\vert_{SU(2)} = \mathbf{2} \oplus \mathbf{1}$ для стандартного вложения. $\blacksquare$

Численная проверка: check_core_numbers.py, test_t171_spin_networks_with_unbounded_spin_are_decoded_from_ratios_of_coherences — случайные ориентированные графы на 2 и 3 вершинах со спинами до 20 и метками до 5: $\Gamma_{\mathcal{S}}$ — состояние полного ранга, рёбра, направления, спины и метки декодируются точно, а частичный след по одной вершине декодируется в индуцированную подсеть; прежний $W_e^{\text{spin}}$ не эрмитов и имеет след $\neq 1$; прежнее декодирование через целую часть возвращает 0 для всякого $j \leq 3$ при $\eta = 1/4$ и $\eta = 1/10$; кластерный подспин для $j = 7/2$ равен $7/4$.

Используемые теоремы: T-42e [Т] (только для (e)). Кодирование (a)–(d) не пользуется ни одной теоремой УГМ. Сняты: T-53 (чтение «$\{A,S,D\}$-сектора»), T-80, GNS-пополнение (переформулированное утверждение — о конечных сетях).

История статуса: исходно [С при C29]; [Т для $j_e \leq 3$] через Лемму C29' до 2026-09-26; переформулирована 2026-09-26 — [Т] для всех конечных спиновых сетей, прежняя Лемма C29' и её функтор [✗].

2.3a Расширение на неограниченный спин

Теорема T-171' (неограниченный спин) [Т] — следствие переформулированной T-171

Теорема T-171'

Всякая конечная спиновая сеть с неограниченными спинами $j_e \in \tfrac12\mathbb{Z}_{\geq 0}$ инъективно кодируется состоянием $M = \lvert V\rvert$ голонов, с локальным декодированием и ограничением, как в T-171 (a)–(c).

Доказательство. T-171 (a)–(c) не ограничивают $j_e$. $\blacksquare$

Прежнее доказательство кластерной конструкцией ($k_e = \lceil j_e/3\rceil$ голонов на ребро, «аддитивный» спин вдоль цепочки, $M_{\text{total}} = O(\lvert E\rvert\, j_{\max})$) отозвано [✗] (пункт 5 аудита): его подспины в общем случае не полуцелые, при $k_e = 1$ оно делит на нуль, и спины вдоль цепочки не складываются. Утверждение сохраняется с меньшим регистром: $M = \lvert V\rvert$ вместо $O(\lvert E\rvert\, j_{\max})$.

2.3 Амплитуды Фано: конечный анзац и инвариантные тензоры

Конечная схема инцидентности может маркировать анзац амплитуды после задания спинов, свёрток и весов. Это не теорема вложения динамики спиновых пен.

Исправленная область теоремы 2.3

Прежнее доказательство аксиом (A1)–(A4) снято [✗], кроме элементарной конечности конечных сумм: конечное произведение конечных сумм магнитных индексов с конечными выбранными весами конечно [T]. Ошибки существенны:

1. Символ Вигнера $3j$ — инвариантный тензор, но сумма его элементов с фиксированным вектором единиц автоматически не является инвариантной свёрткой. Каждому внутреннему индексу нужны заданное представление и инвариантное спаривание/переплетающий оператор. Конечное скалярное выражение само не задаёт действия на граничные состояния.
2. Склейка тензорных сетей — свёртка по граничным индексам. В общем $\sum_m a_mb_m\ne (\sum_m a_m)(\sum_m b_m)/(2j+1)$. Указанное соотношение ортогональности суммирует два магнитных индекса при нужном совпадении представлений; оно не доказывает прежней одноиндексной формулы произведения. Число $1/(2j+1)$ также не является проектором: при $j>0$ его квадрат отличается от него.
3. Фиксированный семиточечный репер Фано не инвариантен относительно непрерывной $G_2$. Его группа инцидентных автоморфизмов конечна. $G_2$-инвариантная амплитуда требует заданных меток представлений $G_2$ и свёрток инвариантных тензоров либо ковариантного переноса всего репера. Снятая универсальная жёсткость кодирования T-42a этих данных не даёт.
4. Казимир на неприводимом фундаментальном $\mathbf7$ равен $cI$. Поэтому $\prod_p\langle\psi_p|\mathcal C_{G_2}|\psi_p\rangle=c^7$ для нормированных $\psi_p$ в этом представлении. Этот инвариант постоянен и не задаёт нетривиального зависящего от спина веса или отображения спиновых меток $SU(2)$ в эти векторы.

Корректная программа замены [Pr] выбирает граничные пространства представлений и переплетающие операторы, сворачивает совпадающие индексы инвариантными спариваниями и определяет склейку этой свёрткой. При таком выборе инвариантность следует из инвариантности тензоров [T]; физическое соответствие, сходимость и конкретный нетривиальный вес остаются дополнительными утверждениями. Обычная математика представлений сохраняется без отождествления произвольных произведений меток линий с амплитудой квантовой гравитации.

Прежняя тетраэдральная асимптотика Понцано–Редже также была ошибочно приписана символу $3j$: она относится к символу $6j$ при его невырожденных асимптотических предпосылках. Она не даёт предела Эйнштейна–Гильберта для прежнего семилинейного анзаца. Ни конечное кинематическое кодирование (T-171), ни пространственно-временной мост этого динамического предела не доказывают. Roberts, Classical 6j-symbols and the tetrahedron.

2.4 Оценка вложения

Аспект	Статус	Комментарий
$SU(2) \subset SU(3) \subset G_2$	[Т]	T-171 (e): ветвление представлений над $\mathbb{C}$
Граф, направления, спины, метки интертвайнеров в одном состоянии	[Т]	T-171 (a)–(b): читаются из отношений когерентностей, $M = \lvert V\rvert$ голонов
Ограничение на индуцированные подсети = частичный след	[Т]	T-171 (c)
Неограниченный спин	[Т]	T-171' как следствие; кластерная конструкция отозвана [✗]
Прежняя Лемма C29' ($W_e^{\text{spin}}$, $j_e \leq 3$) и её ковариантный функтор	[✗]	Не матрица плотности; спин не восстанавливается; изометрии, сохраняющей состояние, нет (T-171 (d))
Спектр площади «из конечномерности»	снято	Формула площади ПКГ — функция меток, а не вывод
Фано-амплитуды (аксиомы (A1)-(A4))	[Т]	Теорема 2.3 (§2.3), здесь повторно не проверялась
Фано-амплитуды (семи-классический предел)	[С]	Fano-Regge компатибильность — открытая задача

---

3. Каузальные множества

3.1 Математический контекст

Теория каузальных множеств (Bombelli–Lee–Meyer–Sorkin, 1987) постулирует:

• Дискретное множество событий $(C, \preceq)$ с частичным порядком;
• Каузальная структура фундаментальна; метрика и топология — производные;
• Число элементов каузального множества ↔ объём ($V \sim N$ — гипотеза Hauptvermutung);
• Д'Аламбертиан на каузальном множестве → кривизна в непрерывном пределе.

3.2 Конструкция вложения

T-172: Каузальные множества — кодирование голонными состояниями и вложение как внутренних категорий [Т]

Исправлено 2026-09-26 — аудит T-172 и Леммы C30

T-172 утверждала, что всякое конечное каузальное множество, точно вложимое в $M^4$, «вкладывается в ∞-топос $\mathbf{Sh}_\infty(\mathcal{C})$ через нерв», а каузальный порядок реализуется Gap-когерентностями (Лемма C30). Аудит нашёл:

1. Нерв — не вложение в ∞-топос [✗]. «Вложения Йонеды симплициальных множеств в произвольный ∞-топос» нет (HTT 6.1.3.8 такого не утверждает). Канонический функтор $\mathbf{sSet} \to \mathcal{S} \xrightarrow{\pi^*} \mathbf{Sh}_\infty(\mathcal{C})$ (реализация, затем постоянный пучок) обращает слабые эквивалентности: всякий порядок с наименьшим элементом имеет стягиваемый нерв и уходит в терминальный объект, а $C$ и $C^{\mathrm{op}}$ имеют одну реализацию. Одноэлементный порядок и двухэлементная цепь оба уходят в $1$, и два отображения из первого во вторую становятся одним. Так что «вкладывается» в (a) и функтор Шага 4 в заявленном виде ложны.
2. $W_{cc'} \geq 0$ ложно для общих фаз [✗]. $W_{cc'} = \tfrac17\sum_{ij} e^{i\theta_{ij}}\lvert i\rangle\langle j\rvert \otimes \lvert i\rangle\langle j\rvert$ положителен лишь при $\theta_{ij} = \phi_i - \phi_j$; для случайных антисимметричных фаз его наименьшее собственное значение $-0{,}31$. С ним Шаг 5 («выпуклая комбинация положительных операторов») не проходит.
3. Шаг 1 ломается при равных временах [✗]. $\delta = \tfrac12\min_{c\neq c'}\lvert t_c - t_{c'}\rvert$ равно $0$, когда у двух пространственноподобных элементов равные времена, что точные вложения допускают; «различие обеспечивается пространственным разделением» ложно.
4. Гипотеза (C30) не используется. Кроме фаз, конструкция нигде не использует вложение $\varphi: C \to M^4$; его можно снять.

Выбранный маршрут. Кодирование перестроено с упорядоченным парным состоянием, несущим направление порядка, так что не нужны ни метки часов, ни $M^4$-вложение; а утверждение о топосе заменено верным вполне строгим — порядки как внутренние категории (объекты Сигала) $\mathbf{Sh}_\infty(\mathcal{C})$, что возможно, поскольку $\mathcal{D}(\mathbb{C}^7)$ связно. Статус остаётся [Т] при более сильном утверждении.

Теорема T-172 (переформулирована 2026-09-26) [Т]

Пусть $(C, \preceq)$ — конечное частично упорядоченное множество — любое, вложение в $M^4$ не предполагается; $M = \lvert C\rvert$, $N_\prec = \#\{(c, c') : c \prec c'\}$.

(a) Кодирование. Для $\eta \in (0, 1/N_\prec]$ положим

$$\Gamma_C := (1 - \eta N_\prec)\,\frac{\mathbb{1}}{7^M} + \eta \sum_{c \prec c'} \psi^{(c,c')} \otimes \frac{\mathbb{1}}{7^{M-2}}, \qquad \lvert\psi\rangle = \tfrac{1}{\sqrt2}\big(\lvert 01\rangle + \lvert 12\rangle\big) \text{ на упорядоченной паре } (c, c').$$

Тогда $\Gamma_C \in \mathcal{D}\big((\mathbb{C}^7)^{\otimes M}\big)$, и для $c \neq c'$ с двухчастичным маргиналом $\rho_{cc'}$: $c \prec c' \iff \langle 01\rvert\rho_{cc'}\lvert 12\rangle \neq 0$ (значение тогда $\eta/2$). Для $D \subset C$ декодирование $\mathrm{Tr}_{C \setminus D}\,\Gamma_C$ есть индуцированный порядок на $D$.

(b) Внутренние категории. Пусть $X = \mathcal{D}(\mathbb{C}^7)$ с топологией метрики Бюреса, $\mathcal{E} = \mathbf{Sh}_\infty(X)$ и $\pi^*: \mathcal{S} \to \mathcal{E}$ — функтор постоянного пучка. Функтор

$$\mathbf{Poset}_{\text{fin}} \to \mathrm{Fun}(\Delta^{\mathrm{op}}, \mathcal{E}), \qquad C \mapsto \pi^* N_\bullet(C)$$

(поуровневый постоянный пучок на конечных множествах $n$-цепей $c_0 \preceq \dots \preceq c_n$) вполне строг: каждое пространство отображений $\mathrm{Map}(\pi^*N_\bullet C, \pi^*N_\bullet C')$ дискретно и равно множеству монотонных отображений $C \to C'$. Его значения — объекты Сигала (внутренние категории) $\mathcal{E}$.

(c) Реализация забывает порядок. $C \mapsto \pi^*\lvert N_\bullet(C)\rvert \in \mathcal{E}$ не строг и не инъективен на классах изоморфизма.

(d) Метки часов. Ранг $\tau_c$ элемента $c$ в линейном продолжении $\preceq$ строго монотонен ($c \prec c' \Rightarrow \tau_c < \tau_{c'}$) и принимает $M$ значений, которые вмещают $6M + 1$ показание суммарных часов $M$ голонов (композитные часы). Для (a) они не нужны.

Прежняя часть (b), «$v \preceq w \Leftrightarrow \tau_v \leq \tau_w \wedge d_{\mathcal{G}}(v, w) \leq c\,\lvert\tau_w - \tau_v\rvert$», определяет производное отношение по меткам часов и расстоянию; это определение, а не теорема, и ниже оно не используется. Замечание о непрерывном пределе (восстановление $M^4$ при T-118, T-119, T-120) не входит в T-172.

Лемма C30 (переформулирована: кодирование (a)) [Т]

Формулировка. Часть (a) теоремы T-172, для всякого конечного порядка. Прежняя Лемма C30 (точное $M^4$-вложение, $W_{cc'}$ с геометрическими фазами, дискретизация времени $\tau_c = \lfloor t_c/\delta\rfloor$) отозвана [✗] (пункты 2–3 аудита).

Доказательство. $\psi$ и $\mathbb{1}/7^m$ — состояния, коэффициенты неотрицательны с суммой 1, так что $\Gamma_C$ — состояние. Для маргинала $\rho_{cc'}$ матричный элемент $\langle 01\rvert X \otimes Y \lvert 12\rangle = \langle 0\rvert X\lvert 1\rangle\langle 1\rvert Y\lvert 2\rangle$ обращается в нуль, если $X$ или $Y$ диагонален. Слагаемое самой пары $(c, c')$ даёт $\eta\,\langle 01\rvert\psi\rangle\langle\psi\lvert 12\rangle = \eta/2$. Слагаемое обращённой пары $(c', c)$, прочитанное в порядке $(c, c')$, даёт $\eta\,\langle 10\rvert\psi\rangle\langle\psi\lvert 21\rangle = 0$ (и его в любом случае нет — по антисимметрии $\prec$). Слагаемое пары, разделяющей с $\{c, c'\}$ один элемент, даёт одночастичный маргинал $\psi$, умноженный тензорно на $\mathbb{1}/7$; одночастичные маргиналы $\tfrac12(\lvert 0\rangle\langle 0\rvert + \lvert 1\rangle\langle 1\rvert)$ и $\tfrac12(\lvert 1\rangle\langle 1\rvert + \lvert 2\rangle\langle 2\rvert)$ диагональны. Прочие слагаемые дают $\mathbb{1}/49$. Итак, $\langle 01\rvert\rho_{cc'}\lvert 12\rangle = \eta/2$ при $c \prec c'$ и $0$ иначе. Маргиналы $\mathrm{Tr}_{C\setminus D}\Gamma_C$ на $D$ совпадают с маргиналами $\Gamma_C$. $\blacksquare$

Доказательство T-172

(a) — Лемма C30.

(b) Нерв $N: \mathbf{Cat} \to \mathbf{sSet}$ вполне строг, так что монотонные отображения $C \to C'$ — это в точности симплициальные отображения $N_\bullet C \to N_\bullet C'$. $X$ связно (выпуклое подмножество эрмитовых матриц, значит линейно связно). Для конечных множеств $A, B$: $\mathrm{Map}_{\mathcal{E}}(\pi^*A, \pi^*B) \simeq \mathrm{Map}_{\mathcal{S}}(A, \pi_*\pi^*B)$, а $\pi_*\pi^*B$ — множество локально постоянных функций $X \to B$, что при связном $X$ есть $B$. Значит, $\pi^*$ вполне строг на конечных множествах, с дискретными пространствами отображений. Отображение симплициальных объектов между поуровневыми образами $\pi^*A_\bullet \to \pi^*B_\bullet$ вычисляется концом $\int_{[n]}\mathrm{Map}_{\mathcal{E}}(\pi^*A_n, \pi^*B_n) = \int_{[n]}\mathrm{Hom}(A_n, B_n) = \mathrm{Hom}_{\mathbf{sSet}}(A_\bullet, B_\bullet)$. Отображения Сигала $N_n C \to N_1 C \times_{N_0 C} \dots \times_{N_0 C} N_1 C$ — биекции, а $\pi^*$ сохраняет конечные пределы, так что $\pi^*N_\bullet C$ удовлетворяет условию Сигала.

(c) Порядок с наименьшим элементом $\bot$ имеет стягиваемую реализацию (нерв — конус с вершиной $\bot$). Поэтому одноэлементный порядок $\{\ast\}$ и цепь $\{0 \prec 1\}$ оба уходят в терминальный объект $1 \in \mathcal{E}$, и два монотонных отображения $\{\ast\} \to \{0 \prec 1\}$ уходят в одно отображение $1 \to 1$: не строг. Цепи $C$ и $C^{\mathrm{op}}$ — одни и те же подмножества, так что $\lvert N_\bullet C\rvert \cong \lvert N_\bullet C^{\mathrm{op}}\rvert$; порядок $\{\bot \prec a, \bot \prec b\}$ и противоположный ему не изоморфны и имеют один образ, как и цепи из одного и из двух элементов (обе уходят в $1$): не инъективен на классах изоморфизма.

(d) Всякий конечный порядок имеет линейное продолжение (Шпильрайн); его функция ранга строго монотонна. $\blacksquare$

Численная проверка: check_core_numbers.py, test_t172_every_finite_poset_is_encoded_and_realisation_forgets_order — случайные порядки на 2–4 элементах: $\Gamma_C$ — состояние, порядок декодируется точно, а частичный след по одному элементу декодируется в индуцированный порядок; прежний $W_{cc'}$ со случайными антисимметричными фазами имеет отрицательное собственное значение; порядковый комплекс цепи из 1–4 элементов имеет эйлерову характеристику 1, а случайный порядок и противоположный ему имеют одни и те же цепи.

Статус: [Т]. Использует: нервы категорий (Mac Lane 1998); геометрический морфизм глобальных сечений $\pi: \mathcal{E} \to \mathcal{S}$ (HTT Prop. 6.3.4.1) и постоянные пучки на связном пространстве; теорему Шпильрайна о продолжении; композитные часы (только для (d)). Сняты: HTT 6.1.3.8 (цитировалась неверно), T-38b как конструкция часов (используется лишь число показаний), T-117–T-120 (замечание о непрерывном пределе не входит в теорему).

История статуса: исходно [С при C30]; [Т] по прежней Лемме C30 до 2026-09-26; переформулирована 2026-09-26 — [Т] для всякого конечного порядка, «вложение» нерва как объекта и прежняя Лемма C30 [✗].

3.3 Оценка вложения

Аспект	Статус	Комментарий
Порядок всякого конечного порядка в одном состоянии	[Т]	T-172 (a): читается из $\langle 01\rvert\rho_{cc'}\lvert 12\rangle$; $M^4$-вложение не нужно
Порядки как внутренние категории $\mathbf{Sh}_\infty(\mathcal{C})$	[Т]	T-172 (b): вполне строго, потому что $\mathcal{D}(\mathbb{C}^7)$ связно
Реализация нерва как объект ∞-топоса	[✗] как вложение	T-172 (c): стягиваема для всякого порядка с наименьшим элементом
Дискретная структура времени	[Т]	$6M+1$ показание суммарных часов (T-38b [Т] на голон); ранги линейного продолжения вмещаются (T-172 (d))
Непрерывный предел → $M^4$	не входит в T-172	T-118, T-119, T-120 — отдельные теоремы

---

4. Универсальное свойство ∞-топоса УГМ

4.1 Математический контекст

Категорно-теоретическое обоснование статуса Мета-ToE спрашивает, каким универсальным свойством обладает примитив УГМ в подходящей категории физических теорий. Ответ даёт T-174: выполняющееся свойство несёт кинематический объект $(A_{\text{int}}, \text{тривиальная динамика})$, и направлено оно от УГМ к теориям, содержащим её структуру; прежнее «приёмное отображение из всякой теории в $\mathbf{Sh}_\infty(\mathcal{D}(\mathbb{C}^7), J_{\text{Bures}})$» ложно.

Ключевые работы:

• Schreiber (2013, 1310.7930): Дифференциальная когомология в когезивном ∞-топосе. Калибровочные поля, ТКП, формализм BV-BRST — всё в рамках когезивных ∞-топосов.
• Baez (1995, q-alg/9503002): Высшая алгебра и топологическая КТП. Расширенные ТКП как функторы из nCob.
• Lurie (2009): Классификация расширенных ТКП: полностью дуализируемые объекты.

4.2 Категория физических теорий

Определение (Категория $\mathbf{PhysTheory}$). $\mathbf{PhysTheory}$ — ∞-категория из T-211: декартово распрямление над $\mathbf{Topoi}_\infty$ функтора $E \mapsto \mathrm{Dyn}(E) = \mathrm{Fun}(B\mathbb{R}, \mathrm{Alg}(E))$. Объекты — тройки $(E, \mathcal{A}, D)$:

• $E$ — ∞-топос;
• $\mathcal{A}$ — объект ассоциативной алгебры (моноида) в $E$ относительно декартовой структуры;
• $D$ — действие группы $\mathbb{R}$ на $\mathcal{A}$ автоморфизмами алгебры.

Морфизм $(E_1, \mathcal{A}_1, D_1) \to (E_2, \mathcal{A}_2, D_2)$ — тройка $(f, \alpha, \beta)$:

• $f: E_1 \to E_2$ — геометрический морфизм с обратным образом $f^*: E_2 \to E_1$;
• $\alpha: \mathcal{A}_1 \to f^*\mathcal{A}_2$ — отображение объектов алгебр в $E_1$;
• $\beta$ — когерентное семейство гомотопий $\beta_t: \alpha \circ D_1(t) \simeq f^*D_2(t) \circ \alpha$, $t \in \mathbb{R}$ (T-211 (b)).

Типизация (2026-09-26). Прежнее определение гласило «$\alpha$ — гомоморфизм алгебр» и «$\beta: D_1 \to f^*D_2 \circ \alpha$»; второе плохо типизировано ($D_1$ действует на $\mathcal{A}_1$, а $f^*D_2 \circ \alpha$ — отображение из $\mathcal{A}_1$ в $f^*\mathcal{A}_2$). В T-211 $\alpha$ — отображение моноидов: ничто не делает его линейным или сохраняющим $*$. Поэтому утверждения о $C^*$-алгебрах пользуются $C^*$-типизированной подкатегорией из §4.4, где $\alpha$ — унитальный $*$-гомоморфизм, либо явно оговаривают, что $\alpha$ — вполне положительное отображение, которое морфизмом $\mathbf{PhysTheory}$ не является.

4.3 Область единственности примитива

T-173: прежняя универсальная жёсткость [✗]

Прежнее доказательство не определяло единственного структурированного физического примитива. Монотонные квантовые метрики образуют семейство; выбор нормированной минимальной метрики Бюреса — определение, не единственность всех монотонных метрик. Сайт её открытых покрытий даёт топос пучков на заданном пространстве состояний. Классификатор — пучок открытых множеств; он не порождает базисных проекторов, примитивного лиувиллиана, гамильтониана или численных скоростей. Одной декогеренции в базисе недостаточно для примитивности: она сохраняет все диагональные заселённости.

Размерность семь требует явных предпосылок теоремы минимальности. Стабилизатор положительной октонионной формы равен $G_2$, но эта симметрия кодомена не идентифицирует физических кодирований. Прежняя универсальная жёсткость T-42a/T-123 снята; RI даёт условное сравнение заданных кодирований, не эквивалентность произвольных топосов и не единственность их динамической структуры.

При фиксированных $N$ и сайте открытых покрытий $\operatorname{Sh}_\infty(X_N)$ определён с точностью до эквивалентности этой конструкцией [T]. Репер, форма, динамика, часовой масштаб и интерпретация — отдельные данные. Разные гамильтонианы и скорости имеют один сайт и пространство состояний. Поэтому прежняя единственность только с точностью до $G_2\times\mathbb R_{>0}$ не следует из (i)–(iii).

4.4 Универсальное свойство: приёмное отображение

T-174: Универсальное свойство кинематического объекта УГМ [Т]

Исправлено 2026-09-26 — аудит T-174

T-174 утверждала: для всякой $(E, \mathcal{A}, D)$ с (a) $C^*$-подалгеброй $\cong A_{\text{int}} = \mathbb{C} \oplus M_3(\mathbb{C}) \oplus M_3(\mathbb{C})$ в $\mathcal{A}$, (b) CPTP-динамикой, (c) выделенной подалгеброй наблюдаемых размерности $\leq 7$ существует по существу единственный морфизм $(f^*, \alpha, \beta): (E, \mathcal{A}, D) \to (\mathbf{Sh}_\infty(\mathcal{C}), A_{\text{int}}, \mathcal{L}_\Omega)$, единственный с точностью до $G_2 \times \mathbb{R}_{>0}$. Не проходит ни один шаг доказательства:

1. Лемма 1 [✗]. «$\mathrm{Mod}_{A_{\text{int}}}(E)$ — стабильная $(\infty,1)$-категория — есть $(\infty,1)$-топос.» Нетривиальная стабильная ∞-категория никогда не ∞-топос: в ∞-топосе начальный объект строгий (всякое отображение $X \to \emptyset$ — эквивалентность: пустой копредел, стянутый вдоль него, по универсальности копределов, HTT Thm. 6.1.0.6), а в стабильной ∞-категории всякий $X$ отображается в нулевой объект, так что $X \simeq 0$. Кроме того, $A_{\text{int}}$ не $E_\infty$ ($M_3(\mathbb{C})$ некоммутативна), HA 4.5.1.1 этого не утверждает, а модули — не подкатегория $E$ (забывающий функтор не вполне строг), так что «подтопос $E[A_{\text{int}}]$» лишён смысла.
2. Лемма 2 [✗]. «$\mathrm{Mod}(A_{\text{int}}) \simeq \mathcal{D}(\mathbb{C}^7)$ по T-53.» Конечномерные модули образуют полупростую аддитивную категорию с тремя простыми объектами ($\mathbb{C}, \mathbb{C}^3, \mathbb{C}^3$), Морита-эквивалентную $\mathrm{Vect}^3$; $\mathcal{D}(\mathbb{C}^7)$ — выпуклое множество матриц, а не категория модулей, и $\mathbf{Sh}_\infty(\mathcal{D}(\mathbb{C}^7))$ не аддитивна (начальный и терминальный объекты различны). В T-53 такого утверждения нет.
3. Шаг 4 [✗]. Условное ожидание — не гомоморфизм алгебр: на $M_2(\mathbb{C})$ ожидание на диагональ переводит $\sigma_x \mapsto 0$, но $\sigma_x^2 = 1 \mapsto 1$. Без состояния оно и не единственно: $A_{\text{int}} \otimes \mathbb{C}^2 \to A_{\text{int}}$, $a \otimes (x, y) \mapsto a(\lambda x + (1-\lambda)y)$ — условное ожидание при всяком $\lambda \in [0,1]$. Теорема Такесаки говорит о сохраняющем состояние ожидании, которое существует тогда и только тогда, когда подалгебра инвариантна относительно модулярной группы. «$f^*A_{\text{int}} = A_{\text{int}}$ в $E$» к тому же обращает направление: $f^*$ идёт из целевого топоса в $E$.
4. Цель — не объект [✗]. $\mathcal{L}_\Omega = -i[H_{\text{eff}}, \cdot] + \mathcal{D}_\Omega + \mathcal{R}[\cdot, E]$ содержит нелинейную регенерацию $\mathcal{R}$, а её линейная часть порождает диссипативную полугруппу, а не действие $\mathbb{R} \to \mathrm{Aut}(A_{\text{int}})$ автоморфизмами алгебры (унитальное мультипликативное $*$-отображение матричной алгебры есть $\mathrm{Ad}\,u$, генератор которого имеет чисто мнимый спектр; у примитивного лиувиллиана есть собственные значения с отрицательной вещественной частью).
5. Шаг 5 [✗]. «$D\vert_{A_{\text{int}}} = g\,\mathcal{L}_\Omega\,g^{-1}$ для единственного $g \in G_2$» ложно: $(\mathcal{S}, A_{\text{int}}, \mathrm{id})$ удовлетворяет (a)–(c), и её динамика фиксирует все 19 измерений $A_{\text{int}}$, тогда как примитивная динамика фиксирует одномерное подпространство. Условие (c) пусто — у всякой алгебры есть подалгебра $\mathbb{C}1$ размерности $1 \leq 7$ — и не может сделать $\alpha$ «инъективным на наблюдаемых».
6. Шаг 6 [✗]. Часть геометрического морфизма не единственна с точностью до $G_2 \times \mathbb{R}_{>0}$: геометрические морфизмы из точки $\mathcal{S}$ в $\mathbf{Sh}_\infty(X)$, $X = \mathcal{D}(\mathbb{C}^7)$ трезво, — это точки $X$ (HTT §6.4.5, 0-локальные ∞-топосы), 48-мерное семейство, — тогда как $G_2$-орбиты в $X$ имеют размерность не выше 14, а $\mathbb{R}_{>0}$ (масштаб $\omega_0$) на $X$ не действует.
7. Само утверждение ложно при обеих типизациях [✗]. Если $\alpha$ — унитальный $*$-гомоморфизм, морфизма $(\mathcal{S}, M_7(\mathbb{C}), D) \to (\mathcal{S}, A_{\text{int}}, \cdot)$ нет ни при каком $D$, хотя $M_7(\mathbb{C}) \supset A_{\text{int}}$ удовлетворяет (a)–(c): ненулевого $*$-гомоморфизма $M_7(\mathbb{C}) \to A_{\text{int}}$ не существует. Если $\alpha$ — отображение моноидов (T-211 как есть), такие морфизмы есть, но не по существу единственны: $a \mapsto \det(a)^k\,1$, $k = 0, 1, 2, \dots$, попарно различны по модулю $\mathrm{Aut}(A_{\text{int}}, \cdot)$.
8. Абзац о когерентностях ссылался на «полное вложение в $\mathbf{Topoi}_\infty$ … вполне строго по T-173 … HTT 5.2.7»; это утверждение отозвано в T-211, которая даёт когерентности как конструкцию Гротендика.

Испробованные маршруты сохранить приёмное отображение $x \to \text{УГМ}$: (i) $*$-гомоморфизмы — нет существования (пункт 7); (ii) отображения моноидов — нет единственности (пункт 7); (iii) вполне положительные отображения (условные ожидания) — существование всегда (конечномерные $C^*$-алгебры инъективны), единственность лишь после фиксации точного следа, и целевая динамика должна быть ограничением исходной, так что единого целевого объекта нет, — этот маршрут сохраняется как часть (d) ниже; (iv) обратное направление, УГМ $\to x$, — проходит и даёт универсальное свойство (a)–(c). Прежнее утверждение отозвано [✗]; переформулированная T-174 — [Т].

Постановка. Рассмотрим слой $\mathbf{PhysTheory}$ над терминальным ∞-топосом $\mathcal{S}$ (теории над точкой). Его подкатегория $\mathbf{PhysTheory}^{C^*}_{\mathrm{pt}}$ имеет объектами $x = (\mathcal{S}, A, \sigma)$, где $A$ — унитальная $C^*$-алгебра (входящая в T-211 через свой мультипликативный моноид), а $\sigma: \mathbb{R} \to \mathrm{Aut}(A)$ — группа $*$-автоморфизмов, и морфизмами $(\mathrm{id}, \alpha, \beta)$ с унитальным $*$-гомоморфизмом $\alpha$; тождества и композиции таких — такие же, так что это (неполная) подкатегория. Поскольку объекты 0-усечены, слой из T-211 (b) — множество: $\beta$ существует тогда и только тогда, когда $\alpha \circ \sigma_1(t) = \sigma_2(t) \circ \alpha$ при всех $t$, и тогда единственна — совместимость с динамикой есть свойство, а не данные. Положим

$$u_0 := (\mathcal{S}, A_{\text{int}}, \mathrm{id}), \qquad x_n := (\mathcal{S}, M_n(\mathbb{C}), \mathrm{id}), \qquad A^\sigma := \{a \in A : \sigma_t(a) = a \ \forall t\}.$$

Теорема T-174 (переформулирована 2026-09-26) [Т]

(a) Копредставление. Для всякого объекта $x = (\mathcal{S}, A, \sigma)$ морфизмы $u_0 \to x$ находятся в биекции с $A_{\text{int}}$-структурами в $A^\sigma$: семействами $\big(p;\ (e_{ij})_{i,j=1}^3;\ (f_{ij})_{i,j=1}^3\big)$ в $A^\sigma$ с $p = p^* = p^2$, $e_{ij}^* = e_{ji}$, $e_{ij}e_{kl} = \delta_{jk}e_{il}$, тем же для $f$, всеми произведениями между $p$, $e$, $f$, равными нулю, и $p + \sum_i e_{ii} + \sum_i f_{ii} = 1$. Морфизм точен (инъективное $\alpha$) тогда и только тогда, когда $p$, $e_{11}$, $f_{11}$ все ненулевые. Прежнее условие (a) — копия $A_{\text{int}}$ в $A$ — необходимо для точного морфизма, но не достаточно: копия должна содержать $1_A$ и лежать в $A^\sigma$.

(b) Классификация и жёсткость при 7. С точностью до сопряжения $U(n)$ морфизмы $u_0 \to x_n$ соответствуют тройкам $(a, b, c) \in \mathbb{Z}_{\geq 0}^3$ с $a + 3b + 3c = n$ (кратности трёх слагаемых). Точные морфизмы существуют тогда и только тогда, когда $n \geq 7$; они образуют ровно один класс сопряжённости тогда и только тогда, когда $n \in \{7, 8, 9\}$ (при $n = 10$ — три). Бескратный точный морфизм ($a = b = c = 1$; коммутант $\cong \mathbb{C}^3$, абелев) существует тогда и только тогда, когда $n = 7$. При $n = 7$ точные морфизмы $u_0 \to x_7$ образуют одну $U(7)$-орбиту $U(7)/U(1)^3$ вещественной размерности 46.

(c) Динамика. Для $x = (\mathcal{S}, M_n(\mathbb{C}), \mathrm{Ad}\,e^{itH})$ имеем $A^\sigma = \{H\}'$, и точный морфизм $u_0 \to x$ существует тогда и только тогда, когда размерности собственных подпространств $m_1, \dots, m_r$ оператора $H$ допускают разложения $m_i = a_i + 3b_i + 3c_i$ с $\sum_i a_i, \sum_i b_i, \sum_i c_i \geq 1$. При $n = 7$ бескратный морфизм $\alpha_0$ (секторные проекторы $P_0, P_1, P_2$ рангов 1, 3, 3) является морфизмом в $x$ тогда и только тогда, когда $H \in \mathrm{span}(P_0, P_1, P_2)$; если спектр $H$ прост, точного морфизма нет вовсе. В расширении слоя на полугруппы унитальных вполне положительных отображений (группа $B\mathbb{R}$ заменена моноидом $\mathbb{R}_{\geq 0}$ — вне T-211 в её нынешнем виде) для примитивной полугруппы $T$ на $M_n(\mathbb{C})$ единственный морфизм $u_0 \to (M_n(\mathbb{C}), T)$ — это $\lambda \oplus A \oplus B \mapsto \lambda\,1$, и он не точен. В частности, примитивная линейная часть лиувиллиана УГМ (T-39a) не фиксирует ни одной точной $A_{\text{int}}$-структуры.

(d) Приёмное отображение на состояниях. Пусть $\alpha: u_0 \to x$ точен, $A$ конечномерна и $\tau$ — точное следовое состояние на $A$. Существует ровно одно унитальное вполне положительное отображение $E: A \to A_{\text{int}}$ с $E \circ \alpha = \mathrm{id}$ и $\tau \circ \alpha \circ E = \tau$ — сохраняющее $\tau$ условное ожидание на $\alpha(A_{\text{int}})$. Если $\sigma_t$ сохраняет $\tau$ и $\alpha(A_{\text{int}})$ как множество, то $E \circ \sigma_t = (\alpha^{-1}\sigma_t\alpha) \circ E$. Для $A = M_n(\mathbb{C})$ отображение $E$ никогда не гомоморфизм. При $n = 7$, $\alpha_0$ и $\tau = \mathrm{tr}/7$: $E(a) = (a_{00},\ P_1 a P_1,\ P_2 a P_2)$, а индуцированное отображение состояний $\rho \mapsto \rho \circ \alpha_0$ есть секторное защемление $\rho \mapsto (\rho_{00}, P_1\rho P_1, P_2\rho P_2)$. Именно это — канал на состояниях, двойственный $*$-гомоморфизму $\alpha$, а не гомоморфизм $A \to A_{\text{int}}$, — верное содержание прежнего «приёмного отображения».

(e) Во что превращается прежнее утверждение. Приёмные морфизмы $x \to \text{УГМ}$ в $\mathbf{PhysTheory}$ универсальным свойством не обладают: для $x = x_7$ с $\alpha$ — $*$-гомоморфизмом их нет, а с $\alpha$ — отображением моноидов их бесконечно много попарно неэквивалентных. Универсальное свойство несёт $u_0$, и направлено оно в обратную сторону, (a)–(c).

Доказательство.

(a) $A_{\text{int}}$ — универсальная $C^*$-алгебра на образующих $p, e_{ij}, f_{ij}$ с указанными соотношениями: соотношения говорят, что $p$, $\sum e_{ii}$, $\sum f_{ii}$ — ортогональные проекторы с суммой 1, а $(e_{ij})$, $(f_{ij})$ — системы матричных единиц $3 \times 3$ в вырезаемых ими углах; натянутая ими $*$-алгебра имеет размерность не больше $1 + 9 + 9 = 19$ и отображается на $A_{\text{int}}$ (где стандартные матричные единицы удовлетворяют соотношениям), так что это $A_{\text{int}}$. По такому семейству в $A^\sigma$ формула $\alpha(\lambda, (a_{ij}), (b_{ij})) := \lambda p + \sum a_{ij}e_{ij} + \sum b_{ij}f_{ij}$ задаёт унитальный $*$-гомоморфизм; поскольку у $u_0$ динамика тривиальна, совместимость $\alpha = \sigma_t \circ \alpha$ означает ровно, что образ лежит в $A^\sigma$. Обратно, образы стандартных образующих при морфизме образуют такое семейство. Идеалы $A_{\text{int}}$ — суммы её трёх слагаемых, и $\alpha$ убивает слагаемое тогда и только тогда, когда убивает его единицу $p$, $\sum e_{ii}$ или $\sum f_{ii}$, — равносильно $p$, $e_{11}$ или $f_{11}$ (так как $e_{ii} = e_{i1}e_{11}e_{1i}$).

(b) Унитальное $*$-представление $A_{\text{int}}$ на $\mathbb{C}^n$ — прямая сумма неприводимых — $\mathbb{C}$ (через первое слагаемое), $\mathbb{C}^3$ (через первую $M_3$), $\mathbb{C}^3$ (через вторую) — с кратностями $(a, b, c)$, $a + 3b + 3c = n$; два представления унитарно эквивалентны тогда и только тогда, когда кратности совпадают (полупростота). Точность означает $a, b, c \geq 1$, так что $n \geq 7$. Точные классы: $n = 7$: $(1,1,1)$; $n = 8$: $(2,1,1)$; $n = 9$: $(3,1,1)$; при $n \geq 10$ по меньшей мере $(n-6,1,1)$, $(n-9,2,1)$, $(n-9,1,2)$. Коммутант класса $(a, b, c)$ есть $M_a \oplus M_b \oplus M_c$, абелев тогда и только тогда, когда $a, b, c \leq 1$; вместе с точностью это даёт $a = b = c = 1$, $n = 7$. Стабилизатор $\alpha_0$ при сопряжении — унитарная группа коммутанта, $U(1)^3$, так что орбита — $U(7)/U(1)^3$ размерности $49 - 3 = 46$.

(c) Алгебра неподвижных точек $\{\mathrm{Ad}\,e^{itH}\}_{t \in \mathbb{R}}$ — коммутант $\{H\}' = \bigoplus_i M_{m_i}(\mathbb{C})$ по собственным подпространствам. Унитальный $*$-гомоморфизм в неё — семейство унитальных представлений $A_{\text{int}}$ на собственных подпространствах, по одному на блок, с кратностями $(a_i, b_i, c_i)$; он точен тогда и только тогда, когда каждое слагаемое $A_{\text{int}}$ входит в какой-то блок. Для $\alpha_0$: $\alpha_0(A_{\text{int}}) \subset \{H\}'$ тогда и только тогда, когда $H \in \alpha_0(A_{\text{int}})' = \mathrm{span}(P_0, P_1, P_2)$. Простой спектр: $\{H\}'$ абелева, а у $M_3(\mathbb{C})$ нет ненулевого $*$-гомоморфизма в абелеву алгебру (её неприводимые представления трёхмерны). Для примитивной полугруппы $T_t = e^{t\mathcal{L}^\dagger}$ на $M_n(\mathbb{C})$: примитивность означает $\dim\ker\mathcal{L} = 1$ с точным стационарным состоянием; в конечной размерности $\dim\ker\mathcal{L}^\dagger = \dim\ker\mathcal{L} = 1$ и $\mathcal{L}^\dagger(1) = 0$ (унитальность), так что неподвижные точки — $\mathbb{C}1$. Образ морфизма лежит в неподвижных точках, так что морфизм — характер $A_{\text{int}}$, умноженный на $1$; единственный характер — $\lambda \oplus A \oplus B \mapsto \lambda$ (у слагаемых $M_3$ характеров нет).

(d) На конечномерном гильбертовом пространстве $L^2(A, \tau)$ пусть $E$ — ортогональный проектор на $\alpha(A_{\text{int}})$, скомпонованный с $\alpha^{-1}$. Это сохраняющее $\tau$ условное ожидание (Umegaki 1954; Takesaki 1972 — модулярная группа следа тривиальна, так что условие инвариантности выполнено), в частности унитальное вполне положительное с $E \circ \alpha = \mathrm{id}$. Единственность: если $E'$ унитально вполне положительно и $E' \circ \alpha = \mathrm{id}$, то $\alpha \circ E'$ — проектор нормы один на $\alpha(A_{\text{int}})$, а значит условное ожидание (Tomiyama 1957), в частности $\alpha(A_{\text{int}})$-бимодульное; если ещё $\tau \circ \alpha \circ E' = \tau$, то $\tau\big(\alpha(E'(a))\,\alpha(b)\big) = \tau\big(\alpha(E'(a\,\alpha(b)))\big) = \tau(a\,\alpha(b))$ при всех $b \in A_{\text{int}}$, а это определяющее свойство $E$, так что $E' = E$. Эквивариантность: для $b \in A_{\text{int}}$ $\tau(\alpha E(\sigma_t a)\,\alpha(b)) = \tau(\sigma_t(a)\,\alpha(b)) = \tau(a\,\sigma_{-t}\alpha(b)) = \tau(\alpha E(a)\,\sigma_{-t}\alpha(b)) = \tau(\sigma_t\alpha E(a)\,\alpha(b))$, с учётом $\tau \circ \sigma_t = \tau$ и $\sigma_{-t}\alpha(b) \in \alpha(A_{\text{int}})$. Не гомоморфизм при $A = M_n(\mathbb{C})$: у мультипликативного $E$ ядро — двусторонний идеал; $M_n(\mathbb{C})$ проста и $E \neq 0$, так что $E$ было бы инъективно, $n^2 \leq 19$ — вопреки $n \geq 7$. Формула при $n = 7$ удовлетворяет $E \circ \alpha_0 = \mathrm{id}$ и $\mathrm{tr}(E(a)\,b) = \mathrm{tr}(a\,b)$ для блочно-диагональных $b$; по единственности это $E$. Двойственное отображение состояний — ограничение вдоль $\alpha_0$, считывающее три диагональных блока.

(e) $*$-гомоморфизм $M_7(\mathbb{C}) \to A_{\text{int}}$, за которым следует проекция на слагаемое $M_m$ ($m \in \{1, 3\}$), есть $*$-гомоморфизм $M_7(\mathbb{C}) \to M_m(\mathbb{C})$; он нулевой, поскольку ненулевой кратен 7-мерному неприводимому представлению, а $7 > m$; значит, единственный $*$-гомоморфизм — $0$, и он не унитален. Отображения моноидов: $a \mapsto \det(a)^k\,1$ унитально и мультипликативно. Если бы автоморфизм моноида $\psi$ алгебры $(A_{\text{int}}, \cdot)$ переводил $\det^k 1$ в $\det^m 1$ при $k \neq m$, то $\psi(z^k 1) = z^m 1$ при всех $z \in \mathbb{C}$ (возьмём $a = \mathrm{diag}(z, 1, \dots, 1)$); при $k = 0$ это ложно в $z = 0$; при $k, m \geq 1$ примитивный корень из единицы порядка $k$ даёт $z^m = 1$, так что $k \mid m$, симметрично ($\psi^{-1}$) $m \mid k$, и $k = m$. $\blacksquare$

Численная проверка: check_core_numbers.py, test_t174_a_int_corepresents_structures_and_the_old_receiving_map_fails — коммутант $\alpha_0(A_{\text{int}})$ в $M_7(\mathbb{C})$ имеет размерность 3; числа точных классов при $n = 1, \dots, 12$ равны $0,0,0,0,0,0,1,1,1,3,3,3$, а $(1,1,1)$ встречается лишь при $n = 7$; $E$ вполне положительно (матрица Чоя $\geq 0$), сохраняет след против $A_{\text{int}}$, удовлетворяет $E \circ \alpha_0 = \mathrm{id}$ и имеет дефект мультипликативности $> 1$ на случайных матрицах; случайный примитивный линдбладиан на $\mathbb{C}^7$ имеет одно стационарное состояние и гейзенберговы неподвижные точки $\mathbb{C}1$; $H$ с простым спектром не коммутирует ни с одной из 12 внедиагональных матричных единиц, $H \in \mathrm{span}(P_0, P_1, P_2)$ коммутирует со всеми 19 образующими; $G_2$-орбита случайного состояния имеет размерность 14 в 48-мерном $\mathcal{D}(\mathbb{C}^7)$.

Чем пользуется T-174: T-211 (∞-категория и вид её пространств отображений); Umegaki 1954, Takesaki 1972, Tomiyama 1957 (условные ожидания); теория представлений конечномерных $C^*$-алгебр; HTT Thm. 6.1.0.6 и §6.4.5 (только для аудита); T-39a (только для замечания о лиувиллиане УГМ в (c)). Больше не используются: T-173 (жёсткость не нужна и единственности морфизмов не даёт), T-53, T-60, T-42a, Стайнспринг и «подтопос модулей».

История статуса: [Т] с введения до 2026-09-26; аудит 2026-09-26: прежнее утверждение и каждый шаг его доказательства [✗] (пункты 1–8); переформулирована как (a)–(e) [Т].

4.5 Схема вложений

     u0 = (A_int, trivial dynamics)  -- corepresents A_int-structures (T-174 a) --
        |                    |                       |
        | *-hom into A^sigma | unique up to U(7)     | E: tau-preserving expectation
        v                    v   iff n = 7, 8, 9     v   (UCP, not a *-hom; T-174 d)
   any theory x       M_n(C), n >= 7          states of x --> states of A_int

   spin networks (all j)  --Gamma_S-->  states of |V| heptads   [T-171]
   finite posets          --Gamma_C-->  states of |C| heptads   [T-172 a]
   finite posets          --pi* N-->    Segal objects of Sh(D(C^7)), fully faithful [T-172 b]
   M-theory on G2         :  Stab(phi_0) = Aut(O) = G2 [T-170 i];  Z_UHM = Z_M  [Г]

---

5. Сводная таблица

Теория	Отображение	Ключевой механизм	Статус	Условия
M-теория	не утверждается (прежний $\mathcal{F}_M$ [✗])	$\mathrm{Stab}_{GL(7)}(\varphi_0) = \mathrm{Aut}(\mathbb{O}) = G_2$	[Т] для T-170 (i)–(iii); соответствие [Г]	$Z_M$ не определена ни пертурбативно, ни непертурбативно
ПКГ (LQG) (все конечные спиновые сети)	$\mathcal{S} \mapsto \Gamma_{\mathcal{S}}$, $M = \lvert V\rvert$	спины и метки как отношения когерентностей	[Т]	— (T-171, T-171')
Каузальные множества (все конечные порядки)	$C \mapsto \Gamma_C$; $C \mapsto \pi^*N_\bullet C$	упорядоченное парное состояние; связность $\mathcal{D}(\mathbb{C}^7)$	[Т]	— (T-172)
Универсальное свойство	$u_0 = (A_{\text{int}}, \mathrm{id})$ копредставляет $A_{\text{int}}$-структуры	универсальная $C^*$-алгебра; бескратность лишь при $n = 7$	[Т]	прежнее приёмное отображение в УГМ [✗]

5.1 Честная оценка

M-теория (Task 1): доказано совпадение группы симметрий — стабилизатор ассоциативной 3-формы есть $\mathrm{Aut}(\mathbb{O}) = G_2$, — а также конечность УГМ-интеграла при конечном $M$ на торе $(S^1)^{21M}$ и существование состояний термодинамического предела (T-170 (i)–(iii) [Т]). Равенство статсумм — гипотеза [Г]: его M-теоретическая сторона не определена, прежняя лемма о модулях ложна, а прежний функтор плохо типизирован. ПКГ (Task 2): всякая конечная спиновая сеть, с неограниченным спином, инъективно кодируется состоянием $\lvert V\rvert$ голонов с локальным декодированием и ограничением на индуцированные подсети (T-171, T-171' [Т]); прежнее состояние Леммы C29' не было матрицей плотности, а кластерная конструкция была ложной. Каузальные множества (Task 3): всякий конечный порядок кодируется состоянием, а конечные порядки вполне строго вкладываются как внутренние категории $\mathbf{Sh}_\infty(\mathcal{D}(\mathbb{C}^7))$ (T-172 [Т]); прежнее «вложение нерва» стягивает в точку всякий порядок с наименьшим элементом. Универсальное свойство (Task 4): прежнего приёмного отображения в УГМ как $*$-гомоморфизма не существует, а как отображение моноидов оно не единственно; выполняется копредставление $A_{\text{int}}$-структур объектом $u_0$, с жёсткостью ровно при $n = 7$, и сохраняющее $\tau$ условное ожидание как отображение состояний (T-174 [Т]).

Что доказано [Т]:

1. $\mathrm{Stab}_{GL(7)}(\varphi_0) = \mathrm{Aut}(\mathbb{O}) = G_2$ — группа голономии $G_2$-структур без кручения (T-170 (i));
2. Цепочка $SU(2) \subset SU(3) \subset G_2$ с $\mathbf{7} \to \mathbf{1} \oplus \mathbf{3} \oplus \bar{\mathbf{3}}$ над $\mathbb{C}$ (T-171 (e));
3. Инъективные, локально декодируемые кодирования конечных спиновых сетей и конечных порядков голонными состояниями (T-171, T-172);
4. $u_0$ копредставляет $A_{\text{int}}$-структуры; бескратная точная существует лишь на $\mathbb{C}^7$ и единственна там с точностью до $U(7)$ (T-174).

Что не доказано:

1. $Z_{\text{UHM}} = Z_M$ ни на каком уровне (T-170 (iv) [Г]);
2. Конкретная форма Фано-амплитуд спиновых пен и их семи-классический предел;
3. Универсальное свойство в УГМ из всякой теории некоторого класса — в заявленном виде ложно (T-174 (e)).

---

6. Регистрация результатов

Теорема	Формулировка	Статус	Условия
T-170	Совпадение $G_2$; статсумма при конечном $M$; предельные состояния; соответствие статсумм	[Т] для (i)–(iii); (iv) [Г]	Лемма T-170'.1, T-170' как теорема и $\mathcal{F}_M$ [✗] (2026-09-26)
T-171	Кодирование всех конечных спиновых сетей состояниями $\lvert V\rvert$ голонов	[Т]	— (переформулирована 2026-09-26; прежняя Лемма C29' [✗])
T-171'	Неограниченный спин	[Т]	Следствие T-171; кластерная конструкция [✗]
T-172	Кодирование всех конечных порядков; вложение внутренних категорий в $\mathbf{Sh}_\infty(\mathcal{C})$	[Т]	— (переформулирована 2026-09-26; вложение нерва как объекта [✗])
T-173	Прежняя универсальная жёсткость примитива	[✗]	Конструкция заданного сайта [T]; динамика и мосты — входные данные (§4.3)
T-174	$u_0$ копредставляет $A_{\text{int}}$-структуры; жёсткость при $n = 7$; критерий динамики; сохраняющее $\tau$ ожидание на состояниях	[Т]	— (переформулирована 2026-09-26; прежнее приёмное отображение [✗])
C27-M	Непрерывный предел Gap	[П]	Часть гипотезы T-170 (iv)
C28-M	Суперсимметрическое расширение	[П]	Часть гипотезы T-170 (iv)
C29'	Пространственное кодирование (переформулировано: все конечные спиновые сети)	[Т]	Лемма C29' = T-171 (a)–(c)
C29	Пространственный предел для неограниченных спиновых сетей	[Т]	Закрыто T-171 (нет границы на $j_e$)
C30	Каузальное кодирование (переформулировано: все конечные порядки, без $M^4$-вложения)	[Т]	Лемма C30 = T-172 (a)

---

Связи

• Опирается на: Спектральная тройка (T-53), Эмерджентное $M^4$ (T-117–T-121), заданная октонионная симметрия и условная RI, SUSY из $G_2$, Gap-функциональный интеграл, Секторная декомпозиция
• Обосновывает: Мета-ToE статус УГМ
• Статус-реестр: T-170 — T-174, C27-M — C30 (Реестр)