Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Bounds for multiplicities

Authors: Jürgen Herzog and Hema Srinivasan
Journal: Trans. Amer. Math. Soc. 350 (1998), 2879-2902
MSC (1991): Primary 13H15, 13D25, 13Xxx
MathSciNet review: 1458304
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Let $R=K[x_1,x_2,\ldots, x_n]$ and $S=R/I$ be a homogeneous $K$-algebra. We establish bounds for the multiplicity of certain homogeneous $K$-algebras $S$ in terms of the shifts in a free resolution of $S$ over $R$. Huneke and we conjectured these bounds as they generalize the formula of Huneke and Miller for the algebras with pure resolution, the simplest case. We prove these conjectured bounds for various algebras including algebras with quasi-pure resolutions. Our proof for this case gives a new and simple proof of the Huneke-Miller formula. We also settle these conjectures for stable and square free strongly stable monomial ideals $I$. As a consequence, we get a bound for the regularity of $S$. Further, when $S$ is not Cohen-Macaulay, we show that the conjectured lower bound fails and prove the upper bound for almost Cohen-Macaulay algebras as well as algebras with a $p$-linear resolution.

References [Enhancements On Off] (What's this?)

  • 1. A. Aramova and J.Herzog. Koszul cycles and Eliahou-Kervaire type resolutions. J. Algebra 181 (1996), 347-370.MR 97c:13009
  • 2. A. Aramova, J. Herzog and T. Hibi. Squarefree lexsegment ideals. Preprint 1995.
  • 3. D. Buchsbaum and D.Eisenbud. Algebra structures for finite free resolutions, and some structure theorems for ideals of codim 3. Amer. J. Math. 99 (1977), 447-485.MR 56:11983
  • 4. W. Bruns and J. Herzog. Cohen-Macaulay Rings. Cambridge University Press, 1993.MR 95h:13020
  • 5. W. Bruns and J. Herzog. On multigraded resolutions. Math.Proc. Cambridge Phil. Soc. 118 (1995), 245-257.MR 96g:13013
  • 6. D. Bayer and M.Stillman. A criterion for detecting $m$-regularity. Invent.Math. 87 (1987), 1-11. MR 87k:13019
  • 7. D. Eisenbud. Commutative Algebra with a view to algebraic geometry. Springer-Verlag, 1995.
  • 8. G. Evans and H.Charalambous. Resolutions obtained by iterated mapping cones. J. Algebra 176 (1995), 750-754.MR 96h:13034
  • 9. S. Eliahou and M.Kervaire. Minimal resolutions of some monomial ideals. J. Algebra129 (1990), 11-25.MR 91b:13019
  • 10. A. Galligo. A propos du théorème de préparation de Weierstrass. In: Fonctions des Plusieurs Variables Complexes. Lecture Notes in Math., vol. 409, Springer, 1974, pp. 543-579. MR 53:5924
  • 11. J. Herzog, A. Simis and W. V. Vasconcelos. Approximation complexes of blowing-up rings, II. J. Algebra 82(1) (1983), 53-83. MR 85b:13015
  • 12. J. Herzog, N. V. Trung and G. Valla. On hyperplane sections of reduced irreducible varieties of low codimension. J. Math. Kyoto Univ. 34(1) (1994), 47-72.MR 95d:14048
  • 13. C. Huneke and M. Miller. A note on the multiplicity of Cohen-Macaulay algebras with pure resolutions. Canad. J. Math. 37 (1985), 1149-1162.MR 87d:13024
  • 14. C. Peskine and L. Szpiro. Syzygies and multiplicities. C. R.Acad. Sci. Paris. Sér. A 278 (1974), 1421-1424.MR 50:2152
  • [15] N. Terai, Generalization of Eagon-Reiner theorem and $h$-vectors of graded rings. Preprint 1997.

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (1991): 13H15, 13D25, 13Xxx

Retrieve articles in all journals with MSC (1991): 13H15, 13D25, 13Xxx

Additional Information

Jürgen Herzog
Affiliation: FB 6 Mathematik und Informatik, Universität-GHS-Essen, Postfach 103764, Essen 45117, Germany

Hema Srinivasan
Affiliation: Department of Mathematics, University of Missouri, Columbia, Missouri 65211

Received by editor(s): July 4, 1996
Additional Notes: The second author was supported in part by grants from National Science Foundation and U.M. Research Board.
Article copyright: © Copyright 1998 American Mathematical Society

American Mathematical Society