Abstract
We introduce a relativization of the secant sheaves from Green and Lazarsfeld (A simple proof of Petri’s theorem on canonical curves, Geometry Today, 1984) and Ein and Lazarsfeld (Inventiones Math 190:603-646, 2012) and apply this construction to the study of syzygies of canonical curves. As a first application, we give a simpler proof of Voisin’s Theorem for general canonical curves. This completely determines the terms of the minimal free resolution of the coordinate ring of such curves. Secondly, in the case of curves of even genus, we enhance Voisin’s Theorem by providing a structure theorem for the last syzygy space, resolving the Geometric Syzygy Conjecture in even genus.
Similar content being viewed by others
References
Akin, K., Buchsbaum, D., Weyman, J.: Schur functors and Schur complexes. Adv. Math. 44, 207–278 (1982)
Aprodu, M., Farkas, G.: Green’s conjecture for curves on arbitrary K3 surfaces. Compositio Math. 147, 839–851 (2011)
Aprodu, M., Farkas, G., Papadima, S., Raicu, C., Weyman, J.: Koszul modules and Green’s conjecture. Invent. Math. 218, 657–720 (2019)
Aprodu, M., Nagel, J.: Koszul cohomology and algebraic geometry, University Lecture Series, vol. 52. American Mathematical Society, Providence, RI (2010)
Andreotti, A., Mayer, A.L.: On period relations for abelian integrals on algebraic curves. Ann. della Scuola Normale Super. di Pisa 21, 189–238 (1967)
Arbarello, E., Sernesi, E.: Petri’s approach to the study of the ideal associated to a special divisor. Invent. Math. 49, 99–119 (1978)
Graf v Bothmer, H.-C.: Geometric syzygies of canonical curves of even genus lying on a K3 surfaces, arXiv:math/0108078
Graf v Bothmer, H.-C.: Generic syzygy schemes. J. Pure Appl. Algebr. 208, 867–876 (2007)
Graf v Bothmer, H.-C.: Scrollar syzygies of general canonical curves with genus \(\le 8\). Trans. AMS 359, 465–488 (2007)
Eisenbud, D., Harris, J.: 3264 and All That: A Second Course in Algebraic Geometry. Cambridge University Press, Cambridge (2016)
Ein, L., Lazarsfeld, R.: The gonality conjecture on syzygies of algebraic curves of large degree. Publ. Math. Inst. Hautes Études Sci. 122, 301–313 (2015)
Ein, L., Lazarsfeld, R.: Syzygies and Koszul cohomology of smooth projective varieties of arbitrary dimension. Invent. Math. 111, 51–67 (1993)
Ein, L., Lazarsfeld, R.: Asymptotic Syzygies of Algebraic Varieties. Invent. Math. 190, 603–646 (2012)
Farkas, G.: Progress on syzygies of algebraic curves, In: Lecture Notes of the Unione Matematica Italiana vol. 21 (Moduli of Curves, Guanajuato), pp. 107-138 (2016)
Farkas, G., Kemeny, M.: Linear syzygies for curves of prescribed gonality. Adv. Math. 356, 106810 (2019)
Green, M.: The canonical ring of a variety of general type. Duke Math. J. 49, 1087–1113 (1982)
Green, M.: Koszul cohomology and the cohomology of projective varieties. J. Differ. Geo. 19, 125–171 (1984)
Green, M.: Quadrics of rank four in the ideal of a canonical curve. Invent. Math. 75, 85–104 (1984)
Gallego, F., Purnaprajna, B.: Projective normality and syzygies of algebraic surfaces. J. Reine Angew. Math. 506, 145–180 (1999)
Grothendieck, A.: Éléments de géométrie algébrique : IV. Étude locale des schémas et des morphismes de schémas, Seconde partie. Publ. Math. de l’IHÉS 24, 5–231 (1965)
Green, M., Lazarsfeld, R.: A simple proof of Petri’s theorem on canonical curves. Geom. Today, Progr. Math. 60, 129–142 (1985)
Hartshorne, R.: Algebraic Geometry, Graduate Texts in Mathematics 52. Springer-Verlag, New York (1977)
Lazarsfeld, R.: Brill-Noether-Petri without degenerations. J. Differ. Geo. 23, 299–307 (1986)
Lazarsfeld, R.: A Sampling of Vector Bundle Techniques in the Study of Linear Series, Lectures on Riemann Surfaces, pp. 500–559. World Science, Trieste (1987)
Lelli-Chiesa, M.: Stability of rank 3 Lazarsfeld-Mukai bundles on K3 surfaces. Proc. London Math. Soc. 107, 451–479 (2013)
Mayer, A.: Families of K3 surfaces. Nagoya Math J. 48, 1–17 (1972)
Voisin, C.: Sur l’application de Wahl des courbes satisfaisant la condition de Brill-Noether-Petri. Acta Math. 168, 249–272 (1992)
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)
Voisin, C.: Green’s canonical syzygy conjecture for generic curves of odd genus. Compositio Math. 141, 1163–1190 (2005)
Acknowledgements
I thank C. Voisin for helpful explanations and G. Farkas for numerous discussions. I thank R. Lazarsfeld for encouragement and for detailed comments. I thank M. Aprodu, J. Ellenberg, D. Erman, D. Huybrechts, J. Rathmann, E. Sernesi and R. Yang for feedback on previous versions. I thank the referee for a careful reading and for comments which greatly improved the exposition. The author is supported by NSF grant DMS-1701245.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Kemeny, M. Universal secant bundles and syzygies of canonical curves. Invent. math. 223, 995–1026 (2021). https://doi.org/10.1007/s00222-020-01001-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-020-01001-5