Chapter 9

Geometry of the 2-Sphere

In Chapter 8, we proved that \(\mathcal{K}^2 = S^2\) is uniquely selected by five independent physical consistency conditions. In this chapter, we develop the detailed geometry of \(S^2\) that underlies all subsequent TMT calculations. This is a technical chapter, establishing the mathematical toolkit: coordinates, metric, curvature, volume, isometries, homotopy, and the embedding chain \(S^2 \subset \mathbb{R}^3 \subset \mathbb{C}^3\) that connects the projection structure to the full Standard Model gauge group.

Scaffolding Interpretation

Throughout this chapter, “\(S^2\)” refers to the projection structure — the mathematical encoding of how 4D physics appears when observed from within 3D. The geometric properties derived here (curvature, volume, isometries, etc.) are properties of the projection interface, not of a physical 2D surface embedded in hidden extra dimensions. The 6D formalism \(\mathcal{M}^4 \times S^2\) is mathematical scaffolding for computing 4D observables.

Coordinates on \(S^2\): \((\theta, \phi)\)

The standard coordinates on \(S^2\) are the polar angle \(\theta\) and azimuthal angle \(\phi\):

Definition 9.15 (Standard Spherical Coordinates)

The 2-sphere \(S^2\) of radius \(R\) is parametrized by:

$$ (\theta, \phi) \in [0, \pi] \times [0, 2\pi) $$ (9.1)
where \(\theta\) is the polar angle measured from the north pole and \(\phi\) is the azimuthal angle.

In Cartesian ambient coordinates \(\mathbb{R}^3\), a point on \(S^2\) is:

$$ \begin{pmatrix} x \\ y \\ z \end{pmatrix} = R \begin{pmatrix} \sin\theta\cos\phi \\ \sin\theta\sin\phi \\ \cos\theta \end{pmatrix} $$ (9.2)

Coordinate singularities:

    • At \(\theta = 0\) (north pole): \(\phi\) is undefined
    • At \(\theta = \pi\) (south pole): \(\phi\) is undefined

These are coordinate singularities, not physical singularities. The sphere is smooth everywhere. For global calculations, one uses overlapping coordinate patches (north and south charts) or works with coordinate-independent quantities.

TMT conventions (used throughout the book):

Table 9.1: Coordinate conventions for \(S^2\)
SymbolRangeMeaning
\(\theta\)\([0, \pi]\)Polar angle from north pole
\(\phi\)\([0, 2\pi)\)Azimuthal angle
\(R\)\(> 0\)Radius (scale parameter of projection structure)
\(d\Omega\)\(\sin\theta\,d\theta\,d\phi\)Area element on unit \(S^2\)
\(a, b\)\(1, 2\)\(S^2\) coordinate indices (\(\theta, \phi\))

Polar Field Coordinates: \(u = \cos\theta\)

Throughout the remainder of this book, we systematically use the polar field variable:

Definition 9.16 (Polar Field Coordinates)

$$ \boxed{u \equiv \cos\theta, \quad u \in [-1, +1]} $$ (9.3)
with \(\phi \in [0, 2\pi)\) unchanged. This substitution converts the \(S^2\) integration measure from \(\sin\theta\,d\theta\,d\phi\) to the flat measure \(du\,d\phi\), and converts all trigonometric integrals on \(S^2\) to polynomial integrals on the rectangle \([-1,+1] \times [0, 2\pi)\).

Scaffolding Interpretation

The change \(u = \cos\theta\) is NOT a new physical assumption. It is a coordinate choice that reveals structure hidden by trigonometric expressions. In particular, the metric determinant becomes constant (\(\sqrt{\det h_{ab}} = R^2\)), all monopole harmonics become polynomial in \(u\), and the around/through decomposition becomes mathematically literal.

The key conversions from spherical to polar field coordinates are:

Table 9.2: Coordinate conversion: spherical \((\theta, \phi)\) \(\to\) polar field \((u, \phi)\)
QuantitySpherical \((\theta, \phi)\)Polar field \((u, \phi)\)
Variable\(\theta \in [0, \pi]\)\(u = \cos\theta \in [-1, +1]\)
Differential\(d\theta\)\(du / \sqrt{1-u^2}\)
\(\sin\theta\)\(\sin\theta\)\(\sqrt{1-u^2}\)
Area element\(\sin\theta\,d\theta\,d\phi\)\(du\,d\phi\) (flat!)
\(\sqrt{\det g}\)\(R^2\sin\theta\) (angular)\(R^2\) (constant)
North pole\(\theta = 0\)\(u = +1\)
South pole\(\theta = \pi\)\(u = -1\)
Equator\(\theta = \pi/2\)\(u = 0\)

The physical interpretation: \(\phi\) parametrizes the around direction (gauge/topology), while \(u\) parametrizes the through direction (mass/dynamics). Every \(S^2\) overlap integral factorizes:

$$ \int_{S^2} f(u, \phi)\,d\Omega = \int_0^{2\pi} F(\phi)\,d\phi \times \int_{-1}^{+1} G(u)\,du $$ (9.4)
when \(f(u,\phi) = F(\phi)\,G(u)\). This factorization is exact for all monopole harmonics.

The Round Metric: \(ds^2 = R^2(d\theta^2 + \sin^2\theta\,d\phi^2)\)

The Round Metric on \(S^2\)

[foundations]

$$ \boxed{ds_{S^2}^2 = R^2\left(d\theta^2 + \sin^2\theta\,d\phi^2\right)} $$ (9.5)

The unique (up to radius) homogeneous, isotropic metric on \(S^2\).

In matrix form, the metric tensor \(g_{ab}\) on \(S^2\) is:

$$\begin{aligned} g_{ab} = R^2 \begin{pmatrix} 1 & 0 \\ 0 & \sin^2\theta \end{pmatrix} \end{aligned}$$ (9.6)

with inverse:

$$\begin{aligned} g^{ab} = \frac{1}{R^2} \begin{pmatrix} 1 & 0 \\ 0 & 1/\sin^2\theta \end{pmatrix} \end{aligned}$$ (9.7)

and determinant:

$$ \det(g_{ab}) = R^4 \sin^2\theta $$ (9.8)

Key properties of the round metric:

    • Signature: \((+, +)\) — both eigenvalues positive (Riemannian)
    • Homogeneity: Every point on \(S^2\) looks the same (transitive isometry group)
    • Isotropy: Every direction at any point looks the same
    • Uniqueness: The round metric is the unique (up to scale) metric on \(S^2\) with these symmetries
    • Single parameter: The metric is completely determined by one parameter \(R\) (no shape moduli)

The scalar Laplacian on \(S^2\) (used extensively in subsequent chapters) is:

$$ \nabla_{S^2}^2 = \frac{1}{R^2}\left[\frac{1}{\sin\theta}\frac{\partial}{\partial\theta}\left(\sin\theta\frac{\partial}{\partial\theta}\right) + \frac{1}{\sin^2\theta}\frac{\partial^2}{\partial\phi^2}\right] $$ (9.9)

Its eigenfunctions are the spherical harmonics \(Y_\ell^m(\theta, \phi)\):

$$ -\nabla_{S^2}^2 Y_\ell^m = \frac{\ell(\ell+1)}{R^2}\,Y_\ell^m, \quad \ell = 0, 1, 2, \ldots, \quad m = -\ell, \ldots, +\ell $$ (9.10)

with degeneracy \(2\ell + 1\) for each \(\ell\).

The Round Metric in Polar Field Coordinates

In the polar field variable \(u = \cos\theta\), the round metric becomes:

$$ \boxed{ds_{S^2}^2 = R^2\left[\frac{du^2}{1-u^2} + (1-u^2)\,d\phi^2\right]} $$ (9.11)

The metric tensor in \((u, \phi)\) coordinates is:

$$\begin{aligned} h_{ab} = R^2 \begin{pmatrix} 1/(1-u^2) & 0 \\ 0 & 1-u^2 \end{pmatrix}, \quad h^{ab} = \frac{1}{R^2}\begin{pmatrix} 1-u^2 & 0 \\ 0 & 1/(1-u^2) \end{pmatrix} \end{aligned}$$ (9.12)

with constant determinant:

$$ \det(h_{ab}) = R^4 \cdot \frac{1}{1-u^2} \cdot (1-u^2) = R^4 \quad \Rightarrow \quad \sqrt{\det h} = R^2 $$ (9.13)

This is the central simplification: \(\sqrt{\det h} = R^2\) is independent of position. Every integral on \(S^2\) uses the flat measure \(du\,d\phi\) with no angular weight.

The scalar Laplacian in polar field coordinates:

$$ \nabla_{S^2}^2 = \frac{1}{R^2}\left[\frac{\partial}{\partial u}\left((1-u^2)\frac{\partial}{\partial u}\right) + \frac{1}{1-u^2}\frac{\partial^2}{\partial\phi^2}\right] $$ (9.14)

Compare with eq:ch9-laplacian: the \(\sin\theta\) factors have been absorbed into the coordinate change, leaving a self-adjoint operator with respect to flat measure.

Table 9.3: Metric comparison: spherical vs. polar field coordinates
PropertySpherical \((\theta, \phi)\)Polar field \((u, \phi)\)
Metric \(ds^2\)\(R^2(d\theta^2 + \sin^2\theta\,d\phi^2)\)\(R^2[du^2/(1-u^2) + (1-u^2)\,d\phi^2]\)
\(g_{\theta\theta}\) or \(h_{uu}\)\(R^2\)\(R^2/(1-u^2)\)
\(g_{\phi\phi}\) or \(h_{\phi\phi}\)\(R^2\sin^2\theta\)\(R^2(1-u^2)\)
\(\sqrt{\det g}\)\(R^2\sin\theta\) (varies)\(R^2\) (constant!)
Area element\(R^2\sin\theta\,d\theta\,d\phi\)\(R^2\,du\,d\phi\) (flat)
Domain\([0,\pi] \times [0, 2\pi)\) (curved)\([-1,+1] \times [0, 2\pi)\) (rectangle)

Curvature: \(R_{S^2} = 2/R^2\)

Theorem 9.1 (Curvature of \(S^2\))

For the round \(S^2\) of radius \(R\):

    • Gaussian curvature: \(K = 1/R^2\) (constant, positive)
    • Ricci scalar: \(R_{S^2} = 2K = 2/R^2\)
    • Riemann tensor: \(R_{abcd} = K(g_{ac}g_{bd} - g_{ad}g_{bc})\) (maximally symmetric)
    • Ricci tensor: \(R_{ab} = Kg_{ab} = g_{ab}/R^2\)
Proof.

Step 1: Compute the Christoffel symbols from the metric eq:ch9-metric-tensor. The non-vanishing components are:

$$\begin{aligned} \Gamma^\theta_{\phi\phi} &= -\sin\theta\cos\theta \\ \Gamma^\phi_{\theta\phi} &= \Gamma^\phi_{\phi\theta} = \cot\theta \end{aligned}$$ (9.33)

Step 2: Compute the Riemann tensor \(R^\theta{}_{\phi\theta\phi}\):

$$ R^\theta{}_{\phi\theta\phi} = \partial_\theta\Gamma^\theta_{\phi\phi} - \partial_\phi\Gamma^\theta_{\theta\phi} + \Gamma^\theta_{\theta\lambda}\Gamma^\lambda_{\phi\phi} - \Gamma^\theta_{\phi\lambda}\Gamma^\lambda_{\theta\phi} = \sin^2\theta $$ (9.15)

Step 3: The Gaussian curvature:

$$ K = \frac{R^\theta{}_{\phi\theta\phi}}{g_{\phi\phi}} = \frac{\sin^2\theta}{R^2\sin^2\theta} = \frac{1}{R^2} $$ (9.16)

Step 4: The Ricci scalar in 2D: \(R_{S^2} = 2K = 2/R^2\).

Step 5: Verify via Gauss-Bonnet:

$$ \int_{S^2} R_{S^2}\,dA = \frac{2}{R^2} \times 4\pi R^2 = 8\pi = 4\pi\chi(S^2) = 4\pi \times 2 \quad \checkmark $$ (9.17)
□

(See: Part 2 §4.2.4) □

Physical significance of positive curvature: As shown in Chapter 8, positive curvature is one of the five properties that uniquely select \(S^2\). In the modulus stabilization mechanism, the positive curvature ensures \(c_0 > 0\) in the loop potential \(V_{\text{loop}} = c_0/R^4\), providing the quantum pressure that prevents collapse.

Volume: \(\mathrm{Vol}(S^2) = 4\pi R^2\)

Theorem 9.2 (Area of \(S^2\))

$$ \mathrm{Vol}(S^2) = \int_{S^2} dA = \int_0^{2\pi}\int_0^\pi R^2\sin\theta\,d\theta\,d\phi = 4\pi R^2 $$ (9.18)
Proof.

Step 1: The area element on \(S^2\) with metric eq:ch9-metric-tensor:

$$ dA = \sqrt{\det(g_{ab})}\,d\theta\,d\phi = R^2\sin\theta\,d\theta\,d\phi $$ (9.19)

Step 2: Integrate over the full sphere:

$$\begin{aligned} \mathrm{Vol}(S^2) &= \int_0^{2\pi}d\phi\int_0^\pi R^2\sin\theta\,d\theta \\ &= 2\pi \times R^2 \times [-\cos\theta]_0^\pi \\ &= 2\pi \times R^2 \times (1 - (-1)) \\ &= 4\pi R^2 \square \end{aligned}$$ (9.34)
□

For the unit sphere (\(R = 1\)), \(\mathrm{Vol}(S^2) = 4\pi\). This factor appears throughout TMT calculations:

    • The \(1/(4\pi)\) normalization in the loop coefficient \(c_0 = 1/(256\pi^3)\) arises from \(1/\mathrm{Vol}(S^2_{\text{unit}})\)
    • Spherical harmonic orthogonality: \(\int_{S^2} Y_\ell^m (Y_{\ell'}^{m'})^*\,d\Omega = \delta_{\ell\ell'}\delta_{mm'}\)
    • The participation ratio \(\int |Y_1^m|^4\,d\Omega = 1/\pi\) is normalized relative to \(\mathrm{Vol}(S^2_{\text{unit}}) = 4\pi\)

Polar field verification: In polar coordinates, the same calculation is immediate:

$$ \mathrm{Vol}(S^2) = R^2 \int_0^{2\pi}d\phi \int_{-1}^{+1}du = R^2 \times 2\pi \times 2 = 4\pi R^2 \quad \checkmark $$ (9.20)
The flat measure \(du\,d\phi\) makes this a trivial rectangular integral. The factor \(4\pi = 2\pi \times 2\) decomposes as: \(2\pi\) from the AROUND integral (\(\phi\)) and \(2\) from the THROUGH integral (\(u\) over \([-1,+1]\)).

Isometry Group: \(\mathrm{Iso}(S^2) = \mathrm{SO}(3)\)

Theorem 9.3 (Isometry Group of \(S^2\))

The isometry group of the round \(S^2\) is:

$$ \mathrm{Iso}(S^2) = \mathrm{O}(3) $$ (9.21)
with connected component:
$$ \mathrm{Iso}_0(S^2) = \mathrm{SO}(3) $$ (9.22)
which has:

    • \(\dim(\mathrm{SO}(3)) = 3\)
    • Lie algebra: \(\mathfrak{so}(3) \cong \mathfrak{su}(2)\)
    • Local isomorphism: \(\mathrm{SU}(2) \to \mathrm{SO}(3)\) (double cover)
Proof.

Step 1: An isometry of \(S^2 \subset \mathbb{R}^3\) must preserve the metric \(ds_{S^2}^2\), which is inherited from the ambient \(\mathbb{R}^3\) metric. Any isometry of \(S^2\) extends to an orthogonal transformation of \(\mathbb{R}^3\) that maps the sphere to itself.

Step 2: The group of orthogonal transformations preserving the sphere \(\{x^2 + y^2 + z^2 = R^2\}\) is exactly O(3).

Step 3: O(3) = SO(3) \(\times\) \(\{I, -I\}\). The orientation-preserving subgroup is SO(3), with \(\dim = 3\).

Step 4: The Lie algebra \(\mathfrak{so}(3)\) consists of \(3 \times 3\) antisymmetric matrices, spanned by:

$$\begin{aligned} L_1 = \begin{pmatrix} 0 & 0 & 0 \\ 0 & 0 & -1 \\ 0 & 1 & 0 \end{pmatrix}, \quad L_2 = \begin{pmatrix} 0 & 0 & 1 \\ 0 & 0 & 0 \\ -1 & 0 & 0 \end{pmatrix}, \quad L_3 = \begin{pmatrix} 0 & -1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix} \end{aligned}$$ (9.23)
satisfying \([L_a, L_b] = \epsilon_{abc}L_c\), which is isomorphic to \(\mathfrak{su}(2)\). □

(See: Part 2 §4.5.1, App 2A) □

Killing vectors on \(S^2\): The three generators of SO(3) correspond to the Killing vector fields on \(S^2\):

$$\begin{aligned} \xi_1 &= \partial_\phi \\ \xi_2 &= \cos\phi\,\partial_\theta - \cot\theta\sin\phi\,\partial_\phi \\ \xi_3 &= -\sin\phi\,\partial_\theta - \cot\theta\cos\phi\,\partial_\phi \end{aligned}$$ (9.35)

These satisfy \([\xi_a, \xi_b] = \epsilon_{abc}\xi_c\) and generate the SO(3) \(\cong\) SU(2) gauge symmetry in TMT. The average squared norm:

$$ \int_{S^2} |\xi_a|^2\,d\Omega = \frac{8\pi R^2}{3} $$ (9.24)
for each generator \(a = 1, 2, 3\).

Physical significance: In Kaluza-Klein reduction on \(S^2\), these isometries generate the SU(2) gauge fields of the weak interaction. The Killing vectors become the gauge potentials \(A_\mu^a\) after dimensional reduction.

Polar field form of Killing vectors: In \((u, \phi)\) coordinates (cf. §sec:ch8-polar-isometry):

$$\begin{aligned} K_3 &= \partial_\phi \quad \text{(pure AROUND --- unbroken $U(1)_{\mathrm{em}}$)} \\ K_1 &= \sin\phi\,\sqrt{1-u^2}\,\partial_u - \frac{u\cos\phi}{\sqrt{1-u^2}}\,\partial_\phi \\ K_2 &= -\cos\phi\,\sqrt{1-u^2}\,\partial_u - \frac{u\sin\phi}{\sqrt{1-u^2}}\,\partial_\phi \end{aligned}$$ (9.36)
The key structural insight: \(K_3\) is pure AROUND (acts only on \(\phi\)), while \(K_1, K_2\) mix AROUND and THROUGH (act on both \(u\) and \(\phi\)). This mixing IS the non-abelian structure — the broken generators \(W^\pm\) couple the gauge and mass directions.

Homotopy: \(\pi_1 = 0\), \(\pi_2 = \mathbb{Z}\)

Theorem 9.4 (Homotopy Groups of \(S^2\))

The low-dimensional homotopy groups of \(S^2\) are:

$$\begin{aligned} \pi_0(S^2) &= 0 \quad \text{(connected)} \\ \pi_1(S^2) &= 0 \quad \text{(simply connected)} \\ \pi_2(S^2) &= \mathbb{Z} \quad \text{(integer winding number)} \end{aligned}$$ (9.37)

Physical consequences of each:

\(\pi_1(S^2) = 0\) (simply connected):

    • Every loop on \(S^2\) can be contracted to a point
    • Consequence: unique spin structure (shown in Ch. 8), enabling chirality
    • Consequence: no topological defects of the “cosmic string” type
    • The fundamental group being trivial means \(H^1(S^2; \mathbb{Z}_2) = 0\), giving \(N_{\mathrm{spin}} = 2^0 = 1\)

\(\pi_2(S^2) = \mathbb{Z}\) (non-trivial second homotopy):

    • Maps \(S^2 \to S^2\) are classified by integer winding number \(n \in \mathbb{Z}\)
    • Consequence: magnetic monopoles exist on \(S^2\), with monopole charge \(n\)
    • U(1) bundles over \(S^2\) are classified by the first Chern class \(c_1 \in H^2(S^2; \mathbb{Z}) \cong \pi_2(S^2) \cong \mathbb{Z}\)
    • Dirac quantization: the monopole charge \(n\) determines the allowed matter charges through \(qn \in \mathbb{Z}\)
    • Energy minimization: \(E \propto n^2\) selects \(|n| = 1\) as the ground state

Summary of homotopy consequences:

Table 9.4: Homotopy groups of \(S^2\) and their physical consequences
GroupValuePhysical Consequence
\(\pi_0\)\(0\)\(S^2\) is connected (single projection structure)
\(\pi_1\)\(0\)Simply connected \(\to\) unique spin structure \(\to\) chirality
\(\pi_2\)\(\mathbb{Z}\)Monopoles \(\to\) charge quantization \(\to\) Higgs structure

The Embedding Chain

Scaffolding Interpretation

The embedding chain \(S^2 \subset \mathbb{R}^3 \subset \mathbb{C}^3\) describes mathematical relationships between structures, not physical containment of spaces within spaces. “\(S^2\) embeds in \(\mathbb{R}^3\)” means the projection structure has mathematical properties requiring 3 real dimensions to describe without pathologies. “\(\mathbb{R}^3 \subset \mathbb{C}^3\)” means quantum mechanics requires complexification of the ambient space.

\(S^2 \subset \mathbb{R}^3\) (Minimal Embedding)

Theorem 9.5 (Minimal Embedding of \(S^2\))

\(S^2\) embeds in \(\mathbb{R}^3\) as \(\{(x, y, z) \in \mathbb{R}^3 : x^2 + y^2 + z^2 = R^2\}\). This embedding is:

    • Smooth: The map is \(C^\infty\)
    • Isometric: It preserves the round metric
    • Minimal: \(S^2\) cannot embed in \(\mathbb{R}^2\) (it would self-intersect)

Therefore \(\mathbb{R}^3\) is the minimal ambient Euclidean space for \(S^2\).

Proof.

Step 1 (Lower bound): \(S^2\) is a compact, orientable 2-manifold. By the Jordan-Brouwer separation theorem (Brouwer 1912), \(S^2\) separates \(\mathbb{R}^3\) into “inside” and “outside” regions. In \(\mathbb{R}^2\), a closed 2-manifold cannot embed without self-intersection. Therefore \(\dim \geq 3\).

Step 2 (Achievability): The standard embedding \(x^2 + y^2 + z^2 = R^2\) realizes \(S^2\) in \(\mathbb{R}^3\).

Step 3 (Minimality): Since \(\dim \geq 3\) is required and \(\dim = 3\) is achieved, \(\mathbb{R}^3\) is minimal.

Note: The Whitney embedding theorem guarantees any smooth compact \(n\)-manifold embeds in \(\mathbb{R}^{2n}\), giving \(S^2 \subset \mathbb{R}^4\). The standard embedding achieves better: \(S^2 \subset \mathbb{R}^3\). □

(See: Part 2 §5.1) □

This embedding is forced by topology, not chosen. The mathematical properties of \(S^2\) require at least 3 real dimensions for an embedding without self-intersection.

\(\mathbb{R}^3 \subset \mathbb{C}^3\) (QM Complexification)

Theorem 9.6 (Quantum Mechanics Requires Complex Hilbert Spaces)

Quantum mechanical state spaces are complex Hilbert spaces.

Proof.

Step 1: Superposition: \(|\psi\rangle = \alpha|0\rangle + \beta|1\rangle\) with \(\alpha, \beta\) complex.

Step 2: Normalization: \(|\alpha|^2 + |\beta|^2 = 1\).

Step 3: The phase \(\alpha = |\alpha|e^{i\phi}\) is physically observable (via interference).

Step 4: A real Hilbert space has no phase structure \(\to\) no interference patterns.

Step 5: Interference is experimentally observed \(\to\) complex Hilbert space required. □

(See: Part 2 §5.2) □

Theorem 9.7 (Complexification of \(\mathbb{R}^3\))

The complexification of \(\mathbb{R}^3\) is:

$$ \mathbb{C}^3 = \mathbb{R}^3 \otimes_{\mathbb{R}} \mathbb{C} $$ (9.25)
Elements of \(\mathbb{C}^3\) are \((z_1, z_2, z_3)\) with \(z_i \in \mathbb{C}\).

Scaffolding Interpretation

“Fields take values in \(\mathbb{C}^3\)” does NOT mean fields are “living on” a literal 6D space \(\mathcal{M}^4 \times S^2\). Rather, 4D quantum fields, when their coupling to the \(S^2\) projection structure is made explicit, naturally have components that transform under the \(\mathbb{C}^3\) structure. \(\mathbb{C}^3\) is the natural internal space for these interactions, not an additional physical dimension.

Theorem 9.8 (Fields in \(\mathbb{C}^3\))

Quantum fields on \(\mathcal{M}^4 \times S^2\) with ambient-space indices take values in \(\mathbb{C}^3\).

Proof.

Step 1: \(S^2 \hookrightarrow \mathbb{R}^3\) (minimal embedding, Theorem thm:P2-Ch9-minimal-embedding).

Step 2: Fields have indices from the ambient space \(\mathbb{R}^3\).

Step 3: QM requires complex field values (Theorem thm:P2-Ch9-qm-complex).

Step 4: Therefore field space \(= \mathbb{R}^3 \otimes \mathbb{C} = \mathbb{C}^3\). □

(See: Part 2 §5.2) □

The Complete Chain: \(S^2 \subset \mathbb{R}^3 \subset \mathbb{C}^3\)

Theorem 9.9 (The Embedding Chain)

$$ \boxed{S^2 \subset \mathbb{R}^3 \subset \mathbb{C}^3} $$ (9.26)
Each step is forced:

    • \(S^2 \hookrightarrow \mathbb{R}^3\): minimal embedding (Whitney + Jordan-Brouwer)
    • \(\mathbb{R}^3 \hookrightarrow \mathbb{C}^3\): quantum mechanics (complex Hilbert spaces)
Table 9.5: Steps in the embedding chain
StepFromToReason
1\(S^2\)\(\mathbb{R}^3\)Minimal embedding (topology)
2\(\mathbb{R}^3\)\(\mathbb{C}^3\)Quantum mechanics (complex structure)

The Complex Projective Interpretation

\(S^2 \cong \mathbb{CP}^1\)

Theorem 9.10 (\(S^2 \cong \mathbb{CP}^1\))

The 2-sphere is diffeomorphic to the complex projective line:

$$ S^2 \cong \mathbb{CP}^1 = \{[z_0 : z_1] : (z_0, z_1) \in \mathbb{C}^2 \setminus \{0\}\} $$ (9.27)
where \([z_0 : z_1]\) denotes the equivalence class under \((z_0, z_1) \sim \lambda(z_0, z_1)\) for \(\lambda \in \mathbb{C} \setminus \{0\}\).

The diffeomorphism is given by stereographic projection:

$$ (\theta, \phi) \mapsto [z_0 : z_1] = [\cos(\theta/2) : e^{i\phi}\sin(\theta/2)] $$ (9.28)

This identification is profound: \(S^2\) is simultaneously a real 2-manifold and a complex 1-manifold (\(\mathbb{CP}^1\)). This dual nature connects real geometry (curvature, isometries) with complex algebraic geometry (line bundles, Chern classes).

\(\mathbb{CP}^1 \subset \mathbb{CP}^2\)

Theorem 9.11 (Natural Inclusion \(\mathbb{CP}^1 \subset \mathbb{CP}^2\))

$$ \mathbb{CP}^1 \subset \mathbb{CP}^2 $$ (9.29)
via the inclusion \([z_0 : z_1] \mapsto [z_0 : z_1 : 0]\).

This inclusion is natural in the sense that it is the simplest way to embed \(\mathbb{CP}^1\) into the next complex projective space. It corresponds to restricting the homogeneous coordinates to a hyperplane in \(\mathbb{CP}^2\).

\(\mathrm{Iso}(\mathbb{CP}^1) = \mathrm{PSU}(2)\), \(\mathrm{Iso}(\mathbb{CP}^2) = \mathrm{PSU}(3)\)

Theorem 9.12 (Isometry Groups of Complex Projective Spaces)

With the Fubini-Study metric:

$$\begin{aligned} \mathrm{Iso}(\mathbb{CP}^1) &= \mathrm{PSU}(2) = \mathrm{SU}(2)/\mathbb{Z}_2 \\ \mathrm{Iso}(\mathbb{CP}^2) &= \mathrm{PSU}(3) = \mathrm{SU}(3)/\mathbb{Z}_3 \end{aligned}$$ (9.38)
Key Result

Key Insight: The \(S^2 = \mathbb{CP}^1\) that we observe is a subspace of \(\mathbb{CP}^2\). The SU(2) isometry is the restriction of SU(3) to this subspace.

The SU(3) was always there — we see the SU(2) part on the interface.

This is how the Standard Model gauge group emerges:

    • \(\mathrm{Iso}(S^2) = \mathrm{SO}(3) \cong \mathrm{PSU}(2) = \mathrm{Iso}(\mathbb{CP}^1)\) gives the SU(2) weak interaction
    • The ambient \(\mathbb{CP}^2\) has \(\mathrm{Iso}(\mathbb{CP}^2) = \mathrm{PSU}(3)\), giving the SU(3) color interaction
    • The U(1) hypercharge comes from the monopole bundle on \(S^2\)

Together: \(\mathrm{SU}(3) \times \mathrm{SU}(2) \times \mathrm{U}(1)\) — the full Standard Model gauge group.

The Dimension Coincidence Explained

\(\mathfrak{su}(2) \cong \mathfrak{so}(3) \cong \mathbb{R}^3\)

An apparent coincidence pervades the structure: the embedding space \(\mathbb{R}^3\), the Lie algebra \(\mathfrak{su}(2)\), and the isometry algebra \(\mathfrak{so}(3)\) all have dimension 3. Is this numerology?

Theorem 9.13 (Lie Algebra Isomorphism)

As real vector spaces:

$$ \mathfrak{su}(2) \cong \mathfrak{so}(3) \cong \mathbb{R}^3 $$ (9.30)
Proof.

Step 1: \(\mathfrak{su}(2) = \text{traceless skew-Hermitian } 2 \times 2 \text{ matrices}\) has basis \(\{i\sigma_1, i\sigma_2, i\sigma_3\}\) where \(\sigma_i\) are the Pauli matrices. Thus \(\dim_{\mathbb{R}} = 3\).

Step 2: The isomorphism to \(\mathbb{R}^3\) is: \(i\sigma_i \mapsto e_i\) (standard basis vector).

Step 3: The isomorphism to \(\mathfrak{so}(3)\) maps \(i\sigma_a/2 \mapsto L_a\) where \(L_a\) are the SO(3) generators.

Step 4: All three carry the same Lie bracket: \([T_a, T_b] = \epsilon_{abc}T_c\) (with appropriate normalization). □

(See: Part 2 §5.5.2) □

\(\mathbb{C}^3 \cong \mathfrak{su}(2)_{\mathbb{C}}\) (Deep Unity)

Theorem 9.14 (The Deep Unity)

The equality \(\dim(\mathbb{R}^3) = \dim(\mathrm{SU}(2)) = 3\) is NOT a coincidence. It reflects:

$$ \boxed{\mathbb{C}^3 = \mathbb{R}^3 \otimes \mathbb{C} \cong \mathfrak{su}(2) \otimes \mathbb{C} \cong \mathfrak{su}(2)_{\mathbb{C}}} $$ (9.31)
Key Result

The ambient space \(\mathbb{C}^3\) IS the complexified Lie algebra of SU(2)!

Physical meaning:

    • The “position space” \(S^2\) has isometry generated by \(\mathfrak{su}(2) \cong \mathbb{R}^3\)
    • The “field space” is \(\mathbb{C}^3 = \) complexification of \(\mathbb{R}^3\)
    • Position space and field space dimensions match because they arise from the same structure

The chain of identifications:

$$ \underbrace{S^2}_{\text{projection}} \subset \underbrace{\mathbb{R}^3}_{\cong\,\mathfrak{su}(2)} \subset \underbrace{\mathbb{C}^3}_{\cong\,\mathfrak{su}(2)_\mathbb{C}} $$ (9.32)

connects the topology of the projection structure (left) to the gauge algebra of the theory (middle) to the quantum field space (right). Everything is unified through \(S^2\) geometry.

Table 9.6: Status of embedding chain results
ResultStatementStatus
Minimal embedding\(S^2 \hookrightarrow \mathbb{R}^3\)ESTABLISHED (topology)
Complexification\(\mathbb{R}^3 \to \mathbb{C}^3\)ESTABLISHED (QM)
Lie algebra isomorphism\(\mathfrak{su}(2) \cong \mathfrak{so}(3) \cong \mathbb{R}^3\)ESTABLISHED (Lie theory)
Deep unity\(\mathbb{C}^3 \cong \mathfrak{su}(2)_\mathbb{C}\)ESTABLISHED (Lie theory)
CP interpretation\(S^2 \cong \mathbb{CP}^1 \subset \mathbb{CP}^2\)ESTABLISHED (algebraic geometry)
Dimension coincidenceExplained, not numerologyDERIVED

Chapter Summary

title={Chapter 9 Results}

Topic: Detailed geometry of \(S^2\) — the mathematical toolkit for all subsequent TMT calculations.

Key Results:

    • Metric: \(ds_{S^2}^2 = R^2(d\theta^2 + \sin^2\theta\,d\phi^2)\) — unique round metric
    • Curvature: \(R_{S^2} = 2/R^2\) — constant positive curvature
    • Volume: \(\mathrm{Vol}(S^2) = 4\pi R^2\)
    • Isometry: \(\mathrm{Iso}(S^2) = \mathrm{SO}(3)\), \(\dim = 3\) \(\to\) SU(2) gauge
    • Homotopy: \(\pi_1 = 0\) (chirality), \(\pi_2 = \mathbb{Z}\) (monopoles)
    • Embedding: \(S^2 \subset \mathbb{R}^3 \subset \mathbb{C}^3\) (forced)
    • CP structure: \(S^2 \cong \mathbb{CP}^1 \subset \mathbb{CP}^2\) \(\to\) SU(3) color
    • Deep unity: \(\mathbb{C}^3 \cong \mathfrak{su}(2)_\mathbb{C}\) (not coincidence)

Polar field coordinates: The substitution \(u = \cos\theta\) maps \(S^2\) to the flat rectangle \([-1,+1] \times [0,2\pi)\) with constant metric determinant \(\sqrt{\det h} = R^2\). All subsequent \(S^2\) integrals become polynomial integrals in \(u\) with flat measure, and the AROUND (\(\phi\)) / THROUGH (\(u\)) decomposition is mathematically literal.

Status: All results [Status: ESTABLISHED] or [DERIVED].

What comes next: Chapter 10 introduces the Dirac monopole on \(S^2\) — why the non-trivial topology (\(\pi_2(S^2) = \mathbb{Z}\)) forces a monopole gauge field, the Dirac quantization condition \(qn \in \mathbb{Z}\), and how monopole charge quantization connects to the Standard Model hypercharge structure.

Figure 9.1

Figure 9.1: The embedding chain \(S^2 \subset \mathbb{R}^3 \subset \mathbb{C}^3\) and its complex projective interpretation, yielding the Standard Model gauge group.

Figure 9.2

Figure 9.2: Summary of \(S^2\) geometric properties and their physical consequences in TMT.

Figure 9.3

Figure 9.3: The polar field coordinate system maps \(S^2\) to a flat rectangle \([-1,+1] \times [0,2\pi)\). The metric determinant \(\sqrt{\det h} = R^2\) is constant (unlike \(\sqrt{\det g} = R^2\sin\theta\) in spherical coordinates). The THROUGH direction (\(u\), teal) carries mass/dynamics; the AROUND direction (\(\phi\), orange) carries gauge/topology.

Verification Code

The mathematical derivations and proofs in this chapter can be independently verified using the formal and computational scripts below.

◆ Lean 4 Formal proof verification Coming Soon ● Python Numerical verification & plots Coming Soon ★ Mathematica Symbolic computation & CAS verification Coming Soon

All verification code is open source. See the complete verification index for all chapters.