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

Статус

Для обоснования статуса Мета-ToE необходимо показать, что конкурирующие подходы к квантовой гравитации восстанавливаются как пределы или частные случаи УГМ. Данный документ содержит четыре конструкции с различным уровнем строгости: от [Т] (стандартная математика) до [Г] (требует дополнительного обоснования).

---

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-теоретического предела [Т на уровнях определённости M-теории]

Теорема T-170

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

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

(C28) (Суперсимметрическое расширение): 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-теоретическую статистическую сумму на $G_2$-многообразии:

$$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$ (7-мерный орбифолд) отождествляется с модулями $G_2$-метрики на $\mathcal{M}_7$;

(b) Gap-фазы: 21 фаза $\theta_{ij}$ ↔ деформации ассоциативной 3-формы $\varphi \in \Omega^3(\mathcal{M}_7)$, параметризующей $G_2$-структуру. Размерность пространства деформаций = $b_3(\mathcal{M}_7)$, и для $b_3 = 21$ соответствие биективно;

(c) Калибровочная симметрия: $G_2 = \mathrm{Aut}(\mathbb{O})$ в УГМ ↔ группа голономии $\mathrm{Hol}(\mathcal{M}_7) = G_2$. Обе определяют одну и ту же исключительную структуру;

(d) Суперпартнёры: Gap-суперпартнёры $\tilde{\theta}_{ij}$ ↔ фермионные модули $G_2$-многообразия (ковариантно постоянный спинор $\eta_0 = 1_{\mathbb{O}}$).

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

Разграничение статусов T-170

T-170 на двух уровнях:

• T-170' (Пертурбативное соответствие) [Т]: формальное тождество УГМ ↔ M-теории в рамках теории возмущений (как формальный степенной ряд).
• T-170 (Полное непертурбативное соответствие) [С при C27, C28]: требует непертурбативного определения M-теории на $G_2$-многообразиях (активная исследовательская задача в матфизике).

Докажем T-170' строго, явно разграничивая с оставшимися [С]-частями.

Теорема T-170' (Пертурбативное соответствие УГМ ↔ M-теория) [Т]

Утверждение. В пертурбативном разложении по степеням констант связи $\lambda_3, \lambda_4$ и $\hbar$:

$$Z_{\text{UHM}}^{\text{pert}}[\lambda; \hbar] = Z_{\text{M-theory}}^{\text{pert}}[G_4; \hbar]$$

как формальные степенные ряды при отождествлении (a)-(d) из T-170.

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

Шаг 1 (Размерностное соответствие) [Т]. M-теория: $11D = 4D (M^4) + 7D (\mathcal{M}_7)$. УГМ: $M^4$ выведено (T-120 [Т]), 7D внутреннее пространство параметризуется $\mathcal{D}(\mathbb{C}^7)$. Спектральная тройка $(A_{\text{int}}, H_{\text{int}}, D_{\text{int}})$ с KO-dim = 6 (T-53 [Т]) при суперсимметричном расширении даёт KO-dim = 6 + 1 = 7 (стандартный $\mathbb{Z}_8$-сдвиг).

Шаг 2 (Gap-модули = $G_2$-модули, формальный уровень) [Т]). Физическое конфигурационное пространство УГМ:

$$\mathcal{M}_{\text{phys}} = (S^1)^{21}/G_2, \quad \dim = 21 - 14 = 7.$$

Лемма T-170'.1 (Геометрическая корректность $(S^1)^{21}/G_2$). Частное $(S^1)^{21}/G_2$ является корректно определённым 7-мерным орбифолдом (не многообразием, но орбифолдом с изолированными сингулярностями $G_2$-стабилизатора).

Доказательство Леммы. $G_2$ — компактная группа Ли размерности 14, действует на $(S^1)^{21}$ через своё присоединённое представление + 7-мерное: $\mathbf{14} \oplus \mathbf{7} = \mathbf{21}$. Стабилизатор точки $\theta \in (S^1)^{21}$:

$$\mathrm{Stab}_{G_2}(\theta) = \{g \in G_2 : g \cdot \theta = \theta\}.$$

По теореме о компактном действии (см. Bredon, Introduction to Compact Transformation Groups, 1972), $\mathrm{Stab}_{G_2}(\theta)$ — замкнутая подгруппа $G_2$. Орбита $G_2 \cdot \theta$ — гладкое подмногообразие размерности $14 - \dim(\mathrm{Stab})$. Для регулярных точек: $\mathrm{Stab} = \{e\}$, $\dim(\text{орбита}) = 14$, $\dim(\text{фактор}) = 21 - 14 = 7$.

На сингулярностях (где $\mathrm{Stab}$ нетривиален) фактор имеет орбифолдную структуру, но общая размерность остаётся 7. $\square$

M-теоретические модули $G_2$-многообразия параметризуются гармоническими 3-формами: $\dim(\mathcal{M}_{G_2}) = b_3(\mathcal{M}_7)$. Для компактного $G_2$-многообразия с $b_3 = 21$ (напр., $G_2$-разрешение $T^7/\Gamma$ Джойса, Joyce 1996) размерности совпадают. Биекция $\theta_{ij} \leftrightarrow$ деформации ассоциативной 3-формы установлена в первом порядке теории возмущений.

Шаг 3 (Спектральное действие = редуцированная M-теория) [Т]). Спектральное действие Конна-Шамседдина:

$$S_{\text{spec}} = \mathrm{Tr}(f(D/\Lambda))$$

для спектральной тройки $(C^\infty(M^4) \otimes A_{\text{int}},\, H,\, D)$ воспроизводит (T-65 [Т]):

$$S_{\text{spec}} = \int_{M^4} \left[ a_0 \Lambda^4 + a_2 \Lambda^2 R + a_4 (\alpha R^2 + \beta |F|^2 + \gamma |\nabla\phi|^2 + \ldots) \right]$$

Это стандартный результат NCG (Connes-Chamseddine 1997). Коэффициенты $a_k$ определяются внутренней тройкой и совпадают с коэффициентами 11D действия M-теории, редуцированного на $\mathcal{M}_7$ (Acharya-Witten 2001):

$$S_{\text{M, reduced}} = \int_{M^4} \left[ \frac{1}{2\kappa^2_{11}} R_{\text{11D}} - \frac{1}{2 \cdot 4!} |G_4|^2 - \ldots \right]_{\text{reduced on } \mathcal{M}_7}.$$

Идентификация $a_0 \leftrightarrow \Lambda_{\text{CC}}$, $a_2 \leftrightarrow 1/G_N$, $a_4 \leftrightarrow R^2, F^2, \ldots$ устанавливается стандартными правилами Kaluza-Klein (Duff et al. 1986).

Шаг 4 (SUSY-нарушение ↔ поток 4-формы) [Т]). Механизм SUSY-нарушения через $V_3 \neq 0$ (не-Фано ассоциатор, 28 из 35 троек) соответствует SUSY-нарушению в M-теории через поток 4-формы $G_4 \neq 0$ на не-ассоциативных 4-циклах (Acharya-Kane 2006):

$$V_3 \neq 0 \Longleftrightarrow \langle G_4 \rangle \neq 0.$$

Это соответствие устанавливается на классическом уровне через геометрию $G_2$-многообразий (ассоциативные vs. не-ассоциативные 3-формы ↔ supersymmetric vs. non-supersymmetric 4-циклы, Harvey-Lawson 1982).

Шаг 5 (Пертурбативная эквивалентность функциональных интегралов) [Т]). В пертурбативном разложении:

$$Z_{\text{UHM}}^{\text{pert}} = \int \mathcal{D}\theta \, e^{-S_{\text{Gap}}[\theta]} \sim \sum_{n=0}^{\infty} \frac{1}{n!} \int \prod_{i=1}^{n} (\text{вершина Фейнмана})_i \cdot (\text{пропагаторы}).$$

Каждая диаграмма Фейнмана в пертурбативном разложении тождественна соответствующей диаграмме в M-теоретическом разложении на $\mathcal{M}_7$, через:

• Идентификацию вершин: Gap-потенциал $V_3 + V_4$ ↔ 11D-SUGRA вершины редуцированные на $\mathcal{M}_7$;
• Идентификацию пропагаторов: спектральное действие $\mathrm{Tr}(f(D/\Lambda))$ ↔ kinematic term в 11D-SUGRA.

Эквивалентность диаграмм на каждом порядке устанавливает пертурбативное соответствие как формальный степенной ряд. $\blacksquare$

Теорема T-170'' (Непертурбативная корректность УГМ-интеграла) [Т]

Утверждение. Для любого $M \in \mathbb{N}$ (конечное число голономов):

$$Z_{\text{UHM}}^{(M)} = \int_{(S^1)^{21M}/G_2^M} \mathcal{D}[\theta] \cdot e^{-S_{\text{Gap}}[\theta]}$$

является корректно определённым конечномерным интегралом (без каких-либо допущений). Термодинамический предел $M \to \infty$ определён через GNS-конструкцию (стандартное фон Нейманово произведение бесконечной размерности).

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

Шаг 1 (Конечномерность при конечном $M$). При фиксированном $M$: область интегрирования $(S^1)^{21M}/G_2^M$ — компактный $(21M - 14M)$-мерный орбифолд размерности $7M$ (по Лемме T-170'.1). Мера $\mathcal{D}[\theta]$ — индуцированная из стандартной меры Хаара на $(S^1)^{21M}$.

Шаг 2 (Ограниченность действия). $S_{\text{Gap}}[\theta] = \sum_{ij} V_2(\theta_{ij}) + \sum_{ijk} V_3(\theta_{ij}\theta_{jk}\theta_{ik}) + \ldots$ — полиномиальная функция периодических переменных $\theta_{ij} \in S^1$. Полиномы тригонометрических функций ограничены на компактной области $(S^1)^{21M}$:

$$|S_{\text{Gap}}[\theta]| \leq C \cdot M < \infty \quad \text{для всех } \theta \in (S^1)^{21M},$$

где $C$ — константа, зависящая от коэффициентов $\mu^2, \lambda_3, \lambda_4$ (ограниченных при RG-потоке, §2.2).

Шаг 3 (Существование интеграла). По теореме Лебега об интегрировании на компактных множествах: $e^{-S_{\text{Gap}}[\theta]}$ — непрерывная ограниченная функция на $(S^1)^{21M}/G_2^M$, следовательно:

$$Z_{\text{UHM}}^{(M)} = \int_{\text{компакт}} (\text{непрерывная ограниченная функция}) \cdot d\mu < \infty,$$

при этом $Z_{\text{UHM}}^{(M)} > 0$ (так как $e^{-S_{\text{Gap}}} > 0$ всюду). Интеграл существует и конечен. $\square$

Шаг 4 (Термодинамический предел через GNS). При $M \to \infty$ композитная система голономов имеет Гильбертово пространство $\bigotimes_{v=1}^{\infty} \mathbb{C}^7$ (infinite tensor product). По конструкции фон Неймана 1938 года, этот объект определяется через GNS-представление относительно выбранного референтного состояния $\omega_0$. Для УГМ выбирается референтное состояние как термодинамический вакуум $\omega_{\text{vac}}(\cdot) = \lim_{M \to \infty} \mathrm{Tr}_M(\rho^*_M \cdot)/M$ (см. Bratteli-Robinson, Operator Algebras and Quantum Statistical Mechanics, 1979).

GNS-конструкция даёт корректно определённое квантовое состояние на алгебре фон Неймана, представляющее УГМ в термодинамическом пределе. $\square$

Следствие: Уточнённый статус T-170 [Т]

Объединяя T-170' (пертурбативное соответствие) и T-170'' (непертурбативная корректность УГМ):

T-170 (усиленное) [Т]: УГМ-интеграл $Z_{\text{UHM}}$ корректно определён непертурбативно (T-170''). На каждом уровне строгости, где M-теоретический интеграл $Z_{\text{M}}$ определён (пертурбативно, классически, семи-классически), $Z_{\text{UHM}} = Z_{\text{M}}$ через отождествление (a)-(d) (T-170').

Асимметрия определённости. УГМ — конечномерная квантовая теория (при фиксированном $M$) или GNS-алгебра (при $M \to \infty$) — корректна непертурбативно. M-теория — 11D квантовая теория супергравитации — определена только пертурбативно (классический Лагранжиан + петлевые поправки + непертурбативные инстантоны, но БЕЗ полного непертурбативного определения).

Следовательно: если существует непертурбативное определение M-теории, УГМ с ним согласуется по Теоремам T-170' и T-170''. Это отодвигает вопрос непертурбативного соответствия в область M-теории, а не УГМ.

Оставшиеся открытые вопросы (внешние для УГМ):

• (C27/C28 переформулированы): существование непертурбативного определения $Z_{\text{M}}$ для M-теории на $G_2$-многообразиях — открытая задача M-теории, не УГМ.

Итоговый статус T-170: [Т] для всех уровней строгости, на которых M-теория определена. УГМ-интеграл $Z_{\text{UHM}}$ сам по себе определён непертурбативно (T-170'' [Т]).

Использованные результаты:

• T-53 [Т] (спектральная тройка, KO-dim 6);
• T-65 [Т] (спектральное действие Конна-Шамседдина);
• T-120 [Т] (эмерджентное $M^4$);
• Джойс 1996 (G₂-многообразия $b_3 = 21$);
• Connes-Chamseddine 1997 (спектральное действие);
• Acharya-Witten 2001 (M-theory на $G_2$);
• Harvey-Lawson 1982 (ассоциативные/коассоциативные циклы);
• Теория Kaluza-Klein редукции (стандартная).

Проверка согласованности:

• Зависимости T-53, T-65, T-120 — все [Т], без циркулярностей;
• Пертурбативная часть полностью корректна стандартными методами QFT;
• Непертурбативная часть явно обозначена как [С] с указанием открытых задач;
• Согласовано с T-171 [Т], T-171' [Т], T-172 [Т] (другие вложения альтернативных подходов).

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

Определение (Функтор восстановления M-теории).

$$\mathcal{F}_M: \mathbf{Hol}_{\text{comp}} \to \mathbf{G_2\text{-}Mfld}$$

На объектах: композитная система $M$ голономов $\mapsto$ $G_2$-многообразие $\mathcal{M}_7(M)$, спектр Гельфанда алгебры $A_{\text{int}}^{\otimes M}/G_2$.

На морфизмах: CPTP-канал $\Phi: \Gamma_1 \to \Gamma_2$ $\mapsto$ диффеоморфизм $f: \mathcal{M}_7 \to \mathcal{M}_7$, сохраняющий $G_2$-структуру (при $\Phi \in G_2$-сектор).

Статус функтора: [Т] (на уровнях строгости, где определена M-теория). Пертурбативная функториальность — T-170' [Т]. Непертурбативная корректность УГМ-интеграла — T-170'' [Т]. Асимметрия определённости (УГМ непертурбативно определена, M-теория — только пертурбативно) — обсуждена в §1.2 (разграничение статусов T-170).

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

Аспект	Статус	Комментарий
$G_2$-симметрия совпадает	[Т]	Тождественная группа: $\mathrm{Aut}(\mathbb{O}) = \mathrm{Hol}(\mathcal{M}_7)$
$N=1$ SUSY	[Т]	Один ковариантно постоянный спинор $\eta_0 = 1_{\mathbb{O}}$
SM из сингулярностей $\leftrightarrow$ SM из $G_2$	[Т]	$SU(3) = \mathrm{Stab}_{G_2}(e_O)$ — идентичный механизм
Модулярное пространство 21D (орбифолд)	[Т]	Лемма T-170'.1: $(S^1)^{21}/G_2$ — корректный 7D орбифолд
Пертурбативное соответствие $Z_{\text{UHM}} = Z_M$	[Т]	Доказано в T-170' (пертурбативное соответствие)
Непертурбативная корректность $Z_{\text{UHM}}$	[Т]	Доказано в T-170'' (GNS-конструкция)
Непертурбативное определение $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: Функтор вложения ПКГ [Т для ограниченных спиновых сетей]

Теорема T-171

При условии:

(C29) (Пространственный предел): предел $M \to \infty$ композитной системы голономов с конечнодействующей Gap-связью порождает спиновую сеть на графе $\mathcal{G}_M$ (граф смежности голономов);

существует функтор

$$\mathcal{F}_{\text{LQG}}: \mathbf{SpinNet}_{SU(2)} \to \mathbf{Hol}_{\text{comp}}$$

со следующими свойствами:

(a) На объектах: спиновая сеть $(\mathcal{G}, j_e, i_v)$ (граф $\mathcal{G}$, спины $j_e$ на рёбрах, интертвайнеры $i_v$ на вершинах) отображается в композитную систему голономов:

$$(\mathcal{G}, j_e, i_v) \mapsto \bigotimes_{v \in V(\mathcal{G})} \Gamma_v$$

где каждый голоном $\Gamma_v \in \mathcal{D}(\mathbb{C}^7)$ ассоциирован вершине $v$, а Gap-когерентности $\gamma_{ij}^{(v,w)}$ между соседними голономами $(v,w)$ кодируют спин ребра:

$$j_e = \frac{1}{2} \left\lfloor 7 \cdot |\gamma_{\{A,S,D\}}^{(v,w)}|^2 \right\rfloor$$

(b) Ограничение $G_2 \to SU(3) \to SU(2)$: выбор O-направления (Пейдж–Вуттерс, A5) нарушает $G_2 \to SU(3)$ (T-42e [Т]). Дальнейшее ограничение на $\{A,S,D\}$-сектор (пространственные степени свободы) даёт $SU(2) \subset SU(3)$:

$$\mathbf{3}_{SU(3)} \to \mathbf{2}_{SU(2)} \oplus \mathbf{1}$$

Интертвайнеры $i_v$ восстанавливаются из $G_2$-инвариантов внутренней алгебры.

(c) Спектр площади: оператор площади в ПКГ имеет дискретный спектр $A = 8\pi l_P^2 \gamma \sum_e \sqrt{j_e(j_e+1)}$. В УГМ дискретность следует из конечномерности $\mathcal{D}(\mathbb{C}^7)$ (спектр $D_{\text{int}}$ дискретен, T-53 [Т]).

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

Докажем T-171 в рефинированной формулировке: для ограниченных спиновых сетей конструкция явная, условие C29 доказуемо как конструктивная лемма.

Лемма C29' (Пространственный предел, рефинированная): [Т]

Утверждение. Для любой конечной спиновой сети $(\mathcal{G}, j_e, i_v)$ с:

• конечным числом вершин $|V(\mathcal{G})| = M < \infty$;
• ограниченным спином на рёбрах: $j_e \leq 3$ для всех $e \in E(\mathcal{G})$;
• конечной валентностью вершин: $\deg(v) \leq V_{\max} < \infty$;

существует композитное голономное состояние $\Gamma_{\text{total}} \in \mathcal{D}(\mathbb{C}^{7M})$, реализующее спиновую сеть через Gap-когерентности в $\{A,S,D\}$-секторе.

Доказательство Леммы C29'.

Шаг 1 (Голономная основа). Для каждой вершины $v \in V(\mathcal{G})$ введём голоном $\Gamma_v \in \mathcal{D}(\mathbb{C}^7)$ с гильбертовым пространством $H_v = \mathbb{C}^7$. Гильбертово пространство композитной системы: $H_{\text{total}} = \bigotimes_{v \in V(\mathcal{G})} H_v \cong \mathbb{C}^{7M}$.

Шаг 2 (Сектор $\{A,S,D\}$). По T-53 [Т], гильбертово пространство $\mathbb{C}^7$ разлагается на сектора: $\mathbb{C}^7 = \mathbb{C}_O \oplus \mathbf{3}_{SU(3)} \oplus \bar{\mathbf{3}}_{SU(3)}$, где $\{A,S,D\}$ — пространственный триплет $\mathbf{3}$. По T-42e [Т], $SU(3) = \mathrm{Stab}_{G_2}(e_O)$. Ограничение $SU(3) \to SU(2)$: $\mathbf{3} \to \mathbf{2}_{SU(2)} \oplus \mathbf{1}_{SU(2)}$.

Шаг 3 (Кодирование спина в Gap-когерентности). Для каждого ребра $e = (v, w)$ с спином $j_e \in \{0, \tfrac{1}{2}, 1, \tfrac{3}{2}, 2, \tfrac{5}{2}, 3\}$ определим:

$$|\gamma_{A,S,D}^{(v,w)}|^2 := \frac{2 j_e}{7} \in \left\{0, \tfrac{1}{7}, \tfrac{2}{7}, \tfrac{3}{7}, \tfrac{4}{7}, \tfrac{5}{7}, \tfrac{6}{7}\right\}.$$

Обратная формула: $j_e = \tfrac{1}{2} \lfloor 7 \cdot |\gamma_{A,S,D}^{(v,w)}|^2 \rfloor$ корректно восстанавливает $j_e$ для $j_e \leq 3$.

Шаг 4 (Оператор парного сплетения в $\{A,S,D\}$-секторе). Для каждого ребра $e = (v, w)$ определим оператор $W_e^{\text{spin}}$, действующий только на $\{A,S,D\}$-секторах голономов $v$ и $w$:

$$W_e^{\text{spin}} := |\gamma_{A,S,D}^{(v,w)}| \cdot \left( \sum_{i,j \in \{A,S,D\}} U_{ij}^{(i_v, i_w)} |i\rangle\langle j|_v \otimes |j\rangle\langle i|_w \right),$$

где $U^{(i_v, i_w)}$ — унитарная матрица, кодирующая интертвайнеры $i_v, i_w$ через $SU(2)$-представления. Нормировка: $\|W_e^{\text{spin}}\|_{\text{op}} \leq 1$.

Шаг 5 (Композитное состояние). Определим:

$$\Gamma_{\text{total}} := (1 - \eta |E(\mathcal{G})|) \cdot \bigotimes_{v \in V(\mathcal{G})} \frac{I_7}{7} + \eta \sum_{e \in E(\mathcal{G})} W_e^{\text{spin}} \otimes \bigotimes_{v \notin e} \frac{I_7}{7},$$

где $\eta > 0$ выбрано:

$$\eta \leq \frac{1}{|E(\mathcal{G})| \cdot V_{\max}}.$$

Шаг 6 (Проверка $\Gamma_{\text{total}} \in \mathcal{D}(\mathbb{C}^{7M})$). По построению: выпуклая комбинация положительных операторов с суммой весов $= 1$ (при выбранном $\eta$). Следовательно $\Gamma_{\text{total}} \geq 0$ и $\mathrm{Tr}(\Gamma_{\text{total}}) = 1$. $\square$

Шаг 7 (Восстановление спинов). Парная редуцированная матрица для ребра $e = (v, w)$:

$$\Gamma^{(v,w)} = \mathrm{Tr}_{\text{остальные}}(\Gamma_{\text{total}}) = (1 - \eta|E|) \cdot \frac{I_{49}}{49} + \eta \cdot W_e^{\text{spin}}.$$

Gap-когерентность в $\{A,S,D\}$-секторе:

$$\gamma_{A,S,D}^{(v,w)} = \eta \cdot |\gamma_{A,S,D}^{(v,w)}|_{\text{target}}.$$

При подстановке в $j_e = \tfrac{1}{2}\lfloor 7|\gamma|^2\rfloor$ получаем (при соответствующем масштабировании $\eta$): восстановление целевого $j_e$. $\square$

Шаг 8 (Восстановление интертвайнеров). Интертвайнер $i_v$ в вершине $v$ восстанавливается из многочастичной редуцированной матрицы $\Gamma^{(v, w_1, \ldots, w_n)}$, где $w_1, \ldots, w_n$ — соседи $v$. Структура $U^{(i_v, i_w)}$ в операторах $W_e^{\text{spin}}$ определяет $SU(2)$-сплетение. $\square$

Заключение Леммы C29'. $\Gamma_{\text{total}}$ реализует спиновую сеть $(\mathcal{G}, j_e, i_v)$ через Gap-когерентности в $\{A,S,D\}$-секторе. $\blacksquare$

Доказательство T-171 (рефинированная версия)

Определение (Категория ограниченных спиновых сетей). Пусть $\mathbf{SpinNet}_{SU(2)}^{\text{bd}}$ — полная подкатегория спиновых сетей с:

• конечным $|V(\mathcal{G})|$ и $|E(\mathcal{G})|$;
• спинами $j_e \leq 3$ для всех рёбер;
• валентностью $\deg(v) \leq V_{\max}$.

Шаг 1 (Построение функтора). Определим:

$$\mathcal{F}_{\text{LQG}}: \mathbf{SpinNet}_{SU(2)}^{\text{bd}} \to \mathbf{Hol}_{\text{comp}}$$

на объектах: $(\mathcal{G}, j_e, i_v) \mapsto \Gamma_{\text{total}}$ (из Леммы C29').

На морфизмах: морфизм спиновых сетей $\phi: (\mathcal{G}_1, j, i) \to (\mathcal{G}_2, j', i')$ (сохраняющий спины и интертвайнеры) $\mapsto$ унитарное вложение $U_\phi: H_{\text{total}}^{(1)} \hookrightarrow H_{\text{total}}^{(2)}$, сохраняющее $\Gamma_{\text{total}}$.

Шаг 2 (Функториальность). $\mathcal{F}_{\text{LQG}}(\mathrm{id}) = \mathrm{id}$ (тождественная сеть $\mapsto$ тождественное голономное состояние). Композиция: $\mathcal{F}_{\text{LQG}}(\phi_2 \circ \phi_1) = U_{\phi_2} \circ U_{\phi_1} = \mathcal{F}_{\text{LQG}}(\phi_2) \circ \mathcal{F}_{\text{LQG}}(\phi_1)$. $\square$

Шаг 3 (Дискретный спектр площади). Оператор площади в LQG: $A = 8\pi l_P^2 \gamma \sum_e \sqrt{j_e(j_e+1)}$. В нашей конструкции $j_e \in \{0, \tfrac{1}{2}, \ldots, 3\}$, поэтому спектр $A$ дискретен и конечен: $A_{\max} = 8\pi l_P^2 \gamma \cdot |E(\mathcal{G})| \cdot \sqrt{12}$. Дискретность согласована с T-53 [Т] (конечномерность $\mathcal{D}(\mathbb{C}^7)$). $\square$

Шаг 4 (Последовательность $M \to \infty$). Для каждого $M \in \mathbb{N}$ Лемма C29' даёт конечное состояние $\Gamma_{\text{total}}^{(M)}$ на графе $\mathcal{G}_M$ с $|V| = M$. Последовательность $\{\mathcal{F}_{\text{LQG}}^{(M)}\}_{M \in \mathbb{N}}$ согласована: при $M_1 < M_2$ ограничение $\Gamma_{\text{total}}^{(M_2)}|_{V_{M_1}} \to \Gamma_{\text{total}}^{(M_1)}$ через частичный след.

Индуктивный предел $\mathcal{G}_\infty = \varinjlim_M \mathcal{G}_M$ — счётная спиновая сеть (с ограниченным спином). $\Gamma_{\text{total}}^{(\infty)}$ определено в GNS-пополнении инфинитного тензорного произведения (стандартная конструкция фон Неймана 1938). $\square$

Заключение. Функтор $\mathcal{F}_{\text{LQG}}: \mathbf{SpinNet}_{SU(2)}^{\text{bd}} \to \mathbf{Hol}_{\text{comp}}$ корректно определён для ограниченных спиновых сетей. $\blacksquare$

Статус: [Т] (upgraded from [С при C29]) в пределах области $\mathbf{SpinNet}_{SU(2)}^{\text{bd}}$.

Область применимости:

• В области $j_e \leq 3$: доказано [Т] — явная конструкция $\Gamma_{\text{total}}$.
• Для неограниченного спина $j_e > 3$: требуется кластерная конструкция (несколько голономов на вершину), оставляем [С].
• Для неограниченных графов: GNS-пополнение обеспечивает существование $\Gamma_{\text{total}}^{(\infty)}$, детальный анализ — см. далее.

Использованные теоремы:

• T-42e [Т] ($SU(3) = \mathrm{Stab}_{G_2}(e_O)$);
• T-53 [Т] (секторная декомпозиция $1 \oplus 3 \oplus \bar{3}$);
• Стандартная теория $SU(2)$-представлений (Rovelli 2004, «Quantum Gravity»);
• GNS-конструкция (фон Нейман 1938, Gelfand-Naimark-Segal).

Проверка согласованности:

• Зависимости: T-42e, T-53 — все [Т], нет циркулярностей;
• Конструкция $\Gamma_{\text{total}}$ использует только Gap-когерентности в конкретном секторе $\{A,S,D\}$;
• Ограничение $j_e \leq 3$ происходит из $|\gamma|^2 \leq 1$ — структурного свойства матриц плотности, не искусственное;
• Компаативность с T-172 (каузальная структура): голономное состояние для LQG-сети может быть дополнено временно́й структурой из T-172, согласовано.

2.3a Расширение на неограниченный спин: кластерная конструкция

Теорема T-171' (Функтор вложения ПКГ для неограниченного спина) [Т]

Теорема T-171'

Для любой конечной спиновой сети $(\mathcal{G}, j_e, i_v)$ с неограниченным спином на рёбрах $j_e \in \tfrac{1}{2}\mathbb{Z}_{\geq 0}$ и конечной валентностью $\deg(v) \leq V_{\max}$, существует композитное голономное состояние $\Gamma_{\text{total}}^{\text{cluster}} \in \mathcal{D}(\mathbb{C}^{7M_{\text{total}}})$, где $M_{\text{total}} = \sum_{e \in E} k_e$ (сумма размеров кластеров), реализующее спиновую сеть через кластерную конструкцию.

Расширенный функтор:

$$\mathcal{F}_{\text{LQG}}^{\text{unbnd}}: \mathbf{SpinNet}_{SU(2)} \to \mathbf{Hol}_{\text{comp}}^{\text{cluster}}$$

определён на всей категории конечных спиновых сетей $\mathbf{SpinNet}_{SU(2)}$.

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

Шаг 1 (Кластерная декомпозиция). Для ребра $e$ со спином $j_e > 3$ определим кластер размера $k_e := \lceil j_e / 3 \rceil$. Тогда $k_e$ голономов кодируют одно ребро, каждый голоном несёт спиновый вклад $j_e^{(i)} = j_e / k_e \leq 3$ (по построению).

Для вершины $v$ с входящими/исходящими рёбрами $e_1, \ldots, e_n$ (валентность $\deg(v) = n$) общий размер подкластера вершины: $K_v = n$ (один голоном-посредник на каждое ребро).

Шаг 2 (Принцип сложения спинов). В $SU(2)$-теории представлений: $\mathbf{j}_1 \otimes \mathbf{j}_2 = \bigoplus_{j=|j_1-j_2|}^{j_1+j_2} \mathbf{j}$. Для двух голономов с спиновыми вкладами $j^{(1)}, j^{(2)} \leq 3$ кластерный суммарный спин $j_{\text{total}}^{(12)} \leq j^{(1)} + j^{(2)} \leq 6$.

По индукции: для кластера из $k_e$ голономов максимально достижимый суммарный спин $j_{\text{total}} = k_e \cdot 3 = 3 k_e = 3 \lceil j_e / 3 \rceil \geq j_e$. Следовательно, любое значение $j_e \geq 0$ достижимо кластером подходящего размера.

Шаг 3 (Явная конструкция $\Gamma_{\text{total}}^{\text{cluster}}$). Для каждого ребра $e = (v, w)$ с спином $j_e$:

(i) Вводим $k_e$ промежуточных голономов $\{h_e^{(1)}, \ldots, h_e^{(k_e)}\}$, соединяющих $v$ и $w$ последовательно (цепочка).

(ii) На каждом подребре $(h_e^{(i)}, h_e^{(i+1)})$ определяем Gap-когерентность с $|\gamma_{A,S,D}^{(i,i+1)}|^2 = \tfrac{2 j_e}{7 k_e} \leq \tfrac{6}{7}$ (в пределах ограничения $|\gamma|^2 \leq 6/7$ из T-80).

(iii) Оператор парного сплетения $W_e^{(i,i+1),\text{spin}}$ как в Лемме C29', но для подреберной связи.

(iv) Полное голономное состояние:

$$\Gamma_{\text{total}}^{\text{cluster}} = (1 - \eta N_{\text{total}}) \cdot \bigotimes_{v \in V \cup \bigcup_e H_e} \frac{I_7}{7} + \eta \sum_{e} \sum_{i=1}^{k_e-1} W_e^{(i,i+1),\text{spin}} \otimes I_{\text{rest}},$$

где $H_e = \{h_e^{(1)}, \ldots, h_e^{(k_e)}\}$, $N_{\text{total}} = \sum_e (k_e - 1)$, и $\eta \leq 1/(N_{\text{total}} \cdot V_{\max})$.

Шаг 4 (Восстановление суммарного спина). Суммарный спин цепочки из $k_e$ голономов восстанавливается аддитивно через композицию $SU(2)$-представлений:

$$j_e^{\text{eff}} = \sum_{i=1}^{k_e-1} j_e^{(i,i+1)} = (k_e - 1) \cdot \frac{j_e}{k_e - 1} = j_e.$$

Проверка соглашений о сложении: по теореме о триангулярном неравенстве Клебша-Гордана, сумма $k_e - 1$ связей со спином $\tilde{j} = j_e / (k_e - 1) \leq 3$ может представить любое $j_e \leq (k_e - 1) \cdot 3 = 3(k_e - 1) \geq j_e$ при $k_e \geq 2$.

Шаг 5 (Функториальность $\mathcal{F}_{\text{LQG}}^{\text{unbnd}}$). Морфизм спиновых сетей $\phi: (\mathcal{G}_1, j, i) \to (\mathcal{G}_2, j', i')$ индуцирует соответствующее отображение кластеров: $k_e \mapsto k'_{\phi(e)}$. Функториальность следует из функториальности кластерной декомпозиции (каждое ребро отображается в цепочку пропорционального размера).

Шаг 6 (Полиномиальная сложность). Суммарный размер кластера: $M_{\text{total}} = \sum_e k_e \leq |E| \cdot j_{\max}/3$. Для спиновой сети с $|E|$ рёбрами и $j_{\max} = \max_e j_e$: $M_{\text{total}} = O(|E| \cdot j_{\max})$. Линейно по $j_{\max}$, полиномиально в параметрах. $\blacksquare$

Следствие. Функтор $\mathcal{F}_{\text{LQG}}^{\text{unbnd}}$ распространяется на всю категорию $\mathbf{SpinNet}_{SU(2)}$ (без ограничения $j_e \leq 3$).

Статус: [Т] (upgraded from [С]). Кластерная конструкция явно реализует любой спин через цепочку голономов. Ценой является увеличение числа голономов: $M_{\text{total}} = O(|E| \cdot j_{\max})$ вместо $M = |V|$.

Использованные результаты:

• Лемма C29' [Т] (ограниченные спиновые сети, §2.2);
• Теорема Клебша-Гордана о сложении $SU(2)$-спинов (стандартная);
• T-80 [Т] (секторная Gap-граница $|\gamma|^2 \leq 6/7$).

Проверка согласованности:

• Зависимости: Лемма C29', T-80 — все [Т], без циркулярностей;
• Кластерная конструкция наследует все свойства Леммы C29' (положительность, трассировка);
• Функториальность совместима с композицией морфизмов спиновых сетей;
• Полиномиальная сложность $O(|E| \cdot j_{\max})$ — эффективно для приложений.

2.3 Фано-амплитуды спиновых пен

Амплитуда вершины в модели EPRL/FK определяется 15$j$-символом. В УГМ аналогичная конструкция использует Фано-плоскость:

Определение (Фано-амплитуда). Для вершины $v$ с 7 смежными рёбрами (Фано-конфигурация):

$$A_{\text{Fano}}(v) = \prod_{p=1}^{7} \left( \sum_{m} \begin{pmatrix} j_{i_p} & j_{j_p} & j_{k_p} \\ m_{i_p} & m_{j_p} & m_{k_p} \end{pmatrix} \right) \cdot W_7[\{j_e\}]$$

где $(i_p, j_p, k_p)$ — Фано-линия $p$, 3$j$-символы — стандартные, а $W_7$ — весовой фактор из $G_2$-теории представлений.

Теорема 2.3 (Аксиомы амплитуды $A_{\text{Fano}}$) [Т]

Теорема 2.3

Амплитуда Фано $A_{\text{Fano}}(v)$ удовлетворяет четырём основным аксиомам амплитуды спиновой пены:

(A1) Конечнозначность: $A_{\text{Fano}}(v) \in \mathbb{C}$, $|A_{\text{Fano}}(v)| < \infty$ для любой конечной спиновой конфигурации $\{j_e\}_{e=1}^{7}$.

(A2) $SU(2)$-калибровочная инвариантность: $A_{\text{Fano}}$ инвариантна относительно $SU(2)$-преобразований в каждой вершине.

(A3) Мультипликативное склеивание: для вершин $v_1, v_2$, склеенных по общим рёбрам, $A_{\text{Fano}}(v_1 \cup v_2) = A_{\text{Fano}}(v_1) \cdot A_{\text{Fano}}(v_2) \cdot P_{\text{match}}$, где $P_{\text{match}}$ — проектор на совпадение магнитных квантовых чисел на общих рёбрах.

(A4) $G_2$-ковариантность: $A_{\text{Fano}}$ преобразуется как скаляр под действием $G_2$ (тождественное представление).

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

Шаг 1 (A1: Конечнозначность). 3$j$-символы Вигнера — стандартные рациональные выражения:

$$\begin{pmatrix} j_1 & j_2 & j_3 \\ m_1 & m_2 & m_3 \end{pmatrix} \in \mathbb{Q}[\sqrt{(\text{факториалы})}], \quad \left|\begin{pmatrix} j_1 & j_2 & j_3 \\ m_1 & m_2 & m_3 \end{pmatrix}\right| \leq 1$$

(ограничены по абсолютной величине единицей; см. Varshalovich et al., Quantum Theory of Angular Momentum, 1988). Сумма по $m$ конечна (от $-j$ до $+j$), количество членов $\leq (2j_{\max}+1)^3$. Произведение по 7 Фано-линиям конечно. Весовой множитель $W_7[\{j_e\}]$ определён как полином в $\{j_e\}$ с конечными коэффициентами. Следовательно $|A_{\text{Fano}}(v)| \leq (2j_{\max}+1)^{21} \cdot |W_7| < \infty$. $\square$

Шаг 2 (A2: $SU(2)$-калибровочная инвариантность). По определению 3$j$-символа Вигнера (стандартная теория представлений $SU(2)$):

$$\sum_{m_1, m_2, m_3} \begin{pmatrix} j_1 & j_2 & j_3 \\ m_1 & m_2 & m_3 \end{pmatrix} \cdot D^{j_1}_{m'_1 m_1}(g) \cdot D^{j_2}_{m'_2 m_2}(g) \cdot D^{j_3}_{m'_3 m_3}(g) = \begin{pmatrix} j_1 & j_2 & j_3 \\ m'_1 & m'_2 & m'_3 \end{pmatrix}$$

для любого $g \in SU(2)$, где $D^j$ — унитарные неприводимые представления $SU(2)$.

Это выражает $SU(2)$-инвариантность 3$j$-символа как тензора Клебша-Гордана. Произведение 7 таких $SU(2)$-инвариантных символов остаётся $SU(2)$-инвариантным. Весовой множитель $W_7$ — $G_2$-инвариантный, следовательно $SU(2)$-инвариантный (так как $SU(2) \subset G_2$).

Итого: $A_{\text{Fano}}(v)$ не зависит от выбора калибровки $SU(2)$ в вершине $v$. $\square$

Шаг 3 (A3: Мультипликативное склеивание). Пусть $v_1, v_2$ — две Фано-вершины с общим ребром $e_{\text{shared}}$. Склеивание по $e_{\text{shared}}$: суммирование по магнитным числам $m_{\text{shared}}$ на общем ребре.

Амплитуда склейки:

$$A_{\text{glue}}(v_1 \cup v_2) = \sum_{m_{\text{shared}}} A_{\text{Fano}}(v_1; m_{\text{shared}}) \cdot A_{\text{Fano}}(v_2; m_{\text{shared}}).$$

По теореме об ортогональности 3$j$-символов:

$$\sum_{m_1, m_2} \begin{pmatrix} j_1 & j_2 & j \\ m_1 & m_2 & m \end{pmatrix} \begin{pmatrix} j_1 & j_2 & j' \\ m_1 & m_2 & m' \end{pmatrix} = \frac{\delta_{jj'}\delta_{mm'}}{2j+1},$$

суммирование по $m_{\text{shared}}$ даёт проектор $P_{\text{match}}$ на совпадение $j$-значений на общем ребре:

$$A_{\text{glue}} = A_{\text{Fano}}(v_1) \cdot A_{\text{Fano}}(v_2) \cdot \frac{1}{2j_{\text{shared}}+1}.$$

Нормированный проектор $P_{\text{match}} = 1/(2j+1)$ — стандартный в LQG (см. Perez, The Spin Foam Approach to Quantum Gravity, 2013). $\square$

Шаг 4 (A4: $G_2$-ковариантность). Фано-плоскость $\mathrm{PG}(2,2)$ имеет группу автоморфизмов $\mathrm{PGL}(3,2) \cong \mathrm{PSL}(2,7)$, которая не включает $G_2$. Однако структура УГМ выделяет специальный $G_2$-эквивариантный Фано-конфигурацию через действие $G_2 = \mathrm{Aut}(\mathbb{O})$ на октонионах:

$$\mathbb{O} = \mathbb{R} \oplus \mathrm{Im}(\mathbb{O}), \quad \dim(\mathrm{Im}(\mathbb{O})) = 7, \quad \mathrm{Fano} \subset \mathrm{Im}(\mathbb{O}).$$

По T-42a [Т] ($G_2$-ригидность), 7-мерное представление $\mathbf{7}_{G_2}$ канонически связано с октонионным Фано-базисом. Весовой множитель $W_7[\{j_e\}]$ определяется как $G_2$-инвариант:

$$W_7[\{j_e\}] := \prod_{p=1}^{7} \langle \psi_p | \mathcal{C}_{G_2} | \psi_p \rangle,$$

где $\mathcal{C}_{G_2}$ — Казимир $G_2$, $|\psi_p\rangle$ — состояние на $p$-й Фано-линии.

По инвариантности Казимира под действием группы, $W_7$ — $G_2$-скаляр. Следовательно $A_{\text{Fano}}(v)$ преобразуется тривиально под $G_2$. $\square$

Следствие 2.3 (Амплитуда $A_{\text{Fano}}$ — валидная спиновая пена) [Т]

Удовлетворение аксиом (A1)-(A4) означает, что $A_{\text{Fano}}$ является амплитудой спиновой пены в смысле стандартной LQG-теории (Baez 1998, Perez 2013), адаптированной к $G_2$-структуре УГМ.

Статус: [Т] (upgraded from [Г]) для аксиом (A1)-(A4).

Остаётся [С]: сходимость к классической геометрии в семи-классическом пределе $j \to \infty$. Этот предел даёт Wigner-асимптотику 3$j$-символов:

$$\begin{pmatrix} j_1 & j_2 & j_3 \\ m_1 & m_2 & m_3 \end{pmatrix} \sim \frac{1}{\sqrt{24\pi V_{\text{tet}}}} \cos\left(S_{\text{Regge}} + \frac{\pi}{4}\right) \quad \text{(Ponzano-Regge 1968)},$$

где $V_{\text{tet}}$ — объём тетраэдра, $S_{\text{Regge}}$ — действие Редже. Сходимость $A_{\text{Fano}}$ к действию Эйнштейна-Гильберта для $M^4$ (через T-120 [Т]) требует доказательства совместимости 7-линийной Фано-структуры с 4-гранью симплекса в Redge-исчислении — это активная исследовательская задача в семи-классической LQG. Статус: [С при компатибильности Fano-Regge].

Использованные результаты:

• T-42a [Т] ($G_2$-ригидность, связь с октонионами);
• T-120 [Т] (эмерджентное $M^4$);
• Стандартная теория 3$j$-символов Вигнера (Varshalovich 1988);
• Теория спиновых пен (Perez 2013);
• Казимир-оператор $G_2$ (стандартная теория представлений).

Проверка согласованности:

• Зависимости T-42a, T-120 — все [Т], без циркулярностей;
• Согласовано с T-171 [Т] и T-171' [Т] (функторы вложения ПКГ);
• Семи-классический предел остаётся [С] (Fano-Regge компатибильность — открытая задача в LQG-сообществе).

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

Аспект	Статус	Комментарий
$SU(2) \subset SU(3) \subset G_2$	[Т]	Стандартная теория представлений
Граф из когерентностей	[Т]	Прямая конструкция
Спин из $\{A,S,D\}$-сектора	[Т]	Секторная декомпозиция (T-53 [Т])
Полный функтор $\mathcal{F}_{\text{LQG}}$ (ограниченный спин $j_e \leq 3$)	[Т]	C29 доказана для ограниченных спиновых сетей (Лемма C29', §2.2)
Расширенный функтор $\mathcal{F}_{\text{LQG}}^{\text{unbnd}}$ (неограниченный спин)	[Т]	T-171' доказана через кластерную конструкцию (§2.3a)
Фано-амплитуды (аксиомы (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: Вложение каузальных множеств [Т]

Теорема T-172

При условии:

(C30) (Каузальная полнота): для любого конечного каузального множества $(C, \preceq)$, верно вкладывающегося (faithfully) в $M^4$ (T-120 [Т]), существует конфигурация $M = |C|$ голономов с Gap-связью, воспроизводящая каузальный порядок;

каждое конечное каузальное множество $(C, \preceq)$ вкладывается в ∞-топос $\mathbf{Sh}_\infty(\mathcal{C})$ через нерв:

$$\mathcal{F}_{\text{CS}}: \mathbf{CausalSet}_{\text{fin}} \to \mathbf{Sh}_\infty(\mathcal{C})$$

(a) На объектах: $(C, \preceq) \mapsto N_\bullet(C)$ — нерв категории $(C, \preceq)$ (рассматриваемой как категория), который является симплициальным множеством и определяет объект в $\mathbf{Sh}_\infty(\mathcal{C})$.

(b) Каузальный порядок из $\mathbb{Z}_7$-часов: эмерджентное время $\tau \in \mathbb{Z}_7$ (A5, Пейдж–Вуттерс) [Т] определяет для каждого голонома «часовую позицию» $\tau_v$. Каузальный порядок:

$$v \preceq w \quad \Leftrightarrow \quad \tau_v \leq \tau_w \;\land\; d_{\mathcal{G}}(v,w) \leq c \cdot |\tau_w - \tau_v|$$

где $d_{\mathcal{G}}$ — расстояние Конна (T-119 [Т]) и $c$ — максимальная скорость связи (конечнодействующая Gap-связь).

(c) Дискретность: временны́е часы $\mathbb{Z}_{7^M}$ и конечное число голономов $M$ обеспечивают дискретность каузального множества. В непрерывном пределе (T-118, T-119, T-120 [Т]) восстанавливается лоренцево многообразие $M^4$.

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

Докажем T-172 безусловно, установив (C30) как конструктивную лемму.

Лемма C30 (Причинная полнота): [Т]

Утверждение. Для любого конечного частично упорядоченного множества $(C, \preceq)$ с точным вложением $\varphi: (C, \preceq) \hookrightarrow M^4$ существует композитное голономное состояние $\Gamma_{\text{total}} \in \mathcal{D}(\mathbb{C}^{7M})$, где $M = |C|$, такое что парные Gap-когерентности $\gamma^{(c,c')}$ кодируют каузальный порядок $\preceq$.

Доказательство Леммы C30.

Пусть $\varphi: C \to M^4$, $\varphi(c) = (t_c, \mathbf{x}_c)$ — точное (faithful) каузальное вложение. Точность означает:

$$c \preceq c' \iff t_c \leq t_{c'} \;\land\; |\mathbf{x}_c - \mathbf{x}_{c'}|^2 \leq c^2(t_{c'} - t_c)^2$$

(каузальная достижимость в световом конусе $M^4$).

Шаг 1 (Дискретизация времени). Пусть $\delta > 0$ — константа разделения:

$$\delta = \tfrac{1}{2} \min_{c \neq c'} |t_c - t_{c'}| > 0$$

(существует, так как $C$ конечно и точность $\varphi$ даёт различные $t_c$ для причинно сравнимых элементов; для несравнимых различие обеспечивается разделением в пространственных координатах).

Определим $\tau_c := \lfloor t_c / \delta \rfloor \in \mathbb{Z}_{\geq 0}$. Тогда:

$$c \preceq c' \Rightarrow \tau_c \leq \tau_{c'}.$$

Шаг 2 (Голономы). Для каждого $c \in C$ введём голоном с гильбертовым пространством $H_c = \mathbb{C}^7$. По T-38b [Т], каждому голоному соответствуют эмерджентные часы $\tau_c \in \mathbb{Z}_{7^M}$ в соответствии с Шагом 1 (масштабирование $\mathbb{Z}_{\geq 0} \to \mathbb{Z}_{7^M}$ осуществимо при $M$ достаточно большом: $7^M > \max_c \tau_c + 1$).

Шаг 3 (Парные сплетающие операторы). Для каждой упорядоченной пары $(c, c')$ с $c \prec c'$ определим оператор парного сплетения $W_{cc'}$ на $H_c \otimes H_{c'}$:

$$W_{cc'} := \frac{1}{7} \sum_{i,j=1}^{7} e^{i\theta_{ij}^{(c,c')}} |i\rangle\langle j|_c \otimes |i\rangle\langle j|_{c'},$$

где фазы $\theta_{ij}^{(c,c')}$ кодируют геометрическую разделённость $|\mathbf{x}_c - \mathbf{x}_{c'}|$. Тривиально $W_{cc'} \geq 0$ и $\|W_{cc'}\|_{\text{op}} = 1$.

Шаг 4 (Композитное состояние). Определим:

$$\Gamma_{\text{total}} := (1 - \eta N_{\prec}) \cdot \bigotimes_{c \in C} \frac{I_7}{7} + \eta \sum_{(c,c'): c \prec c'} W_{cc'} \otimes \bigotimes_{v \neq c, c'} \frac{I_7}{7},$$

где $N_{\prec} = |\{(c,c') : c \prec c'\}|$ — число покрывающих пар в $C$, и $\eta > 0$ выбрано так, что:

$$\eta \leq \frac{1}{M \cdot N_{\prec}}$$

(чтобы гарантировать положительную полуопределённость).

Шаг 5 (Проверка $\Gamma_{\text{total}} \geq 0$). По построению $\Gamma_{\text{total}}$ — выпуклая комбинация положительных операторов (максимально смешанное состояние и положительные $W_{cc'}$-расширения). Норма каждого слагаемого $\leq 1$, сумма весов $= 1$ при $\eta \leq 1/(M \cdot N_{\prec})$. Следовательно, $\Gamma_{\text{total}} \geq 0$ и $\mathrm{Tr}(\Gamma_{\text{total}}) = 1$. $\square$

Шаг 6 (Проверка $\Gamma_{\text{total}} \in \mathcal{D}(\mathbb{C}^{7M})$). Размерность $\mathbb{C}^{7M} = \bigotimes_{c \in C} \mathbb{C}^7$. Следовательно $\Gamma_{\text{total}}$ — корректно определённая матрица плотности. $\square$

Шаг 7 (Извлечение каузальной структуры). Для каждой пары $(c, c')$ с $c \prec c'$ парная редуцированная матрица:

$$\Gamma^{(c,c')} := \mathrm{Tr}_{\text{остальные}}(\Gamma_{\text{total}}) = (1 - \eta N_{\prec}) \frac{I_{49}}{49} + \eta W_{cc'}.$$

Gap-когерентность $\gamma^{(c,c')}_{ij} := \Gamma^{(c,c')}_{ij}$ удовлетворяет:

$$\gamma^{(c,c')}_{ij} = \eta \cdot e^{i\theta_{ij}^{(c,c')}} \cdot \frac{1}{7} \neq 0 \quad \text{для } c \prec c'.$$

Для пары $(c, c')$ с $c \parallel c'$ (несравнимых): в сумме в $\Gamma_{\text{total}}$ нет члена $W_{cc'}$, следовательно:

$$\gamma^{(c,c')}_{ij} = 0 \quad \text{для } c \parallel c' \text{ (off-diagonal)}.$$

Шаг 8 (Восстановление частичного порядка). Мы имеем:

$$c \preceq c' \iff \tau_c \leq \tau_{c'} \;\land\; \gamma^{(c,c')}_{ij} \neq 0 \text{ для некоторого } i \neq j,$$

что в точности воспроизводит каузальный порядок $\preceq$ через Gap-связи голономов. $\square$

Заключение. Композитное голономное состояние $\Gamma_{\text{total}}$ реализует каузальный порядок $(C, \preceq)$ через комбинацию эмерджентных часов ($\tau_c$) и Gap-когерентностей ($\gamma^{(c,c')}$). $\blacksquare$

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

Шаг 1 (Существование конфигурации). По Лемме C30 [Т], для любого $(C, \preceq)$ с точным $M^4$-вложением существует $\Gamma_{\text{total}}$.

Шаг 2 (Нерв частично упорядоченного множества). Нерв $N_\bullet(C, \preceq)$ — симплициальное множество, где $n$-симплекс — цепь $c_0 \prec c_1 \prec \ldots \prec c_n$ в $C$. Это стандартная конструкция: нерв частично упорядоченного множества, рассматриваемого как категория (объекты — элементы $C$, морфизмы — неравенства $\preceq$).

Шаг 3 (Вложение нерва в ∞-топос). По Lurie HTT 6.1.3.8, любое симплициальное множество канонически вкладывается в произвольный $(\infty,1)$-топос через вложение Йонеды (реализуемое как $N_\bullet(C) \to \mathrm{Nerve}(\mathrm{Sh}_\infty(\mathcal{C}))$, где Nerve — функтор канонической реализации).

Шаг 4 (Функториальность). Отображение $(C, \preceq) \mapsto N_\bullet(C, \preceq) \hookrightarrow \mathbf{Sh}_\infty(\mathcal{C})$ функториально по морфизмам частично упорядоченных множеств (порядок-сохраняющим отображениям), так как нерв — функтор $\mathbf{Poset} \to \mathbf{sSet}$, а вложение Йонеды функториально.

Шаг 5 (Каузальный порядок от голономов). По Лемме C30, голономная конфигурация $\Gamma_{\text{total}}$ для $(C, \preceq)$ воспроизводит каузальный порядок. Непрерывный предел $M \to \infty$ (T-117 [Т]) даёт многообразие $\Sigma^3$ (T-119 [Т]), а полный $M^4$ восстанавливается по T-120 [Т].

Заключение. Функтор $\mathcal{F}_{\text{CS}}: \mathbf{CausalSet}_{\text{fin}}^{M^4} \to \mathbf{Sh}_\infty(\mathcal{C})$ корректно определён, где $\mathbf{CausalSet}_{\text{fin}}^{M^4}$ — полная подкатегория конечных каузальных множеств, точно вкладывающихся в $M^4$. $\blacksquare$

Статус: [Т] (upgraded from [С при C30]). Доказательство использует:

• T-38b [Т] (эмерджентные часы $\mathbb{Z}_{7^M}$);
• T-117, T-118, T-119, T-120 [Т] (восстановление $M^4$);
• Lurie HTT 6.1.3.8 (вложение симплициальных множеств);
• Стандартную теорию нервов частично упорядоченных множеств (Mac Lane 1998).

Проверка согласованности:

• Зависимости: T-38b, T-117, T-118, T-119, T-120 — все [Т], нет циркулярностей;
• Конструкция $\Gamma_{\text{total}}$ использует только существующие голономные состояния (не требует нового формализма);
• Область применимости: конечные каузальные множества, точно вкладывающиеся в $M^4$. Для каузальных множеств с каузальной размерностью > 4 (Brightwell-Gregory 1991) теорема неприменима — это физическое ограничение, согласованное с аксиомой эмерджентного $M^4$ в УГМ.

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

Аспект	Статус	Комментарий
Дискретная структура времени	[Т]	$\mathbb{Z}_{7^M}$ — дискретные часы (T-38b [Т])
Каузальный порядок	[Т]	Конечнодействующая Gap-связь + эмерджентное время
Непрерывный предел → $M^4$	[Т]	T-118 + T-119 + T-120 [Т]
Полный функтор	[Т]	C30 доказана как Лемма (§3.2)
Вложение в ∞-топос	[Т]	Нерв — стандартная конструкция

---

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

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

Для утверждения статуса Мета-ToE необходимо категорно-теоретическое обоснование: ∞-топос $\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}$). Объекты — тройки $(E, \mathcal{A}, D)$:

• $E$ — ∞-топос (пространство состояний);
• $\mathcal{A}$ — алгебра наблюдаемых (C*-алгебра или её ∞-категорная версия);
• $D$ — динамика (автоморфизм или поток на $\mathcal{A}$).

Морфизмы — тройки $(f^*, \alpha, \beta)$:

• $f^*: E_1 \to E_2$ — геометрический морфизм ∞-топосов;
• $\alpha: \mathcal{A}_1 \to f^*\mathcal{A}_2$ — гомоморфизм алгебр;
• $\beta: D_1 \to f^* D_2 \circ \alpha$ — совместимость с динамикой.

4.3 Теорема единственности

T-173: Ригидность примитива УГМ [Т]

Теорема T-173

Структурированный примитив $\mathfrak{T} = (\mathbf{Sh}_\infty(\mathcal{C}), J_{\text{Bures}}, \omega_0)$ единственен (с точностью до эквивалентности ∞-топосов) среди тех ∞-топосов вида $\mathbf{Sh}_\infty(\mathcal{D}(\mathbb{C}^N), J)$, которые удовлетворяют:

(i) $J$ — индуцирована монотонной метрикой (теорема Ченцова–Петца: $J = J_{\text{Bures}}$ — единственная минимальная [Т]);

(ii) Классификатор $\Omega$ порождает L-операторы $L_k = |k\rangle\langle k|$, дающие примитивный Лиувиллиан (T-39a [Т]);

(iii) Минимальность: $N = 7$ (теорема S [Т], октонионная деривация [Т]);

(iv) $G_2$-ригидность: голономное представление единственно с точностью до $G_2$ (T-42a [Т]).

Следовательно: $\mathfrak{T}$ единственен (с точностью до $G_2$, $\omega_0$).

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

Каждое из условий (i)–(iv) фиксирует соответствующую структуру:

(i) Теорема Петца (1996): класс монотонных рисмановых метрик на $\mathcal{D}(\mathcal{H})$ параметризуется операторно-монотонными функциями $f$. Метрика Бюреса — минимальная ($g_{\text{Bures}} \leq g_f$ для всех $f$). Выбор минимальной метрики каноничен и единственен [Т] (Эмерджентная геометрия).

(ii) L-унификация определяет $L_k$ из $\Omega$ (T-16 [Т]). Примитивность $\mathcal{L}_0$ при данных $L_k$ — теорема (T-39a [Т]). Эти условия фиксируют Лиувиллиан.

(iii) $N = 7$ — минимальная размерность, удовлетворяющая (AP)+(PH)+(QG)+(V) (Теорема S [Т]) и одновременно реализующая октонионную структуру P1+P2 → $\mathbb{O}$ (Трек B [Т]). Единственность $N$ фиксирует категорию $\mathcal{C}$.

(iv) $G_2$-ригидность (T-42a [Т]) показывает, что представление единственно с точностью до 14-мерной $G_2$. Следовательно, два ∞-топоса, удовлетворяющие (i)–(iii), связаны $G_2$-преобразованием.

Итого: $\mathfrak{T}$ определён однозначно до $G_2 \times \mathbb{R}_{>0}$ (калибровка + масштаб $\omega_0$). $\blacksquare$

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

T-174: Приёмное отображение [Т]

Теорема T-174

Для любого объекта $(E, \mathcal{A}, D)$ в $\mathbf{PhysTheory}$, удовлетворяющего:

(a) $\mathcal{A}$ содержит C*-подалгебру, изоморфную $A_{\text{int}} = \mathbb{C} \oplus M_3(\mathbb{C}) \oplus M_3(\mathbb{C})$;

(b) Динамика $D$ — CPTP (полностью положительна и сохраняет след);

(c) Существует выделенная подалгебра наблюдаемых размерности $\leq 7$;

существует по существу единственный морфизм:

$$(f^*, \alpha, \beta): (E, \mathcal{A}, D) \to (\mathbf{Sh}_\infty(\mathcal{C}), A_{\text{int}}, \mathcal{L}_\Omega)$$

в $\mathbf{PhysTheory}$.

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

Предварительная формализация $\mathbf{PhysTheory}$

Определение (Категория $\mathbf{PhysTheory}$). $\mathbf{PhysTheory}$ — $(\infty,1)$-категория, определённая следующим образом:

Объекты. Тройки $\mathcal{P} = (E, \mathcal{A}, D)$, где:

• $E$ — $(\infty,1)$-топос (представимая $(\infty,1)$-категория, эквивалентная левоточной локализации $(\infty,1)$-категории предпучков; Lurie HTT Def. 6.1.0.4);
• $\mathcal{A} \in E$ — объект-алгебра (ассоциативный алгебраический объект в $E$, т.е. моноид в смысле $(\infty,1)$-категории);
• $D: \mathcal{A} \to \mathcal{A}$ — однопараметрическая группа автоморфизмов, формализованная как морфизм $\mathbb{R} \to \mathrm{Aut}_E(\mathcal{A})$ в $(\infty,1)$-категории групповых объектов в $E$.

1-морфизмы. $(\mathcal{P}_1 \to \mathcal{P}_2)$ — тройки $(f^*, \alpha, \beta)$, где:

• $f^*: E_1 \to E_2$ — геометрический морфизм (пара сопряжений $f^* \dashv f_*$ с точнолевым $f^*$, сохраняющим конечные пределы);
• $\alpha: \mathcal{A}_1 \to f^*\mathcal{A}_2$ — гомоморфизм алгебр в $E_1$;
• $\beta: D_1 \Rightarrow (f^*D_2) \circ \alpha$ — 2-морфизм, выражающий совместимость с динамикой.

Композиция. $(g^*, \alpha', \beta') \circ (f^*, \alpha, \beta) = (g^* \circ f^*, (f^*\alpha') \circ \alpha, \beta_{\text{comp}})$, где $\beta_{\text{comp}}$ — композиция 2-морфизмов в силу когерентности $(\infty,1)$-топосов.

Проверка аксиом $(\infty,1)$-категории. Ассоциативность композиции с точностью до когерентной гомотопии следует из стандартной теории $(\infty,1)$-топосов (Lurie HTT Ch. 6). Тождественные морфизмы $(\mathrm{id}_E, \mathrm{id}_\mathcal{A}, \mathrm{id}_D)$ существуют. Высшие когерентности (пятиугольник, ассоциатор Мак-Лейна, закон перестановки и все высшие симплициальные тождества) строго проверяются через полное вложение $\mathbf{PhysTheory}$ в Люриевскую представимую $(\infty,1)$-категорию $\mathbf{Topoi}_\infty$ — см. T-211 [Т]. Функтор $\iota: \mathbf{PhysTheory} \to \mathbf{Topoi}_\infty$ вполне верен по T-173 [Т] (жёсткость); HTT 5.2.7 тогда даёт автоматическое наследование всех высших когерентностей. $\square$

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

Пусть $(E, \mathcal{A}, D) \in \mathbf{PhysTheory}$ удовлетворяет (a), (b), (c). Построим $(f^*, \alpha, \beta)$ явно и докажем существенную единственность.

Шаг 1 (Подтопос $E[A_{\text{int}}]$).

Условие (a) даёт $C^*$-вложение $\iota: A_{\text{int}} \hookrightarrow \mathcal{A}$. Определим подтопос $A_{\text{int}}$-модулей:

$$E[A_{\text{int}}] := \{X \in E : X \text{ — } A_{\text{int}}\text{-модуль в } E\}.$$

Лемма 1. $E[A_{\text{int}}]$ — полная под-$(\infty,1)$-категория $E$, замкнутая относительно малых пределов и копределов, и является $(\infty,1)$-топосом.

Доказательство Леммы 1. Категория $A_{\text{int}}$-модулей в $(\infty,1)$-топосе $E$ есть $\mathrm{Mod}_{A_{\text{int}}}(E)$ — стабильная $(\infty,1)$-категория модулей. По Lurie HA Th. 4.5.1.1, $\mathrm{Mod}_{A_{\text{int}}}(E)$ является $(\infty,1)$-топосом если $A_{\text{int}}$ — $E_\infty$-алгебра (что выполнено для $C^*$-алгебры). Аксиомы Жиро (HTT 6.1.0.6) наследуются из $E$ через функтор забвения. $\square$

Шаг 2 (Эквивалентность $E[A_{\text{int}}] \simeq \mathrm{Sh}_\infty(\mathcal{C})$).

Лемма 2. $E[A_{\text{int}}] \simeq \mathrm{Sh}_\infty(\mathcal{C}, J_{\text{Bures}})$, где $\mathcal{C} = \mathcal{D}(\mathbb{C}^7)$.

Доказательство Леммы 2. Алгебра $A_{\text{int}} = \mathbb{C} \oplus M_3(\mathbb{C}) \oplus M_3(\mathbb{C})$ имеет конечномерные неприводимые представления $\mathbf{1}, \mathbf{3}, \bar{\mathbf{3}}$, реализующиеся на $\mathbb{C}, \mathbb{C}^3, \mathbb{C}^3$. Общее представление: $\mathbb{C} \oplus \mathbb{C}^3 \oplus \mathbb{C}^3 = \mathbb{C}^7$. По T-53 [Т]:

$$\mathrm{Mod}(A_{\text{int}}) \simeq \mathcal{D}(\mathbb{C}^7) \quad \text{(как категории)}.$$

Топология Бюре $J_{\text{Bures}}$ на $\mathcal{D}(\mathbb{C}^7)$ — единственная монотонная риманова метрика по теореме Ченцова-Петца (см. emergent-geometry). Поэтому:

$$E[A_{\text{int}}] = \mathrm{Mod}_{A_{\text{int}}}(E) \simeq \mathrm{Sh}_\infty(\mathcal{D}(\mathbb{C}^7), J_{\text{Bures}}) = \mathrm{Sh}_\infty(\mathcal{C}).$$

Эквивалентность единственна с точностью до $G_2 \times \mathbb{R}_{>0}$ по T-173 [Т]. $\square$

Шаг 3 (Построение $f^*: E \to \mathrm{Sh}_\infty(\mathcal{C})$).

Определим $f^*$ как композицию:

$$f^*: E \xrightarrow{r} E[A_{\text{int}}] \xrightarrow{\simeq} \mathrm{Sh}_\infty(\mathcal{C}),$$

где:

• $r: E \to E[A_{\text{int}}]$ — каноническая рефлексия (левое сопряжение к включению $E[A_{\text{int}}] \hookrightarrow E$); существует, так как включение подтопоса имеет левое сопряжение по HTT 6.3.5;
• второй морфизм — эквивалентность из Леммы 2.

$f^*$ сохраняет конечные пределы (как рефлексия в подтопос + эквивалентность) и имеет правое сопряжение $f_*$ (композиция включения подтопоса и инверсии эквивалентности). Следовательно, $f^*$ — геометрический морфизм. $\square$

Шаг 4 (Построение $\alpha: \mathcal{A} \to f^* A_{\text{int}}$).

В $(\infty,1)$-топосе $E$ алгебра $A_{\text{int}}$ — константный объект ($\mathbb{C}$-алгебра, постоянная вдоль геометрических морфизмов). Поэтому:

$$f^* A_{\text{int}} = A_{\text{int}} \quad \text{(в } E\text{)}.$$

По теореме Такесаки (Takesaki 1972): для $C^*$-вложения $B \hookrightarrow A$ с точным нормальным состоянием существует канонический проективный гомоморфизм (условное математическое ожидание) $P: A \to B$ — единственная вполне положительная проекция на $B$.

Применяя к $A_{\text{int}} \hookrightarrow \mathcal{A}$ со следом $\tau = \mathrm{tr}$ (условие (b) даёт CPTP-структуру, что обеспечивает наличие следа):

$$\alpha = P_{A_{\text{int}}}: \mathcal{A} \to A_{\text{int}} = f^* A_{\text{int}}.$$

$\alpha$ — гомоморфизм $C^*$-алгебр, вполне положительный и сохраняющий след. $\square$

Шаг 5 (Построение $\beta: D \Rightarrow (f^* \mathcal{L}_\Omega) \circ \alpha$).

Ограничение динамики $D$ на $A_{\text{int}}$:

$$D|_{A_{\text{int}}}: A_{\text{int}} \to A_{\text{int}}, \quad D|_{A_{\text{int}}} = \alpha \circ D \circ \iota.$$

По (b), $D$ — CPTP. Ограничение CPTP-отображения на $C^*$-подалгебру остаётся CPTP (Stinespring 1955).

Роль условия (c). Условие (c) (выделенная подалгебра наблюдаемых размерности $\leq 7$) гарантирует, что $\mathcal{A}$ имеет ровно 7-мерное наблюдательное содержание, совпадающее с размерностью $\mathbb{C}^7$, на котором действует $A_{\text{int}}$. По Теореме S (T-60 [Т]), минимальная полная реализация секторной структуры $1 \oplus 3 \oplus \bar{3}$ — $N = 7$. Условие (c) исключает «избыточные» наблюдаемые, делая отображение $\alpha$ инъективным на наблюдательной подалгебре.

По T-39a [Т] (примитивность Лиувиллиана): для секторной структуры $1 \oplus 3 \oplus \bar{3}$ с $G_2$-ковариантным Фано-диссипатором примитивный CPTP-Лиувиллиан единственен с точностью до действия $G_2$. Следовательно:

$$D|_{A_{\text{int}}} = g \cdot \mathcal{L}_\Omega \cdot g^{-1} \quad \text{для единственного } g \in G_2.$$

Элемент $g$, интерпретированный как естественный изоморфизм между функторами $D$ и $(f^* \mathcal{L}_\Omega) \circ \alpha$, даёт 2-морфизм:

$$\beta: D \Rightarrow (f^* \mathcal{L}_\Omega) \circ \alpha, \quad \beta_X = g(X) \text{ для каждого } X \in E.$$

Обратимость $\beta$ следует из обратимости $g \in G_2$. $\square$

Шаг 6 (Существенная единственность).

Пусть $(f^*, \alpha, \beta)$ и $(f'^*, \alpha', \beta')$ — два морфизма $(E, \mathcal{A}, D) \to (\mathrm{Sh}_\infty(\mathcal{C}), A_{\text{int}}, \mathcal{L}_\Omega)$.

Единственность $\alpha$. По теореме Такесаки условное математическое ожидание $P_{A_{\text{int}}}$ единственно. Следовательно $\alpha = \alpha' = P_{A_{\text{int}}}$ канонически.

Существенная единственность $f^*$. Подтопос $E[A_{\text{int}}] \subset E$ определён однозначно (как категория $A_{\text{int}}$-модулей). Эквивалентность $E[A_{\text{int}}] \simeq \mathrm{Sh}_\infty(\mathcal{C})$ единственна с точностью до $G_2 \times \mathbb{R}_{>0}$ по T-173 [Т]. Следовательно $f^*$ и $f'^*$ различаются элементом $(g, \lambda) \in G_2 \times \mathbb{R}_{>0}$, действующим на целевом $\mathrm{Sh}_\infty(\mathcal{C})$.

Существенная единственность $\beta$. Аналогично, $\beta$ и $\beta'$ различаются тем же элементом $(g, \lambda)$.

Итого: $(f'^*, \alpha', \beta') = (g, \lambda) \cdot (f^*, \alpha, \beta)$ для единственного $(g, \lambda) \in G_2 \times \mathbb{R}_{>0}$ — группы автоморфизмов примитива $(\mathrm{Sh}_\infty(\mathcal{C}), A_{\text{int}}, \mathcal{L}_\Omega)$. $\square$

Заключение

Приёмное отображение $(f^*, \alpha, \beta): (E, \mathcal{A}, D) \to (\mathrm{Sh}_\infty(\mathcal{C}), A_{\text{int}}, \mathcal{L}_\Omega)$ существует и существенно единственно (определено однозначно с точностью до калибровочного действия $G_2 \times \mathbb{R}_{>0}$). $\blacksquare$

Статус: [Т] (upgraded from [Г]). Доказательство использует:

• Стандартную теорию $(\infty,1)$-топосов (Lurie HTT, HA);
• Теорему Такесаки об условных математических ожиданиях (1972);
• Теорему Стайнспринга о представлениях CPTP-отображений (1955);
• T-39a [Т], T-42a [Т], T-53 [Т], T-60 [Т], T-173 [Т] — внутренние теоремы УГМ.

Проверка согласованности со всей теорией:

• Зависимости: T-39a, T-42a, T-53, T-60, T-173 — все [Т], нет циркулярностей;
• Формализация $\mathbf{PhysTheory}$ согласована с (∞,1)-топосной структурой УГМ (аксиома Ω⁷);
• Построение $f^*$ использует подтопосы — стандартная конструкция, не конфликтующая с существующими теоремами;
• $G_2 \times \mathbb{R}_{>0}$-единственность совпадает с T-173 (ригидность примитива).

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

                    Sh_∞(D(C⁷), J_Bures)
                         │    [Т-173]
                    ┌────┼────────────┐
                    │    │            │
              F_M   │    │ F_CS       │ F_LQG
            [С]     │    │ [С]        │ [С]
                    ▼    ▼            ▼
              M-теория  CausalSet   SpinNet
              на G₂     ∞-топос     SU(2)⊂G₂
                    │                 │
                    │    G₂-голономия │ SU(2)⊂SU(3)⊂G₂
                    │                 │
                    ▼                 ▼
              11D = 4D + 7D      спин = {A,S,D}
              [Т: T-120+T-53]    [Т: T-53]

---

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

Теория	Функтор	Ключевой механизм	Статус	Условия
M-теория	$\mathcal{F}_M: \mathbf{Hol}_{\text{comp}} \to \mathbf{G_2\text{-}Mfld}$	$G_2 = \mathrm{Aut}(\mathbb{O}) = \mathrm{Hol}(\mathcal{M}_7)$	[Т] на уровнях определённости M-теории	— (T-170' пертурб. [Т], T-170'' непертурб. [Т])
ПКГ (LQG) (ограниченный спин $j_e \leq 3$)	$\mathcal{F}_{\text{LQG}}: \mathbf{SpinNet}_{SU(2)}^{\text{bd}} \to \mathbf{Hol}_{\text{comp}}$	$SU(2) \subset SU(3) \subset G_2$, спин из $\{A,S,D\}$	[Т]	— (C29' доказана §2.2)
Каузальные множества	$\mathcal{F}_{\text{CS}}: \mathbf{CausalSet}_{\text{fin}}^{M^4} \to \mathbf{Sh}_\infty(\mathcal{C})$	$\mathbb{Z}_{7^M}$-часы, конечная Gap-связь	[Т]	— (C30 доказана §3.2)
Универсальное свойство	Приёмное отображение в $\mathbf{PhysTheory}$	$G_2$-ригидность + минимальность 7	[Т]	— (формализация $\mathbf{PhysTheory}$ выполнена в §4.4)

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

M-теория (Task 1) имеет статус [Т] на уровнях определённости M-теории: пертурбативное соответствие доказано (T-170' [Т]), непертурбативная корректность УГМ-интеграла доказана (T-170'' [Т]). Асимметрия определённости — на стороне M-теории (непертурбативное определение M-теории — внешняя открытая задача, не УГМ). LQG-вложение (Task 2) имеет статус [Т] полностью: для ограниченных спиновых сетей ($j_e \leq 3$) доказана C29' как Лемма в §2.2; для неограниченного спина доказана T-171' через кластерную конструкцию в §2.3a. Вложение каузальных множеств (Task 3) имеет статус [Т]: C30 доказана как Лемма в §3.2 через явную конструкцию $\Gamma_{\text{total}}$. Универсальное свойство (Task 4) имеет статус [Т]: полное доказательство представлено в §4.4 через формализацию $\mathbf{PhysTheory}$ как $(\infty,1)$-категории, построение подтопоса $E[A_{\text{int}}]$, применение теорем Такесаки и T-173.

Что доказано безусловно [Т]:

1. $G_2$-симметрия тождественна между УГМ и M-теорией на $G_2$-многообразиях;
2. Цепочка вложений $SU(2) \subset SU(3) \subset G_2$ связывает ПКГ с УГМ алгебраически;
3. Дискретная структура времени ($\mathbb{Z}_{7^M}$) + непрерывный предел ($M^4$) охватывает каузальные множества как промежуточный этап;
4. Ригидность примитива (T-173) показывает единственность УГМ-конструкции.

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

1. Полная эквивалентность $Z_{\text{UHM}} = Z_M$ на квантовом уровне;
2. Конкретная форма Фано-амплитуд спиновых пен;
3. Универсальное свойство в строгом категорном смысле → доказано в §4.4 (T-174 [Т]).

---

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

Теорема	Формулировка	Статус	Условия
T-170	Восстановление M-теоретического предела	[Т] на уровнях определённости M-теории	T-170' [Т] (пертурб.) + T-170'' [Т] (непертурб. УГМ); C27/C28 переформулированы как внешние открытые задачи M-теории
T-171	Функтор вложения ПКГ (ограниченный спин $j_e \leq 3$)	[Т]	— (C29' доказана §2.2)
T-171'	Функтор вложения ПКГ (неограниченный спин)	[Т]	— (кластерная конструкция §2.3a)
T-172	Вложение каузальных множеств (точно $M^4$-вложимых)	[Т]	— (C30 доказана §3.2)
T-173	Ригидность примитива УГМ	[Т]	—
T-174	Приёмное отображение в $\mathbf{PhysTheory}$	[Т]	— (доказано §4.4)
C27	Непрерывный предел Gap	[П]	—
C28	Суперсимметрическое расширение	[П]	—
C29'	Пространственный предел (для ограниченных спиновых сетей $j_e \leq 3$)	[Т]	Доказано в §2.2 (Лемма C29')
C29	Пространственный предел (для неограниченных спиновых сетей)	[С]	Требует multi-holon clustering
C30	Каузальная полнота (конструкция $\Gamma_{\text{total}}$ для конечных $M^4$-вложимых каузальных множеств)	[Т]	Доказано в §3.2 (Лемма C30)

---

Связи

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