Skip to main content
SpringerLink
Log in

Koszul modules and Green’s conjecture

  • Published:
Inventiones mathematicae Aims and scope

Abstract

We prove a strong vanishing result for finite length Koszul modules, and use it to derive Green’s conjecture for every g-cuspidal rational curve over an algebraically closed field \({{\mathbf {k}}}\), with \({\text {char}}({{\mathbf {k}}})=0\) or \({\text {char}}({{\mathbf {k}}})\ge \frac{g+2}{2}\). As a consequence, we deduce that the general canonical curve of genus g satisfies Green’s conjecture in this range. Our results are new in positive characteristic, whereas in characteristic zero they provide a different proof for theorems first obtained in two landmark papers by Voisin. Our strategy involves establishing two key results of independent interest: (1) we describe an explicit, characteristic-independent version of Hermite reciprocity for \({{\mathfrak {s}}}{{\mathfrak {l}}}_2\)-representations; (2) we completely characterize, in arbitrary characteristics, the (non-)vanishing behavior of the syzygies of the tangential variety to a rational normal curve.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Akin, K., Buchsbaum, D., Weyman, J.: Schur functors and Schur complexes. Adv. Math. 44, 207–278 (1982)

    Article  MathSciNet  Google Scholar 

  2. Aprodu, M., Farkas, G., Papadima, Ş., Raicu, C., Weyman, J.: Topological Invariants of Groups and Koszul Modules. arXiv:1806.01702

  3. Aprodu, M., Nagel, J.: Koszul Cohomology and Algebraic Geometry. AMS University Lecture Series, vol. 52. American Mathematical Society (2010)

  4. Bopp, C., Schreyer, F.-O.: A Version of Green’s Conjecture in Positive Characteristics. arXiv:1803.10481

  5. Coskun, I., Riedl, E.: Normal Bundles of Rational Curves on Complete Intersections. arXiv:1705.08441

  6. Dimca, A., Papadima, S., Suciu, A.: Topology and geometry of cohomology jump loci. Duke Math. J. 148, 405–457 (2009)

    Article  MathSciNet  Google Scholar 

  7. Ein, L., Lazarsfeld, R.: Tangent developable surfaces and syzygies of generic canonical curves, in preparation, to appear in the Bulletin of the AMS

  8. Eisenbud, D.: Green’s conjecture: an orientation for algebraists. In: Free Resolutions in Commutative Algebra and Algebraic Geometry (Sundance 1990), Research Notes in Mathematics, vol. 2, pp. 51–78. Jones and Bartlett, Boston (1992)

  9. Eisenbud, D.: The Geometry of Syzygies. A Second Course in Commutative Algebra and Algebraic Geometry. Graduate Texts in Mathematics, vol. 229. Springer, New York (2005)

    MATH  Google Scholar 

  10. Eisenbud, D., Harris, J.: Limit linear series: basic theory. Invent. Math. 85, 337–371 (1986)

    Article  MathSciNet  Google Scholar 

  11. Eisenbud, D., Schreyer, F.-O.: Equations and Syzygies of K3 Carpets and Unions of Scrolls. arXiv:1804.08011

  12. Farkas, G.: Koszul divisors on moduli spaces of curves. Am. J. Math. 131, 819–869 (2009)

    Article  MathSciNet  Google Scholar 

  13. Fulton, W., Harris, J.: Representation theory. A first course. Graduate Texts in Mathematics, vol. 129. Springer, New York (1991)

    MATH  Google Scholar 

  14. Green, M.: Koszul cohomology and the geometry of projective verieties. J. Differ. Geom. 19, 125–171 (1984)

    Article  Google Scholar 

  15. Green, M., Lazarsfeld, R.: Higher obstructions to deforming cohomology groups of line bundles. J. Am. Math. Soc. 4, 87–103 (1991)

    Article  MathSciNet  Google Scholar 

  16. Hartshorne, R.: Algebraic Geometry, Springer Graduate Texts in Mathematics, vol. 52. Springer, New York (1977)

    Google Scholar 

  17. Hartshorne, R.: Generalized divisors on Gorenstein curves and a theorem of Noether. J. Math. Kyoto Univ. 26, 375–386 (1986)

    Article  MathSciNet  Google Scholar 

  18. Hassett, B., Hyeon, D.: Log canonical models for the moduli space of curves: the first divisorial contraction. Trans. Am. Math. Soc. 361, 4471–4489 (2009)

    Article  MathSciNet  Google Scholar 

  19. Hermite, C.: Sur la theorie des fonctions homogenes à deux indéterminées. Camb. Dublin Math. J. 9, 172–217 (1854)

    Google Scholar 

  20. Jantzen, J.C.: Representations of Algebraic Groups, Pure and Applied Mathematics. Academic Press, New York (1987)

    Google Scholar 

  21. Kaji, H.: On the tangentially degenerate curves. J. Lond. Math. Soc. 33, 430–440 (1986)

    Article  MathSciNet  Google Scholar 

  22. Macdonald, I.G.: Symmetric Functions and Hall Polynomials. Oxford Mathematical Monographs. Oxford University Press (1995)

  23. Papadima, S., Suciu, A.: Vanishing resonance and representations of Lie algebras. J. Reine Angew. Math. 706, 83–101 (2015)

    MathSciNet  MATH  Google Scholar 

  24. Schreyer, F.-O.: Syzygies of Curves with Special Pencils, Ph.D. Thesis, Brandeis University (1983)

  25. Schreyer, F.-O.: Syzygies of canonical curves and special linear series. Mathematische Annalen 275, 105–137 (1986)

    Article  MathSciNet  Google Scholar 

  26. Schubert, D.: A new compactification of the moduli space of curves. Compos. Math. 78, 297–313 (1991)

    MathSciNet  MATH  Google Scholar 

  27. Smyth, D.: Modular compactifications of the space of pointed elliptic curves I. Compos. Math. 147, 877–913 (2011)

    Article  MathSciNet  Google Scholar 

  28. Voisin, C.: Green’s generic syzygy conjecture for curves of even genus lying on a K3 surface. J. Eur. Math. Soc. 4, 363–404 (2002)

    Article  MathSciNet  Google Scholar 

  29. Voisin, C.: Green’s canonical syzygy conjecture for generic curves of odd genus. Compos. Math. 141, 1163–1190 (2005)

    Article  MathSciNet  Google Scholar 

  30. Wahl, J.: Gaussian maps on algebraic curves. J. Differ. Geom. 32, 77–98 (1990)

    Article  MathSciNet  Google Scholar 

  31. Weyman, J.: Cohomology of Vector Bundles and Syzygies, Cambridge Tracts in Mathematics. Cambridge University Press (2003)

Download references

Acknowledgements

We acknowledge with thanks the contribution of A. Suciu. This project, including the companion paper [2], started with the paper [23], and since then we benefited from numerous discussions with him. We warmly thank A. Beauville, L. Ein, D. Eisenbud, B. Klingler, P. Pirola, F.-O. Schreyer and C. Voisin for interesting discussions related to this circle of ideas. We are particularly grateful to R. Lazarsfeld who read an early version of the paper and suggested many improvements which significantly clarified the exposition. Aprodu was partially supported by the Romanian Ministry of Research and Innovation, CNCS - UEFISCDI, grant PN-III-P4-ID-PCE-2016-0030, within PNCDI III. Farkas was supported by the DFG grant Syzygien und Moduli. Raicu was supported by the Alfred P. Sloan Foundation and by the NSF Grant No. 1600765. Weyman was partially supported by the Sidney Professorial Fund and the NSF grant No. 1802067.

Author information

Author notes

  1. Ştefan Papadima passed away on January 10, 2018.

Authors and Affiliations

  1. Simion Stoilow Institute of Mathematics, P.O. Box 1-764, 014700, Bucharest, Romania

    Marian Aprodu, Ştefan Papadima & Claudiu Raicu

  2. Faculty of Mathematics and Computer Science, University of Bucharest, Bucharest, Romania

    Marian Aprodu

  3. Institut für Mathematik, Humboldt-Universität zu Berlin, Unter den Linden 6, 10099, Berlin, Germany

    Gavril Farkas

  4. Department of Mathematics, University of Notre Dame, 255 Hurley, Notre Dame, IN, 46556, USA

    Claudiu Raicu

  5. Department of Mathematics, University of Connecticut, Storrs, CT, 06269-3009, USA

    Jerzy Weyman

  6. Institute of Mathematics, Uniwersytet Jagielloński, 30-348, Kraków, Poland

    Jerzy Weyman

Authors
  1. Marian Aprodu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gavril Farkas
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ştefan Papadima
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Claudiu Raicu
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Jerzy Weyman
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Gavril Farkas.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Aprodu, M., Farkas, G., Papadima, Ş. et al. Koszul modules and Green’s conjecture. Invent. math. 218, 657–720 (2019). https://doi.org/10.1007/s00222-019-00894-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00222-019-00894-1

Search

Navigation