Arakelov Geometry and the Arithmetic Monopole

Proof.

This is a foundational principle established by Arakelov (1974) and developed by Gillet–Soulé (1990). The key insight is that \(\Spec\mathbb{Z}\) is “incomplete” as an arithmetic object because it lacks the Archimedean place. Just as a Riemann surface must be compactified to apply intersection theory, \(\Spec\mathbb{Z}\) must be completed at infinity. The Archimedean contribution takes the form of smooth hermitian metrics on the complex points of the variety, and intersection numbers acquire real-valued corrections from these metrics. □

Proof.

(1) In local coordinates \(z\) on \(\mathbb{P}^1(\mathbb{C})\), the curvature form is

where \(\omega_{\mathrm{FS}} = \frac{i\, dz \wedge d\bar{z}}{(1+|z|^2)^2}\) is the Fubini-Study form, a standard result in Kähler geometry.

(2) The metric is smooth and has strictly positive curvature (the Fubini-Study form is a positive \((1,1)\)-form), and \(\mathcal{O}(1)\) is algebraically ample on \(\mathbb{P}^1\). By the arithmetic Nakai–Moishezon criterion, \(\overline{\mathcal{O}(1)}\) is arithmetically ample.

(3) With the normalization \(\int_{\mathbb{P}^1} \omega_{\mathrm{FS}} = 2\pi\) (the area of \(S^2\) in the round metric of radius \(1/2\)), we get \(\int c_1(\overline{\mathcal{O}(1)}) = \frac{1}{2\pi} \cdot 2\pi = 1\).

(4) The arithmetic self-intersection combines the algebraic self-intersection (which is \(1\) for \(\mathcal{O}(1)\) on \(\mathbb{P}^1\)) with the Archimedean contribution from the Fubini-Study metric. By Arakelov intersection theory (Theorem thm:165-arith-intersection):

This integral evaluates to \(\log(2\pi) - 1\), giving \(\hat{c}_1^2 = \log(2\pi)\). □

Proof.

Direct exponentiation of eq:165-self-intersection. □

Proof.

This is the Gillet–Soulé arithmetic intersection theory (1990), specialized to the arithmetic surface \(\mathbb{P}^1_\mathbb{Z}\). The key idea is that the intersection of two arithmetic divisors \((Z_1, g_1)\) and \((Z_2, g_2)\) produces a real number combining: (a) the algebraic intersection number \(Z_1 \cdot Z_2\) on the generic fiber \(\mathbb{P}^1_\mathbb{Q}\), (b) local intersection multiplicities at finite primes where \(Z_1\) and \(Z_2\) meet on special fibers \(\mathbb{P}^1_{\mathbb{F}_p}\), and (c) the Archimedean integral \(\int_{\mathbb{P}^1(\mathbb{C})} g_1 \wedge \omega_2 + g_2 \wedge \omega_1\). Bilinearity and symmetry follow from the definitions. Positivity for ample bundles with positive metrics follows from the arithmetic Hodge index theorem. □

Proof.

In the distributional sense, \(dd^c \log|z| = \delta_0 - \delta_\infty = -\delta_D\), where \(\delta_P\) is the Dirac delta current at \(P\). This follows from the identity \(dd^c \log|f| = \mathrm{div}(f)\) for meromorphic functions. □

Proof.

From Theorem thm:165-O1-properties(4), \(\hat{c}_1(\overline{\mathcal{O}(1)})^2 = \log(2\pi)\). By Definition def:165-arith-degree:

Equivalently, \(e^{2\widehat{\deg}(\overline{\mathcal{O}(1)})} = 2\pi\). The arithmetic degree of the basic line bundle on the TMT interface encodes the fundamental period \(2\pi\). □

Proof.

By bilinearity of the arithmetic intersection pairing, \(\hat{c}_1(\overline{\mathcal{O}(q)})^2 = q^2 \cdot \hat{c}_1(\overline{\mathcal{O}(1)})^2 = q^2 \log(2\pi)\). □

Proof.

(1) The spin structures on \(S^2\) are classified by \(H^1(S^2, \mathbb{Z}/2) = 0\), so there is a unique spin structure, and the associated spinor bundle gives \(\mathcal{O}(1)^{1/2}\).

(2) The Hopf fibration \(\pi: S^3 \to S^2\) is a principal \(U(1)\)-bundle with Chern class \(c_1 = 1\). Pulling back the half-integer monopole gives an integral charge on \(S^3\).

(3) In \(\mathrm{Pic}(\mathbb{P}^1) \otimes \mathbb{Q} = \mathbb{Q}\), the element \(1/2\) represents the formal half-integer class. The integrality obstruction reflects the \(\mathbb{Z}/2\mathbb{Z}\) torsion in \(\pi_1(\mathrm{SO}(3))\). □

Proof.

By linearity of the first Chern class, \(c_1(\overline{\mathcal{O}(q)}) = q \cdot c_1(\overline{\mathcal{O}(1)}) = q \cdot \omega_{\mathrm{FS}}/(2\pi)\) (using Theorem thm:165-O1-properties(1)). The integral \(\int_{\mathbb{P}^1} c_1(\overline{\mathcal{O}(q)}) = q \cdot 1 = q\) confirms the topological charge. □

Proof.

The charge-Chern correspondence follows from the classification of line bundles on \(\mathbb{P}^1\) by \(\mathrm{Pic}(\mathbb{P}^1) \cong \mathbb{Z}\). The flux-curvature correspondence is Proposition prop:165-monopole-curvature. The connection-metric correspondence follows from the standard relationship between unitary connections on a hermitian line bundle and the hermitian metric: the Chern connection of \((\mathcal{O}(q), \|\cdot\|)\) is the unique unitary connection compatible with the holomorphic structure, and its curvature is \(c_1(\overline{\mathcal{O}(q)})\). The monopole connection on \(S^2\) is precisely this Chern connection for the Fubini-Study metric. The energy-degree correspondence follows from Corollary cor:165-degree-scaling: \(\widehat{\deg}(\overline{\mathcal{O}(q)}) = \frac{q^2}{2}\log(2\pi)\), which is proportional to \(q^2\) as expected for monopole energy. □

Proof.

The Picard group \(\mathrm{Pic}(\mathbb{P}^1) \cong \mathbb{Z}\) is discrete. Every line bundle on \(\mathbb{P}^1\) is isomorphic to \(\mathcal{O}(q)\) for a unique \(q \in \mathbb{Z}\). Since monopoles correspond to line bundles (Theorem thm:165-monopole-bundle), their charges must be integers. □

Proof.

The naive Kaluza-Klein formula replaces the extra-dimensional volume with \(\mathrm{Vol}(S^2) = 4\pi\). The discrepancy arises because TMT uses the angular scale \(\pi\) rather than the full volume \(4\pi\); this distinction is forced by the null constraint \(ds_6^2 = 0\) (P1), which selects the angular scale as the relevant normalization (see Parts 2–4). □

Proof.

(1) follows because \(\max(|x_0|, |x_1|) \geq 1\) for coprime integers. (2) follows from the classification: \(h(P) = 0\) requires \(\max(|x_0|, |x_1|) = 1\). (3) is the Northcott property: for \(h(P) \leq B\), both \(|x_0|, |x_1| \leq e^B\), giving finitely many coprime pairs. □

Proof.

(1) is the definition. (2) follows from the product formula: the height equals the sum of local contributions at all places where \(|a/b|_v > 1\). (3) follows from \(\max(|a|, |b|) = \max(|b|, |a|)\). □

Proof.

(1) follows from \(\|s \otimes t\| = \|s\| \cdot \|t\|\) for sections of the tensor product. (2) follows from the definition of pullback metrics. (3) follows from the explicit Fubini-Study metric: for the section \(s = ax_0 + bx_1\) evaluated at \(P = [a:b]\), \(\|s(P)\|_{\mathrm{FS}} = |s|/\sqrt{|a|^2 + |b|^2}\), giving the comparison formula after taking logarithms. □

Proof.

(1) From \(h_{\mathrm{ar}}(\mathbb{P}^1) = -\frac{1}{2}\log(2\pi)\), we get \(e^{-2h_{\mathrm{ar}}} = e^{\log(2\pi)} = 2\pi\).

(2) The standard volume \(\mathrm{Vol}(S^2) = 4\pi = 2 \cdot 2\pi = 2 \cdot e^{-2h_{\mathrm{ar}}}\).

(3) With \(e^{2h_{\mathrm{ar}}} = 1/(2\pi)\):

The coefficient \(8/3\) decomposes as \(8/n_g\) where \(n_g = 3\) is the number of generations. The factor \(8\) arises from the angular scale normalization of TMT: the null constraint P1 selects the angular scale \(\pi\) rather than the full volume \(4\pi\), contributing a factor of \(4\), combined with a factor of \(2\) from the metrized bundle normalization. □

Proof.

The proof proceeds in three steps, each connecting physical data to arithmetic invariants.

Step 1: Arithmetic degree encodes \(2\pi\). By Theorem thm:165-arith-degree, \(\widehat{\deg}(\overline{\mathcal{O}(1)}) = \frac{1}{2}\log(2\pi)\). Exponentiating: \(e^{2\widehat{\deg}} = 2\pi\).

Step 2: TMT coupling from the angular scale. The TMT gauge coupling is derived in Parts 2–4 from the monopole harmonic overlap integral on \(S^2\):

where the angular scale \(\pi\) (not the full volume \(4\pi\)) enters because the null constraint P1 (\(ds_6^2 = 0\)) projects onto the angular measure rather than the full area measure. This yields \(g^2 = 4/(3\pi)\) with \(n_g = 3\).

Step 3: Identification with arithmetic invariant. Writing \(\pi = (2\pi)/2 = e^{2\widehat{\deg}}/2\):

Substituting \(n_g = 3\) and \(e^{-2\widehat{\deg}} = 1/(2\pi)\): The coupling constant is the exponential of the negative arithmetic self-intersection number, scaled by the generation count. □

Proof.

If \(P = [a:b]\) with \(\gcd(a,b) = 1\) and \(h(P) \leq B\), then \(\max(|a|, |b|) \leq e^B\). The number of integers with \(|n| \leq e^B\) is at most \(2\lfloor e^B \rfloor + 1\). Since \(a\) and \(b\) each range over this set, there are at most \((2\lfloor e^B \rfloor + 1)^2\) pairs, and the coprimality condition only reduces this count. □

Proof.

(1) Global sections \(s \in H^0(\mathbb{P}^1, \mathcal{O}(q))\) correspond to homogeneous polynomials of degree \(q\); each such section defines a monopole configuration. On \(\mathbb{P}^1_\mathbb{Z}\), these sections have arithmetic content (integer coefficients) and analytic content (the Fubini-Study norm).

(2) By Corollary cor:165-degree-scaling, \(E_{\mathrm{ar}}(q) = \frac{q^2}{2}\log(2\pi)\).

(3) The inequality \(\frac{q^2}{2}\log(2\pi) \leq B\) gives \(|q| \leq \sqrt{2B/\log(2\pi)}\), which has finitely many integer solutions.

(4) This is the Northcott finiteness principle applied to monopole bundles: bounded arithmetic degree implies finitely many isomorphism classes of metrized bundles. Since each isomorphism class corresponds to a unique charge \(q \in \mathbb{Z}\), the physical spectrum is discrete. □