Pith. Sign in

REVIEW

Lecture Notes on General Relativity

General Relativity and Quantum Cosmology · Submitted 3 Dec 1997 · 7 references

Pith's verdict: Standard, correct, well-known GR lecture notes — useful to teach from, but the 'derivation-complete' label is a bit generous and there is nothing new here by the author's own admission.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 9 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDgr-qc/9712019 (version 1)
Pith IDL3VFYKLZ, Pith's permanent record of this paper and its review
CitationSean M. Carroll. "Lecture Notes on General Relativity." arXiv:gr-qc/9712019 (1997). https://pith.science/paper/L3VFYKLZ
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report
The paper

The paper claims

Carroll builds general relativity as one continuous chain: a metric, the unique connection it forces, the curvature that connection produces, and the field equations that follow — then applies the whole machine to waves, black holes, and an

The reading

These are one semester of graduate lectures whose aim is to leave no gaps: every step from the definition of a manifold to the Friedmann equations is either derived in full or flagged as an exercise the reader can fill in. The spine of the argument is that a metric on a manifold singles out exactly one connection that is torsion-free and compatible with that metric, and that this connection in turn fixes the curvature. From there the notes derive the Riemann tensor as the commutator of covariant derivatives, extract the Bianchi identity, and show that its twice-contracted form makes the Einstein tensor $G^{munu}$ automatically divergence-free — which is what lets it be set equal to a conserved energy-momentum tensor. A sympathetic reader cares because this is the shortest honest route to seeing why Einstein's equations have the form they do, rather than simply being told the form and asked to check the Newtonian limit. The final third spends the machinery on three worked applications: weak-field gravitational radiation, the Schwarzschild solution and black holes, and homogeneous cosmology.

What carries the argument

The load-bearing object is the Christoffel (Levi-Civita) connection, Eq. 3.21, because everything downstream is built from it and nothing else. The notes prove it exists and is unique by writing metric compatibility for three cyclic permutations of the indices and solving the resulting linear system, then note that the difference of any two connections is a tensor while the connection itself is not. Curvature enters through the commutator of covariant derivatives, which the notes compute line by line for a vector field and for a general tensor; the same computation yields the geodesic deviation equation $a^mu = R^mu{}_{nurhosigma}T^nu T^rho S^sigma$, which turns curvature into a statement about the relative acceleration of neighbouring freely falling particles — that is, into tidal force. The twice-contracted Bianchi identity is the hinge that connects the geometry to matter: it is what makes $nabla_mu T^{munu} = 0$ and $nabla_mu G^{munu} = 0$ compatible rather than an extra constraint. A secondary but deliberate thread is the tetrad formalism, which rewrites the same connection and curvature in a locally orthonormal basis and makes the analogy with gauge theory explicit through local Lorentz transformations.

Extended reading notes

Core claim

The claim the notes set out to establish is a chain of uniqueness and consistency, not a single new result. First, demanding that a covariant derivative be torsion-free ($Gamma^lambda_{munu} = Gamma^lambda_{(munu)}$) and metric-compatible ($nabla_rho g_{munu} = 0$) leaves exactly one connection, and the notes derive its coefficients explicitly as $Gamma^sigma_{munu} = frac{1}{2} g^{sigmrho}(partial_mu g_{nurho} + partial_nu g_{rhomu} - partial_rho g_{munu})$ (Eq. 3.21). Second, the commutator of two covariant derivatives acting on a vector is not a differential operator but a multiplicative one, $[nabla_mu, nabla_nu]V^rho = R^rho{}_{sigmamunu}V^sigma$ minus a torsion term, which identifies the Riemann tensor as the local measure of curvature (Eq. 3.67). Third, the algebraic symmetries of that tensor reduce its independent components to $frac{1}{12}n^2(n^2-1)$ — twenty in four dimensions, exactly matching the twenty second derivatives of the metric that no coordinate choice can remove. Fourth, the Bianchi identity $nabla_{[lambda}R_{rhosigma]munu} = 0$, contracted twice, gives $nabla_mu G^{munu} = 0$ for $G^{munu} = R^{munu} - frac{1}{2}R g^{munu}$, so the geometric side of any field equation built from curvature is conserved identically. The notes then argue that identifying the geodesics of this connection with the worldlines of freely falling bodies reproduces Newtonian gravity in the weak-field limit and yields the three applications.

Load-bearing premise

The whole bridge from geometry to gravity rests on a physical postulate rather than a mathematical result: that the geodesics of the metric's unique torsion-free connection are the worldlines of freely falling bodies, which the notes assert in the discussion of geodesics and develop as the equivalence principle.

Editorial extensions

If this is right

  • Linearizing the field equations about flat space gives a wave equation whose solutions have two transverse-traceless polarizations travelling at the speed of light, and the quadrupole formula fixes the energy loss rate of a radiating source.
  • The Schwarzschild solution follows from spherical symmetry alone (Birkhoff's theorem), and its maximal extension through Kruskal coordinates exhibits an event horizon, a genuine curvature singularity, and a Penrose diagram structure with conformal infinity.
  • Because the field equations are built from a conserved geometric tensor, the energy-momentum tensor of a perfect fluid, $T^{munu} = (rho+p)U^mu U^nu + p g^{munu}$, can be coupled to them without adding new constraints.
  • Assuming homogeneity and isotropy gives the Robertson-Walker metric and the Friedmann equations, from which the redshift of distant sources and Hubble's law follow as consequences of the expansion of the metric rather than of motion through space.
  • The Newtonian limit is recovered from the $00$ component of the weak-field equations, so the same connection that defines geodesics also reproduces the inverse-square law in the appropriate limit.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The notes deliberately keep the connection logically independent of the metric and only later single out the metric-compatible torsion-free one, which leaves room for theories with torsion or non-metricity; the same commutator derivation would then carry extra terms, so the formalism itself marks where such alternatives would have to differ.
  • The observation that the twenty independent curvature components match the twenty unremovable second derivatives of the metric is presented as a consistency check, but it also explains why curvature rather than the connection must be the coordinate-invariant carrier of gravity: the connection can always be made to vanish at a point, and only its derivatives cannot.
  • The path-ordered exponential that solves parallel transport around a loop, and the remark that knowing the holonomy of every loop is equivalent to knowing the metric, point toward treating holonomies rather than the metric as fundamental — which the notes mention only in passing as a route to quantization.
  • The claim that the exterior derivative requires no connection at all, while the covariant derivative does, suggests a clean split between the parts of the formalism that survive any choice of connection and the parts that do not; the notes use this to argue that torsion can never enter the exterior derivative of a form.
Original abstract

These notes represent approximately one semester's worth of lectures on introductory general relativity for beginning graduate students in physics. Topics include manifolds, Riemannian geometry, Einstein's equations, and three applications: gravitational radiation, black holes, and cosmology.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 2,235 input tokens, $0.0001 reported.

What the abstract itself states, as probabilities: claims first 0.02 · states limitation 0.12 · human participants 0.03 · controlled comparison 0.01 · randomized assignment 0.01 · states quantitative result 0.13 · compares with prior results 0.02 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

These notes represent approximately one semester's worth of lectures on introductory general relativity for beginning graduate students in physics. Topics include manifolds, Riemannian geometry, Einstein's equations, and three applications: gravitational radiation, black holes, and cosmology.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 These notes represent approximately one semester's worth of lectures on introductory general relativity for beginning graduate students in physics. contribution 0.49 0.45 0.03 asserted 0.92
s1 Topics include manifolds, Riemannian geometry, Einstein's equations, and three applications: gravitational radiation, black holes, and cosmology. contribution 0.88 0.14 0.04 asserted 0.99

What kind of paper the classifier reports this is: review 0.93 · evidence from proof or derivation 0.54.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References
How later papers used it

73 later papers cite it

Evidence: substantial. 73 of the citing papers share no author with it, and 8 of those carry a confident label from Pith's citation classifier.

Pith read 25 of the 119 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 5 of 6 papers with this label
How the literature uses it

76 arXiv papers cite this in 123 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 74 sentences without a confident label

Uses its method or tool 6 papers
Compares with it 2 papers
  • The approximate equation of orbit ([ref]) predicts a reduced radius of circular orbit, [equation] This prediction is in agreement [ref] to first order with that obtained by minimizing the Schwarzschild effective potential ([ref]), [equation] (A distinction is made here between the radius of circular orbit as determined from the Schwarzschild effective potential $R_c$ and that determined from the equation of orbit $r̃_c$.) For $≪1/12$, the radius of circular orbit is predicted to be reduced, [equation] The Schwarzschild effective potential ([ref]) is compared to that derived from Newtonian mechanics ([ref]) in Fig. [ref].

    A Keplerian Limit to Static Spherical Spacetimes in Curvature Coordinates · Characteristics of Schwarzschild Orbits · 0.95

  • To show the validity of the method, we solely derived the standard ISCOs for Kerr and Schwarzschild black holes in dimensionless form, which are completely consistent with the results [ref] .

    Accreting Black Holes in Dark Matter Halos · Numerical Analysis · 0.99

Cites it as background 37 papers
  • Note that this does not mean that torsion is ”physically” there, something both conjectured in some extensions of gravity [ref] and used to rewrite general relativity in a more ”gauge-like” form [ref] ; The fluid in a heavy ion collision [ref] lives in a space free of either Riemannian or torsional curvature.

    Gaussian pseudogauge invariant hydrodynamics with spin · Introduction · 0.84

  • Diffeomorphism invariance translates as invariance under, h →h + L_ϵ(G) , ξ→ξ+ L_ϵ(Φ) , a_q→a_q + L_ϵ(A_q) where $L_ϵ(...)$ stands for the Lie derivative w.r.t. the vector field $ϵ= ϵ^M(x)∂_M = ϵ^A(x)e_A.$ More explicitly, it is not difficult to show that ([ref])-([ref]) are left invariant under the field transformations [This is a generalization of the usual perturbative treatment around flat space in the context of General Relativity, see for example [ref] , chapter 6. ] , ^ϵh_AB = h_AB + D_Aϵ_B + D_Bϵ_A^ϵξ = ξ+ ϵ^A D_AΦ^ϵa_q_A_1…A_q = a_q_A_1…A_q+ ϵ^B D_B A_q_A_1…A_q + D_A_1ϵ^B A_q_BA_2…A_q + …+D_A_qϵ^B A_q_A_1…A_q-1B As the system is linear, it follows that $(L_ϵ(G),L_ϵ(Φ),L_ϵ(A_q))$ is solution for any $ϵ$, the pure gauge, trivial, solution.

    Gauge invariant perturbation theory and non-critical string models of Yang-Mills theories · The gauge-invariant perturbative setup · 0.87

  • The most direct approach would be to treat the metric deviations $h_μν(x)$ in equation [ref], away from the flat metric $η_μν$ (or from a more general classical solution [ref] equation 16, for which linearised gravity can also be adopted as noted in [ref] after equation 6.3), as the field to be quantised.

    Quantum Gravity from the Composition of Spacetime Constructed through Generalised Proper Time · Quantum Theory with Gravity · 0.83

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.