R₁₅ is of general type

DOI10.2140/ANT.2016.10.1949MaRDI QIDQ346717zbMATH OpenOpenAlexFDO

Authors Gregor Bruns

Publication date 30 November 2016

Published in Algebra \& Number Theory (Search for Journal in Brave)

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

zbMATH Keywords

Kodaira dimensionmoduli space of curvesPrym variety

Mathematics Subject Classification ID

Families, moduli of curves (algebraic) (14H10) Jacobians, Prym varieties (14H40) Algebraic moduli of abelian varieties, classification (14K10)

Abstract: We prove that the moduli space $overline{mathcalR}_{15}$ of Prym curves of genus $15$ is of general type. To this end we exhibit a virtual divisor $overline{mathcalD}_{15}$ on $overline{mathcalR}_{15}$ as the degeneracy locus of a globalized multiplication map of sections of line bundles. We then proceed to show that this locus is indeed of codimension one and calculate its class. Using this class, we can conclude that $K_{overline{mathcalR}_{15}}$ is big. This complements a 2010 result of Farkas and Ludwig: now the spaces $overline{mathcalR}_g$ are known to be of general type for $ggeq14$.

Review text

A Prym curve is a smooth curve with a \(2\)-torsion point in its Jacobian. Let \(\overline{\mathcal R}_g\) be the compactified moduli space of genus \(g\) Prym curves in the sense of \textit{E. Ballico} et al. [Doc. Math., J. DMV 9, 265--281 (2004; Zbl 1072.14029)] and \textit{M. Cornalba} [in: Proceedings of the first college on Riemann surfaces held in Trieste, Italy, November 9-December 18, 1987. Teaneck, NJ: World Scientific Publishing Co.. 560--589 (1989; Zbl 0800.14011)]. In [\textit{G. Farkas} and \textit{K. Ludwig}, J. Eur. Math. Soc. (JEMS) 12, No. 3, 755--795 (2010; Zbl 1193.14043)] it was shown that \(\overline{\mathcal R}_g\) is of general type for \(g\geq 14\) and \(g\neq 15\). In this paper the author extends the above range to include the case \(g=15\). The idea is the standard one -- writing the canonical class of \(\overline{\mathcal R}_g\) as a positive linear combination of the Hodge class with some other effective divisor classes, which then implies that the canonical class is big. In order to do this, the author constructs explicitly a geometric divisor on \(\overline{\mathcal R}_g\) and analyzes its divisor class. The construction uses Brill-Noether geometry in the setting of Prym curves.

Recommendations

• The Kodaira dimension of the moduli space of Prym varieties
• A Hurwitz divisor on the moduli of Prym curves
• Prym varieties and their moduli
• The Kodaira dimension of the moduli space of curves of genus 15
• Rational maps between moduli spaces of curves and Gieseker-Petri divisors

Cited in

(11)

• Moduli of Prym curves
• A Hurwitz divisor on the moduli of Prym curves
• Twists of Mukai bundles and the geometry of the level 3 modular variety over \(\overline{\mathcal {M}}_{8}\)
• Prym varieties and their moduli
• The Divisors of Prym Semicanonical Pencils
• The nonabelian Brill-Noether divisor on \(\overline{\mathcal{M}}_{13}\) and the Kodaira dimension of \(\overline{\mathcal{R}}_{13}\)
• The birational geometry of \(\overline{\mathcal{R}}_{g, 2}\) and Prym-canonical divisorial strata
• The uniruledness of the Prym moduli space of genus 9
• (Uni)rational parametrizations of \(\mathscr{R}_{g,2}\), \(\mathscr{R}_{g,4}\) and \(\mathscr{R}_{g,6}\) in low genera
• The class of the Prym-Brill-Noether divisor
• Prym varieties and moduli of polarized Nikulin surfaces

This page was built for publication: \(\overline{\mathcal R}_{15}\) is of general type

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