arXiv:1702.01107v2 [math.AC] 1 Aug 2017

HOMOLOGICAL DIMENSIONS OF LOCAL (CO)HOMOLOGY OVER
COMMUTATIVE DG-RINGS
LIRAN SHAUL
A BSTRACT. Let A be a commutative noetherian ring, let a ⊆ A be an ideal, and let I be
an injective A-module. A basic result in the structure theory of injective modules states
that the A-module Γa (I) consisting of a-torsion elements is also an injective A-module.
Recently, de Jong proved a dual result: If F is a flat A-module, then the a-adic completion
of F is also a flat A-module. In this paper we generalize these facts to commutative
noetherian DG-rings: let A be a commutative non-positive DG-ring such that H0 (A) is
a noetherian ring, and for each i < 0, the H0 (A)-module Hi (A) is finitely generated.
Given an ideal ā ⊆ H0 (A), we show that the local cohomology functor RΓā associated
to ā does not increase injective dimension. Dually, the derived ā-adic completion functor
LΛā does not increase flat dimension.

0. I NTRODUCTION
0.1. Torsion of injective modules. Let A be a commutative noetherian ring, and a ⊆ A an
ideal. The a-torsion functor is the functor Γa (M ) := lim HomA (A/an , M ) which maps an
−→
A-module M to its submodule consisting a-torsion elements. An important consequence
of Matlis’ structure theory of injective modules is the following result:
Theorem A. Let A be a commutative noetherian ring, let a ⊆ A be an ideal, and let J be
an injective A-module. Then Γa (J) is also an injective A-module.
This basic result depends on A being noetherian. It is false in general if A is not noetherian, even if a is finitely generated (see Remark 2.8 below).
We denote by D(A) the unbounded derived category of A-modules, and by Db (A) its
full triangulated subcategory of complexes with bounded cohomology. For M ∈ D(A),
its injective dimension, denoted by inj dimA (M ) was defined in [1, Definition 2.1.I]. The
functor Γa has a right derived functor
RΓa : D(A) → D(A)
It is calculated using K-injective resolutions. An immediate corollary of Theorem A is the
following result:
Corollary 0.1. Let A be a commutative noetherian ring, and let a ⊆ A be an ideal. Then
for any M ∈ Db (A), we have the following inequality:
inj dimA (RΓa (M )) ≤ inj dimA (M ).
We now switch our attention to commutative non-positive noetherian DG-rings. The
definition of a commutative DG-ring is recalled in Section 1.1 below. Just like commutative
rings represent affine schemes, commutative DG-rings represent affine derived schemes.
Mathematics Subject Classification 2010: 13D05, 13D45, 13B35, 16E45
Keywords: Local cohomology, Derived completion, Homological dimension, Commutative DG-rings.
1

2

LIRAN SHAUL

Given a commutative DG-ring A, the fact that Ai = 0 for i > 0 implies that H0 (A) is a
commutative ring. Following [11], we set
Ā := H0 (A).
A commutative DG-ring A is called noetherian if the commutative ring Ā is noetherian,
and Hi (A) is a finitely generated Ā-module for every i < 0. We will denote by D(A) the
unbounded derived category of DG-modules over A, and by Db (A) its full triangulated
subcategory of DG-modules with bounded cohomology.
Commutative noetherian DG-rings arise naturally in algebraic geometry: If K is a commutative noetherian ring, and A, B are finite type K-algebras then A⊗LK B is a commutative
noetherian DG-ring, and if K is not a field, it is often cannot be represented using ordinary
commutative rings.
Let A be a commutative DG-ring, and let ā ⊆ Ā be a finitely generated ideal. In our
recent paper [9] we introduced a triangulated functor
RΓā : D(A) → D(A)
called the right derived ā-torsion or local cohomology at ā functor. When A is a commutative noetherian ring, this functor coincides with the usual local cohomology functor. The
definition of RΓā as well as an explicit construction of it using the telescope complex is
recalled in Section 1.2 below. To any M ∈ D(A) we can associate its injective dimension,
denoted by inj dimA (M ). The definition is recalled in Section 1.3.
The first main result of this paper generalizes Corollary 0.1 to commutative noetherian
DG-rings:
Theorem 0.2. Let A be a commutative noetherian DG-ring, and let ā ⊆ H0 (A) be an
ideal. Then for any M ∈ Db (A), there is an inequality
inj dimA (RΓā (M )) ≤ inj dimA (M ).
We will prove this result in Theorem 2.7 below.
0.2. Completion of flat modules. Given a commutative ring A and a finitely generated
ideal a ⊆ A, the a-adic completion functor is the functor Λa (M ) := lim A/an ⊗A M . This
←−
construction is dual to the a-torsion functor. This is best demonstrated by the GreenleesMay duality([5]), which states that if A is noetherian then the derived functors of a-torsion
and a-adic completion are adjoint to each other. This intimate connection between atorsion and a-adic completion raises the question: is there a dual result to Theorem A for
the a-adic completion functor? We have the following result:
Theorem B. Let A be a commutative noetherian ring, let a ⊆ A be an ideal, and let F be
a flat A-module. Then Λa (F ) is also a flat A-module.
Theorem A is a classical result which has been known for many decades. In contrast,
Theorem B was first proved by de Jong in 2013 (see [10, Tag 0AGW]). If F is a finitely
generated A-module then this result is trivial. Prior to de Jong’s proof, the best known
result was by Enochs, who showed in [3] that this holds under the additional assumption
that A has finite Krull dimension. After de Jong’s proof, other proofs were given by Gabber
and Ramero, and by Yekutieli ([13, Theorem 0.1]).
For a complex of A-modules M , its flat dimension, denoted by fl dimA (M ) was defined
in [1, Definition 2.1.F]. The functor Λa has a left derived functor
LΛa : D(A) → D(A).

HOMOLOGICAL DIMENSIONS OF LOCAL (CO)HOMOLOGY

3

It is calculated using K-flat resolutions. The following is am immediate corollary of Theorem B:
Corollary 0.3. Let A be a commutative noetherian ring, and let a ⊆ A be an ideal. Then
for any M ∈ Db (A), we have the following inequality:
fl dimA (LΛa (M )) ≤ fl dimA (M ).
Now let A be a commutative DG-ring. Given a finitely generated ideal ā ⊆ Ā, there is
a triangulated functor
LΛā : D(A) → D(A)
called the derived ā-adic completion functor. Its definition is recalled in Section 1.2 below.
If A is a commutative noetherian ring, it coincides with the usual left derived functor of
adic completion. To any M ∈ D(A) we can associate its flat dimension, denoted by
fl dimA (M ). The definition is recalled in Section 1.3.
The second main result of this paper generalizes Corollary 0.3 to commutative noetherian DG-rings:
Theorem 0.4. Let A be a commutative noetherian DG-ring, and let ā ⊆ H0 (A) be an
ideal. Then for any M ∈ Db (A), there is an inequality
fl dimA (LΛā (M )) ≤ fl dimA (M ).
This will be proved in Theorem 3.3 below.
1. P RELIMINARIES
In this section we recall some basic facts concerning commutative DG-rings.
1.1. Commutative DG-rings. A DG-ring A is a Z-graded ring
A=

∞
M

An

n=−∞

together with an additive differential d : A → A of degree +1, such that d ◦ d = 0, and
such that the Leibniz rule holds: d(a · b) = d(a) · b + (−1)i · a · d(b) for all a ∈ Ai and
b ∈ Aj . A DG-ring A is called non-positive if Ai = 0 for all i > 0. We say that A is
commutative if b · a = (−1)i·j · a · b for all a ∈ Ai and b ∈ Aj , and moreover a · a = 0 if
i is odd.
In this paper, all DG-rings are assumed to be commutative and non-positive. Given
a commutative DG-ring A, a DG-module over it is graded A-module M with a differential
d : M → M of degree +1 satisfying a graded Leibniz rule. The category of all DGmodules is denoted by DGMod(A). Inverting quasi-isomorphisms in it, we obtain the
derived category of DG-modules over A, denoted by D(A).
If A is a commutative DG-ring, recall from the introduction that we denote by Ā the
commutative ring H0 (A). The DG-ring A is called noetherian if Ā is noetherian and Hi (A)
is a finitely generated Ā-module for all i < 0.
1.2. Local (co)homology over commutative DG-rings and the telescope complex. Let
A be a commutative DG-ring, and let ā ⊆ Ā be a finitely generated ideal. The category of
derived ā-torsion DG-modules, denoted by Dā−tor (A), is the full triangulated subcategory
of D(A), consisting of DG-modules M , such that for all n ∈ Z, the Ā-module Hn (M ) is
ā-torsion.

4

LIRAN SHAUL

According to [9, Theorem 2.13(1)], the inclusion functor iā : Dā−tor (A) ֒→ D(A) has
a right adjoint Fā : D(A) → Dā−tor (A). The composition iā ◦ Fā : D(A) → D(A)
is denoted by RΓā : D(A) → D(A) and called the local cohomology functor of A with
respect to ā.
By [9, Theorem 2.13(2)], the functor RΓā has a left adjoint LΛā : D(A) → D(A) called
the derived completion (or local homology) functor of A with respect to ā.
Below, we will give explicit formulas for the functors RΓā , LΛā .
Remark 1.1. If A is an ordinary commutative noetherian ring, by [6, Theorem 7.12], these
constructions of local cohomology and derived completion with respect to ā coincide with
the usual right derived functor of the functor Γā and left derived functor of Λā .
To give an explicit formula for the local cohomology RΓā and derived completion LΛā ,
we recall the construction of the telescope complex from [6, Section 5]: given a commutative ring A and some a ∈ A, the telescope complex Tel(A; a) is the cochain complex
0→

∞
M

d

A−
→

i=0

∞
M

A→0

i=0

with non-zero components in degrees
L∞ 0, 1. Letting {δi | i ≥ 0} be the basis of the countably generated free A-module i=0 A, the differential d is defined by
(
δ0
if i = 0
d(δi ) =
δi−1 − a · δi if i ≥ 1
Given a finite sequence a = (a1 , . . . , an ) of elements of A, the telescope complex associated to a is the complex
Tel(A; a) := Tel(A; a1 ) ⊗A Tel(A; a2 ) ⊗A · · · ⊗A Tel(A; an ).
This is a bounded complex of free A-modules. The telescope complex has the following
base change property: if f : A → B is a homomorphism between commutative rings,
and b = (f (a1 ), f (a2 ), . . . , f (an )), there is an isomorphism of complexes of B-modules
Tel(A; a) ⊗A B ∼
= Tel(B; b).
Let A be a commutative DG-ring, and let ā ⊆ Ā be a finitely generated ideal. Let
ā = (ā1 , . . . , ān ) be a finite sequence of elements in Ā that generates ā, and using the
surjection A0 → Ā, choose some lifts a = (a1 , . . . , an ) of ā to the commutative ring A0 .
By [9, Proposition 2.4] and the base change property of the telescope complex, there are
isomorphisms
RΓā (−) ∼
= Tel(A0 ; a) ⊗A0 −

(1.2)
and

LΛā (−) ∼
= HomA0 (Tel(A0 ; a), −)

(1.3)
of functors D(A) → D(A).

1.3. Homological dimensions over commutative DG-rings. Let A be a commutative
DG-ring. Given a DG-module M over A, we set
inf(M ) := inf{i ∈ Z | Hi (M ) 6= 0},
and amp(M ) := sup(M ) − inf(M ).

sup(M ) := sup{i ∈ Z | Hi (M ) 6= 0}

HOMOLOGICAL DIMENSIONS OF LOCAL (CO)HOMOLOGY

5

Let M be a DG-module over A. Following [1, Section 2.I], we let the injective dimension of M , denoted by inj dimA (M ) to be the number:
inf{n ∈ Z | ExtiA (N, M ) = 0 for any bounded DG-module N and any i > n − inf N }
where ExtiA (N, M ) := Hi (R HomA (N, M )). By [1, Theorem 2.4.I]1 this coincides with
the usual definition in case A is a commutative ring. Similarly, we let the flat dimension of
M , denoted by fl dimA (M ) to be the number:
inf{n ∈ Z | ToriA (N, M ) = 0 for any bounded DG-module N and any i > n − inf N }
where ToriA (N, M ) := H−i (N ⊗LA M ). The projective dimension of M , denoted by
proj dimA (M ) is defined similarly.
1.4. Subcategories of D(A). Given a commutative DG-ring A, we denote by D− (A) (respectively by D+ (A)) the full triangulated subcategory of A consisting of DG-modules
with bounded above (resp. bounded below) cohomology. The full triangulated subcategory of DG-modules with bounded cohomology is Db (A) = D− (A) ∩ D+ (A). Assume further that A is noetherian. In particular, Ā is a noetherian ring. We say that
M ∈ D(A) has finitely generated cohomology if for all i ∈ Z, Hi (M ) is a finitely generated Ā-module. The full triangulated subcategory of D(A) consisting of DG-modules with
+
finitely generated cohomologies is denoted by Df (A). We let D+
f (A) = D (A) ∩ Df (A),
−
−
b
b
Df (A) = D (A) ∩ Df (A) and Df (A) = D (A) ∩ Df (A).
1.5. The tensor-evaluation morphism. Let A be a commutative DG-ring. Given
M, N, K ∈ D(A),
there is a natural morphism
ηM,N,K : R HomA (M, N ) ⊗LA K → R HomA (M, N ⊗LA K)
in D(A), defined as follows: Let P ∼
= M be a K-projective resolution, and let F ∼
= K be
a K-flat resolution. Then, ηM,N,K is the composition
φ
→
R HomA (M, N ) ⊗LA K ∼
= HomA (P, N ) ⊗A F −
HomA (P, N ⊗A F ) ∼
= R HomA (M, N ⊗L K)
A

where the map φ is the usual tensor-evaluation morphism (see [11, Equation (5.6)] for its
formula in the DG-case). The next result generalizes [8, Proposition 6.7].
Proposition 1.4. Let A be a commutative noetherian DG-ring, and let M, N, K ∈ D(A).
Assume one of the following holds:
b
(1) M ∈ D−
f (A), N ∈ D (A) and fl dimA (K) < ∞.
(2) proj dimA (M ) < ∞, N ∈ Db (A) and K ∈ D−
f (A).

Then the morphism
ηM,N,K : R HomA (M, N ) ⊗LA K → R HomA (M, N ⊗LA K)
is an isomorphism in D(A).
1Unlike [1], in this paper we use a cohomological notation, hence the difference between the formulas.

6

LIRAN SHAUL

Proof.

(1) Fixing such N, K, we have a natural morphism
ζM : R HomA (M, N ) ⊗LA K → R HomA (M, N ⊗LA K)

These assumptions on N, K ensure that the functors R HomA (−, N ) ⊗LA K and
R HomA (−, N ⊗LA K) are both contravariant way-out right functors. Clearly, ζA
is an isomorphism. Hence, by a DG-version of the lemma on way-out functors
(for instance, [11, Theorem 2.11]), we deduce that ζM is an isomorphism for any
M ∈ D−
f (A).
(2) Fixing such M, N , we have a natural morphism
ιK : R HomA (M, N ) ⊗LA K → R HomA (M, N ⊗LA K).
These assumptions on M, N ensure that the functors R HomA (M, N ) ⊗LA − and
R HomA (M, N ⊗LA −) are both covariant way-out left functors, and it is clear
that ιA is an isomorphism. Hence, by the lemma on way-out functors, ιK is an
isomorphism for any K ∈ D−
f (A).

2. I NJECTIVE DIMENSION

OF LOCAL COHOMOLOGY

In this section we will prove Theorem 0.2. We begin by proving some basic results
about injective dimension over commutative DG-rings.
Proposition 2.1. Let A → B be a homomorphism between commutative DG-rings, and
let M be a DG-module over A. Then
inj dimB (R HomA (B, M )) ≤ inj dimA (M ).
Proof. This follows from the adjunction
R HomB (−, R HomA (B, M )) ≃ R HomA (−, M )

Over a commutative ring A, it is well known that one can detect the injective dimension
of a complex M by checking the vanishing of ExtiA (N, M ) for all A-modules N (that is,
complexes with zero amplitude). The proof of the next result is based on the same idea
over a DG-ring A, together with the observation that a DG-module whose amplitude is
zero is isomorphic in the derived category to the shift of an Ā-module.
Theorem 2.2. Let A be a commutative DG-ring, and let M be a DG-module over A. Then
there is an equality

inj dimA (M ) = inj dimH0 (A) R HomA (H0 (A), M )
Proof. Applying Proposition 2.1 to the map A → Ā, we have that


inj dimA (M ) ≥ inj dimĀ R HomA (Ā, M ) .

To prove the converse, assume inj dimĀ R HomA (Ā, M ) = n < ∞. Let N be a
bounded DG-module. We must show that ExtiA (N, M ) = 0 for all i > n − inf N . We
will prove this by induction on amp N . If amp N = 0, there is some m ∈ Z such that
N ≃ Hm (N )[−m]

HOMOLOGICAL DIMENSIONS OF LOCAL (CO)HOMOLOGY

7

It follows by adjunction that
R HomA (N, M ) ≃ R HomA (Hm (N )[−m], M )
≃ R HomĀ (Hm (N )[−m], R HomA (Ā, M ))

so the fact that inj dimĀ R HomA (Ā, M ) = n implies that ExtiA (N, M ) = 0 for all
i > n − inf N .
Given l > 0, assume now that for any bounded DG-module N with amp N < l we
have that ExtiA (N, M ) = 0 for all i > n − inf N , and let N be a bounded DG-module
with amp N = l.
According to [4, Page 299], using truncations, the DG-module N fits into a distinguished triangle
(2.3)

N ′ → N → N ′′ → N [1]

in D(A), such that the amp N ′ < l, amp N ′′ < l, and moreover inf N ′ ≥ inf N and
inf N ′′ ≥ inf N . Applying the contravariant triangulated functor R HomA (−, M ) to the
triangle (2.3), we obtain a distinguished triangle
(2.4)
R HomA (N ′′ , M ) → R HomA (N, M ) → R HomA (N ′ , M ) → R HomA (N ′′ , M )[1]
The result now follows from the induction hypothesis and the long exact sequence in cohomology associated to the distinguished triangle (2.4).

Before stating the next lemma, we shall need the following terminology:
Remark 2.5. If A is a commutative DG-ring, and ā ⊆ Ā is a finitely generated ideal, we
can form the local cohomology functor of A with respect to ā and the local cohomology
functor of Ā with respect to ā. The former is a functor D(A) → D(A), while the latter is a
functor D(Ā) → D(Ā).
According to our notations, both should be denoted by RΓā . In cases where there will
be such ambiguity, we solve it by using the notation
RΓĀ
ā : D(Ā) → D(Ā)
for the local cohomology functor of Ā with respect to ā, and the notation
RΓA
ā : D(A) → D(A)
for the local cohomology functor of A with respect to ā. Similarly, we will write
LΛĀ
ā : D(Ā) → D(Ā)
for the derived completion functor of Ā with respect to ā, and
LΛA
ā : D(A) → D(A)
for the derived completion functor of A with respect to ā.
Lemma 2.6. Let A be a commutative noetherian DG-ring, and let ā ⊆ H0 (A) be an
ideal. Then for any DG-module M over A with bounded cohomology, there is a natural
isomorphism


A
∼
RΓĀ
ā R HomA (Ā, M ) = R HomA Ā, RΓā (M )
in D(Ā).

8

LIRAN SHAUL

Proof. Let a be a finite sequence of elements of the ring A0 whose image in Ā generates
the ideal ā, and let ā be its image in Ā. The latter is a finite sequence of elements of the
ring Ā. By (1.2), there is a natural isomorphism

∼
RΓĀ
ā R HomA (Ā, M ) = Tel(Ā; ā) ⊗Ā R HomA (Ā, M ).

By the base change property of the telescope complex, there is an isomorphism of complexes of Ā-modules:
Tel(A0 ; a) ⊗A0 Ā ∼
= Tel(Ā; ā).
This implies that
∼ Tel(A0 ; a) ⊗A0 R HomA (Ā, M )
Tel(Ā; ā) ⊗ R HomA (Ā, M ) =
Ā

Set T := A ⊗A0 Tel(A0 ; a). Since Tel(A0 ; a) is a K-flat complex of finite flat dimension
over A0 , it follows that the DG-module T is K-flat over A and that fl dimA (T ) < ∞.
Hence, it holds that
Tel(A0 ; a) ⊗A0 R HomA (Ā, M ) ∼
= T ⊗L R HomA (Ā, M ).
A

Let M ∼
= I be a K-injective resolution over A, let I ⊗A T ∼
= J be a K-injective resolution
≃
over A, and let A → B −
→ Ā be a semi-free DG-algebra resolution of Ā over A. In
particular, B is K-projective over A. These resolutions and the naturality of the tensor
evaluation morphism induce a commutative diagram in DGMod(A):
HomA (Ā, I) ⊗A T

β

α

/ HomA (Ā, I ⊗A T )

ϕ

/ HomA (Ā, J)
ψ

δ


HomA (B, I) ⊗A T

γ


/ HomA (B, I ⊗A T )



χ

/ HomA (B, J)

Since I is K-injective over A and T is K-projective over A, it follows that α is a quasiisomorphism. Similarly, since B is K-projective over A, it follows that χ is a quasiisomorphism. K-injectivity of J over A implies that ψ is a quasi-isomorphism. Finally,
since A is noetherian and T has finite flat dimension over A, it follows by Proposition
1.4(1) that γ is a quasi-isomorphism. Hence, by the 2-out-of-3 property, the Ā-linear map
ϕ ◦ β is also a quasi-isomorphism. Hence, there are natural isomorphisms
R HomA (Ā, M ) ⊗A T ∼
= HomA (Ā, I) ⊗A T ∼
=
HomA (Ā, J) ∼
= R HomA (Ā, M ⊗A T )
in D(Ā). Finally, note that
M ⊗A T = M ⊗A (A ⊗A0 Tel(A0 ; a)) ∼
= RΓA
= M ⊗A0 Tel(A0 ; a) ∼
ā (M )
Combining all the above natural isomorphisms gives the required result.



We now prove the first main result of this paper.
Theorem 2.7. Let A be a commutative noetherian DG-ring, and let ā ⊆ H0 (A) be an
ideal. Then for any M ∈ Db (A), there is an inequality
inj dimA (RΓā (M )) ≤ inj dimA (M ).
Proof. According to Theorem 2.2, we have that


inj dimA (RΓā (M )) = inj dimA RΓA
ā (M ) =

inj dimĀ R HomA (Ā, RΓA
ā (M )) .

HOMOLOGICAL DIMENSIONS OF LOCAL (CO)HOMOLOGY

9

Using Lemma 2.6, we have that

inj dimĀ R HomA (Ā, RΓA
ā (M )) =


inj dimĀ RΓĀ
ā (R HomA (Ā, M ))

and by Corollary 0.1 we obtain that



inj dimĀ RΓĀ
ā (R HomA (Ā, M )) ≤

inj dimĀ R HomA (Ā, M ) = inj dimA (M )

where the last equality follows from Theorem 2.2. Combining all of the above, we obtain
that
inj dimA (RΓā (M )) ≤ inj dimA (M )
as claimed.

Remark 2.8. Given a commutative ring A, and a finitely generated ideal a ⊆ A, unlike
Remark 1.1, if A is non-noetherian in general the right derived functor of the a-torsion
functor Γa might be different from the local cohomology functor with respect to a from
Section 1.2. However, if a satisfies a technical condition called weak proregularity (see
[6, Definition 4.21]), these functors coincide. In [7, Proposition 3.1], there is an example
of a commutative ring A, a finitely generated (in fact, principal) weakly proregular ideal
a ⊆ A, and an injective A-module I such that Γa (I) is not an injective A-module.
3. F LAT DIMENSION

OF DERIVED COMPLETION

The aim of this section is to prove Theorem 0.4. The next result is dual to Theorem 2.2.
Theorem 3.1. Let A be a commutative DG-ring, and let M be a DG-module over A. Then
there is an equality

fl dimA (M ) = fl dimH0 (A) H0 (A) ⊗LA M
Proof. For any N ∈ D(Ā), the isomorphism

N ⊗LA M ∼
= N ⊗LĀ (Ā ⊗LA M )
shows that


fl dimA (M ) ≥ fl dimĀ Ā ⊗LA M

To prove the converse, assume that fl dimĀ Ā ⊗LA M = n < ∞, and let N be a bounded
DG-module. If amp(N ) = 0, there is an isomorphism N ∼
= Hm (N )[−m] for some
m ∈ Z, which implies that

M ⊗LA N ∼
= M ⊗LA Ā ⊗LĀ Hm (N )[−m]
Hence, the fact that


fl dimĀ Ā ⊗LA M = n

implies that in this case ToriA (N, M ) = 0 for all i > n − inf N . Now, proceeding by
induction on amp(N ), exactly as in the proof of Theorem 2.2, we obtain the general case
for an arbitrary bounded DG-module N .

We will now use again the terminology introduced in Remark 2.5.

10

LIRAN SHAUL

Lemma 3.2. Let A be a commutative noetherian DG-ring, and let ā ⊆ H0 (A) be an
ideal. Then for any DG-module M over A with bounded cohomology, there is a natural
isomorphism


A
L
L
∼
LΛĀ
ā Ā ⊗A M = Ā ⊗A LΛā (M )
in D(Ā).

Proof. Let a be a finite sequence of elements of the ring A0 whose image in Ā generates
the ideal ā, and let ā be its image in Ā. The latter is a finite sequence of elements of the
ring Ā. By (1.3), there is a natural isomorphism

LΛĀ Ā ⊗L M ∼
= Hom (Tel(Ā; ā), Ā ⊗L M )
Ā

A

ā

A

As in the proof of Lemma 2.6, setting T := Tel(A0 ; a) ⊗A0 A, observing that T is Kprojective over A, and using adjunctions, this is naturally isomorphic to

HomA (T, Ā ⊗LA M ).
Let P ∼
= M be a K-flat resolution over A, let F ∼
= HomA (T, P ) be a K-flat resolution
over A, and let A → B ∼
= Ā be a semi-free DG-algebra resolution of Ā over A. We obtain
a commutative diagram in DGMod(A):
β

F ⊗O A Ā

ϕ

/ HomA (T, P ) ⊗A Ā
O

α

/ HomA (T, P ⊗A Ā)
O
ψ

δ

F ⊗A B

γ

/ HomA (T, P ) ⊗A B

χ

/ HomA (T, P ⊗A B)

The fact that F is K-flat over A implies that α is a quasi-isomorphism, while K-flatness of
B over A implies that γ is a quasi-isomorphism. The fact that P is K-flat over A and T is
K-projective over A implies that ψ is a quasi-isomorphism. Finally, since A is noetherian
and proj dimA (T ) < ∞, by Proposition 1.4(2), the map χ is a quasi-isomorphism. It
follows by the 2-out-of-3 property that the Ā-linear map ϕ ◦ β is a quasi-isomorphism.
Hence, there are natural isomorphisms
R HomA (T, M ) ⊗L Ā ∼
=
= F ⊗A Ā ∼
A

HomA (T, P ⊗A Ā) ∼
= R HomA (T, M ⊗LA Ā)
in D(Ā). The result now follows by combining all these isomorphisms and using the fact
that there is a natural isomorphism
∼ R HomA (T, M )
LΛA (M ) =
ā

in D(A).



Here is the second main result of this paper.
Theorem 3.3. Let A be a commutative noetherian DG-ring, and let ā ⊆ H0 (A) be an
ideal. Then for any M ∈ Db (A), there is an inequality
fl dimA (LΛā (M )) ≤ fl dimA (M ).
Proof. By Theorem 3.1,


fl dimA (LΛā (M )) = fl dimA LΛA
ā (M ) =

fl dimĀ Ā ⊗LA LΛA
ā (M ) .

HOMOLOGICAL DIMENSIONS OF LOCAL (CO)HOMOLOGY

11

Using Lemma 3.2, we have that




L
Ā
fl dimĀ Ā ⊗LA LΛA
ā (M ) = fl dimĀ LΛā (Ā ⊗A M )

and by Corollary 0.3 we obtain that



L
L
fl dimĀ LΛĀ
ā (Ā ⊗A M ) ≤ fl dimĀ Ā ⊗A M = fl dimA (M )

where the last equality follows from Theorem 3.1. Combining all of the above, we obtain
that
fl dimA (LΛā (M )) ≤ fl dimA (M )
as claimed.

Remark 3.4. As in Remark 2.8, this result is false in general if the (DG-)ring is not assumed to be noetherian (even if the ideal is finitely generated by a regular sequence). See
[13, Theorem 6.2] for an example.
Remark 3.5. Let A be a commutative noetherian ring such that the Krull dimension of
A is ≥ 1, and let B = A[x]. Then B is a projective B-module, and it follows from [2,
Theorem 1] that the B-module Λ(x) (B) is not projective.
We finish the paper with an important application of Theorem 3.3. A basic result in
commutative algebra states that if A is a commutative noetherian ring, and a ⊆ A is an
b from A to its a-adic completion is flat. Here is the
ideal, then the canonical map A → A
analogue of this result in derived commutative algebra:
Let A be a commutative noetherian DG-ring, and let ā ⊆ Ā be an ideal. The derived
ā-adic completion of A is a commutative DG-ring, denoted by LΛ(A, ā). It was defined in
b There is a natural
[9, Theorem 0.2]. It is a derived analogue of the a-adic completion A.
map A → LΛ(A, ā), but this is not a map of DG-rings. Instead, it only exists in a suitable
homotopy category (see [9] for details). Concretely, one can realize it as follows: there is
a commutative DG-ring P , a quasi-isomorphism P → A, and a natural map of DG-rings
P → LΛ(A, ā). Since P and A are quasi-isomorphic, the triangulated categories D(A)
and D(P ) are isomorphic. Using this isomorphism and the map P → LΛ(A, ā), we can
view LΛ(A, ā) as an object of D(A). According to [9, Proposition 3.58], this object is
isomorphic to LΛā (A).
b in derived
The above paragraph explains that the analogue of the number fl dimA (A)
commutative algebra is the number fl dimA (LΛā (A)). This explains the importance of our
final result:
Corollary 3.6. Let A be a commutative noetherian DG-ring, and assume that A has
bounded cohomology. Let ā ⊆ H0 (A) be an ideal. Then
fl dimA (LΛā (A)) = 0.
Proof. Since fl dimA (A) = 0, it follows from Theorem 3.3 that
fl dimA (LΛā (A)) ≤ 0.
On the other hand, by [9, Proposition 6.1], we have that
H0 (LΛā (A)) ∼
= Λā (H0 (A)) ≇ 0.
Hence, sup(LΛā (A)) = 0, and we deduce that
H0 (LΛā (A) ⊗LA H0 (A)) 6= 0,

12

LIRAN SHAUL

which implies that
fl dimA (LΛā (A)) ≥ 0.

Acknowledgments. The author is grateful to the anonymous referee for comments and
suggestions that helped improving this manuscript.
R EFERENCES
[1] Avramov, L. L., and Foxby, H. B. (1991). Homological dimensions of unbounded complexes. Journal of
Pure and Applied Algebra, 71(2-3), 129-155.
[2] Buchweitz, R. O., and Flenner, H. (2006). Power series rings and projectivity. manuscripta mathematica,
119(1), 107-114.
[3] Enochs, E. E. (1995). Complete flat modules. Communications in Algebra, 23(13), 4821-4831.
[4] Frankild, A., Iyengar, S. B., and Jørgensen, P. (2003). Dualizing differential graded modules and Gorenstein
differential graded algebras. Journal of the London Mathematical Society, 68(2), 288-306.
[5] Greenlees, J. P. C., and May, J. P. (1992). Derived functors of I-adic completion and local homology. Journal
of Algebra, 149(2), 438-453.
[6] Porta, M., Shaul, L., and Yekutieli, A. (2014). On the homology of completion and torsion. Algebras and
Representation Theory, 17(1), 31-67.
[7] Quy, P. H., and Rohrer, F. (2017). Injective modules and torsion functors. Comm. Algebra, 45(1), 285-298.
[8] Shaul, L. (2015). The twisted inverse image pseudofunctor over commutative DG rings and perfect base
change. arXiv preprint arXiv:1510.05583v1.
[9] Shaul, L. (2016). Completion and torsion over commutative DG rings. arXiv preprint arXiv:1605.07447v3.
[10] The Stacks Project, J.A. de Jong (Editor), http://stacks.math.columbia.edu.
[11] Yekutieli, A. (2013). Duality and tilting for commutative DG rings. arXiv preprint arXiv:1312.6411v4.
[12] Yekutieli, A. (2016). The squaring operation for commutative DG rings. Journal of Algebra, 449, 50-107.
[13] Yekutieli, A. (2016). Flatness and Completion Revisited. arXiv preprint arXiv:1606.01832v2.
FAKULTÄT FÜR M ATHEMATIK , U NIVERSITÄT B IELEFELD , 33501 B IELEFELD , G ERMANY.
E-mail address: LShaul@math.uni-bielefeld.de

