Connection V — Geometrization and Initial Data Topology
Cauchy Problem for the Einstein Equations
The initial value formulation of general relativity begins with a Cauchy surface carrying initial data $(M, g_{\rm init}, K)$, where $g_{\rm init}$ is a Riemannian metric and $K$ the extrinsic curvature (second fundamental form). The Einstein equations impose two sets of constraints on this data:
$$R_{\rm init} - K_{ij}K^{ij} + (\mathrm{tr}\,K)^2 = 0, \qquad D^j K_{ij} - D_i(\mathrm{tr}\,K) = 0$$
The first is the Hamiltonian constraint (energy condition), and the second is the momentum constraint (diffeomorphism condition). Together they guarantee that the evolved spacetime satisfies $G_{\mu\nu} = 0$ everywhere.
Positive Mass Theorem & Angular Momentum Bound
Positive mass theorem (Witten, 1981): For asymptotically flat initial data satisfying the dominant energy condition, the ADM energy satisfies$E_{\rm ADM} \geq 0$. Witten's proof constructs a Dirac spinor$\psi$ satisfying the Witten equation $\mathcal{D}\psi = 0$ with appropriate boundary conditions; the Lichnerowicz identity then yields a manifestly non-negative expression for $E_{\rm ADM}$, with equality only for Minkowski space.
Angular momentum bound (Dain, 2006): For axially symmetric maximal initial data:
$$E_{\rm ADM} \geq \sqrt{|J|/G}\cdot c^2$$
This Penrose-like inequality constrains the angular momentum available to be radiated. Since spin memory is sourced by radiated angular momentum, the Dain inequality places a direct upper bound on the magnitude of the spin memory effect for any given initial data set.
Thurston Geometries and Gravitational Observables
The Thurston geometrization program classifies 3-manifolds into eight model geometries. Each geometry type imposes distinct constraints on the ADM mass and spin memory of an evolved spacetime:
| Thurston Geometry | Topology | ADM Mass | Spin Memory |
|---|---|---|---|
| $S^3$ | Compact, simply connected | $E_{\rm ADM} > 0$ (rigid) | Well-defined, quantized |
| $\mathbb{H}^3$ | Non-compact, infinite volume | $E_{\rm ADM} \geq 0$ | Well-defined, continuous |
| $S^2 \times \mathbb{R}$ | Cylindrical ends | Divergent without compactification | Ill-defined (no $\mathscr{I}^+$) |
| $\mathbb{E}^3$ | Flat, Euclidean | $E_{\rm ADM} = 0$ (Minkowski) | Vanishes identically |
| Nil / Sol | Non-isotropic, fibered | Not asymptotically flat | Not defined (no BMS) |
Topological Censorship
Friedman–Schleich–Witt (1993): In any globally hyperbolic, asymptotically flat spacetime satisfying the null energy condition, the domain of outer communications (the exterior region accessible to asymptotic observers) is simply connected. This is topological censorship: any topological complexity is hidden behind horizons.
Theorem: Geometrization Selection Rule
The exterior of any asymptotically flat spacetime carries $S^3$ or$\mathbb{H}^3$ geometry. Consequently:
- Spin memory is a well-defined element of $H^1_{\rm dR}(\mathscr{I}^+)$, the first de Rham cohomology of future null infinity.
- Spin memory is non-vanishing if and only if the source possesses angular momentum.
- The Thurston geometrization theorem acts as a selection rule on the space of realizable spin memory configurations: only those compatible with $S^3$ or$\mathbb{H}^3$ exterior geometry are physically admissible.
This result connects the purely topological content of the geometrization conjecture (now theorem, via Perelman) to the observable gravitational memory spectrum at$\mathscr{I}^+$.