## 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 Mon_{i}(*S*) the set of monomials of degree *i* in *S*, and for *u* ∈Mon_{i}(*S*) and a term order <, we let Mon_{i}(*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 *R*_{i} 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 *𝜃* ∈ *S*_{1}. (i) [26, Corollary 8.5] If the multiplication map × *𝜃* : *R*_{k}→*R*_{k+ 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 (*a*_{1} − *b*_{1},…,*a*_{n} − *b*_{n}) 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* >_{lex}*u* 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 *I*^{lex}, such that *S*/*I* and *S*/*I*^{lex} have the same Hilbert function. In particular, the \(\mathbb {F}\)-vector space *I*^{lex} ∩ *S*_{i} 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 *I*^{lex} is far from being one to one, since *I*^{lex} 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*(*I*^{lex}). 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* ∩ *V*_{i}|≤ 1, for every \(i=1,\dots ,d\) and for every face *F* ∈*Δ*.

We often refer to the sets *V*_{i} 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 *n*_{i} := |*V*_{i}| 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 *n*_{i} := |*V*_{i}|. 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 *Γ* := *Δ*(*K*_{3,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 *W*_{i} := *W* ∩ *V*_{i}, for 1 ≤ *i* ≤ *d* and {*i*_{1},…,*i*_{k}} := {*i* : *W*_{i}≠*∅*}. 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 *V*_{i}, 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*,*n*_{1},…,*n*_{d} be positive integers. Then,

for *i*,*j* ≥ 0. In particular, if *n*_{1} = ⋯ = *n*_{d} = *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 *i*_{1} < ⋯ < *i*_{j} such that \(W\cap V_{i_{\ell }}\neq \emptyset \) for 1 ≤ *ℓ* ≤ *j*.∙ Next, for each *i*_{ℓ} we pick an integer *c*_{t} ≥ 1, with the property that *c*_{1} + ⋯ + *c*_{j} = *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 *Δ*(*K*_{3,3,2}) of *K*_{3,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 (*c*_{1},*c*_{2}) ∈{(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 *f*_{0}(*Δ*) = *n*. Set *Σ* = Skel_{d− 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 *f*_{0}(*Δ*) = *n*. Set *Σ* = Skel_{d−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 *n*_{i} := |*V*_{i}|. 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 *I*^{lex} 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 *I*^{lex} 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 *x*_{p}*x*_{q} be the *b* th largest monomial in the lexicographic order of degree 2 monomials in variables *x*_{1},…,*x*_{n} 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 *x*_{p}*x*_{q} 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 *x*_{p}*x*_{q} ∈ *G*(*J*) cannot be a minimal generator of *J*. Let *u* be a monomial of degree *j* with *u* >_{lex}*w*, that is not divisible by *x*_{p}*x*_{q}. Then, there exists *ℓ* < *p* such that *x*_{ℓ} divides *u* or *u* is divisible by *x*_{p} and there exists *p* ≤ *r* < *q* − 1 such that *x*_{p}*x*_{r} divides *u*. In the first case, let *x*_{r} be such that *x*_{ℓ}*x*_{r} divides *u*. Then, *x*_{ℓ}*x*_{r} >_{lex}*x*_{p}*x*_{q} and hence *x*_{ℓ}*x*_{r} ∈ *J*, since *J* is a lex ideal. This implies *u*∉*G*(*J*). Similarly, in the second case, we have *x*_{p}*x*_{r} >_{lex}*x*_{p}*x*_{q} ∈ *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 (*I*^{lex})_{〈d〉} have the same Hilbert function. Moreover, as shown in [14, Corollary 1.4], this is equivalent to *S*/*I* and *S*/*I*^{lex} 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 *x*_{p}*x*_{q}, 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* <_{lex}*w*. If *x*_{p}|*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 *x*_{p}, 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*/*I*^{lex}) 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 *I*^{lex} 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 *h*_{2}(*Δ*) or, equivalently, for the number of edges *f*_{1}(*Δ*).

###
**Lemma 12**

Let *Δ* be a (*d* − 1)-dimensional balanced simplicial complex with vertex partition . Let *n* := |*V* | and *n*_{i} := |*V*_{i}|. 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 *V*_{i} (1 ≤ *i* ≤ *d*). As there are \(\binom {n_{i}}{2}\) monochromatic non-edges of color *i*, this gives the following upper bound for *f*_{1}(*Δ*)

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 *x*_{p}*x*_{q} 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 *n*_{1} = *n*_{2} = 2 and *d* = 2. In this situation, we have \(b:={\sum }_{i=1}^{d} \binom {n_{i}}{2}=2\) and *x*_{1}*x*_{2} 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., *n*_{i} = 3 for 1 ≤ *i* ≤ 4. We have \(b:={\sum }_{i=1}^{4}\binom {3}{2}=12\) and *x*_{2}*x*_{5} is the 12th largest monomial of degree 2 in variables *x*_{1},…,*x*_{8}. The bounds from Theorem 3 are recorded in the following table:

| 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 *x*_{1},…,*x*_{8}. 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

| 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

| 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* >_{lex}*u* 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 *I*^{sqlex} + *P* have the same Hilbert function. Then,

for all *i*,*j* ≥ 0.

The existence of a squarefree lex ideal *I*^{sqlex} 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 *I*^{sqlex} + *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 (*I*^{sqlex} : *x*_{F}) is a squarefree lex ideal in *S*_{F} = *S*/(*x*_{f} : *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 *x*_{p}*x*_{q} be the *b* th largest monomial in the lexicographic order of degree 2 squarefree monomials in variables *x*_{1},…,*x*_{n} 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 *x*_{p}*x*_{q}, 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 *x*_{p}*x*_{q}. We can further compute *β*_{i,i+j}(*S*/(*L* + *P*)) using Proposition 1. For this, we need to analyze the ideals (*L* : *x*_{F}), 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 *x*_{p}*x*_{q} ∈ *L*, it holds that *x*_{f}*x*_{ℓ} ∈ *L* for all *ℓ* ∈ [*n*] ∖{*f*}. This implies \((x_{i} : i\in [n]\setminus \{f\})\subseteq (L:x_{F})\). As, by Proposition 1 (ii) (*L* : *x*_{F}) can be considered as an ideal in *S*_{F} and hence no minimal generator is divisible by *x*_{f}, we infer that (*L* : *x*_{F}) = (*x*_{i} : *i* ∈ [*n*] ∖{*f*}). As (*L* : *x*_{F}) and (*x*_{1},…,*x*_{n− 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 *x*_{s}*x*_{t} ≥_{lex}*x*_{p}*x*_{q}. As *L* is squarefree lex and *x*_{p}*x*_{q} ∈ *L*, we infer that *x*_{s}*x*_{t} ∈ *L* and hence 1 ∈ (*L* : *x*_{F}), i.e., (*L* : *x*_{F}) = *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 *x*_{s}*x*_{t} ≥_{lex}*x*_{p}*x*_{q}. 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 *x*_{p}*x*_{q} ∈ *L*, *x*_{ℓ}*x*_{f} ≥_{lex}*x*_{p}*x*_{q} 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* : *x*_{F}) is squarefree lex as an ideal in *S*_{F}. If we reorder (and relabel) the variables *x*_{1},…,*x*_{n} by first ordering {*x*_{i} : *i*∉*F*} from largest to smallest by increasing indices and then adding {*x*_{f} : *f* ∈ *F*} in any order, the ideal (*L* : *x*_{F}) 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 ,\) *x*_{n−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 *x*_{p}*x*_{q} ∈ *L*, we have *x*_{ℓ}*x*_{f} ∈ *L* for all 1 ≤ *ℓ* ≤ *p* − 1. It follows that *x*_{F} ⋅ *x*_{ℓ} = *x*_{F∖{f}}⋅ (*x*_{ℓ} ⋅ *x*_{f}) ∈ *L* for 1 ≤ *ℓ* ≤ *p* − 1, which implies \((x_{1},\ldots ,x_{p-1})\subseteq (L:x_{F})\). Moreover, for any *p*, as *x*_{p}*x*_{q} ∈ *L*, we also have *x*_{p}*x*_{ℓ} ∈ (*L* : *x*_{F}) for *p* + 1 ≤ *ℓ* ≤ *q*. Similar as in Case 3.1 (a) we can assume that, after reordering (and relabeling) the variables, (*L* : *x*_{F}) is a squarefree lex ideal in *S*. As the order of *x*_{1},…,*x*_{q} 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 *x*_{p}*x*_{q} ∈ *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* : *x*_{F}) is a squarefree lex ideal in *S*. (Note that after relabeling (*L* : *x*_{F}) contains *x*_{1},…,*x*_{q− 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* : *x*_{F}) = *L*. As *x*_{p}*x*_{q} ∈ *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* |, *n*_{i} := |*V*_{i}| and \(b:={\sum }_{i=1}^{d}\binom {n_{i}-1}{2}\). Let *x*_{p}*x*_{q} be the *b*th 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., *n*_{i} = 3 for 1 ≤ *i* ≤ 4, as in Example 3. We have \(b:={\sum }_{i=1}^{4}\binom {3}{2}-8=4\) and *x*_{1}*x*_{5} is the 4th largest monomial of degree 2 in variables *x*_{1},…,*x*_{8}. The bounds from Theorem 6 are recorded in the following table:

| 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 *n*_{1} = 1, *n*_{2} = 3, and *n*_{3} = *n*_{4} = 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 *x*_{p}*x*_{q} (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 *J*^{lex}. 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 *J*^{lex} 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 *J*^{lex} does not contain variables. Using the just proven claim, we conclude that *G*(*J*^{lex})_{2} contains at most the *b* lexicographically largest degree 2 monomials of *R*, i.e.,

To simplify the notation, we set *M* := {*u* ∈Mon_{2}(*R*) : *u* ≥_{lex}*x*_{p}*x*_{q}}. 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 *x*_{5}*x*_{6} is the 24th largest degree 2 monomial in variables *x*_{1},…,*x*_{7}. The bounds for \(\beta _{i,i+1}(\mathbb F[{{\varDelta }}])\) provided by Theorem 8 are recorded in the following table.

| 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

| 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* = *k**d* 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* ≥ 3*d* 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:

| 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.

| 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 *f*_{0}(*Δ*) = *k**d*, 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 *x*_{1},…,*x*_{n} in decreasing lexicographic order from left to right and top to bottom

From this ordering, it is easily seen, that, if *x*_{p}*x*_{q} (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 *x*_{p}*x*_{q} 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 *x*_{p}*x*_{q} (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