Hyperbolic Mass in 2+1 Dimensions

Raphaela Wutte

REVIEW 2 major objections 6 minor 24 references

Hyperbolic Mass in 2+1 Dimensions

T0 review · 2 major / 6 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read In 2+1 dimensions, a global mass invariant is obtained by minimisation over asymptotic symmetries, and connected-sum gluing obeys an exact cosh composition formula.

desk verdict A straightforward, readable proceedings review of the author's own work on mass in 2+1 ALH; the central gluing formula is quoted from an unpublished preprint, so treat that result as dependent on [6]. read the letter →

arxiv 2509.00994 v1 pith:IV2I4BRR submitted 2025-08-31 gr-qc hep-thmath.DG

Raphaela Wutte This is my paper · ORCID

classification gr-qchep-thmath.DG MSC 83C0583C4083C57

keywords massaspectfunctionasymptoticallylocallyhyperbolicinitialdatapositiveenergytheorem2+1gravityHamiltonianHillequationconformalboundarygluingconstantscalarcurvature

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

In two spatial dimensions the standard Hamiltonian mass is not a faithful invariant: an asymptotic symmetry can change it arbitrarily, and for mass aspect functions below a critical value the expression can be driven unbounded below. The review reports that this is repaired by taking the infimum over all asymptotic symmetries, H[mu] = inf_f H[mu; f], and that a positive energy theorem in n=2 ensures the minimised mass is non-negative whenever mu >= -1. The central gluing statement says that two constant-mass pieces with positive masses m1 and m2, connected at the conformal boundary, produce a manifold whose mass m solves cosh(sqrt(m) pi) = 2 omega1 omega2 cosh(sqrt(m1) pi) cosh(sqrt(m2) pi) - cosh(sqrt(m1) pi - sqrt(m2) pi). A companion result asserts that every mass aspect function, including those no diffeomorphism can reduce to a constant, is realised by a smooth constant-scalar-curvature asymptotically locally hyperbolic manifold with at most one conical singularity. The upshot is a definition of mass in 2+1 dimensions that is global, non-negative, and controlled under gluing, enabling the construction of initial data with prescribed mass.

What carries the argument

The key object is the mass aspect function mu(phi), the unconstrained coefficient in the Fefferman-Graham expansion of the metric, together with its transformation law under asymptotic symmetries via the Schwarzian derivative. The argument carries through an equivalence between classifying mass aspect functions up to symmetry and classifying solutions of the Hill equation d^2 psi/dphi^2 - (mu/4) psi = 0: the monodromy matrix trace and zero counts of its solutions decide whether a mass aspect function is equivalent to a constant, and gluing the associated Hill-equation bases along with the manifolds determines the mass aspect function of the glued manifold. The infimum over diffeomorphisms th

What would settle it

Take two constant-mass ALH manifolds with positive masses m1 and m2, perform the connected-sum gluing at the conformal boundary with explicit gluing parameters omega1 and omega2, compute the resulting mass aspect function from the glued Hill-equation basis, and evaluate H[mu] as the infimum over asymptotic symmetries; if the value does not satisfy cosh(sqrt(m) pi) = 2 omega1 omega2 cosh(sqrt(m1) pi) cosh(sqrt(m2) pi) - cosh(sqrt(m1) pi - sqrt(m2) pi), the gluing theorem is wrong.

Watch

Extended reading notes

Core claim

The paper claims that the apparent breakdown of mass as a global concept in two-dimensional asymptotically locally hyperbolic initial data is repaired by replacing the Hamiltonian integral with a minimisation problem. The mass aspect function mu(phi) appears as the unconstrained coefficient in the Fefferman-Graham expansion; under an asymptotic symmetry f it transforms with a Schwarzian-derivative term, mu -> mu(f) f'^2 - 2S(f), so the ordinary integral H = (1/2 pi) integral mu dphi can be made arbitrarily large or unbounded below. For mu >= -1, the infimum over f is a genuine global invariant, and the author's positive energy theorem in two spatial dimensions, obtained by a spinorial method

Load-bearing premise

The exact cosh gluing formula and the realisation theorem are quoted from a companion preprint rather than derived here; if the connected-sum gluing does not yield a manifold whose mass obeys that formula, or if the Hill-equation classification of mass aspect functions is incomplete, the paper's claims about controlling mass under gluing fail.

Editorial extensions

If this is right

The minimisation mass H[mu] is a geometric invariant for all ALH two-dimensional data with mu >= -1, removing the frame-dependence of the raw Hamiltonian integral.
The positive energy theorem makes this mass non-negative and gives a mass-angular momentum inequality whose form depends on the spin structure.
Two positive-mass pieces can be glued with full control of the resulting mass: the cosh formula fixes m from m1, m2, omega1, and omega2.
Every allowed mass aspect function, constant or not, has a geometric realisation as a smooth constant-scalar-curvature ALH manifold with at most one conical singularity, so the invariant is not defined on an empty or artificial class.
The gluing machinery yields explicit constructions of ALH initial data with prescribed mass, going beyond the constant-mass funnel, cusp, and cone families.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

One implicit payoff is computational: the Hill-equation monodromy data should determine H[mu] directly, so the infimum could be evaluated from spectral data rather than by scanning diffeomorphisms; the review stops at stating the definition.
The cosh composition law suggests a 'mass space' in which gluing is a binary operation with parameters omega1, omega2; exploring which masses can be reached from given seeds, and whether the operation is associative, is a testable extension the paper does not pursue.
For non-time-symmetric data, one could generalise the infimum to include angular momentum, guided by the spin-structure-dependent inequalities of [7]; the review only claims the time-symmetric case.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

This is a review, not a research paper, and it says so explicitly. As a review it does its job: it explains why mass in spatial dimension two is subtle (infinite-dimensional conformal group), how the Schwarzian transformation law destroys invariance, why minimisation restores a global mass for µ ≥ −1, and how the Hill-equation classification from [15] organizes the problem. The positive energy theorem from [7] is published and correctly described. The exposition is accurate and would serve well as an entry point to the subfield.

What is new: nothing. Theorem 3.1 (gluing mass formula) and Theorem 3.2 (realizability of all mass aspect functions) are quoted from the joint preprint [6], which is not yet published. The stress-test note is right to flag this: the quantitative core of the review inherits its validity from [6]. No derivation or even a sketch appears here. The formula itself is plausible and reduces correctly to cosh((√m1+√m2)π) when ω1=ω2=1, so this is not an internal inconsistency; it is an external dependency. For a proceedings contribution, quoting your own preprint is normal. But because the review's advertised conclusion is "construct novel initial data sets with controlled mass," a reader cannot verify that claim from this paper alone.

The self-referential coverage is also worth noting but is not a flaw per se: the author is surveying joint work, so the heavy citation of [6] and [7] is expected. The reliance on [15] for the Hill-equation classification is fine; that is established literature. The exposition matches the standard results I know: the terminating expansion (3), the transformation law (6), the threshold µ=−1, and the infimum definition (9) are all consistent with [8,9,15,16].

Soft spots are minor given the genre: no proof of Theorem 3.1, no discussion of hidden restrictions on the gluing parameters beyond ω_i>1, and a terse description of the gluing procedure. None of these are fatal to a review whose purpose is to advertise the results.

Who is this for? A graduate student or a researcher outside mathematical relativity who wants a compact map of 2+1 ALH mass definitions and recent constructions. It deserves a serious referee in the sense that any published review should be checked for accuracy, especially the representation of [6], but it should be judged as a survey, not as a novel result. I would recommend accepting it for proceedings or as a review article, while nudging the author to include a short appendix or reference to the full derivation once [6] is available. If I were editing a research journal, I would not count this as a new research contribution, but I would not desk-reject it either: it is a legitimate review of the author's own work, clearly labeled.

Referee Report

2 major / 6 minor

Summary. This paper is a short review of mass in 2+1-dimensional asymptotically locally hyperbolic (ALH) initial data sets. It recalls the Fefferman–Graham expansion (3), the transformation law of the mass aspect function under asymptotic symmetries (6), and the Hill-equation classification of mass aspect functions. It then states, from the author's joint work with Chruściel [6], two theorems: a gluing formula (Theorem 3.1) giving the mass of a glued manifold in terms of the two initial masses and gluing parameters, and the realisability of all mass aspect functions (Theorem 3.2). The paper also mentions a positive-energy theorem from [7]. No proofs are given; the main quantitative results are quoted from [6] and [7].

Significance. If the quoted results are correct, the review gives a compact and useful account of a nonstandard notion of mass: in two spatial dimensions the Hamiltonian mass is not invariant, but an infimum over conformal transformations, supported by a positive-energy theorem, restores a global invariant, and Maskit gluing provides control of this invariant under connected-sum constructions. The paper's strengths are its clear presentation of the transformation law and Hill-equation classification, and its transparent attribution of the results to previous work, including the author's own joint papers. Its main weakness is that all of the novel quantitative content—especially the cosh formula in Theorem 3.1—is only referenced to an unpublished preprint, preventing independent verification from the manuscript itself.

major comments (2)

[Section 3, Theorem 3.1] The cosh formula for the glued mass is the quantitative core of the abstract's promised 'controlled mass' construction, but it is only asserted. The preceding paragraph describes the strategy ('glue ... the associated basis of solutions to the Hill equation ... employ the classification [15]') and then refers to [6], an unpublished preprint co-authored by the author. Because the mass aspect function transforms by the Schwarzian law (6) and the global mass is defined by the infimum (9), it is not immediate how the glued Hill-equation basis leads to this particular formula. To make the review checkable, the authors should either include a derivation (or at least verify the formula in a tractable special case, e.g. m1 = m2) or replace [6] by a published/refereed reference. As it stands, a reader cannot independently verify the central claim.
[Section 3, Theorem 3.2] The statement 'All mass aspect functions can be realised by smooth asymptotically locally hyperbolic constant scalar curvature manifolds, which have at most one conical singularity' is likewise deferred to [6], and it is ambiguous. A smooth manifold cannot have a conical singularity. If the intended meaning is 'smooth away from at most one conical point', that should be stated; the range of allowed mass aspect functions (including whether pointwise values below -1 are admitted) and the cone angle should also be specified. Since this theorem is one of the main advertised consequences, the exact meaning and a pointer to the proof (or a proof for a representative class) are needed.

minor comments (6)

[Section 2, Eq. (10)] The second derivative is written d^2ψ/d^2φ; it should be d^2ψ/dφ^2.
[Section 2, Eq. (5)] The displayed transformation is hard to parse. Adding parentheses to make explicit r/f'(φ) and f(φ) - f''(φ)/(2r^2) would improve readability.
[Abstract and Section 2] The paper explicitly restricts to vacuum, time-symmetric initial data in Section 2, but the abstract says 'initial data sets' without this restriction. The time-symmetric assumption should be stated in the abstract.
[Section 2, constant μ] The statement 'm < 0 corresponds to a manifold with one conical singularity' could be made more precise: the cone angle is 2π√(-m), and the relation to the threshold m = -1 discussed later should be clarified.
[Section 2, positive-energy theorem] The positive-energy theorem from [7] is mentioned but not stated. For a review of mass, a precise theorem statement (or at least the precise inequalities) would be valuable.
[References and conclusion] Reference [6] lacks a title; add the full title and update if it has appeared in refereed form. The paper also ends abruptly after Theorem 3.2; a short conclusion or outlook would be helpful.

Circularity Check

2 steps flagged · score 4.0 of 10

Central gluing theorems are quoted from an unpublished self-authored preprint and carry the paper's advertised conclusion; the surrounding mass framework is otherwise a review of external results.

self citation load bearing [Section 3, Theorem 3.1]
"This leads to the following theorem [6]: Theorem 3.1. Given two asymptotically locally hyperbolic manifolds in dimension n = 2 with constant scalar curvature and positive initial masses m1 and m2, the glued manifold has mass m determined from the equation cosh(√mπ) = 2ω1ω2 cosh(√m1π) cosh(√m2π) − cosh(√m1π − √m2π) with gluing parameters ω1 > 1, ω2 > 1."

The paper's advertised goal ('construct novel initial data sets with controlled mass') rests entirely on this formula, but the formula is not derived in the paper. The only support is the sentence 'This leads to the following theorem [6]', where [6] is a preprint co-authored by the present author (Chruściel & Wutte 2024). No proof, computation, or independent check is offered in this manuscript. The derivation chain thus reduces to a self-citation: if the unpublished preprint's result were not accepted, Theorem 3.1 has no support in this paper.
self citation load bearing [Section 3, Theorem 3.2]
"This can be used to show [6]: Theorem 3.2. All mass aspect functions can be realised by smooth asymptotically locally hyperbolic constant scalar curvature manifolds, which have at most one conical singularity."

Theorem 3.2 is presented as a consequence of Theorem 3.1 and is likewise deferred to the same unpublished self-authored preprint [6]. The text explicitly says 'This can be used to show [6]', making the realizability conclusion load-bearing on the authors' own prior work with no independent verification in this review. Since the paper presents Theorem 3.2 as one of its main outcomes, the argument reduces to a self-citation for a central claim.

full rationale

This is a review paper, and much of the mass framework is a faithful summary of established external results: the Fefferman-Graham expansion [8,9], the Hamiltonian mass formulas [10-14], the Schwarzian transformation law and unboundedness [15,16], and the Hill-equation classification [15] are all standard citations, not circular. The positive energy theorem [7] is co-authored by the present author, but it is a published peer-reviewed article and is used as a supporting external result rather than as a substitute for a derivation inside this paper. The main circularity concern is concentrated in Section 3. Theorem 3.1, the quantitative gluing mass formula, is the paper's most novel and load-bearing assertion, but the review gives only a heuristic sketch (glue the Hill-equation bases and apply the classification of [15]) and then cites [6], an unpublished preprint co-authored by the present author, for the actual theorem. Theorem 3.2 inherits the same reliance on [6]. This is a self-citation that is load-bearing: the advertised 'controlled mass' conclusion is not established within the manuscript, and no independent verification is supplied. However, this is not a definitional/fitted-input circularity: the formula is not shown to be an identity by construction, and the surrounding framework is externally sourced. The score is therefore 4 rather than higher: the central claim depends on an unverified self-citation, but the paper does not pretend to derive that claim from scratch, and the rest of the reviewed material stands on independent literature.

Assumptions & free parameters 1 free parameters · 5 assumptions · 0 invented entities

As a review, the paper introduces no new free parameters beyond the gluing choices omega1, omega2 of Theorem 3.1; the mass aspect function mu(phi) is unconstrained data (Eq. 3), not a fitted quantity. The axioms are the physical and mathematical imports on which the survey rests: the vacuum time-symmetric restriction (Eq. 1), the Fefferman-Graham expansion (Eqs. 2-3), the Hill-equation classification from [15], the applicability of the Witten argument in n = 2 from [7], and the Maskit gluing theorem quoted from [6].

free parameters (1)

gluing parameters omega1, omega2 = omega1 > 1, omega2 > 1
Choices in the Maskit gluing construction in Theorem 3.1; they determine the glued mass m. Not fitted to data, but free input choices of the construction.

assumptions (5)

domain assumption Vacuum time-symmetric constraint equations reduce to R = -2 with cosmological constant Lambda = -1 (Eq. 1).
Scope restriction of the review; non-time-symmetric data and the general constraint system are not treated.
domain assumption Fefferman-Graham coordinate form (Eq. 2) and its terminating expansion (Eq. 3) describe the ALH metrics considered.
Imported from [8,9]; the expansion stopping at r^-2 is a known property of 2D ALH metrics and is stated without derivation.
standard math Diff+(S1)-classes of mass aspect functions are classified by monodromy data of the Hill equation (Eqs. 10-11).
Imported from [15] (Balog, Feher, Palla); used to define the invariant mass via minimisation and to state Theorem 3.1.
domain assumption The Witten spinorial positive energy method applies in n = 2 spatial dimensions and yields the minimisation bound.
Defers to [7], which extends Witten's method [17]; the review does not reproduce the argument.
domain assumption Maskit gluing (of [20,21]) produces smooth constant-scalar-curvature ALH manifolds whose mass obeys Theorem 3.1.
Quoted from [6] without derivation in this review; the controlled-mass narrative rests on this theorem.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Hyperbolic Mass in 2+1 Dimensions." pith.science (2026). https://pith.science/paper/IV2I4BRR

@misc{pith2026250900994,
  author       = {Pith},
  title        = {Pith review of: Hyperbolic Mass in 2+1 Dimensions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IV2I4BRR}},
  note         = {Machine review of arXiv:2509.00994}
}

read the original abstract

This short review surveys mass for two-dimensional asymptotically locally hyperbolic initial data sets. I explain the difficulties in defining mass in spatial dimension two, which are resolved via minimisation using a positive energy theorem, and review how gluing theorems can be used to construct novel initial data sets with controlled mass.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 13 canonical work pages

[6]

Chru´ sciel P T and Wutte R 2024 (Preprint 2401.04048)

arXiv 2024
[15]

Balog J, Feher L and Palla L 1998 Int. Jour. Mod. Phys. A 13 315–362 arXiv:hep-th/9703045 (Preprint hep-th/9703045)

work page Pith review arXiv 1998
[7]

Chru´ sciel P T, Cong W, Qu´ eau T and Wutte R 2025 Class. Quant. Grav. 42 085010 ( Preprint 2411.07423)

arXiv 2025
[1]

Maldacena J M 1998 Adv. Theor. Math. Phys. 2 231–252 (Preprint hep-th/9711200)

arXiv 1998
[2]

Bartnik R and Isenberg J 2002 The Constraint equations 50 Years of the Cauchy Problem in Gen- eral Relativity: Summer School on Mathematical Relativity and Global Properties of Solutions of Einstein ’s Equations (Preprint gr-qc/0405092)

work page Pith review arXiv 2002
[3]

Carlotto A 2021 Living Rev. Rel. 24 2

work page 2021
[4]

Ba˜ nados M, Teitelboim C and Zanelli J 1992 Phys. Rev. Lett. 69 1849–1851 ( Preprint hep-th/ 9204099)

work page 1992
[5]

Brown J D and Henneaux M 1986 Commun. Math. Phys. 104 207–226

work page 1986

Show all 24 references

[8]

Skenderis K and Solodukhin S N 2000 Phys. Lett. B 472 316–322 arXiv:hep-th/9910023 ( Preprint hep-th/9910023)

2000 arXiv
[9]

Ba˜ nados M 1999AIP Conf. Proc. 484 147–169 arXiv:hep-th/9901148 ( Preprint hep-th/9901148)

arXiv
[10]

Regge T and Teitelboim C 1974 Annals Phys. 88 286

1974
[11]

Chru´ sciel P T, Jezierski J and Kijowski J 2002Hamiltonian field theory in the radiating regime vol 70
[12]

Kijowski J and Tulczyjew W M 1979 A symplectic framework for field theories Lecture notes in physics; 107 (Berlin: Springer-Verlag) ISBN 0387095381

1979
[13]

Lee J and Wald R M 1990 J. Math. Phys. 31 725–743

1990
[14]

de Haro S, Solodukhin S N and Skenderis K 2001 Commun. Math. Phys. 217 595–622 ( Preprint hep-th/0002230)

2001 arXiv
[16]

Quantum Grav

Barnich G and Oblak B 2014 Class. Quantum Grav. 31 152001 arXiv:1403.3835 [hep-th] ( Preprint 1403.3835)

2014 arXiv
[17]

Witten E 1981 Commun. Math. Phys. 80 381

1981
[18]

Cheng M C N and Skenderis K 2005 JHEP 08 107 (Preprint hep-th/0506123)

2005 arXiv
[19]

Chru´ sciel P T and Herzlich M 2003 Pacific J. Math. 212 231–264

2003
[20]

Henri Poincar´ e11 881–927 ISSN 1424-0637 arXiv:0910.1875 [math-dg] URL http://dx.doi.org/10.1007/s00023-010-0049-0

Isenberg J, Lee J M and Stavrov Allen I 2010 Ann. Henri Poincar´ e11 881–927 ISSN 1424-0637 arXiv:0910.1875 [math-dg] URL http://dx.doi.org/10.1007/s00023-010-0049-0

2010 arXiv
[21]

Chru´ sciel P T and Delay E 2018 J. Diff. Geom. 108 243–293 (Preprint 1511.07858)

2018 arXiv
[22]

Chru´ sciel P T and Delay E 2019 (Preprint 1901.05263)

2019 arXiv
[23]

Chru´ sciel P T, Delay E and Wutte R 2023Adv. Theor. Math. Phys. 27 1333–1403 (Preprint 2112. 00095)
[24]

Chru´ sciel P T and Delay E 2023 SIGMA 19 005 (Preprint 2207.14563)

2023 arXiv

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.

[1] [6]

Chru´ sciel P T and Wutte R 2024 (Preprint 2401.04048)

arXiv 2024

[2] [15]

Balog J, Feher L and Palla L 1998 Int. Jour. Mod. Phys. A 13 315–362 arXiv:hep-th/9703045 (Preprint hep-th/9703045)

work page Pith review arXiv 1998

[3] [7]

Chru´ sciel P T, Cong W, Qu´ eau T and Wutte R 2025 Class. Quant. Grav. 42 085010 ( Preprint 2411.07423)

arXiv 2025

[4] [1]

Maldacena J M 1998 Adv. Theor. Math. Phys. 2 231–252 (Preprint hep-th/9711200)

arXiv 1998

[5] [2]

Bartnik R and Isenberg J 2002 The Constraint equations 50 Years of the Cauchy Problem in Gen- eral Relativity: Summer School on Mathematical Relativity and Global Properties of Solutions of Einstein ’s Equations (Preprint gr-qc/0405092)

work page Pith review arXiv 2002

[6] [3]

Carlotto A 2021 Living Rev. Rel. 24 2

work page 2021

[7] [4]

Ba˜ nados M, Teitelboim C and Zanelli J 1992 Phys. Rev. Lett. 69 1849–1851 ( Preprint hep-th/ 9204099)

work page 1992

[8] [5]

Brown J D and Henneaux M 1986 Commun. Math. Phys. 104 207–226

work page 1986