Journal of Algebraic Geometry

Journal of Algebraic Geometry

Online ISSN 1534-7486; Print ISSN 1056-3911

   
 
 

 

Effective divisors on $\overline{\mathcal{M}}_g$, curves on $K3$ surfaces, and the slope conjecture


Authors: Gavril Farkas and Mihnea Popa
Journal: J. Algebraic Geom. 14 (2005), 241-267
DOI: https://doi.org/10.1090/S1056-3911-04-00392-3
Published electronically: November 18, 2004
MathSciNet review: 2123229
Full-text PDF

Abstract | References | Additional Information

Abstract: We compute the class of the compactification of the divisor of curves sitting on a $K3$ surface and show that it violates the Harris-Morrison Slope Conjecture. We carry this out using the fact that this divisor has four distinct incarnations as a geometric subvariety of the moduli space of curves. We also give a counterexample to a hypothesis raised by Harris and Morrison that the Brill-Noether divisors are essentially the only effective divisors on the moduli space of curves having minimal slope $6+12/(g+1)$.


References [Enhancements On Off] (What's this?)

  • [AC] E. Arbarello and M. Cornalba, Calculating cohomology groups of moduli spaces of curves via algebraic geometry, Inst. Hautes Etudes Sci. Publ. Math. 88 (1998), 97-127. MR 1733327 (2001h:14030)
  • [CR] M.-C. Chang and Z. Ran, On the slope and Kodaira dimension of $\overline{\mathcal{M}}_g$for small $g$, J. Diff. Geom. 34 (1991), 267-274. MR 1114463 (92h:14015)
  • [CH] M. Cornalba and J. Harris, Divisor classes associated to stable varieties with applications to the moduli space of curves, Ann. Sci. Ec. Norm. Sup. 21 (1988), 455-475. MR 0974412 (89j:14019)
  • [Ck] F. Cukierman, Families of Weierstrass points, Duke Math. J. 58 (1989), 317-346. MR 1016424 (90g:14013)
  • [CU] F. Cukierman and D. Ulmer, Curves of genus $10$ on $K3$ surfaces, Compositio Math. 89 (1993), 81-90. MR 1248892 (94m:14047)
  • [EH1] D. Eisenbud and J. Harris, Limit linear series: basic theory, Invent. Math. 85 (1986), 337-371. MR 0846932 (87k:14024)
  • [EH2] D. Eisenbud and J. Harris, Irreducibility of some families of linear series with Brill-Noether number, I, Ann. Scient. Ec. Norm. Sup.(4) 22 (1989), 33-53. MR 0985853 (90a:14035)
  • [EH3] D. Eisenbud and J. Harris, The Kodaira dimension of the moduli space of curves of genus $\geq 23,$ Invent. Math. 90 (1987), 359-387. MR 0910206 (88g:14027)
  • [EH4] D. Eisenbud and J. Harris, A simpler proof of the Gieseker-Petri Theorem on special divisors, Invent. Math. 74 (1983), 269-280. MR 0723217 (85e:14039)
  • [F] G. Farkas, The geometry of the moduli space of curves of genus $23$, Math. Ann. 318 (2000), 43-65. MR 1785575 (2001f:14048)
  • [GH] P. Griffiths and J. Harris, Principles of algebraic geometry, Wiley-Interscience, 1978. MR 0507725 (80b:14001)
  • [HH] R. Hartshorne and A. Hirschowitz, Smoothing algebraic space curves, in: Algebraic Geometry: Sitges, Barcelona, Lecture Notes in Mathematics 1124 (1983), 98-131. MR 0805332 (87h:14023)
  • [Ha] J. Harris, On the Kodaira dimension of the moduli space of curves II: The even genus case, Invent. Math. 75 (1984), 437-466. MR 0735335 (86j:14024)
  • [Hu] K. Hulek, Projective geometry of elliptic curves, Asterisque 137 (1986). MR 0845383 (88c:14046)
  • [HM] J. Harris and I. Morrison, Slopes of effective divisors on the moduli space of stable curves, Invent. Math. 99 (1990), 321-355. MR 1031904 (91d:14009)
  • [La] R. Lazarsfeld, Brill-Noether-Petri without degenerations, J. Diff. Geom. 23 (1986), 299-307. MR 0852158 (88b:14019)
  • [Log] A. Logan, The Kodaira dimension of moduli spaces of curves with marked points, Amer. J. of Math. 125 (2003), 105-138. MR 1953519 (2003j:14035)
  • [Loo] E. Looijenga, Compactifications defined by arrangements II: locally symmetric varieties of type IV, Duke Math. J. 119 (2003), 527-588. MR 1978885 (2004i:14042a)
  • [M1] S. Mukai, Fano $3$-folds, in: Complex Projective Geometry, London Math. Soc. Lecture Notes Ser. 179, Cambridge University Press (1992), 255-263. MR 1201387 (94a:14042)
  • [M2] S. Mukai, Curves and $K3$ surfaces of genus eleven, in: Moduli of vector bundles, Lecture Notes in Pure and Appl. Math. 179, Dekker (1996), 189-197. MR 1397987 (97g:14031)
  • [PR] K. Paranjape and S. Ramanan, On the canonical ring of a curve, in: Algebraic Geometry and Commutative Algebra, Kinokuniya, Tokyo, 1988, 503-516. MR 0977775 (90b:14024)
  • [Ta] S.-L. Tan, On the slopes of the moduli spaces of curves, Int. J. Math. 9 (1998), 119-127. MR 1612259 (99k:14042)
  • [V1] C. Voisin, Sur l'application de Wahl des courbes satisfaisant la condition de Brill-Noether-Petri, Acta Math. 168 (1992), 249-272. MR 1161267 (93b:14045)
  • [V2] C. Voisin, Green's generic syzygy conjecture for curves of even genus lying on a $K3$ surface, J. Eur. Math. Soc. 4 (2002), 363-404. MR 1941089 (2003i:14040)
  • [V3] C. Voisin, Green's canonical syzygy conjecture for generic curves of odd genus, math.AG/0301359.
  • [W] J. Wahl, The Jacobian algebra of a graded Gorenstein singularity, Duke Math. J. 55 (1987), 843-871. MR 0916123 (89a:14042)


Additional Information

Gavril Farkas
Affiliation: Department of Mathematics, Princeton University, Fine Hall, Princeton, New Jersey 08544
Address at time of publication: Department of Mathematics, University of Texas at Austin, 1 University Station C1200, Austin, Texas 78712
Email: gfarkas@math.princeton.edu

Mihnea Popa
Affiliation: Department of Mathematics, Harvard University, One Oxford Street, Cambridge, Massachusetts 02138
Email: mpopa@math.harvard.edu

DOI: https://doi.org/10.1090/S1056-3911-04-00392-3
Received by editor(s): May 16, 2003
Published electronically: November 18, 2004
Additional Notes: The first author’s research was partially supported by NSF Grant DMS-0140520. The second author’s research was partially supported by NSF Grant DMS-0200150

American Mathematical Society