Alexander B. Goncharov,Zhe Sun
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.
What problem does this paper attempt to address?
This paper mainly discusses the exponential volume problem of ideal hyperbolic surfaces in moduli spaces. Specifically, the author introduced a new volume form - the exponential volume form, and through this form, solved the problem that the volume of the moduli space is infinite when there are cusps. The following are the key problems that the paper attempts to solve:
### 1. **Infinite Volume Problem**
When considering the moduli space of ideal hyperbolic surfaces with cusps, the traditional volume form will lead to an infinite volume. To solve this problem, the author introduced the exponential volume form \(e^{-W}\Omega\), where \(W\) is a positive function representing the sum of the hyperbolic areas under each cusp. Through this new volume form, the author proved that the following integral is finite:
\[ \int_{M_S(K,L)} e^{-W} \Omega_S(K,L) \]
### 2. **Analogy of Moduli Spaces**
The author proposed that the moduli space \(M_S(K,L)\) with the exponential volume form can be regarded as an analogy of the moduli space \(M_{g,n}\) related to open string theory. This provides a new perspective for studying these moduli spaces.
### 3. **Integral Expansion Formula**
The author proved an expansion formula, expressing the integral on the moduli space as a finite sum of similar integrals on simpler moduli spaces. This formula generalizes Mirzakhani's recursive formula for the volume of hyperbolic surface moduli spaces. Specifically, for any measurable function \(f\) on \(M_S(K,L)\), we have:
\[ \int_{M_S(K,L)} f e^{-W} \Omega_S(K,L) \]
which can be expressed as:
\[ \sum_{[\zeta] \in [H_{\zeta,p}]} \int_{M_{S,\zeta}} f \cdot R_{\zeta,p} E_\zeta \cdot E_{S - \zeta} \wedge \text{vol}_{C_{\zeta,p}} \]
### 4. **Laplace Transform and B - function**
The author also studied the Laplace transform of the exponential volume and introduced the B - function. The B - function is a special integral and can be regarded as a generalization of the Bessel function. The author proved that the B - function has some important properties, for example, it can be expressed as a product of Bessel functions.
### 5. **Recursive Formula**
The author proposed a neck recursion formula for calculating the exponential volume integral. This formula decomposes the complex moduli space into simpler moduli spaces by cutting the surface along the neck geodesic. Specifically, for a crown structure with a single cusp \(p\), we have:
\[ \text{Vol}_E(M_S)(K,L) = C_{S,\ell} \int_0^\infty \text{Vol}_E(M_{D_\ell})(K_{D_\ell}) \cdot \text{Vol}_E(M_{S_\ell})(K',L') l \, dl \]
### 6. **Application of the Expansion Formula**
The author proved that the expansion formula can be used to express the exponential volume as a linear combination of odd derivatives of Bessel functions. Moreover, when \(s_1=\cdots = s_r = 0\), the exponential volume can be expressed as a linear combination of odd derivatives of Bessel integrals at \(s = 0\).
### 7. **Geometric Interpretation**
The author also discussed the geometric interpretation of these results, especially the relationship with the A - model. The author pointed out that for a general surface \(S\), finding an A - model interpretation is an important problem because, in general, the mapping class group \(\text{Mod}(S)\) is infinite.
### Summary
This paper solves the problem of infinite volume in the moduli space with cusps by introducing the exponential volume form.