Graduate General Relativity Self-Study Path

This is a complete self-study spine for a first graduate encounter with general relativity. It is designed for readers who can already work with multivariable calculus, linear algebra, differential equations, and special relativity, but who need a coherent route from Lorentzian geometry to Einstein dynamics, exact black holes, global causality, radiation, relativistic matter, and cosmology.

The route emphasizes invariant questions and controlled calculations. It builds on the full exposition in the Library and executable methods in Computational Relativity, showing you what to learn, what to calculate, and how to apply the ideas in unfamiliar settings.

Helpful background. Calculus and linear algebra supplies multivariable derivatives, linear maps, bilinear forms, and eigenvalue reasoning. Ordinary differential equations supplies initial- and boundary-value analysis and asymptotic reasoning. Special relativity supplies invariant intervals, causal structure, four-vectors, and observer-dependent components. Smooth manifolds and tensors supplies charts, tangent and cotangent spaces, tensor fields, and natural operations. Use the readiness check below to decide which topics you need to review.

Geometry becomes a physical theory

The course-long problem is to connect three layers without collapsing them into one another:

• Lorentzian geometry defines causal cones, observers, geodesics, curvature, and tidal separation.
• Einstein’s equations and the action principle select dynamical metrics coupled to matter.
• Exact solutions, global structure, experiments, waves, stars, and cosmology test what those equations imply in distinct regimes.

Every phase asks you to keep coordinates separate from observables, local equations separate from global conclusions, and an idealized solution separate from evidence that a physical system realizes it.

What you will be able to do

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

1. Use Lorentzian geometry, observers, geodesics, curvature, and tidal deviation to formulate invariant physical questions.
2. Relate Einstein equations, matter coupling, and the Einstein–Hilbert action with their assumptions and boundary terms.
3. Analyze Schwarzschild and Kerr geometry, causal structure, horizons, charges, and black-hole mechanics.
4. Connect weak-field tests, radiation, compact objects, and cosmology to the regimes and limits of general relativity.

Check your starting point

Attempt these without notes. If that is not an accessible way to demonstrate the capability, use an equivalent spoken, typed, diagrammatic, or assistive-technology-supported response without consulting the worked answer. An uncertain answer is a reason for a short review, not a reason to abandon the path.

1. Given a symmetric bilinear form with one negative and three positive eigenvalues, can you explain which information is basis independent?
2. For a second-order differential equation, can you distinguish initial data, boundary data, and a spectral parameter?
3. Can you derive $E_{(u)}=-u_\mu p^\mu$ as the energy measured by an observer and state why $p^0$ alone is not invariant?
4. Can you explain why nonzero Christoffel symbols do not imply nonzero curvature?

Answers and review

1. The signature and nondegeneracy are basis independent, while matrix entries are not. Review the needed linear algebra at Calculus and Linear Algebra for Relativity.
2. Initial data are prescribed at one evolution slice, boundary data at the domain boundary, and a spectral parameter is selected by compatibility with homogeneous conditions. Review this at Differential Equations for Relativity.
3. Projecting four-momentum onto a future unit timelike vector produces the observer-dependent but coordinate-invariant scalar energy. Review the mechanics and observer language at Mechanics and Special Relativity Diagnostic.
4. Connection coefficients can be nonzero solely because the coordinate basis varies; curvature is the tensorial commutator of covariant derivatives. Review this at Tensor and Geometry Bridge.

After any review, repeat the corresponding prompt before entering phase 1.

Route through graduate general relativity

The 98 linked pages below are the exact required readings for this path. Follow them in order; destination, volume, and chapter overviews are useful maps, but they do not substitute for these leaf pages. A numbered step is complete only after you can reconstruct its central definition, argument, or calculation and have attempted every exercise or check included on that page before opening its solution. Completion of the path additionally requires both checkpoints, the FLRW transfer task, and the capstone assessment below. Before each computational workflow, predict the invariant result and explain one independent check afterward.

Phase 1 — Geometry and invariant calculation

Steps 1–2 are required entry gates. Use their feedback to review a difficult topic immediately, then return to the sequence; do not skip the readings merely because the diagnostic result is strong.

1. Mechanics and Special Relativity Diagnostic
2. Tensor and Geometry Bridge
3. Smooth Manifolds and Coordinate Atlases
4. Tangent and Cotangent Spaces
5. Tensor Fields and Natural Operations
6. Pseudo-Riemannian Metrics and Signature
7. Lorentzian Causal Cones and Time Orientation
8. Affine Connections and Covariant Derivatives
9. Connection Coefficients and Coordinate Change
10. The Levi-Civita Connection
11. Normal Coordinates and Local Metric Expansions
12. The Riemann Curvature Tensor
13. Ricci, Scalar, and Einstein Tensors
14. The Bianchi Identities
15. Affine and Variational Geodesics
16. Jacobi Fields and Geodesic Deviation

Phase 2 — Measurement, free fall, and tidal gravity

Steps 17–18 are the just-in-time foundations for the observer, equivalence-principle, and tidal arguments that follow.

17. The Newtonian Gravitational Field and Potential
18. Frames, Coframes, and Anholonomy
19. The Einstein Equivalence Principle
20. Local Inertial Frames
21. What the Equivalence Principles Do and Do Not Imply
22. Observer Worldlines and Local Tetrads
23. Measured Energy, Momentum, and Frequency
24. The Test-Particle Action
25. Timelike Geodesics as Ideal Free Fall
26. Null Geodesics and Affine Parameters
27. Connection Effects versus Curvature
28. Operational Meaning of the Riemann Tensor
29. The Geodesic-Deviation Equation
30. The Newtonian Tidal Limit

Phase 3 — Einstein dynamics and the variational principle

Step 31 closes the field and stress–energy prerequisite before the Einstein equation. Steps 37–38 then supply the variational and hypersurface geometry needed for the action and its boundary term.

31. Fields and Stress-Energy Bridge
32. The Einstein Equation
33. Bianchi Identity and Stress-Energy Conservation
34. Constraints, Evolution, and Gauge Content
35. Gravitationally Coupled Stress-Energy from Metric Variation
36. Perfect Fluids in General Relativity
37. Presymplectic Potentials and Currents
38. Hypersurface Normals and Tangential Projectors
39. The Einstein-Hilbert Action
40. Metric Variation Identities
41. Deriving the Einstein Equation from the Action
42. The Gibbons-Hawking-York Boundary Term

Phase 4 — Schwarzschild and Kerr

Apply the local geometry and field equations before drawing global conclusions from either coordinate system.

43. Deriving the Schwarzschild Metric
44. Schwarzschild Coordinate Atlas
45. The Maximal Schwarzschild Extension
46. Invariants, Singularities, and Controlled Limits
47. Kerr Metric Forms and Parameters
48. Kerr Domains, Horizons, and Extensions
49. Kerr Invariants and the Ring Singularity

Phase 5 — Causality, horizons, and black-hole mechanics

Complete the causal-boundary sequence before defining a black-hole region. Step 59 develops the congruence methods needed for the horizon and trapped-surface readings that follow.

50. Causal Curves and Time Orientation
51. Chronological and Causal Futures
52. Strong Causality, Stable Causality, and Time Functions
53. Domains of Dependence
54. Cauchy Surfaces
55. Equivalent Criteria for Global Hyperbolicity
56. Conformal Embeddings and Ideal Boundaries
57. Future and Past Null Infinity
58. Constructing Penrose Diagrams
59. Timelike Congruences and Spatial Projection
60. Event Horizons as Global Boundaries
61. Trapped and Marginal Surfaces
62. The Black-Hole Region and Future Null Infinity
63. Choosing a Black-Hole Definition
64. ADM, Komar, and Horizon Charges
65. Smarr Relations from Scaling
66. First Law for Stationary Einstein–Maxwell Black Holes
67. Zeroth Law and Constant Surface Gravity
68. Equilibrium First Law
69. Hawking Area Theorem
70. Physical-Process First Law

Phase 6 — Weak-field tests and radiation

Step 76 develops the inference methods needed to interpret the observations in steps 77–79. Step 80 supplies the required PDE and Green-function methods for the radiation sequence.

71. Weak Metric Perturbations and Gauge Freedom
72. The Newtonian Limit of the Einstein Equation
73. Gravitational Redshift and Clock Comparison
74. Perihelion Precession
75. Light Deflection and Shapiro Delay
76. Probability and Inference for Gravity
77. Theory, Observable, and Measurement
78. Nuisance Parameters and Systematic Error
79. From Constraint to Physical Conclusion
80. PDEs and Green Functions for Gravitation
81. Radiative Degrees of Freedom
82. Transverse–Traceless Gauge
83. Plane Gravitational Waves
84. Tidal Response to a Passing Wave
85. Retarded Fields and the Radiation Zone
86. Isaacson Effective Stress–Energy

Phase 7 — Matter, stars, and cosmology

Step 90 supplies the symmetry tool used in the stellar-equilibrium sequence. The cosmology readings then transfer the same distinctions among measurement, dynamics, and global causality to homogeneous spacetimes.

87. Perfect Fluids and Stress–Energy
88. Relativistic Euler Equations
89. Thermodynamics, Sound Speed, and Causality
90. Killing Fields and Isometry Groups
91. The Tolman–Oppenheimer–Volkoff Equations
92. Mass–Radius Sequences
93. Radial Stability and the Turning-Point Criterion
94. The Friedmann Equations
95. Continuity Equation and Adiabatic Expansion
96. Equations of State and Scaling Laws
97. Spatial Curvature and Critical Density
98. Cosmological Constant and Accelerated Expansion

For optional orientation around the required leaf readings, consult the Spacetime Geometry, Causality and Global Structure, and Relativistic Matter and Compact Objects overviews in that order. These maps do not replace a numbered step or an assessment.

A representative reasoning pattern: horizon or curvature singularity?

For the Schwarzschild exterior, a scalar curvature diagnostic is the Kretschmann invariant

$$K=R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma} =\frac{48G^2M^2}{r^6}.$$

At the Schwarzschild radius $r=2GM$,

$$K\big|_{r=2GM}=\frac{3}{4G^4M^4},$$

which is finite for $M\gt0$. At $r=0$, it diverges. This immediately refutes the claim that the blow-up of the static-chart coefficient $g_{rr}$ at $2GM$ is a scalar-curvature singularity.

The conclusion is bounded. A finite scalar does not by itself prove that a chart extension exists, and scalar polynomial invariants do not classify every Lorentzian geometry. To establish regular horizon crossing, transform to a horizon-regular chart and check the metric and inverse metric there. The pattern is reusable: diagnose a coordinate symptom, calculate an invariant, then supply the geometric construction needed for the stronger conclusion.

Check your understanding

Checkpoint 1. From connection to measurement

At an event on an observer’s worldline, choose local inertial coordinates so that $\Gamma^\rho{}_{\mu\nu}=0$. Does the observer necessarily measure zero gravitational effect in every finite laboratory experiment?

Conceptual hint

One event is not a neighborhood.

Setup hint

Compare a connection coefficient with the curvature tensor.

Next-step hint

Ask what two neighboring freely falling masses measure.

Solution

No. The coordinate choice removes the connection coefficients at one event and therefore the common free-fall acceleration there. It cannot generally remove their derivatives in a neighborhood. The Riemann tensor remains and controls geodesic deviation, so a finite apparatus can measure relative acceleration. Only when curvature is negligible over the apparatus and measurement duration does the local experiment approximate special relativity.

Checkpoint 2. What a first law assumes

A student writes $\delta M=\kappa\delta A/(8\pi G)$ for an arbitrary evolving black hole. Identify the missing assumptions and the appropriate correction.

Conceptual hint

Separate equilibrium variations from dynamical flux balances.

Setup hint

Ask about stationarity, charge, angular momentum, asymptotics, and generator normalization.

Next-step hint

Kerr and charged holes carry additional work terms.

Solution

The displayed form is the stationary vacuum Schwarzschild first law, with a specified asymptotic time normalization and neighboring stationary solutions. Kerr adds $\Omega_H\delta J$; Einstein–Maxwell adds an electrostatic-potential term. A finite-amplitude dynamical horizon requires a flux or balance law with an appropriate quasi-local framework, not an unqualified equilibrium variation. The formula’s truth depends on the theory, solution family, boundary conditions, and variation space.

Transfer task — Diagnose an expanding spacetime

In an FLRW spacetime, comoving observers have four-velocity $u^\mu$, nearby worldlines separate with the scale factor, and light is redshifted. Use the tools of phases 1–3 to explain which statements are observer measurements, which use curvature or Einstein dynamics, and why the Hubble radius is not automatically an event horizon.

Solution outline

The measured photon frequency is $\omega=-u_\mu k^\mu$, so cosmological redshift compares projections at emission and observation. The separation of comoving geodesics can be described by the expansion of their congruence and by geodesic deviation; Einstein’s equations relate the scale-factor dynamics to the chosen stress–energy and cosmological constant. The Hubble radius $H^{-1}$ is a local dynamical scale. An event horizon is defined by the entire future causal structure, so deciding whether one exists requires integrating null propagation through the future expansion history. The transfer succeeds only if measurement, dynamics, and global causality remain distinct.

Capstone — Study one spacetime in four ways

Choose Schwarzschild, Kerr, or a spatially flat FLRW spacetime. Prepare a coherent analysis that:

• states the metric, coordinate and parameter domain, and relevant matter fields;
• constructs one observer-measured quantity and one curvature or geodesic invariant;
• verifies the Einstein equation or a controlled reduction of it;
• makes one global causal statement with its hypotheses;
• connects the idealized spacetime to one weak-field, radiation, compact-object, or cosmological application without treating the application as automatic evidence for every global property.

Criterion	What a complete solution shows
Geometry and measurement	Coordinates, invariant objects, observers, and measured quantities are separated.
Dynamics	Field equations, matter assumptions, action or boundary input, and approximation are explicit.
Global reasoning	The causal or horizon claim states the required completion, asymptotics, or data domain.
Application and limits	The evidence chain and at least one failure regime are explained.

An algebraically correct metric calculation that omits its domain, observer, or global hypotheses is incomplete.

Completion and onward routes

Complete the path by finishing all 98 required readings in order, attempting their included exercises and checks, answering both checkpoints without the solutions, solving the FLRW transfer task, and meeting all four capstone criteria. Every computational result must include a prediction and an independent check; merely running software is not evidence of mastery.

Then choose a specialization:

• Advanced Classical General Relativity for formulations, global structure, and theorem interfaces.
• Black-Hole Physics or Black-Hole Perturbation Theory for strong-field specialization.
• Compact Binaries and Gravitational Waves for cross-regime dynamics and observation.
• Computational Relativity, Relativistic Matter and Compact Objects, Relativistic Astrophysics, or Mathematical Relativity for method- or domain-centered study.