SearcharxivSearch

arXiv · 2411.01615

Exponential volumes of moduli spaces of hyperbolic surfaces

Abstract

A decorated surface S is an oriented topological surface with marked points on the boundary considered modulo the isotopy. We consider the moduli space of hyperbolic structures on S with geodesic boundary, such that the hyperbolic structure near each marked point is a cusp, equipped with a horocycle. This space carries a volume form. Let us fix the set K of distances between the horocycles at the adjacent cusps, and the set L of lengths of boundary circles without cusps. We get a subspace M(S; K,L) with the induced volume form Vol(K,L). However, if the cusps are present, the volume of the space M(S; K,L) is infinite. We introduce the exponential volume form exp(-W)Vol(K,L), where W is a positive function on the moduli space, given by the sum over cusps of the hyperbolic areas enclosed between the cusp and the horocycle at the cusp. We prove that the exponential volume, defined as the integral of the exponential volume form over the moduli space M(S; K,L), is always finite. We suggest that the moduli spaces M(S; K,L) with the exponential volume forms are the true analogs of the classical moduli spaces of Riemann surfaces, with the Weil-Petersson volume forms. In particular, they should be relevant to the open string theory. We support this by proving an unfolding formula for the integrals of measurable functions multiplied by the exponential volume form. It expresses them as finite sums of similar integrals over moduli spaces for simpler surfaces. They generalise Mirzakhani's recursions for the volumes of moduli spaces of hyperbolic surfaces. We show that exponential volumes for elementary decorated surfaces give rise to a commutative algebra E, which we call the positive Hecke-Whittaker algebra for PGL(2,R). Exponential volumes for all decorated surfaces and unfolding formulas extend the algebra E to all decorated surfaces.

Explore related subjects

Keep this discovery

BibTeXRIS

Alexander B. Goncharov, Zhe Sun. 2024-11-03. Exponential volumes of moduli spaces of hyperbolic surfaces. https://arxiv.org/abs/2411.01615

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Perverse Euler Characteristics of Hermitian Locally Symmetric Spaces

We prove that finite-volume locally Hermitian symmetric spaces of noncompact type have nonnegative perverse Euler characteristics. To show this, we obtain a nefness result for the logarithmic cotangent bundle of a smooth toroidal compactification. Combining this with a positivity criterion for Euler characteristics of perverse sheaves, we deduce the nonnegativity result. We further prove that the inequality is strict for perverse sheaves with full support. As applications, we get nonnegativity results for perverse Euler characteristics on various moduli spaces.

math.AG

Coupled Pklt Tuples and Varieties of Pklt Type

We introduce asymptotic multiplier ideal sheaves and log canonical thresholds associated with tuples of pseudoeffective divisors on a projective klt pair. We prove that the threshold of a coupled potentially klt tuple is computed by a quasi-monomial valuation. For varieties of potentially klt type, we prove that every big divisor admits a birational Zariski decomposition with semiample positive part. We also prove finite generation of multisection rings of big divisors and give a criterion for a variety of potentially klt type to be a Mori dream space.

math.AG

Graded Betti numbers of general curves of large degree

Let $C$ be a smooth projective complex curve of genus $g$ and gonality $k$, and $L$ be a very ample line bundle on $C$. When $L$ has sufficiently large degree, the vanishing and nonvanishing of the Koszul cohomology groups $K_{p,q}(C,L)$ have been determined previously, but the exact values of the graded Betti numbers $\kappa_{p,q}(C, L)$ remain largely unknown. In this paper, we give explicit closed formulas for all graded Betti numbers $\kappa_{p,q}(C, L)$ when the Brill--Noether locus $W_k^1(C)$ has the expected dimension and $H^1(C, L \otimes \omega_C^{-1})=0$. Consequently, we determine the complete Betti table for a general curve when $\deg L \geq 4g-3$ or when $\deg L \geq 3g-3$ and $L$ is general. We also explicitly compute the Boij--S\"{o}derberg coefficient of the section ring $R(C, L)$ governing asymptotic purity, and show eventual monotonicity of the remaining coefficients: they decrease for hyperelliptic curves and increase under a natural generic reducedness assumption on the relevant Brill--Noether loci.

math.AG