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.
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
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
- 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.
The abstract, sentence by sentence
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
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| 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 was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How later papers used it
73 later papers cite it
5 later papers by other authors are listed below: 5 used its method or tool.
Uses its method or tool 5 of 6 papers with this label
-
Proceeded to write the Ricci tensor in second-order perturbations following this paper.
Weak field and slow motion limits in energy-momentum powered gravity (2022) · 0.84 · paraphrased: the licence does not allow quoting
-
We will follow the derivation in [ref] for as long as we can.
A variational derivation of the field equations of an action-dependent Einstein-Hilbert Lagrangian (2022) · Variation of the metric · 0.99
-
Considered the procedure followed in this paper.
Penrose process in charged axion-dilaton coupled black hole (2014) · 0.94 · paraphrased: the licence does not allow quoting
-
Consulted this paper for the definition of the Lie derivative for a rank-2 tensor-valued background field.
Cosmology in the presence of diffeomorphism-violating, nondynamical background fields (2022) · 0.95 · paraphrased: the licence does not allow quoting
-
Benefited from the Christoffel symbol expressions of this paper in the next steps of its calculations.
Some Aspects of Morris-Thorne Wormhole in Scalar Tensor Theory (2017) · 0.92 · paraphrased: the licence does not allow quoting
How the literature uses it
76 arXiv papers cite this in 123 sentences
Papers citing it · 74 sentences without a confident label
Uses its method or tool 6 papers
-
Accordingly, let us proceed with writing the Ricci tensor in the second order $h_μν$'s as [ref] [equation] Including the second order perturbations in Lorenz gauge implies $h^μν(∂_μ h_αν+∂_ν h_αμ-∂_α h_μν)=0$, and hence, the second order Ricci tensor becomes [equation] Then, the $tt$ component of Eq. [ref] up to second order perturbations reads [equation] and yields the solution [equation] Therefore, in the EMPG model, the components of the post-Newtonian metric take the following form: [equation]
Weak field and slow motion limits in energy-momentum powered gravity · Post-Newtonian limit · 0.84
-
We will follow the derivation in [ref] for as long as we can.
A variational derivation of the field equations of an action-dependent Einstein-Hilbert Lagrangian · Variation of the metric · 0.99
-
Here we consider the procedure followed in [ref] .
Penrose process in charged axion-dilaton coupled black hole · Energy extraction and the Penrose process · 0.94
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.