Einstein Field Equations

Einstein’s field equation turns curvature from kinematics into dynamics. This chapter builds the equation term by term, fixes its normalization against Newtonian gravity, separates geometric identities from matter equations, and tracks how dimension, trace, constraints, gauge freedom, and uniqueness hypotheses change what the equation means. It stays local and structural: full initial-value formulations, named exact solutions, numerical evolution, and observational bounds are treated elsewhere.

Helpful background. Review Minkowski geometry for the weak-field benchmark, natural tensor operations for covariance, the Riemann curvature tensor for Ricci contractions and Bianchi identities, Hilbert stress–energy for the source, the scope of the equivalence principles for what local metric physics does not determine, and presymplectic potentials for the later variational viewpoint.

Enter the field equation

The central relation is

$$G_{\mu\nu}+\Lambda g_{\mu\nu}=8\pi G\,T_{\mu\nu}, \qquad G_{\mu\nu}=R_{\mu\nu}-\frac12Rg_{\mu\nu}.$$

Its structure contains the chapter’s recurring checks. Both sides are symmetric. The geometric side is identically divergence-free when $\Lambda$ is constant. All terms have curvature dimension. For a weak, stationary field sourced by slow matter, the $00$ equation reduces to

$$\nabla^2\Phi\simeq4\pi G\rho-\Lambda.$$

Ordinary Poisson gravity is recovered when $\Lambda=0$, or when the cosmological term is negligible on the length scale considered. Matching the matter term fixes the factor $8\pi G$. Carroll develops the $\Lambda=0$ route from Poisson gravity through the trace-reversed equation in Carroll 1997, § 4, printed pp. 109–113, PDF.

These facts constrain the equation without making it inevitable. Equivalence principles support a Lorentzian metric description of local nongravitational physics; they do not select this particular nonlinear field law. Lovelock uniqueness supplies a conditional classification, not an unrestricted uniqueness theorem for gravity.

Choose a route

For a first derivation, read the Einstein equation, the cosmological term, Bianchi consistency, and trace reversal in order. This route answers why the tensor has its particular trace adjustment, how the Newtonian coefficient is fixed, and exactly when vacuum is Ricci flat.

For field-equation structure, begin with the equation, continue to the Bianchi identity, and then study constraints, evolution, and gauge content. It separates ten displayed components from four constraints and two linearized gravitational polarizations without attempting a full hyperbolic formulation.

For theory-space boundaries, read the equation and then the Lovelock page. The key question becomes not “Is Einstein gravity unique?” but “Which locality, naturality, order, dimension, regularity, and field-content hypotheses have been imposed?”

Chapter contents

1. The Einstein Equation defines every term, checks dimensions and symmetry, and derives the $8\pi G$ normalization.
2. The Cosmological Constant compares its geometric and effective-vacuum-stress descriptions and derives $p_\Lambda=-\rho_\Lambda$.
3. Bianchi Identity and Stress-Energy Conservation distinguishes the off-shell geometric identity from on-shell matter conservation and from global charges.
4. Trace, Trace Reversal, and Vacuum Equations performs the algebra in $D$ dimensions and isolates the exceptional two-dimensional case.
5. Constraints, Evolution, and Gauge Content projects the equations relative to a spacelike slice and gives the bounded degree-of-freedom count.
6. Lovelock Uniqueness and Its Hypotheses states the exact four-dimensional theorem, sketches its invariant-theory proof architecture, and exhibits explicit departures from every major hypothesis.

Distinctions to keep visible

Moving $\Lambda g_{\mu\nu}$ across the equality is algebra; changing a vacuum contribution in the action changes a parameter and can change solutions. The Bianchi identity holds for every metric; $\nabla^\mu T_{\mu\nu}=0$ generally uses the matter equations. Vanishing trace $T=0$ is weaker than vanishing tensor $T_{\mu\nu}=0$. Vacuum is Ricci flat only for $D>2$ and $\Lambda=0$, and Ricci flat is weaker than flat because Weyl curvature may survive.

Likewise, four Bianchi identities are not four gauge choices. Relative to a spacelike hypersurface there is one Hamiltonian and three momentum constraints; four coordinate functions encode diffeomorphism freedom. Their interplay leaves two propagating polarizations in four-dimensional linearized vacuum gravity, but counting alone neither selects a formulation nor proves well-posedness. Reall’s normal and tangential projections appear in Reall 2013, § 11.4, printed p. 128, Eqs. (11.23)–(11.26), PDF.

Check your preparation

In $D>2$, begin with

$$G_{\mu\nu}+\Lambda g_{\mu\nu}=\kappa_DT_{\mu\nu}.$$

Derive its trace-reversed form. Then decide whether each claim is true: (a) $T=0$ implies vacuum; (b) vacuum implies Ricci flatness; (c) the Bianchi identity by itself proves every matter equation.

Solution

Tracing gives

$$R=\frac{2D\Lambda-2\kappa_DT}{D-2},$$

and substitution gives

$$R_{\mu\nu} =\kappa_D\left(T_{\mu\nu}-\frac{T}{D-2}g_{\mu\nu}\right) +\frac{2\Lambda}{D-2}g_{\mu\nu}.$$

Claim (a) is false: a nonzero trace-free source can have $T=0$. Claim (b) is true only if $\Lambda=0$; otherwise vacuum gives $R_{\mu\nu}=2\Lambda g_{\mu\nu}/(D-2)$. Claim (c) is false: the geometric identity enforces source compatibility, while dynamical matter conservation normally follows from the matter Euler–Lagrange equations and diffeomorphism invariance.

Onward choices

Continue to Matter Coupling and Stress-Energy to derive concrete sources, or to Einstein-Hilbert Action and Boundary Terms to derive the field equation variationally. For decompositions, gauge-fixed hyperbolic systems, and initial/boundary data, use GR Formulations.

References

• Carroll, Sean M. “Lecture Notes on General Relativity.” NSF-ITP/97-147, arXiv:gr-qc/9712019v1 (1997). arXiv record.
• Reall, Harvey S. General Relativity. Cambridge Part III lecture notes (2013), §§ 6.7 and 11.4, printed pp. 63–65 and 128. PDF.