Bounds for multiplicities

Herzog, Jürgen; Srinivasan, Hema

doi:10.1090/S0002-9947-98-02096-0

Bounds for multiplicities
HTML articles powered by AMS MathViewer

by Jürgen Herzog and Hema Srinivasan PDF

Trans. Amer. Math. Soc. 350 (1998), 2879-2902 Request permission

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

Annetta Aramova and Jürgen Herzog, Koszul cycles and Eliahou-Kervaire type resolutions, J. Algebra 181 (1996), no. 2, 347–370. MR 1383471, DOI 10.1006/jabr.1996.0124
A. Aramova, J. Herzog and T. Hibi. Squarefree lexsegment ideals. Preprint 1995.
David A. Buchsbaum and David Eisenbud, Algebra structures for finite free resolutions, and some structure theorems for ideals of codimension $3$, Amer. J. Math. 99 (1977), no. 3, 447–485. MR 453723, DOI 10.2307/2373926
Winfried Bruns and Jürgen Herzog, Cohen-Macaulay rings, Cambridge Studies in Advanced Mathematics, vol. 39, Cambridge University Press, Cambridge, 1993. MR 1251956
Winfried Bruns and Jürgen Herzog, On multigraded resolutions, Math. Proc. Cambridge Philos. Soc. 118 (1995), no. 2, 245–257. MR 1341789, DOI 10.1017/S030500410007362X
David Bayer and Michael Stillman, A criterion for detecting $m$-regularity, Invent. Math. 87 (1987), no. 1, 1–11. MR 862710, DOI 10.1007/BF01389151
D. Eisenbud. Commutative Algebra with a view to algebraic geometry. Springer-Verlag, 1995.
Hara Charalambous and E. Graham Evans Jr., Resolutions obtained by iterated mapping cones, J. Algebra 176 (1995), no. 3, 750–754. MR 1351361, DOI 10.1006/jabr.1995.1270
Shalom Eliahou and Michel Kervaire, Minimal resolutions of some monomial ideals, J. Algebra 129 (1990), no. 1, 1–25. MR 1037391, DOI 10.1016/0021-8693(90)90237-I
André Galligo, À propos du théorème de-préparation de Weierstrass, Fonctions de plusieurs variables complexes (Sém. François Norguet, octobre 1970–décembre 1973; à la mémoire d’André Martineau), Lecture Notes in Math., Vol. 409, Springer, Berlin, 1974, pp. 543–579 (French). Thèse de 3ème cycle soutenue le 16 mai 1973 à l’Institut de Mathématique et Sciences Physiques de l’Université de Nice. MR 0402102
J. Herzog, A. Simis, and W. V. Vasconcelos, Approximation complexes of blowing-up rings. II, J. Algebra 82 (1983), no. 1, 53–83. MR 701036, DOI 10.1016/0021-8693(83)90173-4
Jürgen Herzog, Ngô Viêt Trung, and Giuseppe Valla, On hyperplane sections of reduced irreducible varieties of low codimension, J. Math. Kyoto Univ. 34 (1994), no. 1, 47–72. MR 1263860, DOI 10.1215/kjm/1250519062
Craig Huneke and Matthew Miller, A note on the multiplicity of Cohen-Macaulay algebras with pure resolutions, Canad. J. Math. 37 (1985), no. 6, 1149–1162. MR 828839, DOI 10.4153/CJM-1985-062-4
Christian Peskine and Lucien Szpiro, Syzygies et multiplicités, C. R. Acad. Sci. Paris Sér. A 278 (1974), 1421–1424 (French). MR 349659
N. Terai, Generalization of Eagon-Reiner theorem and $h$-vectors of graded rings. Preprint 1997.