arXiv:1705.00021v1 [math.AC] 28 Apr 2017

ON SWITALA’S MATLIS DUALITY FOR D-MODULES
GENNADY LYUBEZNIK
Abstract. We show that N. Switala’s Matlis duality for D-modules
yields a generalization of a result of R. Hartshorne and C. Polini.

1. Introduction
Let (R, m) be a commutative Noetherian complete equicharacteristic local
ring and let D = D(R, k) be the ring of k-linear differential operators of R,
where k ⊂ R is a fixed coefficient field of R (k exists as R is complete).
Let E be the injective hull of R/m ∼
= k in the category of R-modules.
Matlis duality D(−) = HomR (−, E) is a contravariant exact functor from
R-modules to R-modules. N. Switala [2, Section 4] has shown that if M is
a left (resp. right) D-module, then D(M ) carries the structure of a right
(resp. left) D-module. In this short note our main result is the following.
Theorem 1.1. Let M be a left D-module and let N be a right D-module.
There is a k-linear bijection
∼ Exti
ExtiD−mod (M, D(N )) =
mod−D (N, D(M ))
which is functorial in M and N , where D−mod and mod−D denote the
categories of, respectively, left and right D-modules.
R. Hartshorne and C. Polini proved the following important result [1, 5.2].
Theorem 1.2. Notation being as above, assume the characteristic of k is
0 and R = k[[x1 , . . . , xn ]] is the ring of formal power series in n variables
i (M ) denote the i-th de Rham
over k. Let M be a left D-module and let HdR
cohomology group of M . If M is holonomic, then
n
(M ) = dimk HomD−mod (M, E).
dimk HdR

As an application of our Theorem 1.1 we show that Switala’s Matlis duality theory yields the following generalization of Theorem 1.2.
Theorem 1.3. Notation being as in Theorem 1.2, for every i
n−i
(M ) = dimk ExtiD−mod (M, E)
dimk HdR

Theorem 1.2 is the i = 0 case of Theorem 1.3.
2000 Mathematics Subject Classification. Primary 13H05, 13N10, 16S32.
Key words and phrases. complete local ring, holonomic module, de Rham cohomology.
NSF for support through grant DMS-1500264 is gratefully acknowledged.
1

2

GENNADY LYUBEZNIK

2. A review of Switala’s Matlis duality
Let L be an R-module. The k-module Homk (L, k) has a structure of Rmodule as follows: if f : L → k is a k-linear map and r ∈ R, the map g = rf :
L → k is defined by g(x) = f (rx) for every x ∈ L. The following definition
is equivalent to but somewhat simpler than Switala’s original definition [2,
Definitions 3.13, 3.14(c)].
Definition 2.1. A k-linear map f : L → k is Σ-continuous if for every
x ∈ L there is some i ≥ 0 so that f (mi x) = 0, where m ⊂ R is the maximal
ideal. The set of all Σ-continuous maps L → k is denoted by D Σ (L).
If f : L → k is Σ-continuous, then so is rf : L → k because rmi ⊂ mi and
therefore f (mi x) = 0 implies f (rmi x) = 0. Thus D Σ (L) is an R-submodule
of Homk (L, k).
If φ : L′ → L is an R-module homomorphism and f : L → k is Σcontinuous, then the composition f ◦ φ : L′ → k also is Σ-continuous. This
defines a map D Σ (φ) : D Σ (L) → D Σ (L′ ) that sends f ∈ D Σ (L) to f ◦ φ ∈
D Σ (L′ ). It is not hard to see that D Σ (φ) is an R-module homomorphism.
Thus one gets a contravariant functor
D Σ : R−mod → R−mod
which takes every R-module L to D Σ (L) and every R-module homomorphism φ : L → L′ to D Σ (φ) : D Σ (L′ ) → D Σ (L).
Switala has shown [2, Theorem 3.15] that there is an isomorphism of
functors
DΣ ∼
=D
where D = HomR (−, E) is the classical Matlis duality functor. Thus as
long as one sticks to R-modules and R-module homomorphisms, D Σ does
not give anything new compared to D.
But D Σ makes it possible to dualize more maps between R-modules, than
just R-module homomorphisms. For example, assume L is a (left or right)
D-module, δ ∈ D is a differential operator and δ : L → L is the action of δ
on L. Switala shows that if f : L → k is Σ-continuous, then the composition
f ◦δ : L → k also is Σ-continuous. This makes it possible to define the action
of δ on D Σ (L), namely, δ(f ) = f ◦ φ for every f ∈ D Σ [2, Corollary 4.10].
This definition of the action of differential operators on D Σ gives D Σ a
structure of D-module. More precisely, if L is a left D-module, then D Σ (L)
becomes a right D-module and if L is a right D-module, then D Σ (L) becomes
a left D-module and if φ : L → L′ is a map of left (resp. right) D-modules,
then the map D Σ (φ) : D Σ (L′ ) → D Σ (L) is a map of right (resp. left) Dmodules. Thus D Σ induces two contravariant exact functors on D-modules:
D Σ : D−mod → mod−D
D Σ : mod−D → D−mod,
where D−mod and mod−D are the categories of left and right D-modules
respectively [2, Proposition 4.11].

SWITALA’S MATLIS DUALITY

3

3. Proof of Theorem 1.1
Given the R-module structures on Homk (M, k) and Homk (N, k) defined
in the beginning of the preceding section, there are R-linear maps
τ (M, N ) : HomR (M, Homk (N, k)) → HomR (N, Homk (M, k))
τ (N, M ) : HomR (N, Homk (M, k)) → HomR (M, Homk (N, k))
defined as follows. If f ∈ HomR (M, Homk (N, k)), then g = τ (M, N )(f ) ∈
HomR (N, Homk (M, k)) is defined by the formula
(1)

g(y)(x) = f (x)(y)

for every x ∈ M and y ∈ N , and, similarly, if g ∈ Homk (N, Homk (M, k)),
then f = τ (N, M )(g) ∈ Homk (M, Homk (N, k)) is defined by the same formula (1). Clearly, g = τ (M, N )(f ) if and only if f = τ (N, M )(g), i.e. the
two maps τ (M, N ) and τ (N, M ) are inverses of each other and therefore
establish an R-linear bijection
HomR (M, Homk (N, k)) ∼
= HomR (N, Homk (M, k)).
Let f ∈ HomR (M, Homk (N, k)) and g ∈ HomR (N, Homk (M, k)) correspond to each under this bijection, i.e. g = τ (M, N )(f ) and f = τ (N, M )(g).
We claim that f (x) : N → k is Σ-continuous for every x ∈ M if and only
if g(y) : M → k is Σ-continuous for every y ∈ N . Indeed, assume f (x)
is Σ-continuous for every x ∈ M . Pick any x ∈ M and y ∈ N . Since
f (x) ∈ D Σ (N ), there exists i such that f (x)(mi y) = 0. Let r ∈ mi . By
definition, (rf (x))(y) = f (x)(ry), hence (rf (x))(y) = 0. Since f is a map
of R-modules, rf (x) = f (rx). Hence f (rx)(y) = 0, i.e. g(y)(rx) = 0. Since
this holds for every r ∈ mi , the map g(y) is Σ-continuous for every y. A
similar argument shows that if g(y) is Σ-continuous for every y ∈ N , then
f (x) is Σ-continuous for every x ∈ M . This proves the claim.
Thus the maps τ (M, N ) and τ (N, M ) (once they are restricted to the R-submodules HomR (M, D Σ (N )) of HomR (M, Homk (N, k)) and HomR (N, D Σ (M ))
of HomR (N, Homk (M, k))) establish an R-linear bijection
HomR (M, D Σ (N )) ∼
= HomR (N, D Σ (M )).
Let f ∈ HomR (M, D Σ (N )) and g ∈ HomR (N, D Σ (M )) correspond to
each under this bijection, i.e. g = τ (M, N )(f ) and f = τ (N, M )(g). We
claim that f is a map of left D-modules if and only if g is a map of right Dmodules. Indeed, f is a map of left D-modules if and only if f (δx) = δ(f (x))
for every x ∈ M and every δ ∈ D. Set h = f (x) : N → k. By definition
δ(h) : N → k is defined by (δ(h))(y) = h(yδ) for every y ∈ N . Hence f is a
map of left D-modules if and only if
f (δx)(y) = f (x)(yδ)
for every x ∈ M, y ∈ N and δ ∈ D. A similar argument shows that g is a
map of right D-modules if and only if
g(yδ)(x) = g(y)(δx)

4

GENNADY LYUBEZNIK

for all x ∈ M, y ∈ N and δ ∈ D. Since by formula (1), f (δx)(y) = g(y)(δx)
and f (x)(yδ) = g(yδ)(x), the claim is proven.
Thus the maps τ (M, N ) and τ (N, M ) (after restriction to the k-submodules
HomD−mod (M, D Σ (N )) of HomR (M, D Σ (N )) and Hommod−D (N, D Σ (M ))
of HomR (N, D Σ (M ))) establish a k-linear bijection
HomD−mod (M, D Σ (N )) ∼
= Hommod−D (N, D Σ (M )).
Since this bijection is clearly functorial in M and N , the i = 0 case of the
theorem is proven.
We need the following lemma.
Lemma 3.1. If P is a projective left (resp. right) D-module, then D(P ) is
an injective right (resp. left) D-modules.
Proof of the lemma. Assume P is projective left D-module. Let
0 → N ′ → N → N ′′ → 0
be an exact sequence of right D-modules. The induced sequence
0 → Hommod−D (N ′′ , D(P )) → Hommod−D (N, D(P )) → Hommod−D (N ′ , D(P )) → 0
is exact because by the i = 0 case of the theorem that has just been proven,
this sequence is isomorphic to the sequence
0 → HomD−mod (P, D(N ′′ )) → HomD−mod (P, D(N )) → HomD−mod (P, D(N ′ )) → 0
which is exact since P is projective and D is an exact functor. Therefore
D(P ) is injective.
For a projective right D-module P the proof is the same except ”left”
must be replaced by ”right” and vice versa.

We continue with the proof of Theorem 1.1. Let
· · · → P1 → P0 → M → 0
be a projective resolution of M in the category of left D-modules. The kmodule ExtiD−mod (M, D(N )) is the ith cohomology of the induced complex
0 → HomD−mod (P0 , D(N )) → HomD−mod (P1 , D(N )) → . . .
By the i = 0 case of the theorem that has already been proven, this complex
is isomorphic to the complex
0 → Hommod−D (N, D(P0 )) → Hommod−D (N, D(P1 )) → . . .
The k-module Exti (N, D(M )) is the i-th cohomology of this complex since
by Lemma 3.1 D(P • ) is an injective resolution of D(M ). This completes
the proof of Theorem 1.1.

The natural action of D on R makes R a left D-module. Hence by
Switala’s Matlis duality, E = D(R) is a right D-module.

SWITALA’S MATLIS DUALITY

5

Corollary 3.2. If N is a right D-module, there exist k-linear bijections
ExtiD−mod (R, D(N )) ∼
= Extimod−D (N, E)
that are functorial in N .
Proof. This is immediate from Theorem 1.1 upon setting M = R.



4. Proof of Theorem 1.3
Throughout this section the field k has characteristic 0 and R is regular,
i.e. R = k[[x1 , . . . , xn ]] is the ring of formal power series in n variables over
k. Let
∂
∂i =
:R→R
∂xi
be the k-linear partial differentiation with respect to xi . The ring D is the
free left (as well as right) R-module on the monomials ∂1a1 · · · ∂nan . There is
a ring anti-automorphism
t:D→D
(that is an isomorphism of the underlying additive groups that reverses the
order of multiplication, i.e. t(δ1 δ2 ) = t(δ2 )t(δ1 ) for all δ1 , δ2 ∈ D) defined by
t(r∂1a1 · · · ∂nan ) = (−∂1 )a1 · · · (−∂)ann r
for all r ∈ R. This anti-automorphism t is called transposition.
We can view a right D-module M as a left D-module t(M ) via this transposition anti-automorphism [2, Definition 4.14], i.e.
δ ∗ x = xt(δ)
for every x ∈ M and δ ∈ D where ∗ denotes the left D-action on t(M ).
Thus t(M ) has the same elements and the same R-module structure as M
but the D-module structure is different. If φ : M → M ′ is a map of right
D-modules, the map t(φ) : t(M ) → t(M ′ ), which is the same map as φ on
the underlying sets, is a map of left D-modules.
The resulting functor from right D-modules to left D-modules that sends
a right D-module M to the left D-module t(M ) and sends a map of right Dmodules φ : M → M ′ to the map of left D-modules t(φ) : t(M ) → t(M ′ ) is
covariant, exact, induces bijections on Hom-sets (i.e . Hommod−D (M, M ′ ) ∼
=
HomD−mod (t(M ), t(M ′ )) for all right D-modules M, M ′ ) and therefore takes
projectives to projectives and injectives to injectives. Therefore, for all right
D-modules M, M ′ there exist functorial k-linear bijections
∼ Exti
(2)
Exti
(M, M ′ ) =
(t(M ), t(M ′ )).
mod−D

D−mod

In view of all this, in the case that chark = 0 and R = k[[x1 , . . . , xn ]]
we are going to view all right D-modules M as left D-modules t(M ) and
by abuse of notation, will denote t(M ) by M . For example, if M is a left
D-module, then t(D(M )) also is a left D-module that we are going to denote
simply D(M ). This convention is used in the statements of Theorems 1.2
and 1.3 where the left D-module t(D(R)) = t(E) is denoted by E. With

6

GENNADY LYUBEZNIK

this notational convention and taking into account the k-linear bijections
(2) and the fact that the functors D and t commute, Corollary 3.2 in the
case that R = k[[x1 , . . . , xn ]] and chark = 0 takes the following form.
Corollary 4.1. If M is a left D-module, there exist k-linear bijections
ExtiD−mod (R, D(M )) ∼
= ExtiD−mod (M, E)
that are functorial in M .
For the rest of the paper by a D-module we mean a left D-module.
Let M be a D-module. The de Rham complex Ω• (M ) of M is the complex
0 → Ω0 (M ) → Ω1 (M ) → · · · → Ωn (M ) → 0
where Ωs (M ) = ⊕Mi1 ,...,is is the direct sum of copies of M indexed by all
the s-tuples (i1 , . . . , is ) with 1 ≤ i1 < i2 < · · · < is ≤ n and the differential
ds : Ωs (M ) → Ωs+1 (M ) is given by
ds (x)i1 ,...,is+1 = Σj (−1)j ∂j (xi1 ,...,ij−1 ,ij+1 ,...,is+1 )
for every x ∈ Ωs (M ) where ds (x)i1 ,...,is+1 and xi1 ,...,ij−1 ,ij+1 ,...,is+1 denote the
components of ds (x) and x in, respectively, Mi1 ,...,is+1 and Mi1 ,...,ij−1 ,ij+1 ,...,is+1 .
i (M ), is by defiThe i-th de Rham cohomology group of M , denoted HdR
nition the i-th cohomology group of the de Rham complex Ω• (M ). The
following theorem is well-known; we provide a proof for the convenience of
the reader since we do not know a suitable reference.
Theorem 4.2. Let M be a D-module. There is a k-linear isomorphism
i
∼ Exti
HdR
(M ) =
D−mod (R, M ).
Proof. Let ∆• be the complex
0 → ∆n → ∆n−1 → · · · → ∆1 → ∆0 → 0
where ∆s = ⊕Di1 ,...,is is the direct sum of copies of D indexed by all the
s-tuples (i1 , . . . , is ) with 1 ≤ i1 < i2 < · · · < is ≤ n and the differential
ds : ∆s → ∆s−1 is given by
ds (x) = Σj (−1)j (x∂j )i1 ,...,ij−1 ,ij+1 ,...,is
for every x ∈ Di1 ,...,is ⊂ ∆s where (x∂j )i1 ,...,ij−1 ,ij+1 ,...,is denotes the element
x∂j ∈ Di1 ,...,ij−1 ,ij+1 ,...,is ⊂ ∆s−1 .
The complex ∆• is a finite free resolution of R in the category of left
D-modules. Therefore ExtiD−mod (R, M ) is the ith cohomology group of the
complex HomD−mod (∆• , M ), i.e. the complex
0 → HomD−mod (∆0 , M ) → HomD−mod (∆1 , M ) → · · · → HomD−mod (∆n , M ) → 0.
x7→x∂j

The map φ : D → D which is the right multiplication by ∂j is a map
of left D-modules. The induced map HomD−mod (φ, M ) is nothing but the
x7→∂j x

left multiplication by ∂j on M , i.e. M → M . Therefore the complex
HomD−mod (∆• , M ) is nothing but the de Rham complex Ω• (M ) of M . 

SWITALA’S MATLIS DUALITY

7

A key result of N. Switala’s theory is the following [2, 5.1].
Theorem 4.3. If M is a holonomic D-module, then for all i there are
i (M ))′ ∼ H n−i (D(M )), where (−)′ = Hom (−, k).
isomorphisms (HdR
= dR
k
An important result of van den Essen [4, Proposition 2.2][3] says
i (M ) is a finiteTheorem 4.4. If M is a holonomic D-module, then HdR
dimensional k-vector space.

Corollary 4.1 implies that dimk ExtiD−mod (M, E) equals dimk ExtiD−mod (R, D(M ))
i (D(M )) which by Theorems 4.3 and
which by Theorem 4.2 equals dimk HdR
n−i
(M ). This completes the proof of Theorem 1.3.

4.4 equals dimk HdR
References
[1] R. Hartshorne and C. Polini, Simple D-module components of local cohomology modules, preprint, 2016, arXiv:1606.01278.
[2] N. Switala, On the de Rham homology and cohomology of a complete local ring in
equicharacteristic zero, preprint, 2016, arXiv:1603.09743v3.
[3] N. Switala, Van den Essen’s theorem on the de Rham cohomology
of a holonomic D-module over a formal power series ring, preprint,
http://dx.doi.org/10.1016/j.exmath.2016.09.002.
[4] A. van den Essen, The cokernel of the operator ∂x∂n acting on a D-module II, Compos.
Math. 56 (2) (1985), 259-269.
Dept. of Mathematics, University of Minnesota, Minneapolis, MN 55455
E-mail address: gennady@math.umn.edu

