Lovelock's Theorem

A uniqueness result in classical gravitation proved by David Lovelock in "The Einstein Tensor and Its Generalizations" (Journal of Mathematical Physics 12, 498–501, 1971): in four spacetime dimensions, the only symmetric, divergence-free, second-order tensor that can be constructed from the metric and its first two derivatives is the Einstein tensor plus a cosmological-constant term. It is the standard answer to "why these field equations and not others" — once general covariance, locality, second-order equations, and energy–momentum conservation are imposed together, Einstein's equations are singled out (up to the cosmological term) rather than postulated. In dimensions above four the same reasoning admits the higher-order "Lovelock gravity" generalizations, which is why the dimension restriction is load-bearing.

Matters to this vault as the arbitration criterion at the heart of several GR-foundations arguments. It is the beam that lets de Haro and Elizalde (2026) claim their operationally reconstructed linearized gravity is forced to complete into Einstein's equations specifically (claim-de-haro-elizalde-2026-invoke-lovelock-theorem-to-force-einstein-equations), and it is the premise set that alternative-formulation programs widen: the metric-affine and Geometric Trinity theories live precisely by relaxing or re-reading Lovelock's assumptions (second-order, metricity, which geometric objects are allowed). A uniqueness theorem is only as strong as its premises, and this vault's gravity cluster is largely a tour of which premise each program chooses to drop.

References

• claim-de-haro-elizalde-2026-invoke-lovelock-theorem-to-force-einstein-equations — invokes the theorem to force Einstein's equations as the nonlinear completion of operational gravity
• Related hubs: entity-geometric-trinity · entity-metric-affine-gauge-theory-of-gravity · entity-hypermomentum
• Originating paper not yet independently read: D. Lovelock, "The Einstein Tensor and Its Generalizations," J. Math. Phys. 12, 498–501 (1971).

Log

• 2026-10-31: Page created at promotion of the de Haro & Elizalde "Cartographing Gravity" capture, where the theorem is the load-bearing (and only genuinely independent) primary in the paper's derivation. Named for its author, David Lovelock; a separate person-hub was not created (his single vault-relevant act is this theorem). Bias-against-flood: concept hub, not person hub.