{"id":"9b05ecbe-363d-40ec-82d3-d99ca26fe784","arxiv_id":"2509.00994","paper_version":1,"verdict":"UNVERDICTED","confidence":"MODERATE","novelty_score":1.0,"correctness_risk":"low","formal_verification":"none","parameter_count":1,"one_line_summary":"Mass in asymptotically locally hyperbolic 2+1 gravity is a minimised functional, not a single conserved number, and gluing theorems can construct initial data realising every mass aspect function.","lead":"A short proceedings review of how gravitational mass works in 2+1 spacetime dimensions, where mass must be defined by minimisation because of an infinite-dimensional group of asymptotic symmetries. It summarizes the author's joint work on a positive energy theorem and on gluing constructions that build initial data sets with controlled mass.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.1's gluing mass formula is the quantitative core of the review but is only referenced to the unpublished preprint [6]; until independently verified, the claim of controllable mass under gluing is unproven.","rationale":"The reader's weakest_assumption identifies exactly the same load-bearing point: the gluing mass formula in Theorem 3.1 is deferred to [6], an unpublished preprint coauthored by the present author. This is not a manufactured objection; it is the single step that connects the paper's advertised 'novel initial data sets with controlled mass' to a precise, checkable quantity. The paper itself flags the dependency by saying the result is from [6], so there is no hidden flaw or text artifact. Because the paper is explicitly a proceedings contribution based on a talk, the lack of a derivation is genre-appropriate, but it still means the central claim cannot be fully assessed from this manuscript alone. The positive-energy theorem is published in [7], and the transformation law and classification are from established references [15,16], so they are comparatively less fragile. The concrete test proposed would settle whether Theorem 3.1 is correct without relying on the author's own preprint. Since the reader's UNVERDICTED verdict already reflects this inability to verify, my read does not change the verdict.","tokens_in":4365,"tokens_out":2933,"duration_ms":38091,"concrete_test":"Obtain the full proof in [6] (or ask the authors for it) and independently re-derive Theorem 3.1 by implementing Maskit gluing for two constant-mass 'funnel' ALH manifolds with masses m1, m2 and gluing parameters omega1, omega2. Concretely: construct the glued constant-scalar-curvature metric, compute its mass aspect function from the glued Hill-equation basis, then minimize the Hamiltonian mass over asymptotic diffeomorphisms. Compare the resulting global mass with the cosh formula for several representative parameter triples (e.g., m1=m2=1, omega1=omega2=2; m1=1, m2=4, omega1=1.5, omega2=3). If the computed masses agree with the formula within numerical tolerance, the concern is resolved; if not, Theorem 3.1 needs correction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The review's central quantitative assertion is Theorem 3.1: gluing two positive-mass ALH manifolds yields a manifold whose mass m satisfies cosh(sqrt(m)pi) = 2*omega1*omega2*cosh(sqrt(m1)pi)*cosh(sqrt(m2)pi) - cosh(sqrt(m1)pi - sqrt(m2)pi). This formula is also the basis for Theorem 3.2, which states that all mass aspect functions are realizable by gluing. The paper gives no derivation and only a short heuristic: one must glue the Hill-equation bases and then use the classification of [15]. That step is nontrivial because the mass aspect function transforms nontrivially under asymptotic diffeomorphisms (Eq. 6) and the global mass is defined by minimization (Eq. 9). If the cosh relation is incorrect or has hidden restrictions beyond positive mass and omega_i > 1, the review's advertised conclusion that one can 'construct novel initial data sets with controlled mass' fails. This is not an internal inconsistency, but it is a load-bearing external dependency: all of the paper's novel-sounding content lives in [6], an unpublished preprint coauthored by the present author. By contrast, the positive energy theorem [7] is published and the Hill-equation classification [15] is established literature, so the gluing formula is the weakest point.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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].","tokens_in":4620,"tokens_out":11620,"duration_ms":141130,"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":[{"comment":"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":"Section 3, Theorem 3.1"},{"comment":"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.","section":"Section 3, Theorem 3.2"}],"minor_comments":[{"comment":"The second derivative is written d^2ψ/d^2φ; it should be d^2ψ/dφ^2.","section":"Section 2, Eq. (10)"},{"comment":"The displayed transformation is hard to parse. Adding parentheses to make explicit r/f'(φ) and f(φ) - f''(φ)/(2r^2) would improve readability.","section":"Section 2, Eq. (5)"},{"comment":"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":"Abstract and Section 2"},{"comment":"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":"Section 2, constant μ"},{"comment":"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.","section":"Section 2, positive-energy theorem"},{"comment":"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.","section":"References and conclusion"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is essentially a two-page review of the author's own joint work with Chruściel, and the main gluing theorem is cited to an unpublished preprint. If that preprint remains unpublished at the time of acceptance, I would not consider the central quantitative claim sufficiently verified for a journal publication. The rest of the paper is clear and well attributed. The fit with the journal will depend on whether it accepts review/proceedings-style contributions; with a proof sketch or a published reference for [6], the paper could be acceptable after minor revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nWhat 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.\n\nThe 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].\n\nSoft 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.\n\nWho 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.","headline":"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].","tokens_in":5208,"tokens_out":2198,"would_cite":false,"duration_ms":28761,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C05","83C40","83C57"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["mass aspect function","asymptotically locally hyperbolic initial data","positive energy theorem","2+1 gravity","Hamiltonian mass","Hill equation","conformal boundary gluing","constant scalar curvature"],"falsifier":"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.","tokens_in":4165,"feed_emoji":"🕳️","tokens_out":9942,"duration_ms":114683,"temperature":0.7,"pith_summary":"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.","feed_headline":"Mass in 2+1 gravity is a minimum—and gluing is exact","feed_subtitle":"A positive-energy theorem and a Hill-equation classification make the infimum well-defined and controllable.","key_machinery":"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","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Shows the conformal group in two dimensions is infinite-dimensional, which is why the un-minimised Hamiltonian mass is not invariant.","marker":"[5]"},{"why":"Companion preprint from which the gluing mass formula and the realisation theorem are taken; supplies the derivation not reproduced in the review.","marker":"[6]"},{"why":"Joint work establishing the positive energy theorem in n=2 that makes the minimised mass non-negative and fixes spin-structure issues.","marker":"[7]"},{"why":"Provides the classification of mass aspect functions via the Hill equation, used to identify the glued manifold's mass aspect.","marker":"[15]"},{"why":"Used to state that for mu < -1 the Hamiltonian mass can be made unbounded below, motivating the range in the minimisation definition.","marker":"[16]"},{"why":"Introduces the connected-sum gluing at the conformal boundary whose mass behaviour the paper analyses.","marker":"[20]"}],"fun_headline_variants":["Gravity mass in 2+1 becomes a minimum—not an integral","Schwarzian twist fixes mass in 2+1 hyperbolic gravity","Mass in 2+1: minimize to define—gluing stays exact","From Hamiltonian to infimum: mass in 2+1 tamed","Positive energy theorem pins down 2+1 gravity mass"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Gravity mass in 2+1 becomes a minimum—not an integral","Schwarzian twist fixes mass in 2+1 hyperbolic gravity","Mass in 2+1: minimize to define—gluing stays exact","From Hamiltonian to infimum: mass in 2+1 tamed","Positive energy theorem pins down 2+1 gravity mass"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000684,"raw_usage":{"total_tokens":2849,"prompt_tokens":563,"completion_tokens":2286,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":307,"completion_tokens_details":{"reasoning_tokens":2202}},"tokens_in":307,"tokens_out":2286,"duration_ms":20685,"temperature":1.0,"reasoning_tokens":2202,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T12:58:46.958985+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Shows the conformal group in two dimensions is infinite-dimensional, which is why the un-minimised Hamiltonian mass is not invariant."},{"cited_title":"Coadjoint orbits of the Virasoro algebra and the global Liouville equation","cited_arxiv_id":"hep-th/9703045","evidence_quote":"Provides the classification of mass aspect functions via the Hill equation, used to identify the glued manifold's mass aspect."},{"cited_title":"Asymptotic gluing of asymptotically hyperbolic solutions to the Einstein constraint equations","cited_arxiv_id":"0910.1875","evidence_quote":"Introduces the connected-sum gluing at the conformal boundary whose mass behaviour the paper analyses."}],"review_version":1}