arXiv:1012.3010v2 [math.AC] 28 Nov 2013

HOMOLOGICAL ALGEBRA MODULO EXACT ZERO-DIVISORS
PETTER ANDREAS BERGH, OLGUR CELIKBAS AND DAVID A. JORGENSEN
Abstract. We study the homological behavior of modules over local rings
modulo exact zero-divisors. We obtain new results which are in some sense
“opposite” to those known for modules over local rings modulo regular elements.

1. Introduction
Given a local (meaning also commutative and Noetherian) ring S and an ideal
I, one may ask whether the homological behavior of modules over S/I is related to
that over S. In general this is hopeless; one needs to restrict the ideal I. When I
is generated by a regular sequence, there is a well-developed and powerful theory
relating the homological properties of modules over these two rings (see for instance
[Av1], [AvBu], [Be], [Dao1], [Eis], [Gu1], [Jo1], and [Jo2]). For example, suppose
that the ideal I is generated by a single regular element x ∈ S, denote the factor
ring S/(x) by R, and let M and N be R-modules. Then a primary result is that
R
R
TorR
1 (M, N ) = Tor2 (M, N ) = · · · = Torn (M, N ) = 0

for some n ≥ 2, implies
TorS2 (M, N ) = · · · = TorSn (M, N ) = 0.
In other words, vanishing of homology over R implies the vanishing of homology
over S. An analogous statement for cohomology also holds.
Another primary result compares the complexity of a finitely generated R-module
with its complexity as an S-module (see Section 3 for the definition of complexity).
Namely there are inequalities [Av1, 3.2(3)]:
cxS (M ) ≤ cxR (M ) ≤ cxS (M ) + 1.
In this paper we study the case where the element x ∈ S is in some sense the
“next best thing” to being a regular element. More precisely, we consider the case
where the annihilator of x is a nonzero principal ideal whose annihilator is also
principal (and therefore is the ideal (x)). Following [HeŞ], the element x is said to
be an exact zero-divisor if it is nonzero, belongs to the maximal ideal of S, and
there exists another element y ∈ S such that annS (x) = (y) and annS (y) = (x). In
this case we say that (x, y) is a pair of exact zero-divisors of S. The ideal (x) is then
an example of a quasi-complete intersection ideal, a notion introduced in [AHŞ]. In
that same paper results relating certain invariants of modules over S with those
over S/(x) are proved. We continue along similar, but more homological lines, and
show that even if the element x is the next best thing to being regular, namely an
Date: March 13, 2018.
2000 Mathematics Subject Classification. 13D03.
Key words and phrases. Exact zero divisors, (co)homology, complexity.
1

2

PETTER ANDREAS BERGH, OLGUR CELIKBAS AND DAVID A. JORGENSEN

exact zero-divisor, then the homological relationships between S/(x)-modules over
S/(x) and over S change dramatically compared to the case where x is regular.
Two of our main results in Section 2 concern the vanishing of (co)homology. In
particular the result for homology takes the following form:
Theorem. Let R = S/(x) where S is a local ring and (x, y) is a pair of exact
zero-divisors in S. Furthermore, let M and N be R-modules such that yN = 0.
If there exists an integer n ≥ 2 such that TorR
i (M, N ) = 0 for 1 ≤ i ≤ n, then
TorSi (M, N ) ∼
= M ⊗S N for 1 ≤ i ≤ n − 1.
Compared to the vanishing result for the case where x is regular, the conclusion
of the previous theorem is opposite in the sense that it is a non-vanishing result:
vanishing of homology over R implies the non-vanishing of homology over S (when
the modules involved are nonzero and finitely generated.) For cohomology, we obtain
the following analogue:
Theorem. Let R = S/(x) where S is a local ring and (x, y) is a pair of exact
zero-divisors in S. Furthermore, let M and N be R-modules such that yN = 0.
If there exists an integer n ≥ 2 such that ExtiR (M, N ) = 0 for 1 ≤ i ≤ n, then
ExtiS (M, N ) ∼
= HomS (M, N ) for 1 ≤ i ≤ n − 1.
We also compare the complexities of finitely generated modules over R and over
S. Similar to our previous results, we show that such a comparison is quite different
from the case where x is regular. The following theorem is the main result of section
3.
Theorem. Let R = S/(x) where S is a local ring and x is an exact zero-divisor in
S. If M is a finitely generated R-module, then for any n there are inequalities
βnR (M ) −

n−2
X

βiR (M ) ≤ βnS (M ) ≤

n
X

βiR (M )

i=0

i=0

of Betti numbers. In particular, the inequality cxS (M ) ≤ cxR (M ) + 1 holds.
In the final section, Section 4, we discuss canonical endomorphisms of complexes
of finitely generated free R-modules, and canonical elements of Ext2R (M, M ), for
finitely generated R-modules M , in the case where R = S/(x) and (x, x) is a pair
of exact zero-divisors of S. The main result, Theorem 4.2, equates the ability to
lift a finitely generated R-module M from R to S to the triviality of the canonical
element in Ext2R (M, M ). This generalizes classical results (see, for example, [ADS])
on lifting modules from T /(x) to T /(x2 ) in the case where x is a non-zero-divisor
of the local ring T (cf. Example 4.3 below).
2. Vanishing results
In this section we prove our vanishing results, starting with the homology version.
We fix a local ring S, a pair of exact zero-divisors (x, y), and denote the local ring
S/(x) by R. It should be mentioned that the modules we consider in this section
are not necessarily assumed to be finitely generated.
Since a (deleted) free resolution of R over S has the form
y

x

y

x

··· → S −
→S−
→S−
→S−
→S→0

HOMOLOGICAL ALGEBRA MODULO EXACT ZERO-DIVISORS

3

one has for any R-module N the following

for q = 0
 N
N/yN
for q > 0 odd
(†)
TorSq (R, N ) ∼
=

annN (y) for q > 0 even
and
(‡)


for q = 0
 N
annN (y) for q > 0 odd
ExtqS (R, N ) ∼
=

N/yN
for q > 0 even

Our main theorem on the vanishing of homology is the following.
Theorem 2.1. Let R = S/(x) where S is a local ring and (x, y) is a pair of exact
zero-divisors in S. Furthermore, let M and N be R-modules. If there exists an
R
R
integer n ≥ 2 such that TorR
i (M, N ) = Tori (M, N/yN ) = Tori (M, annN (y)) = 0
for 1 ≤ i ≤ n, then

for i = 0
 M ⊗S N
M ⊗S N/yN
for 0 < i < n and i odd
TorSi (M, N ) ∼
=

M ⊗S annN (y) for 0 < i < n and i even.

Proof. Consider the first quadrant change of rings spectral sequence [Rot, Theorem
10.73]

S
S
TorR
p M, Torq (R, N ) =⇒ Torp+q (M, N ).
p

From (†), the term

2
Ep,q

2
Ep,q

is given by

R
for q = 0
 Torp (M, N )
R
∼
Torp (M, N/yN )
for q > 0 odd
=

TorR
p (M, annN (y)) for q > 0 even.

The vanishing assumptions imply that columns 1 through n of the E 2 -page of this
2
spectral sequence vanish, i.e., Ep,q
= 0 for all q ∈ Z and 1 ≤ p ≤ n. Fixing
∞
2
such p and q, we see that Ep,q also vanishes since this term is a subquotient of Ep,q
.
S
j
Letting Hi denote Tori (M, N ) for all i, we have a filtration {Φ Hi } of Hi satisfying
0 = Φ−1 Hi ⊆ Φ0 Hi ⊆ · · · ⊆ Φi−1 Hi ⊆ Φi Hi = Hi ,
∞
∼ Φj Hi /Φj−1 Hi for all i and j. Thus the vanishing of E ∞ implies that
with Ej,i−j
=
p,q
Φp Hp+q = Φp−1 Hp+q , that is, Φp Hq = Φp−1 Hq for all q ∈ Z and 1 ≤ p ≤ n.
2
Now consider the zeroth column of the E 2 -page. For a positive q, the E0,q
-term
is isomorphic to M ⊗R N/yN when q is odd, and isomorphic to M ⊗R annN (y)
2
when q is even. Since Ep,q
= 0 for all q ∈ Z and 1 ≤ p ≤ n, there is an isomorphism
2
∞ ∼
E0,q = E0,q for q ≤ n − 1, giving

for q = 0
 M ⊗S N
∞ ∼
M
⊗
N/yN
for 0 < q < n and q odd
E0,q
=
R

M ⊗R annN (y) for 0 < q < n and q even.

But it follows from above that the equalities
∞ ∼ 0
E0,q
= Φ H q = Φ 1 Hq = · · · = Φ q H q

hold when q < n. Therefore, since Φq Hq = TorSq (M, N ), we are done.



4

PETTER ANDREAS BERGH, OLGUR CELIKBAS AND DAVID A. JORGENSEN

As an immediate corollary we obtain the result, for the vanishing of homology,
stated in the introduction.
Corollary 2.2. Let R = S/(x) where S is a local ring and (x, y) is a pair of exact
zero-divisors in S. Furthermore, let M and N be R-modules such that yN = 0.
If there exists an integer n ≥ 2 such that TorR
i (M, N ) = 0 for 1 ≤ i ≤ n, then
TorSi (M, N ) ∼
= M ⊗S N for 0 ≤ i ≤ n − 1. Consequently, if M and N are nonzero
and finitely generated, then TorSi (M, N ) 6= 0 for 0 ≤ i ≤ n − 1.
Thus when the modules involved are finitely generated and nonzero, the corollary
shows that the vanishing of homology over R implies the non-vanishing of homology
over S. This is in stark contrast to the case when x is a regular element.
In certain cases we can show that the Tors over S cannot vanish irrespective of
vanishing of the Tors over R.
Proposition 2.3. Let R = S/(x) where S is a local ring and (x, y) is a pair of
exact zero-divisors, both of which are minimal generators of the maximal ideal of
S. Furthermore, let M and N be nonzero finitely generated R-modules such that
yN = 0. Then TorSi (M, N ) 6= 0 for all i ≥ 0.
Proof. Consider a minimal free resolution of M over S:
∂

∂

1
2
F0 → 0
F1 −→
F : · · · → F2 −→

Letting m denote a minimal generator of M , we can define the homomorphism
f : S/(x) → M sending 1̄ to m. Because x and y are minimal generators of the
maximal ideal of S, we can lift this homomorphism to a chain map
y

···

/S

···


/ F2

x

/S

f2

/S

f1
∂2


/ F1

/ S/(x)
f0

f


/M


/ F0

∂1

/0

/0

in such a way that each fi is a split injection. Tensoring the entire diagram with
N we get the commutative diagram
···

/N

···


/ F2 ⊗S N

0

f2 ⊗N
∂2 ⊗N

0

/N
f1 ⊗N


/ F1 ⊗S N

∂1 ⊗N

/N
f0 ⊗N


/ F0 ⊗S N

=

/N

/0

f ⊗N


/ M ⊗S N

/0

Now let n be a minimal generator of N . Then fi (1) ⊗S n is a minimal generator of
Fi ⊗S N , and by commutativity, is in ker(∂i ⊗S N ) for all i ≥ 1. This element is not
a boundary, however, since ∂i+1 ⊆ m Fi , and no element in the image of ∂i+1 ⊗S N
is a minimal generator of Fi ⊗S N . It follows that TorSi (M, N ) 6= 0 for all i ≥ 0. 
We next state the cohomological versions of Theorem 2.1 and Corollary 2.2; they
are proved dually.
Theorem 2.4. Let R = S/(x) where S is a local ring and (x, y) is a pair of exact
zero-divisors in S. Furthermore, let M and N be R-modules. If there exists an

HOMOLOGICAL ALGEBRA MODULO EXACT ZERO-DIVISORS

5

integer n ≥ 2 such that ExtiR (M, N ) = ExtiR (M, N/yN ) = ExtiR (M, annN (y)) = 0
for 1 ≤ i ≤ n, then

for i = 0
 HomS (M, N )
HomS (M, annN (y)) for 0 < i < n and i odd
ExtiS (M, N ) ∼
=

HomS (M, N/yN )
for 0 < i < n and i even

Corollary 2.5. Let R = S/(x) where S is a local ring and (x, y) is a pair of
exact zero-divisors in S. Furthermore, let M and N be R-modules with yN = 0.
If there exists an integer n ≥ 2 such that ExtiR (M, N ) = 0 for 1 ≤ i ≤ n, then
ExtiS (M, N ) ∼
= HomS (M, N ) for 0 ≤ i < n. Consequently, if N = M 6= 0, then
ExtiS (M, M ) 6= 0 for 0 < i < n.
3. Complexity
As in the previous section, we fix a local ring S, a pair of exact zero-divisors (x, y),
and denote the local ring S/(x) by R. In this section all modules are assumed to be
finitely generated. Our aim is to compare free resolutions of modules over R with
those over S and determine relationships involving complexities.
Given a local ring A and an A-module M , there exists a (deleted) free resolution
of M
· · · → F2 → F1 → F0 → 0
which is minimal, that is, it appears as a direct summand of every free resolution of
M . The cokernel of the map Fn+1 → Fn is the nth syzygy module of M and denoted
by ΩnA (M ). Minimal free resolutions are unique up to isomorphisms and hence the
syzygies are uniquely determined up to isomorphism. Moreover, for every nonnegdef
ative integer n, the nth Betti number βnA (M ) = rank Fn is a well-defined invariant
n
of M . It is well-known that dimk ExtA (M, k) = βnA (M ) = dimk TorA
n (M, k) for
every integer n where k is the residue field of A. It is also clear that the projective
dimension of M is finite if and only if the Betti numbers of M eventually vanish.
Thus the asymptotic behavior of the Betti sequence β0A (M ), β1A (M ), β2A (M ), . . . determines an important homological property of M . Following ideas from modular
representation theory [Alp], an invariant measuring how “fast” the Betti sequence
grows was introduced by Avramov in [Av1] (cf. also [Av2]). The complexity of M ,
denoted by cxA (M ), is defined as
def

cxA (M ) = inf{t ∈ N ∪ {0} | ∃a ∈ R such that βnA (M ) ≤ ant−1 for all n},
and measures the polynomial rate of growth of the Betti sequence of M . It follows
from the definition that M has finite projective dimension if and only if cxA (M ) = 0,
whereas cxA (M ) = 1 if and only if the Betti sequence of M is bounded. For an
arbitrary local ring, the complexity of a module is not necessarily finite [Av3, 4.2.2].
In fact, by [Gu2, Theorem 2.3], finiteness of complexity for all finitely generated
A-modules is equivalent to A being a complete intersection.
We now return to our previous setting of exact zero-divisors. We first remark
that every nonzero R-module has infinite projective dimension over S, that is, every
such module has positive complexity over S. Indeed, (†) from the second paragraph
of Section 2 shows that if TorSi (R, M ) = 0 for all i ≫ 0, then M/yM = 0. Thus
M = 0 by Nakayama’s Lemma.

6

PETTER ANDREAS BERGH, OLGUR CELIKBAS AND DAVID A. JORGENSEN

Over a local ring A, the complexity of a module equals the complexity of any of
its syzygies: their minimal free resolutions are the same except at the beginning.
Moreover, given a short exact sequence
0 → M1 → M2 → M3 → 0
of A-modules, the inequality
(*)

cxA (Mu ) ≤ max{cxA (Mv ), cxA (Mw )}

holds for {u, v, w} = {1, 2, 3}. This follows simply by comparing the k-vector space
dimensions of the Tor modules in the long exact sequence
A
A
A
· · · → TorA
n (M1 , k) → Torn (M2 , k) → Torn (M3 , k) → Torn−1 (M1 , k) → · · · ,

where k is the residue field of A.
In the next proposition we use the inequality (*) and prove that if M is an
R-module with cxS (M ) 6= 1, then cxS (M ) = cxS (ΩnR (M )) for all n. Here the
assumption cxS (M ) 6= 1 is necessary: the S-module R has a minimal free resolution
y

x

y

x

··· → S −
→S−
→S−
→S−
→S→0
and hence has complexity one over S. However its syzygies ΩnR (R) are all zero for
n > 0.
Proposition 3.1. Let R = S/(x) where S is a local ring and x is an exact zerodivisor in S. Then, for every finitely generated R-module M with cxS (M ) 6= 1, the
equality cxS (M ) = cxS (ΩnR (M )) holds for all n.
Proof. If cxS (M ) = 0, then M = 0 (see the third paragraph of Section 3.) Thus
the result is trivial in this case. Next suppose cxS (M ) > 1. Consider the short
exact sequence
0 → Ω1R (M ) → F → M → 0
where F is a free R-module. Since the S-module R has complexity one so does
F . Hence the result follows from the inequality (∗) and the short exact sequence
considered above.

Next we will compare the Betti numbers and complexities of modules over R
with those over S. For that we first set some notations that generalize the notion
of the Betti number and the complexity of a module.
Let (A, m) be a local ring with residue field k, and M and N be A-modules with
the property that M ⊗A N has finite length. Then, for every nonnegative integer
n, the length of TorA
n (M, N ) is finite. We define this length to be the nth Betti

def
A
number βn (M, N ) of the pair (M, N ), that is, βnA (M, N ) = ℓ TorA
n (M, N ) . The
length complexity of the pair (M, N ), denoted by ℓcxA (M, N ), is then defined as:
def

ℓcxA (M, N ) = inf{t ∈ N ∪ {0} | ∃a ∈ R such that βnA (M, N ) ≤ ant−1 for all n},
cf. [Dao2, the discussion preceding Definition 2.1]. Although letting N = k, we
recover the Betti number and the ordinary complexity of M , that is,
βnA (M ) = βnA (M, k) and cxA (M ) = ℓcxA (M, k),
our definition for ℓcxA (M, N ) of the pair (M, N ) is different than the one originally defined by Avramov and Buchweitz [AvBu], where the minimal number of
generators of the cohomology modules ExtnA (M, N ) is used. In general there is no

HOMOLOGICAL ALGEBRA MODULO EXACT ZERO-DIVISORS

7

comparison between these two definitions of Betti numbers of the pair (M, N ); see
also [Dao2, Theorem 5.4].
Theorem 3.2. Let R = S/(x) where S is a local ring and (x, y) is a pair of exact
zero-divisors in S. Furthermore, let M and N be finitely generated R-modules such
that yN = 0 and M ⊗R N has finite length. Then, for all n,
(3.2)

βnR (M, N ) −

n−2
X

βiR (M, N ) ≤ βnS (M, N ) ≤

n
X

βiR (M, N )

i=0

i=0

Remark. We have used the convention that negative Betti numbers are zero.
Proof. As in the proof of Theorem 2.1, we consider the first quadrant change of
rings spectral sequence:

S
S
TorR
p M, Torq (R, N ) =⇒ Torp+q (M, N ).
p

2
Since yN = 0, we see from (†) that the E 2 -page entries are given by Ep,q
=
R
Torp (M, N ).
We first prove the left-hand inequality of (3.2). Fix an integer n and consider
the short exact sequence
∞
0 → Φn−1 Hn → TorSn (M, N ) → En,0
→ 0,

∞
where Φi Hn is the filtration of Hn from the proof of Theorem 2.1. Since En,0
=

S
n
n
Ker dn,0 , we obtain the inequality ℓ Torn (M, N ) ≥ ℓ(Ker dn,0 ). Now for all 2 ≤
p ≤ n, there is an exact sequence
p
0 → Ker dpn,0 → Ker dp−1
n,0 → Im dn,0 → 0,

which implies
ℓ(Ker dnn,0 )

n−1
= ℓ(Ker dn,0
) − ℓ(Im dnn,0 )


n−2
n−1
= ℓ(Ker dn,0
) − ℓ(Im dn,0
) + ℓ(Im dnn,0 )
..
.

= ℓ(Ker d1n,0 ) −

n
X

ℓ(Im din,0 ).

i=2

i
For 2 ≤ i ≤ n, the image of
is a submodule of En−i,i−1
, and the latter is a
R
2
2
subquotient of En−i,i−1
. Then since En−i,i−1
= Torn−i (M, N ), there is an inequal
2
ity ℓ(Im din,0 ) ≤ ℓ TorR
n−i (M, N ) . Moreover the module En,0 is a subquotient of

R
2
Ker d1n,0 . Thus, since En,0
= Torn (M, N ), we have ℓ(Ker d1n,0 ) ≥ ℓ TorR
n (M, N ) .
This gives

ℓ TorSn (M, N ) ≥ ℓ(Ker dnn,0 )
n
X
ℓ(Im din,0 )
= ℓ(Ker d1n,0 ) −

din,0

i=2

≥
proving the left-hand inequality.

ℓ



TorR
n (M, N )

−

n−2
X
i=0


ℓ TorR
i (M, N ) ,

8

PETTER ANDREAS BERGH, OLGUR CELIKBAS AND DAVID A. JORGENSEN

For the right-hand inequality, we fix an integer n and consider the short exact
sequence:
∞
0 → Φp−1 Hn → Φp Hn → Ep,n−p
→0
for 0 ≤ p ≤ n. Counting the lengths, we obtain equalities


∞
ℓ (Φn Hn ) = ℓ Φn−1 Hn + ℓ En,0



∞
∞
+ ℓ En,0
= ℓ Φn−2 Hn + ℓ En−1,1
..
.
n
X

∞
.
ℓ Ei,n−i
=
i=0

2
2
Each
is a subquotient of Ei,n−i
, and so since Ei,n−i
= TorR
i (M, N ), we obtain

R
∞
n
the inequality ℓ(Ei,n−i ) ≤ ℓ Tori (M, N ) . Then since Φ Hn = TorSn (M, N ), we
obtain

ℓ TorSn (M, N ) = ℓ (Φn Hn )
n
X

∞
ℓ Ei,n−i
=
∞
Ei,n−i

i=0

≤

n
X
i=0

proving the right-hand inequality.


ℓ TorR
i (M, N ) ,



As a consequence, using the right-hand side of the inequality (3.2), we obtain an
upper bound for ℓcxS (M, N ) in terms of the complexity of (M, N ) over R.
Corollary 3.3. Let R = S/(x) where S is a local ring and (x, y) is a pair of exact
zero-divisors in S. Furthermore, let M and N be finitely generated R-modules such
that yN = 0 and M ⊗R N has finite length. Then ℓcxS (M, N ) ≤ ℓcxR (M, N ) + 1.
Proof. If ℓcxR (M, N ) = ∞, then there is nothing to prove. So suppose ℓcxR (M, N ) =
c < ∞. Then, by the definition, there exists a real number a such that βnR (M, N ) ≤
anc−1 for all n. By Theorem 3.2, the inequality
n
n
X
X
aic−1 ≤ (n + 1)anc−1
βiR (M, N ) ≤
βnS (M, N ) ≤
i=0

i=0

holds for all n. Therefore there is a real number b such that βnS (M, N ) ≤ bnc for
all n. This shows that ℓcxS (M, N ) ≤ c + 1.


We are unaware of an example of a pair of R-modules for which equality holds in
the left-hand side of (3.2). On the other hand, equality may occur in the right-hand
side. Indeed, when the exact zero-divisors x and y are minimal generators of the
maximal ideal of S, Henriques and Şega prove [HeŞ, 1.7] that the equality
∞
∞
X
1 X R
βn (M )tn
βnS (M )tn =
1
−
t
n=0
n=0

of Poincaré series holds for every finitely generated R-module M . This gives:
n
X
βnS (M ) =
βiR (M )
i=0

HOMOLOGICAL ALGEBRA MODULO EXACT ZERO-DIVISORS

9

However, when x and y are arbitrary, the equality of the Poincaré series stated
above may fail:
Example 3.4. Let S = k[[x]]/(x3 ) where k is a field. Then x2 is an exact zero
divisor in S. Set R = S/(x2 ) ∼
= k[[x]]/(x2 ). It can be seen that:
∞
∞
X
X
1
S
n
=
βnR (k)tn
βn (k)t =
1
−
t
n=0
n=0
This example also shows that the inequality of Corollary 3.3 can be strict.
We now give an example illustrating the fact that the left-hand inequality of
(3.2) does give useful lower bounds in some cases:

Example 3.5. Let R = k[x1 . . . , xe ]/(x1 , . . . , xe )2 , and M be a finitely generated
R-module. Then Ω1R (M ) is a finite dimensional vector space over k of dimension
β1R (M ). It is easy to see that the Betti numbers of k are βnR (k) = en . It follows
that βnR (M ) = β1R (M )en−1 for all n ≥ 1. From the left-hand inequality of (3.2) we
have
n−2
X
βiR (M )
βnS (M ) ≥ βnR (M ) −
i=0

=

β1R (M )en−1

−

n−2
X

β1R (M )ei−1

i=1

=
=

!

− β0R (M )



en−2 − 1
R
n−1
β1 (M ) e
−
− β0R (M )
e−1
 n

e − en−1 − en−2 + 1
β1R (M )
− β0R (M )
e−1

β1R (M ) n−1
e
− β0R (M )
2
for e ≥ 2 and for any ring S such that there exists an exact zero-divisor x with R ∼
=
S/(x). Note that the last inequality follows since for e ≥ 2 we have e2 − e − 2 ≥ 0.
Then en−2 (e2 − e − 2) ≥ 0, which implies that en − en−1 − 2en−2 + 2 ≥ 0. Thus
2(en − en−1 − en−2 + 1) ≥ en−1 (e − 1), and the desired inequality follows. In
particular, R-modules must have exponential growth over S as well. As a specific
example, let S = k[x, y, z]/(x2 , y 2 , z 2 , yz). Then x is an exact zero-divisor in S, and
R = S/(x) ∼
= k[y, z]/(y, z)2 has the form above.
≥

When N = k, the assumptions that M ⊗ N has finite length and yN = 0 hold
automatically. Therefore, in this situation, Theorem 3.2 and Corollary 3.3 can be
summarized as follows:
Corollary 3.6. Let R = S/(x) where S is a local ring and x is an exact zero-divisor
in S. Then, for every finitely generated R-module M , the inequalities
βnR (M ) −

n−2
X
i=0

βiR (M ) ≤ βnS (M ) ≤

n
X

βiR (M )

i=0

hold for all n. Consequently cxS (M ) ≤ cxR (M ) + 1 holds.
Remark. It follows from [AHŞ, 4.4] that R is a complete intersection if and only if
S is a complete intersection. The complexity inequality obtained in Corollary 3.6

10

PETTER ANDREAS BERGH, OLGUR CELIKBAS AND DAVID A. JORGENSEN

gives a different proof for the ‘only if’ direction this result: if cxR (k) < ∞, where
k is the residue field of R, then it follows from Corollary 3.6 that cxS (k) < ∞ and
hence, by [Gu2, 2.5], S is a complete intersection.
Another observation related to the result stated above concerns commutative local Cohen-Macaulay Golod rings [Av3, 5.2]. Assume S is such a ring. Since a finitely
generated module has infinite complexity over S in case it has infinite projective
dimension over S and codepth(S) ≥ 2 [Av3, 5.3.3(2)], we conclude codepth(S) ≤ 1
(Recall cxS (R) = 1). Moreover, as x is not regular, codepth(S) = 1. This implies
that S is a hypersurface and hence R is a complete intersection.
As discussed in the introduction, when x is regular the complexity inequality is
quite different than the one obtained in Corollary 3.6. More precisely, in that case
the inequalities cxS (M ) ≤ cxR (M ) ≤ cxS (M )+1 hold. In particular the complexity
of M over R is finite if and only if it is finite over S. However, in our situation,
when x is an exact zero-divisor, we are unable to deduce any further inequalities,
such as cxR (M ) ≤ cxS (M ), from Theorem 3.2. In fact we do not know whether
there exists an R-module M with cxS (M ) < ∞ and cxR (M ) = ∞. We record this
in the next question.
Question. Let R = S/(x) where S is a local ring and x is an exact zero-divisor in
S. Is cxR (M ) ≤ cxS (M ) for all finitely generated R-modules M ?
4. Canonical elements of Ext2R (M, M ) and Lifting
In this section we restrict our attention to the case where (x, x) is a pair of
exact zero-divisors in the local ring S, and R = S/(x). We discuss natural chain
endomorphisms of complexes over R, following the construction in [Eis, Section 1],
and show that whether or not they are null-homotopic dictates the liftability of
R-modules to S. These results generalize classical results (see, for example [ADS])
for lifting modules modulo a regular element to modulo the square of the regular
element.
Canonical endomorphisms of complexes. Let
(1)

∂i+1

∂

i
Fi−1 → · · ·
F : · · · → Fi+1 −−−→ Fi −→

be a complex of finitely generated free R-modules. We let
(2)

e

e

∂i+1
∂i e
Fi−1 → · · ·
Fe : · · · → Fei+1 −−−→ Fei −→

denote a preimage over S of the complex F , that is, a sequence of homomorphisms
∂ei : Fei → Fei−1 of free S-modules such that F and Fe ⊗S R are isomorphic Rcomplexes. From the fact that ∂ei−1 ∂ei (Fei ) ⊆ xFei−2 for all i, we can write
(3)

si
∂ei−1 ∂ei = xe

for some homomorphism sei : Fei → Fei−2 . Now we define the homomorphisms
si : Fi → Fi−2 by
(4)

si = sei ⊗S R

for all i.
There are several properties of the si which we should like to mention. See [Eis,
Section 1] for the proofs. (Note that in our case (x)/(x)2 = (x) ∼
= S/(x) is a free
S/(x)-module.)

HOMOLOGICAL ALGEBRA MODULO EXACT ZERO-DIVISORS

11

(a) The definition of si is independent of the factorization in (3).
(b) The family s = {si } is a chain endomorphism of F of degree −2.
(c) Let
δi+1

δ

i
Gi−1 → · · ·
G : · · · → Gi+1 −−−→ Gi −→

be another complex of finitely generated free R-modules, and assume that
there exists a chain map f : F → G. Let t = {ti = e
ti ⊗S R : Gi → Gi−2 } be
e
ti for all i, where G
the chain map defined by the factorizations δei−1 δei = xe
is a preimage over S of G. Then the chain maps f s and tf are homotopic.
(d) From (c) it follows that the definition of the si is independent, up to homotopy, of the preimage Fe of F chosen in (2).

The group ExtnA (M, M ). Let A be an associative ring, and M an A-module.
Suppose that F is a projective resolution of M . Then Hn (HomA (F, F )) is the
group of homotopy equivalence classes of chain endomorphisms of F of degree n.
For a chain endomorphism s of F of degree n, we let [s] denote the class of s in
Hn (HomA (F, F )). Let G be another projective resolution of M over A. Then the
comparison maps f : F → G and g : G → F lifting the identity map on M are
homotopically equivalent. That is, f g is homotopic to the identity map on G and
gf is homotopic to the identity map on F . It follows that the map
(5)

F
θG
: Hn (HomA (F, F )) → Hn (HomA (G, G))

given by [s] 7→ [f sg] is an isomorphism, with inverse θFG : [s] 7→ [gsf ]. It is wellknown that this group is ExtnA (M, M ) (see, for example [AV].)
Canonical elements of Ext2R (M, M ). Returning to the situation where R =
S/(x) for the pair (x, x) of exact zero-divisors, let F be a free resolution of M over
R, and s be the endomorphism of F defined by (4). Thus we have the element
[s] ∈ H2 (HomR (F, F )). That we call [s] a canonical element of Ext2R (M, M ) is
reinforced by the following lemma.
Lemma 4.1. Let R = S/(x) where S is a local ring and (x, x) is a pair of exact
zero-divisors in S. Suppose that F and G are free resolutions of a finitely generated
module M over R, that s is the canonical endomorphism of F as defined in (4),
and that t is the canonical endomorphism of G as defined in (4). Then we have
θFG ([t]) = [s]
where θFG is the isomorphism defined in (5).
Proof. First assume that F is a minimal free resolution of M . Then the comparison
map f : F → G lifting the identity map on M can be chosen to be a split injection,
with splitting g : G → F , also lifting the identity map on M . In particular, we
have gf = idF , the identity map on F .
e be a preimage
Denote the differential on F by ∂, and that on G by δ. Let (Fe , ∂)
e
e
over S of (F, ∂), and (G, δ) be a preimage over S of (G, δ). We choose preimages fe
of f and e
g of g over S such that gefe = idFe .
ei → Fei−1 such that gei−1 δei = ∂ei e
gi +xui
As gi−1 δi = ∂i gi for all i, there exists ui : G
e
e
for all i. Similarly, there exists vi : Fi → Gi−1 such that δei fei = fei−1 ∂ei + xvi for all

12

PETTER ANDREAS BERGH, OLGUR CELIKBAS AND DAVID A. JORGENSEN

i. Thus we have
x(e
gi−2 e
ti fei − sei ) =
=

=

gei−2 δei−1 δei fei − ∂ei−1 ∂ei
(∂ei−1 gei−1 + xui−1 )(fei−1 ∂ei + xvi ) − ∂ei−1 ∂ei
x(∂ei−1 gei−1 vi + ui−1 fei−1 ∂ei ).

It follows that gi−2 ti fi −si = ∂i−1 (gi−1 v i )+(ui−1 fi−1 )∂i for all i, where ui = ui ⊗S R
and v i = vi ⊗S R. We will have shown that gtf is homotopic to s with homotopy
hi = ui fi once we know that ui fi = gi−1 v i for all i. But this is easy:
x(ui fei − gei−1 vi ) =

=
=

gi−1 (δei fei − fei−1 ∂ei )
(e
gi−1 δei − ∂ei gei )fei − e
−∂ei gei fei + gei−1 fei−1 ∂ei
0,

hence the claim follows.
F
Notice that we also have θG
([s]) = [t], when F is minimal. Therefore, for two
arbitrary free resolutions F and G of M , that θFG ([t]) = [s] follows from composing
G L
θFG = θL
θF where L is a minimal free resolution of M .

Lifting. Let B be an associative ring, I an ideal of B, and A = B/I. Recall that
a finitely generated A-module M is said to lift to B, with lifting M ′ , if there exists
′
a finitely generated B-module M ′ such that M ∼
= M ′ ⊗B A, and TorB
i (M , A) = 0
for all i ≥ 1. Similarly, a complex of finitely generated free A-modules
∂i+1

∂

i
Fi−1 → · · ·
F : · · · → Fi+1 −−−→ Fi −→

is said to lift to B, with lifting Fe, if there exists a preimage Fe of F
e

e

∂i+1
∂i e
Fi−1 → · · ·
Fe : · · · → Fei+1 −−−→ Fei −→

such that ∂ei−1 ∂ei = 0 for all i. A close connection between these two notions of
lifting will be explained in the next theorem. We want also to show that when
R = S/(x) for (x, x) a pair of exact zero-divisors, the triviality of the canonical
element [s] determines whether the module M lifts to S.
Theorem 4.2. Let R = S/(x) where S is a local ring and (x, x) is a pair of exact
zero-divisors in S. Then for every finitely generated R-module M , the following are
equivalent.
(1) M lifts to S.
(2) The canonical element [s] in Ext2R (M, M ) is trivial.
(3) Every free resolution of M by finitely generated free R-modules lifts to S.
(4) Some free resolution of M by finitely generated free R-modules lifts to S.
Proof. (1) =⇒ (2). Suppose that M ′ is a lifting of M to S. Let
e

e

∂2 e ∂1 e
F1 −→ F0 → 0
Fe : · · · → Fe2 −→

be a resolution of M ′ by finitely generated free S-modules. Since TorSi (M ′ , R) = 0
for all i > 0, F = Fe ⊗S R is a resolution of M ∼
= M ′ ⊗S R by finitely generated free
R-modules. Computing the endomorphism s from the preimage Fe of F , which is
exact, we see that s is actually the zero endomorphism, and is therefore certainly
trivial in Ext2R (M, M ).

HOMOLOGICAL ALGEBRA MODULO EXACT ZERO-DIVISORS

13

(2) =⇒ (3). By Lemma 4.1 the canonical element of Ext2R (M, M ) is trivial
regardless of which resolution by finitely generated free R-modules F of M we
choose to define it. Therefore let F be an arbitrary such resolution of M , and
let s be the canonical chain endomorphism defined as in (4) of the subsection
above on canonical endomorphisms of complexes. By assumption s is homotopic
to zero. Therefore there exists a homotopy h = {hi } with hi : Fi → Fi−1 such that
e
si = ∂i−1 hi + hi−1 ∂i for all i. Let Fe be an arbritrary preimage of F , with maps ∂.
e
e
e
e
e
Let hi : Fi → Fi−1 be a preimage of hi for all i. There exists ui : Fi → Fi−2 such
hi + e
hi−1 ∂ei + xui for all i. Now consider the preimage F ♯ of F where
that sei = ∂ei−1 e
♯
hi instead. we have
we take F = Fei for all i, but we take the maps ∂ ♯ = ∂ei − xe
i

i

♯
∂i−1
∂i♯

=

=
=
=

(∂ei−1 − xe
hi−1 )(∂ei − xe
hi )
hi + e
hi−1 ∂ei )
∂ei−1 ∂ei − x(∂ei−1 e
hi − e
hi−1 ∂ei ))
x(e
si − ∂ei−1 e
0.

Thus F ♯ is a lifting of F to S.
(3) =⇒ (4) is trivial. To show that (4) =⇒ (1), assume that F is a free
resolution of M by finitely generated free R-modules, which lifts to the complex Fe
over S. We claim that Hi (Fe ) = 0 for i 6= 0. Indeed, if ∂ei (a) = 0, some a ∈ Fei , then
a = ∂ei+1 (b) + xc for some b ∈ Fei+1 and c ∈ Fei by exactness of F . Since x∂ei (c) = 0,
we have ∂ei (c) ∈ xFei−1 . Again by exactness of F we have c = ∂ei+1 (d) + xe for some
d ∈ Fei+1 and e ∈ Fei . Therefore a = ∂ei+1 (b + xd). It follows that Fe is a resolution
of M ′ = H0 (Fe) by finitely generated free S-modules, and thus M ′ is a lifting of M
to S.

We end with an example showing that there are local rings S admitting a pair
of exact zero-divisors (x, x), but no local ring T with regular element x
e such that
S = T /(e
x2 ) and x = x
e + (e
x2 ). Therefore the notion of lifting modulo an exact
zero-divisor is a more general notion than lifting from modulo a regular element to
modulo the square of the regular element.
Example 4.3. Let k be field, S = k[V, X, Y, Z]/I where I is the ideal
(V 2 , Z 2 , XY, V X + XZ, V Y + Y Z, V X + Y 2 , V Y − X 2 ),
and set v = V + I. Then (v, v) is a pair of exact zero-divisors. Moreover, it is
shown in [AGP] that S does not have an embedded deformation. Therefore there
is no local ring T and non-zero-divisor Ve of T such that S ∼
= T /(Ve 2 ).
Acknowledgments
This paper is the result of a visit by the first and second authors to the third
in October/November 2010. They thank the Department of Mathematics at the
University of Texas at Arlington for their kind hospitality.
The authors thank the referee for his/her careful reading, diligence and helpful
suggestions.

14

PETTER ANDREAS BERGH, OLGUR CELIKBAS AND DAVID A. JORGENSEN

References
[ADS]
[Alp]
[AGP]
[Av1]
[Av2]

[Av3]
[AvBu]
[AHŞ]

[AV]
[Be]
[Dao1]
[Dao2]
[Eis]
[Gu1]
[Gu2]
[HeŞ]
[Jo1]
[Jo2]
[Rot]

M. Auslander, S. Ding, and Ø. Solberg, Liftings and weak liftings of modules, J. Algebra
156 (1993), 273–317.
J. L. Alperin, Periodicity in groups, Illinois J. Math., 21(4), 776-783, 1977.
L. Avramov, V. Gasharov and I. Peeva, A periodic module of infinite virtual projective
dimension, J. Pure Appl. Algebra 62 (1989), 1-5.
L. L. Avramov, Modules of finite virtual projective dimension, Invent. Math. 96 (1989),
no. 1, 71-101.
L. L. Avramov, Homological asymptotics of modules over local rings, Commutative algebra; Berkeley, 1987 (M. Hochster, C. Huneke, J. Sally, eds.), MSRI Publ. 15, Springer,
New York 1989, pp. 33-62.
L. L. Avramov, Infinite free resolutions, Six lectures on commutative algebra, Bellaterra
1996, Progr. Math. 166, Birkhäuser, Basel, (1998), 1-118.
L. L. Avramov and R.-O. Buchweitz, Support varieties and cohomology over complete
intersections, Invent. Math. 142 (2000), 285-318.
L. L. Avramov, I. B. D. A. Henriques and L. M. Şega, Quasi-complete intersection
homomorphisms, to appear in Pure and Applied Mathematics Quarterly, posted at
arXiv:1010.2143.
L.L. Avramov, O. Veliche, Stable cohomology over local rings, Adv. Math. 213 (2007),
no. 1, 93-139.
P. A. Bergh, On the vanishing of (co)homology over local rings, J. Pure Appl. Algebra
212 (2008), no. 1, 262-270.
H. Dao, Some observations on local and projective hypersurfaces, Math. Res. Lett., 15
(2008), 207-219.
H. Dao, Asymptotic behaviour of Tor over complete intersections and applications,
preprint, (2006), posted at arxiv:07105818.
D. Eisenbud, Homological algebra on a complete intersection, with an application to group
representations, Trans. Amer. Math. Soc. 260 (1980), no. 1, 35-64.
T. H. Gulliksen, A change of ring theorem with applications to Poincaré series and
intersection multiplicity, Math. Scand. 34 (1974), 167-183.
T. H. Gulliksen, On the deviations of a local ring, Math. Scand. 47 (1980), 5-20.
I. B. D. A. Henriques and L. M. Şega, Free resolutions over short Gorenstein local rings,
Math. Z. 267 (2011), 645-663.
D. A. Jorgensen, Tor and torsion on a complete intersection, J. Algebra 195 (1997),
526-537.
D. A. Jorgensen, Complexity and Tor on a complete intersection, J. Algebra 211 (1999),
578-598.
J. Rotman, An introduction to homological algebra, Universitext, Springer, New York,
second edition, 2009.

Petter Andreas Bergh, Institutt for matematiske fag, NTNU, N-7491 Trondheim,
Norway
E-mail address: bergh@math.ntnu.no
Olgur Celikbas, Department of Mathematics, University of Kansas, Lawrence, KS
66045, USA
Current address: Department of Mathematics, University of Missouri, Columbia, MO 65211,
USA
E-mail address: celikbaso@missouri.edu
David A. Jorgensen, Department of Mathematics, University of Texas at Arlington,
Arlington, TX 76019, USA
E-mail address: djorgens@uta.edu

