arXiv:1705.01802v1 [] 4 May 2017

LINEAR SYZYGIES, HYPERBOLIC COXETER GROUPS AND
REGULARITY
ALEXANDRU CONSTANTINESCU, THOMAS KAHLE, AND MATTEO VARBARO
Abstract. We build a new bridge between geometric group theory and commutative algebra
by showing that the virtual cohomological dimension of a Coxeter group is essentially the
regularity of the Stanley–Reisner ring of its nerve. Using this connection and techniques from
the theory of hyperbolic Coxeter groups, we study the behavior of the Castelnuovo–Mumford
regularity of square-free quadratic monomial ideals. We construct examples of such ideals
which exhibit arbitrarily high regularity after linear syzygies for arbitrarily many steps. We
give a doubly logarithmic bound on the regularity as a function of the number of variables if
these ideals are Cohen–Macaulay.

1. Introduction
The Castelnuovo–Mumford regularity captures the complexity of finitely generated graded
R-modules, where R = k[x1 , . . . , xn ] is a standard graded polynomial ring in n variables over a
field k. We focus on the case of modules of the kind R/I, where I is a homogeneous ideal of R.
A fundamental question is how big the regularity of R/I can be, when I ⊆ R is generated in
fixed degree. The following are some important results in this area.
i) For any d ≥ 2, Mayr and Meyer [MM82] provided ideals I ⊆ R generated in degrees
≤ d for which reg R/I is doubly exponential in the number of variables n, as explained
by Bayer and Stillman in [BS88].
n−2
ii) Caviglia and Sbarra showed in [CS05] that reg R/I ≤ (2d)2
provided I is generated
in degrees ≤ d.
iii) Ananyan and Hochster [AH16] proved that, if I is generated by r forms of degrees
≤ d, then projdim R/I ≤ φ(r, d) provided the characteristic of k is zero or larger than d
(here φ is a function not depending on the number of variables n). This solves Stillman’s
conjecture [PS09] in characteristic zero or bigger than d. By a result of Caviglia (see
for example [MS13, Theorem 2.4]), projective dimension can be equivalently replaced
by regularity in the above statement.
iv) McCullough and Peeva provided in [MP16] examples of homogeneous prime ideals p ⊆ R
such that reg R/p is not bounded by any polynomial function in the multiplicity. In
particular, this shows that the Eisenbud–Goto conjecture [EG84] is false.
v) Caviglia, McCullough, Peeva and the third named author noticed in [CMPV17] that,
if k is algebraically closed, there exists a function φ(e) bounding reg R/p from above
whenever p is a homogeneous prime ideal of multiplicity e.
Date: 26 April 2017.
2010 Mathematics Subject Classification. Primary: 13F55; 20F55; Secondary: 13D02.
1

2

A. CONSTANTINESCU, T. KAHLE, AND M. VARBARO

The Castelnuovo–Mumford regularity of R/I can be read off the graded Betti numbers βij
of R/I as reg R/I = max{j − i : βij 6= 0} (see Section 2.4 for preliminaries on commutative
n/10
algebra). The Mayr–Meyer ideals have the property that β2j 6= 0 for a certain j > d2
.
That is, their eventually high regularity is visible early in the resolution, indicating a possible
connection between different homological degrees. Part of the purpose of the present paper is to
shine further light on the possibilities for such connections. Specifically, we study the behavior
of the regularity in the case that the free resolution stays linear until a certain homological
degree. As an example for questions concerning the limit behavior of regularity consider the
following open problem.
Question 1.1. Is there a family of quadratically generated ideals {In ⊆ R = k[x1 , . . . , xn ]}n∈N
with linear syzygies such that
reg R/In
lim
>0 ?
n→∞
n
Following Green and Lazarsfeld [GL86, Section 3a], we say that, given an integer p ≥ 1, R/I
satisfies property Np if βij = 0 for all 1 ≤ i ≤ p and j 6= i + 1. So R/I satisfies property N1 if
and only if I is quadratically generated, it satisfies property N2 if and only if I is quadratically
generated and has linear first syzygies, and so on. The Green–Lazarsfeld index of R/I, denoted
by index R/I, is the largest p such that R/I satisfies Np where by convention, index R/I = ∞
if I has a 2-linear resolution, and index R/I = 0 if I is not quadratically generated. If I is a
Mayr–Meyer ideal, then its Green–Lazarsfeld index is at most one.
For all p ≥ 2 there exist families of homogeneous
ideals In ⊂ R such that R/In is a Koszul
√
algebra satisfying Np and limn→∞ (reg R/In )/ p n > 0 [ACI13, Section 6]. For monomial ideals,
the situation is much more rigid by the following result by Dao, Huneke and Schweig [DHS13]:
if I ⊂ R is a square-free monomial ideal such that R/I satisfies Np for some p ≥ 2, then


n−1
reg R/I ≤ log p+3
+ 2.
2
p
In particular, a family which gives a positive answer to Question 1.1 cannot consist of monomial
ideals. In Section 4 we derive a new doubly logarithmic bound when R/I is Cohen–Macaulay.
The main motivation for the present paper is the following question:
Question 1.2. Fix an integer p ≥ 2. Is there a bound r(p) (independent of n) such that
reg R/I ≤ r(p) for all monomial ideals I ⊂ R such that R/I satisfy Np ?
For p = 2, a negative answer has been given by the authors in [CKV16]. If R/I is Gorenstein,
the answer is positive by [CKV16, Theorem 4]. If R/I is Cohen–Macaulay, then the answer is
unknown (Question 4.4). In this paper we give a negative answer for arbitrary p and begin the
search for constructions that realize the negative answer with as few variables as possible.
These investigations lead us to the consideration of a connection between square-free monomial ideals and Coxeter groups. It starts from the observation that square-free monomial ideals
with property N2 correspond to right-angled hyperbolic Coxeter groups (see Section 2.3.1). The
study of the geometry and topology of such groups contains many ideas that we feel can be
useful for commutative algebra. In Section 5 we start to develop this connection, proving as a

LINEAR SYZYGIES, HYPERBOLIC COXETER GROUPS AND REGULARITY

3

cornerstone the following identity of homological invariants (Theorem 5.2).
(1)

vcd W = max {reg k[N ]},
char k

where W is a Coxeter group with nerve N (W ), vcd W is the virtual cohomological dimension
of W , and k[N (W )] is the Stanley–Reisner ring of the simplicial complex N (W ). As the
regularity of a Stanley–Reisner ring depends only on the characteristic of the field, the maximum
is taken over all possible characteristics, choosing one field for each.
We see (1) as a general tool to transfer results from Coxeter group theory to combinatorial
commutative algebra and vice versa. For example, when p = 2, Question 1.2 is equivalent to
the following question of Gromov:
Question 1.3. Is there a global bound on the virtual cohomological dimension of hyperbolic
right-angled Coxeter groups?
In fact, a right-angled Coxeter group W is hyperbolic if and only if k[N (W )] satisfies N2 . As
an immediate consequence of (1) and the bound of [DHS13] we get:
Corollary 1.4. If W is a hyperbolic right-angled Coxeter group with n generators, then


n−1
+ 2.
vcd W ≤ log 5
2
2
Gromov’s question had already been answered negatively in [JŚ03]. Later on, new examples
were constructed by Osajda in [Osa13b]. Let 2(∆) denote the face complex of a simplicial
complex ∆ (Definition 2.8). Exploiting ideas from Osajda’s construction and (1), we prove
Theorem 6.11. Let I = I∆ ⊆ R be a square-free quadratic monomial ideal. If char(k) = 0,
then there is a positive integer N and a square-free monomial ideal I 0 = I∆0 ⊆ R0 = k[y1 , . . . , yN ]
such that:
i) reg R0 /I 0 = reg R/I + 1;
ii) index R0 /I 0 = index R/I;
iii) For each vertex v of ∆0 , lk∆0 v = 2(∆) .
As a corollary, we get a negative answer to Question 1.2:
Corollary 6.12. For any positive integers p and r, there exists a square-free monomial ideal
I ⊆ R = k[x1 , . . . , xN (p,r) ], such that R/I satisfies Np and reg R/I = r.
The proofs of these statements are contained in Section 6. The crux of the corollary is that
the number of indeterminates N (p, r) depends on the desired r and p. In Section 7 we give an
explicit upper bound for the minimal number of variables in the corollary (Theorem 7.4).
The following Section 2 contains some preliminaries that we hope will be useful to readers not
already initiated in commutative algebra and geometric group theory. Section 3 gathers some
new homological properties of Stanley–Reisner rings inspired by the developments in this paper,
but potentially useful beyond. In Section 4 we prove a new doubly logarithmic upper bound
on the regularity of Stanley–Reisner rings of complexes with top homology and property Np
(Theorem 4.2), which yields the same bound for all Cohen–Macaulay Stanley–Reisner rings
with property Np (Corollary 4.3). Section 5 establishes the fundamental equality (1). Finally,
Sections 6 and 7 give Theorem 6.11 and an upper bound on the number of variables necessary
for arbitrary regularity with property Np (Theorem 7.4).

4

A. CONSTANTINESCU, T. KAHLE, AND M. VARBARO

Acknowledgement. Large parts of this research were carried out at Mathematisches Forschungsinstitut Oberwolfach within the Research in Pairs program. The work was continued
with support from the MIUR-DAAD Joint Mobility Program (Proj. n. 57267452).
2. Preliminaries
As this paper touches upon the somewhat separated topics of geometric group theory, commutative algebra, and combinatorics, we introduce some preliminaries first.
2.1. Cell complexes. A poset is a partially ordered set (P, ≤). For every element p ∈ P we
define the subposets P≤p = {q ∈ P : q ≤ p} and P≥p = {q ∈ P : q ≥ p}. We do not assume
that P is finite.
Definition 2.1. An (abstract) convex cell complex is a poset P that satisfies the following two
conditions:
i) For each p ∈ P, the subposet P≤p is isomorphic to the poset of faces of some finite
convex polytope (including the empty face).
ii) For any p1 , p2 ∈ P the poset P≤p1 ∩ P≤p2 contains a greatest element.
The elements of P are called faces, and the maximal elements are called facets. If each of
the convex polytopes in condition (i) are simplices (respectively cubes), then P is an abstract
simplicial complex (respectively an abstract cubical complex ).
Conditions (i) and (ii) imply that, if P 6= ∅, it has a unique minimal element 0̂, and a
well defined rank function. The minimal element corresponds to the empty face, and the rank
function defines the dimension of a face: dim(p) = rank(p) − 1. The 0-dimensional faces are
called vertices and the 1-dimensional faces are called edges. The 1-skeleton of a complex P is
the subposet of elements of rank at most 2. We also interpret faces as finite sets of vertices:
F = {rank 1 elements of P≤F }. In this interpretation, the partial order is inclusion of sets.
This way, a cell complex is a collection of finite subsets of a (possibly infinite) vertex set. A cell
complex is thus a simplicial complex if the collection is closed under taking subsets. We can
always speak of the cardinality of a face; however, the rank corresponds to the cardinality of
faces only for simplicial complexes. Nonfaces are collections of vertices which do not correspond
to any face. These can also be ordered by inclusion, and minimal nonfaces are well defined.
A convex cell complex is a cell if it has a unique maximal element F0 ; the boundary of the
cell is the poset
SP \ {F0 }. The subcomplex of P induced by a nonempty subset V of its vertex
set is P|V = p∈V P≥p ∪ {0̂}. Some authors use the term full subcomplex for our induced
subcomplexes. Not all subcomplexes are induced (e.g. the boundary of the triangle is not an
induced subcomplex of the triangle, but all edges are induced subcomplexes). A cell complex
is locally finite if P≥p is a finite poset for every 0̂ 6= p ∈ P.
Definition 2.2. Let P be an abstract convex cell complex and F ∈ P a face. The link lkP F
of F in P is the abstract convex cell complex P≥F .
Remark 2.3. If F is a vertex, Definition 2.2 yields what is commonly known as the spherical
link at the vertex. Here we prefer a combinatorial definition as we do not think of our complexes
as embedded in a metric space.

LINEAR SYZYGIES, HYPERBOLIC COXETER GROUPS AND REGULARITY

5

Remark 2.4. If P is a cubical or a simplicial complex, then every link is a simplicial complex.
If P is locally finite, then the link is a finite complex.
Example 2.5. The link of each vertex in the 3-dimensional cube is a triangle. The link of each
vertex of the octahedron is a square.
2.1.1. Simplicial complexes. It is easy to check that, for simplicial complexes, all the "usual"
definitions agree with the ones given above. A simplicial complex ∆ is flag, if all the minimal
nonfaces have cardinality two. Equivalently, no induced subcomplex is the boundary of a
simplex. For any integer k ≥ 3, the k-cycle is the 1-dimensional simplicial complex with vertex
set {vi }i=0,...,k−1 and edge set {{vi , vi+1(mod k) }}i=0,...,k−1 . The following property of simplicial
complexes is essential to this paper, as it has interpretations in both commutative algebra and
Coxeter group theory.
Definition 2.6. Let k ≥ 4 be an integer. A simplicial complex is k-large, if it is flag and does
not have any induced j-cycles for j < k.
A cubical or simplicial complex is locally k-large if all its vertex links are k-large. In the
literature, 5-largeness is sometimes referred to as flag-no-square or Siebenmann’s condition. We
stress here that all k-large complexes must be flag, and that an induced cycle contains no
diagonals.
Example 2.7. Let ∆ be the boundary of the octahedron, i.e. ∆ has vertex set {±vi }i=1,2,3
and eight 2-dimensional facets: {±v1 , ±v2 , ±v3 }. This complex is flag, because the minimal
nonfaces are {+vi , −vi }, but it is not 5-large, because the vertex subset {±v1 , ±v2 } induces
a 4-cycle. Adding the edges {+vi , −vi } for i = 1, 2, 3 to ∆, we obtain a simplicial complex
without induced 4-cycles, but it is not flag.
Definition 2.8. Let ∆ be a simplicial complex. The face complex 2(∆) is the simplicial complex
whose vertex set is the set of nonempty faces of ∆ and where F1 , . . . , Fs ∈ ∆ form a face of
2(∆) if and only they are all contained in a single face of ∆.
Example 2.9. The face complex of a d-simplex is the (2d+1 − 2)-simplex.
2.2. Coxeter groups. We use the notation from Davis’ book [Dav08]. A Coxeter system is
a pair (W, S) consisting of a finitely generated group W and a finite set of distinct generators
S = {s1 , . . . , sn }, all different from the identity, such that W is presented as
W = hs1 , . . . , sn : (si sj )mij = ei
for mij ∈ N ∪ {∞} with mii = 1, and mij ≥ 2 for i 6= j. The case mij = ∞ means no relation.
If a group has a presentation as above, then it is a Coxeter group, and S is a set of Coxeter
generators. The finite Coxeter groups have been classified by Coxeter [Cox35]. The matrix
M = (mij )ij is the Coxeter matrix of (W, S). If mij ∈ {1, 2, ∞}, then the Coxeter group (or
Coxeter system) is right-angled. The elements of S are letters, and the elements of W are words.
A special subgroup of W is a subgroup WT generated by a subset T ⊆ S of the Coxeter
generators. In particular, the trivial subgroup is special. By [Dav08, Theorem 4.1.6], (WT , T )
is a Coxeter system for all T ⊂ S. A subset T ⊆ S is spherical if WT is finite. In this case, WT
and the words in it are also called spherical. A spherical coset is a coset of a spherical subgroup.
All spherical cosets are finite. Clearly, being spherical is closed under taking subsets.

6

A. CONSTANTINESCU, T. KAHLE, AND M. VARBARO

Definition 2.10. The nerve N (W, S) of a Coxeter system (W, S) is the simplicial complex
consisting of the spherical sets ordered by inclusion.
The nerve of a Coxeter system is always a finite simplicial complex, with the Coxeter generators as vertices.
Remark 2.11. There is a one-to-one correspondence between right-angled Coxeter groups and
flag simplicial complexes given as follows. Every flag simplicial complex ∆ is the nerve of a
right-angled Coxeter group W(∆): the off-diagonal entries of the Coxeter matrix of W(∆) are
mij = 2 whenever {i, j} ∈ ∆ and mij = ∞ otherwise. Conversely, if (W, S) is right-angled, and
T ⊆ S, such that any two elements are connected by an edge in the nerve, then WT ∼
= (Z/2Z)|T | .
Remark 2.12. In a right-angled Coxeter group a word is spherical if and only if it can be
written with letters that commute pairwise. In particular, if the presentation is reduced (i.e. no
subword is equal to the word), then each letter appears at most once.
Example 2.13. Not every simplicial complex is the nerve of a Coxeter system. The smallest
counterexample occurs on five vertices and is given by the complex with facets {123, 145, 245,
345}. This can be confirmed using the classification of finite Coxeter groups.
Definition 2.14. The Davis complex of a Coxeter system (W, S) is the cell complex Σ(W, S)
given by the poset of spherical cosets.
Remark 2.15. The link of any vertex w of Σ(W, S) is the poset of spherical cosets wWT for
all spherical subsets T . It is thus isomorphic to the nerve N (W, S).
Remark 2.16. Davis and Januszkiewicz have discovered a link between Stanley–Reisner theory
and Coxeter groups that is different from the developments in our paper. The cohomology ring
H ∗ (W, F2 ) is isomorphic to the Stanley–Reisner ring F2 [N(W, S)]. However, this connection is
a characteristic two phenomenon, as otherwise the product in the cohomology ring need not be
commutative. See [DJ91, Theorem 4.11].
2.3. Geometric group theory. Let Γ be a simple graph on a (possibly infinite) vertex set V .
Given two vertices v, w ∈ V , a path e from v to w is a subset {v = v0 , v1 , v2 , . . . , vk = w} ⊆ V ,
such that {vi , vi+1 } is an edge for all i = 0, . . . , k − 1. The length of a path is `(e) = k. The
distance between v and w is
d(v, w) := min{`(e) : e is a path from v to w}.
If W ⊂ V is a set of vertices, then d(v, W ) := min{d(v, w), w ∈ W }. A path e from v to w is
a geodesic path if `(e) = d(v, w). A geodesic triangle of vertices v1 , v2 , and v3 consists of three
geodesic paths ei from vi to vi+1(mod 3) for i = 1, 2, 3. For a real number δ ≥ 0, a geodesic
triangle e1 , e2 , e3 is δ-slim if d(v, ei ∪ ej ) ≤ δ for all v ∈ ek and {i, j, k} = {1, 2, 3}. The graph
Γ is δ-hyperbolic if each geodesic triangle of Γ is δ-slim, and hyperbolic if it is δ-hyperbolic for
some δ ≥ 0.
2.3.1. Hyperbolic groups. Let G be a group and S a set of distinct generators of G, not containing
the identity. The Cayley graph Cay(G, S) is the simple graph with vertex set G and edges
{g, gs} for all g ∈ G and s ∈ S. For example, the vertices of the Davis complex Σ(W, S) of
a Coxeter system (W, S) are the elements of W and the edges are the cosets of the spherical

LINEAR SYZYGIES, HYPERBOLIC COXETER GROUPS AND REGULARITY

7

subgroups Wsi . Therefore the 1-skeleton of Σ(W, S) is the Cayley graph of (W, S). Gromov
proved that if Cay(G, S) is hyperbolic for some finite set of generators S then it is hyperbolic
for any finite set of generators S [Dav08, Theorem 12.3.5].
This justifies the definition of hyperbolic groups in the following way.
Definition 2.17. A group G is hyperbolic if Cay(G, S) is a hyperbolic graph for some (equivalently for any) finite set of generators S.
It is easy to check that Z2 is not hyperbolic. Therefore, if G contains Z2 as a subgroup, then
G cannot be hyperbolic. By work of Moussong, for a Coxeter group (W, S) this can be reversed:
W is hyperbolic ⇐⇒ Z2 6⊂ W .
Combining results of Siebenmann [Dav08, Lemma I.6.5] and Moussong [Dav08, Lemma 12.6.2],
if (W, S) is right-angled then
W is hyperbolic ⇐⇒ N (W, S) has no induced 4-cycles.

(2)

2.3.2. Cohomological dimension. The cohomological dimension of a group G is
cd G = sup{n : H n (G; M ) 6= 0 for some ZG-module M },
where H n (G; M ) is the n-th group cohomology of G with values in M (see [Dav08, Appendix F]
for equivalent definitions and some properties). If G has nontrivial torsion, then cd G = +∞
(see [Dav08, Lemma F.3.1]). Therefore the notion is not interesting for groups with torsion,
but this can be rectified. A group G is virtually torsion-free if it has a finite index subgroup
which is torsion-free. It follows from a result of Serre [Dav08, Theorem F.3.4] that, if Γ and Γ0
are two finite index torsion-free subgroups of G, then cd Γ = cd Γ0 . Thus the following notion
is well-defined.
Definition 2.18. Let G be a virtually torsion-free group, and Γ some (equivalently any) finite
index torsion-free subgroup of G. The virtual cohomological dimension of G is
vcd G = cd Γ.
Each nontrivial Coxeter group has torsion but, admitting a faithful linear representation (see
[Dav08, Corollary D.1.2]), it is virtually torsion-free. Thus the virtual cohomological dimension
is always well-defined for a Coxeter group. By [Dav08, Corollary 8.5.5], and using [Mun84,
Lemma 70.1] to avoid geometric realizations, the vcd of a Coxeter group (W, S) can be read off
the nerve N (W, S), namely:
(3)

e i−1 (N (W, S) \ σ; Z) 6= 0 for some σ ∈ N (W, S)},
vcd W = max{i : H

e i denotes the reduced simplicial
where N (W, S) \ σ is the restriction of N (W, S) to S \ σ, and H
cohomology modules.
2.4. Commutative Algebra. Let n be a positive integer, R = k[x1 , . . . , xn ] the polynomial
ring in n variables over a field k, and m = (x1 , . . . , xn ) its irrelevant ideal. Any quotient R/I
by some homogeneous ideal I ⊆ R has a minimal graded free resolution.
M
M
M
0→
R(−j)βkj → · · · →
R(−j)β2j →
R(−j)β1j → R → R/I → 0.
j∈Z

j∈Z

j∈Z

8

A. CONSTANTINESCU, T. KAHLE, AND M. VARBARO

The Betti number βij is the number of minimal generators of degree j of the free module in
homological degree i in the resolution. It is independent of the particular minimal resolution
and can be computed as βi,j (R/I) = dimk Tori (R/I, k)j .
Definition 2.19. The Castelnuovo–Mumford regularity of R/I is
reg(R/I) = max{j − i : βi,j (R/I) 6= 0}
If Hmi denotes local cohomology with support in m, [Eis95, Proposition 20.16] and Grothendieck
duality imply reg(R/I) = max{j + i : Hmi (R/I)j 6= 0},
Definition 2.20. For any positive integer p, the k-algebra R/I satisfies property Np if:
βi,j (R/I) = 0 ∀ i = 1, . . . , p and j 6= i + 1.
Definition 2.21. Let ∆ be a finite simplicial complex with vertex set [n] = {1, . . . , n}. The
Stanley–Reisner ring of ∆, denoted by k[∆], is the quotient of R by the square-free monomial
ideal
Y
I∆ = (
xi : A ⊆ [n] and A ∈
/ ∆).
i∈A

The ideal I∆ is the Stanley–Reisner ideal of ∆.
There is a one-to-one correspondence between simplicial complexes and ideals generated by
square-free monomials. From the definition it follows that a simplicial complex is flag if and
only if its Stanley–Reisner ideal is quadratic. The Np property for Stanley–Reisner rings was
characterized combinatorially in [EGHP05, Theorem 2.1]:
Theorem 2.22. The Stanley–Reisner ring k[∆] satisfies Np if and only if ∆ is (p + 3)-large.
The Castelnuovo–Mumford regularity of k[∆] can be computed from the reduced singular
cohomology of either induced subcomplexes or links of ∆. More precisely, Hochster’s formula
for graded Betti numbers [MS05, Corollary 5.12] gives
e i−1 (∆|A ; k) 6= 0 for some A ⊆ [n]}.
(4)
reg k[∆] = max{i : H
On the other hand, by Hochster’s formula for local cohomology [MS05, Theorem 13.13]:
e i−1 (lk∆ σ; k) 6= 0 for some σ ∈ ∆}.
(5)
reg k[∆] = max{i : H
3. Homological remarks on Stanley–Reisner rings
In this section, ∆ is a d-dimensional simplicial complex on n vertices, and a face of ∆ is
identified with its set of vertices. We use some standard algebraic topology (see for example
[Mun84, §5]). For r ≤ d let Cr (∆; k) be the k-vector space spanned by the r-dimensional faces
of ∆. Let ∂r : Cr (∆; k) → Cr−1 (∆; k) be the boundary operator and Zr (∆; k) = Ker ∂r the
subspace spanned by the cycles in Cr (∆; k). Also write Br (∆; k) = im ∂r+1 for the subspace
spanned by the boundaries in Cr (∆; k). An r-cycle C is nontrivial if C ∈
/ Br (∆; k). A nontrivial
0
r-cycle C is vertex-minimal if there is no nontrivial r-cycle C with V (C 0 ) ( V (C), where for
P
C = li=1 ci Fi ∈ Cr (∆; k) we set V (C) = ∪li=1 Fi . For every v ∈ V (C) define
X
Cv =
ci (Fi \ v) ∈ Cr−1 (lk∆ v; k).
Fi 3v

LINEAR SYZYGIES, HYPERBOLIC COXETER GROUPS AND REGULARITY

9

If C
faces containing v sum to zero when applying ∂,
P∈ Zr (∆; k), then all codimension one
P
2
so ∂( Fi 3v ci Fi ) = Cv ; therefore ∂(Cv ) = ∂ ( Fi 3v ci Fi ) = 0 in Cr−2 (∆; k) and thus, since the
differentials of (Ci (lk∆ v; k))i are just the restrictions of the differentials of (Ci (∆; k))i , we get
Cv ∈ Zr−1 (lk∆ v; k).
P
Lemma 3.1. Let C = li=1 ci Fi be a nontrivial r-cycle in ∆ and v ∈ V (C) a vertex.
i) If r = d, then Cv is a nontrivial (d − 1)-cycle in lk∆ v.
ii) If C is vertex-minimal, then Cv is a nontrivial (r − 1)-cycle in (lk∆ v)|V (C) .
Proof. i) is clear. For ii), it is harmless to assume that, in the linear order given to the vertices
of ∆, v comes first in V (C). Assume there exists Bv = b1 G1 + . . . + bs Gs with bi ∈ k, such
that the Gi are r-dimensional faces in (lk∆ v)|V (C) and ∂(Bv ) = Cv . Consider the k-linear
combination of (r + 1)-faces in ∆ defined as B = b1 (G1 ∪ v) + . . . + bs (Gs ∪ v). Then
X
∂(B) = −
ci Fi + Bv .
Fi 3v

So A = C + ∂(B) is a nontrivial r-cycle of ∆ (otherwise C would be trivial). However, v ∈
/
V (A) ⊂ V (C) – a contradiction.

Proposition 3.2. There exists a vertex v ∈ ∆ such that
reg k[lk∆ v] ≥ reg k[∆] − 1.
Proof. Let V 0 be a subset of the vertex set of ∆ such that Γ = ∆|V 0 has nontrivial rth homology
with coefficients in k, where reg k[∆] = r + 1. Let C be a vertex-minimal nontrivial r-cycle
of Γ. By Lemma 3.1 ii), Cv is a nontrivial (r − 1)-cycle in (lkΓ v)|V (C) , for all v ∈ V (C). Since
(lkΓ v)|V (C) = (lk∆ v)|V (C) , the proposition follows.

√
Proposition 3.3. If I ⊆ R is a homogeneous (not necessarily monomial) ideal such that I is
a square-free monomial ideal, then for any i ∈ N, j ∈ Z the map of k-vector spaces
√
Hmi (R/I)j → Hmi (R/ I)j
√
√
is surjective. In particular, reg R/ I ≤ reg R/I and projdim R/ I ≤ projdim R/I.
Proof. LetpA denote R/I localized at m. If char k > 0, then the quotient by the nilradical
Ared = A/ (0) is F -pure. By [Sch09, Theorem 6.1], in characteristic zero, Ared is DuBois.
So in each case, by [MSS16, Lemma 3.3, Remark 3.4] the map
√
i
i
(Ared ) = Hmi (R/ I)
Hmi (R/I) = HmA
(A) → HmA
is surjective for any i ∈ N. Since the above map is homogeneous we conclude.



Given two polynomial rings R = k[x1 , . . . , xn ] and R0 = k[y1 , . . . , ym ], a map of k-algebras
f : R → R0 is a monomial map if f (xi ) is a monomial in {y1 , . . . , ym } for all i = 1, . . . , n.
Lemma 3.4. If f : R → R0 is a monomial map and I ⊆ R is a monomial ideal, then
p
projdim R0 / f (I)R0 ≤ projdim R/I.

10

A. CONSTANTINESCU, T. KAHLE, AND M. VARBARO

√
√
Proof. Since I is a square-free monomial ideal, projdim R/I ≥ projdim R/ I by Proposition 3.3. By a classical
result of Lyubeznik (see the main theorem of [Lyu84]) the projective
√
dimension of R/ I equals cd(R, I), the cohomological dimension of I. Since the computation
of local cohomology is independent of the base ring [BS13, p
Theorem 4.2.1], cd(R0 , f (I)R0 ) ≤
cd(R, I). Again using [Lyu84], cd(R0 , f (I)R0 ) = projdim R0 / f (I)R0 .

Proposition 3.5. If 2(∆) is the face complex of ∆, then reg k[∆] = reg k[2(∆) ].
Proof. Clearly reg k[∆] ≤ reg k[2(∆) ] by Definition 2.8 and (4). Let Γ and Γ0 be the Alexander
duals of, respectively, ∆ and 2(∆) . Then, by the Eagon–Reiner theorem [MS05, Theorem 5.63],
projdim k[Γ] − 1 = reg k[∆] and projdim k[Γ0 ] − 1 = reg k[2(∆) ]. It can be checked that IΓ is the
following ideal of R = k[x1 , . . . , xn ]:
Y
IΓ = (
xi : τ is a facet of ∆).
i∈[n]\τ

For IΓ0 ⊆

R0

= k[yσ : σ ∈ ∆] it holds that
Y
IΓ0 = (
yσ : τ is a facet of ∆).
σ∈∆
σ6⊆τ
f

The map R −
→ R0 defined by xi 7→

Y

yσ gives IΓ0 =

p
f (IΓ )R0 , so that the result follows

σ∈∆,i∈σ



from Lemma 3.4.
4. Regularity from top homology

The main result of this section is an improvement of the [DHS13] bound in the case that ∆
is a Cohen–Macaulay complex. In this case, a doubly logarithmic bound for the regularity as a
function of the number of vertices is possible (Corollary 4.3). The underlying Theorem 4.2 uses
similar techniques as the proof of [CKV16, Theorem 7]. We use the following technical lemma,
the proof of which is a routine computation using the inequality (i − 1)(i + 1) < i2 several times.
Lemma 4.1. For any integer k ≥ 3 we have
k−3
Y

i

k−3

(k − i)2 < 122

.

i=0

Theorem 4.2. Let ∆ be a simplicial complex of dimension d on n vertices that is (p + 3)-large
for some p ≥ 2, and has nontrivial top homology. If fi (∆) is the number of i-dimensional faces
of ∆, then
2d−2
 2
2d−3
 2
p + 6p + 9
p + 6p + 9
fd (∆) >
and
f0 (∆) >
.
12
12
Proof. For every d-dimensional simplicial complex ∆ with nontrivial top homology we define
vd (∆) = min{number of vertices in a top-dimensional cycle in ∆},
sd (∆) = min{number of facets in a top-dimensional cycle in ∆}.

LINEAR SYZYGIES, HYPERBOLIC COXETER GROUPS AND REGULARITY

11

Minimizing over all d-dimensional (p + 3)-large complexes with nontrivial top homology, let
vd = min{vd (∆) : ∆ (p + 3)-large, with nontrivial top homology},
sd = min{sd (∆) : ∆ (p + 3)-large, with nontrivial top homology}.
This implies in particular that v1 = s1 = p + 3.
Fix a complex ∆ satisfying the hypotheses of the theorem. Let C ∈ ∆ be a top-dimensional
cycle with sd (∆) facets. For every vertex v ∈ C, the link lk∆ v is a (d−1)-dimensional simplicial
complex with nontrivial top homology by item i) in Lemma 3.1. Furthermore, lk∆ v is (p + 3)large. Counting codimension one faces in ∆|V (C) with multiplicity, we get:
sd (∆) ≥

X
1
sd−1 (lk∆|V (C) v).
d+1
v∈V (C)

Fix v ∈ V (C). Every facet F of the link of v in ∆|V (C) is contained in at least two facets of
C only one of which can contain v. Thus, a map associating to F ∈ lk∆|V (C) v a vertex w 6= v,
with F ∪ {w} ∈ ∆ is well defined:
Φv : F(lk∆|V (C) v) −→ V (∆) \ V (star∆|V (C) v).
We claim that Φv is injective. To see this, let F1 , F2 ∈ F(lk∆|V (C) v) be distinct faces such that
F1 ∪ {w} and F2 ∪ {w} are faces of ∆. Since ∆ is flag, there exist v1 ∈ F1 and v2 ∈ F2 such that
v, v1 , w, v2 , v is a 4-cycle and {v1 , v2 } ∈
/ ∆. Since lk∆|V (C) v is flag, also {v, w} ∈
/ ∆. Because
of this contradiction, Φv is injective. The injectivity yields vd (∆) ≥ sd−1 + vd−1 + 1 and then,
putting together the above inequalities,
sd >

s2d−1
,
d+1

vd > sd−1 .

Now, since s1 = p + 3,
d−1

(p + 3)2

sd > Qd−2

i=0 (d

+ 1 − i)2i

.

Finally, by Lemma 4.1,
d−1

(p + 3)2
fd (∆) ≥ sd >
122d−2


=

p2 + 6p + 9
12

2d−2
.



Corollary 4.3. Let I ⊆ R be a square-free monomial ideal such that R/I is a Cohen-Macaulay
ring satisfying property Np , for p ≥ 2. Then
reg R/I ≤ log2 log p2 +6p+9 n + 3.
12

Proof. Let ∆ be a simplicial complex on n vertices such that I = I∆ . By Hochster’s formula
for local cohomology [MS05, Theorem 13.13],
e i−1 (lk∆ σ; k) 6= 0 : σ ∈ ∆}.
reg k[∆] = max{i : H

12

A. CONSTANTINESCU, T. KAHLE, AND M. VARBARO

Let σ ∈ ∆ attain the maximum. Because ∆ is Cohen-Macaulay, lk∆ σ has nontrivial top
homology. Therefore reg k[∆] − 1 = dim lk∆ σ =: d. Since ∆ is (p + 3)-large, so is lk∆ σ. Hence
by Theorem 4.2
2d−3
 2
p + 6p + 9
n ≥ f0 (lk∆ σ) >
12
and the conclusion follows.

Corollary 4.3 motivates to ask Question 1.2 again with a Cohen–Macaulay restriction. In
this case the answer is not known.
Question 4.4. Fix an integer p ≥ 2. Is there a global bound r(p) (independent of n) such
that reg R/I ≤ r(p) for all monomial ideals I ⊂ R for which R/I satisfies Np and is Cohen–
Macaulay?
5. Virtual cohomological dimension meets regularity
The main theorem of this section establishes a new connection between Coxeter groups and
commutative algebra. Its proof is by a cohomology computation using two spectral sequences
associated to a double complex. A reference and our source of notation is [GM03, Chapter III].
Fix a ring A. For any finite double complex L = (Lp,q )(p,q)∈N2 of A-modules, there are two
spectral sequences both converging to the cohomology of the diagonal complex SL of L, whose
entries are SLn = ⊕p+q=n Lp,q . We denote these spectral sequences by (IErp,q ) and (IIErp,q ).
Both converge to IE k = IIE k = H k (SL). By [GM03, III.7, Proposition 10], IE2p,q is isomorphic
•,q
to HIp (HII
(L•,• )) (vertical cohomology of horizontal cohomology), while IIE2p,q is isomorphic
q,•
p
to HII (HI (L•,• )) (horizontal cohomology of vertical cohomology).
For alignment with existing notation it is convenient to let ∆ be a simplicial complex with
n + 1 vertices V = {0, . . . , n}. For any s < n and any i ∈ {0, . . . , s}, denote by ∆i = ∆|V \{i} .
For any sequence of integers 0 ≤ a0 < . . . < ap ≤ s, let
∆

a0 ,...,ap

=

p
\

∆ak .

k=0

∆a0 ,...,ap

Then
equals the induced subcomplex ∆|V \{a0 ,...,ap } . The first notation, however, is
more natural in following. For example, if {0, . . . , s} is not a face of ∆, then {∆i }i=0,...,s
forms a closed cover of ∆, that is ∪si=0 ∆i = ∆. Denote by C• (∆, A) the cochain complex of a
simplicial complex ∆ with coefficients in the ring A. Consider the double complex of A-modules
C(A) = (C p,q (A))(p,q)∈N2 with
M
(6)
C p,q (A) =
Cq (∆a0 ,...,ap ; A),
0 ≤ p ≤ s, 0 ≤ q ≤ dim ∆.
a0 <...<ap

where the direct sum runs over all sequences of p+1 integers 0 ≤ a0 < . . . < ap ≤ s. Throughout
we use the standard convention that all modules with indices outside of defined bounds are zero.
The vertical maps C p,q (A) →
− C p,q+1 (A) are just the maps defined for each direct summand in
a
the cochain complex C(∆ 0 ,...,ap , A). The rows
(7)

d1

d2

ds−1

ds

0 → C 0,• (A) −→ C 1,• (A) −→ · · · −−−→ C s−1,• (A) −→ C s,• (A) → 0,

LINEAR SYZYGIES, HYPERBOLIC COXETER GROUPS AND REGULARITY

13

are defined by mapping an element α = (αa0 ,...,ap )a0 <...<ap ∈ C p,q (A), to dp+1 (α) ∈ C p+1,q (A),
whose (b0 , . . . , bp+1 )th component is
p+1
X



(−1)k αb0 ,...,bb ,...,bp+1
k

k=0

Cq (∆b0 ,...,bp+1 )

.

A routine computation confirms that this defines a double complex. The vertical cohomology is
by definition the direct sum of the cohomologies of the corresponding ∆a0 ,...,ap . The horizontal
cohomology is nontrivial only in cohomological degree 0 according to the following lemma,
whose proof is standard.
Lemma 5.1. For each q ∈ {0, . . . , dim ∆} we have
(
Cq (∪i ∆i ; A)
p •,q
H (C (A)) =
0

if p = 0,
if p > 0.

Theorem 5.2. Let (W, S) be a Coxeter group and N its nerve. Then
vcd W = max {reg k[N ]}.
char k

Proof. In Section 2, equations (3) and (4) present interpretations of both invariants in terms of
the reduced simplicial cohomology of N , namely
e i−1 (N |S\σ ; Z) 6= 0 for some σ ∈ N },
vcd W = max{i : H
e i−1 (N |U ; k) 6= 0 for some U ⊆ S}.
reg k[N ] = max{i : H
Therefore the result is a consequence of the following claim.
Claim. Let ∆ be a simplicial complex on V = {0, . . . , n} and A be a ring. Then
(8)

max{i : H i (∆|V \σ ; A) 6= 0 for some σ ∈ ∆} =
= max{i : H i (∆|V 0 ; A) 6= 0 for some V 0 ⊆ V }.

Clearly the left-hand side is less than or equal to the the right-hand side. To see that equality
holds, let r be the maximum on the right and choose V 0 ⊆ V such that H r (∆|V 0 ; A) 6= 0. If
V \ V 0 ∈ ∆ we have nothing to prove, so assume that V \ V 0 ∈
/ ∆ (in particular |V \ V 0 | ≥ 2).
i
We can (and will) also assume that H (∆|U ; A) = 0 for all i ≥ r and V 0 ( U ⊆ V .
After a potential renumbering we can assume that V \V 0 = {0, . . . , s}. For any i ∈ {0, . . . , s},
let ∆i = ∆|V \{i} and consider the double complex defined in (6). By Lemma 5.1 (IErp,q ) stabilizes
at the second page and
p,0
H p (∪si=0 ∆i ; A) = IE2p,0 = IE∞
= IE p .

Since {0, . . . , s} is not a face of ∆, we have ∆ = ∪si=0 ∆i . Now consider the spectral sequence (IIErp,q ). From the maximality assumption on V 0 it follows that
H r (∆|V 0 ; A) = H r (∆0,...,s ; A) =
0

0

E2r,s .

II

In particular, if r0 > r or s0 > s, then IIE2r ,s = 0, since it is a subquotient of
M
0
H r (∆a0 ,...,as0 ; A) = 0.
0≤a0 <...<as0 ≤s

14

We have IIE2r,s =

A. CONSTANTINESCU, T. KAHLE, AND M. VARBARO
IIE r,s
∞

=

IIE r+s

from which we conclude that

H r+s (∆; A) = IE r+s =

II

E r+s = H r (∆|V 0 ; A) 6= 0.

Since s > 0 (because |V \ V 0 | ≥ 2), we obtain a contradiction to the maximality of r and V 0 . 
6. Arbitrary large regularity with property Np
We now prove Theorem 6.11. To this end, for each k-large simplicial complex ∆ we construct a
k-large simplicial complex S(∆, k) such that, in characteristic zero, reg k[S(∆, k)] = reg k[∆] + 1
(Lemma 6.6). This uses a construction based on a detour through geometric group theory and
is inspired by the work of Osajda [Osa13b, Section 4].
We need to make a few definitions. The first turns a cell complex into a simplicial complex.
Definition 6.1. The thickening of a convex cell complex P is the simplicial complex Th(P),
with the same vertex set as P, obtained by turning all cells into simplices. In particular,
{v1 , . . . , vs } is a face of Th(P), if there is a face of P that contains {v1 , . . . , vs }.
Example 6.2. The thickening of the d-dimensional cube is the (2d − 1)-simplex.
The thickening induces a distance between the vertices of a convex cell complex that counts
the minimal number of maximal cells one needs to pass to get from one vertex to another.
Namely, for two vertices v, w ∈ P, the distance d(v, w) is the length of a shortest path connecting
v and w in the 1-skeleton of the thickening Th(P).
A step in our construction is taking a finite quotient of an infinite cubical complex. We
clarify here how this is intended. Let G be a group acting on the vertex set V (P) of a convex
cell complex P such that for every face F = {v1 , . . . , vk } ∈ P and every g ∈ G we have
g · F = {g · v1 , . . . , g · vk } ∈ P.
This induces an action of G on P. The displacement of the action of G on P is the minimum
distance between the elements in the orbit of a vertex. We can take the quotient P/G, which
is in general only a set.
Remark 6.3. If the displacement of the action is at least 2, then P/G is a poset with the
c0 ⊆ Fb if there exists g ∈ G such that g · F 0 ⊆ F . If the displacement of the
inclusion given by F
action is at least 3, then P/G is a convex cell complex.
An example of such a group action is that of the subgroup of some Coxeter group on the
vertices of the Davis complex. In this case the displacement of the action coincides with the
displacement of the subgroup as defined below.
Definition 6.4. Let W be a Coxeter group. The displacement of an element w ∈ W is
the distance d(e, w) of w to the identity in the (1-skeleton of the) thickening Th(Σ). The
displacement of a subgroup H ⊂ W is the minimal displacement among its nontrivial elements.
Let ∆ be a k-large simplicial complex for an integer k ≥ 4. We introduce an iterative
construction which produces a new k-large simplicial complex S(∆, k). It works as follows.
(1) Let W be the right-angled Coxeter group with nerve ∆.
(2) Let Σ be the Davis complex of W .
(3) Let Y = Th(Σ) be the thickening of Σ.

LINEAR SYZYGIES, HYPERBOLIC COXETER GROUPS AND REGULARITY

15

(4) Pick a torsion-free finite index subgroup H ⊂ W with displacement at least k.
(5) Let S(∆, k) be the quotient Y /H.
Since ∆ is flag, there is a right-angled Coxeter group W(∆) as described in Remark 2.11. The
group H in 4 exists because W is virtually torsion free [Dav08, Corollary D.1.4] and residually
finite [Dav08, Section 14.1]. In Section 7, we take a constructive approach and find a concrete
H using representations of W in GLn (Z). The resulting complex S(∆, k) evidently depends on
the choice of H in step 4. However, the desired properties of S(∆, k), such as Lemma 6.6, do
not depend on this choice.
Lemma 6.5. In the above situation, 2(∆) = lkS(∆,k) v for any vertex v.
Proof. After unraveling definitions, it is visible that if Σ is a cubical complex and v ∈ Σ is a
vertex, then 2(lkΣ v) = lkTh(Σ) v. If Σ is the Davis complex of a right-angled Coxeter group with
nerve ∆, then by Remark 2.15, lkΣ v = ∆ for any vertex v ∈ Σ.

Lemma 6.6. If k is a field of characteristic zero and k ≥ 4, then reg k[S(∆, k)] = reg k[∆] + 1.
Proof. By the previous lemma 2(∆) = lkS(∆,k) v for any vertex v, and by Proposition 3.2 there
exists a vertex v such that reg k[lkS(∆,k) v] ≥ reg k[S(∆, k)] − 1. Since reg k[2(∆) ] = reg k[∆] by
Proposition 3.5, it follows that reg k[S(∆, k)] ≤ reg k[∆] + 1.
To show reg k[S(∆, k)] ≥ reg k[∆] + 1, let X = Σ/H. Then S(∆, k) is the thickening of X.
By Hochster’s formula for graded Betti numbers and (8), we have that
e i−1 (∆ \ σ; k) 6= 0 for some σ ∈ ∆}.
reg k[∆] = max{i : H
e r−1 (∆ \ σ; k) 6= 0. From now on the argument
Let r = reg k[∆], and fix σ ∈ ∆ for which H
goes on the same lines of the proof leading to [Osa13a, Lemma 4.5]. With the same notation
used there, ∆ \ σ deformation retracts onto K S\σ , where K is the subcomplex of Σ induced by
the spherical words (including the identity) and, for any subset of generators T ⊆ S, K T is the
subcomplex induced by the spherical words containing some element of T . So we have
e r (K, K S\σ ; k) 6= 0.
H
Osajda produces a map of k-vector spaces from the cocycles Z r (K, K S ; k) to the cocycles
Z r (X; k). This uses the assumption char(k) = 0. One can check that the same rule defines a
map of k-vector spaces Z r (K, K S\σ ; k) → Z r (X \ A; k), where A = {wσ
c : w ∈ W } and wσ
c is
the class in X of wσ ∈ Σ. By the same argument used in [Osa13a, Lemma 4.5], the above map
induces an injection
e r (K, K S\σ ; k) ,→ H
e r (X \ A; k),
H
e r (X \ A; k) is not zero. By [Mun84, Lemma 70.1], H
e k (X \ A; k) ∼
e r (XB ; k),
in particular H
=H
where B are the vertices of X which are not in wσ
c for any w ∈ W . Finally, the thickening of
XB is exactly S(∆, k)B , so
e r (S(∆, k)B ; k) 6= 0.
H
By Hochster’s formula for graded Betti numbers reg k[S(∆, k)] ≥ r + 1.

Remark 6.7. In the definition of cohomological dimension, Z could be replaced by a field k
of characteristic zero. The resulting notion of virtual rational cohomological dimension vcdQ W
of a virtually torsion free group W does not depend on the choice of the field. This notion

16

A. CONSTANTINESCU, T. KAHLE, AND M. VARBARO

however, differs from virtual cohomological dimension. Lemma 6.6, together with Hochster’s
formula for graded Betti numbers and (8), implies that
vcdQ W(S(∆, k)) = vcdQ W(∆) + 1.
This conclusion for vcd does not follow from Lemma 6.6 because of the assumptions on k.
Lemma 6.8. If a cubical complex is locally k-large, then its thickening is locally k-large.
Proof. Let Σ be a locally k-large cubical complex. As in the proof of Lemma 6.5, each vertex
link lkTh(Σ) v is equal to 2(lkΣ v) . By a result of Haglund, a simplicial complex is k-large if and
only if its face complex is k-large [JŚ10, Proposition B.1].

A proof of the Lemma 6.8 also appears in [Osa13a, Lemma 6.7].
Lemma 6.9. Let Σ be the Davis complex of W(∆), where ∆ is k-large for k ≥ 4. Then Th(Σ)
is k-large.
Proof. The Davis complex Σ is a deformation retract of its thickening Th(Σ) and in particular
has the same homotopy type. Therefore Th(Σ) is simply connected. By Lemma 6.8 Th(Σ) is
locally k-large. According to [JŚ06, Corollary 1.5], a simplicial complex is k-large if and only
if all links are k-large and the systole (the length of the shortest non-contractible loop in the
complex) is at least k. Since there are no non-contractible loops, the proof is complete.

When forming the quotient of the thickening of the Davis complex modulo the finite-index
torsion-free subgroup H ⊂ W in step 5 of the construction, cycles are created. The quotient by
a group of displacement k creates cycles of length k. By Remark 6.3, k ≥ 4 implies the quotient
is simplicial complex.
Lemma 6.10. Let Σ be the Davis complex of W(∆), where ∆ is k-large for k ≥ 4. If H ⊂ W(∆)
is a torsion-free subgroup of displacement at least k, then Th(Σ)/H is k-large.
Proof. If C ∈ Th(Σ)/H is a cycle of length l < k, then it consists of disjoint orbits and thus
there is a cycle of length l in Th(Σ). This is impossible since by Lemma 6.9 Th(Σ) is k-large. 
We are now ready to prove the two main results of this section.
Theorem 6.11. Let I = I∆ ⊆ R = k[x1 , . . . , xn ] be a square-free quadratic monomial ideal. If
the characteristic of k is zero, then there exists a positive integer N and a square-free monomial
ideal I 0 = I∆0 ⊆ R0 = k[y1 , . . . , yN ] such that:
i) reg R0 /I 0 = reg R/I + 1;
ii) index R0 /I 0 = index R/I;
iii) For each vertex v of ∆0 , lk∆0 v = 2(∆) .
Proof. Let p = index R/I. Since I = I∆ is quadratic, p ≥ 1. Let ∆0 = S(∆, p + 3). The first
item is Lemma 6.6. The third item is Lemma 6.5. For the second item, Lemma 6.9 implies that
index R0 /I 0 ≥ p. If index R0 /I 0 > p, then index k[2(∆) ] > p since if there are no induced (p + 3)cycles, then no link in ∆ has an induced (p + 3)-cycle. Furthermore, by [JŚ10, Proposition B.1],
index k[2(∆) ] = index k[∆] = index R/I.

Corollary 6.12. For any positive integers p and r, there exists a square-free monomial ideal
I ⊆ R = k[x1 , . . . , xN (p,r) ], such that R/I satisfies Np and reg R/I = r.

LINEAR SYZYGIES, HYPERBOLIC COXETER GROUPS AND REGULARITY

17

Proof. Let ∆2 be the (p + 3)-cycle, and inductively ∆r = S(∆r−1 , p + 3). Then ∆r satisfies
the conditions of the corollary if char k = 0. To see that the construction is independent of
the field, assume that for some k, reg k[∆r ] > reg Q[∆r ]. By Lemma 6.5, Proposition 3.2, and
Proposition 3.5, reg k[∆r−1 ] > reg Q[∆r−1 ] and inductively reg k[∆2 ] > reg Q[∆2 ] which is not
the case.

Remark 6.13. In [JŚ06, Corollary 19.2], Januszkiewicz and Świątkowski proved, for any k ≥ 6
and d ∈ N, the existence of a k-large orientable d-dimensional pseudomanifold. Together with
[JŚ03, Theorem 1] this could be used to give a shorter proof of Corollary 6.12. We feel that
such a proof would have been less insightful for commutative algebra.
Remark 6.14. The results in this section can also be used to strengthen a result of Nevo and
Peeva who studied a question of Francisco, Hà and Van Tuyl. The latter noticed (unpublished)
that if I ⊂ R is a quadratic square-free monomial ideal such that I s has a linear resolution
for all s ≥ 2, then R/I satisfies N2 , and wondered if the converse was true. In [NP13, Counterexample 1.10] Nevo and Peeva gave a square-free monomial ideal I ⊂ R such that R/I has
property N2 but I 2 does not have a linear resolution. Using our results, this can be extended
to Np and any power as follows.
Corollary 6.15. For any integers p, t ≥ 2 there exists a square-free monomial ideal I ⊂ R such
that R/I has property Np and I s does not have a linear resolution for all 1 ≤ s ≤ t.
Proof. Set r = 2t and choose I ⊂ R as in Corollary 6.12. Then reg(R/I) = 2t, and reg(R/I s ) ≥
2t for all s ≥ 1 by Proposition 3.3.

s has a linear resolution for s  0 whenever k[∆]
Question 1.11 in [NP13] asks whether I∆
satisfies N2 . It remains open and the construction yielding Theorem 6.11 provides examples
worth testing. For an experimental investigation with computer algebra, the number of variables
involved would need a vast improvement, though.

7. Counting the number of vertices of S(∆, k)
For complexity theory in commutative algebra a bound on the number of variables N (r, p)
in Corollary 6.12 is necessary. We now derive such a bound by controlling the choice of the
torsion-free subgroup H in step 4 of the construction of S(∆, k).
Each Coxeter group W can be embedded in GLn (R) by means of its canonical representation
ρ : W → GLn (R) [Dav08, Corollary 6.12.4]. This representation starts from the cosine matrix
C = (cij )ij of a Coxeter system whose entries P
are cij = − cos(π/mij ). A generator si is
represented by the linear map ρ(si ) : x 7→ x − 2 j cij xj ei . As the order of every product of
generators is 2 or ∞, right-angled Coxeter groups embed also in GLn (Z). More specifically,
since the cosine matrix has entries only −1, 0, 1, the canonical representation matrices use only
0, ±1, 2. An easy computation using the definition of the linear map for one generator and
cos(π/2) = 0 shows that whenever w = si1 · · · sil is a spherical word, then it is represented by
the linear map
X
X
(9)
ρ(w) : x 7→ x − 2
ci1 j xj ei1 − · · · − 2
cil j xj eil .
j

We thus showed a simple fact about the entries of ρ(w).

j

18

A. CONSTANTINESCU, T. KAHLE, AND M. VARBARO

Lemma 7.1. Let W(∆) be a right-angled Coxeter group with nerve ∆ and d = dim ∆. For
each spherical word w ∈ W(∆) of length l, the matrix ρ(w) uses only 0, ±1, 2 for its entries and
each of its columns has at most l entries equal to two.
We employ the projection GLn (Z) → GLn (Z/mZ) to find finite-index torsion-free subgroups
H as in step 4 of the construction in Section 6, so that the size of S(∆, k) can be controlled. To
preserve k-largeness, we need to choose m so that no words of displacement < k reduce to the
identity modulo m. This requires information about the orders of elements of GLn (Z/mZ).
Fix k > 4 and a k-large simplicial complex ∆ of dimension d with n vertices. For any m ≥ 2
consider the canonical homomorphism
πm : GLn (Z) → GLn (Z/mZ).
Denote Γm = Ker(πm ) and let Ξm = Γm ∩ ρ(W(∆)) ⊆ ρ(W(∆)) be the subgroup of ρ(W(∆))
that lies in the kernel of πm .
Lemma 7.2. Ξm is torsion free if m > 2.
Proof. It is well known that any torsion element in a right-angled Coxeter group has order two
and is in fact conjugate to a spherical word. Let w ∈ Ξm be an involution and write w = g −1 sg
with some spherical word s and g ∈ W(∆). Then 1 = πm (w) = πm (g)−1 πm (s)πm (g) implies
πm (s) = 1 which for m > 2 implies s = 1 (by Lemma 7.1) and finally w = 1.

The subgroup to be used in step 4 is H(m) = ρ−1 (Ξm ). Let w ∈ W(∆). As a function
of the displacement and the dimension d of ∆, we determine an upper bound on a(w) =
max{|ρ(w)i,j | : 1 ≤ i, j ≤ n}, the maximum absolute value of the entries of the corresponding
matrix ρ(w) ∈ GLn (Z).
Lemma 7.3. Let w be a word of displacement less than k, then a(w) < (2d + 3)k−1 .
Proof. A word of displacement less than k is a product of at most k − 1 spherical words. When
w is a spherical word, it has length at most d + 1, and thus each column of ρ(w) has at most
d + 1 entries 2 and one entry 1 by Lemma 7.1. This yields the recursion a(ws) ≤ (2d + 3)a(w).
Since a(s) = 2 for any spherical word, the bound follows.

Our aim is to pick an integer m so that any word in H(m) has displacement at least p + 3.
Lemma 7.3 shows that m = (2d + 3)p+2 is sufficient. Given m, the number of vertices of S(∆, p)
2
is bounded by the size of GLn (Z/mZ) which is of the order mn . Iterating the construction
of S(∆, p), we achieve the desired bound for the number of variables needed in Corollary 6.12.
To write it, we use Knuth’s up arrow notation [Knu76] which is convenient for iterative constructions. Fortunately we can
limit ourselves to two up arrows which represent power towers.
a...
Specifically, a ↑↑ b means aa exactly b times.
Theorem 7.4. For all p, there exists a family of ideals indexed by r realizing Corollary 6.12
with
2
N (p, r + 1) < (2(2 ↑↑ (r − 1)) + 1)(p+2)N (p,r) .
Furthermore, if cp is the smallest integer such that 2 ↑↑ cp > p + 2, then
N (p, r + 1) < 2 ↑↑ (r(r + cp )).

LINEAR SYZYGIES, HYPERBOLIC COXETER GROUPS AND REGULARITY

19

Proof. Let ∆2 be the (p + 3)-cycle which implies N (p, 2) = p + 3. Let ∆r+1 = S(∆r , p), where
the subgroup in step 4 is chosen as H(mr+1 ) with mr+1 = (2dr + 1)p+2 . Here dr = dim ∆r + 1
and thus d2 = 2. We have the recursion dr+1 = 2dr , which yields dr = 2 ↑↑ (r − 1). The
number of vertices of ∆r+1 is bounded by the order of GLn (Z/mr+1 Z). Estimating this order
N (r,p)2
as mr+1
we obtain the recursive bound.
For the second part we use the fact that removing parenthesis from a power tower does not
(22 )
22
make the expression smaller by generalizations of 22
< 22 . We thus get
N (p, r + 1) < (2 ↑↑ r)(p+2)N (p,r)

2
2

< (2 ↑↑ r)(2↑↑cp )N (p,r)

2

< (2 ↑↑ (r + cp ))N (p,r) .
Now by a simple induction, the structure of the expression on the right is continued exponentiation of 2 for at most r(r + cp ) times, but with certain parenthesis inside the tower. Removing
the parentheses we conclude.

We hope that the bound in Theorem 7.4 can be improved significantly. To justify this hope
we illustrate vast improvements in a simple example. Let ∆ be the 5-cycle. The right-angled
Coxeter group with nerve ∆ has the following Coxeter and cosine matrices




1 2 ∞ ∞ 2
1
0 −1 −1
0
 2 1 2 ∞ ∞
 0
1
0 −1 −1




∞ 2 1 2 ∞ ,
0
1
0 −1
C=


−1
.
∞ ∞ 2 1 2 
−1 −1
0
1
0
2 ∞ ∞ 2 1
0 −1 −1
0
1
The generators of the standard representation of this Coxeter group are




−1 0 2 2 0
1 0 0 0
0
 0 1 0 0 0
0 1 0 0
0







0
s1 7→  0 0 1 0 0
...
s5 7→ 0 0 1 0
.
 0 0 0 1 0
0 0 0 1
0
0 0 0 0 1
0 2 2 0 −1
Table 1 gives the maximum absolute value of entries of words of length l in W(∆). It shows that
the prime number p = 1811 would certainly suffice to guarantee that no word of displacement
≤ 5 (which all have length ≤ 10) is in the kernel of the reduction modulo p. However, it can be
word length
entry size

1 2 3 4 5 6
7
8
9
10
2 4 8 18 39 84 180 388 836 1801
Table 1. Entry sizes in words

checked algorithmically (we used the Coxeter group functionality in sage [S+ 16]) that no word
of length at most 10 is in the kernel of the reduction modulo 7. In the reduction modulo 5,
however, (s1 s3 )5 maps to the identity. We also checked words of length 12 for the Coxeter group

20

A. CONSTANTINESCU, T. KAHLE, AND M. VARBARO

corresponding to the heptagon. There 7 is not large enough, as for example (s1 s3 s1 s5 )3 goes to
the identity.
In the example of the 5-cycle, the bound derived in Theorem 7.4 yields N (2, 3) < 5100 , while
using m = 7 yields N (2, 3) < 725 . In contrast one can exhibit a 5-large triangulation of a
2-sphere with 12 vertices. Nevertheless, a good understanding of representations of Coxeter
groups in finite characteristic should yield better estimates than Theorem 7.4.
The integer mr used in the recursive construction of ∆r in Theorem 7.4 currently depends
on the dimension which grows very quickly. It is conceivable that for each p there is a uniform
bound, independent of r.
Question 7.5. Is there a bound for the integer mr that depends only on p and not on r?
References
[ACI13]

Luchezar L Avramov, Aldo Conca, and Srikanth B Iyengar, Subadditivity of syzygies of Koszul algebras, Mathematische Annalen 361 (2013), no. 1-2, 511–534.
[AH16]
T. Ananyan and M. Hochster, Small subalgebras of polynomial rings and Stillman’s conjecture,
preprint, arXiv:1610.09268 (2016).
[BS88]
David Bayer and Michael Stillman, On the complexity of computing syzygies, Journal of Symbolic
Computation 6 (1988), no. 2, 135–147.
[BS13]
M. P. Brodmann and R. Y. Sharp, Local cohomology, second ed., Cambridge Studies in Advanced
Mathematics, vol. 136, Cambridge University Press, Cambridge, 2013, An algebraic introduction
with geometric applications.
[CKV16] Alexandru Constantinescu, Thomas Kahle, and Matteo Varbaro, Linear syzygies, flag complexes,
and regularity, Collectanea Mathematica 67 (2016), no. 3, 357–362.
[CMPV17] Giulio Caviglia, Jason McCullough, Irena Peeva, and Matteo Varbaro, Regularity of prime ideals,
preprint (2017).
[Cox35]
H. S. M. Coxeter, The complete enumeration of finite groups of the form Ri2 = (Ri Rj )kij = 1, Journal
of the London Mathematical Society s1-10 (1935), no. 1, 21–25.
[CS05]
Giulio Caviglia and Enrico Sbarra, Characteristic-free bounds for the Castelnuovo–Mumford regularity, Compositio Math 141 (2005), no. 6, 1365–1373.
[Dav08]
Michael Davis, The geometry and topology of Coxeter groups, vol. 32, Princeton University Press,
2008.
[DHS13]
Hailong Dao, Craig Huneke, and Jay Schweig, Bounds on the regularity and projective dimension of
ideals associated to graphs, Journal of Algebraic Combinatorics 38 (2013), no. 1, 37–55.
[DJ91]
Michael Davis and Tadeusz Januszkiewicz, Convex polytopes, Coxeter orbifolds and torus actions,
Duke Math. J 62 (1991), no. 2, 417–451.
[EG84]
David Eisenbud and Shiro Goto, Linear free resolutions and minimal multiplicity, Journal of Algebra
88 (1984), no. 1, 89–133.
[EGHP05] David Eisenbud, Mark Green, Klaus Hulek, and Sorin Popescu, Restricting linear syzygies: algebra
and geometry, Compos. Math 141 (2005), no. 6, 1460–1478.
[Eis95]
David Eisenbud, Commutative algebra with a view toward algebraic geometry, GTM, vol. 150,
Springer Verlag, New York, 1995.
[GL86]
Mark Green and Robert Lazarsfeld, On the projective normality of complete linear series on an
algebraic curve, Inventiones mathematicae 83 (1986), no. 1, 73–90.
[GM03]
S. I. Gelfand and Yu. I. Manin, Methods of homological algebra, second ed., Springer Monographs in
Mathematics, Springer, 2003.
[JŚ03]
Tadeusz Januszkiewicz and Jacek Świątkowski, Hyperbolic Coxeter groups of large dimension, Commentarii Mathematici Helvetici 78 (2003), no. 3, 555–583.
, Simplicial nonpositive curvature, Pub. Math. IHES 104 (2006), no. 1, 1–85.
[JŚ06]
[JŚ10]
, Non-positively curved developments of billiards, Journal of Topology 3 (2010), no. 1, 63–80.

LINEAR SYZYGIES, HYPERBOLIC COXETER GROUPS AND REGULARITY

[Knu76]
[Lyu84]

[MM82]
[MP16]
[MS05]
[MS13]
[MSS16]
[Mun84]
[NP13]
[Osa13a]
[Osa13b]
[PS09]
[S+ 16]
[Sch09]

21

Donald Ervin Knuth, Mathematics and computer science: coping with finiteness, Science 194 (1976),
no. 4271, 1235–1242.
Gennady Lyubeznik, On the local cohomology modules HAi (R) for ideals A generated by monomials in
an R-sequence, Complete intersections (Acireale, 1983), Lecture Notes in Math., vol. 1092, Springer,
Berlin, 1984, pp. 214–220.
Ernst W. Mayr and Albert A. Meyer, The complexity of the word problems for commutative semigroups and polynomial ideals, Advances in Mathematics 46 (1982), no. 3, 305–329.
Jason McCullough and Irena Peeva, Counterexamples to the Eisenbud–Goto regularity conjecture,
preprint (2016).
Ezra Miller and Bernd Sturmfels, Combinatorial commutative algebra, GTM, vol. 227, Springer,
Berlin, 2005.
Jason McCullough and Alexandra Seceleanu, Bounding projective dimension, Commutative algebra,
Springer, 2013, pp. 551–576.
Linquan Ma, Karl Schwede, and Kazuma Shimomoto, Local cohomology of Du Bois singularities and
applications to families, preprint, arXiv:1605.02755 (2016).
James R Munkres, Elements of algebraic topology, vol. 2, Addison-Wesley, 1984.
Eran Nevo and Irena Peeva, C4 -free edge ideals, Journal of Algebraic Combinatorics 37 (2013), no. 2,
243 – 248.
Damian Osajda, A combinatorial non-positive curvature I: weak systolicity, preprint, arXiv:1305.4661
(2013).
, A construction of hyperbolic Coxeter groups, Comment. Math. Helv. 88 (2013), no. 2, 353–
367.
Irena Peeva and Mike Stillman, Open problems on syzygies and Hilbert functions, Journal of Commutative Algebra 1 (2009), no. 1, 159–195.
W. A. Stein et al., Sage Mathematics Software (Version 7.3), The Sage Development Team, 2016,
http://www.sagemath.org.
Karl Schwede, F -injective singularities are Du Bois, Amer. J. Math. 131 (2009), no. 2, 445–473.

Dipartimento di Matematica, Università di Genova, Via Dodecaneso 35, Genova 16146, Italy
URL: http://userpage.fu-berlin.de/aconstant/Main.html
Fakultät für Mathematik, OvGU Magdeburg, Universitätsplatz 2, 39106 Magdeburg, Germany
URL: http://www.thomas-kahle.de
Dipartimento di Matematica, Università di Genova, Via Dodecaneso 35, Genova 16146, Italy
URL: http://www.dima.unige.it/~varbaro/

