Ananyan and Hochster proved the existence of a function such that any graded ideal generated by forms of degree at most in a standard graded polynomial ring satisfies . Relatedly, Caviglia et. al. proved the existence of a function such that any nondegenerate prime ideal of degree in a standard graded polynomial ring over an algebraically closed field satisfies . We provide a construction showing that both and must be at least doubly exponential in and , respectively. Previously known lower bounds were merely super-polynomial in both cases.
Revised:
Accepted:
Published online:
Jason McCullough 1

@article{CRMATH_2024__362_G3_251_0, author = {Jason McCullough}, title = {Prime {Ideals} and {Three-generated} {Ideals} with {Large} {Regularity}}, journal = {Comptes Rendus. Math\'ematique}, pages = {251--255}, publisher = {Acad\'emie des sciences, Paris}, volume = {362}, year = {2024}, doi = {10.5802/crmath.544}, language = {en}, }
Jason McCullough. Prime Ideals and Three-generated Ideals with Large Regularity. Comptes Rendus. Mathématique, Volume 362 (2024), pp. 251-255. doi : 10.5802/crmath.544. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.5802/crmath.544/
[1] Small subalgebras of polynomial rings and Stillman’s conjecture, J. Am. Math. Soc., Volume 33 (2020) no. 1, pp. 291-309 | DOI | MR | Zbl
[2] What can be computed in algebraic geometry?, Computational algebraic geometry and commutative algebra (Cortona, 1991) (Symposia Mathematica), Volume 34, Cambridge University Press, 1993, pp. 1-48 | MR | Zbl
[3] Ideals with larger projective dimension and regularity, J. Symb. Comput., Volume 46 (2011) no. 10, pp. 1105-1113 | DOI | MR | Zbl
[4] Vanishing theorems, a theorem of Severi, and the equations defining projective varieties, J. Am. Math. Soc., Volume 4 (1991) no. 3, pp. 587-602 | DOI | MR | Zbl
[5] “Jede” endliche freie Auflösung ist freie Auflösung eines von drei Elementen erzeugten Ideals, J. Algebra, Volume 39 (1976) no. 2, pp. 429-439 | DOI | MR | Zbl
[6] Koszul algebras, Castelnuovo–Mumford regularity, and generic initial ideals, Ph. D. Thesis, University of Kansas, Lawrence, USA (2004), 101 pages (published by ProQuest LLC) | MR
[7] Regularity of prime ideals, Math. Z., Volume 291 (2019) no. 1-2, pp. 421-435 | DOI | MR | Zbl
[8] Liaison and Castelnuovo–Mumford regularity, Am. J. Math., Volume 124 (2002) no. 6, pp. 1103-1124 | DOI | MR | Zbl
[9] Castelnuovo–Mumford regularity of unprojections and the Eisenbud–Goto regularity conjecture (2022) | arXiv
[10] The geometry of syzygies. A second course in commutative algebra and algebraic geometry, Graduate Texts in Mathematics, 229, Springer, 2005 | MR | Zbl
[11] Linear free resolutions and minimal multiplicity, J. Algebra, Volume 88 (1984) no. 1, pp. 89-133 | DOI | MR | Zbl
[12] Big polynomial rings and Stillman’s conjecture, Invent. Math., Volume 218 (2019) no. 2, pp. 413-439 | DOI | MR | Zbl
[13] On a theorem of Castelnuovo, and the equations defining space curves, Invent. Math., Volume 72 (1983) no. 3, pp. 491-506 | DOI | MR | Zbl
[14] Projective surfaces in that are counterexamples to the Eisenbud–Goto regularity conjecture (2022) | arXiv
[15] Ideals generated by quadrics exhibiting double exponential degrees, J. Algebra, Volume 200 (1998) no. 1, pp. 225-245 | DOI | MR | Zbl
[16] Castelnuovo regularity for smooth subvarieties of dimensions and , J. Algebr. Geom., Volume 7 (1998) no. 1, pp. 195-206 | MR | Zbl
[17] Castelnuovo–Mumford regularity bound for smooth threefolds in and extremal examples, J. Reine Angew. Math., Volume 509 (1999), pp. 21-34 | DOI | MR | Zbl
[18] A bound for Castelnuovo–Mumford regularity by double point divisors, Adv. Math., Volume 364 (2020), 107008 | DOI | MR | Zbl
[19] A sharp Castelnuovo bound for smooth surfaces, Duke Math. J., Volume 55 (1987) no. 2, pp. 423-429 | DOI | MR | Zbl
[20] Counterexamples to the Eisenbud–Goto regularity conjecture, J. Am. Math. Soc., Volume 31 (2018) no. 2, pp. 473-496 | DOI | MR | Zbl
[21] The regularity conjecture for prime ideals in polynomial rings, EMS Surv. Math. Sci., Volume 7 (2020) no. 1, pp. 173-206 | DOI | MR | Zbl
[22] Bounding projective dimension, Commutative algebra, Springer, 2013, pp. 551-576 | DOI | MR | Zbl
[23] A Castelnuovo–Mumford regularity bound for threefolds with rational singularities, Adv. Math., Volume 401 (2022), 108320 | DOI | MR | Zbl
[24] Generic inner projections of projective varieties and an application to the positivity of double point divisors, Trans. Am. Math. Soc., Volume 366 (2014) no. 9, pp. 4603-4623 | DOI | MR | Zbl
[25] Open problems on syzygies and Hilbert functions, J. Commut. Algebra, Volume 1 (2009) no. 1, pp. 159-195 | DOI | MR | Zbl
[26] A Castelnuovo bound for smooth surfaces, Invent. Math., Volume 83 (1986) no. 2, pp. 321-332 | DOI | MR | Zbl
[27] Local differential geometry and generic projections of threefolds, J. Differ. Geom., Volume 32 (1990) no. 1, pp. 131-137 | MR | Zbl
Cited by Sources:
Comments - Policy