Square-integrability of the Mirzakhani function and statistics of simple closed geodesics on hyperbolic surfaces

Francisco Arana-Herrera; Jayadev S. Athreya

arxiv: 1907.06287 · v1 · pith:SLA4GFOGnew · submitted 2019-07-14 · 🧮 math.DS · math.GT

Square-integrability of the Mirzakhani function and statistics of simple closed geodesics on hyperbolic surfaces

Francisco Arana-Herrera , Jayadev S. Athreya This is my paper

Pith reviewed 2026-05-24 21:17 UTC · model grok-4.3

classification 🧮 math.DS math.GT

keywords Mirzakhani functionsquare-integrabilityWeil-Petersson volumemoduli space of hyperbolic surfacessimple closed geodesicsmeasured geodesic laminationsThurston measure

0 comments

The pith

The Mirzakhani function B is square-integrable with respect to the Weil-Petersson volume form on the moduli space M_{g,n}.

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

The paper shows that the Mirzakhani function B, which assigns to each hyperbolic surface the Thurston measure of its measured geodesic laminations of length at most one, is square-integrable over M_{g,n} against the Weil-Petersson volume. This follows from refined upper bounds on the growth of B as a surface degenerates to a cusp. The integrability result is then used to extract statistical information about the distribution of simple closed geodesics.

Core claim

B is square-integrable with respect to the Weil-Petersson volume form on M_{g,n} for integers g,n satisfying 2-2g-n<0; the proof proceeds by improving Mirzakhani's earlier bounds on the behavior of B near the cusp of M_{g,n}, and this integrability controls the statistics of counting problems for simple closed hyperbolic geodesics.

What carries the argument

The Mirzakhani function B, the Thurston measure of the set of measured geodesic laminations of hyperbolic length at most 1.

If this is right

The square-integrability of B yields asymptotic control on the number of simple closed geodesics of bounded length across the moduli space.
Global integrability of B supplies uniform estimates for the Thurston measure of short laminations on degenerating surfaces.
Statistics derived from B become available for counting problems that involve the Weil-Petersson measure on M_{g,n}.

Where Pith is reading between the lines

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

The same cusp bounds may permit integrability of higher powers of B against the Weil-Petersson form.
The result suggests that analogous integrability statements could hold for other natural functions on the moduli space that arise from length spectra.

Load-bearing premise

The improved upper bounds on the growth of B near the cusp of M_{g,n} hold for all g,n satisfying 2-2g-n<0.

What would settle it

An explicit integral computation of B squared over a neighborhood of a cusp in M_{g,n} that diverges.

read the original abstract

Given integers $g,n \geq 0$ satisfying $2-2g-n < 0$, let $\mathcal{M}_{g,n}$ be the moduli space of connected, oriented, complete, finite area hyperbolic surfaces of genus $g$ with $n$ cusps. We study the global behavior of the Mirzakhani function $B \colon \mathcal{M}_{g,n} \to \mathbf{R}_{\geq 0}$ which assigns to $X \in \mathcal{M}_{g,n}$ the Thurston measure of the set of measured geodesic laminations on $X$ of hyperbolic length $\leq 1$. We improve bounds of Mirzakhani describing the behavior of this function near the cusp of $\mathcal{M}_{g,n}$ and deduce that $B$ is square-integrable with respect to the Weil-Petersson volume form. We relate this knowledge of $B$ to statistics of counting problems for simple closed hyperbolic geodesics.

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.

Desk Editor's Note private letter to a colleague

Improved cusp bounds on the Mirzakhani function B establish its square-integrability w.r.t. Weil-Petersson measure.

read the letter

The main point is that this paper tightens Mirzakhani's earlier cusp estimates on the function B enough to prove B is square-integrable against the Weil-Petersson volume form on moduli space, for every g and n with negative Euler characteristic. They do this by supplying stronger explicit upper bounds on how B grows near degeneration and then checking that the integral of B squared times the WP form converges at the cusp. The comparison uses the standard asymptotic for the WP metric and goes through without extra assumptions on the topology of the degeneration locus. That is the concrete advance: the prior bounds were not sufficient for L2, and these new ones close the gap. The estimates appear direct and the integration step is mechanical once the bounds are in hand, so the central claim holds up on its own terms. No circularity or hidden fitting is visible. A minor limitation is that the bounds are not presented with uniform constants or error terms across all g and n, which restricts immediate quantitative applications even though it does not affect the integrability result itself. The link to statistics of simple closed geodesics is noted but not developed in detail. This is aimed at specialists already working inside Teichmüller theory and geometric topology who need integrable densities for averaging problems. A reader focused on Mirzakhani-style counting would get the most out of the sharpened bounds. It deserves peer review because the deduction is clean and the improvement is verifiable from the estimates given.

Referee Report

0 major / 2 minor

Summary. The paper improves Mirzakhani's bounds on the growth of the Mirzakhani function B near the cusp (degeneration locus) of the moduli space M_{g,n} (for 2-2g-n<0) and uses these bounds to prove that B is square-integrable with respect to the Weil-Petersson volume form. It further connects the integrability to statistics of counting problems for simple closed geodesics.

Significance. If the improved bounds and the subsequent integration against the WP volume form hold, the result establishes L^2 integrability of B, strengthening prior work and enabling applications to geodesic counting. The provision of explicit estimates near the cusp that are stronger than Mirzakhani's original bounds and directly yield convergence of the integral is a clear strength.

minor comments (2)

The abstract states that the improved bounds imply square-integrability but does not indicate the form of the bounds or the comparison with the WP cusp metric; readers must reach the body for these details.
Notation for the Mirzakhani function B and the degeneration locus could be introduced with a brief reminder in the introduction for readers less familiar with the prior literature.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report, which accurately summarizes the main results of the paper, and for recommending acceptance. We are pleased that the improvements to the cusp bounds on the Mirzakhani function and the resulting L^2 integrability are viewed as strengthening prior work.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper improves Mirzakhani's external bounds on the growth of the Mirzakhani function B near the cusp of M_{g,n} and directly integrates the resulting upper bounds against the known Weil-Petersson volume form to establish square-integrability. This step is a standard comparison of growth rates with the cusp metric and does not reduce to any self-definition, fitted input renamed as prediction, or self-citation load-bearing premise. The cited Mirzakhani work is independent and external; no equations in the provided abstract or reader's summary exhibit a reduction of the target integrability statement to the paper's own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review yields no explicit free parameters, axioms, or invented entities; the result is stated as a deduction from improved bounds on an existing function.

pith-pipeline@v0.9.0 · 5708 in / 1047 out tokens · 17138 ms · 2026-05-24T21:17:23.432890+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.7: B is square-integrable w.r.t. Weil-Petersson measure; improved cusp bounds via R(x) = |log x|/x
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Proposition 3.6 and integration over Fenchel-Nielsen coordinates near degeneration locus

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.