Syzygies of torsion bundles and the geometry of the level modular variety over M_g

DOI10.1007/S00222-012-0441-0MaRDI QIDQ378057zbMATH OpenOpenAlexFDO

Authors Alessandro Chiodo, David Eisenbud, Gavril Farkas, Frank-Olaf Schreyer

Publication date 11 November 2013

Published in Inventiones Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1205.0661

zbMATH Keywords

minimal resolution of paracanonical curvesmoduli of (twisted) level curvesPrym-Green conjecture

Mathematics Subject Classification ID

Algebraic geometry (14-XX) Families, moduli of curves (algebraic) (14H10) Families, moduli of curves (analytic) (14H15)

Abstract: We formulate, and in some cases prove, three statements concerning the purity or, more generally the naturality of the resolution of various rings one can attach to a generic curve of genus g and a torsion point of order l in its Jacobian. These statements can be viewed an analogues of Green's Conjecture and we verify them computationally for bounded genus. We then compute the cohomology class of the corresponding non-vanishing locus in the moduli space R_{g,l} of twisted level l curves of genus g and use this to derive results about the birational geometry of R_{g, l}. For instance, we prove that R_{g,3} is a variety of general type when g>11 and the Kodaira dimension of R_{11,3} is greater than or equal to 19. In the last section we explain probabilistically the unexpected failure of the Prym-Green conjecture in genus 8 and level 2.

Review text

Green conjectured and \textit{C. Voisin} proved in [Compos. Math. 141, No. 5, 1163--1190 (2005; Zbl 1083.14038)] that the minimal resolution of the canonical ring of a general curve of genus \(g\geq 3\) is as simple as possible. The locus of curves whose canonical ring has extra syzygies is a divisor in the moduli space and this is used to prove that the moduli space of curves of high enough genus is of general type. The present paper concerns the analogous statements for twisted canonical bundle and moduli of paracanonical curves \({\mathcal R}_{g,\ell}\), i.e. pairs \((C,\eta)\) with \(C\) a smooth curve of genus \(g\) and \(\eta\) an \(\ell\)-torsion point in the Jacobian of \(C\). A Prym-Green conjecture on the on the resolution of the coordiante ring of the paracanonical curve is stated and verified computationally for all \(g\leq 18\) and small \(\ell\) except for \(g=8\) and \(16\) and \(\ell=2\). Moreover, it is shown that \({\mathcal R}_{g,3}\) is of general type if \(g\geq 12\) and the Kodaira dimension of \({\mathcal R}_{11,3}\) is greater or equal to \(19\). Some of the results are proved in more generality for arbitrary twisted canonical line bundles. The geometry of some moduli spaces \({\mathcal R}_{g,\ell}\) for some small \(g\) and \(\ell\) is also investigated. Finally it is argued probabilistically that the Prym-Green conjecture fails in genus 8 for \(\ell= 2\).

Recommendations

• Syzygies of Prym and paracanonical curves of genus 8
• The resolution of paracanonical curves of odd genus
• The Prym-Green conjecture for torsion line bundles of high order
• Green-Lazarsfeld's conjecture for generic curves of large gonality.
• Green's generic syzygy conjecture for curves of even genus lying on a \(K3\) surface
• Universal secant bundles and syzygies of canonical curves
• scientific article; zbMATH DE number 66169
• Linear syzygies of curves with prescribed gonality
• Green's conjecture for the generic r-gonal curve of genus g 3r-7.
• New evidence for Green's conjecture on syzygies of canonical curves

Cites work

• A remark on a conjecture of Paranjape and Ramanan
• A standard basis approach to syzygies of canonical curves.
• Compactifying the space of stable maps
• Divisors on and the minimal resolution conjecture for points on canonical curves
• Fibrés de rang 2 sur une courbe, fibré déterminant et fonctions thêta
• Generic syzygy schemes
• Geometry of the moduli of higher spin curves.
• green's canonical syzygy conjecture for generic curves of odd genus
• scientific article; zbMATH DE number 4152570 (Why is no real title available?)
• Koszul cohomology and algebraic geometry
• Koszul cohomology and the geometry of projective varieties. Appendix: The nonvanishing of certain Koszul cohomology groups (by Mark Green and Robert Lazarsfeld)
• Koszul divisors on moduli spaces of curves
• Moduli of roots of line bundles on curves
• Moduli of theta-characteristics via Nikulin surfaces
• On the Kodaira dimension of the moduli space of curves
• Singularities of the moduli space of level curves
• Stable twisted curves and their r-spin structures
• The classification of universal Jacobians over the moduli space of curves
• The Kodaira dimension of the moduli space of curves of genus \(\geq 23\)
• The Kodaira dimension of the moduli space of Prym varieties
• The Picard group of the moduli of higher spin curves
• The rationality of certain moduli spaces of curves of genus 3
• The rationality of the moduli space of genus-4 curves endowed with an order-3 subgroup of their Jacobian
• The unirationality of the moduli spaces of curves of genus 14 or lower
• Towards an enumerative geometry of the moduli space of twisted curves and rth roots
• Twisted Bundles and Admissible Covers

Cited in

(21)

• Level structures on abelian varieties, Kodaira dimensions, and Lang's conjecture
• The resolution of paracanonical curves of odd genus
• A characterization of bielliptic curves via syzygy schemes
• Birational geometry of moduli of curves with an S₃-cover
• Moduli of G-covers of curves: geometry and singularities
• Views on level \(\ell\) curves, \(K3\) surfaces and Fano threefolds
• Minimal resolutions, Chow forms and Ulrich bundles on \(K3\) surfaces
• On the first Gaussian map for Prym-canonical line bundles
• Brill-Noether theory for cyclic covers
• The generic Green-Lazarsfeld secant conjecture
• Progress on syzygies of algebraic curves
• Syzygies of Prym and paracanonical curves of genus 8
• Twists of Mukai bundles and the geometry of the level 3 modular variety over \(\overline{\mathcal {M}}_{8}\)
• Most odd degree hyperelliptic curves have only one rational point
• Singularities of the moduli space of level curves
• Combinatorial enumeration of cyclic covers of \(\mathbb{P}^{1}\)
• The nonabelian Brill-Noether divisor on \(\overline{\mathcal{M}}_{13}\) and the Kodaira dimension of \(\overline{\mathcal{R}}_{13}\)
• The uniruledness of the Prym moduli space of genus 9
• Singularities of moduli of curves with a universal root
• The minimal resolution property for points on general curves
• Refined algorithms to compute syzygies

Describes a project that uses

Uses Software

• KoszulDivisorOnPic14M8
• ParanjapeRamananQuestion.m2

This page was built for publication: Syzygies of torsion bundles and the geometry of the level \(\ell \) modular variety over \(\overline{\mathcal{M}}_{g}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q378057)