A family of ideals with few generators in low degree and large projective dimension
HTML articles powered by AMS MathViewer
- by Jason McCullough PDF
- Proc. Amer. Math. Soc. 139 (2011), 2017-2023 Request permission
Abstract:
Stillman posed a question as to whether the projective dimension of a homogeneous ideal $I$ in a polynomial ring over a field can be bounded by some formula depending only on the number and degrees of the minimal generators of $I$. More recently, motivated by work on local cohomology modules in characteristic $p$, Zhang asked more specifically if the projective dimension of $I$ is bounded by the sum of the degrees of the generators. We define a family of homogeneous ideals in a polynomial ring over a field of arbitrary characteristic whose projective dimension grows exponentially if the number and degrees of the generators are allowed to grow linearly. We therefore answer Zhang’s question in the negative and provide a lower bound to any answer to Stillman’s question. We also describe some explicit counterexamples to Zhang’s question including an ideal generated by 7 quadrics with projective dimension 15.References
- Winfried Bruns, “Jede” endliche freie Auflösung ist freie Auflösung eines von drei Elementen erzeugten Ideals, J. Algebra 39 (1976), no. 2, 429–439. MR 399074, DOI 10.1016/0021-8693(76)90047-8
- Lindsay Burch, A note on the homology of ideals generated by three elements in local rings, Proc. Cambridge Philos. Soc. 64 (1968), 949–952. MR 230718, DOI 10.1017/s0305004100043632
- Giulio Caviglia and Manoj Kummini, Some ideals with large projective dimension, Proc. Amer. Math. Soc. 136 (2008), no. 2, 505–509. MR 2358490, DOI 10.1090/S0002-9939-07-09159-9
- E. S. Pearson, Notes on the inverse and direct methods of estimation in R. D. Gordon’s problem, Biometrika 31 (1939), 181–186. MR 132, DOI 10.1093/biomet/31.1-2.181
- Bahman Engheta, Bounds on projective dimension, ProQuest LLC, Ann Arbor, MI, 2005. Thesis (Ph.D.)–University of Kansas. MR 2708123
- Bahman Engheta, On the projective dimension and the unmixed part of three cubics, J. Algebra 316 (2007), no. 2, 715–734. MR 2358611, DOI 10.1016/j.jalgebra.2006.11.018
- Bahman Engheta, A bound on the projective dimension of three cubics, J. Symbolic Comput. 45 (2010), no. 1, 60–73. MR 2568899, DOI 10.1016/j.jsc.2009.06.005
- Ronald L. Graham, Donald E. Knuth, and Oren Patashnik, Concrete mathematics, Addison-Wesley Publishing Company, Advanced Book Program, Reading, MA, 1989. A foundation for computer science. MR 1001562
- Daniel R. Grayson and Michael E. Stillman, Macaulay2, a software system for research in algebraic geometry, available at http://www.math.uiuc.edu/Macaulay2/.
- Peter Kohn, Ideals generated by three elements, Proc. Amer. Math. Soc. 35 (1972), 55–58. MR 296064, DOI 10.1090/S0002-9939-1972-0296064-1
- Irena Peeva and Mike Stillman, Open problems on syzygies and Hilbert functions, J. Commut. Algebra 1 (2009), no. 1, 159–195. MR 2462384, DOI 10.1216/JCA-2009-1-1-159
- Yi Zhang, A Property of Local Cohomology Modules of Polynomial Rings, preprint, arXiv:1001.3363v1 [math.AC], January 2010.
Additional Information
- Jason McCullough
- Affiliation: Department of Mathematics, University of California, Riverside, 202 Surge Hall, 900 University Avenue, Riverside, California 92521
- MR Author ID: 790865
- Email: jmccullo@math.ucr.edu
- Received by editor(s): June 10, 2010
- Published electronically: December 15, 2010
- Communicated by: Irena Peeva
- © Copyright 2010
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Proc. Amer. Math. Soc. 139 (2011), 2017-2023
- MSC (2010): Primary 13D05; Secondary 13D02
- DOI: https://doi.org/10.1090/S0002-9939-2010-10792-X
- MathSciNet review: 2775379