Advanced General Relativity and Black-Hole Physics

This advanced course studies general relativity where local covariance, initial-value evolution, global causal structure, exact black holes, perturbation theory, nonlinear dynamics, rigorous analysis, and semiclassical reasoning meet. Its purpose is not to survey famous results. It trains you to state exactly what has been formulated, proved, calculated, reproduced, or only conjectured.

The framework supports independent study or local teaching and implies no institution, instructor, schedule, enrollment, or credential.

Required background. Working command of Einstein’s equation, used here to track its geometric identities, matter coupling, constraint content, and at least one exact solution. Review The Einstein Equation for the scientific core; use the Graduate General Relativity Self-Study Path if the capability needs broader review.

Helpful background. Global causality is used to delimit domains and horizons, GR formulations to separate constraints from evolution, and exact spacetimes to control black-hole identification and limiting cases. Orient with Causality and Global Structure, Formulations of General Relativity, and Exact Spacetimes. The graduate path reviews causality and exact-solution gaps; the Advanced Classical GR path supplies a flexible formulations route.

Advanced-relativity and black-hole capabilities

By the end, you should be able to:

1. translate a gravitational problem among covariant, initial-value, and canonical descriptions without losing constraints or boundary data;
2. analyze exact and black-hole spacetimes with global, perturbative, and mathematical methods;
3. distinguish the evidential status of mode, linear, nonlinear, and semiclassical stability or dynamics claims; and
4. complete an integrated proof, calculation, or reproducibility study with explicit success and failure criteria.

Workload and pacing

The five modules have unequal technical weight. Complete Assignment 1 with Module 1, use the Module 2 checkpoint before proceeding to the theorem work in Assignment 2, and complete Assignment 3 with the three-level stability comparison in Module 4. Module 5 then supplies the semiclassical and response comparison used in the transfer task. Treat a corrected assignment or checkpoint—not a finished reading list—as the signal to advance, and reserve the transfer task and capstone for distinct synthesis passes.

Check your preparation

Try these first without notes. If that format creates an accessibility barrier, use an equivalent spoken, tactile, enlarged, assistive-technology, or reference-aided form and record the aid; the diagnostic tests reasoning, not recall speed.

1. derive $\nabla^\mu T_{\mu\nu}=0$ from Einstein’s equation and state every identity used;
2. explain why a Cauchy formulation needs constraint data as well as evolution equations, and why coordinate covariance alone does not imply a strongly hyperbolic numerical system; and
3. for Schwarzschild or Kerr, separate coordinate pathology, curvature singularity, horizon, asymptotic charge, and perturbative stability.

Response criteria

1. A secure response takes a covariant divergence, invokes the contracted Bianchi identity and metric compatibility, and obtains stress-energy conservation without treating it as an extra field equation.
2. A secure response explains that constraints restrict admissible data on a hypersurface, that a valid evolution must propagate them, and that strong hyperbolicity depends on the gauge-fixed principal symbol and a complete, controlled characteristic structure—not on covariance alone.
3. A secure response treats a coordinate pathology as chart-dependent, a curvature singularity through invariant or incomplete-curve evidence, a horizon through causal structure, a charge through its boundary or asymptotic definition, and stability as a statement about a perturbation class, norm, boundary conditions, and time evolution.

Mark each task secure, uncertain, or not yet. Any not-yet result calls for the named review before its dependent module; otherwise review only uncertain tasks; all secure means begin Module 1. Task 1 routes to the graduate path, task 2 to the advanced-classical path alongside Module 1, and task 3 to the exact-spacetime and global-causality portions of the graduate path. Direct access remains available: Assignment 1 gives stronger evidence than a credential proxy.

Module 1 — Analysis, constraints, and evolution

Study in order:

1. Analysis for Mathematical Relativity
2. Constraint Equations and Initial Data
3. Cauchy Evolution and Hyperbolicity

Recover the distinction between freely specified data, constrained data, gauge variables, and evolved variables. For each theorem or formulation, record regularity, topology, boundary or asymptotic conditions, matter model, and the norm in which control is obtained. “Well posed” is incomplete unless the function spaces and continuous-dependence statement are visible.

Assignment 1. Choose one conformal construction of initial data. Draw a dependency graph from seed data to elliptic unknowns to physical data, then state which conditions ensure the resulting data satisfy the Hamiltonian and momentum constraints. Finally, identify one nonuniqueness or existence obstruction.

Conceptual hint

Separate what is freely chosen, what an elliptic equation determines, and what is reconstructed as physical initial data.

Setup hint

Choose a conformal metric, mean curvature, transverse-traceless or vector data, matter data, and boundary or asymptotic conditions. Mark the conformal factor and longitudinal variables as unknowns.

Next-step hint

Substitute the reconstructed metric and extrinsic curvature into both constraints. Then inspect compatibility and invertibility assumptions to find a genuine obstruction.

Model answer architecture

A satisfactory answer first fixes a 3-manifold, conformal metric, mean curvature and transverse-traceless or vector-potential data, together with matter and boundary or asymptotic conditions. It then identifies the conformal factor and longitudinal variables as elliptic unknowns and shows how their equations are precisely the decomposed constraints. The reconstructed physical metric and extrinsic curvature must be substituted back into both constraints; solving only the scalar equation is insufficient. The final paragraph must name an actual obstruction—such as conformal-Killing-field compatibility, Yamabe-class dependence, nonconstant-mean-curvature coupling, or loss of elliptic invertibility—under the hypotheses used by the chosen source.

Module 2 — Identification, causal domains, and infinity

Continue through:

4. Spacetime Identification and Classification
5. Domains of Dependence and Global Hyperbolicity
6. Asymptotically Flat Spacetimes

Classification data are meaningful only after coordinate and frame freedoms are controlled. Global hyperbolicity ties causal geometry to deterministic evolution, while asymptotic flatness adds structures needed to define radiation and charges. Compare conditions at spatial, null, and timelike infinity rather than using “far away” as one boundary.

Checkpoint. Given two metric expressions alleged to describe the same spacetime, propose a sequence of increasingly strong tests: scalar and Cartan invariants, local equivalence, global topology and identifications, causal boundaries, and asymptotic charges. Explain why agreement at an early stage is not generally a proof of global isometry.

Module 3 — Stationarity, rigidity, and no-hair statements

Study:

7. Stationary Classification, Rigidity, and No-Hair Results

Turn every slogan into a quantified statement. Record dimension, field equations and matter, asymptotics, regularity or analyticity, stationarity, connectedness and nondegeneracy assumptions, horizon topology, and excluded solutions. Separate uniqueness within a theory from observational evidence for the theory.

Assignment 2. Select one black-hole uniqueness or rigidity theorem. Write it in hypothesis–claim form, then construct three nearby statements by removing one hypothesis at a time. For each, determine whether the modified statement is known, false by counterexample, or unresolved.

Conceptual hint

A theorem slogan is not yet a proposition. Turn it into a quantified implication whose domain and conclusion can each be tested.

Setup hint

Make four columns: original hypotheses, original claim, one-hypothesis modification, and evidence status. Change only one entry in each new row.

Next-step hint

For every modified row, seek either a named counterexample, a theorem under weaker assumptions, or an explicit open boundary. Do not infer a status from the original theorem alone.

Solution criteria

The original statement earns credit only if all hypotheses needed by the cited theorem are present. Each modification must change exactly one hypothesis and cite or reconstruct the relevant counterexample or limitation. Examples may vary, but “no hair says every black hole is Kerr” is not an acceptable starting claim: it hides theory, dimension, matter, regularity, asymptotics, stationarity, and horizon assumptions. The exercise is complete when the boundary of the theorem, not only its central case, is intelligible.

Module 4 — Three levels of stability

Study in order:

8. Mode, Linear, and Nonlinear Stability Interfaces
9. Nonlinear Stability and Instability
10. Black-Hole Stability, Decay, and Scattering

For every result, make a six-column record: background family, perturbation class, gauge or invariant variables, norm, decay or boundedness claim, and parameter range. Mode stability excludes exponentially growing separated modes under stated boundary conditions; it does not by itself establish linear boundedness, decay, or nonlinear orbital stability.

Assignment 3. Diagnose the inference error in this sentence: “No growing quasinormal mode has been found, therefore every small perturbation settles to the same black hole.” Replace it with the strongest justified claim, then list the additional estimates and nonlinear controls needed to reach the proposed conclusion.

Conceptual hint

Place the claim on the ladder from mode stability to linear boundedness and decay, and then to nonlinear orbital stability.

Setup hint

State precisely what the absence of a growing separated mode excludes. Then list nonmodal, zero-frequency, tail, and gauge behavior not covered by that statement.

Next-step hint

For the linear arrow, name evolution and decay estimates. For the nonlinear arrow, add gauge control, modulation of final parameters, and a closed bootstrap argument.

Solution

Absence of a growing separated mode is a mode-stability statement for a specified operator, function class, and boundary condition. A general perturbation may contain nonmodal growth, zero-frequency structure, tails, or gauge components, and the spectral representation itself needs justification. Linear stability additionally requires well-posed evolution, uniform energy or pointwise bounds, decay estimates, and control of conserved or slowly decaying charges. Nonlinear orbital stability must control nonlinear error terms, modulate the final black-hole parameters, close bootstrap estimates, and show that the solution remains in the allowed family. The corrected claim must stop at the exact level supported by the available result.

Module 5 — Semiclassical comparison and response

Finish with:

11. Semiclassical Regime, Expansion, and Validity
12. Tidal Response, Love Numbers, Absorption, and Heating

The semiclassical page is a boundary exercise: identify the expansion parameter, state and renormalization prescription, backreaction criterion, and observable before importing a result into classical dynamics. It does not turn a fixed-background calculation into a theorem about quantum gravity.

The response calculation is the reproducibility anchor. Declare the master equation, normalization, near-horizon and asymptotic boundary conditions, extraction prescription, numerical environment, precision, convergence evidence, and an analytic limiting check. Report a failure if the response coefficient changes under an admissible matching-window or precision variation beyond the stated tolerance.

Cross-module transfer task

Take one statement about an asymptotically flat stationary black hole and move it to one changed setting: nonzero cosmological constant, additional matter, different dimension, weaker regularity, or a dynamical horizon. Produce a four-part analysis:

1. which definitions and conserved quantities still exist;
2. which theorem or calculation hypotheses fail;
3. which formulation and boundary data replace the original ones; and
4. what evidence would distinguish genuine failure from a poor variable, gauge, or numerical choice.

The task is successful only if the changed setting is treated on its own terms. An analogy without a repaired asymptotic or boundary structure is not a transfer.

Capstone — study the stability of one black-hole family

Choose a black-hole family and a perturbation sector. Submit either a proof architecture, an analytic calculation with numerical check, or a bounded reproduction. Your report must include:

• exact background, parameter range, asymptotics, and matter theory;
• covariant and evolution formulations, with constraints and gauge exposed;
• the mode, linear, or nonlinear claim actually under study;
• boundary conditions and the norm or observable being controlled;
• one global or asymptotic issue that a local calculation cannot settle;
• an independent analytic, invariant, or convergence check; and
• a predeclared failure criterion.

Assess the capstone separately for correctness, hypothesis fidelity, formulation translation, verification, epistemic calibration, and reproducibility. A negative or null result can meet the standard if the test is controlled and its scope is stated. A positive-looking result fails if its boundary condition, gauge, or numerical error can explain the signal.

Continue

For a flexible continuation, use Advanced Classical General Relativity, Black-Hole Perturbation Theory, or Mathematical Relativity. To practice appraising claims that may change with new results, continue to the Research Seminar.