Black-Hole Physics

This path is for graduate students and researchers who want an object-centered account of black holes. It begins with the complete geometry of Schwarzschild and Kerr, develops causal and quasi-local horizon notions, builds charges and mechanics, and then tests how equilibrium ideas change under perturbations, finite-amplitude dynamics, astrophysical environments, and semiclassical physics.

The route is deliberately plural: no single horizon definition, coordinate chart, or observational signature answers every question. The aim is to choose the right structure for the problem and to state exactly when a calculation leaves its domain of validity.

Helpful background. Einstein equations supplies the field equation, Bianchi consistency, and stress–energy coupling. Exact spacetimes supplies metric families, invariants, maximal extensions, limits, and physical domains. Causality and global structure supplies the causal relations, horizons, conformal boundaries, and asymptotic structures used throughout.

A black hole is a regime-dependent geometric object

An eternal stationary solution gives precise access to Killing horizons, conserved charges, geodesics, and first laws. A collapsing or merging spacetime instead requires trapped surfaces, evolving horizons, flux balances, and numerical evolution. An astrophysical source adds matter, emission, and selection; a semiclassical calculation adds a quantum state, renormalization, and approximation control.

The sequence therefore moves from exact geometry through definitions and mechanics, then across these neighboring regimes without treating one as an automatic continuation of another.

What you will be able to do

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

1. Calculate geometric and invariant properties of Schwarzschild and Kerr families.
2. Distinguish event, Killing, trapping, isolated, and dynamical horizons by definition and use.
3. Derive or apply charges, Smarr relations, first laws, and geodesic observables within their hypotheses.
4. Synthesize equilibrium, perturbative, dynamical, and semiclassical black-hole regimes without mixing their validity.

Check your starting point

1. Why does a divergent metric coefficient at $r=2GM$ in Schwarzschild coordinates not prove a curvature singularity?
2. What additional information is needed to specify a spacetime solution beyond a local metric formula?
3. Why can an event horizon not generally be located from data in one finite spacetime neighborhood?

Answers and review

1. Metric components depend on coordinates. One must calculate invariant curvature and construct a horizon-regular chart; the Schwarzschild curvature invariants remain finite at $r=2GM$.
2. At minimum: field content and equations, parameter and coordinate domains, signature, invariant classification, extensions, singularities, Killing data, boundary conditions, and controlled limits.
3. An event horizon is a global causal boundary defined relative to future infinity. Its location depends on the full future development, unlike a quasi-local expansion condition on a chosen slice.

If any answer is uncertain, review the corresponding field-equation, exact-spacetime, or global-causality concepts through the Graduate General Relativity Self-Study Path before continuing.

Route through black-hole regimes

Phase 1 — Exact geometry and invariant motion

1. Schwarzschild and Reissner–Nordström — study static vacuum and electrovac solutions, including charts, extensions, and invariant singularities.
2. Kerr, Kerr–Newman, and Type-D Electrovacua — track parameter domains, horizons, ergoregions, algebraic type, and controlled limits.
3. Hidden Symmetries and Separability — connect Killing tensors and the Carter constant to integrable motion without treating separability as generic.

Phase 2 — Horizon definitions and mechanics

4. Causal Horizons, Trapped Sets, and Achronal Boundaries — distinguish global boundaries from quasi-local expansion conditions.
5. What Is a Black Hole? — choose a definition appropriate to asymptotics, observers, and available data.
6. Horizon Taxonomy — compare event, Killing, trapping, isolated, and dynamical horizons by hypotheses and use.
7. Charges, Smarr Relations, and First Laws — fix generator normalization, theory, asymptotics, and charge conventions.
8. Laws of Black-Hole Mechanics — derive classical equilibrium statements and their limits.

Comparing charge conventions. The charged exact-spacetime pages in Phase 1 use Gaussian flux charge, whereas the Einstein–Maxwell mechanics in Phase 2 uses rationalized charge. Apply the exact Gaussian-to-rationalized Maxwell crosswalk before comparing $Q$, $A$, $\Phi_H$, or the metric charge parameter across the two phases.

Phase 3 — Perturbative and dynamical departures

9. Perturbative General Relativity and Gauge Invariance — separate physical perturbations, parameter shifts, constraints, and gauge.
10. Quasinormal Modes, Resonances, and Pseudospectra — state operator domain and boundary conditions before interpreting a complex frequency.
11. Trapped Surfaces and Horizon Formation — connect finite-amplitude initial data to quasi-local trapping without assuming the final global horizon in advance.
12. Dynamical Horizons and Flux Laws — replace an equilibrium variation with an evolving quasi-local balance law.

Phase 4 — Environment, objects, and quantum interface

13. Accretion Flows and Disks — separate spacetime geometry from material closure, radiation, and source interpretation.
14. Schwarzschild Black Hole — connect geometry, observational support, and related calculations for the nonrotating benchmark.
15. Kerr Black Hole — distinguish the rotating idealization from what observations establish.
16. Black-Hole Temperature and Thermodynamic Potentials — add quantum field state, temperature, ensemble, and renormalization assumptions to the classical mechanics.

The Black-Hole Perturbations and Black-Hole Dynamics overviews orient deeper study. They are not completion substitutes for the ordered core.

A representative reasoning pattern: a checked Smarr relation

For a four-dimensional stationary Schwarzschild black hole in vacuum,

$$A=16\pi G^2M^2, \qquad \kappa=\frac{1}{4GM},$$

where $M$ is physical mass and the stationary Killing field is normalized to unit time translation at infinity. The Schwarzschild Smarr relation reads

$$M=\frac{\kappa A}{4\pi G}.$$

Substitution gives

$$\frac{\kappa A}{4\pi G} =\frac{1}{4GM}\frac{16\pi G^2M^2}{4\pi G}=M.$$

Differentiating the area yields $\delta A=32\pi G^2M\,\delta M$, and therefore

$$\frac{\kappa}{8\pi G}\delta A=\delta M,$$

the Schwarzschild first law. Dimensions, the static limit, and direct differentiation all agree.

This calculation is classical. It does not derive Hawking radiation or establish that $A/(4G)$ is a statistical entropy. Those conclusions require quantum-field and semiclassical input. Nor may the formula be applied unchanged to Kerr, charge, cosmological horizons, higher dimensions, or a finite-amplitude evolving horizon.

Check your understanding

Checkpoint 1. Choose the horizon

For each task, choose the most relevant notion and state one limitation: (a) proving a stationary first law; (b) locating a black hole during a numerical merger on one slice; (c) asking whether a signal can reach future null infinity.

Conceptual hint

Match equilibrium, quasi-local evolution, and global causality.

Setup hint

Ask what information the task actually supplies.

Next-step hint

A slice-dependent surface can still be operationally useful.

Solution

(a) uses a Killing horizon with a normalized stationary generator; it does not describe generic evolution. (b) uses an apparent, trapping, or dynamical horizon found from expansion conditions on the slice; its location can depend on the foliation. (c) uses the event horizon, a global causal boundary relative to future infinity; it generally cannot be located from finite-time local data alone.

Checkpoint 2. A ringdown is not a uniqueness theorem

A late-time waveform is well fitted by damped Kerr quasinormal modes. What does this support, and what does it not establish by itself?

Conceptual hint

Separate a finite-window signal model from an operator spectrum and a global spacetime theorem.

Setup hint

Include mode excitation, start time, noise, and waveform systematics.

Next-step hint

Ask whether other models can fit the same finite data.

Solution

The fit supports a Kerr-like linear response model over the selected time window, conditional on mode content, onset, waveform convention, detector noise, and alternatives. It does not by itself prove the existence of an event horizon, the global uniqueness hypotheses, nonlinear stability, or exact stationarity of the remnant. Those require separate geometric, dynamical, and evidential arguments.

Transfer task — From equilibrium to accretion

Consider a Kerr black hole surrounded by a magnetized accretion flow. Explain which parts of the equilibrium geometry remain valid inputs and which new equations or uncertainties enter an observable image or jet claim.

Solution outline

The Kerr metric, horizon generator, geodesic structure, and stationary charge relations can provide a controlled background when the flow’s self-gravity and secular evolution are negligible. The material problem adds plasma stress–energy, magnetic-field evolution, thermodynamic closure, radiation emission and absorption, and boundary or feeding conditions. An image further adds covariant transfer, observer screen, instrument sampling, calibration, and reconstruction. A jet claim requires magnetic flux and plasma supply in addition to the formal rotational-energy reservoir. Thus equilibrium geometry remains an input, not the full forward model or observational conclusion.

Capstone — Compare one black hole across four regimes

Choose Schwarzschild or Kerr and construct a synthesis with four panels in prose:

• Equilibrium: metric domain, invariants, horizon definition, charges, and mechanics.
• Perturbative: field variable, gauge, boundary conditions, observable, and a response or resonance statement.
• Dynamical or astrophysical: data, matter or flux model, horizon diagnostic, and one uncertainty.
• Semiclassical: quantum state, renormalization or ensemble input, controlled approximation, and breakdown condition.

Criterion	What a complete solution shows
Exact geometry	Coordinates, invariants, parameter domain, and global structure are distinguished.
Horizon and mechanics	Each horizon or law is used only within its hypotheses and normalization.
Regime translation	Added degrees of freedom, data, and approximation parameters are explicit.
Verification and limits	Each panel includes a check and the synthesis identifies a failed extrapolation.

Completion and onward routes

You have completed the path when you can solve both checkpoints, complete the accretion transfer task, document predictions and independent checks for the calculations, and meet the capstone rubric.

Continue to Black-Hole Perturbation Theory for linear response and spectra, Computational Relativity for finite-amplitude evolution, Relativistic Astrophysics for forward modeling and evidence, or the semiclassical and quantum routes available from the Learn paths overview.