arXiv:1605.01985v1 [math.AC] 6 May 2016

CW-RESOLUTIONS OF MONOMIAL IDEALS THAT ARE
SUPPORTED ON FACE POSETS
DANIEL WOOD
Abstract. Given a monomial ideal I with minimal free resolution F supported in characteristic p > 0 on a CW-complex X with regular 2-skeleton, we
construct a CW-complex Y that also supports F and such that the face poset
P (Y ) also supports F in the sense of Clark and Tchernev.

Introduction
Since the work of Taylor [Ta], it has been an open problem in commutative
algebra to describe explicitly minimal free resolutions of monomial ideals. One way
in which this problem has classically been approached is to propose a geometric
object which models the minimal free resolution F . Originally, simplicial complexes
were proposed as a model [BaPeSt]. Some more general geometric objects proposed
were CW-complexes and their cellular chain complexes, which were studied by
Bayer and Sturmfels [BaSt] and Batzies and Welker [BatWe]. However, Velasco [Ve]
has shown that there are monomial ideals with resolutions that are not supported by
any CW-complex. Clark and Tchernev [ClTc] introduced the notion of resolutions
supported on a poset and showed that for every monomial ideal I there is a poset
P that supports F . While there are many possible choices for such a poset, P ,
a consequence of Velasco’s examples [Ve] is that, in general, P can not be a face
poset of a CW-complex. A natural question that arises is to find conditions that
allow us to find a CW-complex whose face poset supports F .
In the main result of this paper, Theorem 3.1, we show that if I has a minimal free
resolution F supported over a field k of characteristic p > 0 on a CW-complex X
with regular 2-skeleton, then there is a CW-complex Y that also supports F , and
such that the face poset P (Y ) of Y over k supports F as well.
The structure of this paper is as follows. Section 1 outlines the preliminary
information necessary for this paper. In Section 2, we discuss deformations of
CW-complexes. In Section 3, we examine properties of CW-complexes that are
homologically isomorphic. In Section 4 we state and prove the main result of the
paper.
I would like to thank both Alexandre Tchernev and Marco Varisco for their
helpful discussions and insights.
1. Preliminaries
Fix the following notation: let k be a field of characteristic p > 0, and let
R = k[x1 , . . . , xn ] be a polynomial ring with the standard Zn -grading. Let
I = (m1 , . . . , mq ) ⊆ R
1

2

D. WOOD

be a monomial ideal of R, and let F be the minimal free resolution of I:
φi

φ1

F : 0 ←− F0 ←− F1 ←− · · · ←− Fi−1 ←− Fi ←− · · · ←− Fn ←− 0,
L
where each Fi is a free Zn -graded R-module, i.e., Fi =
R(−α)βi,α for each i and
the differentials φi preserve degrees.
Let X be a CW-complex. The cellular chain complex of X is the complex
C(X; k) of relative homology groups
∂

n
Hn−1 (X n−1 , X n−2 ; k) −→ . . .
. . . −→ Hn (X n , X n−1 ; k) −→

∂

1
H0 (X 0 , X −1 ; k) −→ 0,
. . . −→ H1 (X 1 , X 0 ; k) −→

where X −1 is the empty set and X n is the n-skeleton of the CW-complex X. Let
∂0 : H0 (X 0 , X −1 ; k) −→ coker(∂1 ) be the canonical projection.
Remark 1.1. Unless otherwise stated, we will take the basis of Hi (X i , X i−1 ; k)
to be the set`Bi of classes of characteristic maps Φ : Di −→ X i of i-cells of X, and
we set B = i≥0 Bi . We will call B the standard basis of C(X; k).
Using these bases, for each i ≥ 1 we can write the map ∂i as
X
∂i (σ) =
[σ : τ ]τ
τ ∈Bi−1

where [σ : τ ] is called the incidence coefficient of the cells σ and τ over the field k.
Consider B ordered as follows: for σ an n-cell and for τ an (n − 1)-cell, we will
say that τ ⋖ σ ⇐⇒ [σ : τ ] 6= 0 ∈ k. This leads to a poset, where we define
γ < σ ⇐⇒ ∃γ0 , . . . , γm
with
γ = γ0 ⋖ γ1 ⋖ . . . ⋖ γm = σ
which we will call the incidence poset or face poset over k of the CW-complex
X over the field k, and will denote it with P , or P (X) or P (X; k) if the context
requires more clarity. We say that X is a graded CW-complex if there is a map
mdeg : P (X) −→ Zm which is order preserving. Recall [BaSt, BatWe] that F is
supported on a CW-complex if there exists a graded CW-complex X that satisifies
the following properties:
(1) For each i, there is a bijection η between the basis of Fi and the i-cells
of X.
(2) For eachP
basis element σ of Fi , we have that deg(σ) = mdeg(η(σ)).
(3) φi (σ) = τ [η(σ) : η(τ )]xmdeg(η(σ))−mdeg(η(τ )) τ .
We also recall the following notions from [ClTc]. Let G be an acyclic chain
complex
Gn . For each i let Ai be any basis of Gi , and let
` of free R-modules
P
A = Ai . Let z = τ ∈Ai cτ τ be an element of Gi . The support of z with respect
to the basis A is the set
suppA (z) = {τ ∈ Ai : cτ 6= 0} .
When z ∈ Gi , we say z is of minimal support if it is the case that z ∈ im(∂i+1 ) and
there is no 0 6= y ∈ ker(∂i ) such that suppA (y) ( suppA (z). When z ∈ Gi with
i ≥ 1, suppA (∂i (z)) is called the boundary support of the element z. The basis A is
called a basis of minimal (boundary) support if for each i ≥ 1 and for each z ∈ Ai ,
the element ∂i (z) ∈ Gi−1 is of minimal support relative to the basis A.

CW-RESOLUTIONS ARE SUPPORTED ON FACE POSETS

3

The main result of this paper will deal with monomial ideals I for which F is
supported on a poset. For the full definition of resolutions supported on a poset,
we refer the reader to [ClTc, Definition 2.6]. We also need the definition of the
incidence poset.
Definition 1.2. [ClTc, Definition 4.1] Suppose that G is a chain complex of free
R-modules
` Gn . Let An be the basis of Gn . Denote by P (G , A) the poset structure
on A = n≥0 An with ordering given by transitivity applied to the covers: for
x ∈ An and y P
∈ An−1 , we will have that y ⋖ x if and only if [x : y] 6= 0 ∈ k,
where ∂n (x) = z∈An−1 [x : z]z. Then we will call P (G , A) the incidence poset of
G over k with respect to the basis A.
We will need the following sufficient condition for when F is supported on a
poset.
Theorem 1.3. [ClTc, Theorem 4.7] Let k be a field, let R = k[x1 , . . . , xn ] be a
polynomial ring over k, let I be a monomial ideal in R, and let F be a minimal
Zn -graded free resolution of I over R. Suppose that A is a homogenous basis of F
with minimal support, and let deg : P (F , A) −→ Zn be the map that assigns to each
element of A its Zn -degree as an element of F .
Then deg is a morphism of posets, and P (F , A) supports F .
It is in the context of Theorem 1.3 that we state our main result, Theorem 3.1.

2. Homology isomorphisms between CW-complexes
In this section, we establish a convenient fact that allows us to select another
CW-complex supporting F with a different selection of attaching maps. When we
say that a CW-complex X is regular, we mean that the closure of every cell is
homeomorphic to a closed ball of the same dimension. For more on this definition,
we refer to [Ha01, p. 534].
Recall that a continuous map f : X −→ Y between CW-complexes X and Y is
called cellular if f (X n ) ⊆ Y n , that is, f carries the n-skeleton of X onto that of Y
[Ha01, p. 348-349].
Lemma 2.1. Let X be an n-dimensional connected CW-complex with n ≥ 3.
Suppose there are l cells of dimension n. For each n-cell σj of X, suppose Fj :
(Dn , S n−1 ) −→ (X n , X n−1 ) is the characteristic map for this cell. Suppose we are
given a (n − 1)-dimensional CW-complex Y n−1 together with a matrix A = (aij )
in GLl (Z) and a cellular map Φn−1 : X n−1 −→ Y n−1 Then there exists an ndimensional CW-complex Y obtained from Y n−1 by attaching l cells of dimension
n, with characteristic maps Gi : (Dn , S n−1 ) −→ (Y n , Y n−1 ), and a cellular map
Φn : X n −→ Y n which extends Φn−1 and satisfies
[Gi ] =

X

aij [Φn ◦ Fj ] ∈ πn (Y n , Y n−1 ).

j

Proof. Pick a basepoint z ∈ X. By [Ha01, Proposition 0.18, p. 16], if φ and ψ are
homotopic attaching maps for an n-cell, then the spaces obtained by attaching a

4

D. WOOD

cell along those maps are homotopy equivalent. That is to say, if
φ

S n−1 −−−−→


y
Φ

Z


y

Dn −−−−→ X(φ)

is a pushout diagram for attaching an n-cell to a space Z, then the fact that φ is
homotopic to ψ implies that X(φ) is homotopy equivalent X(ψ). As a result of this,
we may assume, since X is connected, that the maps Fj are already based maps.
For based maps f, g : S n−1 −→ Z, the definition of the map f + g : S n−1 −→ Z is
given in [Ha01, p. 340].
P
Let Fj |S n−1 = fj , let gi = j aij (Φn−1 ◦ fj ), and let Y be obtained by attaching
n-cells to Y n−1 along the maps gi . For each i, one has in πn−1 (Y n−1 ) that
X
aij [Φn−1 ◦ fj ].
[gi ] =
j

Now, let Gi : Dn −→ Y be the characteristic map for the n-cells of Y , thus
X
aij (φn−1 ◦ fj ).
Gi |S n−1 = gi =
j

To show the existence of a cellular map Φ : X −→ Y , let A−1 = (bij ) and let
X
bij Gi .
Hj =
i

P

Therefore Hj |S n−1 = hj = j bij gi and so in πn−1 (Y n−1 ) we get
X X
X
bij
aik [Φn−1 ◦ fk ] = [Φn−1 ◦ fj ].
bij [gj ] =
[hj ] =
i

i

k

By the homotopy extension property, there exists Hi′ : (Dn , S n−1 ) −→ (Y n , Y n−1 )
such that [Hi ] = [Hi′ ] in πn (Y n , Y n−1 ) and Hi′ |S n−1 = Φn−1 ◦ fj . By the universal
property of pushouts, there exists Φn : X n −→ Y n that makes the diagram
`

`

fj

`

Hj′

Φn−1

S n−1 −−−−→ X n−1 −−−−→ Y n−1






y
y
y
`
` n
Fj
Φ
D −−−−→ X n −−−n−→ Y n

`

D

n

−−−−→

Yn

Yn

commute. Finally we get in πn (Y n , Y n−1 ) the equality
X
X
X
aij [Φn ◦ Fj ]
aij [Hj′ ] =
aij [Hj ] =
[Gi ] =
j

which completes the proof.

j

j



CW-RESOLUTIONS ARE SUPPORTED ON FACE POSETS

5

3. Main Results
In this section, we state and prove the main result of the paper:
Theorem 3.1. Let I be a monomial ideal in a polynomial ring R = k[x1 , . . . , xn ],
where k is a fixed field of characteristic p > 0, and let X be a CW-complex with
regular 2-skeleton such that X supports the minimal free resolution F of I. Then
there exists a CW-complex Y such that Y supports F , and the incidence poset P (Y )
of Y over k supports F in the sense of [ClTc].
Before we prove this, we will need the following consequence of Lemma 3.5 and
its proof from [ClTc] about resolutions supported on posets. For details about the
proof we refer the reader there.
Lemma 3.2. [ClTc, Lemma 3.5 and its proof] Suppose R = k[x1 , . . . , xm ] is a
polynomial ring over a field k with the standard Zm -grading, and F is a Zm -graded
free resolution of a torsion-free Zm -graded R-module M . Let C0 be any basis of F0
consisting of homogenous elements, and for i = 1, 2 let Ci be a homogeneous basis
of minimal support for Fi .
Then F has a basis with minimal support A consisting of homogenous elements,
and such that Ai = Ci for i = 0, 1, 2.
Now we come to a lemma that is a key step in the proof of our main theorem.
Lemma
3.3. Let X be a finite dimensional connected CW-complex. For each i,

let Fλi λ∈Λi be the set of characteristic maps of the i-cells of X. For each i ≥ 3,
(i)

let Ai = (mω,λ ) be an invertible matrix over Z of size |Λi | = li . Then there exists a
finite dimensional connected CW-complex
Y and a cellular map φ : X −→ Y such

that the set of characteristic maps Giλ λ∈Λ of the i-cells of Y satisfies
i


 i X
mω,λ φ◦ Fλi ∈ πi (Y i , Y i−1 )
Gω =
for i ≥ 3.
Proof. We will construct a CW-complex Y n inductively as follows. Let Y i = X i
and let φi = idX i for i = 0, 1, 2. Now we proceed by induction. Assuming for n ≥ 3
that we have defined Y n−1 , we seek to define the CW-complex Y n . Given the matrix
(n)
An = (mi,j ), we apply Lemma 2.1 to obtain Y n and the map φn : X n −→ Y n with
the desired properties.

We will also need the following immediate consequence of [ClTc, Theorem 4.5].
Lemma 3.4. Let X be a regular 2-dimensional CW-complex. Then the standard
e
basis of C(X;
k) is a basis of minimal support.
Finally, we need the following:

Corollary 3.5. Let k = Z/pZ with p > 0 prime, let X be a CW-complex with
regular 2-skeleton, and let
∂n+1

∂

∂n−1

∂

∂

∂

1
2
3
n
C0 −→ 0
C1 −→
C2 −→
Cn−1 −→ . . . −→
C(X; k) : . . . −→ Cn −→

be the cellular chain complex for X over k. Let E be a basis of minimal support of
C(X; k) such that Ei is the standard basis of Ci for i = 0, 1, 2.
Then there exists a CW-complex Y and a cellular map φ : X −→ Y such that
φ∗ : C(X; k) −→ C(Y ; k) maps E onto the standard basis given by the classes of
the characteristic maps of Y .

6

D. WOOD

Proof. For each i ≥ 3 the matrix Mi that carries the standard basis Bi of Ci onto
Ei is invertible over k. It is well known, see, e.g. [Co07, Lemma 6.3.10, p. 347],
that the natural map GLl (Z) −→ GLl (Z/pZ) is a surjection, and let Mi ∈ GLl (Z).
be a matrix that maps modulo p to the matrix Mi .
Let Ai = Mi−1 . Now apply Theorem 3.3 to X and the matrices Ai , producing a
CW-complex Y and a cellular map Φ : X −→ Y as desired.

With all this, we can now prove our main result:
Proof of Theorem 3.1. Since X supports F , we may assume that k = Z/pZ. By
Lemma 3.4, the standard homogeneous basis of F coming from the cells of dimension less than or equal to 2 is of minimal support, and by Lemma 3.2 this extends
to a homogeneous basis A of minimal support for F . By Theorem 1.3, the incidence
poset P (F , A) supports F . Dehomogenizing A yields a basis E of minimal support
for C(X; k). By Corollary 3.5 we get Y with a face poset P (Y ) over k that coincides
with the poset P (F , A).

References
[]BaSt

D. Bayer and B. Sturmfels, Cellular resolutions of monomial modules, J. Reine
Agnew. Math. 502 (1998), 123-140.
[]BaPeSt D. Bayer, I. Peeva, and B. Sturmfels, Monomial resolutions, Math. Res. Lett. 5
(1998), no. 1–2, 31-46.
[]BatWe E. Batzies and V. Welker, Discrete Morse theory for cellular resolutions, J. Reine
Angew. Math. 543 (2002), 147–168.
[]Bj
A. Bjorner, Posets, regular CW-complexes and Bruhat order, European J. Combin. 5
(1984), 7-16.
[]Cl
T. B. P. Clark, Poset resolution and lattice-linear monomial ideals, J. Algebra 323
(4) (2010), 899-919.
[]ClTc
T. B. P. Clark and A. Tchernev, Minimal free resolutions of monomial ideals are
supported on posets, preprint, http://arxiv.org/abs/1510.01962.
[]Co07
H. Cohen Number Theory Volume 1: Tools and Diophantine Equations, Graduate
Texts in Math. 239, Springer-Verlag, New York, New York 2007.
[]Ha01
A. Hatcher, Algebraic Topology, Cambridge University Press, Cambridge, New York,
2001.
[]Ta
D. Taylor, Ideals generated by monomials in an R-sequence, Ph.D. thesis, The University of Chicago (1966).
[]Ve
M. Velasco, Minimal free resolutions that are not supported by a CW-complex, J.
Algebra 319 (1) (2008), 102-114.
Department of Mathematics, University at Albany, SUNY, Albany, NY 12222
E-mail address: dwood@albany.edu

