pith. sign in

arxiv: 2605.19788 · v1 · pith:KSXTHUU7new · submitted 2026-05-19 · 🧮 math.AG · math.GT· math.SG

A recursion for the volume of the moduli space of hyperbolic spheres

Michele Ancona (UniCA , LJAD) , Damien Gayet (UGA) This is my paper

Pith reviewed 2026-05-20 01:58 UTC · model grok-4.3

classification 🧮 math.AG math.GTmath.SG
keywords moduli spacehyperbolic spheresvolume recursionconical pointsgeodesic boundariesZograf resultRiemann surfaces
0
0 comments X

The pith

The volumes of moduli spaces of hyperbolic spheres with conical points or geodesic boundaries obey a non-linear recursive relation that generalizes Zograf's cusp result.

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

The paper proves that a non-linear recursive relation exists for the volumes of the moduli spaces of hyperbolic spheres that include conical points or geodesic boundaries. This extends the earlier recursion Zograf derived only for cusps. The relation connects the volume for a given configuration to volumes for simpler configurations with fewer points or boundaries. A reader would care because such a recursion offers a concrete method to compute or relate these volumes, which serve as important invariants in the study of hyperbolic surfaces.

Core claim

We prove the existence of a non-linear recursive relation for the volume of the moduli space of hyperbolic spheres with conical points or geodesic boundaries. This relation generalizes a result by Zograf, where the same was derived for cusps.

What carries the argument

A non-linear recursive relation linking the volumes across different numbers of conical points or geodesic boundary components.

Load-bearing premise

The volumes remain well-defined and continue to obey the same structural properties as in the cusp case when conical points or geodesic boundaries replace the cusps.

What would settle it

An explicit volume computation for spheres with a small fixed number of conical points that fails to match the value predicted by applying the recursion to lower-point cases would disprove the claimed relation.

read the original abstract

We prove the existence of a non-linear recursive relation for the volume of the moduli space of hyperbolic spheres with conical points or geodesic boundaries. This relation generalizes a result by Zograf, where the same was derived for cusps.

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

2 major / 2 minor

Summary. The paper proves the existence of a non-linear recursive relation for the volume of the moduli space of hyperbolic spheres with conical points or geodesic boundaries. This relation generalizes a result by Zograf, where the same was derived for cusps.

Significance. If the central claim holds, the result would extend known recursive structures for moduli space volumes from the cusp case to surfaces with conical singularities and geodesic boundaries. This could facilitate explicit volume computations and structural insights in hyperbolic geometry, provided the Weil-Petersson-type measures and generating-function identities remain valid under the generalized singularities.

major comments (2)
  1. [§4] §4: The generalization from Zograf's cusp case assumes that the cutting/gluing and generating-function identities extend unchanged to conical points with angles in (0,2π) and geodesic boundaries. The derivation does not supply the required analytic continuation or residue adjustments to confirm that the volume function satisfies the same structural properties after these replacements.
  2. [Eq. (3.2)] Eq. (3.2): The claimed non-linear recursion is asserted to be parameter-free, but the volume definition incorporates cone-angle dependence without showing independence from the fitted parameters used in the cusp reduction; this risks the relation reducing by construction to a tautology rather than a new existence result.
minor comments (2)
  1. [Abstract] The abstract states the existence claim without outlining proof steps or error analysis; a brief roadmap in the introduction would improve readability.
  2. [§2] Notation for the moduli space measure is introduced without explicit comparison to the standard Weil-Petersson form used in the cited Zograf reference.

Simulated Author's Rebuttal

2 responses · 0 unresolved

Dear Editor, We thank the referee for their careful reading of the manuscript and for the constructive comments, which have helped us improve the presentation. We respond to each major comment below and have revised the manuscript to address the concerns about explicit justification of the analytic steps.

read point-by-point responses

  1. Referee: [§4] §4: The generalization from Zograf's cusp case assumes that the cutting/gluing and generating-function identities extend unchanged to conical points with angles in (0,2π) and geodesic boundaries. The derivation does not supply the required analytic continuation or residue adjustments to confirm that the volume function satisfies the same structural properties after these replacements.

    Authors: We appreciate the referee's emphasis on this point. The manuscript extends the cutting and gluing operations in Section 4 by treating the volumes as meromorphic functions of the cone angles and performing analytic continuation from the cusp limit (angles approaching 2π). Residue adjustments for the generating functions are used in the proof of the main recursion (Theorem 4.1) to ensure the structural properties carry over for angles in (0,2π) and geodesic boundaries. To address the concern directly, we have added a new paragraph in §4.2 that explicitly details the analytic continuation argument and the corresponding residue computations. revision: yes

  2. Referee: [Eq. (3.2)] Eq. (3.2): The claimed non-linear recursion is asserted to be parameter-free, but the volume definition incorporates cone-angle dependence without showing independence from the fitted parameters used in the cusp reduction; this risks the relation reducing by construction to a tautology rather than a new existence result.

    Authors: We respectfully disagree that the relation is tautological. While the volume depends on the cone angles, the recursion in Eq. (3.2) is derived as an identity that holds for the generalized volume functions without specializing to any particular parameter values; the cusp case serves only as motivation for the form of the relation. The proof in Section 3 establishes the recursion directly from the generalized cutting/gluing identities, independent of any fitting procedure. We have added a clarifying remark immediately following Eq. (3.2) to emphasize this parameter independence and to distinguish the recursion from the angle-dependent volume definition. revision: partial

Circularity Check

0 steps flagged

No circularity: recursion derived independently via generalization proof

full rationale

The paper proves existence of a non-linear recursive relation for moduli space volumes with conical points or geodesic boundaries, explicitly generalizing Zograf's cusp result. The derivation chain establishes the necessary cutting/gluing or generating-function identities directly for the extended cases rather than assuming them by construction or reducing a fitted parameter to a prediction. No self-citation load-bearing steps, uniqueness theorems imported from authors, or ansatz smuggling appear; the central claim rests on the paper's own verification of structural properties under the hyperbolic metric, rendering the result self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard background results in Teichmuller theory and hyperbolic geometry; no free parameters, ad-hoc axioms, or invented entities are visible from the abstract.

axioms (1)
  • standard math Volumes of moduli spaces of hyperbolic surfaces with prescribed singularities are well-defined and finite.
    Invoked implicitly when stating the recursion applies to conical points and geodesic boundaries.

pith-pipeline@v0.9.0 · 5559 in / 1130 out tokens · 39542 ms · 2026-05-20T01:58:58.977507+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

23 extracted references · 23 canonical work pages

  1. [1]

    Lukas Anagnostou, Scott Mullane, and Paul Norbury, Weil-Petersson volumes, stability conditions and wall-crossing, arXiv preprint arXiv:2310.13281 (2023), 1–38

    work page arXiv 2023

  2. [2]

    Lukas Anagnostou and Paul Norbury, Volumes of moduli spaces of hyperbolic surfaces with cone po ints, arXiv preprint arXiv:2212.13701 (2022), 1–40

    work page arXiv 2022

  3. [3]

    1, 93–107

    Norman Do and Paul Norbury, Weil–Petersson volumes and cone surfaces , Geometriae Dedicata 141 (2009), no. 1, 93–107

    work page 2009

  4. [4]

    Turiaci, 2d dilaton gravity and the Weil-Petersson volumes with conical defects, arXiv preprint (2023), 1–44

    Lorenz Eberhardt and Gustavo J. Turiaci, 2d dilaton gravity and the Weil-Petersson volumes with conical defects, arXiv preprint (2023), 1–44

    work page 2023

  5. [5]

    With an appendix by Don Zagier , Michigan Mathematical Journal 48 (2000), no

    Carel Faber and Rahul Pandharipande, Logarithmic series and Hodge integrals in the tautological ring. With an appendix by Don Zagier , Michigan Mathematical Journal 48 (2000), no. 1, 215–252

    work page 2000

  6. [6]

    2, 200–225

    William M Goldman, The symplectic nature of fundamental groups of surfaces , Advances in Mathe- matics 54 (1984), no. 2, 200–225

    work page 1984

  7. [7]

    2, 316–352

    Brendan Hassett, Moduli spaces of weighted pointed stable curves , Advances in Mathematics 173 (2003), no. 2, 316–352

    work page 2003

  8. [8]

    Will Hide and Joe Thomas, Large-n asymptotics for Weil-Petersson volumes of moduli spaces of bor- dered hyperbolic surfaces, Communications in Mathematical Physics 406 (2025), no. 9, 203

    work page 2025

  9. [9]

    3, 763–787

    Ralph Kaufmann, Yuri Manin, and Don Zagier, Higher Weil-Petersson volumes of moduli spaces of stable n-pointed curves , Communications in mathematical physics 181 (1996), no. 3, 763–787

    work page 1996

  10. [10]

    Keel, Intersection theory of moduli space of stable n-pointed cur ves of genus zero , Transactions of the American Mathematical Society 330 (1992), 545–574

    S. Keel, Intersection theory of moduli space of stable n-pointed cur ves of genus zero , Transactions of the American Mathematical Society 330 (1992), 545–574

    work page 1992

  11. [11]

    5, 835–859

    Kefeng Liu and Hao Xu, Recursion formulae of higher Weil–Petersson volumes , International Mathe- matics Research Notices 2009 (2009), no. 5, 835–859. 10 MICHELE ANCONA AND DAMIEN GAYET

    work page 2009

  12. [12]

    Manin and Peter Zograf, Invertible cohomological field theories and Weil-Petersso n volumes , Annales de l’Institut Fourier 50 (2000), no

    Yuri I. Manin and Peter Zograf, Invertible cohomological field theories and Weil-Petersso n volumes , Annales de l’Institut Fourier 50 (2000), no. 2, 519–535

    work page 2000

  13. [13]

    1, 222–224

    Robert C McOwen, Point singularities and conformal metrics on riemann surfa ces, Proceedings of the American Mathematical Society 103 (1988), no. 1, 222–224

    work page 1988

  14. [14]

    1, 179–222

    Maryam Mirzakhani, Simple geodesics and Weil-Petersson volumes of moduli spac es of bordered Rie- mann surfaces , Inventiones mathematicae 167 (2007), no. 1, 179–222

    work page 2007

  15. [15]

    , Weil-Petersson volumes and intersection theory on the modu li space of curves , Journal of the American Mathematical Society 20 (2007), no. 1, 1–23

    work page 2007

  16. [16]

    , Growth of Weil-Petersson volumes and random hyperbolic sur face of large genus , J. Differ. Geom. 94 (2013), no. 2, 267–300

    work page 2013

  17. [17]

    4, 869–889

    Maryam Mirzakhani and Bram Petri, Lengths of closed geodesics on random surfaces of large genu s, Commentarii Mathematici Helvetici 94 (2019), no. 4, 869–889

    work page 2019

  18. [18]

    4, 1258–1289

    Maryam Mirzakhani and Peter Zograf, Towards large genus asymptotics of intersection numbers on moduli spaces of curves , Geometric and Functional Analysis 25 (2015), no. 4, 1258–1289

    work page 2015

  19. [19]

    Georg Schumacher and Stefano Trapani, Weil-Petersson geometry for families of hyperbolic conica l Riemann surfaces, Michigan Mathematical Journal 60 (2011), no. 1, 3–33

    work page 2011

  20. [20]

    2, 793–821

    Marc Troyanov, Prescribing curvature on compact surfaces with conical sin gularities, Transactions of the American Mathematical Society 324 (1991), no. 2, 793–821

    work page 1991

  21. [21]

    3, 491–523

    Scott Wolpert, On the homology of the moduli space of stable curves , Annals of Mathematics 118 (1983), no. 3, 491–523

    work page 1983

  22. [22]

    Peter Zograf, The Weil-Petersson volume of the moduli space of punctured s pheres, Contemporary Mathematics 150 (1993), 367–367

    work page 1993

  23. [23]

    Michele Ancona Laboratoire J.A

    Dimitri Zvonkine, An introduction to moduli spaces of curves and their interse ction theory, Handbook of Teichm¨ uller theory3 (2012), 667–716. Michele Ancona Laboratoire J.A. Dieudonn´ e UMR CNRS 7351 Universit´ e Cˆ ote d’Azur, Parc Valrose 06108 Nice, Cedex 2, France Damien Gayet Institut Fourier, UMR 5582, Laboratoire de Math´ ematiques, Universit´ e ...

    work page 2012