No Arabic abstract
We construct a compactification of the moduli spaces of abelian differentials on Riemann surfaces with prescribed zeroes and poles. This compactification, called the moduli space of multi-scale differentials, is a complex orbifold with normal crossing boundary. Locally, our compactification can be described as the normalization of an explicit blowup of the incidence variety compactification, which was defined in [BCGGM18] as the closure of the stratum of abelian differentials in the closure of the Hodge bundle. We also define families of projectivized multi-scale differentials, which gives a proper Deligne-Mumford stack, and our compactification is the orbifold corresponding to it. Moreover, we perform a real oriented blowup of the unprojectivized moduli space of multi-scale differentials such that the $mathrm{SL}_2(mathbb R)$-action in the interior of the moduli space extends continuously to the boundary.
An increasingly important area of interest for mathematicians is the study of Abelian differentials. This growing interest can be attributed to the interdisciplinary role this subject plays in modern mathematics, as various problems of algebraic geometry, dynamical systems, geometry and topology lead to the study of such objects. It comes as a natural consequence that we can employ in our study algebraic, analytic, combinatorial and dynamical perspectives. These lecture notes aim to provide an expository introduction to this subject that will emphasize the aforementioned links between different areas of mathematics. We will associate to an Abelian differential a flat surface with conical singularities such that the underlying Riemann surface is obtained from a polygon by identifying edges with one another via translation. We will focus on studying these objects in families and describe some properties of the orbit as we vary the polygon by the action of $GL_2^{+}(mathbb{R})$ on the plane.
A $k$-differential on a Riemann surface is a section of the $k$-th power of the canonical line bundle. Loci of $k$-differentials with prescribed number and multiplicities of zeros and poles form a natural stratification of the moduli space of $k$-differentials. In this paper we give a complete description for the compactification of the strata of $k$-differentials in terms of pointed stable $k$-differentials, for all $k$. The upshot is a global $k$-residue condition that can also be reformulated in terms of admissible covers of stable curves. Moreover, we study properties of $k$-differentials regarding their deformations, residues, and flat geometric structure.
We describe the closure of the strata of abelian differentials with prescribed type of zeros and poles, in the projectivized Hodge bundle over the Deligne-Mumford moduli space of stable curves with marked points. We provide an explicit characterization of pointed stable differentials in the boundary of the closure, both a complex analytic proof and a flat geometric proof for smoothing the boundary differentials, and numerous examples. The main new ingredient in our description is a global residue condition arising from a full order on the dual graph of a stable curve.
For a linear subvariety $M$ of a stratum of meromorphic differentials, we investigate its closure in the multi-scale compactification constructed by Bainbridge-Chen-Gendron-Grushevsky-Moller. We prove various restrictions on the type of defining linear equations in period coordinates for $M$ near its boundary, and prove that the closure is locally a toric variety. As applications, we give a fundamentally new proof of a generalization of the cylinder deformation theorem of Wright to the case of meromorphic strata, and construct a smooth compactification of the Hurwitz space of covers of the Riemann sphere.
For $4 mid L$ and $g$ large, we calculate the integral Picard groups of the moduli spaces of curves and principally polarized abelian varieties with level $L$ structures. In particular, we determine the divisibility properties of the standard line bundles over these moduli spaces and we calculate the second integral cohomology group of the level $L$ subgroup of the mapping class group (in a previous paper, the author determined this rationally). This entails calculating the abelianization of the level $L$ subgroup of the mapping class group, generalizing previous results of Perron, Sato, and the author. Finally, along the way we calculate the first homology group of the mod $L$ symplectic group with coefficients in the adjoint representation.