Cited by 72Geometric Analysis and Curvature FlowsAdvanced Differential Geometry ResearchRelativity and Gravitational Theory

On the global evolution problem in 2 + 1 gravity

Open access
Anderson, Lars, Moncrief, Vincent, Tromba, Anthony J.·1997·Journal of Geometry and Physics

Abstract

Abstract Existence of global constant mean curvature (CMC) foliations of constant curvature 3-dimensional maximal globally hyperbolic Lorentzian manifolds, containing a constant mean curvature hypersurface with genus(Σ> 1, is proved. Constant curvature 3-dimensional Lorentzian manifolds can be viewed as solutions to the 2 + 1 vacuum Einstein equations with a cosmological constant. The proof is based on the reduction of the corresponding Hamiltonian system in CMC gauge to a time-dependent Hamiltonian system on the cotangent bundle of Teichmuller space. Estimates of the Dirichlet energy of the induced metric play an essential role in the proof.

AI snapshot

Written from the paper’s full text.

TL;DR

The paper proves global existence for the 2+1 vacuum Einstein equations with cosmological constant in constant mean curvature (CMC) gauge for spacetimes containing a CMC hypersurface of genus \(>1\), and hence that such maximal globally hyperbolic spacetimes are globally foliated by CMC hypersurfaces. The proof reduces the problem to a time-dependent Hamiltonian system on the cotangent bundle of Teichmüller space and controls the evolution using area and Dirichlet energy estimates.

Key findings

  • Theorem 4.1: For a compact oriented surface \(\Sigma\) of genus \(>1\), a maximal globally hyperbolic solution of the vacuum Einstein equations with cosmological constant \(\Lambda\), developed from CMC data with mean curvature \(\tau_0\), has CMC-gauge evolution for all \(\tau\) allowed by the constraints; if \(\Lambda \ge 0\), one assumes \(\tau_0 > \sqrt{2\Lambda}\).
  • The area satisfies \(\mathrm{Area}(\Sigma,g(\tau)) \to 0\) as \(\tau \to \pm\infty\), and for \(\Lambda \ge 0\), \(\mathrm{Area}(\Sigma,g(\tau)) \to \infty\) as \(\tau \searrow \sqrt{2\Lambda}\).
  • For \(\Lambda > 0\), the Dirichlet energy \(\hat E(g(\tau))\) is bounded in the expanding direction \(\tau \searrow \sqrt{2\Lambda}\), and the class of \(g(\tau)\) stays in a compact subset of Teichmüller space \(T(\Sigma)\).
  • Corollary 4.2: The spacetime \((\Sigma \times I, \bar g)\) is globally foliated by CMC hypersurfaces. Lemma 3.3 also gives \(\tau^2/2 > \Lambda\) for genus \(>1\) CMC data, with pointwise bounds on \(\pi^{TT}\) and the lapse \(N\).

Methods

  • The paper reduces 2+1 vacuum gravity with cosmological constant in CMC gauge to a smooth time-dependent Hamiltonian system on \(T^*T(\Sigma)\), the cotangent bundle of Teichmüller space, using the conformal constraint equations and a slice \(\sigma\).
  • It uses Teichmüller theory, the Dirichlet energy as a proper function on \(T(\Sigma)\), Calabi–Simons identities for transverse-traceless tensors, the maximum principle, and Jacobi/Riccati equations in Gauss coordinates.
  • The main estimates are an area estimate (Lemma 4.4) and a Dirichlet energy estimate (Lemma 4.5), which are used to prove global existence and the CMC foliation.

Limitations

  • Stated in the paper: for genus \(>1\), there is no explicit solution of the equations of motion except in the trivial case \(\pi^{TT}=0\). The results assume the spacetime contains a CMC hypersurface and, for \(\Lambda \ge 0\), that \(\tau_0 > \sqrt{2\Lambda}\).
  • Evident from the text: the proof is restricted to 2+1 dimensions, genus \(>1\), CMC gauge, and the chosen spatial slice \(\sigma\); the \(S^2\) and \(T^2\) cases are treated separately and are not covered by the main theorem.

Model-written summary. Check it against the paper before relying on it.

Integrity signals

Registry

Crossref · 10.1016/s0393-0440(97)87804-7

Cites

6 of 6 references verified0 citation errors · 0 not checkable

Statistics

Nothing to recompute.

Claims the paper makes

1 of 8 cited sources checked · 0 supported · 0 flagged · accuracy not yet measured

  • Findingcitation
    § 3. Vacuum 2+1 gravity · p. 6

    The Calabi-Simons identities (18)-(20) hold for K ∈ S^2_TT(T*Σ, g).

    “Lemma 3.1. The following identities hold for K ∈ S 2 TT ( T ∗ Σ , g ) .”
    Quote in the paperNot a substantial claim1 of 1 sources checked
    • cites [1] Choi, 1990, Gauss maps of spacelike constant mean curvature hypersurfaces of Minkowski space, J. Differ. Geom. source

      In §1 (page unavailable), the paper gives a commutation formula for the second fundamental form and a Bochner-type formula it calls a Simons identity. These support the general connection to Simons identities, but the passages concern the second fundamental form of a spacelike hypersurface, not the stated identities (18)–(20) for an arbitrary transverse-traceless tensor K. (LLM, conf=0.83)

      Experimental — accuracy not yet measured
  • Findingreasoning
    § 4. Global existence · p. 13

    For a solution (g(τ), π(τ)) of the CMC-gauge evolution equations, the Dirichlet energy satisfies the differential inequality |∂τ ̂E(g)| ≤ max(N |π_TT|_g) ̂E(g).

    “which gives the estimate | ∂ τ ̂ E ( g ) | ≤ max( N | π TT | g ) ̂ E ( g ) .”
    Quote in the paperSubstantial claim
  • Findingreasoning
    § 4. Global existence · p. 12

    For a solution (g(τ), π(τ)) of the CMC-gauge evolution equations, the area satisfies the differential inequality ∂τ log(Area(Σ, g)) ≤ -τ/(2√(τ^2 - 2Λ)).

    “∂ τ log(Area(Σ , g )) ≤ - τ 2 τ - 2Λ .”
    Quote in the paperSubstantial claim
  • Findingreasoning
    § 4. Global existence · p. 14

    The coordinates pα in the fiber of T*T(Σ) are bounded uniformly under the conditions on τ, so the interval of existence for the reduced system can be extended to the intervals claimed in Point 1 of Theorem 4.1.

    “Referring again to the area estimate in Lemma 4.4 we find that the coordinates p α in the fiber of T ∗ T (Σ) are bounded uniformly under the conditions on τ . Therefore it follows that we can extend the interval of existence for the reduced system to the intervals claimed in Point 1.”
    Quote in the paperSubstantial claim
  • Findingreasoning
    § 3. Vacuum 2+1 gravity · p. 8

    For Λ ≥ 0, there is causal geodesic completeness in the expanding direction.

    “Finally, we note that in case Λ ≥ 0 we have causal geodesic completeness in the expanding direction.”
    Quote in the paperSubstantial claim
  • May combine two claims. 3
  • Classified as probably not a substantial claim. 2
  • May combine two claims.

    Findingnone given
    § 4. Global existence · p. 9

    Under the hypotheses of Theorem 4.1, the area Area(Σ, g(τ)) of Σ with respect to the induced metric g(τ) at mean curvature time τ tends to 0 as τ → ±∞, and for Λ ≥ 0 it tends to ∞ as τ ց √2Λ.

    “2. The area Area(Σ , g ( τ )) of Σ w.r.t. the induced metric g ( τ ) at mean curvature time τ satisfies Area(Σ , g ( τ )) → 0 as τ → ±∞ and in the case Λ ≥ 0 , Area(Σ , g ( τ )) →∞ as τ ց √ 2Λ .”
    Quote in the paperSubstantial claim
  • May combine two claims.

    Findingreasoning
    § 4. Global existence · p. 13

    From the energy estimate and the properness of the Dirichlet energy on T(Σ), the Dirichlet energy ̃E(q) is bounded for τ ∈ (τmin, τmax), and therefore q(τ) stays in a compact subset of T(Σ).

    “From Lemma 4.5 we know that the Dirichlet energy ˜ E ( q ) is bounded for τ ∈ ( τ min , τ max ) By Proposition 2.2, the Dirichlet energy is a proper function on T (Σ) and therefore for such τ , q ( τ ) stays in a compact subset of T (Σ).”
    Quote in the paperSubstantial claim
  • May combine two claims.

    Premisecitation
    § Proposition 2.1 ([5]) . · p. 4

    Teichmüller space T(Σ) is geodesically convex with respect to the Weil-Peterson metric but not complete.

    “T (Σ) is geodesically convex w.r.t. the Weil-Peterson metric but not complete.”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [5] Tromba, 1992, Teichmüller Theory in Riemannian Geometry source
  • Classified as probably not a substantial claim.

    Premisecitation
    § 1. Introduction · p. 2

    The existence of a global CMC foliation was left open in Mess's work.

    “The question of existence of a global CMC foliation was left open in this work.”
    Quote in the paperSubstantial claim0 of 1 sources checked
    • cites [3] Mess, 1990, Lorentz spacetimes of constant curvature, Institute des Hautes Etudes Scientifiques, preprint IHES/M/90/28

      Not checked in the free run.

  • Probably not a substantial claim: may not pass S3 (load-bearing).

    Premisecitation
    § 1. Introduction · p. 1

    In the 2+1 dimensional case with Σ a compact oriented surface, the conformal method ideas can be carried out in full detail.

    “In the 2+1 dimensional case with Σ a compact oriented surface, the above ideas can be carried out in full detail [4].”
    Quote in the paperNot a substantial claim0 of 1 sources checked
    • cites [4] Moncrief, 1989, Reduction of the Einstein equation in 2 + 1 dimensions to a Hamiltonian system over Teichmüller space, J. Math. Phys. source
5 of 5

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

  • York time-slicing, in which mean extrinsic curvature is used as a time coordinate, is a good global coordinate choice for classical solutions of the vacuum field equations.

    “Andersson et al. have shown that this is a good global coordinate choice for classical solutions of the vacuum field equations [20].”

    From Quantum Gravity in 2 + 1 Dimensions: The Case of a Closed Universe (2005) · cites this paper as [20]

    Theorem 4.1 and Corollary 4.2 (Global existence, p. 9) establish global evolution in constant-mean-curvature time and a global CMC foliation. The result is limited to specified 2+1-dimensional vacuum spacetimes with compact spatial surfaces of genus greater than one and CMC initial data; it does not establish the unqualified claim for classical vacuum solutions generally. (LLM, conf=0.88)

    Experimental — accuracy not yet measured
  • Spacetimes with Λ < 0 expand from a big bang and recollapse in a big crunch, while those with Λ ≥ 0 expand forever.

    “Spacetimes with Λ < 0 expand from a big bang and recollapse in a big crunch, while those with Λ ≥ 0 expand forever [200, 20].”

    From Quantum Gravity in 2 + 1 Dimensions: The Case of a Closed Universe (2005) · cites this paper as [20]

    Section 3 (p. 6) says that, for trivial solutions with spatial genus greater than 1, Λ < 0 gives a ‘big bang’ and ‘big crunch,’ while Λ ≥ 0 gives infinite expansion in one direction. Theorem 4.1 (section 4, p. 9) extends the area behavior to the specified genus-greater-than-1 vacuum developments, and section 3 (p. 8) reports completeness in the expanding direction for Λ ≥ 0. The citing sentence omits these restrictions and presents the pattern as applying to spacetimes generally. (LLM, conf=0.87)

    Experimental — accuracy not yet measured

Cites

Flagged first, then by citations

1 of the 7 references couldn’t be matched to a known paper.

Cited by

Sorted by citations

Authors
Anderson, L., Moncrief, V., & Tromba, A. J.
Affiliations
  • KTH Royal Institute of Technology (SE)
  • Yale University (US)
  • University of California, Santa Cruz (US)
Venue
Journal of Geometry and Physics
Publisher
Elsevier BV
Published
1997-11
Volume
23
Issue
3-4
Pages
191-205
ISSN
0393-0440 (ISSN-L)
OpenAlex
W2047621451
Cited by
72
References
7
Citations by year
2025: 3 · 2024: 4 · 2023: 2 · 2022: 1 · 2021: 1 · 2020: 6 · 2019: 1 · 2018: 2 · 2017: 3 · 2016: 2 · 2015: 2 · 2014: 1 · 2013: 1 · 2012: 1
FWCI
5.33
Type
journal article
Language
en
Open access
Locations
  • Journal of Geometry and Physics (publishedVersion)
  • arXiv (Cornell University) (submittedVersion)
  • CERN Document Server (European Organization for Nuclear Research) (submittedVersion)
  • arXiv (Cornell University)
Topics
  • Physical Sciences › Mathematics › Applied Mathematics › Geometric Analysis and Curvature Flows
  • Physical Sciences › Physics and Astronomy › Astronomy and Astrophysics › Advanced Differential Geometry Research
  • Physical Sciences › Physics and Astronomy › Astronomy and Astrophysics › Relativity and Gravitational Theory
Keywords
three-dimensional gravity, vacuum Einstein equations, cosmological constant, constant mean curvature hypersurfaces, Teichmüller space, Hamiltonian systems, Dirichlet energy, global existence

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Claims read by deepseek-v4.1-flash under definition version 3 (extract-v3) on 2026-11-03.

Classified by jev-1.13-20260917 (gold-guideline-v0.2) on 2026-11-03.

Cited sources are checked by gpt-6-sol.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review