The Arithmetic-Topological Convergence

Proof.

Each step is proven in Chapter ch:topological-genesis: step (1) is Theorem 157.6 (Hurwitz) and Theorem 157.7 (Hopf construction); step (2) is Theorem 157.8 (monopole bundle); step (3) is Theorem 157.10 (isometry-to-gauge) with Theorem 157.9 (spin structure from Axiom 2); step (4) is Theorem 157.12 (\(\mathbb{CP}^1 \hookrightarrow \mathbb{CP}^2\) and \(\Aut(\mathbb{CP}^2)\)); step (5) is Theorem 157.20 (octonionic termination). All references carry status [Status: PROVEN]. □

Proof.

Each step is proven in Chapter ch:arithmetic-genesis: step (1) is Theorem 158.1 (\(\mathbb{P}^1_\mathbb{Z}\)), Theorem 158.3 (étale), and Theorem 158.5 (motive); step (2) is Theorem 158.8 (\(\text{U}(1)\) from cyclotomic); step (3) is Theorem 158.10 (\(\text{SU}(2)\) from \(\Aut\)); step (4) is Proposition 158.12 (embedding) and Theorem 158.13 (\(\text{SU}(3)\) from \(\Aut(\mathbb{CP}^2)\)); step (5) is Theorem 158.14 (gauge hierarchy and termination). All references carry status [Status: PROVEN]. □

Proof.

We verify independence by comparing the mathematical content at each stage.

(a) Starting point. Both routes begin with \(S^2 = \mathbb{CP}^1\). This is the only shared premise.

(b) Classification theorems invoked.

(c) Shared technique analysis for \(\text{SU}(3)\). Both routes use the embedding \(\mathbb{CP}^1 \hookrightarrow \mathbb{CP}^2\), but the reasons are independent:

• Route I: the embedding arises from the quaternionic Hopf fibration \(S^3 \hookrightarrow S^7 \to S^4\) and the identification \(S^4 = \mathbb{H}\mathrm{P}^1\), with \(\mathbb{CP}^1 \hookrightarrow \mathbb{CP}^2\) appearing as the complex substructure of the quaternionic projective line.
• Route II: the embedding arises from the complete linear system \(|H^0(\mathbb{CP}^1, \mathcal{O}(1))| = \mathbb{CP}^2\), which is a statement about sections of the tautological line bundle — a purely algebro-geometric construction that makes no reference to quaternions.

The two routes arrive at the same embedding by different mathematical paths, and the proofs that the embedding yields \(\text{SU}(3)\) are different: Route I uses the stabiliser analysis of the \(S^5 \to \mathbb{CP}^2\) bundle; Route II uses \(\Aut(\mathbb{CP}^2) = \PGL_3\).

(d) Termination mechanisms. Route I terminates because octonions are non-associative (algebraic property). Route II terminates because \(\dim H^0 = 2\) (cohomological property). These are unrelated mathematical facts.

Conclusion. The routes share the starting point \(S^2 = \mathbb{CP}^1\) and the geometric fact that \(\mathbb{CP}^1\) embeds in \(\mathbb{CP}^2\), but the mathematical mechanisms by which each gauge factor is derived, and the reasons the chain terminates, are entirely independent. □

Proof.

We verify factor by factor.

\(\text{U}(1)\): Route I produces \(\text{U}(1)\) as the structure group of the Hopf bundle \(S^1 \hookrightarrow S^3 \to S^2\), which is the monopole bundle \(\mathcal{O}(1)\). Route II produces \(\text{U}(1)\) as the image of the cyclotomic character acting on \(H^2_{\text{ét}}(\mathbb{P}^1, \mathbb{Q}_\ell) \cong \mathbb{Q}_\ell(-1)\). The comparison theorem (Artin, Grothendieck) identifies:

The generator of \(H^2(S^2, \mathbb{Z}) \cong \mathbb{Z}\) is the first Chern class of the Hopf bundle \(\mathcal{O}(1)\): \(c_1(\mathcal{O}(1)) = [\omega_{\text{FS}}] \in H^2(S^2, \mathbb{Z})\). Thus the étale \(H^2\) that gives Route II's \(\text{U}(1)\) is exactly the cohomological shadow of Route I's Hopf bundle. The two \(\text{U}(1)\)'s are the same group acting on the same line bundle.

\(\text{SU}(2)\): Route I produces \(\text{SU}(2)\) as the universal cover of \(\SO(3) = \mathrm{Isom}(S^2)\). Route II produces \(\text{SU}(2)\) as the universal cover of \(\SO(3) \subset \PGL_2(\mathbb{C}) = \Aut(\mathbb{CP}^1)\). Since \(\mathrm{Isom}(S^2) = \SO(3) = \) maximal compact of \(\Aut(\mathbb{CP}^1) = \PGL_2(\mathbb{C})\), the two \(\text{SU}(2)\)'s are identical: the unique simply-connected double cover of \(\SO(3)\).

\(\text{SU}(3)\): Both routes use the embedding \(\mathbb{CP}^1 \hookrightarrow \mathbb{CP}^2\) and the automorphism group \(\Aut(\mathbb{CP}^2) = \PGL_3(\mathbb{C})\). Route I arrives at this embedding through the quaternionic Hopf structure; Route II through the complete linear system. But the embedding \(\mathbb{CP}^1 \hookrightarrow \mathbb{CP}^2\) is unique (up to \(\PGL_3\)-equivalence, it is the standard linear subspace), so \(\Aut(\mathbb{CP}^2) = \PGL_3(\mathbb{C})\) is the same group in both cases, with the same maximal compact subgroup \(\PU(3) = \text{SU}(3) / \mathbb{Z}_3\) and the same universal cover \(\text{SU}(3)\).

Canonical identification. The three factors act on the same geometric objects:

regardless of which route produced them. The identification is therefore canonical, not merely an abstract isomorphism. □

Proof.

The table entries are established in the proofs of Theorems thm:ch160-route-I, thm:ch160-route-II, and thm:ch160-convergence. The comparison theorems used are: Artin's comparison theorem between étale and singular cohomology (for \(\text{U}(1)\)), the equality \(\mathrm{Isom}(M) = \) maximal compact of \(\Aut(M)\) for compact Kähler manifolds (for \(\text{SU}(2)\)), and the uniqueness of linear subspaces in projective space up to \(\PGL\)-equivalence (for \(\text{SU}(3)\)). □

Proof.

Item (1): The criterion \((p-1) \mid 6\) is Theorem thm:ch159-prime-spectrum of Chapter ch:prime-spectrum. The dimension \(6 = \dim_\mathbb{R}(\mathcal{M}^4 \times S^2) = 4 + 2\) is a topological invariant.

Item (2): The von Staudt–Clausen connection is Theorem thm:ch159-bernoulli-determines. The seven appearances of 12 are catalogued and unified in Theorems thm:ch159-factor-12-catalog and thm:ch159-unified-12. All are [Status: PROVEN].

Item (3): The identification \(X(1) = \mathbb{H}/\PSL_2(\mathbb{Z}) \cong \mathbb{CP}^1\) is the uniformisation theorem for the modular curve, which is a standard result in the theory of modular forms (cf. Diamond–Shurman, A First Course in Modular Forms, Theorem 2.3.4). □

Proof.

Link 1: The Hasse–Minkowski theorem for quadratic forms over \(\mathbb{Q}\) implies that every conic over \(\mathbb{Q}\) with a rational point is isomorphic to \(\mathbb{P}^1_\mathbb{Q}\). The TMT interface \(S^2\) is a genus-0 curve (since \(S^2 \cong \mathbb{CP}^1\)), and the marked points \(0 = [0:1]\), \(\infty = [1:0]\) are \(\mathbb{Q}\)-rational. Hence \(S^2 \cong \mathbb{P}^1_\mathbb{Q}\).

Link 2: Beilinson proved that \(D^b(\Coh(\mathbb{CP}^n))\) has the full exceptional collection \(\langle \mathcal{O}, \mathcal{O}(1), \ldots, \mathcal{O}(n) \rangle\) (Beilinson, Coherent sheaves on \(\mathbb{P}^n\) and problems of linear algebra, 1978). For \(n = 1\), this is \(\langle \mathcal{O}, \mathcal{O}(1) \rangle\). Bondal proved that full exceptional collections are unique up to mutations and shifts.

Link 3: For a smooth projective variety \(X\), \(HH^n(X) = \bigoplus_{p+q=n} H^q(X, \bigwedge^p TX)\). For \(\mathbb{CP}^1\): \(HH^2 = H^0(\mathbb{CP}^1, \bigwedge^2 T\mathbb{CP}^1) \oplus H^1(\mathbb{CP}^1, T\mathbb{CP}^1) \oplus H^2(\mathbb{CP}^1, \mathcal{O})\). Now \(\bigwedge^2 T\mathbb{CP}^1 = 0\) (since \(\dim \mathbb{CP}^1 = 1\)), \(H^1(\mathbb{CP}^1, T\mathbb{CP}^1) = H^1(\mathbb{CP}^1, \mathcal{O}(2)) = 0\) (by Serre duality: \(H^1(\mathbb{CP}^1, \mathcal{O}(2)) \cong H^0(\mathbb{CP}^1, \mathcal{O}(-4))^* = 0\)), and \(H^2(\mathbb{CP}^1, \mathcal{O}) = 0\) (since \(\dim \mathbb{CP}^1 = 1\)). So \(HH^2(\mathbb{CP}^1) = 0\).

Link 4: Honda's theorem (On the theory of commutative formal groups, 1970): over an algebraically closed field of characteristic \(p > 0\), isomorphism classes of one-dimensional commutative formal groups are classified by height \(h \in \{1, 2, 3, \ldots\} \cup \infty\). Height 1 is the multiplicative formal group \(\hat{\mathbb{G}}_m\), uniquely. The height is 1 because \(\Pic(\mathbb{CP}^1) \cong \mathbb{Z}\) has rank 1.

Link 5: \(\Pic(\mathbb{CP}^1) = \mathbb{Z}\), generated by \(\mathcal{O}(1)\). The minimal positive-degree line bundle is \(\mathcal{O}(1)\) (the Hopf/monopole bundle). All other line bundles are tensor powers: \(\mathcal{O}(n) = \mathcal{O}(1)^{\otimes n}\). The physics of higher-charge monopoles is determined by the fundamental monopole through representation theory. □

Proof.

Statement (1) follows from Link 1 of the rigidity chain (Hasse–Minkowski). Statement (2) is Link 3 (\(HH^2 = 0\)). Statement (3): the category of effective Chow motives over a field is pseudo-abelian. The motive \(h(\mathbb{CP}^1) = h^0(\mathbb{CP}^1) \oplus h^2(\mathbb{CP}^1) = \mathbbm{1} \oplus \mathbb{L}\) is the Chow–Künneth decomposition, which is canonical for smooth projective varieties and unique by the Krull–Schmidt theorem (which holds in any pseudo-abelian \(\mathbb{Q}\)-linear category with finite-dimensional \(\Hom\)-spaces). □

Proof.

P1: The motive \(h(\mathbb{CP}^1) = \mathbbm{1} \oplus \mathbb{L}\) is the standard Chow–Künneth decomposition, proven in Chapter ch:arithmetic-genesis, Theorem 158.5.

P2: Theorem thm:ch159-prime-spectrum of Chapter ch:prime-spectrum establishes that all TMT constants lie in \(\mathbb{Q}[\pi, 1/\pi]\). The period computation: \(\mathrm{Per}(h(\mathbb{CP}^1)) = \mathbb{Q} \cdot \{1, 2\pi i\}\), so \(\mathrm{Per}(\mathcal{M}_{\text{TMT}}) \cap \mathbb{R}^+ = \mathbb{Q}^+[\pi]\), and with inversion \(\mathrm{Per}(\mathcal{M}_{\text{TMT}})^{\pm} = \mathbb{Q}[\pi, 1/\pi]\).

P3: The absolute Galois group acts on \(H^*_{\text{ét}}(\mathbb{P}^1, \mathbb{Q}_\ell) = \mathbb{Q}_\ell \oplus \mathbb{Q}_\ell(-1)\), giving a 2-dimensional representation \(\rho_{\text{TMT}} = \mathbbm{1} \oplus \chi_\ell^{-1}\). This is proven in Chapter ch:arithmetic-genesis, Theorem 158.3.

P4: Open. The automorphic representation \(\pi_{\text{TMT}}\) corresponding to \(\rho_{\text{TMT}}\) via the Langlands correspondence exists by the modularity theorem (Khare–Wintenberger for 2-dimensional odd irreducible representations; for the reducible \(\rho_{\text{TMT}} = \mathbbm{1} \oplus \chi_\ell^{-1}\), it corresponds to an Eisenstein series rather than a cusp form). The specific identification requires determining the weight and level. Candidate: weight-2 Eisenstein series for \(\Gamma(3)\).

P5: Partial. The Dedekind zeta function of \(\mathbb{P}^1\) is \(\zeta_{\mathbb{P}^1}(s) = \zeta(s)\zeta(s-1)\) (Chapter ch:arithmetic-genesis, Theorem 158.18). The TMT coupling constant \(g^2 = 4/(3\pi)\) involves \(\pi\), and \(\pi^2 = 6\zeta(2)\), so \(g^2 = 4/(3\pi)\) is expressible in terms of \(\zeta\)-values. A complete identification of all constants as L-values requires the explicit \(\pi_{\text{TMT}}\).

P6: Proven. This is the content of Chapters ch:topological-genesis, ch:arithmetic-genesis, and the Convergence Theorem (Theorem thm:ch160-convergence). □

Proof.

The constant \(c\) is computed from integrals over \(S^2\) (spherical harmonics), eigenvalue problems, and zeta regularisation. By Theorem thm:ch159-prime-spectrum, the rational prefactors have denominators involving only primes in \(\{2, 3, 5, 7\}\). The transcendental part comes from \(\mathrm{Vol}(S^2) = 4\pi\) and powers thereof, giving the \(\pi^m\) factor. By the period computation of \(h(\mathbb{CP}^1)\), \(\mathrm{Per}(h(\mathbb{CP}^1)) \cap \mathbb{R} = \mathbb{Q}[\pi]\), and the explicit period integral is:

(the area of \(S^2\) under the Fubini–Study metric with unit radius is \(\pi\); the standard round metric gives \(4\pi\)). Both \(\pi\) and \(1/\pi\) are periods of \(h(\mathbb{CP}^1)\) (the latter via the regularised inverse). All TMT constants lie in this ring. □

Proof.

The number of \(\mathbb{F}_q\)-rational points of \(\mathbb{P}^1\) is \(|\mathbb{P}^1(\mathbb{F}_q)| = q + 1\). The local zeta function at a prime \(p\) is:

The global Hasse–Weil zeta function is \(\zeta_{\mathbb{P}^1}(s) = \prod_p Z(\mathbb{P}^1_{\mathbb{F}_p}, p^{-s}) = \prod_p \frac{1}{(1-p^{-s})(1-p^{1-s})} = \zeta(s)\zeta(s-1)\). The factor \(\zeta(s)\) corresponds to \(H^0 = \mathbbm{1}\) and \(\zeta(s-1)\) to \(H^2 = \mathbb{L}\). □

Proof.

Statement (1): The unit motive \(\mathbbm{1}\) has \(H^0_\text{ét}} = \mathbb{Q}_\ell\) (trivial Galois action), so \(\mathrm{Im}(\rho) = \{1\) — no gauge group. Statement (2): Genus-1 curves over \(\mathbb{Q}\) form an infinite family parametrised by the \(j\)-invariant, with no canonical choice. Statement (3): For any smooth projective \(X\) of dimension \(d\), the Chow–Künneth decomposition gives \(h^{2d}(X) = \mathbb{L}^d\), so \(\mathbb{L}\) is a universal building block. Statement (4): \(h(\mathbb{CP}^1) = \mathbbm{1} \oplus \mathbb{L}\) is the Chow–Künneth decomposition of \(\mathbb{CP}^1\). Among smooth projective varieties over \(\mathbb{Q}\), \(\mathbb{CP}^1 = \mathbb{P}^1_\mathbb{Q}\) is the unique genus-0 curve with a rational point (Link 1 of the rigidity chain). The decomposition is unique by Krull–Schmidt. □

Proof.

Arrow 1: \(\mathbb{P}^1_\mathbb{Q} \to h(\mathbb{CP}^1) = \mathbbm{1} \oplus \mathbb{L}\): the Chow–Künneth decomposition is functorial and unique. Arrow 2: \(h(\mathbb{CP}^1) \to \rho_\text{TMT}}\): the étale realisation functor applied to \(\mathbbm{1} \oplus \mathbb{L}\) gives \(\mathbb{Q}_\ell \oplus \mathbb{Q}_\ell(-1)\), on which \(\Gal(\overline{\mathbb{Q}}/\mathbb{Q})\) acts as \(\mathbbm{1} \oplus \chi_\ell^{-1}\). Arrow 3: \(\rho_{\text{TMT}} \to \GSM\): the Convergence Theorem (Theorem thm:ch160-convergence), which derives \(\GSM\) from the arithmetic and topological structure of \(\mathbb{CP}^1\). Arrow 4: \(\GSM \to\) constants: the gauge group, together with the modular and Bernoulli structure of \(S^2 \cong X(1)\), fixes the prime spectrum \(\{2,3,5,7\} (Theorem thm:ch159-prime-spectrum) and the period ring \(\mathbb{Q}[\pi, 1/\pi]\) (Theorem thm:ch160-constants-periods). □

Proof.

Statement (1) follows from Pillar P2 (constants as periods, Theorem thm:ch160-pillar-status): all TMT constants are in \(\mathrm{Per}(h(\mathbb{CP}^1)) = \mathbb{Q}[\pi, 1/\pi]\). Statement (2) follows from the minimality theorem (Theorem thm:ch160-minimality). Statement (3) follows from the Convergence Theorem factor-by-factor comparison (Theorem thm:ch160-mechanism-comparison). Statement (4) follows from the uniqueness chain (Theorem thm:ch160-uniqueness-chain) and the rigidity chain (Theorem thm:ch160-rigidity-chain): the starting point \(\mathbb{P}^1_\mathbb{Q}\) is unique, and every step propagates this uniqueness. □