Working Through General Relativity Without Losing Your Mind

I spent three weeks last year going through a compact GR resource with a student who had only taken introductory mechanics and E&M. We made it through the equivalence principle and the basic tensor formalism before he put the book down and said he needed a break. That is normal. General relativity is not a subject you absorb casually. It requires sustained engagement with differential geometry, and most people underestimate how much of that framework you need to hold in your head at once. There are a few resources that use this exact title or something close to it. Peter Zizzi wrote one. Various university lecture series have also published materials under similar names. The common thread among the decent ones is the same: they compress a full semester of graduate-level content into something you can actually finish in a few months of serious study. That compression is both the strength and the weakness. You move fast. You do not get to linger on the parts that should trouble you. The core structure most of these courses follow goes like this. You start with the motivation from special relativity and the equivalence principle. Then you introduce the metric tensor and the idea that spacetime curvature is encoded in a symmetric rank-2 field. From there, you move to covariant differentiation, the Christoffel symbols, and the Riemann curvature tensor. The Einstein field equations arrive somewhere around chapter four or five, and the Schwarzschild solution is usually the first nontrivial exact solution you compute by hand. Geodesic motion follows, and then you touch on gravitational waves and cosmology before the book runs out of room.

Here is what nobody tells you about studying this material. The mathematics is not the hard part. The hard part is developing a geometric intuition that survives when you switch between coordinate-dependent calculations and abstract tensor equations. I remember working through a problem involving the Riemann tensor for a perturbed Friedmann-Lemaître-Robertson-Walker metric, and I kept getting zero for every component no matter how I computed it. The issue was that I was using the wrong sign convention for the Riemann tensor definition. My textbook used R^_{} = _^_{} - _^_{} + ..., but the paper I was cross-referencing had the opposite sign. I wasted half a day debugging a calculation that was actually correct. The fix was simply to write down my sign convention at the top of every page and never trust a result until I checked it against that convention. That habit alone prevents a huge class of errors. The Christoffel symbols are another place where beginners lose their way. They look like messy collections of partial derivatives, and students tend to treat them as if they were tensors. They are not. Under a general coordinate transformation, they pick up an inhomogeneous term. I have seen people spend enormous energy trying to make transform nicely, which is impossible by definition. The workaround is straightforward: stop computing individual Christoffel symbols and start computing them from the Lagrangian for geodesic motion instead. You derive the geodesic equation from ds = 0, and the Christoffel symbols fall out of the Euler-Laurent equations automatically. It is faster, less error-prone, and it reinforces the variational structure of the theory at the same time. When you get to the Einstein field equations, G_ = 8T_, the most important thing to understand is that this is not a single equation. It is ten coupled nonlinear partial differential equations. The nonlinearity is what makes gravity fundamentally different from electromagnetism. In E&M, you can superpose solutions. In GR, you cannot. A common mistake is to try to build up complex spacetimes by adding together simpler ones the way you would add electric fields. It does not work. The vacuum solution for two separate masses is not the sum of two Schwarzschild metrics. Even the weak-field approximation requires careful bookkeeping of which terms are second order and which you can consistently drop.

One counter-intuitive point that most short courses skim over is the relationship between the Einstein-Hilbert action and the actual field equations. You can derive the vacuum equations from S = R(-g) dx, but the variation of the determinant of the metric is where most people make algebraic errors. The result (-g) = -(1/2)(-g) g_ g^ is simple in hindsight, but getting there requires careful handling of the identity ln(det M) = Tr(M^{-1} M). I always verify this step by working through it for a diagonal metric first, where the matrix inverse and determinant are trivial, before trusting it for a general symmetric tensor. It takes two minutes and saves you from subtle sign mistakes later. The Schwarzschild solution is where things get concrete, and it is also where most students hit their first real wall. The derivation itself is not difficult if you assume static spherical symmetry and work in vacuum. But interpreting the result properly requires understanding what r actually means in this context. It is not a radial distance from the origin. It is the areal radius, defined so that the surface area of a sphere at that coordinate is 4r². This distinction matters enormously when you compute physical quantities like the orbital precession of Mercury or the deflection angle of light. If you treat r as a Euclidean radius, your numerical answers will be wrong, sometimes by factors of two. Another thing that short courses handle inadequately is the role of boundary terms in the gravitational action. The Einstein-Hilbert action alone is not well-posed because its variation produces boundary terms that do not vanish on a finite region. You need the Gibbons-Hawking-York boundary term to cancel them. This is not a minor technical detail. It is essential for any calculation involving black hole thermodynamics or Euclidean path integrals. Most introductory texts mention it in a footnote and never return to it. If you plan to go further into quantum gravity or black hole physics, you need to understand this from the start. The boundary term is GHY = 2K(|h|) d³x on the boundary, where K is the extrinsic curvature and h is the induced metric.

Get the Full Details

A Short Course in General Relativity - James Foster, J.David (State University of New York ...
A Short Course in General Relativity - James Foster, J.David (State University of New York ...

I also want to address what happens when these courses fail you. A short course in general relativity will give you the formalism. It will not give you the physical intuition that comes from solving problems in different gauges, from seeing the same physics expressed in synchronous coordinates versus ADM form versus null coordinates. I once had a colleague who could derive the Kerr metric from the Einstein equations in standard coordinates but had no idea how to extract the mass and angular momentum from it because he had never seen the ADM formalism. The conserved charges require a specific asymptotic decomposition of the metric, and without that tool, the physical content of an exact solution is invisible to you. The practical bottleneck most people hit is computational. Hand-computing the Riemann tensor for anything beyond Schwarzschild and Kerr is tedious and error-prone. I started using a Python package called xAct for Mathematica about four years ago, and it cut my calculation time for exact solutions from hours to minutes. You define the manifold, the metric, and ask for the curvature objects. It handles the index gymnastics automatically. The learning curve is real but shallow, and the investment pays off immediately. I know some purists argue that you should compute things by hand to build intuition, and there is some truth to that for the simplest cases. But once you are dealing with perturbed metrics or higher-dimensional analogs, manual computation is not just slow, it is unreliable. I have caught errors in published papers that were clearly computational mistakes, and they would have been obvious with a symbolic algebra system. If you are looking for a place to start, a solid short course in general relativity should cover at minimum the following topics in sequence: the geometry of smooth manifolds and tensor fields, affine connections and parallel transport, curvature tensors and their symmetries, the Einstein equations and their derivation from an action principle, exact solutions including Schwarzschild and Friedmann models, geodesic deviation and tidal forces, and a brief introduction to gravitational radiation. Anything shorter than that is a survey, not a course. You will come away with the vocabulary but not the ability to do calculations.

There are free lecture notes online from several universities that serve this purpose well. The ones from Stanford by Andrew Strominger and from MIT by Alan Guth are thorough and include problem sets with solutions. Paid courses on platforms like edX or Coursera tend to be lighter on the mathematics, which is fine if your goal is conceptual understanding, but inadequate if you actually want to compute things. The difference is important. Reading about GR and being able to derive the perihelion shift of Mercury from the geodesic equation are two different skills, and short courses that emphasize the former over the latter are doing you a disservice if your goal is technical proficiency. One final point that I wish more people understood: general relativity is not a theory that you can master by passive consumption. You cannot watch lectures and read derivations and feel like you understand it. The understanding comes from struggling through calculations where things go wrong, where your Christoffel symbols don't match the answer key, where your geodesic equation gives a trajectory that makes no physical sense. That frustration is not a sign that you are bad at this. It is the mechanism by which the material becomes internalized. I still check my sign conventions on every calculation, even after twenty years of working with this stuff. That is how serious you have to be about the details.