SUMMARY
The ADM formalism reformulates Einstein's equations using the lapse function (N), shift vector (Ni), spatial metric, and extrinsic curvature, but it does not provide evolution equations for lapse and shift because these represent gauge freedom related to coordinate choices. Fixing lapse and shift corresponds to choosing a gauge, yet this does not completely fix the gauge freedom, analogous to gauge freedom in electrodynamics when fixing A0. The gauge must be fixed explicitly to solve the Einstein equations uniquely, and the ADM equations themselves do not depend on the gauge choice. For numerical simulations or short-time evolution, one must impose gauge conditions to determine lapse and shift evolution consistently.
PREREQUISITES
- ADM formalism in General Relativity
- Gauge freedom and gauge fixing in differential geometry
- Einstein field equations and their 3+1 decomposition
- Concept of lapse function and shift vector in spacetime foliation
NEXT STEPS
- Study gauge conditions used in ADM formalism, such as harmonic or maximal slicing
- Learn numerical relativity techniques for evolving lapse and shift (e.g., Bona-Masso slicing)
- Explore the analogy between gauge fixing in electrodynamics and General Relativity
- Review the paper "Gauge conditions for the Einstein equations and their numerical implementation" (arXiv:gr-qc/9412071)
USEFUL FOR
Researchers and students in numerical relativity, gravitational wave simulation, and theoretical physicists working on the initial value problem in General Relativity who need to understand gauge fixing and coordinate choices within the ADM formalism.