[Paper Review] Mathematical general relativity: a sampler

Piotr T. Chruściel, Gregory J. Galloway+1 more|arXiv (Cornell University)|Apr 7, 2010

Cosmology and Gravitation Theories236 references4 citations

TL;DR

This paper provides a comprehensive, mathematically rigorous survey of recent advances in mathematical general relativity, focusing on foundational topics such as Lorentzian geometry, black hole theory, the Cauchy problem, initial data sets, and dynamical evolution. It synthesizes key results—including the positive mass theorem, uniqueness theorems for black holes, and stability of Minkowski space—while highlighting open problems in cosmic censorship, initial data construction, and asymptotic behavior of solutions to the Einstein equations.

ABSTRACT

We provide an introduction to selected recent advances in the mathematical understanding of Einstein's theory of gravitation.

Motivation & Objective

• To provide a mathematically oriented introduction to recent developments in mathematical general relativity for researchers in geometry and PDEs.
• To unify and clarify foundational concepts in Lorentzian geometry, causal structure, and the Einstein equations.
• To survey major results in black hole theory, including uniqueness theorems, near-horizon geometry, and marginally trapped surfaces.
• To present progress on the Cauchy problem, constraint equations, and global evolution, including stability and cosmic censorship.
• To compile and highlight open problems in mathematical relativity, particularly in low regularity, non-perturbative dynamics, and global structure.

Proposed method

• Uses Lorentzian manifold theory and causal theory as a foundation for analyzing space-time structure and causality.
• Applies geometric analysis and elliptic/hyperbolic PDE techniques to study the Einstein constraint and evolution equations.
• Employs gluing methods and conformal techniques to construct initial data sets with prescribed properties.
• Analyzes solutions via reduction to wave coordinates and hyperbolic formulations to establish well-posedness of the Cauchy problem.
• Investigates dynamical behavior using symmetry reductions (e.g., $U(1)\times U(1)$, spherical symmetry) and asymptotic analysis near singularities.
• Utilizes the concept of marginally outer trapped surfaces (MOTS) to study black hole boundaries and their topological constraints.

Experimental results

Research questions

• RQ1 What are the necessary and sufficient conditions for the existence and uniqueness of stationary black hole solutions in vacuum Einstein gravity?
• RQ2 Under what regularity assumptions is the Cauchy problem for the Einstein equations locally well-posed?
• RQ3 Can the positive energy theorem be extended to all dimensions without requiring spin structures?
• RQ4 Does generic initial data for Einstein's equations lead to space-times that develop singularities with BKL-type oscillatory behavior?
• RQ5 Is the Kerr solution stable under small vacuum perturbations, and what is the role of trapped surfaces in this context?

Key findings

• The positive energy theorem holds for asymptotically flat initial data sets, ensuring non-negative total mass, with equality only for Minkowski space.
• Uniqueness theorems for stationary black holes (e.g., Kerr) have been established under assumptions of analyticity, non-degeneracy, and connected horizons, but remain open in general.
• The stability of Minkowski space-time under small vacuum perturbations has been proven via two independent methods: Christodoulou-Klainerman and Lindblad-Rodnianski.
• The existence of marginally outer trapped surfaces (MOTS) is guaranteed under dominant energy conditions, and their topology is constrained by the positive Yamabe type of the underlying manifold.
• The near-horizon geometry of extremal black holes satisfies a specific Einstein-like equation, and classification of such geometries remains an open problem in low dimensions.
• Strong cosmic censorship is supported in certain symmetric models (e.g., Gowdy, $U(1)\times U(1)$), but remains unproven in general, especially for non-analytic data.