pith. sign in

arxiv: 2602.14806 · v2 · submitted 2026-02-16 · 🧮 math.DG

Minimizing the volume of globally hyperbolic anti-de Sitter 3-manifolds

Gabriele Mondello , Nicolas Tholozan This is my paper

Pith reviewed 2026-05-15 21:52 UTC · model grok-4.3

classification 🧮 math.DG
keywords anti-de Sitterglobally hyperbolicvolume boundFuchsian manifoldsEuler characteristic3-manifoldsLorentzian geometry
0
0 comments X

The pith

The volume of any maximal globally hyperbolic Cauchy-compact anti-de Sitter 3-manifold is at least π² times the absolute value of its Euler characteristic, achieved only for Fuchsian manifolds.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper proves a sharp lower bound for the volume of 3-manifolds modeled on anti-de Sitter space that are maximal, globally hyperbolic, and Cauchy-compact. The bound states that volume is always at least π² times the absolute Euler characteristic of the manifold. Equality holds precisely when the manifold is Fuchsian, that is, when it comes from a pair of hyperbolic surfaces glued in the standard way. The result matters because it gives a concrete size control on these Lorentzian spacetimes and identifies exactly which ones are smallest for a given topology.

Core claim

The paper proves that for a maximal globally hyperbolic Cauchy-compact anti-de Sitter 3-manifold M, vol(M) ≥ π² |χ(M)|, with equality if and only if M is Fuchsian.

What carries the argument

The volume functional on the space of maximal globally hyperbolic Cauchy-compact anti-de Sitter structures, minimized exactly at the Fuchsian ones.

If this is right

  • Only Fuchsian manifolds attain the minimal volume.
  • No such manifold can have volume smaller than the stated bound for its topology.
  • The result gives a complete classification of volume minimizers among these spacetimes.
  • It supplies a quantitative rigidity statement analogous to known bounds in Riemannian hyperbolic geometry.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same volume bound might hold in other constant-curvature Lorentzian settings with similar compactness conditions.
  • One could test the sharpness by explicit volume computations on known non-Fuchsian examples constructed from quasi-Fuchsian surface groups.
  • The result suggests studying the volume as a function on the moduli space of such AdS structures to locate its global minimum.

Load-bearing premise

The manifolds are assumed to be maximal, globally hyperbolic, and Cauchy-compact.

What would settle it

A counterexample would be any maximal globally hyperbolic Cauchy-compact anti-de Sitter 3-manifold that is not Fuchsian yet has volume strictly less than π² |χ(M)|.

read the original abstract

In this paper we show that the volume of a maximal globally hyperbolic Cauchy-compact anti-de Sitter $3$-manifold $M$ is at least $\pi^2|\chi(M)|$, and that this minimum value is attained if and only if $M$ is Fuchsian.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper proves that the volume of any maximal globally hyperbolic Cauchy-compact anti-de Sitter 3-manifold M satisfies vol(M) ≥ π² |χ(M)|, with equality if and only if M is Fuchsian.

Significance. If the result holds, it supplies a sharp topological lower bound on the volume of maximal GH AdS 3-manifolds, attained precisely in the Fuchsian case. The argument reduces the problem via the Mess correspondence to pairs of hyperbolic metrics on the Cauchy surface and applies a direct volume formula whose minimum occurs when the metrics coincide; equality follows from the vanishing of a non-negative remainder term equivalent to a Gauss-Bonnet identity. The derivation is parameter-free and uses only standard tools of the field, yielding a clean, falsifiable statement with no invented entities.

minor comments (2)
  1. The introduction references the Mess correspondence but would benefit from a one-sentence reminder of its precise statement to improve self-contained reading for non-specialists.
  2. In the section deriving the volume formula, the expression relating vol(M) to the two hyperbolic metrics could be isolated as a numbered display equation for easier cross-reference in the equality-case argument.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. The referee's summary correctly captures the main theorem: the volume of any maximal globally hyperbolic Cauchy-compact anti-de Sitter 3-manifold is bounded below by π²|χ(M)|, with equality if and only if the manifold is Fuchsian.

Circularity Check

0 steps flagged

Derivation self-contained via Mess correspondence and Gauss-Bonnet

full rationale

The central lower bound follows directly from the Mess correspondence (reducing maximal GH AdS 3-manifolds to pairs of hyperbolic metrics on the Cauchy surface) together with an explicit volume formula whose minimum is attained precisely when the metrics coincide. The inequality itself is obtained by applying the Gauss-Bonnet theorem plus non-negativity of a remainder term that vanishes exactly in the Fuchsian case; both the correspondence and the inequality are standard external results independent of the present paper's fitted quantities or self-citations. No step reduces by construction to a parameter fit, self-definition, or load-bearing self-citation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the established definitions and properties of anti-de Sitter geometry, global hyperbolicity, and Cauchy-compactness from prior work in the field, without introducing new free parameters or invented entities.

axioms (1)
  • domain assumption Standard definitions and basic properties of anti-de Sitter 3-manifolds, global hyperbolicity, maximality, and Cauchy-compactness
    These are invoked implicitly in the statement of the theorem and drawn from the existing literature on Lorentzian geometry.

pith-pipeline@v0.9.0 · 5330 in / 1224 out tokens · 37220 ms · 2026-05-15T21:52:51.136227+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · 1 internal anchor

  1. [1]

    Ahlfors, An Extension of Schwarz’s Lemma.Transactions of the American Mathe- matical Society43(1938), pp

    Lars V. Ahlfors, An Extension of Schwarz’s Lemma.Transactions of the American Mathe- matical Society43(1938), pp. 359–364

    work page 1938

  2. [2]

    Lars Andersson, Thierry Barbot, Fran¸ cois B´ eguin, Abdelghani Zeghib, Cosmological time versus CMC time in spacetimes of constant curvature,Asian Journal of Mathematics16 (2012), pp. 37–88

    work page 2012

  3. [3]

    Gold- man, Fran¸ cois Labourie, Kevin P

    Lars Andersson, Thierry Barbot, Riccardo Benedetti, Francesco Bonsante, William M. Gold- man, Fran¸ cois Labourie, Kevin P. Scannell, Jean-Marc Schlenker, Notes on a paper of Mess, Geometriae Dedicata126(2007), pp. 47–70

    work page 2007

  4. [4]

    Tromba, On the global evolution problem in 2+1 gravity,Journal of Geometry and Physics23(1997), pp

    Lars Andersson, Vincent Moncrief, Anthony J. Tromba, On the global evolution problem in 2+1 gravity,Journal of Geometry and Physics23(1997), pp. 191–205

    work page 1997

  5. [5]

    Thierry Barbot, Fran¸ cois B´ eguin, Abdelghani Zeghib, Constant mean curvature foliations of globally hyperbolic spacetimes locally modelled onAdS 3.Geometriae Dedicata126(2007), pp. 71–129

    work page 2007

  6. [6]

    Some open questions on anti-de Sitter geometry

    Thierry Barbot, Francesco Bonsante, Jeffrey Danciger, William M. Goldman, Fran¸ cois Gu´ eritaud, Fanny Kassel, Kirill Krasnov, Jean-Marc Schlenker, Abdelghani Zeghib, Some open questions on anti-de Sitter geometry. arXiv preprint arXiv:1205.6103 (2012)

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  7. [7]

    Memoirs of the American Mathematical Society198(2009), pp

    Riccardo Benedetti, Francesco Bonsante, Canonical Wick Rotations in 3-Dimensional Gravity. Memoirs of the American Mathematical Society198(2009), pp. 1–165

    work page 2009

  8. [8]

    1106–1160

    Francesco Bonsante, Andrea Seppi, Andrea Tamburelli, On the volume of anti-de Sitter maximal globally hyperbolic three-manifolds.Geometric and Functional Analysis27(2017), pp. 1106–1160

    work page 2017

  9. [9]

    437– 449

    Robert Geroch, Domain of dependence.Journal of Mathematical Physics11(1970), pp. 437– 449

    work page 1970

  10. [10]

    Erster Teil: Das allge- meine Uniformisierungsprinzip.Journal f¨ ur die reine und angewandte Mathematik138(1910), pp

    Paul Koebe, ¨Uber die Uniformisierung beliebiger analytischer Kurven. Erster Teil: Das allge- meine Uniformisierungsprinzip.Journal f¨ ur die reine und angewandte Mathematik138(1910), pp. 192–254

    work page 1910

  11. [11]

    Zweiter Teil: Die zentralen Uniformisierungsprobleme.Journal f¨ ur die reine und angewandte Mathematik139 (1911), pp

    Paul Koebe, ¨Uber die Uniformisierung beliebiger analytischer Kurven. Zweiter Teil: Die zentralen Uniformisierungsprobleme.Journal f¨ ur die reine und angewandte Mathematik139 (1911), pp. 251–292

    work page 1911

  12. [12]

    Kirill Krasnov, Jean-Marc Schlenker, Minimal surfaces and particles in 3-manifolds.Geome- triae Dedicata126(2007), pp. 187–254

    work page 2007

  13. [13]

    12 GABRIELE MONDELLO AND NICOLAS THOLOZAN

    Gye-Seon Lee, Ludovic Marquis, Anti-de Sitter strictly GHC-regular groups which are not lattices.Transactions of the American Mathematical Society372.1 (2019): 153-186. 12 GABRIELE MONDELLO AND NICOLAS THOLOZAN

    work page 2019

  14. [14]

    Filippo Mazzoli, Gabriele Viaggi, Volume, entropy, and diameter in SO(p, q+ 1)-higher Te- ichm¨ uller spaces.Comment. Math. Helv.(online first),DOI 10.4171/CMH/608

    work page doi:10.4171/cmh/608

  15. [15]

    Geoffrey Mess, Lorentz spacetimes of constant curvature.Geometriae Dedicata126(2007), pp. 3–45

    work page 2007

  16. [16]

    Topol.(to appear)

    Daniel Monclair, Jean-Marc Schlenker, Nicolas Tholozan, Gromov-Thurston manifolds and anti-de Sitter geometry.Geom. Topol.(to appear). arXiv:2310.12003

    work page arXiv

  17. [17]

    Henri Poincar´ e, Sur l’uniformisation des fonctions analytiques.Acta Mathematica31(1908), pp. 1–63

    work page 1908

  18. [18]

    Scott Wolpert, A generalization of the Ahlfors-Schwarz lemma.Proc. Amer. Math. Soc.84 (1982), pp. 377–378

    work page 1982

  19. [19]

    Guido Castelnuovo

    Shing-Tung Yau, A General Schwarz Lemma for Kahler Manifolds.American Journal of Math- ematics100(1978), pp. 197–203. Gabriele Mondello: Sapienza Universit `a di Roma, Department of Mathematics “Guido Castelnuovo” - piazzale Aldo Moro 5, Roma 00185 Italy Email address:mondello@mat.uniroma1.it Nicolas Tholozan: CNRS, ENS-PSL, 45 rue d’Ulm, 75005 Paris, Fra...

    work page 1978