Abstract
We prove that if a pure simplicial complex \(\Delta \) of dimension \(d\) with \(n\) facets has the least possible number of \((d1)\)dimensional faces among all complexes with \(n\) faces of dimension \(d\), then it is vertex decomposable. This answers a question of J. Herzog and T. Hibi. In fact, we prove a generalization of their theorem using combinatorial methods.
1 Introduction
We call a simplicial complex pure if all its facets are of the same dimension.
Definition 1
A pure simplicial complex \(\Delta \) of dimension \(d\) and \(n\) facets is called extremal if it has the least possible number of \((d1)\)dimensional faces among all complexes with \(n\) faces of dimension \(d\).
In particular, for \(d=0\), all zerodimensional complexes are extremal, since all of them have exactly one \((1)\)dimensional face, namely the empty set.
In this paper, we generalize and prove by only combinatorial means the following theorem of Herzog and Hibi from 1999.
Theorem 1
([8], Theorem 2.3) An extremal simplicial complex is Cohen–Macaulay over an arbitrary field.
Their proof is algebraic and uses results from Refs. [1] and [6]. In fact, they asked for a combinatorial proof. We give it by proving that an extremal simplicial complex is vertex decomposable. It is well known that vertex decomposable complexes are Cohen–Macaulay. Our proof goes along the lines of the proof of Kruskal–Katona inequality. We start with a presentation of some necessary preliminaries.
1.1 Vertex Decomposable and Cohen–Macaulay Complexes
For a simplex \(\sigma \) in a simplicial complex \(\Delta \), the simplicial complex
is called a link of \(\sigma \) in \(\Delta \), and denoted by \(\text{ lk}_{\Delta }\sigma \). For a vertex \(x\) of \(\Delta \) by \(\Delta \setminus x\), we mean the simplicial complex \(\{\tau \in \Delta : x\notin \tau \}\).
Definition 2
A pure simplicial complex \(\Delta \) is vertex decomposable if one of the following holds:

(1)
\(\Delta \) is empty,

(2)
\(\Delta \) is a single vertex,

(3)
for some vertex \(x\), both \(\text{ lk}_{\Delta }\{x\}\) and \(\Delta \setminus x\) are pure and vertex decomposable.
Definition 3
For a simplicial complex \(\Delta \) on the set of vertices \(\{1,\ldots ,n\}\) and a given field \(\mathbb K \), the Stanley–Reisner ring (the face ring) is \(\mathbb K [\Delta ]:=\mathbb K [x_{1},\dots ,x_{n}]/I\), where \(I\) is generated by all squarefree monomials \(x_{i_{1}}\ldots x_{i_{l}}\) for which \(\{i_{1},\dots ,i_{l}\}\) is not a face in \(\Delta \).
When we say that a simplicial complex is Cohen–Macaulay, we always mean that its Stanley–Reisner ring has this property.
The following is a folklore result (we refer the reader to, e.g., [2]).
Theorem 2
For a simplicial complex \(\Delta \), the following implications hold:
We recall a combinatorial description of Cohen–Macaulay complexes.
Theorem 3
([13]) Let \(R=\mathbb K [\Delta ]\) be the face ring of \(\Delta \). Then the following conditions are equivalent:

(1)
\(R\) is Cohen–Macaulay ring,

(2)
\(\tilde{H}_{i}(\text{ lk}_{\Delta }\sigma ;\mathbb K )=0\) for \(i<dim(\text{ lk}_{\Delta }\sigma )\) for all simplices \(\sigma \in \Delta \).
For classical techniques of counting homologies, we refer the reader to [7, 14]. For entertaining ones, we advise Sect. 3.2 of [12].
1.2 Kruskal–Katona Theorem
One of the most natural questions concerning simplicial complexes is:
What is the minimum number of \((k1)\)element faces in simplicial complex with \(n\) faces of size \(k?\)
This question was answered independently by Kruskal [11] and Katona [10] in 1960s. For a positive integer \(k\), they enlisted all \(k\)element subsets of integers in the following order, called the squashed order: \(A<B\) if \(\max (A\setminus B)<\max (B\setminus A)\). Let \( S_{k}(n)\) be the set of first \(n\) sets in this list. For a given set \(\mathfrak U \) of \(k\)element sets, denote by \(\Delta \mathfrak U \), the set of all \( (k1)\)element sets which are contained in some member of \(\mathfrak U \). The Kruskal–Katona theorem reads as follows.
Theorem 4
For a positive integers \(n,k\) and a set \(\mathfrak U \) of \(n\) sets of size \(k\), we have
This result was further generalized by Clements and Lindström in [3]. Daykin [4, 5] gave two simple proofs, and later Hilton [9] gave another one. For an algebraic proof, we refer the reader to [1]. We will work mainly with Hilton’s idea.
Note that the cardinality of \(\Delta S_{k}(n)\) may be easily determined. For a given \(k\), each positive integer \(n\) can be uniquely expressed as
with \(1\le t\le a_{t}\) and \(a_{t}<\dots <a_{k}\). We have
As a consequence of Kruskal–Katona theorem, we get
Corollary 1
A pure simplicial complex \(\Delta \) of dimension \(d>0\) with \(f\)vector \((f_{0},\ldots ,f_{d})\) is extremal if and only if \(f_{d1}=\delta _{d}(f_{d})\).
2 The Main Result
For a better understanding of the assumption that \(\Delta \) is extremal, we will use Hilton’s idea from his proof [9] of the Kruskal–Katona theorem. First, we define sets similar to \(S_{k}(n)\). Let \(S_{k}^{i}(n)\) denote the first \(n\) sets of \(k\)element subsets of integers in the squashed order (\(A<B\) if \(\max (A\setminus B)<\max (B\setminus A)\)) which do not contain \(i\). We also denote by \(\{i\}(\cup )\mathfrak U \) the set \(\{\{i\}\cup A:A\in \mathfrak U \}\).
Let \(\mathfrak U \) be a \(n\)element set of \(k\)element sets, let \(V=\bigcup _{A\in \mathfrak U }A\) be an underlying set, and let \(v\) be its cardinality. For \(i\in V\), let \( B_{i}=\{A\in \mathfrak U :i\notin A\},\,C_{i}=\{A\setminus \{i\}:i\in A\in \mathfrak U \}\), and let \(b_{i},c_{i}\) be the respective cardinalities. Note that \(c_{i}\ne 0\). We want to find an index \(i\) such that \(\big \vert {\Delta B_{i}}\big \vert >\big \vert {C_{i}}\big \vert \).
Lemma 1
Either there exists an \(i\) such that \(\big \vert {\Delta B_{i}} \big \vert >\big \vert {C_{i}}\big \vert \), or \(\mathfrak U \) consists of all possible \(k\)element subsets of \(V\).
Proof
We are going to count the sum of cardinalities of both sets when \(i\) runs over all elements of \(V\). Then
since at left hand side each \(A\in \mathfrak U \) gives \(k\) distinct sets in its boundary, and it is counted once for every \(i\notin A\). Some sets in boundaries of sets from \(B_{i}\) can be the same, but their number is at most \((v1)(k1)=vk\). On the other hand, each \(A\in \mathfrak U \) is counted \(k\) times at the right side. Hence, we can find a desired \(i\), or the above bounds are tight. In the latter case, when \(A\in \Delta B_{i}\) , all \(vk\) possibilities of completing it to a \(k\)element set has to be in \(\mathfrak U \). This means that \(\mathfrak U \) consists of all possible \(k\)element subsets of \(V\) because from any set in \(\mathfrak U \) we can delete any element and insert any other. \(\square \)
Lemma 2
If \(\Delta \) is an extremal simplicial complex of positive dimension, then there exists a vertex \(x\) such that both \(\text{ lk}_{\Delta }\{x\}\) and \(\Delta \setminus x\) are extremal.
Proof
Let \(\Delta \) be of dimension \(d1>0\) and let \(\mathfrak U \) be the set of all \(d\)element sets in \(\Delta \). If \(\mathfrak U \) consists of all possible \(d\)element subsets of a given \(v\)element set, then the assertion of the lemma is clearly true (we can take any vertex). Otherwise, due to Lemma 1, there exists an \(i\in V\) such that \(\big \vert { \Delta B_{i}}\big \vert >\big \vert {C_{i}}\big \vert \). We have that
Since \(\Delta B_{i}\) and \(\{i\}(\cup )\Delta C_{i}\) are disjoint, it follows that
So, by Theorem 4,
and
Since \(\Delta S_{d}^{i}(b_{i})=S_{d1}^{i}(e)\) for some \(e\), there are now two possibilities:

(1)
\(\Delta S_{d}^{i}(b_{i})\subset S_{d1}^{i}(c_{i})\), then by (2.2) we get\(\big \vert \Delta \mathfrak U \big \vert >\big \vert S_{d1}^{i}(c_{i})\big \vert +\big \vert \{i\}(\cup )\Delta S_{d1}^{i}(c_{i})\big \vert =\big \vert \Delta (S_{d}^{i}(b_{i})\cup (\{i\}(\cup )S_{d1}^{i}(c_{i})))\big \vert \), which contradicts the assumption that \(\Delta \) is extremal, since a complex generated by sets \(S_{d}^{i}(b_{i})\cup (\{i\}(\cup )S_{d1}^{i}(c_{i}))\) has \(b_i+c_i=\big \vert \mathfrak U \big \vert \) maximal faces.

(2)
\(\Delta S_{d}^{i}(b_{i})\supset S_{d1}^{i}(c_{i})\), then by (2.1), we obtain \(\big \vert \Delta \mathfrak U \big \vert \ge \big \vert \Delta S_{d}^{i}(b_{i})\big \vert +\big \vert \{i\}(\cup )\Delta S_{d1}^{i}(c_{i})\big \vert =\big \vert \Delta (S_{d}^{i}(b_{i})\cup (\{i\}(\cup )S_{d1}^{i}(c_{i})))\big \vert \), and equality holds if and only if \(C_{i}\subset \Delta B_{i},\;\big \vert \Delta B_{i}\big \vert =\big \vert \Delta S_{d}^{i}(b_{i})\big \vert \), and \(\;\big \vert \Delta C_{i}\big \vert =\big \vert \{i\}(\cup )\Delta S_{d1}^{i}(c_{i})\big \vert =\big \vert \Delta S_{d1}^{i}(c_{i})\big \vert \).
The complex \(\Delta \) is extremal, so equality holds, and we get that \(C_{i}\subset \Delta B_{i}\) and \([B_i],[C_i]\) are extremal, where \([A]\) means the simplicial complex generated by the set of faces \(A\). Observe that \(\text{ lk}_{\Delta }\{i\}=[C_i]\) and \(\Delta \setminus i=[B_i]\). The first equality is obvious, while the second is not as clear. If \(\sigma =\{v_1,\dots ,v_k\}\) is a face in \(\Delta \setminus i\) then it is a subface of some facet \(F=\{v_1,\dots ,v_d\}\). If \(i\) does not belong to \(F\) then \(F\in [B_i]\) and so \(\sigma \) does. Otherwise, \(F\setminus \{i\}\in C_i\subset \Delta B_i\), so \(F\setminus \{i\}\cup \{j\}\in B_i\) for some \(j\). Hence, \(\sigma \in [B_i]\). Now \(i=x\) gives the assertion. \(\square \)
Finally, we are ready to prove the generalization of Theorem 1.
Theorem 5
An extremal simplicial complex is vertex decomposable.
Proof
The proof goes by an induction on \(d\) the dimension of \(\Delta \) and secondly on the number of facets. If \(d=0\), then \(\Delta \) consists of points and by the definition it is vertex decomposable. When \(d>0\), then by Lemma 2 there exists a vertex \(x\), such that both complexes \(\text{ lk}_{\Delta }\{x\}\) and \(\Delta \setminus x\) are extremal. The first is of lower dimension and the second either has the same dimension as \(\Delta \) but fewer facets, or it has smaller dimension. By the inductive hypothesis, both \(\text{ lk}_{\Delta }\{x\}\) and \(\Delta \setminus x\) are vertex decomposable, and as a consequence \(\Delta \) also is. \(\square \)
The above result is best possible in the following sense. Let \(\Delta \) be a pure simplicial complex of dimension \(d>0\) with \(f\)vector \((f_{0},\dots ,f_{d})\), and with \(f_{d1}=\delta _{d}(f_{d})+c,\,c\in \mathbb{N }\). Due to Corollary 1, the meaning of Theorem 5 is that if \(c=0\), then \(\Delta \) is vertex decomposable. But even for \(c=1\), complex \(\Delta \) does not have to be Cohen–Macaulay, which by Theorem 2 is a weaker property then vertex decomposability. We show the following.
Example 1
We have that \(\delta _{d}(2)=2d+1\). Let \(\Delta \) be a pure simplicial complex of dimension \(d\) with the set of facets \(\mathfrak U \) consisting of two disjoint ones. Then \(\big \vert \Delta \mathfrak U \big \vert =2d+2\), and \(\tilde{H}_{0}(\text{ lk}_{\Delta }\emptyset ;\mathbb K )=1\), so due to Theorem 3, complex \(\Delta \) is not Cohen–Macaulay over any field \(\mathbb K \), and as a consequence it is also not vertex decomposable.
References
Aramova, A., Herzog, J., Hibi, T.: Gotzmann theorems for exterior algebras and combinatorics. J. Algebra 191, 174–211 (1997)
Björner, A.: Topological methods. In: Graham, R., Grötschel, M., Lovász, L. (eds.) Handbook of Combinatorics, vol. 2, pp. 1819–1872. Elsevier, Amsterdam (1995)
Clements, G., Lindstöm, B.: A generalization of a combinatorial theorem of Macaulay. J. Comb. Theory 7, 230–238 (1969)
Daykin, D.: A simple proof of the Kruskal–Katona theorem. J. Comb. Theory A 17, 252–253 (1974)
Daykin, D.: An algorithm for cascades giving Katonatype inequalities. Nanta Math. 8, 78–83 (1975)
Eagon, J., Reiner, V.: Resolutions of Stanley–Reisner rings and Alexander duality. J. Pure Appl. Algebra 130, 265–275 (1989)
Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2002)
Herzog, J., Hibi, T.: Componentwise linear ideals. Nagoya Math. J. 153, 141–153 (1999)
Hilton, A.: A simple proof of the Kruskal–Katona theorem and of some associated binomial inequalities. Period. Math. Hungar. 10(1), 25–30 (1979)
Katona, G.: A theorem of finite sets. In: Erdös, P., Katona, G. (eds) Theory of Graphs (Proc. Colloq. Tihany, 1966), pp. 187–207. Academic Press, New York (1968)
Kruskal, J.: The number of simplices in a complex. In: Bellman, R. (ed) Mathematical Optimaization Techniques, pp. 251–278. University of California Press, Berkeley (1963)
Lasoń, M., Michałek, M.: On the full, strongly exceptional collections on toric varieties with Picard number three. Coll. Math. 62(3), 275–296 (2011)
Reisner, G.: Cohen–Macaulay quotients of polynomial rings. Adv. Math. 21(1), 30–49 (1976)
Stanley, R.: Combinatorics and Commutative Algebra. Birkhäuser, Boston (2004)
Acknowledgments
This publication is partly supported by the Polish National Science Centre grant no. 2011/03/N/ST1/02918. The author would like to thank Ralf Fröberg and Jürgen Herzog for many inspiring conversations and introduction to this subject. The author would also like to thank Jarek Grytczuk and Piotr Micek for help in preparation of this manuscript.
Open Access
This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Lasoń, M. \(f\)Vectors Implying Vertex Decomposability. Discrete Comput Geom 49, 296–301 (2013). https://doi.org/10.1007/s0045401294776
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s0045401294776
Keywords
 Vertex decomposable simplicial complex
 \(f\)Vector
 Kruskal–Katona theorem
 Cohen–Macaulay module
 Stanley–Reisner ring
Mathematics Subject Classification (2010)
 05E45
 05E40
 13F55