arXiv:1202.0071v3 [] 16 Oct 2012

LIFTINGS AND QUASI-LIFTINGS OF DG MODULES
SAEED NASSEH AND SEAN SATHER-WAGSTAFF
To Yuji Yoshino
Abstract. We prove lifting results for DG modules that are akin to Auslander, Ding, and Solberg’s famous lifting results for modules.

Introduction
Convention. Throughout this paper, let R be a commutative noetherian ring.
Hochster famously wrote that “life is really worth living” in a Cohen-Macaulay
ring [7].1 For instance, if R is Cohen-Macaulay and local with maximal regular
sequence t, then R/(t) is artinian and the natural epimorphism R → R/(t) is nice
enough to allow for transfer of properties between the two rings. Thus, if one can
prove a result for artinian local rings, then one can (often) prove a similar result for
Cohen-Macaulay local rings by showing that the desired conclusion descends from
R/(t) to R. When R is complete, then this is aided sometimes by the lifting result
of Auslander, Ding, and Solberg [2, Propositions 1.7 and 2.6].
Theorem. Let t ∈ R be an R-regular sequence, and let M be a finitely generated
R/(t)-module. Assume that R is local and (t)-adically complete.
(a) If Ext2R/(t) (M, M ) = 0, then M is “liftable” to R, that is, there is a finitely
generated R-module N such that R/(t) ⊗R N ∼
= M and TorR
i (R/(t), N ) = 0 for
all i > 1.
(b) If Ext1R/(t) (M, M ) = 0, then M has at most one lift to R.
In this paper, we are concerned with what happens when the sequence t is not Rregular. One would like a similar mechanism for reducing questions about arbitrary
local rings to the artinian case.
It is well known that the map R → R/(t) is not nice enough in general to
guarantee good descent/lifting behavior. Our perspective2 in this matter is that
this is not the right map to consider in general: the correct one is the natural map
from R to the Koszul complex K = K R (t). This perspective requires one to make
some adjustments. For instance, K is a differential graded R-algebra, so not a
commutative ring in the traditional sense. This may cause some consternation, but
the payoff can be handsome. For instance, in [8] we use this perspective to answer
2000 Mathematics Subject Classification. 13C05, 13C60, 13D02, 13D07, 13J10.
Key words and phrases. DG algebras, DG modules, liftings, quasi-liftings, semidualizing
complexes.
Sather-Wagstaff was supported in part by North Dakota EPSCoR, National Science Foundation
Grant EPS-0814442, and a grant from the NSA.
1We know of this quote from [5].
2This perspective is not original to our work. We learned of it from Avramov and Iyengar.
1

2

SAEED NASSEH AND SEAN SATHER-WAGSTAFF

a question of Vasconcelos [9]. One of the tools for the proof of this result is the
following version of Auslander, Ding, and Solberg’s lifting result. Note that we do
not assume that R is local in part (a) of this result.
Main Theorem. Let t = t1 , · · · , tn be a sequence of elements of R, and assume
that R is tR-adically complete. Let D be a DG K R (t)-module that is homologically
bounded below and homologically degreewise finite.
(a) If Ext2K R (t) (D, D) = 0, then D is quasi-liftable to R, that is, there is a semi-free
R-complex D′ such that D ≃ K R (t) ⊗R D′ .
(b) Assume that R is local. If D is quasi-liftable to R and Ext1K R (t) (D, D) = 0, then
any two homologically degreewise finite quasi-lifts of D to R are quasiisomorphic
over R.
This result is proved in Corollaries 3.7 and 3.12, which follow from more general
results on liftings along morphisms of DG algebras. Note that it is similar to, but
quite different from, some results of Yoshino [10].
We briefly describe the contents of the paper. Section 1 contains some background material on DG algebras and DG modules. Section 2 contains some structural results for DG modules and homomorphisms between them. Finally, Section 3
is where we prove our Main Theorem.
1. DG Modules
We assume that the reader is familiar with the category of R-complexes. For
clarity, we include a few definitions.
Definition 1.1. In this paper, complexes of R-modules (“R-complexes” for short)
are indexed homologically:
M
∂n+2

M
∂n+1

∂M

M
∂n−1

n
→ Mn−1 −−−→ · · · .
M = · · · −−−→ Mn+1 −−−→ Mn −−

The degree of an element m ∈ M is denoted |m|. The tensor product of two Rcomplexes M, N is denoted M ⊗R N , and the Hom complex is denoted HomR (M, N ).
A chain map M → N is a cycle of degree 0 in HomR (M, N ). An R-complex M is
homologically bounded below if Hi (M ) = 0 for i ≫ 0; it is bounded below if Mi = 0
for i ≫ 0.
Next, we begin our background material on DG algebras; see [1, 3, 4].
Definition 1.2. A commutative differential graded R-algebra (DG R-algebra for
short) is an R-complex A equipped with a chain map µA : A ⊗R A → A with
ab := µA (a ⊗ b) that is:
associative: for all a, b, c ∈ A we have (ab)c = a(bc);
unital: there is an element 1 ∈ A0 such that for all a ∈ A we have 1a = a;
graded commutative: for all a, b ∈ A we have ab = (−1)|a||b|ba and a2 = 0
when |a| is odd; and
positively graded: Ai = 0 for i < 0.
The map µA is the product on A. Given a DG R-algebra A, the underlying algebra
is the graded commutative R-algebra A♮ = ⊕∞
i=0 Ai .
A morphism of DG R-algebras is a chain map f : A → B between DG R-algebras
respecting products and multiplicative identities: f (aa′ ) = f (a)f (a′ ) and f (1) = 1.

LIFTINGS AND QUASI-LIFTINGS OF DG MODULES

3

Example 1.3. The ring R, considered as a complex concentrated in degree 0, is a
DG R-algebra. Given a DG R-algebra A, the map R → A given by r 7→ r · 1 is a
morphism of DG R-algebras.
Fact 1.4. Let A be a DG R-algebra. The fact that the product on A is a chain
map says that ∂ A satisfies the Leibniz rule:
A
A
A
∂|a|+|b|
(ab) = ∂|a|
(a)b + (−1)|a| a∂|b|
(b).

It is straightforward to show that the R-module A0 is an R-algebra. Moreover, the
natural map A0 → A is a morphism of DG R-algebras. The condition A−1 = 0
implies that A0 surjects onto H0 (A) and that H0 (A) is an A0 -algebra. Furthermore,
the R-module Ai is an A0 -module, and Hi (A) is an H0 (A)-module for each i.
Given a second DG R-algebra K, the tensor product K ⊗R A is also a DG
′
R-algebra with multiplication (x ⊗ a)(x′ ⊗ a′ ) := (−1)|a||x | (xx′ ) ⊗ (aa′ ).
Definition 1.5. Let A be a DG R-algebra. We say that A is noetherian if H0 (A)
is noetherian and the H0 (A)-module Hi (A) is finitely generated for all i > 0. When
(R, m) is local, we say that A is local if it is noetherian and the ring H0 (A) is a
local R-algebra3 with maximal ideal mH0 (A)
Fact 1.6. Assume that (R, m) is local, and let A be a local DG R-algebra. The
composition A → H0 (A) → H0 (A)/mH0 (A) is a surjective morphism of DG R∂A

∂A

algebras with kernel of the form mA = · · · −−2→ A1 −−1→ m0 → 0 for some maximal
ideal m0 ( A0 . The quotient complex A/mA is A-isomorphic to H0 (A)/mH0 (A) .
Since H0 (A) is a local R-algebra, we have mA0 ⊆ m0 .
Definition 1.7. If R is local and A is a local DG R-algebra, then the subcomplex
mA is the augmentation ideal of A.
The following example is key for this investigation.
Example 1.8. Given a sequence t = t1 , · · · , tn ∈ R, the Koszul complex K =
K R (t) is a DG R-algebra with product given by the wedge product. If (R, m) is
local and t ∈ m, then K is a local DG R-algebra with augmentation ideal mK =
(0 → R → · · · → Rn → m → 0).
Definition 1.9. Let A be a DG R-algebra. A DG A-module is an R-complex
M with a chain map µM : A ⊗R M → M such that the rule am := µM (a ⊗ m)
is associative and unital. The map µM is the scalar multiplication on M . A
morphism of DG A-modules is a chain map f : M → N between DG A-modules that
respects scalar multiplication: f (am) = af (m). Isomorphisms in the category of
DG A-modules are identified by the symbol ∼
=. Quasiisomorphisms in the category
of DG A-modules are identified by the symbol ≃; these are the morphisms that
induce bijections on all homology modules. Two DG A-modules M and N are
quasiisomorphic, writen M ≃ N if there is a finite sequence of quasiisomorphisms
≃
≃
M−
→ ··· ←
− N.
Example 1.10. Consider the ring R as a DG R-algebra. A DG R-module is just
an R-complex, and a morphism of DG R-modules is simply a chain map.
3This means that H (A) is a local ring whose maximal ideal contains the ideal m H (A).
0
0

4

SAEED NASSEH AND SEAN SATHER-WAGSTAFF

Fact 1.11. Let A be a DG R-algebra, and let M be a DG A-module. The fact that
the scalar multiplication on M is a chain map says that ∂ M satisfies the Leibniz rule:
A
A
M
∂|a|+|m|
(am) = ∂|a|
(a)m + (−1)|a| a∂|m|
(m). The R-module Mi is an A0 -module,
and Hi (M ) is an H0 (A)-module for each i.
Definition 1.12. Let A be a DG R-algebra, and let i be an integer. The ith
suspension of a DG A-module M is the DG A-module Σi M defined by (Σi M )n :=
i
M
Mn−i and ∂nΣ M := (−1)i ∂n−i
. The scalar multiplication on Σi M is defined by the
i
formula µΣ M (a ⊗ m) := (−1)i|a| µM (a ⊗ m).
Definition 1.13. Let A be a DG R-algebra. A DG A-module M is homologically
degreewise finite if Hi (M ) is finitely generated over H0 (A) for all i; it is homologically
finite if it is homologically degreewise finite and Hi (M ) = 0 for |i| ≫ 0.
Definition 1.14. Let A be a DG R-algebra, and let M, N be DG A-modules. The
tensor product M ⊗A N is the quotient (M ⊗R N )/U where U is the subcomplex
generated by all elements of the form (am) ⊗ n − (−1)|a||m| m ⊗ (an). Given an
element m ⊗ n ∈ M ⊗R N , we denote the image in M ⊗A N as m ⊗ n.
Fact 1.15. Let A be a DG R-algebra, and let M, N be DG A-modules. The tensor
product M ⊗A N is a DG A-module via the action
a(m ⊗ n) := (am) ⊗ n = (−1)|a||m|m ⊗ (an).
Fact 1.16. Let A → B be a morphism of DG R-algebras. Given a DG A-module
M , the “base changed” complex B ⊗A M has the structure of a DG B-module
by the action b(b′ ⊗ m) := (bb′ ) ⊗ m. This structure is compatible with the DG
A-module structure via restriction of scalars.
Definition 1.17. Let A be a DG R-algebra, and let M be a DG A-module. The
underlying A♮ -module associated to M is the A♮ -module M ♮ = ⊕∞
i=−∞ Mi . A subset
♮
E of M is called a semi-basis if it is a basis of the underlying A -module M ♮ . If M
is bounded below, then M is called semi-free if it has a semi-basis.4 A semi-free
≃
resolution of a DG A-module N is a quasiisomorphism F −
→ N of DG A-modules
such that F is semi-free.
Assume that R and A are local. A minimal semi-free resolution of M is a semi≃
free resolution F −
→ M such that F is minimal, i.e., each (equivalently, some)
semi-basis of F is finite in each degree and the differential on (A/mA ) ⊗A F is 0.
Fact 1.18. Let A be a DG R-algebra. Let M be a homologically bounded below
DG A-module. Then M has a semi-free resolution over A by [4, Theorem 2.7.4.2].
Assume that A is noetherian, and let j be an integer. If Hi (M ) is finitely
generated over H0 (A) for all i, and Hi (M ) = 0 for i < j, then M has a semi-free
≃
i
♮ βi
with βi ∈ Z for all i and Fi = 0 for
resolution F −
→ M such that F ♮ ∼
= ⊕∞
i=j Σ (A )
all i < j; see [1, Proposition 1]. In particular, homologically finite DG A-modules
admit such “degreewise finite, bounded below” semi-free resolutions. Note that
i
♮ βi
says that the degree-i piece of the semi-basis
the condition F ♮ ∼
= ⊕∞
i=j Σ (A )
Ei = E ∩ Fi is finite for each i, and Ei = ∅ for i < j.
Assume that R and A are local. If Hi (M ) is finitely generated over H0 (A) for
≃
all i, and Hi (M ) = 0 for i < j, then M has a minimal semi-free resolution F −
→M
4As is noted in [4], when M is not bounded below, the definition of “semi-free” is significantly
more technical.

LIFTINGS AND QUASI-LIFTINGS OF DG MODULES

5

such that Fi = 0 for all i < j; see [1, Proposition 2]. In particular, homologically
finite DG A-modules admit minimal semi-free resolutions.
Definition 1.19. Let A be a DG R-algebra, and let M, N be DG A-modules.
Given an integer i, a DG A-module homomorphism of degree i is a homomorphism
f : M → N of the underlying R-complexes such that f (am) = (−1)i|a| af (m) for
all a ∈ A and m ∈ M . We write |f | = i. The (graded) submodule of HomR (M, N )
consisting of all DG A-module homomorphisms M → N is denoted HomA (M, N ).
Hom (M,N )
).
A homomorphism f ∈ HomA (M, N )i is null-homotopic if it is in Im(∂i+1 A
Two homomorphisms M → N are homotopic if their difference is null-homotopic.
Fact 1.20. Let A be a DG R-algebra, and let M, N be DG A-modules. The
complex HomA (M, N ) is a DG A-module via the action
(af )(m) := a(f (m)) = (−1)|a||f | f (am).
Definition 1.21. Let A → B be a morphism of DG R-algebras, and let M, M ′ be
DG A-modules. Given f ∈ HomA (M, M ′ )i , define B ⊗A f : B ⊗A M → B ⊗B M ′
by the formula (B ⊗A f )(b ⊗ m) = (−1)i|b| b ⊗ f (m).
Fact 1.22. Let A → B be a morphism of DG R-algebras, and let M, M ′ be DG
A-modules. Given a homomorphism f ∈ HomA (M, M ′ )i , the function B ⊗A f is
B-linear, that is, an element of HomB (B ⊗A M, B ⊗A M ′ )i . Furthermore, if f is a
cycle in HomA (M, M ′ )i , then B ⊗A f is a cycle in HomB (B ⊗A M, B ⊗A M ′ )i .
Definition 1.23. Let A be a DG R-algebra, and let M, N be DG A-modules.
≃
Given a semi-free resolution F −
→ M , we set ExtiA (M, N ) = H−i (HomA (F, N )) for
each integer i.
Fact 1.24. Let A be a DG R-algebra, and let M, N be DG A-modules. For each i,
the module ExtiA (M, N ) is independent of the choice of semi-free resolution of M ,
and we have ExtiA (M, N ) ≃ ExtiA (M ′ , N ′ ) whenever M ≃ M ′ and N ≃ N ′ ; see [3,
Propositions 1.3.1–1.3.3]. Given a semi-free resolution F ≃ M and an integer i,
the elements of ExtiA (M, N ) are by definition the homotopy equivalence classes of
morphisms of DG A-modules F → Σ−i N .
2. Structure of Semi-free DG Modules and DG Homomorphisms
The proof of our Main Theorem involves the manipulation of the differentials
on certain DG modules to construct isomorphisms that are amenable to lifting.
For this, we need a concrete understanding of these differentials and the homomorphisms between these DG modules. This concrete understanding is the goal of this
section. We begin by establishing some notation to be used for much of the paper.
Notation 2.1. Let A be a DG R-algebra such that each Ai is free over R of
finite rank. Given an element t ∈ R, let K = K R (t) denote the Koszul complex
t
→ K0 → 0 with K1 ∼
0 → K1 −
=R∼
= K0 and basis elements 1 ∈ K0 and e ∈ K1 .
We fix a basis {γi,1 , . . . , γi,ri } for Ai . Let B denote the DG R-algebra K R (t) ⊗R A,
which has the following form
B

B

B

B

B

∂i−1
∂i+1
∂1
∂2
∂i
B∼
= · · · −−−→ Ai−1 ⊕ Ai −−→ Ai−2 ⊕ Ai−1 −−−→ · · · −−→ A0 ⊕ A1 −−→ 0 ⊕ A0 → 0.
This uses the isomoprhism Bi = (K1 ⊗R Ai−1 ) ⊕ (K0 ⊗R Ai ) ∼
= Ai−1 ⊕ Ai . We
identify Bi with Ai−1 ⊕Ai for the remainder of this paper. Under this identification,

6

SAEED NASSEH AND SEAN SATHER-WAGSTAFF

the sum e ⊗ ai−1 + 1 ⊗ ai ∈ Bi corresponds to the column vector [ ai−1
ai ] ∈ Ai−1 ⊕ Ai .
The use of column vectors allows us to identify the differential of B as the matrix

 A
−∂i−1 0
B
.
∂i =
t
∂iA
Remark 2.2. In Notation 2.1, the algebra structure on B translates to the formula

 


a c + (−1)i ai cj−1
ai−1 cj−1
= i−1 j
ai cj
cj
ai
 cj−1 
ai−1
where [ ai ] ∈ Bi and cj ∈ Bj . This uses the fact that e2 = 0 in K.
Note that a basis of Bi is





  
γi−1,1
0
γi−1,ri−1
0
,...,
.
,...,
,
γi,ri
0
0
γi,1

Also, note that the assumptions on A imply that A and B are noetherian. From
the explicit description of ∂ B , it follows that H0 (B) ∼
= H0 (A)/t H0 (A).
Assume that R and A are local. Then B is also local. Moreover, given the
∂A

∂A

augmentation ideal mA = · · · −−2→ A1 −−1→ m0 → 0 it is straightforward to show
that the augmentation ideal of B is
B
∂i+1

B
∂i−1

∂B

∂B

∂B

mB = · · · −−−→ Ai−1 ⊕ Ai −−i→ Ai−2 ⊕ Ai−1 −−−→ · · · −−2→ A0 ⊕ A1 −−1→ 0 ⊕ m0 → 0
and we have B/mB ∼
= A/mA .
Notation 2.3. We work in the setting of Notation 2.1. Let {βi }∞
i=−∞ be a set of
cardinal numbers such that βi = 0 for i ≪ 0. For each integer i, set
Mi =

∞
M

(βi−j )

Aj

j=0

where

(β
)
Aj i−j

is a direct sum of copies of Aj indexed by βi−j . Identify each βi
S
(β )
with a basis ofFA0 i over A0 , and set β = i βi considered as a subset of the
disjoint union i Mi . Define scalar multiplication on M over A using the scalar
multiplication on each A(βi ) .
Consider R-module homomorphisms
ξi : Mi → Mi−1 ,

τi : Mi → Mi ,

δi : Mi → Mi−2 ,

and

αi : Mi → Mi−1 .

For each i, set
Ni = Mi−1 ⊕ Mi

∂iN

and

We consider the sequences
αi+1

α



ξ
= i−1
τi−1


δi
: Ni → Ni−1 .
αi

αi−1

i
Mi−1 −−−→ · · ·
M = · · · −−−→ Mi −→

and
N
∂i+1

∂N

N
∂i−1

N = · · · −−−→ Ni −−i→ Ni−1 −−−→ · · · .
m

j−1
Given elements [ ai−1
ai ] ∈ Bi and [ mj ] ∈ Nj , we define

 


ai−1 mj + (−1)i ai mj−1
ai−1 mj−1
.
=
a i mj
mj
ai

LIFTINGS AND QUASI-LIFTINGS OF DG MODULES

7

 0 
For each
F i, set Ei = {ei,j }j . Let
S βi,j ∈ βi we set ei,j = βi,j ∈ Ni . For each
E = i Ei considered as a subset of the disjoint union i Ni .

Remark 2.4. In Notation 2.3, the sequences M and N may not be complexes.
Note that the scalar multiplications defined on M and N make ⊕i Mi and ⊕i Ni
into graded free modules over A♮ and B ♮ , respectively.
The next result is a straightforward consequence of the definitions in 2.3.
Lemma 2.5. We work in the setting of Notations 2.1 and 2.3. The following
conditions are equivalent.
(i) The sequence M is a semi-free DG A-module;
(ii) The sequence M is a DG A-module; and
(iii) For all integers i and j we have
αi−1 αi = 0

αi+j (γi,s mj ) = ∂iA (γi,s )mj + (−1)i γi,s αj (mj )

(2.5.1)

for s = 1, . . . , ri and for all mj ∈ Mj .
Next, we give a similar result for the sequence N .
Lemma 2.6. We work in the setting of Notations 2.1 and 2.3. The following
conditions are equivalent.
(i) The sequence N is a semi-free DG B-module;
(ii) The sequence N is a DG B-module; and
(iii) For all integers i and j we have
ξi = −αi

τi = t

αi−1 αi = −tδi

δi αi+1 = αi−1 δi+1

δi+j (γi,s mj ) = γi,s δj (mj )
αi+j (γi,s mj ) =

∂iA (γi,s )mj

i

+ (−1) γi,s αj (mj )

(2.6.1)
(2.6.2)
(2.6.3)
(2.6.4)

for s = 1, . . . , ri and for all mj ∈ Mj .
In particular, if N is a DG B-module, then

−αi−1
N
∂i =
t


δi
.
αi

(2.6.5)

Proof. (ii) =⇒ (iii) Assume that N is a DG B-module. Then the scalar multiplication defined in Notation
satisfy the Leibniz rule. The Leibniz rule for

 0 must
 0  2.3
,
where
1 6 s 6 ri and mj ∈ Mj , is equivalent to
products of the form γi,s
mj
the following relations:
δi+j (γi,s mj ) = γi,s δj (mj )
αi+j (γi,s mj ) =

∂iA (γi,s )mj

The Leibniz rule for products of the form [

(2.6.6)
i

+ (−1) γi,s αj (mj ).
γi,s
0

τi+j (γi,s mj ) = tγi,s mj
ξi+j (γi,s mj ) =

−(∂iA (γi,s )mj

]



0
mj



(2.6.7)

is equivalent to the following:
(2.6.8)
i

+ (−1) γi,s αj (mj )).

(2.6.9)

8

SAEED NASSEH AND SEAN SATHER-WAGSTAFF

The Leibniz rule for products of the form



0
γi,s

τi+j (γi,s mj ) = γi,s τj (mj )
ξi+j (γi,s mj ) =
The Leibniz rule for [

γi,s
0

][

mj
0

−∂iA (γi,s )mj



[ m0j ] is equivalent to the following:
(2.6.10)
i

+ (−1) γi,s ξj (mj ).

(2.6.11)

] = 0 is equivalent to the following:

i

(−1) tγi,s mj + (−1)i+1 γi,s τj (mj ) = 0.

(2.6.12)

Equation (2.6.3) is the same as (2.6.6), and equation (2.6.4) is the same as (2.6.7).
Comparing equations (2.6.7) and (2.6.9) with γ0,1 = 1, we find ξi = −αi . Using
equation (2.6.8) also with γ0,1 = 1, we see that τi = t. This explains (2.6.2)
and (2.6.5). It also shows that (2.6.12) is trivial. Since N is an R-complex, we have
N
∂iN ∂i+1
= 0 which gives the equations in (2.6.2). This completes the proof of the
implication.
The implication (iii) =⇒ (ii) is handled similarly, and the equivalence (i) ⇐⇒ (ii)
is straightforward.

Our next two results characterize semi-free DG modules over A and B. The first
one is straightforward.
Lemma 2.7. We work in the setting of Notations 2.1 and 2.3. If F is a bounded
below semi-free DG A-module with semi-basis G, then F ∼
= M for some appropriate
choice of αi satisfying (2.5.1) for all i and j where βi = |G ∩ Fi |.
Lemma 2.8. We work in the setting of Notations 2.1 and 2.3. If F is a bounded
below semi-free DG B-module with semi-basis G, then F ∼
= N for some appropriate
choices of ξi , τi , αi , and δi satisfying (2.6.1)–(2.6.4) for all i and j where βi =
|G ∩ Fi |.
Proof. Let F be a bounded
below semi-free DG B-module with semi-basis G. For
T
each i, set βi = |G Fi |. Since F is semi-free, it is straightforward to show that
L
L∞
(βi−j )
Aj , we see that Fj ∼
. Decomposing Bj as Aj−1
Fi ∼
= Nj for
=
j=0 Bj
each j. Since the R-module homomorphisms Nj → Nj−1 are necessarily of the
δi
, it follows that there are appropriate choices of ξi , τi , αi , and δi such
form ξτi−1
i−1 αi
∼
that F = N . Finally, the fact that F is a DG B-module implies that the maps ξi ,
τi , αi , and δi satisfy (2.6.1)–(2.6.4), by Lemma 2.6.

The next result indicates how a semi-free DG B-module should look in order to
be liftable to A. See Section 3 for more about this.
Lemma 2.9. We work in the setting of Notations 2.1 and 2.3. If M is a semi-free
DG A-module, then B ⊗A M is a semi-free DG B-module, identified with a DG
B-module N with


−αi−1 0
N
.
∂i =
t
αi
Proof. Using the isomorphisms
B ⊗A M ∼
= (K R (t) ⊗R A) ⊗A M ∼
= K R (t) ⊗R M
the result follows directly from the definitions in 2.3 with Lemmas 2.5 and 2.6. 
Next, we describe DG module homomorphisms over A and B. Again, the proof
of the first of these results is straightforward.

LIFTINGS AND QUASI-LIFTINGS OF DG MODULES

9

Lemma 2.10. We work in the setting of Notations 2.1 and 2.3. Assume that M
is a semi-free DG A-module, and let M ′ be a second semi-free DG A-module. Fix
′
an integer p. A sequence of R-module homomorphisms {ui : Mi → Mi+p
} is a
′
DG A-module homomorphism M → M of degree p if and only if it is a degree-p
homomorphism M → M ′ of the underlying R-complexes and
ui+j (γi,s mj ) = (−1)pi γi,s uj (mj )
for s = 1, . . . , ri and for all mj ∈ Mj for each integer j.
Lemma 2.11. We work in the setting of Notations 2.1 and 2.3. Assume that N is
a semi-free DG B-module. Let N ′ be a second semi-free DG B-module built from
modules Mi′ and maps ξi′ , τi′ , δi′ , and α′i as in 2.3. Fix an integer p. A sequence
′
is a DG B-module homomorphism
of R-module homomorphisms Si : Ni → Ni+p
′
N → N of degree p if and only if it is a degree-p homomorphismh N → N ′ ofi the
p
underlying R-complexes such that for all integers i we have Si = (−1)0 zi−1 zvii for
′
′
some zi : Mi → Mi+p
and vi : Mi → Mi+p−1
and

vi+j (γi,s mj ) = (−1)i(p+1) γi,s vj (mj )

(2.11.1)

ip

zi+j (γi,s mj ) = (−1) γi,s zj (mj )

(2.11.2)

for s = 1, . . . , ri and for all mj ∈ Mj for each integer j.

′
. By
Proof. Fix a sequence of R-module homomorphisms S = Si : Ni → Ni+p
′
′
′
assumption, we have Ni = Mi−1 ⊕ Mi and Ni = Mi−1 ⊕ Mi , so the maps Si have
the form


ui−1 vi
′
′
: Mi−1 ⊕ Mi → Mi+p−1
⊕ Mi+p
Si =
yi−1 zi
′
′
′
, and
, yi−1 : Mi−1 → Mi+p
, vi : Mi → Mi+p−1
where ui−1 : Mi−1 → Mi+p−1
′
zi : Mi → Mi+p .
Assume that S is a DG B-module homomorphism N → N ′ of degree p. For each
bq ∈ Bq and nd ∈ Nd , we have
Sq+d (bq nd ) = (−1)pq bq Sd (nd ).

(2.11.3)

Therefore, given integers i and j, for s = 1, . . . , ri and
 0for all mj ∈ Mj , by writing
γ
equation (2.11.3) for the elements [ i,s
]
∈
B
and
i+1
mj ∈ Nj we have
0
yi+j (γi,s mj ) = 0

(2.11.4)

ui+j (γi,s mj ) = (−1)(i+1)p γi,s zj (mj ).

 
0
∈ Bi and m0j ∈ Nj we have
Using the elements γi,s


(2.11.5)

vi+j (γi,s mj ) = (−1)i(p+1) γi,s vj (mj )

(2.11.6)

ip

zi+j (γi,s mj ) = (−1) γi,s zj (mj ).
γ
[ i,s
0

(2.11.7)
m
[ 0j

Similar equations
the elements
] ∈ Bi+1 and
] ∈ Nj+1 and the
 0  arise using
m
∈ Bi and [ 0j ] ∈ Nj+1 .
elements γi,s
By comparing equations (2.11.5) and (2.11.7) we conclude that zi = (−1)p ui .
Equation (2.11.4) with γh0,1 = 1 implies
that yi = 0 for all i. Therefore, Si has
i
the desired form Si =

(−1)p zi−1 vi
0
zi

. Also, equations (2.11.6) and (2.11.7) are

exactly (2.11.1) and (2.11.2). This completes the proof of the forward implication.
The converse is established similarly.


10

SAEED NASSEH AND SEAN SATHER-WAGSTAFF

The last result of this section describes some homomorphisms between semi-free
DG B-modules that are liftable to A.
Lemma 2.12. We work in the setting of Notations 2.1 and 2.3. Let M and M ′ be
semi-free DG A-modules, and let f ∈ HomA (M, M ′ )j . If (B ⊗A M )i is identified
with Mi−1 ⊕Mi and similarly for (B⊗A M ′ )ih, then the map
i (B⊗A f )i : (B⊗A M )i →
(−1)j fi−1 0
′
.
(B ⊗A M )i+j is identified with the matrix
0
f
i

Proof. This follows directly from Definition 1.19.



3. Liftings and Quasi-liftings of DG Modules
In this section we prove our Main Theorem, starting with the definitions of our
notions of liftings in the DG arena.
Definition 3.1. Let T → S be a morphism of DG R-algebras, and let D be a DG
S-module. Then D is quasi-liftable to T if there is a semi-free DG T -module D′
such that D ≃ S ⊗T D′ ; in this case D′ is called a quasi-lifting of D to T . We say
that D is liftable to T if there is a DG T -module D′ such that D ∼
= S ⊗T D′ ; in
′
this case D is called a lifting of D to T .
Remark 3.2. In the definition of “quasi-liftable” we require that D′ is semi-free
in order to avoid the need for derived categories. If one prefers, one can remove the
′
semi-free assumption and require that D ≃ S ⊗L
T D instead.
Our next result is a technical lemma for use in the proof of our Main Theorem.
Lemma 3.3. We work in the setting of Notations 2.1 and 2.3. Let n > 1, and let
N (n−1) be a semi-free DG B-module
"

(n−1)

−αi−1

(n−1)

tn−1 δi

(n−1)
αi

t

#

N (n−1) = · · · → Mi−1 ⊕ Mi −−−−−−−−−−−−−−−→ Mi−2 ⊕ Mi−1 → · · ·
whose semi-basis over B is finite in each degree. In the case n > 2, assume that
(n−2)
: Mi → Mi−2 and
for each index i there are R-module homomorphisms vi
(n−2)
: Mi → Mi−1 such that
zi
(n−1)

αi

(n−1)
δi

=

(n−2)

= αi

(n−2)
vi

−

(n−2)
vi+j (γi,s mj )
(n−2)

zi+j
(n−2) (n−2)
−αi−2 vi

+

(n−2)

+ tn−1 zi

(3.3.1)

(n−2) (n−2)
tn−2 zi−1 zi

(3.3.2)

(n−2)
(mj )
γi,s vj

(3.3.3)

=

(n−2)

(γi,s mj ) = (−1)i γi,s zj

(mj ).

(n−2)
(n−2)
(n−2) (n−2)
(n−2) (n−2)
αi−2 zi−1 + zi−2 αi−1 + tvi−1 = δi−1
(n−2) (n−2)
(n−2) (n−2)
(n−2) (n−2)
+ vi−1 αi
− tn−2 zi−2 δi
tn−2 δi−1 zi

for s = 1, · · · , ri , for all mj ∈ Mj , and for each integer j.

(3.3.4)
(3.3.5)
= 0. (3.3.6)

LIFTINGS AND QUASI-LIFTINGS OF DG MODULES

11

If Ext2B (N (n−1) , N (n−1) ) = 0, then there is a semi-free DG B-module N (n) and
an isomorphism of DG B-modules

N (n−1) = · · ·


/ Mi−1 ⊕ Mi
(n−1)

1 −tn−1 zi
0
1

#
" (n−1)
(n−1)
−αi−1 tn−1 δi



"


/ Mi−1 ⊕ Mi

N (n) = · · ·

(n−1)

t

αi

(n)

(n)

−αi−1 tn δi

(n)
αi

t

/ ···

/ Mi−2 ⊕ Mi−1

#



(n−1)

1 −tn−1 zi−1
0
1


/ Mi−2 ⊕ Mi−1

/ ··· .

(n−1)

such that for each index i there are R-module homomorphisms vi
(n−1)
: Mi → Mi−1 such that
and zi
(n−1)

(n)

(n)
δi

αi

= αi

=

(n−1)
vi

−

(n−1)
vi+j (γi,s mj )
(n−1)

zi+j
(n−1) (n−1)
−αi−2 vi

+

(n−1)

(3.3.7)

(n−1) (n−1)
tn−1 zi−1 zi

(3.3.8)

(n−1)
(mj )
γi,s vj

(3.3.9)

=

(n−1)

+

(n−1) (n−1)
zi−2 αi−1

(n−1) (n−1)
tn−1 δi−1 zi

−

: Mi → Mi−2

+ tn z i

(γi,s mj ) = (−1)i γi,s zj

(n−1) (n−1)
αi−2 zi−1



+

(mj ).

(n−1)
tvi−1

(n−1) (n−1)
tn−1 zi−2 δi

+

=

(3.3.10)

(n−1)
δi−1

(3.3.11)

(n−1) (n−1)
vi−1 αi

= 0. (3.3.12)

for s = 1, · · · , ri , for all mj ∈ Mj , and for each integer j.
Proof. By Lemma 2.6, we conclude that for all integers i, j we have
(n−1) (n−1)

αi−1 αi

(n−1) (n−1)
αi+1

(n−1)

tn−1 δi

= −tn δi

(n−1)
tn−1 δi+j (γi,s mj )

=

(n−1)

(n−1)

= αi−1 tn−1 δi+1

(n−1)
(mj )
γi,s tn−1 δj
(n−1)

(n−1)

αi+j (γi,s mj ) = ∂iA (γi,s )mj + (−1)i γi,s αj

(3.3.13)
(3.3.14)

(mj )

(3.3.15)

for s = 1, . . . , ri and for all
mj ∈ M j .


(n−1)
δi−1
0
Note that the sequence
: Mi−1 ⊕ Mi → Mi−3 ⊕ Mi−2 is a cy(n−1)
0

δi

cle of degree −2 in the complex HomB (N (n−1) , N (n−1) ). Indeed, in the case n = 1,
this follows from equations (3.3.13)–(3.3.14); in the case n > 2, this follows from
equations (3.3.1)–(3.3.6). The assumption Ext2B (N (n−1) , N (n−1) ) = 0 implies that
this cycle is null-homotopic, that is, there is a DG B-module homomorphism
(n−1)
} : N (n−1) → N (n−1) of degree −1 such that
S (n−1) = {Si
 (n−1)

 (n−1)
  (n−1) n−1 (n−1) 
n−1 (n−1)
−αi−2 t
δi−1
δi
δi−1
0
(n−1) −αi−1 t
(n−1)
. (3.3.16)
+S
S
=
(n−1)
(n−1)
(n−1)
i−1
i
0

δi

t

αi−1

t

(n−1)

Lemma 2.11 implies that each Si

(n−1)

Si

=

is of the form
 (n−1) (n−1) 
−zi−1
0

vi

(n−1)

zi

αi

12

SAEED NASSEH AND SEAN SATHER-WAGSTAFF
(n−1)

(n−1)

: Mi → Mi−1 , and for s = 1, · · · , ri , and for
: Mi → Mi−2 and zi
where vi
all mj ∈ Mj for each integer j we have
(n−1)

vi+j

(n−1)

(γi,s mj ) = γi,s vj

(n−1)
zi+j (γi,s mj )

=

(mj )

(3.3.17)

(n−1)
(mj ).
(−1)i γi,s zj

(3.3.18)

Hence for every i the equality (3.3.16) implies that we have
(n−1) (n−1)

(n−1) (n−1)

+ zi−2 αi−1

αi−2 zi−1
(n−1) (n−1)
−αi−2 vi

+

(n−1) (n−1)
tn−1 δi−1 zi

−

(n−1)

+ tvi−1

(n−1) (n−1)
tn−1 zi−2 δi

+

(n−1)

(3.3.19)

= δi−1

(n−1) (n−1)
vi−1 αi

= 0. (3.3.20)

(n−1) (n−1)

(3.3.21)

Now let
(n)

αi

(n−1)

= αi

(n−1)

(n)

(n−1)

+ tn z i

= vi

δi

− tn−1 zi−1 zi

and
"

(n)

(n)

−αi−1 tn δi

(n)

t

α

#

i
N (n) = · · · → Mi−1 ⊕ Mi −−−−−−−−−
−−→ Mi−2 ⊕ Mi−1 → · · · .

Note that the conclusions (3.3.7)–(3.3.12) follow directly from (3.3.17)–(3.3.21).
Since N (n−1) is a DG B-module, equations (3.3.13), (3.3.19), and (3.3.21) give
the following equation for all i:
(n)

(n)

αi−1 αi

(n)

+ tn+1 δi

= 0.

(3.3.22)

By equations (3.3.13), (3.3.19), (3.3.20), and (3.3.21), for all i we have
(n)

(n) (n)

(n)

− αi−1 tn δi+1 + tn δi αi+1 = 0.

(3.3.23)

For s = 1, · · · , ri , and for all mj ∈ Mj , equations (3.3.14), (3.3.17), (3.3.18),
and (3.3.21) give the following equality:
(n)

(n)

tn δi+j (γi,s mj ) = γi,s tn δj (mj ).

(3.3.24)

Also, by equations (3.3.15), (3.3.18), and (3.3.21) we conclude that
(n)

(n)

αi+j (γi,s mj ) = ∂iA (γi,s )mj + (−1)i γi,s αj (mj ).

(3.3.25)

Therefore, equations (3.3.22)–(3.3.25) and Lemma 2.6 imply that N (n) is a semi-free
DG B-module. Equations (3.3.18)–(3.3.19) and (3.3.21) provide the next morphism
of DG B-modules:

N (n−1) = · · ·


/ Mi−1 ⊕ Mi
(n−1)

1 −tn−1 zi
0
1



" (n−1)
#
(n−1)
−αi−1 tn−1 δi
(n−1)

t

αi

" (n)
#
(n)
−αi−1 tn δi

/ Mi−2 ⊕ Mi−1


/ ···
(n−1)

1 −tn−1 zi−1
0
1

(n)




/ ··· .
/ Mi−2 ⊕ Mi−1
nh
io
(n−1)
1 tn−1 zi
Similar reasoning shows that the sequence
is a morphism of DG
0
1
B-modules, and it is straightforward to show that these sequences are inverse isomorphisms.

N (n) = · · ·


/ Mi−1 ⊕ Mi

t

αi

Part (a) of our Main Theorem is a consequence of the next result.

LIFTINGS AND QUASI-LIFTINGS OF DG MODULES

13

Theorem 3.4. We work in the setting of Notations 2.1 and 2.3. Assume that R
is tR-adically complete and that N is semi-free such that its semi-basis over B is
finite in each degree. If Ext2B (N, N ) = 0, then N is liftable to A with semi-free
lifting.
Proof. Set N (0) = N . Here, we use a natural variation of Notation 2.3; see equation (2.6.5):
"

(0)

(0)

−αi−1 δi

(0)

t

α

#

i
N (0) = · · · → Mi−1 ⊕ Mi −−−−−−−−
−→ Mi−2 ⊕ Mi−1 → · · · .

Because of our assumptions, each Mi is a finitely generated free R-module.
Lemma 3.3 implies that for each n > 1 there is a semi-free DG B-module N (n)
and an isomorphism of DG B-modules

N (n−1) = · · ·

/ Mi−1 ⊕ Mi



(n−1)

1 −tn−1 zi
0
1

" (n−1)
#
(n−1)
−αi−1 tn−1 δi



"



N (n) = · · ·

(n−1)

t

/ Mi−1 ⊕ Mi

αi

(n)

#
(n)



−αi−1 tn δi
t

(n)

αi

(n−1)

1 −tn−1 zi−1
0
1


/ Mi−2 ⊕ Mi−1
(n−1)

such that for each index i there are R-module homomorphisms vi
(n−1)
: Mi → Mi−1 such that
and zi
(n)

αi

(n−1)

= αi

/ ···

/ Mi−2 ⊕ Mi−1

/ ···
: Mi → Mi−2

(n−1)

+ tn z i

(3.4.1)

(n−1) (n−1)
(n−1)
(n)
− tn−1 zi−1 zi
δi = vi
(n−1)
(n−1)
(mj )
vi+j (γi,s mj ) = γi,s vj
(n−1)

zi+j

(n−1)

(γi,s mj ) = (−1)i γi,s zj

(n−1) (n−1)
αi−2 zi−1
(n−1) (n−1)
−αi−2 vi

+

+

(n−1) (n−1)
zi−2 αi−1

(n−1) (n−1)
tn−1 δi−1 zi

−

+

(3.4.2)
(3.4.3)

(mj ).

(n−1)
tvi−1

(n−1) (n−1)
tn−1 zi−2 δi



+

=

(n−1)
δi−1

(n−1) (n−1)
vi−1 αi

(3.4.4)
(3.4.5)
= 0. (3.4.6)

for s = 1, · · · , ri , for all mj ∈ Mj , and for each integer j. This follows by induction
on n; note that this uses the isomorphism N (n−1) ∼
= N in the induction step to
conclude that Ext2B (N (n−1) , N (n−1) ) ∼
= Ext2B (N, N ) = 0.
A straightforward calculation shows that
n−1
Yh
j=0

(j)

1 −tj zi
0
1

i

=

h

1−
0

Pn−1
j=0

1

(j)

tj zi

i

.

14

SAEED NASSEH AND SEAN SATHER-WAGSTAFF

Hence, the composite isomorphism N (0) → N (n) has the following form:

N (0) = · · ·


#
" (0)
(0)
−αi−1 δi

1−
0

Pn−1
j=0

(j)

tj zi

1



αi



(n)
αi

t

/ Mi−1 ⊕ Mi

/ ···

/ Mi−2 ⊕ Mi−1

#
" (n)
(n)
−αi−1 tn δi



N (n) = · · ·

(0)

t

/ Mi−1 ⊕ Mi

1−
0

Pn−1
j=0

(j)

tj zi

1


/ Mi−2 ⊕ Mi−1



/ ··· .

Furthermore, equation (3.4.1) shows that
(n)
αi

=

(0)
αi

n−1
X

+

(j)

tj+1 zi .

j=0

We now define N

(∞)

as follows:
"

(∞)

−αi−1
t

0
(∞)

α

#

N (∞) = · · · → Mi−1 ⊕ Mi −−−−−−−−i−−→ Mi−2 ⊕ Mi−1 → · · ·
where
(0)

(∞)

= αi

αi

+

∞
X

(j)

tj+1 zi .

j=0

(∞)
αi

is well-defined because R is tR-adically complete and the modules
Note that
Mi and Mi−1 are finitely generated free R-modules .
We claim that N (∞) is a semi-free DG B-module. For all indices i and n, set
(n)

ζi

=

∞
X

(j+n)

tj z i

(3.4.7)

j=0

and notice that
(∞)

αi

(n)

= αi

(n)

+ tn+1 ζi .

(3.4.8)

Using (3.3.22), it follows that
(n) (n)

(n)

(∞) (∞)
αi+1

(n) (n)

(n) (n)

(3.4.9)
= tn+1 (−δi+1 + αi ζi+1 + ζi αi+1 + tn+1 ζi ζi+1 ).
T∞
(∞) (∞)
It follows that αi αi+1 ∈ n=1 tn+1 HomR (Mi , Mi−1 ) = 0, by Krull’s Intersection
Theorem, so we have
(∞) (∞)
(3.4.10)
αi αi+1 = 0.
αi

Furthermore, for s = 1, · · · , ri and for all mj ∈ Mj equations (3.3.25), (3.4.4),
(3.4.7), and (3.4.8) imply that
(∞)

(∞)

αi+j (γi,s mj ) = ∂iA (γi,s )mj + (−1)i γi,s αj

(mj ).

(3.4.11)

Thus by equations (3.4.10), (3.4.11) and Lemma 2.6 we conclude that N (∞) is a
DG B-module.
Now consider the chain map ϕ = {ϕi } : N (0) → N (∞) defined by
∞ h
i h
Y
P∞ j (j) i
(j)
1 −tj zi
= 1 − j=0 t zi
ϕi =
j=0

0

1

0

1

LIFTINGS AND QUASI-LIFTINGS OF DG MODULES

15

This map is well-defined because R is tR-adically complete and Ni is finitely generated over R. Using these assumptions with equation (3.4.4) we conclude that

 P

 P
(l)
(l)
∞
∞
− l=0 tl zi+j (γi,s mj ) = (−1)i γi,s − l=0 tl zj (mj )

for s = 1, · · · , ri , and for all mj ∈ Mj for each integer j. Thus ϕ is B-linear and
satisfies the assumptions of Lemma 2.11, so
is a morphism
nhϕ P
io of DG B-modules.
∞
j (j)
1
j=0 t zi
Similar reasoning shows that the sequence
is a morphism of DG
0
1
B-modules, and it is easy to show that these sequences are inverse isomorphisms.
On the other hand, by equations (3.4.10)–(3.4.11) and Lemma 2.5, the sequence
(∞)

α

M (∞) = · · · → Mi −−i−→ Mi−1 → · · ·
is a semi-free DG A-module. Now Lemma 2.9 implies that M (∞) is a lifting of
N (∞) to A. Since N ∼
= N (∞) by definition, we conclude that M (∞) is a lifting of
N to A, so N is liftable to A.

Corollary 3.5. We work in the setting of Notation 2.1. Assume that R is tRadically complete. Let D be a DG B-module that is homologically both bounded
below and degreewise finite. If Ext2B (D, D) = 0, then D is quasi-liftable to A.
Proof. Fact 1.18 implies that D has a semi-free resolution N ≃ D over B such that
the semi-basis for N is finite in each degree. Since Ext2B (N, N ) ∼
= Ext2B (D, D) = 0,
Theorem 3.4 implies that N is liftable to A, with semi-free lifting M . Thus, we

have B ⊗A M ∼
= N ≃ D, so D is quasi-liftable to A.
The proof of our Main Theorem uses induction on n, the length of the sequence
t. The next result is useful for the induction step in this proof.
Proposition 3.6. We work in the setting of Notation 2.1. Assume that R is tRadically complete, and let D be a DG B-module that is homologically bounded below
and homologically degreewise finite such that ExtdB (D, D) = 0 for some integer d.
If M is a quasi-lifting of D to A, then ExtdA (M, M ) = 0.
Proof. Assume without loss of generality that M is degreewise finite and bounded
below; see Fact 1.18. Lemma 2.7 shows that M has the shape dictated by Notation 2.3. Since M is a quasi-lifting of D to A, we see that N = B ⊗A M ∼
=
K R (t) ⊗R M is a semi-free resolution of D over B; see Lemma 2.9. To show that
ExtdA (M, M ) = 0, let f = {fi : Mi → Mi−d } be a cycle in HomA (M, M )−d ; we need
to show that f is null-homotopic. The fact that f is a cycle says that for every i
(−1)
= fi
we have fi αi+1 = (−1)d αi+1−d fi+1 . For each i set vi
(n)
Claim: For all n > 0 and for all i ∈ Z, there are maps vi : Mi → Mi−d and
(n)
zi : Mi → Mi+1−d such that for s = 1, · · · , ri , and for all mj ∈ Mj for each j
(n)

(n)

vi+j (γi,s mj ) = (−1)−id γi,s vj (mj )
(n)
zi+j (γi,s mj )
(n)
(−1)d zi−2 αi−1

=

+
(n)

(n)
(−1)i(1−d) γi,s zj (mj )

(n)
tvi−1

+

(n)
αi−d zi−1
(n)

(−1)d vi−1 αi − αi−d vi

=

= 0.

(n−1)
vi−1

(3.6.1)
(3.6.2)
(3.6.3)
(3.6.4)

To prove the claim, we proceed by induction on n. We verify the base case and
the inductive step simultaneously. Let n > 0 and assume that for each i there

16

SAEED NASSEH AND SEAN SATHER-WAGSTAFF
(n−1)

: Mi → Mi−d such that for s = 1, · · · , ri , and for all mj ∈ Mj for each
exists vi
integer j, we have
(n−1)

vi+j

(n−1)

(γi,s mj ) = (−1)id γi,s vj

(n−1)
vi−1 αi

Thus, the sequence



(n−1)

(−1)d vi−1
0

d

− (−1)

0

(n−1)

vi

(n−1)
αi−d vi

(mj )

(3.6.5)

= 0.

(3.6.6)

: Mi−1 ⊕ Mi → Mi−d−1 ⊕ Mi−d



is a cy-

cle in HomB (N, N )−d , by Lemma 2.11. As ExtdB (D, D) = 0, this morphism is null(n)
homotopic. Thus there exists a DG B-module homomorphism S (n) = {Si } ∈
HomB (N, N )1−d such that for every i we have


i
h
(n−1)


(−1)d vi−1
0
(n)
−αi−d
0
1−d (n) −αi−1 0
=
−
(−1)
S
. (3.6.7)
S
(n−1)
t
αi−d+1
i−1
i
t
αi
0

vi

(n)
Si

is of the form
Lemma 2.11 implies that each


(n)
(n)
(−1)1−d zi−1 vi
(n)
Si =
: Ni → Ni−d+1
(n)
0

zi

(n)
zi :

(n)
vi :

Mi → Mi+1−d , and for s = 1, · · · , ri , and for all
Mi → Mi−d and
where
mj ∈ Mj for each integer j we have
(n)

(n)

vi+j (γi,s mj ) = (−1)−id γi,s vj (mj )
(n)
zi+j (γi,s mj )

=

(3.6.8)

(n)
(−1)i(1−d) γi,s zj (mj ).

(3.6.9)

Hence for each i, equation (3.6.7) implies that we have
(n)

(n)

(n−1)

(n)

(−1)d zi−2 αi−1 + tvi−1 + αi−d zi−1 = vi−1
(n)

(n)

(−1)d vi−1 αi − αi−d vi

= 0.

(3.6.10)
(3.6.11)

This completes the proof of the claim.
Equation (3.6.3) implies the following equality for each i:
#
" n
#
" n
X (j)
X (j)
(n)
j
j
d
+ tn+1 vi .
t zi
t zi−1 αi + αi+1−d
fi = (−1)
j=0

j=0

Since R is tR-adically complete and each Mi is finitely generated over R, each series
P
j (j)
converges in HomR (Mi , Mi+1−d ), and for every i we have
ηi = ∞
j=0 t zi
fi = (−1)d ηi−1 αi + αi+1−d ηi .

(3.6.12)

i(1−d)

By equation (3.6.2), we conclude that ηi+j (γi,s mj ) = (−1)
γi,s ηj (mj ) for all
i, j, s. Thus, Lemma 2.10 implies that η = {ηi } ∈ HomA (M, M ) is a DG A-module
homomorphism of degree 1 − d. Equation (3.6.12) implies that f = {fi } is nullhomotopic, as desired.

The next result contains part (a) of our Main Theorem.
Corollary 3.7. Let t = t1 , · · · , tn be a sequence of elements of R, and assume
that R is tR-adically complete. Let D be a DG K R (t)-module that is homologically
bounded below and homologically degreewise finite. If Ext2K R (t) (D, D) = 0, then D
is quasi-liftable to R.
Proof. By induction on n, using Corollary 3.5 and Proposition 3.6.



LIFTINGS AND QUASI-LIFTINGS OF DG MODULES

17

The version of our Main Theorem used in [8] requires a bit more terminology.
Definition 3.8. Let A be a DG R-algebra, and let M be a DG A-module. For each
a ∈ A the homothety (i.e., multiplication map) µM,a : M → M given by m 7→ am is
A
a homomorphism of degree |a|. The homothety morphism XM
: A → HomA (M, M )
A
M,a
A
is given by XM (a) = µ
, i.e., XM (a)(m) = am.
If A is noetherian and M is semi-free, then M is a semidualizing DG A-module
A
if M is homologically finite and the homothety morphism XM
: A → HomA (M, M )
is a quasiisomorphism. We say that an R-complex is semidualizing provided that it
is semidualizing as a DG R-module. Let S(A) be the set of shift-quasiisomorphism
classes of semidualizing DG A-modules, that is, the set of equivalence classes of
semidualizing DG A-modules where C ∼ C ′ if there is an integer n such that
C ′ ≃ Σn C.
Remark 3.9. Let A be a DG R-algebra, and let M , M ′ be semi-free DG Amodules. It is straightforward to show that if M ∼ M ′ , then M is semidualizing if
and only if M ′ is semidualizing. Note that our semi-free assumption in the definition
of semidualizing is only made in order to avoid the need for the derived category
D(A). If one prefers to work in D(A), then a homologically finite DG A-module N
is semidualizing if (and only if) the induced map χA
N : A → RHomA (N, N ) is an
isomorphism in D(A).
Corollary 3.10. Let t = t1 , · · · , tn be a sequence of elements of R, and assume that
R is tR-adically complete. If D is a semidualizing DG K R (t)-module, then there
exists a semidualizing R-complex C which is a quasi-lifting of D to R. Moreover,
∼
=
the base-change operation C 7→ K R (t)⊗R C induces a bijection S(R) −
→ S(K R (t)).
Proof. Note that the fact that R is tR-adically complete implies that tR is contained
in the Jacobson radical of R. Using this, one checks readily that the conclusions
of [6, Lemma A.3] hold in our setting. The existence of an R-complex C that is a
quasi-lifting of D to R follows from Corollary 3.7; and C is semidualizing over R
by [6, Lemma A.3(a)]. This says that the base-change map S(R) → S(K R (t)) is
surjective; it is injective by [6, Lemma A.3(b)].

Part (b) of our Main Theorem is a consequence of the next result.
Theorem 3.11. We work in the setting of Notation 2.1. Assume that R is tRadically complete, and assume that R, A, and A0 are local, and let D be a DG Bmodule that is homologically bounded below and homologically degreewise finite. If
D is quasi-liftable to A and Ext1B (D, D) = 0, then any two homologically degreewise
finite quasi-lifts of D to A are quasiisomorphic over A.
Proof. The assumption that R is tR-adically complete and local implies that t is
in the maximal ideal m ⊂ R.
Let C and C ′ be two homologically degreewise finite semi-free DG A-modules
≃
≃
such that B ⊗A C ≃ D ≃ B ⊗A C ′ . Let M −
→ C and M ′ −
→ C ′ be minimal
′
semi-free resolutions of C and C over A. Lemma 2.7 shows that M and M ′ have
the shape dictated by Notation 2.3. Since C and C ′ are quasi-liftings of D to A,
we see that N := B ⊗A M ∼
= K R (t) ⊗R M ′ are
= K R (t) ⊗R M and N ′ := B ⊗A M ′ ∼
semi-free resolutions of D over B; see Lemma 2.9. Furthermore, from Remark 2.2,
we have the isomorphism B/mB ∼
= A/mA , which implies that
B/mB ⊗B (B ⊗A M ) ∼
= A/mA ⊗A M.

18

SAEED NASSEH AND SEAN SATHER-WAGSTAFF

Since M is minimal over A, the differential on this complex is 0, so B ⊗A M is
minimal over B, and similarly for B ⊗A M ′ .
From [4, Theorem 2.12.5.2 and Example 2.12.5.4] there exists an isomorphism
∼
=
Υ: N −
→ N ′ . Lemma 2.11 implies that Υ has the following form
h

−αi−1 0
t
αi

i



−α′i−1 0
t
α′i



/ Mi−1 ⊕ Mi

N = ···
hz

N′ = · · ·

i−1

0

vi i
zi


/ M′ ⊕ M′
i−1
i

/ ···

/ Mi−2 ⊕ Mi−1
hz

i−2

0

(3.11.1)

vi−1 i
zi−1


/ M′ ⊕ M′
i−2
i−1

/ ···

and that we have
vi+j (γi,s mj ) = (−1)i γi,s vj (mj )

(3.11.2)

zi+j (γi,s mj ) = γi,s zj (mj )

(3.11.3)

for all i, for s = 1, . . . , ri and for all mj ∈ Mj for each integer j. As the diagram (3.11.1) commutes, we have
zi−1 αi = tvi + α′i zi

(3.11.4)

for all i. Since Υ is an isomorphism, it follows that the zi ’s are isomorphisms.
The condition (3.11.2) implies that v = {vi } ∈ HomA (M, M ′ )−1 ; cf. Lemma 2.10.
As the diagram (3.11.1) commutes, we have vi−1 αi = −α′i−1 vi for all i, so v is a cycle
′
′
in Hom
nhA (M, M i)−1 . This yields a cycle B ⊗A v ∈o HomB (N, N )−1 which has the
−vi−1 0
form
0
vi : Mi−1 ⊕ Mi → Mi−d−1 ⊕ Mi−d ; see Fact 1.20 and Lemma 2.12.
Since B ⊗A v is a cycle, our Ext-vanishing assumption implies that there is a DG
B-module homomorphism
 (0) (0) 
ui−1 pi
(0)
T =
∈ HomB (N, N ′ )0
(0)
0

ui

such that for every i we have
h ′
i
−αi−1 0
(0) 
(0)
Ti − Ti−1 −αti−1
′
t
α
i

0
αi



=

h

−vi−1 0
0
vi

Therefore for all i ∈ Z we obtain the following equations:
(0)

(0)

−ui−1 αi + tpi

(0)

+ α′i ui

(0)

i

.

= vi

(0)

ui+j (γi,s mj ) = γi,s uj (mj )
(0)

(0)

pi+j (γi,s mj ) = (−1)i γi,s pi (mj )
(0)

(0)

pi−1 αi = −α′i−1 pi .
(0)

The process repeats using p(0) = {pi } in place of p(−1) = v. Inductively, for
each n > 0 one can construct a DG B-module homomorphism
 (n) (n) 
ui−1 pi
(n)
T
=
∈ HomB (N, N ′ )0
(n)
0

ui

such that for every i we have
h ′
i
−αi−1 0
(n) 
(n)
Ti − Ti−1 −αti−1
′
t
α
i

0
αi



=



(n−1)

−pi−1
0

0
(n−1)

pi



.

LIFTINGS AND QUASI-LIFTINGS OF DG MODULES

19

Therefore for all i ∈ Z and n > 0 we get the following equations:
(n)

(n)

−ui−1 αi + tpi

(n)

+ α′i ui

(n−1)

= pi

(n)

(n)

ui+j (γi,s mj ) = γi,s uj (mj )

(3.11.5)

and hence
vi =

(−1)
pi

=

α′i

"

n
X

(j)
tj u i

j=0

#

+

(n)
tn+1 pi

−

"

n
X

(j)
tj ui−1

j=0

#

αi .

(3.11.6)

Since R is tR-adically complete, the next series converges for each i
∞
X
(j)
tj u i
ξi =
j=0

and equation (3.11.6) implies that
vi = α′i ξi − ξi−1 αi .

(3.11.7)

Combining equations (3.11.4) and (3.11.7), for each i we have
(zi−1 + tξi−1 )αi = α′i (zi + tξi ).

(3.11.8)

′

This shows that the sequence z + tξ : M → M is a degree-0 homomorphism of the
underlying R-complexes. Combining equations (3.11.3) and (3.11.5), we see that
(z + tξ)i+j (γi,s mj ) = γi,s (z + tξ)j (mj )
for all i, for s = 1, . . . , ri and for all mj ∈ Mj for each j. So, Lemma 2.10 implies
that z + tξ is a cycle in HomA (M, M ′ )0 . Since each zi is bijective and t ∈ m,
Nakayama’s Lemma implies that for every i, the map zi + tξi is also bijective.
∼
=
Hence z + tξ is an isomorphism M −
→ M ′ , so C ≃ M ∼

= M ′ ≃ C ′ , as desired.
Here is Main Theorem (b) from the introduction.
Corollary 3.12. Let t = t1 , · · · , tn be a sequence of elements of R, and assume
that R is local and tR-adically complete. Let D be a DG K R (t)-module that is
homologically bounded below and homologically degreewise finite. If D is quasiliftable to R and Ext1K R (t) (D, D) = 0, then any two homologically degreewise finite
quasi-lifts of D to R are quasiisomorphic over R.
Proof. By induction on n, using Theorem 3.11 and Proposition 3.6.



We conclude the paper with an example showing that the quasi-lifts in the previous two results must be homologically degreewise finite.
Example 3.13. Let (R, m) be a local integral domain that is not a field. Let Q(R)
be the field of fractions of R, and let 0 6= t ∈ m. If F is an R-free resolution of
Q(R), then F and 0 are both quasi-lifts of 0 from K R (t) to R.
References
1. D. Apassov, Homological dimensions over differential graded rings, Complexes and Differential Graded Modules, Ph.D. thesis, Lund University, 1999, pp. 25–39.
2. M. Auslander, S. Ding, and Ø. Solberg, Liftings and weak liftings of modules, J. Algebra 156
(1993), 273–397. MR 94d:16007
3. L. L. Avramov, Infinite free resolutions, Six lectures on commutative algebra (Bellaterra,
1996), Progr. Math., vol. 166, Birkhäuser, Basel, 1998, pp. 1–118. MR 99m:13022

20

SAEED NASSEH AND SEAN SATHER-WAGSTAFF

4. L. L. Avramov, H.-B. Foxby, and S. Halperin, Differential graded homological algebra, in
preparation.
5. W. Bruns and J. Herzog, Cohen-Macaulay rings, revised ed., Studies in Advanced Mathematics, vol. 39, University Press, Cambridge, 1998. MR 1251956 (95h:13020)
6. L. W. Christensen and S. Sather-Wagstaff, Descent via Koszul extensions, J. Algebra 322
(2009), no. 9, 3026–3046. MR 2567408
7. M. Hochster, Some applications of the Frobenius in characteristic 0, Bull. Amer. Math. Soc.
84 (1978), no. 5, 886–912. MR 0485848 (58 #5650)
8. S. Nasseh and S. Sather-Wagstaff, A local ring has only finitely many semidualizing complexes
up to shift-isomorphism, preprint (2012) arXiv:1201.0037.
9. W. V. Vasconcelos, Divisor theory in module categories, North-Holland Publishing Co., Amsterdam, 1974, North-Holland Mathematics Studies, No. 14, Notas de Matemática No. 53.
[Notes on Mathematics, No. 53]. MR 0498530 (58 #16637)
10. Y. Yoshino, The theory of L-complexes and weak liftings of complexes, J. Algebra 188 (1997),
no. 1, 144–183. MR 98i:13024
Department of Mathematics, North Dakota State University Dept # 2750, PO Box
6050, Fargo, ND 58108-6050 USA
E-mail address: saeed.nasseh@ndsu.edu
URL: https://www.ndsu.edu/pubweb/~nasseh/
E-mail address: sean.sather-wagstaff@ndsu.edu
URL: http://www.ndsu.edu/pubweb/~ssatherw/

