Abstract
We prove upper bounds for the graded Betti numbers of Stanley-Reisner rings of balanced simplicial complexes. Along the way we show bounds for Cohen-Macaulay graded rings S/I, where S is a polynomial ring and \(I\subseteq S\) is a homogeneous ideal containing a certain number of generators in degree 2, including the squares of the variables. Using similar techniques we provide upper bounds for the number of linear syzygies for Stanley-Reisner rings of balanced normal pseudomanifolds. Moreover, we compute explicitly the graded Betti numbers of cross-polytopal stacked spheres, and show that they only depend on the dimension and the number of vertices, rather than also the combinatorial type.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the last decades tremendous connections between combinatorics, topology and commutative algebra have been established. The theory of Cohen-Macaulay rings led to the proof of celebrated conjectures such as the upper bound theorem for spheres and the g-theorem for simplicial polytopes (see [34] as a comprehensive reference). Since these results rely on algebraic properties of the Stanley-Reisner ring of simplicial complex, it is natural to investigate classical invariants of this ring, such as its minimal graded free resolution as a module over the polynomial ring. Our starting point are mainly two papers: In [26], Migliore and Nagel showed upper bounds for the graded Betti numbers of simplicial polytopes. More recently, building on those results, Murai [28] established a connection between a specific property of a triangulation, so-called tightness and the graded Betti numbers of its Stanley-Reisner ring. Moreover, he employs upper bounds for graded Betti numbers to obtain a lower bound for the minimum number of vertices needed to triangulate a pseudomanifold with a given first (topological) Betti number. It is conceivable that for more specific classes of simplicial complexes, better bounds (for the graded Betti numbers) hold, which then can be turned again into lower bounds for the minimal number of vertices of such a simplicial complex. This serves as the motivation for this article, where we will focus on so-called balanced simplicial complexes.
Those were originally introduced by Stanley [33] under the name completely balanced as pure (d − 1)-dimensional simplicial complexes whose vertex sets can be partitioned into d classes, such that each class meets every face in at most (and hence exactly) one element. Following more recent papers, we will drop the word “completely” and we will not require balanced complexes to be pure. Notable examples are Coxeter complexes, Tits buildings as well as the order complex of a graded poset, with the vertex set partition given by the rank function. This last observation shows that the barycentric subdivision of any simplicial complex is balanced, which gives a constructive way of obtaining balanced triangulations of any topological space and shows that balancedness is a combinatorial rather than a topological property. In recent years, balanced simplicial complexes have been studied intensively and many classical results in face enumeration and combinatorial topology have been proven to possess a balanced analog (see, e.g., [11, 17,18,19,20, 22, 29, 37]).
The aim of this article is to continue with this line of research by studying graded Betti numbers of balanced simplicial complexes. Our main results establish upper bounds for different cases, including arbitrary balanced simplicial complexes, balanced Cohen-Macaulay complexes and balanced normal pseudomanifolds. Along the way, we derive upper bounds on the graded Betti numbers of homogeneous ideals with a high concentration of generators in degree 2.
The structure of this paper is the following:∙ Section 2 is devoted to the basic notions and definitions.∙ In Section 3, we use Hochster’s formula to prove a first upper bound for the graded Betti numbers of an arbitrary balanced simplicial complex (see Theorem 1).∙ We next restrict ourselves to the Cohen-Macaulay case, and provide two different upper bounds in this setting. The first approach provides a bound for graded Betti numbers of ideals with a high concentration of generators in degree 2, which immediately specializes to Stanley-Reisner ideals of balanced Cohen-Macaulay complexes (see Theorem 2). This is the content of Section 4.∙ The second approach, presented is Section 5, employs the theory of lex-plus-squares ideals to bound the Betti numbers of ideals containing many generators in degree 2, including the squares of the variables. Again the result on balanced complexes given in Theorem 5 follows as an immediate application.∙ In Section 6, we focus on balanced normal pseudomanifolds. We use a result by Fogelsanger [8] to derive upper bounds for the graded Betti numbers in the first strand of the graded minimal free resolution in this setting (see Theorem 8).∙ In [22] cross-polytopal stacked spheres were introduced as the balanced analog of stacked spheres, in the sense that they minimize the face vector among all balanced spheres with a given number of vertices. In Section 7 (Theorem 10), we compute the graded Betti numbers of those spheres, and show that they only depend on the number of vertices and on the dimension. The same behavior is known to occur for stacked spheres [36]. Moreover, we conjecture that the graded Betti numbers in the linear strand of their resolution provide upper bounds for the ones of any balanced normal pseudomanifold.
As a service to the reader, in particular to help them compare the different bounds, we use the same example to illustrate the predicted upper bounds: Namely, the toy example is a 3-dimensional balanced simplicial complex on 12 vertices with each color class being of cardinality 3. All computations and experiments have been carried out with the help of the computer algebra system Macaulay2 [13].
2 Preliminaries
2.1 Algebraic Background
Let \(S=\mathbb {F}[x_{1},\dots ,x_{n}]\) denote the polynomial ring in n variables over an arbitrary field \(\mathbb {F}\) and let \(\mathfrak {m}\) be its maximal homogeneous ideal, i.e., \(\mathfrak {m}=(x_{1},\ldots ,x_{n})\). Denote with Moni(S) the set of monomials of degree i in S, and for u ∈Moni(S) and a term order <, we let Moni(S)<u be the set of monomials of degree i that are smaller than u with respect to <. For a graded S-module R we use Ri to denote its graded component of degree i (including 0), where we use the standard \(\mathbb {N}\)-grading of S. The Hilbert function of a quotient S/I, where \(I\subseteq S\) is a homogeneous ideal is the function from \(\mathbb {N}\to \mathbb {N}\) that maps i to \( \dim _{\mathbb {F}}(R_{i})\). A finer invariant can be obtained from the minimal graded free resolution of S/I. The graded Betti number \(\beta _{i,i+j}^{S}(S/I)\) is the non-negative integer
We often omit the superscript S, when the coefficient ring is clear from the context. We refer to any commutative algebra book (e.g., [3]) for further properties of the graded minimal free resolution of S/I.
Definition 1
Let \(I\subseteq S\) be a homogeneous ideal and let R = S/I be of Krull dimension d. Let \({{\varTheta }}=\{\theta _{1},\dots ,\theta _{d}\}\subseteq S_{1}\). Then (i) Θ is a linear system of parameters (l.s.o.p.) for R if \(\dim (R/(\theta _{1},\dots ,\theta _{i})R)=\dim (R)-i\) for all 1 ≤ i ≤ d. (ii) Θ is a regular sequence for R if 𝜃i is not a zero divisor of \(R/(\theta _{1},\dots ,\theta _{i-1})R\) for all 1 ≤ i ≤ d.
We remark that due to the Noether normalization lemma, an l.s.o.p. for R = S/I always exists, if \(\mathbb {F}\) is an infinite field. Moreover, if Θ is a regular sequence, then Θ is an l.s.o.p., but the converse is far from being true in general. The class of rings for which the converse holds is of particular interest.
Definition 2
A graded ring R is Cohen-Macaulay if every l.s.o.p. is a regular sequence for R.
The theory of Cohen-Macaulay rings plays a key role in combinatorial commutative algebra and its importance cannot be overstated (see, e.g., [3, 34]).
The next two statements will be useful for providing upper bounds for graded Betti numbers.
Lemma 1
Let R = S/I with I a homogeneous ideal and 𝜃 ∈ S1. (i) [26, Corollary 8.5] If the multiplication map × 𝜃 : Rk→Rk+ 1 is injective for every k ≤ j, then
for every i ≥ 0 and k ≤ j. (ii) [3, Proposition 1.1.5] If 𝜃 is not a zero divisor of M, then
for every i,j ≥ 0.
From Lemma 1 it immediately follows that modding out by a regular sequence does not affect the graded Betti numbers.
2.2 Lex Ideals
In order to show upper bounds for the graded Betti numbers we will make use of lexicographic ideals. As above, we let \(S=\mathbb {F}[x_{1},\dots ,x_{n}]\). Given a monomial ideal \(I\subseteq S\) we denote by G(I) its unique set of minimal monomial generators and we use G(I)j to denote those monomials in G(I) of degree j. Let >lex be the lexicographic order on S with \(x_{1}>_{\text {lex}}\dots >_{\text {lex}}x_{n}\). I.e., we have \(x_{1}^{a_{1}}x_{2}^{a_{2}}\cdots x_{n}^{a_{n}}>_{\text {lex}}x_{1}^{b_{1}}x_{2}^{b_{2}}{\cdots } x_{n}^{b_{n}}\) if the leftmost non-zero entry of (a1 − b1,…,an − bn) is positive. A monomial ideal \(L\subseteq S\) is called a lexicographic ideal (or lex ideal for short) if for any monomials u ∈ L and v ∈ S of the same degree, with v >lexu it follows that v ∈ L. Macaulay [23] showed that for any graded homogeneous ideal \(I\subseteq S\) there exists a unique lex ideal, denoted with Ilex, such that S/I and S/Ilex have the same Hilbert function. In particular, the \(\mathbb {F}\)-vector space Ilex ∩ Si is spanned by the first \(\dim _{\mathbb {F}}S_{i}-\dim _{\mathbb {F}}(S/I)_{i}\) largest monomials of degree i in S. Note that the correspondence between I and Ilex is far from being one to one, since Ilex only depends on the Hilbert function of I. We conclude this section with two fundamental results on the graded Betti numbers of lex ideals.
Lemma 2 (Bigatti [1], Hulett [16], Pardue [31])
For any homogeneous ideal \(I\subseteq S\) it holds that
for all i,j ≥ 0.
Lemma 2 states that among all graded rings with the same Hilbert functions, the quotient with respect to the lex ideal maximizes all graded Betti number simultaneously. Another peculiar property of lex ideals is that their graded Betti numbers are determined just by the combinatorics of their minimal generating set G(Ilex). For a monomial u ∈ S denote with \(\max \limits (u)=\max \limits \left \lbrace i : x_{i}|u \right \rbrace \).
Lemma 3 (Eliahou-Kervaire 6)
Let \(I^{\text {lex}}\subseteq S\) be a lexicographic ideal. Then,
for all i ≥ 1, j ≥ 0.
2.3 Simplicial Complexes
An (abstract) simplicial complexΔ on a (finite) vertex set V (Δ) is any collection of subsets of V (Δ) closed under inclusion. The elements of Δ are called faces, and a face that is maximal with respect to inclusion is called a facet. The dimension of a face F is the number \(\dim (F):=| F|-1\), and the dimension of Δ is \(\dim ({{\varDelta }}):=\max \limits \left \lbrace \dim (F) : F\in {{\varDelta }} \right \rbrace \). In particular \(\dim (\emptyset )=-1\). If all facets of Δ have the same dimension, Δ is said to be pure. One of the most natural combinatorial invariants of a (d − 1)-dimensional simplicial complex to consider is its f-vector\(f({{\varDelta }})=(f_{-1}({{\varDelta }}),f_{0}({{\varDelta }}),\dots ,f_{d-1}({{\varDelta }}))\), defined by \(f_{i}({{\varDelta }}):=|\left \lbrace F\in {{\varDelta }} : \dim (F)=i \right \rbrace |\) for − 1 ≤ i ≤ d − 1. However, for algebraic and combinatorial reasons it is often more convenient to consider a specific invertible linear transformation of f(Δ); namely
for 0 ≤ j ≤ d. The vector \(h({{\varDelta }})=(h_{0}({{\varDelta }}),h_{1}({{\varDelta }}),\dots ,h_{d}({{\varDelta }}))\) is called the h-vector of Δ.
Given a subset \(W\subseteq V({{\varDelta }})\) we define the subcomplex
and we call a subcomplex induced if it is of this form. Another subcomplex associated to Δ is its j-skeleton
consisting of all faces of dimension at most j (for 0 ≤ j ≤ d − 1). For two simplicial complexes Δ and Γ with \(\dim ({{\varDelta }})=d-1\) and \(\dim ({{\varGamma }})=e-1\) we define the join of Δ and Γ to be the (d + e − 1)-dimensional complex defined by
The link lkΔ(F) of a face F ∈Δ describes Δ locally around F:
Simplicial complexes are in one-to-one correspondence to squarefree monomial ideals: Given a simplicial complex Δ with V (Δ) = [n] := {1,2,…,n} its Stanley-Reisner ideal is the squarefree monomial ideal \(I_{{{\varDelta }}}\subseteq S\) defined by
where \(x_{F}={\prod }_{i\in F}x_{i}\). The quotient \(\mathbb {F}[{{\varDelta }}]:=S/I_{{{\varDelta }}}\) is called the Stanley-Reisner ring of Δ. It is well-known that \(\dim (\mathbb {F}[{{\varDelta }}])=\dim ({{\varDelta }})+1\).
This correspondence is extremely useful to study how algebraic invariants of the Stanley-Reisner rings reflect combinatorial and topological properties of the corresponding simplicial complex, and vice versa. A special instance for this is provided by Hochster’s formula (see [3, Theorem 5.5.1]):
Lemma 4 (Hochster’s formula)
A simplicial complex Δ is called Cohen-Macaulay over \(\mathbb {F}\) if \(\mathbb {F}[{{\varDelta }}]\) is a Cohen-Macaulay ring. As Cohen-Macaulayness (over a fixed field \(\mathbb {F}\)) only depends on the geometric realization of Δ, Cohen-Macaulayness is a topological property (see, e.g., [27]). In particular, triangulations of spheres and balls are Cohen-Macaulay over any field. Another crucial property of Cohen-Macaulay complexes is the following (see, e.g., [34]).
Lemma 5
Let Δ be a (d − 1)-dimensional Cohen-Macaulay simplicial complex and let \({{\varTheta }}=(\theta _{1},\dots ,\theta _{d})\) be an l.s.o.p. for \(\mathbb {F}[{{\varDelta }}]\). Then,
In Section 6, we will be interested in another class of simplicial complexes, called normal pseudomanifolds. We call a connected pure (d − 1)-dimensional simplicial complex Δ a normal pseudomanifold if every (d − 2)-face of Δ is contained in exactly two facets and if the link of every face of Δ of dimension ≤ d − 3 is connected.
We finally provide the definition of balanced simplicial complexes.
Definition 3
A (d − 1)-dimensional simplicial complex Δ is balanced if there is a partition of its vertex set such that |F ∩ Vi|≤ 1, for every \(i=1,\dots ,d\) and for every face F ∈Δ.
We often refer to the sets Vi as color classes. Another way to phrase this definition is to observe that Δ is balanced if and only if its 1-skeleton is d-colorable, in the classical graph-theoretic sense. Note that, without extra assumptions on its structure, a balanced simplicial complex does not uniquely determine the partition in color classes, nor their sizes, as shown by the middle and right complexes in Fig. 1. However, in this article, we will always assume the vertex partition to be part of the data contained in Δ.
The class of pure balanced simplicial complexes agrees with the class of so-called completely balanced complexes, originally introduced by Stanley in [33]. However, a balanced simplicial complex in the sense of Definition 3 does not need to be pure. We want to point out that a balanced simplicial complex cannot have too many edges, since all monochromatic edges are forbidden. This idea will be made more precise and used intensively in the following sections.
3 General Balanced Simplicial Complexes
In the following, we consider arbitrary balanced simplicial complexes without assuming any further algebraic or combinatorial properties. Our aim is to prove explicit upper bounds for the graded Betti numbers of the Stanley-Reisner rings of those simplicial complexes. This will be achieved by exhibiting (non-balanced) simplicial complexes (one for each strand in the linear resolution), whose graded Betti numbers are larger than those of all balanced complexes on a fixed vertex partition.
We first need to introduce some notation. Recall that the clique complex of a graph G = (V,E) on vertex set V and edge set E is the simplicial complex Δ(G) on vertex set V, whose faces correspond to cliques of G, i.e.,
Let Δ be a (d − 1)-dimensional balanced simplicial complex with vertex partition . Let ni := |Vi| denote the sizes of the color classes of V (Δ). Throughout this section, we denote with \(K_{n_{1},\ldots ,n_{d}}\) the complete d-partite graph on vertex set . Note that the 1-skeleton of Δ, considered as a graph, is clearly a subgraph of \(K_{n_{1},\ldots ,n_{d}}\) and that, by the definition of a clique complex, we have \({{\varDelta }}\subseteq {{\varDelta }}(K_{n_{1},\dots ,n_{d}})\).
We can now state our first bound, though not yet in an explicit form.
Theorem 1
Let Δ be a (d − 1)-dimensional balanced simplicial complex on with ni := |Vi|. Then
for every i,j ≥ 0.
Proof
The proof relies on Hochster’s formula. We fix j ≥ 0. To simplify notation we set \({{\varSigma }}= \text {Skel}_{j-1}({{\varDelta }}(K_{n_{1},\ldots ,n_{d}}))\). Given a simplicial complex Γ, we denote by \((C_{\bullet }({{\varGamma }}),\partial _{j}^{{{\varGamma }}})\) the chain complex which computes its simplicial homology over \(\mathbb {F}\).
Let \(W\subseteq V\). As \(\dim {{\varSigma }}= j-1\), we have \(\dim \left ({{\varSigma }}_{W}\right )\leq j-1\) and hence \(C_{j}\left ({{\varSigma }}_{W}\right )=0\). This implies
As \({{\varDelta }}(K_{n_{1},\ldots ,n_{d}})\) is the “maximal” balanced simplicial complex with vertex partition , it follows that \(\text {Skel}_{j-1}({{\varDelta }})\subseteq {{\varSigma }}\) and thus \(C_{j-1}\left ({{\varDelta }}_{W}\right )\subseteq C_{j-1}\left ({{\varSigma }}_{W}\right )\). In particular, we conclude
and, using (1), we obtain
The claim follows from Hochster’s formula (Lemma 4). □
We now provide a specific example of the bounds in Theorem 1.
Example 1
The graded Betti numbers of any 3-dimensional balanced simplicial complex on 12 vertices with 3 vertices in each color class can be bounded by the graded Betti numbers of the skeleta of Γ := Δ(K3,3,3,3). More precisely, we can bound \(\beta _{i,i+j}(\mathbb {F}[{{\varDelta }}])\) by the corresponding Betti number of the (j − 1)-skeleton of Γ. We record those numbers in Table 1.
Remark 1
Observe that the (j − 1)-skeleton of the clique complex \({{\varDelta }}(K_{n_{1},\ldots ,n_{d}})\) is balanced if and only if j = d (or, less interestingly, if j = 1). It follows that the upper bounds for the graded Betti numbers of a (d − 1)-dimensional balanced simplicial complex, given in Theorem 1, are attained for the d th (and trivially, the 0th) row of the Betti table. However, they are not necessarily sharp for the other rows of the Betti table and we do not expect them to be.
In order to turn the upper bounds from Theorem 1 into explicit ones, we devote the rest of this section to the computation of the graded Betti numbers of the skeleta of \({{\varDelta }}(K_{n_{1},\dots ,n_{d}})\). We first consider \({{\varDelta }}(K_{n_{1},\dots ,n_{d}})\). As a preparation we determine the homology of induced subcomplexes of \({{\varDelta }}(K_{n_{1},\dots ,n_{d}})\).
Lemma 6
Let \({{\varGamma }}={{\varDelta }}(K_{n_{1},\dots ,n_{d}})\) with vertex partition . For \(W\subseteq V\), set Wi := W ∩ Vi, for 1 ≤ i ≤ d and {i1,…,ik} := {i : Wi≠∅}. Then,
In particular, \(\widetilde {H}_{j-1}\left ({{\varGamma }}_{W}; \mathbb {F}\right )\neq 0\) if and only if k = j and \(|W_{i_{\ell }}|\geq 2\) for 1 ≤ ℓ ≤ k.
Proof
Denoting by \(\overline {V_{i}}\) the simplicial complex consisting of the isolated vertices in Vi, we can write Γ as the join of those \(\overline {V_{i}}\)
In particular, we have
Using the Künneth formula for the homology of a join (see, e.g., [27, Section 58]) and the fact that
we deduce the desired formula for the homology. The “In particular”-part follows directly from this formula. □
Remark 2
Since Cohen-Macaulayness is preserved under taking joins and since every 0-dimensional simplicial complex is Cohen-Macaulay, it follows directly from (2) that the clique complex \({{\varDelta }}(K_{n_{1},\dots ,n_{d}})\) is a Cohen-Macaulay complex. Accordingly, the same is true for the skeleta of \({{\varDelta }}(K_{n_{1},\ldots ,n_{d}})\).
Lemma 6 enables us to compute the graded Betti numbers of \({{\varDelta }}(K_{n_{1},\ldots ,n_{d}})\).
Lemma 7
Let d,n1,…,nd be positive integers. Then,
for i,j ≥ 0. In particular, if n1 = ⋯ = nd = k, then
for i,j ≥ 0.
Proof
We prove the statement by a direct application of Hochster’s formula. Fix i,j ≥ 0. By Lemma 6 and Lemma 4, to compute \(\beta _{i,i+j}({{\varDelta }}(K_{n_{1},\ldots ,n_{d}}))\), we need to count subsets such that |{ℓ : W ∩ Vℓ≠∅}| = j and |W ∩ Vℓ|≠ 1 for 1 ≤ ℓ ≤ d. To construct such a set, we proceed as follows∙ We first choose i1 < ⋯ < ij such that \(W\cap V_{i_{\ell }}\neq \emptyset \) for 1 ≤ ℓ ≤ j.∙ Next, for each iℓ we pick an integer ct ≥ 1, with the property that c1 + ⋯ + cj = i + j.∙ Finally, there are \(\binom {n_{i_{\ell }}}{c_{\ell }}\) ways to choose cℓ vertices among the \(n_{i_{\ell }}\) vertices of \(V_{i_{\ell }}\).
By Lemma 6 the dimension of the (j − 1)st homology of such a subset W equals \({\prod }_{\ell =1}^{j}\left (c_{\ell }-1\right )\). Combining the previous argument, we deduce the required formula (3). The second statement now is immediate. □
We illustrate (3) with an example.
Example 2
Consider the clique complex Δ(K3,3,2) of K3,3,2. In order to compute \(\beta _{3,5}(\mathbb {F}[{{\varDelta }}(K_{3,3,2})])\), we need to consider the 2-element subsets of [3].
For the set {1,2} the inner sum in (3) equals
since the sum has two summands (corresponding to (c1,c2) ∈{(1,2),(2,1)}), each contributing with 6.
Similarly, for {1,3} and {2,3}, we obtain 2 for the value of the inner sum. In total, this yields
We now turn our attention to the computation of the graded Betti numbers of the skeleta of \({{\varDelta }}(K_{n_{1},\dots ,n_{d}})\). The following result, which is a special case of [32, Theorem 3.1] by Roksvold and Verdure, is crucial for this aim.
Lemma 8
Let Δ be a (d − 1)-dimensional Cohen-Macaulay complex with f0(Δ) = n. Set Σ = Skeld− 2(Δ). Then
for 0 ≤ i ≤ n − d + 1.
Applying Lemma 8 iteratively, we obtain the following recursive formula for the graded Betti numbers of general skeleta of a Cohen-Macaulay complex:
Corollary 1
Let s be a positive integer and let Δ be a (d − 1)-dimensional Cohen-Macaulay complex with f0(Δ) = n. Set Σ = Skeld−s− 1(Δ). Then,
for 0 ≤ i ≤ n − d + s.
Since the clique complex \({{\varDelta }}(K_{n_{1},\ldots ,n_{d}})\) is Cohen-Macaulay (see Remark 2), we can use Corollary 1 to compute the graded Betti numbers of its skeleta. Combining this with Theorem 1, we obtain the following bounds for the graded Betti numbers of an arbitrary balanced simplicial complex.
Corollary 2
Let Δ be a (d − 1)-dimensional balanced simplicial complex on vertex set , with n := |V | and ni := |Vi|. Let \({{\varGamma }}={{\varDelta }}(K_{n_{1},\dots ,n_{d}})\). Then
Note that the graded Betti numbers of \({{\varGamma }}:={{\varDelta }}(K_{n_{1},\ldots ,n_{d}})\) are given in Lemma 7 and that the f -vector of Γ is given by
for 0 ≤ i ≤ d − 1. Therefore, the previous corollary really provides explicit bounds for the graded Betti numbers of a balanced simplicial complex.
4 A First Bound in the Cohen-Macaulay Case
We let \(S=\mathbb {F}[x_{1},\ldots ,x_{n}]\) denote the polynomial ring in n variables over an arbitrary field \(\mathbb {F}\). The ultimate aim of this section is to show upper bounds for the graded Betti numbers of the Stanley-Reisner rings of balanced Cohen-Macaulay complexes. On the way, more generally, we will prove upper bounds for the graded Betti numbers of Artinian quotients S/I, where \(I \subseteq S\) is a homogeneous ideal having many generators in degree 2.
4.1 Ideals with Many Generators in Degree 2
Throughout this section, we let \(I\subsetneq S\) be a homogeneous ideal that has no generators in degree 1, i.e., \(I\subseteq \mathfrak {m}^{2}\).
First assume that S/I is of dimension 0. It is well-known and essentially follows from Lemma 2 by passing to the lex ideal Ilex that we can bound βi,i+j(S/I) by the corresponding Betti number \(\beta _{i,i+j}(S/\mathfrak {m}^{j+1})\) of the quotient of S with the (j + 1)st power of the maximal homogeneous ideal \(\mathfrak {m}\subseteq S\). Lemma 3 then yields
for all i ≥ 1, j ≥ 0. Moreover, if S/I is Cohen-Macaulay of dimension d, then, by modding out a linear system of parameters \({{\varTheta }}\subseteq S\) (which is a regular sequence by assumption) and using Lemma 1, we can reduce to the 0-dimensional case, which yields the well-known upper bound (see, e.g., [28, Lemma 3.4 (i)])
for all i ≥ 1, j ≥ 0. In particular, those bounds apply to Stanley-Reisner rings of Cohen-Macaulay complexes. Moreover, if equality holds in the j th strand, then I has (j + 1)-linear resolution (see, e.g., [15] for the precise definition).
In the following, assume that S/I is Artinian and that there exists a positive integer b such that
In other words, I has at least b generators in degree 2. Our goal is to prove upper bounds for βi,i+j(S/I) in this setting. This will be achieved using similar arguments as the ones we just recalled that are used in the general setting. First, we need some preparations.
As, by assumption, I does not contain polynomials of degree 1, neither does its lex ideal \(I^{\text {lex}}\subseteq S\). In particular, we have
and Ilex contains at least the b largest monomials of degree 2 in lexicographic order. The next lemma describes this set of monomials explicitly.
Lemma 9
Let \(n\in \mathbb N\) be a positive integer and let \(b<\binom {n+1}{2}\). Let xpxq be the b th largest monomial in the lexicographic order of degree 2 monomials in variables x1,…,xn and assume p ≤ q. Then,
and
Since the proof of this lemma is technical and since the precise statement is not used later, we defer its proof to the A.
Intuitively, if a lex ideal \(J\subseteq S\) has many generators in degree 2, then there can only exist relatively few generators of higher degree. More precisely, the next lemma provides a necessary condition for a monomial u to lie in G(J)j for j > 2 and thus enables us to bound the number of generators of J of degree j.
Lemma 10
Let j > 2 be an integer and let \(J\subseteq S\) be a lex ideal. Let xpxq be the lexicographically smallest monomial of degree 2 that is contained in J. If u ∈ G(J)j is a minimal generator of J of degree j, then \(u<_{\text {lex}} x_{p}x_{q}x_{n}^{j-2}\). In other words,
Proof
To simplify the notation, we set \(w=x_{p}x_{q}x_{n}^{j-2}\). First note that any monomial of degree j that is divisible by xpxq ∈ G(J) cannot be a minimal generator of J. Let u be a monomial of degree j with u >lexw, that is not divisible by xpxq. Then, there exists ℓ < p such that xℓ divides u or u is divisible by xp and there exists p ≤ r < q − 1 such that xpxr divides u. In the first case, let xr be such that xℓxr divides u. Then, xℓxr >lexxpxq and hence xℓxr ∈ J, since J is a lex ideal. This implies u∉G(J). Similarly, in the second case, we have xpxr >lexxpxq ∈ G(J) and hence u∉G(J). The claim follows. □
Recall that a homogeneous ideal \(I\subseteq S\), which is generated in degree d, is called Gotzmann ideal if the number of generators of \(\mathfrak {m}I\) is the smallest possible. More generally, a graded ideal \(I\subseteq S\) is called Gotzmann ideal if all components I〈j〉 are Gotzmann ideals. Here, I〈j〉 denotes the ideal generated by all the elements in I of degree j. By Gotzmann’s persistence theorem [12], a graded ideal \(I\subseteq S\) is Gotzmann if and only if I and (Ilex)〈d〉 have the same Hilbert function. Moreover, as shown in [14, Corollary 1.4], this is equivalent to S/I and S/Ilex having the same graded Betti numbers, i.e.,
for all i,j ≥ 0. We state an easy lemma, which will be helpful to prove the main result of this section.
Lemma 11
Let j ≥ d be a positive integer and let \(J\subseteq S\) be a Gotzmann ideal that is generated in degree d. Let \(I=J+\mathfrak {m}^{j+1}\). Then
for all i,ℓ ≥ 0.
Proof
We first note that, as J is Gotzmann, so are its graded components J〈j〉. Moreover, as any power of \(\mathfrak {m}\) is Gotzmann, it follows from the definition of a Gotzmann ideal that I has to be Gotzmann as well. The claim now follows from [14, Corollary 1.4]. □
We can now state the main result of this section.
Theorem 2
Let \(I\subseteq S \) be a homogeneous ideal, that does not contain linear forms. Let \(\dim _{\mathbb F} (S/I)_{2}\leq \binom {n+1}{2}-b\) for some positive integer b. Let xpxq, where p ≤ q, be the b th largest monomial of degree 2 in lexicographic order on S. Then,
for any i ≥ 0 and j ≥ 2. Moreover if \(I=J+\mathfrak {m}^{j+1}\), where \(J\subseteq S\) is a Gotzmann ideal that is generated by b elements of degree 2, then equality is attained for a fixed j ≥ 2 and all i ≥ 0.
Proof
We fix j ≥ 2 and we set \(w:=x_{p}x_{q}x_{n}^{j-1}\). By Lemma 2 we can use the graded Betti numbers of the lex ideal \(I^{\text {lex}}\subseteq S\) of I to bound the ones of I. Using Lemma 3 we infer
Let u be a monomial of degree j + 1, such that u <lexw. If xp|u, then \(\max \limits (u)\geq q+1\) and u is of the form \(x_{p}x_{\max \limits (u)}\cdot v\), where v is a monomial in \(\mathbb F[x_{q+1},\ldots ,x_{\max \limits (u)}]\) of degree j − 1. In particular, there are \(\binom {(\ell -q)+(j-1)-1}{j-1}\) many such monomials with \(\max \limits (u)=\ell \). Similarly, if u is not divisible by xp, then \(\max \limits (u)\geq p+1\) and u is of the form \(x_{\max \limits (u)}\cdot v\), where v is a monomial of degree j in \(\mathbb F[x_{p+1},\ldots ,x_{\max \limits (u)}]\). There are \(\binom {(\ell -p)+j-1}{j}\) many such monomials with \(\max \limits (u)=\ell \). The desired inequality follows.
For the equality case first note that if \(I=J+\mathfrak {m}^{j+1}\), where J is a Gotzmann ideal generated in degree d, then it follows from Lemma 11 that βi,i+j(S/I) = βi,i+j(S/Ilex) for all i. Moreover, as \(I^{\text {lex}}=\text {Lex}(b)+\mathfrak {m}^{j+1}\), where Lex(b) denotes the lex ideal generated by the b lexicographically largest monomials of degree 2, the lex ideal Ilex attains equality in (6). □
Remark 3
It is worth remarking that if an ideal I attains equality in (6) for a fixed j, then the ideal J (where \(I=J+\mathfrak {m}^{j+1}\) as above) is not necessarily a monomial ideal. E.g., for n = 2 and b = 2 the ideals
both maximize βi,i+ 2 for any i. The maximal Betti numbers in this case are β1,3 = β2,4 = 1.
4.2 Application: Balanced Cohen-Macaulay Complexes
The aim of this section is to use the results from the previous section in order to derive upper bounds for the graded Betti numbers of balanced Cohen-Macaulay complexes.
In the following, let Δ be a balanced Cohen-Macaulay simplicial complex and let \({{\varTheta }}\subseteq \mathbb {F}[{{\varDelta }}]\) be a linear system of parameters for \(\mathbb {F}[{{\varDelta }}]\). In order to apply Theorem 2 we need to bound the Hilbert function of the Artinian reduction \(\mathbb {F}[{{\varDelta }}]/{{\varTheta }} \mathbb {F}[{{\varDelta }}]\) in degree 2 from above. As Δ is Cohen-Macaulay, it follows from Lemma 5 that
which implies that we need to find an upper bound for h2(Δ) or, equivalently, for the number of edges f1(Δ).
Lemma 12
Let Δ be a (d − 1)-dimensional balanced simplicial complex with vertex partition . Let n := |V | and ni := |Vi|. Then,
Proof
As Δ is balanced, it does not have monochromatic edges, i.e., we have \(\left \lbrace v,w\right \rbrace \notin {{\varDelta }}\), if v and w belong to the same color class Vi (1 ≤ i ≤ d). As there are \(\binom {n_{i}}{2}\) monochromatic non-edges of color i, this gives the following upper bound for f1(Δ)
The claim now directly follows from the relation
□
A direct application of Theorem 2 combined with Lemma 12 finally yields:
Theorem 3
Let Δ be a (d − 1)-dimensional balanced Cohen-Macaulay complex with vertex partition and \(b:={\sum }_{i=1}^{d}\binom {n_{i}}{2}\). Let xpxq be the b th largest degree 2 monomial of \(\mathbb {F}[x_{1},\ldots ,x_{n-d}]\) in lexicographic order with p ≤ q. Then
for any i ≥ 0 and 2 ≤ j ≤ d.
The above statement is trivially true also for j > d. However, as the Castelnuovo-Mumford regularity of \(\mathbb {F}[{{\varDelta }}]\) is at most d, we have \(\beta _{i,i+j}(\mathbb {F}[{{\varDelta }}])=0\) for any i ≥ 0 and j > d.
Proof
Let \(S=\mathbb {F}[x_{1},\ldots ,x_{n}]\). Let Θ be an l.s.o.p. for \(\mathbb {F}[{{\varDelta }}]\). It follows from Lemma 1 that
Moreover, \(S/ {{\varTheta }} S\cong \mathbb {F}[x_{1},\ldots ,x_{n-d}]=:R\) as rings and there exists a homogeneous ideal \(J\subseteq R\) with \(\mathbb {F}[{{\varDelta }}]/{{\varTheta }}\mathbb {F}[{{\varDelta }}]\cong R/J\) and \(\beta _{i,i+j}^{R}(R/J)=\beta _{i,i+j}^{S/{{\varTheta }} S}(S/(I_{{{\varDelta }}}+({{\varTheta }})))\). In particular, as Δ is Cohen-Macaulay, \(\dim _{\mathbb {F}} (R/J)_{2}=h_{2}({{\varDelta }})\) satisfies the bound from Lemma 12. As \(h_{1}({{\varDelta }})=\dim _{\mathbb {F}} (R/J)_{1}\), the ideal J does not contain any linear form and the result now follows from Theorem 2. □
Remark 4
Whereas we have seen that the bounds in Theorem 2 are tight, the ones in Theorem 3 are not. For example, consider the case that n1 = n2 = 2 and d = 2. In this situation, we have \(b:={\sum }_{i=1}^{d} \binom {n_{i}}{2}=2\) and x1x2 is the second largest degree 2 monomial in the lexicographic order. Theorem 3 gives β1,3 ≤ 1. However, by Hochster’s formula, if Δ is a 1-dimensional simplicial complex with \(\beta _{1,3}(\mathbb {F}[{{\varDelta }}])=1\), then Δ must contain an induced 3-cycle. But this means that Δ cannot be balanced.
Example 3
Let Δ be a 3-dimensional balanced Cohen-Macaulay complex with 3 vertices in each color class, i.e., ni = 3 for 1 ≤ i ≤ 4. We have \(b:={\sum }_{i=1}^{4}\binom {3}{2}=12\) and x2x5 is the 12th largest monomial of degree 2 in variables x1,…,x8. The bounds from Theorem 3 are recorded in the following table:
j ∖ i | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
---|---|---|---|---|---|---|---|---|---|
2 | 0 | 62 | 360 | 915 | 1317 | 1156 | 617 | 185 | 24 |
3 | 0 | 136 | 821 | 2155 | 3184 | 2855 | 1551 | 472 | 62 |
4 | 0 | 267 | 1653 | 4432 | 6665 | 6065 | 3336 | 1026 | 136 |
We set \(S=\mathbb {F}[x_{1},\ldots ,x_{8}]\) and we let \(I\subseteq S\) be the lex ideal generated by the 12 largest monomials of degree 2 in variables x1,…,x8. It follows from Theorem 2 that \(\beta _{i,i+j}(S/(I+\mathfrak {m}^{j+1}))\) equals the entry of the above table in the row, labeled i and the column, labeled j. Moreover, it is shown in the proof of Theorem 2 that \(\beta _{i,i+\ell }(S/(I+\mathfrak {m}^{j+1}))=0\) if ℓ∉{1,j}. One can easily compute that for any j the first row of the Betti table of \(S/(I+\mathfrak {m}^{j+1})\) is given by
j ∖ i | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
---|---|---|---|---|---|---|---|---|---|
1 | 0 | 12 | 38 | 66 | 75 | 57 | 28 | 8 | 1 |
Finally, we compare the bounds from the upper table with the numbers \(\beta _{i,i+j}(S/\mathfrak {m}^{j})\), for general 3-dimensional Cohen-Macaulay complexes on 12 vertices. Those are displayed in the next table
j ∖ i | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
---|---|---|---|---|---|---|---|---|---|
2 | 0 | 120 | 630 | 1512 | 2100 | 1800 | 945 | 280 | 36 |
3 | 0 | 330 | 1848 | 4620 | 6600 | 5775 | 3080 | 924 | 120 |
4 | 0 | 792 | 4620 | 11880 | 17325 | 15400 | 8316 | 2520 | 330 |
We point out that while Theorem 3 provides bounds for \(\beta _{i,i+j}(\mathbb F[{{\varDelta }}])\) for all i and all j ≥ 2, it does not give bounds for the graded Betti numbers of the linear strand (i.e., for j = 1). This seems a natural drawback of our approach, since our key ingredient is the concentration of monomials of degree 2 in the lex ideal of IΔ + (Θ) (cf., (7)). However, it follows from the next lemma, that there is no better bound in terms of the total number of vertices n and the dimension d − 1 than in the standard (non-balanced) Cohen-Macaulay case. More precisely, for any n and any d we construct a balanced Cohen-Macaulay complex whose graded Betti numbers equal \(\beta _{i,i+j}(S/\mathfrak {m}^{j})\) for j = 1 and for every i > 0, where \(S=\mathbb F[x_{1},\dots ,x_{n-d}]\).
Lemma 13
Let n and d be positive integers. Let Γn−d+ 1 denote the simplicial complex consisting of the isolated vertices 1,2,…,n − d + 1 and let Δd− 2 be the (d − 2)-simplex with vertices {n − d + 2,…,n}. Then, Δd− 2 ∗Γn−d+ 1 is a balanced (d − 1)-dimensional Cohen-Macaulay complex. Moreover
Proof
We set Δ = Δd− 2 ∗Γn−d+ 1. As Δ is the join of a (d − 2)-dimensional and a 0-dimensional Cohen-Macaulay complex, it is Cohen-Macaulay of dimension d − 1. Moreover, coloring the vertices of Δd− 2 with the colors 1,…,d − 1 and assigning color d to all vertices of Γn−d+ 1 gives a proper d-coloring of Δ, i.e., Δ is balanced.
By Hochster’s formula (Lemma 4), the graded Betti numbers \(\beta _{i,i+1}(\mathbb {F}[{{\varDelta }}])\) are given by
As ΔW = (Δd− 2)W ∗ (Γn−d+ 1)W, the induced complex ΔW is connected whenever W ∩{n − d + 2,…,n}≠∅. Hence, the only non-trivial contributions to (8) come from (i + 1)-element subsets of [n − d + 1]. For such a subset W, the complex ΔW consists of i connected components and since there are \(\binom {n-d+1}{i+1}\) many such sets, the claim follows. □
Though we have just seen that Betti numbers (in the linear strand) of balanced Cohen-Macaulay complexes can be as big as the ones for general Cohen-Macaulay complexes, it should also be noted that the simplicial complex Δd− 2 ∗Γn−d+ 1 is special, in the sense that all but one “big” color classes are singletons. It is therefore natural to ask, if there are better bounds than those for the general Cohen-Macaulay situation, that take into account the size of the color classes.
5 A Second Bound in the Cohen-Macaulay Case via Lex-plus-squares Ideals
The aim of this section is to provide further upper bounds for the graded Betti numbers of balanced Cohen-Macaulay complexes. On the one hand, those bounds will be a further improvement of the ones from Theorem 3. On the other hand, however, they are slightly more complicated to state. Our approach is similar to the one used in Theorem 3 with lex-plus-squares ideals as an additional ingredient. More precisely, we will prove upper bounds for the graded Betti numbers of Artinian quotients S/I, where \(I\subseteq S\) is a homogeneous ideal having many generators in degree 2, including the squares of the variables \({x_{1}^{2}},\ldots ,{x_{n}^{2}}\). The desired bound for balanced Cohen-Macaulay complexes is then merely an easy application of those more general results.
5.1 Ideals Containing the Squares \({x_{1}^{2}},\ldots ,{x_{n}^{2}}\) with Many Degree 2 Generators
We recall some necessary definitions and results. As in the previous sections, we let \(S=\mathbb F[x_{1},\ldots ,x_{n}]\). We further let \(P:=({x_{1}^{2}},\ldots ,{x_{n}^{2}})\subseteq S\). A monomial ideal \(L\subseteq S\) is called squarefree lex ideal if for every squarefree monomial u ∈ L and every monomial v ∈ S with \(\deg (u)=\deg (v)\) and v >lexu it follows that v ∈ L. For homogeneous ideals containing the squares of the variables the following analog of Lemma 2 was shown by Mermin, Peeva, and Stillman [25] in characteristic 0 and by Mermin and Murai [24] in arbitrary characteristic:
Theorem 4
Let \(I\subseteq S=\mathbb F[x_{1},\dots ,x_{n}]\) be a homogeneous ideal containing P. Let \(I^{\text {sqlex}}\subseteq S\) be the squarefree lex ideal such that I and Isqlex + P have the same Hilbert function. Then,
for all i,j ≥ 0.
The existence of a squarefree lex ideal Isqlex as in the previous theorem is a straight-forward consequence of the Clements-Lindström Theorem [5]. Moreover, Theorem 4 provides an instance for which the so-called lex-plus-powers Conjecture is known to be true (see [7, 9, 10] for more details on this topic).
An ideal of the form Isqlex + P is called lex-plus-squares ideal. It was shown in [25, Theorem 2.1 and Lemma 3.1 (2)] that the graded Betti numbers of ideals of the form \(I+P\subseteq S\), where \(I\subseteq S\) is a squarefree monomial ideal can be computed via the Betti numbers of smaller squarefree monomial ideals, via iterated mapping cones. In the next result, we use \(\binom {[n]}{k}\) to denote the set of k-element subsets of [n].
Proposition 1
Let \(I\subseteq S\) be a squarefree monomial ideal. Then, (i)
where \(x_{F}={\prod }_{f\in F}x_{f}\). (ii) If I is squarefree lex, then the ideal (Isqlex : xF) is a squarefree lex ideal in SF = S/(xf : f ∈ F) for any \(F\in \binom {[n]}{k}\).
We have the following analog of Lemma 9 in the squarefree setting.
Lemma 14
Let \(n\in \mathbb N\) be a positive integer and let \(b<\binom {n}{2}\). Let xpxq be the b th largest monomial in the lexicographic order of degree 2 squarefree monomials in variables x1,…,xn and assume p < q. Then,
and
The proof is deferred to the A since it is technical and the precise statement is not needed during the remaining part of this article.
For squarefree lex ideals (or more generally squarefree stable ideals) the following analog of the Eliahou-Kervaire formula Lemma 3 is well-known.
Lemma 15
[15, Corollary 7.4.2] Let \(I\subseteq S\) be a squarefree lex ideal. Then,
for every i ≥ 1, j ≥ 0.
We can now formulate the main result of this section.
Theorem 5
Let \(I\subseteq S\) be a homogeneous ideal not containing any linear form. Let \(\dim _{\mathbb F}(S/(I+P))_{2}\leq \binom {n}{2}-b\) for some positive integer b. Let xpxq, where p < q, be the b th largest squarefree monomial in S of degree 2 in lexicographic order. Then,
for all i > 0, j ≥ 2.
Proof
By Theorem 4 we have βi,i+j(S/(I + P)) ≤ βi,i+j(S/(L + P)), where \(L\subseteq S\) is the squarefree lex ideal such that L + P and I + P have the same Hilbert function. By assumption, L does not contain variables and \(\dim _{\mathbb F} L_{2}\geq b\). Hence, L contains all squarefree degree 2 monomials that are lexicographically larger or equal than xpxq. We can further compute βi,i+j(S/(L + P)) using Proposition 1. For this, we need to analyze the ideals (L : xF), where \(F\in \binom {[n]}{k}\). We distinguish four cases (having several subcases).
Case 1
Assume that F = {f} for 1 ≤ f < p. In particular, we have p > 1. Since L is squarefree lex and xpxq ∈ L, it holds that xfxℓ ∈ L for all ℓ ∈ [n] ∖{f}. This implies \((x_{i} : i\in [n]\setminus \{f\})\subseteq (L:x_{F})\). As, by Proposition 1 (ii) (L : xF) can be considered as an ideal in SF and hence no minimal generator is divisible by xf, we infer that (L : xF) = (xi : i ∈ [n] ∖{f}). As (L : xF) and (x1,…,xn− 1) have the same graded Betti numbers, it follows from Lemma 15 that F only contributes to βi,i+j(S/(L + P)) if j = 1, a case which we do not consider.
Case 2
Assume that there exist 1 ≤ s < t ≤ n such that \(\{s,t\}\subseteq F\) and xsxt ≥lexxpxq. As L is squarefree lex and xpxq ∈ L, we infer that xsxt ∈ L and hence 1 ∈ (L : xF), i.e., (L : xF) = S. In particular, such F never contributes to βi,i+j(S/(L + P)).
Case 3
Suppose that there do not exist s,t ∈ F (s≠t) with xsxt ≥lexxpxq. We then have to consider the following two subcases:
C ase 3.1: f > p for all f ∈ F.
C ase 3.2: p ∈ F and f > q for all f ∈ F ∖{p}. C ase 3.1 (a): Assume in addition that there exists f ∈ F with p < f ≤ q. As xpxq ∈ L, xℓxf ≥lexxpxq for 1 ≤ ℓ ≤ p and since L is squarefree lex, we infer that \((x_{1},\ldots ,x_{p})\subseteq (L:x_{F})\). Moreover, by Proposition 1 (ii) (L : xF) is squarefree lex as an ideal in SF. If we reorder (and relabel) the variables x1,…,xn by first ordering {xi : i∉F} from largest to smallest by increasing indices and then adding {xf : f ∈ F} in any order, the ideal (L : xF) will be a squarefree lex ideal in S with respect to this ordering of the variables. If j≠k, then, using Lemma 15, we conclude
where the last inequality follows from the fact that the inclusion \(G(L:x_{F})_{j-k+1}\subseteq G((x_{p+1},\ldots ,\) xn−k)j−k+ 1) holds. For j = k, we note that (after relabeling) we have \(G(L:x_{F})_{1}\subseteq (x_{1},\ldots ,x_{n-k})\), from which it follows that F contributes to βi,i+j(S/(L + P)) with at most
C ase 3.1 (b): Now suppose that f > q for all f ∈ F. As F≠∅, such f exists. If p > 1, then, as L is squarefree lex and xpxq ∈ L, we have xℓxf ∈ L for all 1 ≤ ℓ ≤ p − 1. It follows that xF ⋅ xℓ = xF∖{f}⋅ (xℓ ⋅ xf) ∈ L for 1 ≤ ℓ ≤ p − 1, which implies \((x_{1},\ldots ,x_{p-1})\subseteq (L:x_{F})\). Moreover, for any p, as xpxq ∈ L, we also have xpxℓ ∈ (L : xF) for p + 1 ≤ ℓ ≤ q. Similar as in Case 3.1 (a) we can assume that, after reordering (and relabeling) the variables, (L : xF) is a squarefree lex ideal in S. As the order of x1,…,xq is not affected by this reordering, the previous discussion implies
if j≠k. Using Lemma 15, we thus obtain
if j≠k. For j = k, a similar computation as in Case 3.1 (a) shows that F contributes to βi,i+j(S/(L + P)) with at most \(\binom {n-j}{i-j}\).
C ase 3.2: Consider \(F\in \binom {[n]}{k}\) such that p ∈ F and f > q for all f ∈ F ∖{p}. As xpxq ∈ L and L is squarefree lex, it holds that \((x_{1},\ldots ,x_{p-1},x_{p+1},\ldots ,x_{q})\subseteq (L:x_{F})\). As in Case 3.1, we can assume that after a suitable reordering (and relabeling) of the variables (L : xF) is a squarefree lex ideal in S. (Note that after relabeling (L : xF) contains x1,…,xq− 1.) We infer that
if j≠k and it hence follows from Lemma 15 that
if j≠k. For j = k, it follows from the same arguments as in Case 3.1 (a) that the set F contributes to βi,i+j(S/(L + P)) with at most \(\binom {n-j}{i-j}\).
Case 4
If F = ∅, then clearly (L : xF) = L. As xpxq ∈ L, we obtain that
for j ≥ 2. The same computation as in Case 3.1 (b) now yields that
Combining Cases 1–4, we finally obtain for i > 0 and j > 1
This completes the proof. □
There might be several ways to simplify the bound of Theorem 5 by losing tightness. However, we decided to state it in the best possible form.
5.2 Application: Balanced Cohen-Macaulay Complexes Revisited
The aim of this section is to use Theorem 5 in order to get bounds for the graded Betti numbers of balanced Cohen-Macaulay complexes.
Our starting point is the following result due to Stanley (see [34, Chapter III, Proposition 4.3] or [33]).
Lemma 16
Let Δ be a (d − 1)-dimensional balanced simplicial complex with vertex partition and let \(\theta _{i}:={\sum }_{v\in V_{i}}x_{v}\) for 1 ≤ i ≤ d. Then, (i) 𝜃1,…,𝜃d is an l.s.o.p. for \(\mathbb F[{{\varDelta }}]\). (ii) \({x_{v}^{2}}\in I_{{{\varDelta }}}+(\theta _{1},\ldots ,\theta _{d})\subseteq \mathbb F[x_{v} : v\in V]\) for all v ∈ V.
An l.s.o.p. as in the previous lemma is also referred to as a colored l.s.o.p. of \(\mathbb F[{{\varDelta }}]\). If Δ is strongly connected, which is in particular true if Δ is Cohen-Macaulay, then a coloring is unique up to permutation and there is just one colored l.s.o.p. of \(\mathbb F[{{\varDelta }}]\).
An almost immediate application of Theorem 5, combined with Lemma 16 (ii) yields the desired bound for the graded Betti numbers of a balanced Cohen-Macaulay complex.
Theorem 6
Let Δ be a (d − 1)-dimensional balanced Cohen-Macaulay complex with vertex partition . Let n := |V |, ni := |Vi| and \(b:={\sum }_{i=1}^{d}\binom {n_{i}-1}{2}\). Let xpxq be the bth largest squarefree degree 2 monomial of \(\mathbb F[x_{1},\ldots ,x_{n-d}]\) in lexicographic order with p ≤ q. Then
for all i > 0, j > 1.
Proof
The proof follows exactly along the same arguments as the one of Theorem 3, using the colored l.s.o.p. of \(\mathbb F[{{\varDelta }}]\). By Lemma 16 it then holds that the ideal (Θ) + IΔ contains the squares of the variables. It remains to observe that under the isomorphism \(\mathbb F[x_{1},\ldots ,x_{n}]/({{\varTheta }})\cong R\), the ideal \(P=({x_{1}^{2}},\ldots ,{x_{n}^{2}})\subseteq \mathbb F[x_{1},\ldots ,x_{n}]\) is mapped to a homogeneous ideal containing \(({x_{1}^{2}},\ldots ,x_{n-d}^{2})\) and thus \(\mathbb F[{{\varDelta }}]/{{\varTheta }}\cong R/(I+P)\) for a homogeneous ideal \(I\subseteq R\) (not containing linear forms). We further observe that
The claim now follows from Theorem 5. □
Example 4
We consider 3-dimensional balanced Cohen-Macaulay complexes with 3 vertices in each color class, i.e., ni = 3 for 1 ≤ i ≤ 4, as in Example 3. We have \(b:={\sum }_{i=1}^{4}\binom {3}{2}-8=4\) and x1x5 is the 4th largest monomial of degree 2 in variables x1,…,x8. The bounds from Theorem 6 are recorded in the following table:
j ∖ i | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
---|---|---|---|---|---|---|---|---|---|
2 | 0 | 38 | 292 | 827 | 1249 | 1125 | 609 | 184 | 24 |
3 | 0 | 36 | 267 | 885 | 1529 | 1510 | 877 | 280 | 38 |
4 | 0 | 21 | 161 | 533 | 1024 | 1145 | 727 | 249 | 36 |
Comparing those bounds with the ones from Example 3, we see that the lex-plus-squares approach gives better bounds for all entries of the Betti table. The improvement is more significant in the lower rows of the Betti tables.
Remark 5
Consider again a 3-dimensional balanced Cohen-Macaulay complex Δ on 12 vertices, but with a different color partition, namely n1 = 1, n2 = 3, and n3 = n4 = 4. Then since every facet must contain the unique vertex of color 1, Δ is a cone, hence contractible. Theorem 6 yields \(\beta _{8,12}(\mathbb F[{{\varDelta }}])=\dim _{\mathbb F}\widetilde {H}_{3}({{\varDelta }};\mathbb F)\leq 35\). This shows that the bound is not necessarily tight.
6 The Linear Strand for Balanced Pseudomanifolds
The aim of this section is to study the linear strand of the minimal graded free resolution of the Stanley-Reisner ring of a balanced normal pseudomanifold. In particular, we will provide upper bounds for the graded Betti numbers in the linear strand. Previously, such bounds have been shown for general (not necessarily balanced) pseudomanifolds by Murai [28, Lemma 5.6 (ii)] and it follows from a result by Hibi and Terai [36, Corollary 2.3.2] that they are tight for stacked spheres. We start by recalling those results and by introducing some notation.
Let Δ and Γ be (d − 1)-dimensional pure simplicial complexes and let F ∈Δ and G ∈Γ be facets, together with a bijection φ : F → G. The connected sum of Δ and Γ is the simplicial complex obtained from Δ ∖{F}∪Γ∖{G} by identifying v with φ(v) for all v ∈ F. A stacked (d − 1)-sphere on n vertices is a (d − 1)-dimensional simplicial complex Δ obtained via the connected sum of n − d copies of the boundary of the d-simplex. The mentioned results of Murai [28, Lemma 5.6 (ii)] and Hibi and Terai [36, Corollary 2.3.2] can be summarized as follows:
Lemma 17
Let d ≥ 3. Let Δ be a (d − 1)-dimensional normal pseudomanifold with n vertices. Then
Moreover, those bounds are attained if Δ is a stacked sphere.
We remark that, in [36], the authors provide explicit formulas not only for the Betti numbers of the linear strand but for all graded Betti numbers of a stacked sphere. In particular, it is shown that these numbers only depend on the number of vertices n and the dimension d − 1.
In order to prove a balanced analog of the first statement of Lemma 17, the following result due to Fogelsanger [8] will be crucial (see also [30, Section 5]).
Lemma 18
Let d ≥ 3. Let Δ be a (d − 1)-dimensional normal pseudomanifold. Then, there exist linear forms \(\theta _{1},\dots ,\theta _{d+1}\) such that the multiplication map
is injective for all 1 ≤ i ≤ d + 1.
Intuitively, the previous result compensates the lack of a regular sequence for normal pseudomanifolds in small degrees, since those need not to be Cohen-Macaulay.
Recall that a key step for the proofs of Theorem 2 and Theorem 5 was to find upper bounds for the number of generators of the lex ideal and the lex-plus-squares ideal, respectively, of degree ≥ 3. For the proof of our main result in this section we will use a similar strategy, but since we are interested in the linear strand of the minimal free resolution, we rather need to bound the number of degree 2 generators in a certain lex-ideal. This will be accomplished via the lower bound theorem for balanced normal pseudomanifolds, which was shown by Klee and Novik [22, Theorem 3.4] (see also [11, Theorem 5.3] and [2, Theorem 4.1] for the corresponding result for balanced spheres respectively manifolds and Buchsbaum* complexes).
Theorem 7
Let d ≥ 3 and let Δ be a (d − 1)-dimensional balanced normal pseudomanifold. Then
We can now state the main result of this section.
Theorem 8
Let d ≥ 3 and let Δ be a (d − 1)-dimensional balanced normal pseudomanifold on n vertices. Let \(b:= \frac {(n-d)(n-2d+2)}{2}\) and let xpxq (where p ≤ q) be the b th largest degree 2 monomial of \(\mathbb F[x_{1},\ldots ,x_{n-d-1}]\) in lexicographic order. Then,
Proof
Let \(R^{\prime }:=\mathbb F[x_{1},\ldots ,x_{n-d-1}]\) and let Θ = {𝜃1,…,𝜃d+ 1} be linear forms given by Lemma 18. Then, as in the proof of Theorem 3, we let \(J\subseteq R\) be the homogeneous ideal with \(\mathbb {F}[{{\varDelta }}]/{{\varTheta }}\mathbb {F}[{{\varDelta }}]\cong R/J\) and we let \(J^{\text {lex}}\subseteq R\) be the lex ideal of J. Using Lemma 18, Lemmas 1 and 2 we conclude
To prove inequality (11), we will compute upper bounds for \(\beta _{i,i+1}^{R}(R/J^{\text {lex}})\) using Lemma 3. For those we need an upper bound for the number of generators of degree 2 in Jlex. More precisely, we will prove the following claim: C laim: \(\dim _{\mathbb F}(J^{\text {lex}})_{2}\leq b\).
By the definition of the ideals J and Jlex we have
Here, the second equality follows from the injectivity of the multiplication maps in Lemma 18 and the inequality holds by Theorem 7. We conclude
which shows the claim.
Since \(\dim _{\mathbb {F}}(R/J^{\text {lex}})_{1}=n-d-1=\dim _{\mathbb {F}}(R)_{1}\), the ideal Jlex does not contain variables. Using the just proven claim, we conclude that G(Jlex)2 contains at most the b lexicographically largest degree 2 monomials of R, i.e.,
To simplify the notation, we set M := {u ∈Mon2(R) : u ≥lexxpxq}. Using Lemma 3, we infer
for all i ≥ 0. This finishes the proof. □
Note that, unlike the bounds from Theorems 2 and 6, the bounds from Theorem 8 do not depend on the sizes of the color classes.
Example 5
Let Δ be a 3-dimensional balanced pseudomanifold on 12 vertices, with an arbitrary partition of the vertices into color classes. We have \(b=\frac {(n-d)(n-2d+2)}{2}=24\) and x5x6 is the 24th largest degree 2 monomial in variables x1,…,x7. The bounds for \(\beta _{i,i+1}(\mathbb F[{{\varDelta }}])\) provided by Theorem 8 are recorded in the following table.
j ∖ i | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
---|---|---|---|---|---|---|---|---|---|
1 | 0 | 24 | 89 | 155 | 154 | 90 | 29 | 4 | 0 |
One should compare those with the bounds provided by Lemma 17 for arbitrary (not necessarily balanced) pseudomanifolds
j ∖ i | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
---|---|---|---|---|---|---|---|---|---|
1 | 0 | 28 | 112 | 210 | 224 | 140 | 48 | 7 | 0 |
While the bounds in the previous table are realized by any stacked 3-sphere on 12 vertices, we do not know if the ones for the balanced case, shown in the upper table, are attained. In the next section, we will see that they are not attained by the balanced analog of stacked spheres.
Remark 6
In view of Theorem 8 a natural question that arises is if one can also bound the entries of the j th row of the Betti table of a balanced pseudomanifold for j ≥ 2. In order for our approach to work, this would require the multiplication maps from Lemma 18 to be injective also for higher degrees; a property that is closely related to Lefschetz properties.
7 Betti Numbers of Stacked Cross-polytopal Spheres
The aim of this section is to compute the graded Betti numbers of stacked cross-polytopal spheres explicitly. Stacked cross-polytopal spheres can be considered as the balanced analog of stacked spheres, in the sense that both minimize the h-vector among the class of balanced normal pseudomanifolds respectively all normal pseudomanifolds (see [22, Theorem 4.1] and e.g., [8, 21, 35]). For stacked spheres, explicit formulas for their graded Betti numbers were provided by Hibi and Terai [36] and it was shown that they only depend on the number of vertices and the dimension but not on the combinatorial type of the stacked sphere (see also Lemma 17).
We start by introducing some necessary definitions. We denote the boundary complex of the d-dimensional cross-polytope by \(\mathcal C_{d}\). Combinatorially, \(\mathcal C_{d}\) is given as the join of d pairs of disconnected vertices, i.e.,
Definition 4
Let n = kd for some integer k ≥ 2. A stacked cross-polytopal (d − 1)-sphere on n vertices is a simplicial complex obtained via the connected sum of k − 1 copies of \(\mathcal {C}_{d}\). We denote by \(\mathcal {S}\mathcal {T}^{\times }(n,d)\) the set of all stacked cross-polytopal (d − 1)-spheres on n vertices.
Observe that \(\mathcal {S}\mathcal {T}^{\times }(2d,d)=\{\mathcal C_{d}\}\), and, as \(\mathcal C_{d}\) is balanced, so is any stacked cross-polytopal sphere. In analogy with the non-balanced setting, for k ≥ 4, there exist stacked cross-polytopal spheres in \(\mathcal {S}\mathcal {T}^{\times }(kd,d)\) of different combinatorial types, as depicted in Fig. 2. Nevertheless, it is easily seen that the f -vector of a stacked cross-polytopal sphere only depends on n and d. In this section, we will show the same behavior for their graded Betti numbers.
As a warm-up, we compute the Betti numbers of the boundary complex of the cross-polytope.
Lemma 19
Let d ≥ 1. Then, \(\beta _{i,i+j}(\mathbb F[\mathcal C_{d}])=0\) for all i ≥ 0 and j≠i. Moreover,
for all i.
Proof
Being generated by d pairwise coprime monomials, the Stanley-Reisner ideal of \(\mathcal C_{d}\) is a complete intersection, and hence it is minimally resolved by the Koszul complex. □
The following immediate lemma will be very useful, in order to derive a recursive formula for the graded Betti numbers of stacked cross-polytopal spheres.
Lemma 20
Let d ≥ 3. Let \({{\varDelta }}\in \mathcal {S}\mathcal {T}^{\times }(kd,d)\) be a stacked cross-polytopal sphere on vertex set V and let F be a facet of Δ. Then, for any \(W\subseteq V\),
Proof
The statement is immediate since Δ and Δ ∖{F} share the same skeleta up to dimension d − 2. □
Consider \({{\varDelta }}\in \mathcal {S}\mathcal {T}^{\times }(kd,d)\) and let ◇1,…,◇k− 1 denote the copies of \(\mathcal C_{d}\) from which Δ was constructed. We call a facet F ∈Δ∩◇i extremal if V (◇i) ∖ F∉Δ, and the facet V (◇i) ∖ F is called the opposite of F. Intuitively a facet F of Δ is extremal if removing all the vertices in F from Δ yields a complex Γ ∖{G}, where \({{\varGamma }}\in \mathcal {S}\mathcal {T}^{\times }((k-1)d,d)\) and G is the opposite of F (Fig. 3).
We have the following recursive formulas for Betti numbers of stacked cross-polytopal spheres.
Remark 7
Note that for the case j = 1 the following formula can be deduced from [4, Corollary 3.4]. We report its proof anyway, as the idea is analogous to the case j ≥ 2.
Theorem 9
Let n ≥ 3d and \({{\varDelta }}\in \mathcal {S}\mathcal {T}^{\times } (n,d)\). Then,
with \({{\varGamma }}\in \mathcal {S}\mathcal {T}^{\times } (n-d,d)\). In particular, the graded Betti numbers of Δ only depend on n and d.
Proof
We will compute the graded Betti numbers using Hochster’s formula. Let V be the vertex set of Δ and let F be an extremal facet of Δ with opposite G. Then, we can write Δ = (Γ ∖{G}) ∪ (◇∖{G}), where \({{\varGamma }}\in \mathcal {S}\mathcal {T}^{\times }(n-d,d)\) and ◇ is the boundary complex of the d-dimensional cross-polytope on vertex set F ∪ G. In particular, (Γ ∖{G}) ∩ (◇∖{G}) = ∂(G). We now distinguish two cases.
Case 1
j = 1. Let \(W\subseteq V\). We have several cases:
(a) If \(W\subseteq V({{\varGamma }})\), then ΔW = (Γ ∖{G})W. By Lemma 20, (Γ ∖{G})W (thus ΔW) and ΓW have the same number of connected components and hence \(\widetilde {H}_{0}({{\varDelta }}_{W};\mathbb F)=\widetilde {H}_{0}({{\varGamma }}_{W};\mathbb F)\).
(b) If \(W\subseteq V(\Diamond )\), then it follows as in (b) that \(\widetilde {H}_{0}({{\varDelta }}_{W};\mathbb F)=\widetilde {H}_{0}(\Diamond _{W};\mathbb F)\).
(c) Assume that W ∩ (V (Γ) ∖ G)≠∅ and W ∩ (V (◇) ∖ G)≠∅. Then, ΔW = (Γ ∖{G})W ∪ (◇∖{G})W. If, in addition, W ∩ G = ∅, then this union is disjoint and, using Lemma 20 we conclude that the number of connected components of ΔW equals the sum of the number of connected components of ΓW and ◇W. Thus, as neither ΓW nor ◇W is the empty complex,
If W ∩ G≠∅, then the number of connected components of ΔW is one less than the sum of the number of connected components of (Γ ∖{G})W and (◇∖{G})W. In particular, using Lemma 20, we infer
Using Hochster’s formula, we obtain
For \(W\subseteq V({{\varGamma }})\) (respectively \(W\subseteq V(\Diamond )\)) the term \(\dim _{\mathbb F}\widetilde {H}_{0}({{\varGamma }}_{W};\mathbb F)\) (respectively \(\dim _{\mathbb F}\widetilde {H}_{0}(\Diamond _{W};\mathbb F)\)) appears \(\binom {d}{i+1-|W|}\) (respectively \(\binom {n-2d}{i+1-|W|}\)) times in the previous expression. Moreover, there are \({\sum }_{\ell =1}^{\min \limits \{i,d\}}\binom {d}{\ell }\binom {n-2d}{i+1-\ell }\) (i + 1)-subsets W of V ∖ G with W ∩ V (Γ)≠∅ and W ∩ V (◇)≠∅. This implies
where the last equality holds by Hochster’s formula. The desired recursion for \(\beta _{i,i+1}(\mathbb F[{{\varDelta }}])\) now follows from a simple index shift.
Case 2
2 ≤ j ≤ d − 2. Let \(W\subseteq V\). We consider two cases.
(a) If \(W\subseteq V({{\varGamma }})\), then it follows from Lemma 20 that
(b) If \(W\subseteq V(\Diamond )\), then it follows as in (a) that
(c) Assume that W ∩ (V (Γ) ∖ G)≠∅ and W ∩ (V (◇) ∖ G)≠∅. Then, ΔW = (Γ ∖{G})W ∪ (◇∖{G})W. Let 1 ≤ j ≤ d − 3. We have the following Mayer-Vietoris exact sequence
where we use that (Γ ∖{G})W ∩ (◇∖{G})W = (∂(G))W, which has always trivial homology in dimension ≤ d − 3. It follows from (12) combined with Lemma 20 that
Using Hochster’s formula, we conclude
where the second equality follows, as in Case 1, by a simple counting argument and the last equality follows from Lemma 19.
The statement of the “In particular”-part follows directly by applying the recursion iteratively, and from \(\mathcal {S}\mathcal {T}^{\times }(2d,d)=\{\mathcal C_{d}\}\). □
Remark 8
We remark that due to graded Poincaré duality the graded Betti numbers of any stacked cross-polytopal sphere \({{\varDelta }}\in \mathcal {S}\mathcal {T}^{\times }(n,d)\) exhibit the following symmetry:
This in particular implies \(\beta _{n-d,n}(\mathbb {F}[{{\varDelta }}])=1\) and \(\beta _{i,i+d}(\mathbb {F}[{{\varDelta }}])=0\) for 0 ≤ i < n − d. Moreover, also \(\beta _{i,i+d-1}(\mathbb {F}[{{\varDelta }}])\) can be computed using the recursion from Theorem 9 (for the linear strand).
In order to derive explicit formulas for the graded Betti numbers of a stacked cross-polytopal sphere, we need to convert the recursive formula of Theorem 9 into a closed expression.
Theorem 10
Let d ≥ 3, k ≥ 2 and let \({{\varDelta }}\in \mathcal {S}\mathcal {T}^{\times }(kd,d)\) be a stacked cross-polytopal sphere. Then, \(\beta _{0,0}(\mathbb {F}[{{\varDelta }}])=\beta _{(k-1)d,kd}(\mathbb {F}[{{\varDelta }}])=1\) and for i ≥ 0
Proof
We proof the claim by induction on k.
For k = 2, the first line above equals d if i = 1 and 0 otherwise. Similarly, the second line equals \(\binom {d}{i}\) if j = i and 0 otherwise. The claim for k = 2 now follows from Lemma 19.
Let k ≥ 3 and let \({{\varDelta }} \in \mathcal {S}\mathcal {T}^{\times }(kd,d)\). We first show the case j = 1.
Using Theorem 9 and then the induction hypothesis, we conclude
where \({{\varGamma }}\in \mathcal {S}\mathcal {T}\times ((k-1)d,d)\). We now assume that \(\min \limits \{i,d\}=d\). We notice that in (14), we can shift the upper summation indices to i + 1 in the first 2 sums and to i − 1 in the third sum. Using Vandermonde identity we obtain
If i < d (thus \(\min \limits \{i,d\}=i\)), then the same computation as above with an additional summand of \(-(k-3)\binom {d}{i+1}\), \((k-2)\binom {d}{i+1}\) and \(-\binom {d}{i+1}\) for the first, second and fourth sum, respectively, shows the formula for the first line.
We now show the case 1 < j ≤ d − 2.
Applying Theorem 9 and the induction hypothesis, we obtain
where \({{\varGamma }}\in \mathcal {S}\mathcal {T}^{\times }((k-1)d,d) \) and the fourth equality follows from Vandermonde’s identity after observing that shifting the upper index of the sum to i − j does not change the sum.
The statement in the last line (j = d − 1) follows from graded Poincaré duality (see (13)). □
Example 6
For stacked cross-polytopal 3-spheres on 12 vertices Theorem 10 yields the following Betti numbers for the linear strand:
j ∖ i | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
---|---|---|---|---|---|---|---|---|---|
1 | 0 | 24 | 80 | 116 | 88 | 36 | 8 | 1 | 0 |
If we compare them with the bounds for the Betti numbers of a 3-dimensional balanced normal pseudomanifold on 12 vertices from Theorem 8, displayed in the next table, we see that they are smaller in almost all places.
j ∖ i | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
---|---|---|---|---|---|---|---|---|---|
1 | 0 | 24 | 89 | 155 | 154 | 90 | 29 | 4 | 0 |
In light of Lemma 17 and the analogy between stacked and cross-polytopal stacked spheres, the previous example suggests the following conjecture:
Conjecture 1
Let Δ be a (d − 1)-dimensional balanced normal pseudomanifold, with d ≥ 4 and let f0(Δ) = kd, for some integer k ≥ 2. Then
for \({{\varGamma }}\in \mathcal {S}\mathcal {T}^{\times }(kd,d)\), and for every i ≥ 0.
References
Bigatti, A.: Upper bounds for the Betti numbers of a given Hilbert function. Comm. Algebra 21(7), 2317–2334 (1993)
Browder, J., Klee, S.: Lower bounds for Buchsbaum complexes. European J. Combin. 32(1), 146–153 (2011)
Bruns, W., Herzog, J.: Cohen-Macaulay Rings. Cambridge Studies in Advanced Mathematics, vol. 39. Cambridge University Press, Cambridge (1993)
Choi, S., Kim, J.S.: A combinatorial proof of a formula for Betti numbers of a stacked polytope. Electron. J. Combin. 17(1): Research Paper 9, 8 (2010)
Clements, G.F., Lindström, B.: A generalization of a combinatorial theorem of Macaulay. J. Combinatorial Theory 7, 230–238 (1969)
Eliahou, S., Kervaire, M.: Minimal resolutions of some monomial ideals. J. Algebra 129(1), 1–25 (1990)
Evans Jr., E. G., Richert, B.P.: Possible resolutions for a given Hilbert function. Comm. Algebra 30(2), 897–906 (2002)
Fogelsanger, A.: The Generic Rigidity of Minimal Cycles. Proquest LLC, Ann Arbor MI (1988)
Francisco, C.A.: Almost complete intersections and the lex-plus-powers conjecture. J. Algebra 276(2), 737–760 (2004)
Francisco, C.A., Richert, B.P.: Lex-Plus-Powers Ideals. In: Syzygies and Hilbert Functions. Lect. Notes Pure Appl. Math, vol. 254, pp 113–144. Chapman & Hall/CRC, Boca Raton (2007)
Goff, M., Klee, S., Novik, I.: Balanced complexes and complexes without large missing faces. Ark. Mat. 49(2), 335–350 (2011)
Gotzmann, G.: Eine Bedingung für die Flachheit und das Hilbertpolynom eines graduierten Ringes. Math. Z. 158(1), 61–70 (1978)
Grayson, D.R., Stillman, M.E.: Macaulay2, a software system for research in algebraic geometry. Available at http://www.math.uiuc.edu/Macaulay2/ (2021)
Herzog, J., Hibi, T.: Componentwise linear ideals. Nagoya Math. J. 153, 141–153 (1999)
Herzog, J., Hibi, T.: Monomial Ideals. Graduate Texts in Mathematics, vol. 260. Springer Ltd, London (2011)
Hulett, H.A.: Maximum Betti numbers of homogeneous ideals with a given Hilbert function. Comm. Algebra 21(7), 2335–2350 (1993)
Izmestiev, I., Klee, S., Novik, I.: Simplicial moves on balanced complexes. Adv. Math. 320, 82–114 (2017)
Juhnke-Kubitzke, M., Murai, S.: Balanced generalized lower bound inequality for simplicial polytopes. Selecta. Math. (N.S.) 24(2), 1677–1689 (2018)
Juhnke-Kubitzke, M., Murai, S., Novik, I., Sawaske, C.: A generalized lower bound theorem for balanced manifolds. Math. Z. 1–22 (2017)
Juhnke-Kubitzke, M., Venturello, L.: Balanced shellings and moves on balanced manifolds. ArXiv e-prints (2018)
Kalai, G.: Rigidity and the lower bound theorem. I. Invent. Math. 88(1), 125–151 (1987)
Klee, S., Novik, I.: Lower bound theorems and a generalized lower bound conjecture for balanced simplicial complexes. Mathematika 62(2), 441–477 (2016)
Macaulay, F.S.: Some properties of enumeration in the theory of modular systems. Proc. London Math. Soc. 26(2), 531–555 (1927)
Mermin, J., Murai, S.: The lex-plus-powers conjecture holds for pure powers. Adv. Math. 226(4), 3511–3539 (2011)
Mermin, J., Peeva, I., Stillman, M.: Ideals containing the squares of the variables. Adv. Math. 217(5), 2206–2230 (2008)
Migliore, J., Nagel, U.: Reduced arithmetically Gorenstein schemes and simplicial polytopes with maximal Betti numbers. Adv. Math. 180(1), 1–63 (2003)
Munkres, J.R.: Elements of Algebraic Topology. Addison-Wesley Publishing Company, Menlo Park (1984)
Murai, S.: Tight combinatorial manifolds and graded Betti numbers. Collect. Math. 66(3), 367–386 (2015)
Murai, S., Suzuki, Y.: Balanced subdivisions and flips on surfaces. Proc. Am. Math. Soc. 146(3), 939–951 (2018)
Novik, I., Swartz, E.: Applications of Klee’s Dehn-Sommerville relations. Discrete Comput. Geom. 42(2), 261–276 (2009)
Pardue, K.: Deformation classes of graded modules and maximal Betti numbers. Illinois J. Math. 40(4), 564–585 (1996)
Roksvold, J., Verdure, H.: Betti numbers of skeletons. arXiv:1502.05670 (2015)
Stanley, R.P.: Balanced Cohen-Macaulay complexes. Trans. Am. Math. Soc. 249(1), 139–157 (1979)
Stanley, R.P.: : Combinatorics and Commutative Algebra. Progress in Mathematics, 2nd edn., vol. 41. Birkhäuser, Inc, Boston (1996)
Tay, T.S.: Lower-bound theorems for pseudomanifolds. Discrete Comput. Geom. 13(2), 203–216 (1995)
Terai, N., Hibi, T.: Computation of Betti numbers of monomial ideals associated with stacked polytopes. Manuscripta Math. 92(4), 447–453 (1997)
Venturello, L.: Balanced triangulations on few vertices and an implementation of cross-flips. Electron. J. Combin. 26(3), Paper No. 3.61, 24 (2019)
Acknowledgements
Funding
Open Access funding enabled and organized by Projekt DEAL. Both authors were supported by the German Research Council DFG GRK-1916.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
Proof Proof of Lemma 9
Let M be the n × n upper triangular matrix obtained by listing the degree 2 monomials in variables x1,…,xn in decreasing lexicographic order from left to right and top to bottom
From this ordering, it is easily seen, that, if xpxq (with p < q) is the b th largest degree 2 monomial in lexicographic order, then
As \(s= -\frac {1}{2}+\frac {\sqrt {4n(n+1)+1-8b}}{2}\) is the unique non-negative solution to the equation
we conclude that
Looking at the matrix M, we deduce that the index q, (i.e., the column index of xpxq in M) is given by
The claim follows. □
Proof Proof of Lemma 14
As in the proof of Lemma 9 it is easy to see that, if xpxq (with p < q) is the b th largest squarefree degree 2 monomial, then
Since \(s=-\frac {1}{2}+\frac {\sqrt {4n(n-1)-8b+1}}{2}\) is the unique non-negative solution to the equation
we infer that \(p= n-1+\left \lfloor \frac {1}{2}-\frac {\sqrt {4n(n-1)-8b+1}}{2}\right \rfloor \). As \(q=b-{\sum }_{\ell =1}^{p-1}(n-\ell )+p\), the claim follows from a straightforward computation. □
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Juhnke-Kubitzke, M., Venturello, L. Graded Betti Numbers of Balanced Simplicial Complexes. Acta Math Vietnam 46, 839–871 (2021). https://doi.org/10.1007/s40306-021-00449-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40306-021-00449-8