Given $d\in \mathbb{Z}_{\geq 2}$, for every $κ=(k_1,\dots,k_n) \in \mathbb{Z}^{n}$ such that $k_i\geq 1-d$ and $k_1+\dots+k_n=-2d$, denote by $Ω^d\mathcal{M}_{0,n}(κ)$ and $\mathbb{P}Ω^d\mathcal{M}_{0,n}(κ)$ the corresponding stratum of $d$-differentials in genus $0$ and its projectivization respectively. We specify an ideal sheaf of the structure sheaf of $\overline{\mathcal{M}}_{0,n}$ and show that the incidence variety compactification $\mathbb{P}\overlineΩ^d\mathcal{M}_{0,n}(κ)$ of $\mathbb{P}Ω^d\mathcal{M}_{0,n}(κ)$ is isomorphic to the blow-up of $\overline{\mathcal{M}}_{0,n}$ along this sheaf of ideals. We also obtain an explicit divisor representative of the tautological line bundle on the incidence variety. In an accompanying work [29], the construction of $\mathbb{P}\overlineΩ^d\mathcal{M}_{0,n}(κ)$ in this paper will be used to prove a recursive formula computing the volumes of the spaces of flat metric with fixed conical angles on the sphere.
The main goal of this work is to construct and study a reasonable compactification of the strata of the moduli space of Abelian differentials. This allows us to compute the Kodaira dimension of some strata of the moduli space of Abelian differentials. The main ingredients to study the compactifications of the strata are a version of the plumbing cylinder construction for differential forms and an extension of the parity of the connected components of the strata to the differentials on curves of compact type. We study in detail the compactifications of the hyperelliptic minimal strata and of th…
The Hilbert scheme of n points in the projective plane has a natural stratification obtained from the associated Hilbert series. In general, the precise inclusion relation between the closures of the strata is still unknown. Guerimand studied this problem for strata whose Hilbert series are as close as possible. Preimposing a certain technical condition he obtained necessary and sufficient conditions for the incidence of such strata. In this paper we present a new approach, based on deformation theory, to Guerimand's result. This allows us to show that the technical condition is not necessary.
We compute the integral Chow ring of the quotient stack $[(\mathbb{P}^1)^n/PGL_2]$, which contains $\mathcal{M}_{0,n}$ as a dense open, and determine a natural $\mathbb{Z}$-basis for the Chow ring in terms of certain ordered incidence strata. We further show that all $\mathbb{Z}$-linear relations between the classes of ordered incidence strata arise from an analogue of the WDVV relations in $A^\bullet(\overline{\mathcal{M}}_{0,n})$. Next we compute the classes of unordered incidence strata in the integral Chow ring of the quotient stack $[{\rm Sym}^n\mathbb{P}^1/PGL_2]$ and classify all $\math…
To each affine variety $X$ and $m_1,\ldots,m_k\in \mathbb{C}$ such that no subset of the $m_i$ add to zero, we construct a variety which for $m_1,\ldots,m_k \in \mathbb{N}$ specializes to the closed $(m_1,\ldots,m_k)$-incidence stratum of $Sym^{m_1+\ldots+m_k}X$. These fit into a finite-type family, which is functorial in $X$, and which is topologically a family of $\mathbb{C}$-weighted configuration spaces. We verify our construction agrees with an analogous construction in the Deligne category $Rep(S_{d})$ for $d \in \mathbb{C}$. We next classify the singularity locus and branching behaviour…
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.
Using stable log maps, we introduce log twisted differentials extending the notion of abelian differentials to the Deligne-Mumford boundary of stable curves. The moduli stack of log twisted differentials provides a compactification of the strata of abelian differentials. The open strata can have up to three connected components, due to spin and hyperelliptic structures. We prove that the spin parity can be distinguished on the boundary of the log compactification. Moreover, combining the techniques of log geometry and admissible covers, we introduce log twisted hyperelliptic differentials, and…
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-Möller. 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 Rie…
A smooth compactification X<n> of the configuration space of n distinct labeled points in a smooth algebraic variety X is constructed by a natural sequence of blowups, with the full symmetry of the permutation group S_n manifest at each stage of the construction. The strata of the normal crossing divisor at infinity are labeled by trees with levels and their structure is studied. This is the maximal wonderful compactification in the sense of DeConcini-Procesi, and it has a strata-compatible surjection onto the Fulton-MacPherson compactification. The degenerate configurations added in the compa…
The boundary of the multi-scale differential compactification of strata of abelian differentials admits an explicit combinatorial description. However, even for low-dimensional strata, the complexity of the boundary requires use of a computer. We give a description of the algorithms implemented in the SageMath package diffstrata to enumerate the boundary components and perform intersection theory on this space. In particular, the package can compute the Euler characteristic of strata using the methods developed by the same authors in [CMZ20].
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 …
The moduli space of principally polarized abelian varieties $A_g$ of genus g is defined over the integers and admits a minimal compactification $A_g^*$, also defined over the integers. The Hodge bundle over $A_g$ has its Chern classes in the Chow ring of $A_g$ with rational coefficients. We show that over the prime field $F_p$, these Chern classes naturally lift to $A_g^*$ and do so in the best possible way: despite the highly singular nature of $A_g^*$ they are represented by algebraic cycles on $A_g^*\otimes F_p$ which define elements in its bivariant Chow ring. This is in contrast to the si…
Double ramification loci, also known as strata of $0$-differentials, are algebraic subvarieties of the moduli space of smooth curves parametrizing Riemann surfaces such that there exists a rational function with prescribed ramification over $0$ and $\infty$. We describe the closure of double ramification loci inside the Deligne-Mumford compactification in geometric terms. To a rational function we associate its exact differential, which allows us to realize double ramification loci as linear subvarieties of strata of meromorphic differentials. We then obtain a geometric description of the clos…
This paper lays the foundation for determining the Kodaira dimension of the projectivized strata of Abelian differentials with prescribed zero and pole orders in large genus. We work with the moduli space of multi-scale differentials constructed in [BCGGM2] which provides an orbifold compactification of these strata. We establish the projectivity of the moduli space of multi-scale differentials, describe the locus of canonical singularities, and compute a series of effective divisor classes. Moreover, we exhibit a perturbation of the canonical class which allows the corresponding pluri-canonic…
Consider the moduli space $\mathcal{M}_{g}$ of Riemann surfaces of genus $g\geq 2$ and its Deligne-Munford compactification $\bar{\mathcal{M}_{g}}$. We are interested in the branch locus ${\mathcal{B}_{g}}$ for $g>2$, i.e., the subset of $\mathcal{M}_{g}$ consisting of surfaces with automorphisms. It is well-known that the set of hyperelliptic surfaces (the hyperelliptic locus) is connected in $\mathcal{M}_{g}$ but the set of (cyclic) trigonal surfaces is not. By contrast, we show that for $g\geq 5$ the set of (cyclic) trigonal surfaces is connected in $\bar{\mathcal{M}_{g}}$. To do so we exhi…
In the moduli space M_g of genus g Riemann surfaces, consider the locus RM_O of Riemann surfaces whose Jacobians have real multiplication by the order O in a totally real number field F of degree g. If g = 2 or 3, we compute the closure of RM_O in the Deligne-Mumford compactification of M_g and the closure of the locus of eigenforms over RM_O in the Deligne-Mumford compactification of the moduli space of holomorphic one-forms. For higher genera, we give strong necessary conditions for a stable curve to be in the boundary of RM_O Boundary strata of RM_O are parameterized by configurations of el…
In this work, we calculate the trace of a Hecke correspondance composed with a power of the Frobenius endomorphism on the fibre of the intersection complexes of the Baily-Borel compactification of a Siegel modular variety. Our main tool is Pink's theorem about the restriction to the strata of the Baily-Borel compactification of the direct image of a local system on the Shimura variety. To use this theorem, we give a new construction of the intermediate extension of a pure perverse sheaf as a weight truncation of the full direct image. More generally, we are able to define analogs in positive c…
Let (P,X) be Shimura data, M=M(P,X,K) the Shimura variety of level K. To an algebraic representation of P, one can associate a mixed sheaf (variation of Hodge structure, l-adic sheaf) on M. In the paper, we study the degeneration of such sheaves along strata in toroidal compactifications of M. The main result (2.8 in the Hodge setting, 3.9 in the l-adic setting) gives a formula for this degeneration in terms of Hochschild cohomology of certain unipotent subgroups of P. The new version differs from the earlier one in that the proof of 2.8 was rewritten. In particular, the effect of Saito's spec…
University of Oslo（奥斯陆大学）；CNRS - CMLS, École polytechnique, Institut polytechnique de Paris（法国国家科学研究中心-数学与计算机科学实验室，巴黎综合理工学院，巴黎理工学院）；LS2N, Inria, Nantes Université（南特大学-卢瓦尔河地区信息学与系统研究所，法国国家信息与自动化研究所）
We study the Chow ring of the boundary of the partial compactification of the universal family of principally polarized abelian varieties (ppav). We describe the subring generated by divisor classes, and compute the class of the partial compactification of the universal zero section, which turns out to lie in this subring. Our formula extends the results for the zero section of the universal uncompactified family. The partial compactification of the universal family of ppav can be thought of as the first two boundary strata in any toroidal compactification of the moduli space of ppav. Our form…
In the first part we extend the construction of the smooth normal-crossing divisors compactification of projectivized strata of abelian differentials given by Bainbridge, Chen, Gendron, Grushevsky and Moeller to the case of k-differentials. Since the generalized construction is closely related to the original one, we mainly survey their results and justify the details that need to be adapted in the more general context. In the second part we show that the flat area provides a canonical hermitian metric on the tautological bundle over the projectivized strata of finite area k-differentials whos…
The main goal of this article is to compute the class of the divisor of $\overline{\mathcal{M}}_3$ obtained by taking the closure of the image of $Ω\mathcal{M}_3(6;-2)$ by the forgetful map. This is done using Porteous formula and the theory of test curves. For this purpose, we study the locus of meromorphic differentials of the second kind, computing the dimension of the map of these loci to $\mathcal{M}_g$ and solving some enumerative problems involving such differentials in low genus. A key tool of the proof is the compactification of strata recently introduced by Bainbridge-Chen-Gendron-Gr…
