Advanced Classical General Relativity

This path is for advanced students and researchers who know the covariant foundations of general relativity and now need to move reliably among initial-value, canonical, exact-solution, global, and theorem-oriented viewpoints. It focuses on translations: what data, gauge conditions, boundary assumptions, and equivalence statements must be supplied before two formulations describe the same physical problem.

It is not a survey of every formulation or proof. The core route selects the interfaces most likely to fail in research work and ends with a capstone that must survive an independent formulation check.

Helpful background. Einstein equations supplies their geometric content, Bianchi consistency, and stress–energy coupling. Formulations of general relativity supplies 3+1 and characteristic decompositions, gauges, constraints, canonical variables, and boundary charges. Causality and global structure supplies domains of dependence, horizons, conformal boundaries, and asymptotic reasoning.

One spacetime, several formulations

A covariant solution, a Cauchy evolution, and a Hamiltonian trajectory are not merely three notations for the same thing. Their equivalence requires a field map, a gauge choice or quotient, compatible constraints, regularity, initial and boundary data, and a domain on which the map is invertible. The same caution applies when an exact metric is connected to a global theorem: a local coordinate expression does not carry the theorem’s asymptotic, differentiability, genericity, or matter hypotheses automatically.

The route therefore alternates constructive formulations with global and rigorous checks. A successful reader can move information across those boundaries without changing the claim.

What you will be able to do

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

1. Translate a relativistic problem among covariant, initial-value, and canonical formulations.
2. Analyze exact spacetimes and global causal structure with hypotheses stated.
3. Evaluate black-hole and mathematical-relativity results without conflating theorem, model, and interpretation.
4. Complete a cross-formulation calculation or proof capstone with independent checks.

Check your starting point

1. Starting from $G_{\mu\nu}+\Lambda g_{\mu\nu}=8\pi G T_{\mu\nu}$, can you explain why the Bianchi identity matters for constraints and matter conservation?
2. Given a spacelike hypersurface, can you define its induced metric and extrinsic curvature and state a sign convention?
3. Can you distinguish local causal cones, global hyperbolicity, and the definition of an event horizon?

Answers and review

1. The contracted Bianchi identity makes the geometric side divergence free. With compatible matter equations it supports stress–energy conservation and the subsidiary system that propagates constraints. Review the full field-equation chain with the Graduate General Relativity Self-Study Path.
2. With future unit normal $n^\mu$, the induced metric is $h_{\mu\nu}=g_{\mu\nu}+n_\mu n_\nu$. This path uses $K_{\mu\nu}=-h_\mu{}^\rho h_\nu{}^\sigma\nabla_\rho n_\sigma$. If the projection or sign translation is uncertain, review it at The 3+1 Decomposition.
3. Light cones are local; global hyperbolicity is a condition on the full causal organization and Cauchy prediction; an event horizon is a global boundary defined relative to a specified future infinity. Review this through the causal phases of the Graduate General Relativity Self-Study Path.

Route across formulations, spacetimes, and theorems

Phase 1 — Initial-value and canonical descriptions

1. The 3+1 Decomposition — decompose the metric, normal, lapse, shift, curvature, and matter projections with a fixed sign convention.
2. Constraint Equations and Initial Data — determine which hypersurface data are admissible and which variables remain freely specifiable.
3. Cauchy Evolution and Hyperbolicity — compare principal symbols, characteristic fields, gauge choices, constraint propagation, and boundary needs.
4. Hamiltonian General Relativity — connect constrained phase space, generators, gauge orbits, observables, and boundary Hamiltonians.

Phase 2 — Exact and global geometry

5. Spacetime Identification and Classification — decide when two displayed metrics are the same local geometry and when invariants are incomplete.
6. Domains of Dependence and Global Hyperbolicity — state the causal hypotheses needed for deterministic evolution.
7. Asymptotically Flat Spacetimes — specify falloff, conformal boundary, symmetries, and charge normalizations before using “isolated system.”
8. Stationary Classification, Rigidity, and No Hair — distinguish the physical interpretation from the precise hypotheses and conclusions of each theorem.

Phase 3 — Rigorous evolution and frontier boundaries

9. Constraint Equations, Initial Data, and Gluing — follow the analytic hypotheses behind constructing data.
10. Global Existence and Nonlinear Stability — distinguish a local solution, continuation criterion, bootstrap regime, and global asymptotics.
11. Cosmic Censorship and Inextendibility — specify solution class, genericity, asymptotics, matter model, and extension regularity before stating a conjecture or theorem.

The General Relativity overview is a useful map back to the covariant theory. It is not part of the core completion sequence.

A representative reasoning pattern: constraints before evolution

Adopt

$$K_{ij}=-\frac12\mathcal L_n h_{ij}, \qquad j_i=-h_i{}^\mu n^\nu T_{\mu\nu}.$$

Then the Hamiltonian and momentum constraints are

$${}^{(3)}R+K^2-K_{ij}K^{ij}=16\pi G\rho+2\Lambda,$$ $$D_j\left(K^{ij}-h^{ij}K\right)=8\pi G j^i.$$

These equations do not determine a spacetime evolution by themselves. They select admissible initial data. A formulation must also supply evolution equations, lapse and shift or gauge conditions, and boundary data. For the standard Minkowski slice,

$$h_{ij}=\delta_{ij},\qquad K_{ij}=0,\qquad \rho=j_i=\Lambda=0,$$

both constraints vanish, providing a sign and normalization check.

Why should constraints remain satisfied? The evolution equations and contracted Bianchi identity yield a subsidiary system for the constraint violations. If that system is well posed and homogeneous, zero initial violations remain zero within the controlled domain. This argument is stronger than monitoring a small numerical residual and weaker than claiming that any discretization preserves the continuum constraint exactly.

Check your understanding

Checkpoint 1. Formal equivalence is not enough

Two evolution systems reduce algebraically to Einstein’s equations when their constraints vanish. Is that sufficient to call them equivalent formulations for an initial-boundary-value problem?

Conceptual hint

Ask what happens away from the constraint surface.

Setup hint

Compare principal symbols, gauge, subsidiary equations, and boundary conditions.

Next-step hint

A field redefinition may cease to be invertible or may alter admissible data.

Solution

No. One must specify the map between variables, its invertibility and differentiability domain, the gauge conditions, the initial constraints, the constraint-propagation system, and compatible physical, gauge, and constraint-preserving boundary data. Two systems can share the same on-constraint solutions while having different hyperbolicity or unstable constraint-violating modes. Equivalence of solution sets does not by itself establish equivalence as well-posed evolution problems.

Checkpoint 2. Theorem, model, interpretation

A stationary vacuum black-hole theorem identifies Kerr under stated hypotheses. Which conclusions do not follow automatically for an astrophysical merger remnant?

Conceptual hint

Compare exact stationarity with late-time relaxation.

Setup hint

List matter, asymptotics, connectedness, regularity, and nondegeneracy assumptions.

Next-step hint

Uniqueness and stability answer different questions.

Solution

The theorem does not prove that generic dynamical data form a black hole, that the exterior approaches Kerr, that perturbations decay at a claimed rate, or that surrounding matter is negligible. Those require formation, nonlinear stability, and model-to-observation arguments. Nor may one discard theorem hypotheses such as dimensionality, asymptotic structure, horizon connectedness, regularity, or matter model. The theorem classifies stationary solutions in its domain; physical realization is a separate claim chain.

Transfer task — Translate a scalar-field Cauchy problem

Consider Einstein gravity coupled to a scalar field with smooth asymptotically flat initial data. Describe the same problem in covariant, 3+1, and Hamiltonian language. Identify one datum or condition that must be preserved at each translation.

Solution outline

Covariantly, the unknowns satisfy Einstein’s equation and the scalar wave equation modulo diffeomorphism. In 3+1 form, the data are $(h_{ij},K_{ij},\phi,\Pi)$ satisfying Hamiltonian and momentum constraints; lapse and shift complete an evolution choice. In Hamiltonian language, the spatial metric and scalar field have conjugate momenta, while lapse and shift multiply first-class constraints. The translations must preserve the extrinsic-curvature and momentum sign, scalar normal derivative, asymptotic falloff, symplectic boundary terms, and gauge equivalence. A complete answer also distinguishes a fixed-gauge representative from the geometric spacetime it represents.

Capstone — Cross-formulation analysis

Choose one bounded problem: Schwarzschild in two slicings, asymptotically flat Einstein–scalar initial data, or a stationary black-hole charge relation. Produce an analysis that:

• states the covariant equations, domain, and boundary or asymptotic conditions;
• constructs the corresponding hypersurface or canonical data with conventions explicit;
• identifies constraints, gauge variables, physical observables, and the map between formulations;
• states one global or theorem-level conclusion with every material hypothesis;
• checks the result independently using an invariant, a null tetrad, a charge identity, or a controlled limit.

Criterion	What a complete solution shows
Translation	The field map, gauge, data, and invertibility domain are explicit.
Constraint and evolution logic	Admissibility, propagation, and boundary compatibility are distinguished.
Global and theorem precision	Local geometry, global structure, and theorem hypotheses are not conflated.
Independent verification	A genuinely different representation or invariant check supports the conclusion.

If two calculations agree only because they reuse the same unexamined convention or symbolic output, the independence criterion is not met.

Completion and onward routes

Completion requires both checkpoints, the scalar-field transfer task, and a capstone meeting all four criteria, including explicit convention and limiting checks.

Continue according to the unresolved question:

• Mathematical Relativity for sharp existence, stability, rigidity, and censorship results.
• Computational Relativity for discretization, evolution, extraction, and numerical evidence.
• Black-Hole Physics or Black-Hole Perturbation Theory for geometric or spectral strong-field specialization.