Mathematical Relativity

This theorem-oriented path is for advanced graduate students and researchers who want to treat Einstein’s equations as a geometric PDE system. It moves from analysis preparation and gauge reduction through constraints, local well-posedness, maximal development, low regularity, global stability, black-hole decay, geometric inequalities, rigidity, singularity formation, cosmic censorship, asymptotics, and inverse problems.

The route does not reward theorem-name recognition. Completion requires tracking dimension, regularity, topology, asymptotics, matter model, gauge or equivalence relation, data class, boundary conditions, and exact conclusion through a proof architecture and into a changed problem.

Helpful background. Analysis for mathematical relativity supplies Sobolev spaces, distributions, weak convergence, compactness, and elliptic regularity. Causality and global structure supplies causal relations, domains of dependence, horizons, conformal boundaries, and singularity-theorem hypotheses. Formulations of general relativity supplies reductions, gauges, constraints, hyperbolicity, canonical variables, and boundary charges.

Geometric evolution requires analytic hypotheses

Einstein’s equations are diffeomorphism invariant, so a direct component count does not yield a well-posed hyperbolic system. A gauge reduction exposes a principal wave operator; the Bianchi identity drives a subsidiary system; geometric uniqueness then identifies gauge representatives. Initial data must first satisfy nonlinear constraints, and every global conclusion adds norms, smallness or genericity, asymptotics, and continuation criteria.

This logical chain is the spine of the path. Later topics—stability, censorship, radiation, and reconstruction—are evaluated by how precisely they extend or modify it.

What you will be able to do

After completing the route and its assessment work, you should be able to:

1. Treat the Einstein equations as a geometric PDE system with gauge and regularity explicit.
2. Track hypotheses through constraints, well-posedness, maximal development, and continuation arguments.
3. Compare stability, scattering, geometric inequalities, and censorship statements at theorem-level precision.
4. Construct a proof-oriented synthesis separating established results from dated frontier status.

Check your starting point

1. Can you state what an $H^s$ energy estimate controls and why Sobolev embedding is needed for a quasilinear equation?
2. Can you distinguish a Cauchy surface, global hyperbolicity, and a maximal globally hyperbolic development?
3. Can you write the vacuum constraint equations for $(h_{ij},K_{ij})$ with a declared sign convention?

Answers and review

1. An $H^s$ estimate controls square-integrable derivatives through order $s$; embedding supplies pointwise or Lipschitz control of coefficients needed to close nonlinear estimates. Review this at Analysis for Mathematical Relativity.
2. A Cauchy surface meets every inextendible timelike curve once; global hyperbolicity is the spacetime causal condition supporting such surfaces and deterministic propagation; the maximal globally hyperbolic development is the unique-up-to-isometry largest globally hyperbolic development of given data. Review causality through the Graduate General Relativity Self-Study Path.
3. With $K_{ij}=-\tfrac12\mathcal L_n h_{ij}$, vacuum data satisfy $R(h)+K^2-K_{ij}K^{ij}=0$ and $D^j(K_{ij}-Kh_{ij})=0$. Review formulation and constraint language through Advanced Classical General Relativity.

Route from local evolution to global questions

Phase 1 — Analysis and the geometric PDE problem

1. Analysis for Mathematical Relativity — secure function spaces, estimates, compactness, weak solutions, and the distinction between formal and controlled limits.
2. Einstein Equations as a Geometric PDE System — expose gauge reduction, principal part, constraints, subsidiary equations, and geometric equivalence.
3. Constraint Equations, Initial Data, and Gluing — construct admissible data with conformal, elliptic, asymptotic, and trapped-boundary hypotheses visible.
4. Local Well-Posedness and Maximal Development — connect energy estimates, constraint propagation, geometric uniqueness, patching, and the maximal globally hyperbolic development.

Phase 2 — Alternative data surfaces and regularity

5. Characteristic, Hyperboloidal, and Boundary Problems — state free and constrained data, gauge, corner compatibility, and boundary conditions.
6. Low-Regularity Spacetimes and Weak Solutions — define curvature, causality, convergence, and solution concepts at the chosen threshold.

Phase 3 — Global control and black holes

7. Global Existence and Nonlinear Stability — organize bootstrap assumptions, weighted energies, null structure, modulation, and asymptotics.
8. Black-Hole Stability, Decay, and Scattering — distinguish scalar decay, mode stability, linearized gravity, nonlinear stability, and scattering completeness.
9. Positive Mass and Geometric Inequalities — connect asymptotic charges and horizon geometry through hypotheses, inequalities, and rigidity clauses.
10. Stationary Rigidity and Black-Hole Uniqueness — track dimensionality, matter, stationarity, analyticity or smoothness, nondegeneracy, topology, and connectedness.

Phase 4 — Singularities, infinity, and reconstruction

11. Trapped Surfaces and Singularity Formation — separate focusing, trapped-set formation, geodesic incompleteness, curvature growth, and quantified blow-up.
12. Cosmic Censorship and Inextendibility — specify data topology or measure, asymptotics, matter, and extension regularity before comparing formulations.
13. Asymptotic Analysis and Radiation Theorems — distinguish formal expansions, controlled remainders, conformal regularity, flux, memory, and scattering.
14. Inverse Problems and Geometric Reconstruction — ask what boundary, lens, light-observation, or active-wave data determine modulo gauge and with what stability.

A representative reasoning pattern: from reduced equations to geometry

After a wave-gauge reduction, a schematic high-order energy $E_s(t)$ for the metric perturbation may satisfy

$$\frac{dE_s}{dt} \le C\!\left(\lVert\partial g\rVert_{L^\infty}\right)E_s.$$

Grönwall’s inequality gives

$$E_s(t)\le E_s(0) \exp\!\left[ \int_0^t C\!\left(\lVert\partial g(\tau)\rVert_{L^\infty}\right)d\tau \right],$$

as long as the coefficient is integrable and the solution remains in the function class needed to justify the estimate. Sobolev embedding connects $E_s$ to the pointwise coefficient bound; iteration and a continuation criterion then yield a local reduced solution.

Three further steps are essential. First, the gauge and geometric constraints must satisfy a homogeneous subsidiary system so that zero initial violations remain zero. Second, uniqueness in the fixed gauge must be translated into uniqueness up to a diffeomorphism fixing the initial data. Third, local developments must be patched consistently to obtain the maximal globally hyperbolic development.

The inequality does not prove global stability. That requires decay strong enough to make the coefficient integral controllable for all future time, along with modulation, asymptotic, and nonlinear-structure estimates appropriate to the background.

Check your understanding

Checkpoint 1. What local well-posedness establishes

A wave-gauge iteration gives a unique solution on $[0,T]$. List the additional arguments needed before calling it the local geometric Einstein development of the initial data.

Conceptual hint

A reduced solution is not automatically a solution of the full system.

Setup hint

Track constraints, gauge, and equivalence.

Next-step hint

Continuous dependence belongs to well-posedness too.

Solution

The initial data must satisfy the Einstein constraints and the gauge constraints. A subsidiary hyperbolic system, using the Bianchi identity and compatible matter conservation, must propagate those constraints. One must prove existence, uniqueness, and continuous dependence in stated function spaces, then show that two gauge representatives of the same geometric data are related by a data-fixing diffeomorphism or isometry. Only then does the reduced construction yield the local geometric Einstein development.

Checkpoint 2. Formulate censorship before judging it

What must be specified before “strong cosmic censorship is true” becomes a mathematical proposition?

Conceptual hint

Inextendibility depends on the extension class.

Setup hint

Include data, topology or measure, asymptotics, matter, and regularity.

Next-step hint

Genericity is not a synonym for “expected.”

Solution

Specify the Einstein–matter model and cosmological constant; the initial-data class, constraint topology, and asymptotic or compact setting; the precise topology or measure notion of genericity; the maximal globally hyperbolic development; and the differentiability or Sobolev class of forbidden extensions. A result about $C^0$ inextendibility is different from one about $C^2$ or Christoffel-symbol square integrability, and spherical symmetry or special matter cannot be silently generalized.

Transfer task — Add a timelike boundary

Take the boundary-free Cauchy problem and place it in an asymptotically anti-de Sitter setting with a timelike conformal boundary. Identify which parts of the local argument survive and which new hypotheses are required.

Solution outline

Gauge reduction, local energy methods, initial constraints, subsidiary propagation, and geometric uniqueness remain central. Global hyperbolicity without boundary no longer supplies a complete evolution problem because causal curves reach the timelike boundary. One must specify boundary data or a boundary condition, prove compatibility with gauge and constraints, control incoming characteristic fields and energy flux, and impose corner compatibility where initial and boundary surfaces meet. The chosen asymptotic class and reflecting, dissipative, or mixed condition also change global stability and spectral conclusions. A Cauchy theorem cannot simply be reused with “AdS” substituted for “asymptotically flat.”

Capstone — Analyze a theorem and its proof

Choose one result concerning local existence, small-data stability, black-hole decay, positive mass, rigidity, singularity formation, or inextendibility. Write a report that:

• states dimension, manifold and boundary structure, regularity, asymptotics, matter, gauge or equivalence, data size or genericity, and conclusion;
• identifies the principal analytic estimates and geometric inputs;
• traces constraint and gauge propagation where applicable;
• checks a limiting or counterexample case that shows why one hypothesis matters;
• separates the established theorem from a stronger open statement and identifies what evidence would change that assessment;
• transfers the proof architecture to a nearby problem and explains exactly where it succeeds or fails.

Criterion	What a complete solution shows
Theorem statement	Every material hypothesis and the exact conclusion are explicit.
Proof architecture	Analytic estimates, geometry, constraints, and continuation are logically connected.
Boundary and counterexample control	At least one hypothesis is tested by a limit, counterexample, or changed boundary.
Frontier judgment	Established, conditional, and open claims are separated without timeless overstatement.

Completion and onward routes

Completion requires both checkpoints, the timelike-boundary transfer task, and a capstone satisfying all four criteria. Reading a theorem statement or reproducing a formal energy inequality alone is not completion.

Return to Advanced Classical General Relativity when a formulation gap appears, or continue to Black-Hole Perturbation Theory and Computational Relativity to compare theorem hypotheses with spectral and numerical evidence. Use the Research destination for dated frontier assessments rather than treating an open conjecture’s present status as evergreen exposition.