On the degree two entry of a Gorenstein $h$-vector and a conjecture of Stanley
HTML articles powered by AMS MathViewer
- by Juan Migliore, Uwe Nagel and Fabrizio Zanello PDF
- Proc. Amer. Math. Soc. 136 (2008), 2755-2762 Request permission
Abstract:
In this short paper we establish a (non-trivial) lower bound on the degree two entry $h_2$ of a Gorenstein $h$-vector of any given socle degree $e$ and any codimension $r$.
In particular, when $e=4$, that is, for Gorenstein $h$-vectors of the form $h=(1,r,h_2,r,1)$, our lower bound allows us to prove a conjecture of Stanley on the order of magnitude of the minimum value, say $f(r)$, that $h_2$ may assume. In fact, we show that \[ \lim _{r\rightarrow \infty } \frac {f(r)}{ r^{2/3}}= 6^{2/3}.\] In general, we wonder whether our lower bound is sharp for all integers $e\geq 4$ and $r\geq 2$.
References
- Christos A. Athanasiadis, Ehrhart polynomials, simplicial polytopes, magic squares and a conjecture of Stanley, J. Reine Angew. Math. 583 (2005), 163–174. MR 2146855, DOI 10.1515/crll.2005.2005.583.163
- David Bernstein and Anthony Iarrobino, A nonunimodal graded Gorenstein Artin algebra in codimension five, Comm. Algebra 20 (1992), no. 8, 2323–2336. MR 1172667, DOI 10.1080/00927879208824466
- A. M. Bigatti and A. V. Geramita, Level algebras, lex segments, and minimal Hilbert functions, Comm. Algebra 31 (2003), no. 3, 1427–1451. MR 1971070, DOI 10.1081/AGB-120017774
- Mats Boij, Graded Gorenstein Artin algebras whose Hilbert functions have a large number of valleys, Comm. Algebra 23 (1995), no. 1, 97–103. MR 1311776, DOI 10.1080/00927879508825208
- Mats Boij and Dan Laksov, Nonunimodality of graded Gorenstein Artin algebras, Proc. Amer. Math. Soc. 120 (1994), no. 4, 1083–1092. MR 1227512, DOI 10.1090/S0002-9939-1994-1227512-2
- Winfried Bruns and Jürgen Herzog, Cohen-Macaulay rings, Cambridge Studies in Advanced Mathematics, vol. 39, Cambridge University Press, Cambridge, 1993. MR 1251956
- Anthony V. Geramita, Inverse systems of fat points: Waring’s problem, secant varieties of Veronese varieties and parameter spaces for Gorenstein ideals, The Curves Seminar at Queen’s, Vol. X (Kingston, ON, 1995) Queen’s Papers in Pure and Appl. Math., vol. 102, Queen’s Univ., Kingston, ON, 1996, pp. 2–114. MR 1381732
- Mark Green, Restrictions of linear series to hyperplanes, and some results of Macaulay and Gotzmann, Algebraic curves and projective geometry (Trento, 1988) Lecture Notes in Math., vol. 1389, Springer, Berlin, 1989, pp. 76–86. MR 1023391, DOI 10.1007/BFb0085925
- Craig Huneke, Hyman Bass and ubiquity: Gorenstein rings, Algebra, $K$-theory, groups, and education (New York, 1997) Contemp. Math., vol. 243, Amer. Math. Soc., Providence, RI, 1999, pp. 55–78. MR 1732040, DOI 10.1090/conm/243/03686
- 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, DOI 10.1007/BFb0093426
- Anthony Iarrobino and Hema Srinivasan, Artinian Gorenstein algebras of embedding dimension four: components of $\Bbb P\textrm {Gor}(H)$ for $H=(1,4,7,\dots ,1)$, J. Pure Appl. Algebra 201 (2005), no. 1-3, 62–96. MR 2158748, DOI 10.1016/j.jpaa.2004.12.015
- Peter Kleinschmidt, Über Hilbert-Funktionen graduierter Gorenstein-Algebren, Arch. Math. (Basel) 43 (1984), no. 6, 501–506 (German). MR 775736, DOI 10.1007/BF01190951
- A.R. Klivans and A. Shpilka: Learning arithmetic circuits via partial derivatives, in: Proc. 16th Annual Conference on Computational Learning Theory, Morgan Kaufmann Publishers (2003), 463-476.
- U. Nagel: Empty simplices of polytopes and graded Betti numbers, Discrete Comput. Geom. 39 (2008), 389-410.
- R. Pandharipande, Three questions in Gromov-Witten theory, Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002) Higher Ed. Press, Beijing, 2002, pp. 503–512. MR 1957060
- Idun Reiten, The converse to a theorem of Sharp on Gorenstein modules, Proc. Amer. Math. Soc. 32 (1972), 417–420. MR 296067, DOI 10.1090/S0002-9939-1972-0296067-7
- Richard P. Stanley, Hilbert functions of graded algebras, Advances in Math. 28 (1978), no. 1, 57–83. MR 485835, DOI 10.1016/0001-8708(78)90045-2
- Richard P. Stanley, Combinatorics and commutative algebra, Progress in Mathematics, vol. 41, Birkhäuser Boston, Inc., Boston, MA, 1983. MR 725505, DOI 10.1007/978-1-4899-6752-7
- Richard P. Stanley, Combinatorics and commutative algebra, 2nd ed., Progress in Mathematics, vol. 41, Birkhäuser Boston, Inc., Boston, MA, 1996. MR 1453579
- Richard P. Stanley, A monotonicity property of $h$-vectors and $h^*$-vectors, European J. Combin. 14 (1993), no. 3, 251–258. MR 1215335, DOI 10.1006/eujc.1993.1028
- Richard P. Stanley, The number of faces of a simplicial convex polytope, Adv. in Math. 35 (1980), no. 3, 236–238. MR 563925, DOI 10.1016/0001-8708(80)90050-X
- Fabrizio Zanello, Stanley’s theorem on codimension 3 Gorenstein $h$-vectors, Proc. Amer. Math. Soc. 134 (2006), no. 1, 5–8. MR 2170536, DOI 10.1090/S0002-9939-05-08276-6
- Fabrizio Zanello, When is there a unique socle-vector associated to a given $h$-vector?, Comm. Algebra 34 (2006), no. 5, 1847–1860. MR 2229494, DOI 10.1080/00927870500542812
Additional Information
- Juan Migliore
- Affiliation: Department of Mathematics, University of Notre Dame, Notre Dame, Indiana 46556
- MR Author ID: 124490
- ORCID: 0000-0001-5528-4520
- Email: Juan.C.Migliore.1@nd.edu
- Uwe Nagel
- Affiliation: Department of Mathematics, University of Kentucky, 715 Patterson Office Tower, Lexington, Kentucky 40506-0027
- MR Author ID: 248652
- Email: uwenagel@ms.uky.edu
- Fabrizio Zanello
- Affiliation: Department of Mathematics, University of Notre Dame, Notre Dame, Indiana 46556
- Address at time of publication: Department of Mathematical Sciences, Michigan Technological University, Houghton, Michigan 49931-1295
- MR Author ID: 721303
- Email: zanello@math.kth.se
- Received by editor(s): May 7, 2007
- Received by editor(s) in revised form: December 1, 2007
- Published electronically: April 10, 2008
- Additional Notes: The second author gratefully acknowledges partial support from and the hospitality of the Institute for Mathematics and its Applications at the University of Minnesota
- Communicated by: Bernd Ulrich
- © Copyright 2008
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Proc. Amer. Math. Soc. 136 (2008), 2755-2762
- MSC (2000): Primary 13E10; Secondary 13H10, 13D40
- DOI: https://doi.org/10.1090/S0002-9939-08-09456-2
- MathSciNet review: 2399039