On $f$- and $h$-vectors of relative simplicial complexes

Codenotti, Giulia; Katthän, Lukas; Sanyal, Raman

Algebraic Combinatorics, Tome 2 (2019) no. 3, pp. 343-353.

A relative simplicial complex is a collection of sets of the form $\Delta \setminus \Gamma$, where $\Gamma \subset \Delta$ are simplicial complexes. Relative complexes have played key roles in recent advances in algebraic, geometric, and topological combinatorics but, in contrast to simplicial complexes, little is known about their general combinatorial structure. In this paper, we address a basic question in this direction and give a characterization of $f$-vectors of relative (multi)complexes on a ground set of fixed size. On the algebraic side, this yields a characterization of Hilbert functions of quotients of homogeneous ideals over polynomial rings with a fixed number of indeterminates.

Moreover, we characterize $h$-vectors of fully Cohen–Macaulay relative complexes as well as $h$-vectors of Cohen–Macaulay relative complexes with minimal faces of given dimensions. The latter resolves a question of Björner.

Classification : 05E45, 05E40, 13F55
Mots clés : relative simplicial complex, $f$-vector, Kruskal–Katona theorem, Hilbert functions, $h$-vector, Macaulay theorem

[1] Adiprasito, Karim A.; Sanyal, Raman Relative Stanley–Reisner theory and upper bound theorems for Minkowski sums, Publ. Math., Inst. Hautes Étud. Sci., Volume 124 (2016), pp. 99-163 | DOI | MR | Zbl

[2] Beck, Matthias; Sanyal, Raman Combinatorial reciprocity theorems. An invitation to enumerative geometric combinatorics., Graduate Studies in Mathematics, American Mathematical Society, 2018 http://math.sfsu.edu/beck/crt.html | Zbl

[3] Björner, Anders Topological methods, Handbook of combinatorics, Vol. 1–2, Elsevier, 1995, pp. 1819-1872 | Zbl

[4] Björner, Anders; Frankl, Péter; Stanley, Richard P. The number of faces of balanced Cohen–Macaulay complexes and a generalized Macaulay theorem, Combinatorica, Volume 7 (1987) no. 1, pp. 23-34 | DOI | MR | Zbl

[5] Björner, Anders; Kalai, Gil An extended Euler–Poincaré theorem, Acta Math., Volume 161 (1988) no. 3-4, pp. 279-303 | DOI | Zbl

[6] Bruns, Winfried; Herzog, Jürgen Cohen–Macaulay rings, Cambridge Studies in Advanced Mathematics, 39, Cambridge University Press, 1993, xii+403 pages | MR | Zbl

[7] Cox, David A.; Little, John; O’Shea, Donal Ideals, varieties, and algorithms, Undergraduate Texts in Mathematics, Springer, 2015, xvi+646 pages | DOI | Zbl

[8] Duval, Art M. On $f$-vectors and relative homology, J. Algebr. Comb., Volume 9 (1999) no. 3, pp. 215-232 | DOI | MR | Zbl

[9] Duval, Art M.; Goeckner, Bennet; Klivans, Caroline J.; Martin, Jeremy L. A non-partitionable Cohen–Macaulay simplicial complex, Adv. Math., Volume 299 (2016), pp. 381-395 | DOI | MR | Zbl

[10] Greene, Curtis; Kleitman, Daniel J. Proof techniques in the theory of finite sets, Studies in combinatorics (MAA Studies in Mathematics), Volume 17, The Mathematical Association of America, 1978, pp. 22-79 | MR | Zbl

[11] Hibi, Takayuki Quotient algebras of Stanley–Reisner rings and local cohomology, J. Algebra, Volume 140 (1991) no. 2, pp. 336-343 | DOI | MR | Zbl

[12] Katona, Gyula A theorem of finite sets, Theory of graphs (Tihany, 1966), Academic Press Inc. (1968), pp. 187-207 | Zbl

[13] Kruskal, Joseph B. The number of simplices in a complex, Mathematical optimization techniques (Santa Monica, 1960), University of California Press, 1963, pp. 251-278 | MR | Zbl

[14] Macaulay, Francis S. Some properties of enumeration in the theory of modular systems, Proceedings L. M. S., Volume 26 (1927), pp. 531-555 | DOI | MR | Zbl

[15] Murai, Satoshi; Novik, Isabella Face numbers of manifolds with boundary, Int. Math. Res. Not., Volume 2017 (2017) no. 12, pp. 3603-3646 | DOI | MR | Zbl

[16] Murai, Satoshi; Novik, Isabella; Yoshida, Ken-ichi A duality in Buchsbaum rings and triangulated manifolds, Algebra Number Theory, Volume 11 (2017) no. 3, pp. 635-656 | DOI | MR | Zbl

[17] Stanley, Richard P. Cohen–Macaulay complexes, Higher combinatorics. Proceedings of the NATO Advanced Study Institute held in Berlin (Berlin, 1976) (NATO ASI Series. Series C. Mathematical and Physical Sciences), Volume 31, Reidel Publishing Company (1977), pp. 51-62 | Zbl

[18] Stanley, Richard P. Generalized $H$-vectors, intersection cohomology of toric varieties, and related results, Commutative algebra and combinatorics (Kyoto, 1985) (Advanced Studies in Pure Mathematics), Volume 11, North-Holland, 1987, pp. 187-213 | DOI | MR | Zbl

[19] Stanley, Richard P. Combinatorics and commutative algebra, Progress in Mathematics, 41, Birkhäuser, 1996, x+164 pages | MR | Zbl