×

Computation of Betti numbers of monomial ideals associated with stacked polytopes. (English) Zbl 0882.13018

Let \(\Delta P(v,d)\) be a stacked \(d\)-polytope with \(v\) vertices, \(\Delta \) its boundary complex, and \(A:=k[x_1,\dots,x_v]\) the graded polynomial algebra in \(v\) indeterminates over a field \(k\), with \(\deg x_i:=1,\) for \(i=1,\dots,v\). Associated with \(P(v,d)\) is the Stanley-Reisner algebra \(k[\Delta ]\) defined as the quotient algebra of \(A\) by the homogeneous monomial ideal \( I_\Delta \) generated by the square-free “non-faces” of \(\Delta \). The Betti numbers of \(k[\Delta ]\) are defined as the Betti numbers of \(k[\Delta ]=A/I_\Delta \) viewed as a graded module over the polynomial algebra \(A\). In the present paper, the authors explicitly determine the Betti numbers of \( k[\Delta ]\) and show that they are independent of the field \(k\) and of the combinatorial type of \(P(v,d)\). The proof uses Hochster’s formula relating the Betti numbers with the ranks of the reduced simplicial homology groups of certain subcomplexes of \(\Delta \). It is also proved that the sequence of the Betti numbers is unimodal. [See also Zbl 0860.55018]

MSC:

13D03 (Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.)
13F20 Polynomial rings and ideals; rings of integer-valued polynomials
52B11 \(n\)-dimensional polytopes

Citations:

Zbl 0860.55018
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] M. Bayer and C. Lee,Combinatorial aspects of convex polytopes, in ”Handbook of Convex Geometry” (P. Gruber and J. Wills, eds.), North-Holland, Amsterdam / New York / Tokyo, 1993, pp. 485–534. · Zbl 0789.52014
[2] A. Brøndsted, ”An Introduction to Convex Polytopes,” Graduate Texts in Math., Vol. 90, Springer-Verlag, Berlin / New York / Tokyo, 1983. · Zbl 0509.52001
[3] W. Bruns and J. Herzog, ”Cohen-Macaulay Rings,” Cambridge University Press, Cambridge / New York / Sydney, 1993. · Zbl 0788.13005
[4] W. Bruns and T. Hibi,Cohen-Maçaulay partially ordered sets with pure resolutions, preprint. · Zbl 0926.13013
[5] W. Bruns and T. Hibi,Stanley-Reisner rings with pure resolutions, Comm. in Algebra23 (1995) 1201–1217. · Zbl 0823.13015 · doi:10.1080/00927879508825274
[6] T. Hibi, ”Algebraic Combinatorics on Convex Polytopes,” Carslaw Publications, Glebe, N.S.W., Australia, 1992. · Zbl 0772.52008
[7] M. Hochster,Cohen-Macaulay rings, combinatorics, and simplicial complexes, in ”Ring Theory II” (B. R. McDonald and R. Morris, eds.), Lect. Notes in Pure and Appl. Math., No. 26, Dekker, New York, 1977, pp.171–223. · Zbl 0351.13009
[8] R. P. Stanley, ”Combinatorics and Commutative Algebra, second edition” Birkhäuser, Boston / Basel / Stuttgart, 1996. · Zbl 0838.13008
[9] N. Terai and T. Hibi,Computation of Betti numbers of monomial ideals associated with cyclic polytopes, Discrete Comput. Geom.15(1996) 287–295. · Zbl 0860.55018 · doi:10.1007/BF02711496
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.