The birational type of the moduli space of even spin curves

Gavril Farkas

DOI: https://doi.org/10.1016/j.aim.2009.08.011

IF: 1.675

2010-01-01

Advances in Mathematics

Abstract:We determine the Kodaira dimension of the moduli space Sg of even spin curves for all g. Precisely, we show that Sg is of general type for g>8 and has negative Kodaira dimension for g<8.

mathematics

What problem does this paper attempt to address?

Curvatures of Moduli Space of Curves and Applications

Kefeng Liu,Xiaofeng Sun,Xibei Yang,Shing–Tung Yau

DOI: https://doi.org/10.4310/ajm.2017.v21.n5.a3

2017-01-01

Abstract:In this paper, we investigate the geometry of the moduli space of curves by using the curvature properties of direct image sheaves of vector bundles. We show that the moduli space $(M_g, \omega_{WP})$ of curves with genus $g>1$ has dual-Nakano negative and semi-Nakano-negative curvature, and in particular, it has non-positive Riemannain curvature operator and also non-positive complex sectional curvature. As applications, we prove that any submanifold in $M_g$ which is totally geodesic in $A_g$ with finite volume must be a ball quotient. We also show that, on a Kodaira (deformation) surface, there is no K\"ahler metric with non-positive Riemannain sectional curvature although it possesses K\"ahler metrics with strictly negative holomorphic bisectional curvature.
Szegő kernels and Scorza quartics on the moduli space of spin curves

Gavril Farkas,Elham Izadi

2024-09-20

Abstract:We describe an extension at the level of the moduli space of stable spin curves of genus g of the map associating to an ineffective spin structure its Scorza curve (equivalently, the vanishing locus of its Szegő kernel). We compute the class of the Szegő-Hodge bundle, then find an unconditional new interpretation, in terms of theta constants, of the Scorza quartic uniquely associated to an even spin structure. Our results describe the superperiod map from the moduli space of supersymmetric curves in the neighborhood of the theta-null divisor and provide a lower bound for the slope of the movable cone of the moduli space of spin curves.

Algebraic Geometry
The Kodaira dimension of the moduli space of Prym varieties

Gavril Farkas,Katharina Ludwig

DOI: https://doi.org/10.48550/arXiv.0804.4616

2015-04-10

Abstract:We study the enumerative geometry of the moduli space R_g of Prym varieties of dimension g-1 (also known as the space of admissible double covers). Our main result is that the compactification of R_g is of general type as soon as g>13. We achieve this by computing the class of two types of cycles on R_g: one defined in terms of Koszul cohomology of Prym curves, the other defined in terms of Raynaud theta divisors associated to certain vector bundles on curves. We formulate a Prym-Green conjecture on syzygies of Prym-canonical curves. In the appendix we show that even though R_g has non-canonical singularities, pluricanonical forms on R_g extend to any desingularization.

Algebraic Geometry
The Kodaira dimension of even spin strata of Abelian differentials

Andrei Bud,Dawei Chen,Martin Möller

2024-10-24

Abstract:The even spin components of the strata of Abelian differentials are difficult to handle from a birational geometry perspective due to the fact that their spin line bundles have more sections than expected. Nevertheless, in this paper, we prove that for large genus, the minimal even spin components are of general type. This result complements the previous work by the second and third authors, together with Costantini, on the Kodaira dimension of general strata and the minimal odd spin components of Abelian differentials. Our main technical tool is the computation and estimation of a series of effective divisor classes on the even spin components.

Algebraic Geometry
The Kodaira classification of the moduli of hyperelliptic curves

Ignacio Barros,Scott Mullane

2024-12-17

Abstract:We study the birational geometry of the moduli spaces of hyperelliptic curves with marked points. We show that these moduli spaces have non $\mathbb{Q}$-factorial singularities. We complete the Kodaira classification by proving that these spaces have Kodaira dimension $4g+3$ when the number of markings is $4g+6$ and are of general type when the number of markings is $n\geq4g+7$. Similarly, we consider the natural finite cover given by ordering the Weierstrass points. In this case, we provide a full Kodaira classification showing that the Kodaira dimension is negative when $n\leq3$, one when $n=4$, and of general type when $n\geq 5$. For this, we carry out a singularity analysis of ordered and unordered pointed Hurwitz spaces. We show that the ordered space has canonical singularities and the unordered space has non-canonical singularities. We describe all non-canonical points and show that pluricanonical forms defined on the full regular locus extend to any resolution. Further, we provide a full classification of the structure of the pseudo-effective cone of Cartier divisors for the moduli space of hyperelliptic curves with marked points. We show the cone is non-polyhedral when the number of markings is at least two and polyhedral in the remaining cases.

Algebraic Geometry
The Kodaira dimensions of $\overline{\mathcal{M}}_{22}$ and $\overline{\mathcal{M}}_{23}$

Gavril Farkas,David Jensen,Sam Payne

2023-06-22

Abstract:We prove that the moduli spaces of curves of genus 22 and 23 are of general type. To do this, we calculate certain virtual divisor classes of small slope associated to linear series of rank 6 with quadric relations. We then develop new tropical methods for studying linear series and independence of quadrics and show that these virtual classes are represented by effective divisors.

Algebraic Geometry
Moduli Spaces of Higher Spin Curves and Integrable Hierarchies

Tyler J. Jarvis,Takashi Kimura,Arkady Vaintrob

DOI: https://doi.org/10.48550/arXiv.math/9905034

2000-02-10

Abstract:We prove the genus zero part of the generalized Witten conjecture relating moduli spaces of spin curves to Gelfand-Dickey hierarchies. That is, we show that intersection numbers on the moduli space of stable r-spin curves assemble into a generating function which yields a solution of the semiclassical limit of the KdV_r equations. We formulate axioms for a cohomology class on this moduli space which allow one to construct a cohomological field theory of rank $r-1$ in all genera. In genus zero it produces a Frobenius manifold which is isomorphic to the Frobenius manifold structure on the base of the versal deformation of the A_{r-1} singularity. We prove analogs of the puncture, dilaton, and topological recursion relations by drawing an analogy with the construction of Gromov-Witten invariants and quantum cohomology.

Algebraic Geometry,Differential Geometry,Quantum Algebra
On supercurves of genus 1 with an underlying odd spin structure

Alexander Polishchuk

2024-03-05

Abstract:We study the standard family of supercurves of genus 1 with an underlying odd spin structures. We give a simple algebraic description of this family and of the compactified family of stable supercurves with one Neveu-Schwarz puncture. We also describe the Gauss-Manin connection on the first de Rham cohomology of this family and compute the superperiods of global differentials.

Algebraic Geometry
Half canonical rings of Gorenstein spin curves of genus two

Stephen Coughlan,Marco Franciosi,Rita Pardini,Sönke Rollenske

2023-12-15

Abstract:We introduce the notion of generalised Gorenstein spin structure on a curve and we give an explicit description of the associated section ring for curves of genus two with ample canonical bundle, obtaining five different formats.

Algebraic Geometry
Derived category of moduli of pointed curves -- II

Ana-Maria Castravet,Jenia Tevelev

2023-12-20

Abstract:We show that the moduli space of stable rational curves with $n$ marked points has a full exceptional collection equivariant under the action of the symmetric group $S_n$ permuting the marked points. In particular, its K-group with integer coefficients is a permutation $S_n$-lattice.

Algebraic Geometry
Moduli of Canonical Surfaces of General Type with $K_S^2 = 1$, $p_g = 2$

David Wen

DOI: https://doi.org/10.48550/arXiv.2103.12990

2021-03-24

Abstract:We study the moduli space of minimal surfaces of general type with $K_S^2 = 1$ and $p_g = 2$ and show that it is irreducible, has dimension $28$ and admits a compactification which is unirational.

Algebraic Geometry
Moduli of plane quartics, Gopel invariants and Borcherds products

Shigeyuki Kondo

DOI: https://doi.org/10.48550/arXiv.0906.2598

2009-06-15

Abstract:It is known that the moduli space of plane quartic curves is birational to an arithmetic quotient of a 6-dimensional complex ball. In this paper, we shall show that there exists a 15-dimensional space of meromorphic automorphic forms on the complex ball which gives a birational embedding of the moduli space of plane quartics with level 2 structure into 14-dimensional projective space. This map coincides with the one given by Coble by using Gopel invariants.

Algebraic Geometry
On the Kodaira dimension of moduli spaces of Abelian differentials

Dawei Chen,Matteo Costantini,Martin Möller

DOI: https://doi.org/10.48550/arXiv.2204.11943

2022-04-25

Algebraic Geometry

Abstract: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-canonical forms to extend over the locus of non-canonical singularities. As applications, we certify general type for strata with few zeros as well as for strata with equidistributed zero orders when g is sufficiently large. In particular, we show general type for the odd spin components of the minimal strata for g > 12.
On the Kodaira Dimension of the Moduli of Deformation Generalised Kummer Varieties

Matthew Dawes

2024-05-05

Abstract:We prove general type results for orthogonal modular varieties associated with the moduli of compact hyperkähler manifolds of deformation generalised Kummer type ('deformation generalised Kummer varieties'). In particular, we consider moduli spaces of deformation generalised Kummer fourfolds with split-polarisation of degree $2d$. Our main result is that when $d$ is prime or $2d$ is square-free then the associated modular varieties are of general type when $d$ exceeds bounds we determine, subject to the existence of certain low-weight cusp forms for $\operatorname{O}(2,n)$. As a corollary, we conclude that the corresponding moduli spaces are also of general type.

Algebraic Geometry
Curves and symmetric spaces III: BN-special vs. 1-PS degeneration

Shigeru Mukai

DOI: https://doi.org/10.1007/s12044-022-00702-6

2022-09-30

Proceedings - Mathematical Sciences

Abstract:A linear section theorem for Brill–Noether general curves of genus g=7,8,9documentclass[12pt]{minimal}usepackage{amsmath}usepackage{wasysym}usepackage{amsfonts}usepackage{amssymb}usepackage{amsbsy}usepackage{mathrsfs}usepackage{upgreek}setlength{oddsidemargin}{-69pt}egin{document}$$g=7, 8, 9$$end{document} is extended to Brill–Noether special ones by replacing the three symmetric spaces OG(5,10)+⊂P15documentclass[12pt]{minimal}usepackage{amsmath}usepackage{wasysym}usepackage{amsfonts}usepackage{amssymb}usepackage{amsbsy}usepackage{mathrsfs}usepackage{upgreek}setlength{oddsidemargin}{-69pt}egin{document}$$OG(5, 10)^+ subset {mathbb {P}}^{15}$$end{document}, G(2,6)⊂P14documentclass[12pt]{minimal}usepackage{amsmath}usepackage{wasysym}usepackage{amsfonts}usepackage{amssymb}usepackage{amsbsy}usepackage{mathrsfs}usepackage{upgreek}setlength{oddsidemargin}{-69pt}egin{document}$$G(2,6) subset {mathbb {P}}^{14}$$end{document} and the 6-dimensional Lagrangian Grassmannian G(3,6,σ)⊂P13documentclass[12pt]{minimal}usepackage{amsmath}usepackage{wasysym}usepackage{amsfonts}usepackage{amssymb}usepackage{amsbsy}usepackage{mathrsfs}usepackage{upgreek}setlength{oddsidemargin}{-69pt}egin{document}$$G(3,6, sigma ) subset {mathbb {P}}^{13}$$end{document} with their suitable 1-PS limits Σ2g-2′⊂P22-gdocumentclass[12pt]{minimal}usepackage{amsmath}usepackage{wasysym}usepackage{amsfonts}usepackage{amssymb}usepackage{amsbsy}usepackage{mathrsfs}usepackage{upgreek}setlength{oddsidemargin}{-69pt}egin{document}$$Sigma '_{2g-2} subset {mathbb {P}}^{22-g}$$end{document}.

mathematics
On the Picard Group of the Moduli Space of Curves via $r$-Spin Structures

Danil Gubarevich

DOI: https://doi.org/10.3842/SIGMA.2024.088

2024-10-10

Abstract:In this paper, we obtain explicit expressions for Pandharipande-Pixton-Zvonkine relations in the second rational cohomology of $\overline{\mathcal{M}}_{g,n}$ and comparing the result with Arbarello-Cornalba's theorem we prove Pixton's conjecture in this case.

Algebraic Geometry
Functions on the moduli space of projective structures on complex curves

Indranil Biswas

2023-09-06

Abstract:We investigate the moduli space ${\mathcal P}_g$ of smooth complex projective curves of genus $g$ equipped with a projective structure. When $g\, \geq\, 3$, it is shown that this moduli space ${\mathcal P}_g$ does not admit any nonconstant algebraic function. This is in contrast with the case of ${\mathcal P}_2$ which is known to be an affine variety.

Algebraic Geometry
Moduli of codimension two linear sections of subadjoint varieties

Yingqi Liu

2024-03-26

Abstract:Let $G$ be a simple algebraic group of type $F_{4}$, $E_{6}$, $E_{7}$ or $E_{8}$, and let $\mathfrak{g}$ be its Lie algebra. The adjoint variety $X_{ad} \subseteq \mathbb{P} \mathfrak{g}$ is defined as the unique closed orbit of the adjoint action of $G$ on $\mathbb{P}\mathfrak{g}$. $X_{ad}$ is a Fano contact manifold covered by lines in $\mathbb{P} \mathfrak{g}$. The subadjoint variety $S \subseteq \mathbb{P} W$ is denoted by the variety of lines on $X_{ad}$ through a fixed point $x$, where $W \subseteq T_{x}X$ is taken as the contact hyperplane. It follows from a result in representation theory of Vinberg that the GIT quotient space of codimension two linear sections of $S$ is isomorphic to the weighted projective space $\mathbb{P}(1,3,4,6)$. In this note, we investigate the problem of finding a geometric interpretation of the above isomorphism. As a main result, for each $\mathfrak{g}$ of the above type, we construct a natural open embedding of the GIT quotient space of nonsingular codimension two linear sections of $S$ into $\mathbb{P}(1,3,4,6)$ whose complement is a fixed hypersurface of degree 12. The key ingredient of our construction is to apply a correspondence of Bahargava and Ho which relates the above moduli problem to a moduli problem on curves of genus one.

Algebraic Geometry
Birational description of moduli spaces of rank 2 logarithmic connections

Takafumi Matsumoto

2024-07-04

Abstract:In this paper, we provide an explicit description of the Zariski-open subset of the moduli space of rank 2 parabolic logarithmic connections in the case $g\geq 2$. Our approach is to analyze the underlying parabolic bundles and the apparent singularities of the parabolic connections. We prove that a Zariski-open subset of the product of a projective space and the moduli space of parabolic bundles gives a Darboux coordinate for the moduli space of parabolic connections.

Algebraic Geometry
Moduli spaces on Kuznetsov components are Irreducible Symplectic Varieties

Giulia Saccà

2024-01-31

Abstract:This article studies moduli spaces of Bridgeland semistable objects in the Kuznetsov component of a cubic fourfold that don't admit a symplectic resolution, i.e., moduli spaces of objects with non-primitve Mukai vector v=mv_0 that is not of OG10-type and where v_0^2 >0. For a generic stability condition, it is shown that these moduli spaces are projective irreducible symplectic varieties with factorial terminal singularities and that their deformation class is uniquely determined by the integers m and v_0^2. On the one hand, this generalizes the results of <a class="link-https" data-arxiv-id="1703.10839" href="https://arxiv.org/abs/1703.10839">arXiv:1703.10839</a>, <a class="link-https" data-arxiv-id="1912.06935" href="https://arxiv.org/abs/1912.06935">arXiv:1912.06935</a>, <a class="link-https" data-arxiv-id="2007.14108" href="https://arxiv.org/abs/2007.14108">arXiv:2007.14108</a>, which deal with moduli spaces of objects in the Kuznetsov component of a cubic fourfold which are smooth or of OG10-type; on the other hand, this extends to the Kuznetsov component of a cubic fourfold the results of <a class="link-https" data-arxiv-id="1802.01182" href="https://arxiv.org/abs/1802.01182">arXiv:1802.01182</a>, <a class="link-https" data-arxiv-id="2012.10649" href="https://arxiv.org/abs/2012.10649">arXiv:2012.10649</a>, on Gieseker moduli spaces of sheaves on K3 surfaces with non-primitive Mukai vector.

Algebraic Geometry

The birational type of the moduli space of even spin curves

Curvatures of Moduli Space of Curves and Applications

Szegő kernels and Scorza quartics on the moduli space of spin curves

The Kodaira dimension of the moduli space of Prym varieties

The Kodaira dimension of even spin strata of Abelian differentials

The Kodaira classification of the moduli of hyperelliptic curves

The Kodaira dimensions of $\overline{\mathcal{M}}_{22}$ and $\overline{\mathcal{M}}_{23}$

Moduli Spaces of Higher Spin Curves and Integrable Hierarchies

On supercurves of genus 1 with an underlying odd spin structure

Half canonical rings of Gorenstein spin curves of genus two

Derived category of moduli of pointed curves -- II

Moduli of Canonical Surfaces of General Type with $K_S^2 = 1$, $p_g = 2$

Moduli of plane quartics, Gopel invariants and Borcherds products

On the Kodaira dimension of moduli spaces of Abelian differentials

On the Kodaira Dimension of the Moduli of Deformation Generalised Kummer Varieties

Curves and symmetric spaces III: BN-special vs. 1-PS degeneration

On the Picard Group of the Moduli Space of Curves via $r$-Spin Structures

Functions on the moduli space of projective structures on complex curves

Moduli of codimension two linear sections of subadjoint varieties

Birational description of moduli spaces of rank 2 logarithmic connections

Moduli spaces on Kuznetsov components are Irreducible Symplectic Varieties