Quadratic Gorenstein rings and the Koszul property I

Mastroeni, Matthew; Schenck, Hal; Stillman, Mike

doi:10.1090/tran/8214

Quadratic Gorenstein rings and the Koszul property I

Authors: Matthew Mastroeni, Hal Schenck and Mike Stillman
Journal: Trans. Amer. Math. Soc. 374 (2021), 1077-1093
MSC (2020): Primary 13D02; Secondary 14H45, 14H50
DOI: https://doi.org/10.1090/tran/8214
Published electronically: November 18, 2020
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Let be a standard graded Gorenstein algebra over a field presented by quadrics. In [Compositio Math. 129 (2001), no. 1, 95-121], Conca-Rossi-Valla show that such a ring is Koszul if $\mathrm {reg} R \leq 2$ or if $\mathrm {reg} R = 3$ and $c=\mathrm {codim} R \leq 4$ , and they ask whether this is true for $\mathrm {reg} R = 3$ in general. We determine sufficient conditions on a non-Koszul quadratic Cohen-Macaulay ring that guarantee the Nagata idealization $\tilde {R} = R \ltimes \omega _R(-a-1)$ is a non-Koszul quadratic Gorenstein ring. We prove there exist rings of regularity satisfying our conditions for all $c \ge 9$ ; this yields a negative answer to the question from the above-mentioned paper.

[ACI10] Luchezar L. Avramov, Aldo Conca, and Srikanth B. Iyengar, Free resolutions over commutative Koszul algebras, Math. Res. Lett. 17 (2010), no. 2, 197–210. MR 2644369, https://doi.org/10.4310/MRL.2010.v17.n2.a1
[Bac86] Jörgen Backelin, On the rates of growth of the homologies of Veronese subrings, Algebra, algebraic topology and their interactions (Stockholm, 1983) Lecture Notes in Math., vol. 1183, Springer, Berlin, 1986, pp. 79–100. MR 846440, https://doi.org/10.1007/BFb0075451
[Bac88] Jörgen Backelin, Relations between rates of growth of homologies, Research Reports in Mathematics 25, Department of Mathematics (1988), Stockholm University.
[Boi99] Mats Boij, Components of the space parametrizing graded Gorenstein Artin algebras with a given Hilbert function, Pacific J. Math. 187 (1999), no. 1, 1–11. MR 1674301, https://doi.org/10.2140/pjm.1999.187.1
[BHI17] Adam Boocher, S. Hamid Hassanzadeh, and Srikanth B. Iyengar, Koszul algebras defined by three relations, Homological and computational methods in commutative algebra, Springer INdAM Ser., vol. 20, Springer, Cham, 2017, pp. 53–68. MR 3751878
[BS13] M. P. Brodmann and R. Y. Sharp, Local cohomology, 2nd ed., Cambridge Studies in Advanced Mathematics, vol. 136, Cambridge University Press, Cambridge, 2013. An algebraic introduction with geometric applications. MR 3014449
[BC02] Winfried Bruns and Aldo Conca, Gröbner bases and determinantal ideals, Commutative algebra, singularities and computer algebra (Sinaia, 2002) NATO Sci. Ser. II Math. Phys. Chem., vol. 115, Kluwer Acad. Publ., Dordrecht, 2003, pp. 9–66. MR 2030262
[BH93] Winfried Bruns and Jürgen Herzog, Cohen-Macaulay rings, Cambridge Studies in Advanced Mathematics, vol. 39, Cambridge University Press, Cambridge, 1993. MR 1251956
[BV88] Winfried Bruns and Udo Vetter, Determinantal rings, Lecture Notes in Mathematics, vol. 1327, Springer-Verlag, Berlin, 1988. MR 953963
[Cav00] Giulio Caviglia, On a class of Gorenstein algebras that are Koszul, Laurea in Mathematics (Masters thesis), Università di Genova, 2000.
[Con14] Aldo Conca, Koszul algebras and their syzygies, Combinatorial algebraic geometry, Lecture Notes in Math., vol. 2108, Springer, Cham, 2014, pp. 1–31. MR 3329085, https://doi.org/10.1007/978-3-319-04870-3_1
[CDR13] Aldo Conca, Emanuela De Negri, and Maria Evelina Rossi, Koszul algebras and regularity, Commutative algebra, Springer, New York, 2013, pp. 285–315. MR 3051376, https://doi.org/10.1007/978-1-4614-5292-8_8
[CHI18] Aldo Conca, Hans-Christian Herbig, and Srikanth B. Iyengar, Koszul properties of the moment map of some classical representations, Collect. Math. 69 (2018), no. 3, 337–357. MR 3842210, https://doi.org/10.1007/s13348-018-0226-x
[CI+15] Aldo Conca, Srikanth B. Iyengar, Hop D. Nguyen, and Tim Römer, Absolutely Koszul algebras and the Backelin-Roos property, Acta Math. Vietnam. 40 (2015), no. 3, 353–374. MR 3395644, https://doi.org/10.1007/s40306-015-0125-0
[CRV01] Aldo Conca, Maria Evelina Rossi, and Giuseppe Valla, Gröbner flags and Gorenstein algebras, Compositio Math. 129 (2001), no. 1, 95–121. MR 1856025, https://doi.org/10.1023/A:1013160203998
[Eis05] David Eisenbud, The geometry of syzygies, Graduate Texts in Mathematics, vol. 229, Springer-Verlag, New York, 2005. A second course in commutative algebra and algebraic geometry. MR 2103875
[EK17] Sabine El Khoury and Andrew R. Kustin, Use a Macaulay inverse system to detect an embedded deformation, Preprint.
[EM+16] Burçin Eröcal, Oleksandr Motsak, Frank-Olaf Schreyer, and Andreas Steenpaß, Refined algorithms to compute syzygies, J. Symbolic Comput. 74 (2016), 308–327. MR 3424044, https://doi.org/10.1016/j.jsc.2015.07.004
[Fro99] R. Fröberg, Koszul algebras, Advances in commutative ring theory (Fez, 1997) Lecture Notes in Pure and Appl. Math., vol. 205, Dekker, New York, 1999, pp. 337–350. MR 1767430
[FL02] R. Fröberg and C. Löfwal, Koszul homology and Lie algebras with application to generic forms and points, Homology Homotopy Appl. 4 (2002), no. 2, 227–258. The Roos Festschrift volume, 2. MR 1918511, https://doi.org/10.4310/hha.2002.v4.n2.a11
[M2] Daniel R. Grayson and Michael E. Stillman, Macaulay2, a software system for research in algebraic geometry. Available at http://www.math.uiuc.edu/Macaulay2/.
[Gul72] Tor H. Gulliksen, Massey operations and the Poincaré series of certain local rings, J. Algebra 22 (1972), 223–232. MR 306190, https://doi.org/10.1016/0021-8693(72)90143-3
[HL87] Melvin Hochster and Dan Laksov, The linear syzygies of generic forms, Comm. Algebra 15 (1987), no. 1-2, 227–239. MR 876979, https://doi.org/10.1080/00927872.1987.10487449
[HM+07] Craig Huneke, Juan Migliore, Uwe Nagel, and Bernd Ulrich, Minimal homogeneous liaison and licci ideals, Algebra, geometry and their interactions, Contemp. Math., vol. 448, Amer. Math. Soc., Providence, RI, 2007, pp. 129–139. MR 2389239, https://doi.org/10.1090/conm/448/08662
[IK99] Anthony Iarrobino and Vassil Kanev, Power sums, Gorenstein algebras, and determinantal loci, Lecture Notes in Mathematics, vol. 1721, Springer-Verlag, Berlin, 1999. Appendix C by Iarrobino and Steven L. Kleiman. MR 1735271
[Kem90] George R. Kempf, Some wonderful rings in algebraic geometry, J. Algebra 134 (1990), no. 1, 222–224. MR 1068423, https://doi.org/10.1016/0021-8693(90)90219-E
[Kem92] George R. Kempf, Syzygies for points in projective space, J. Algebra 145 (1992), no. 1, 219–223. MR 1144669, https://doi.org/10.1016/0021-8693(92)90187-Q
[Mas18] Matthew Mastroeni, Koszul almost complete intersections, J. Algebra 501 (2018), 285–302. MR 3768138, https://doi.org/10.1016/j.jalgebra.2017.12.020
[MSS19] Matthew Mastroeni, Hal Schenck, Mike Stillman, Quadratic Gorenstein rings and the Koszul property II, 1903.08273 [math.AC].
[Mat17] Kazunori Matsuda, Non-Koszul quadratic Gorenstein toric rings, Math. Scand. 123 (2018), no. 2, 161–173. MR 3856531, https://doi.org/10.7146/math.scand.a-105278
[MS20] Jason McCullough and Alexandra Seceleanu, Quadratic Gorenstein algebras with many surprising properties, arXiv:2004.10237 [math.AC].
[MM03] J. Migliore and R. M. Miró-Roig, On the minimal free resolution of 𝑛+1 general forms, Trans. Amer. Math. Soc. 355 (2003), no. 1, 1–36. MR 1928075, https://doi.org/10.1090/S0002-9947-02-03092-1
[Pol95] Alexander Polishchuk, On the Koszul property of the homogeneous coordinate ring of a curve, J. Algebra 178 (1995), no. 1, 122–135. MR 1358259, https://doi.org/10.1006/jabr.1995.1342
[Rei72] Idun Reiten, The converse to a theorem of Sharp on Gorenstein modules, Proc. Amer. Math. Soc. 32 (1972), 417–420. MR 296067, https://doi.org/10.1090/S0002-9939-1972-0296067-7
[Roo93] Jan-Erik Roos, Commutative non-Koszul algebras having a linear resolution of arbitrarily high order. Applications to torsion in loop space homology, C. R. Acad. Sci. Paris Sér. I Math. 316 (1993), no. 11, 1123–1128 (English, with English and French summaries). MR 1221635
[Roo16] Jan-Erik Roos, Homological properties of the homology algebra of the Koszul complex of a local ring: examples and questions, J. Algebra 465 (2016), 399–436. MR 3537827, https://doi.org/10.1016/j.jalgebra.2016.06.033
[SS12] Hal Schenck and Mike Stillman, High rank linear syzygies on low rank quadrics, Amer. J. Math. 134 (2012), no. 2, 561–579. MR 2905005, https://doi.org/10.1353/ajm.2012.0012
[Tat57] John Tate, Homology of Noetherian rings and local rings, Illinois J. Math. 1 (1957), 14–27. MR 86072
[VF93] A. Vishik and M. Finkelberg, The coordinate ring of general curve of genus 𝑔≥5 is Koszul, J. Algebra 162 (1993), no. 2, 535–539. MR 1254790, https://doi.org/10.1006/jabr.1993.1269