ADM formalism

ADM formalism The ADM formalism is a Hamiltonian formulation of General relativity developed by Richard Arnowitt, Stanley Deser, and Charles W. Misner in 1959 that recasts Einstein field equations into a 3+1 decomposition suited for canonical analysis, numerical simulation, and quantization. It provides a split of spacetime into spatial hypersurfaces labeled by a time parameter, enabling connections to the Hamilton–Jacobi equation, Dirac constraint theory, and the canonical approaches pursued by researchers at institutions such as Princeton University, Harvard University, and the Institute for Advanced Study. The formalism influenced subsequent work by figures like Bryce DeWitt, John Wheeler, Paul Dirac, Kip Thorne, and groups at Caltech, MIT, and Perimeter Institute.

Introduction

The ADM formalism emerged from efforts to place Einstein field equations in a canonical framework alongside developments in Hamiltonian mechanics, Lagrangian mechanics, and canonical quantization pursued by Paul Dirac, Wheeler–DeWitt equation investigators, and researchers at CERN. Arnowitt, Deser, and Misner presented a decomposition that isolates the dynamical degrees of freedom on spatial slices in the spirit of earlier work by Tullio Levi-Civita and contemporaneous analyses by Richard Feynman and Yakov Zel'dovich. The approach clarifies the roles of the lapse and shift functions, links to the notion of energy in asymptotically flat spacetime studied by Arnowitt–Deser–Misner energy, and set the stage for numerical relativity projects led by groups at Caltech, Max Planck Institute for Gravitational Physics, and AEI.

Mathematical formulation

The ADM decomposition expresses the spacetime metric g_{μν} in terms of a family of spatial metrics γ_{ij} on hypersurfaces Σ_t with embedding variables given by the lapse N and shift N^i, a prescription refined in the literature by Misner, Thorne and Wheeler, Bryce DeWitt, and later codified in textbooks by Carroll (Sean Carroll), Wald (Robert Wald), and Hawking (Stephen Hawking). The line element is written using γ_{ij}, N, and N^i, connecting to extrinsic curvature K_{ij} defined via Lie derivatives along the normal vector n^μ; these constructions echo mathematical methods from Élie Cartan, Hermann Weyl, and Bernhard Riemann. The canonical momenta π^{ij} conjugate to γ_{ij} are built from K_{ij}, and the ADM action is obtained by Legendre transforming the Einstein–Hilbert action, a process paralleling treatments by David Hilbert and Emmy Noether concerning variational principles and conserved quantities. This formulation interfaces with constraint analyses in the work of Paul Dirac and with global considerations investigated by Roger Penrose and Eugene Wigner.

Hamiltonian and constraint structure

In the ADM picture the Hamiltonian density is a sum of constraint terms: the scalar (Hamiltonian) constraint and the vector (momentum) constraints, whose algebra exhibits structure related to the hypersurface deformation algebra analyzed by Claudio Teitelboim and Karel Kuchař. The first-class nature of these constraints mirrors insights from Dirac constraint quantization and the BRST framework developed by Becchi–Rouet–Stora and I. V. Tyutin, while canonical reduction techniques were advanced by Anderson (James Anderson), York (James W. York), and York (J. W.)'s conformal method used to solve initial-value problems. The ADM energy and momentum definitions for asymptotically flat spacetimes were formalized by Arnowitt–Deser–Misner and connected to positive energy theorems proven by Edward Witten and Richard Schoen, with implications for conserved charges studied by Noether (Emmy Noether) and later by Ashtekar (Abhay Ashtekar).

Applications and examples

ADM methods underpin modern numerical relativity simulations used by collaborations like LIGO Scientific Collaboration, Virgo Collaboration, and groups at Caltech and MIT to model binary black hole mergers, as developed in landmark simulations associated with Frans Pretorius, Manuela Campanelli, and Baker (John Baker). The formalism informs canonical quantum gravity programs such as the Wheeler–DeWitt equation approach, loop quantum gravity research led by Carlo Rovelli and Lee Smolin, and semiclassical analyses performed by Stephen Hawking and Gary Gibbons. In cosmology, ADM slicing is applied to perturbation theory in studies by Alexei Starobinsky, Andrei Linde, and Alan Guth for inflationary initial conditions, and to post-Newtonian approximations used by Luc Blanchet and Thibault Damour in gravitational-wave template construction. The treatment of isolated systems and black hole thermodynamics links to work by Jacob Bekenstein and Stephen Hawking.

Extensions and generalizations

Extensions of the ADM formalism include first-order formulations like the Palatini and tetrad formalisms employed by Élie Cartan and Tullio Levi-Civita variants, connection formulations developed in Ashtekar (Abhay Ashtekar) variables, and covariant phase space methods used by Lee (J. David Lee), Wald (Robert Wald), and Julia (Bernard Julia). Higher-dimensional generalizations appear in studies of Kaluza–Klein theory and string theory by researchers at Institute for Advanced Study, Princeton University, and CERN. The ADM framework has been adapted for asymptotically anti-de Sitter spacetimes relevant to the AdS/CFT correspondence explored by Juan Maldacena and for modified gravity models investigated by Clifton (Tom Clifton), Padilla (Antonio Padilla), and Sean Carroll. Canonical quantization efforts connect ADM-based constraints to path integral approaches championed by Richard Feynman and semiclassical techniques applied by Gerard 't Hooft and Leonard Susskind.

Category:General relativity