Let be a regular local (noetherian) ring with maximal ideal and residue field . The purpose of this post is to construct an equivalence (in fact, a duality)
between the category of finite length -modules (i.e., finitely generated modules annihilated by a power of ) and its opposite. Such an anti-equivalence holds in fact for any noetherian local ring , but in this post we will mostly stick to the regular case. In the next post, we’ll use this duality to give a description of the local cohomology groups of a noetherian local ring. Most of this material can be found in the first couple of sections of SGA 2 or in Hartshorne’s Local Cohomology.
1. Duality in the derived category
Let be any commutative ring, and let be the perfect derived category of . This is the derived category (or preferably, derived -category) of perfect complexes of -modules: that is, complexes containing a finite number of projectives. is the smallest stable subcategory of the derived category containing the complex in degree zero, and closed under retracts. It can also be characterized abstractly: consists of the compact objects in the derived category of . That is, a complex is quasi-isomorphic to something in if and only if the functor
commutes with homotopy colimits. (“Chain complexes” could replace “spaces.”)
Now, is a symmetric monoidal -category under (derived) tensor product, and as it happens here we have dual objects. There is a duality
sending a complex to its dual (where the bolded means the internal mapping object: that is, the mapping chain complex). Given a symmetric monoidal stable -category, this sort of duality on compact objects is a frequent occurrence. For instance, in the case of spectra (i.e., modules over the sphere spectrum), the compact objects are the finite spectra, and the relevant duality is Spanier-Whitehead duality. The analog in the 1-categorical case might be duality for finitely generated projective modules over a ring.
The rough idea is that there is a natural map
for an arbitrary complex, adjoint to the evaluation map . This is an equivalence for , and thus on the smallest -category containing closed under finite limits and colimits and retracts: that is, on the perfect derived category.
2.The duality functor as an Ext
Now let’s return to commutative algebra. We saw in the previous section that there is an equivalence
for any commutative ring . We want to turn this into a statement about the ordinary 1-categories , when is a regular local ring.
So suppose that is regular local. Then every -module determines an object in the derived category of , and a finitely generated -module in fact lives in . This is not formal: it follows from the fact that has finite global dimension. In particular, we have a (fully faithful) inclusion of categories
A complex belongs to if and only if it is homologically concentrated in degree zero and the group is annihilated by a power of .
The point of the present post is that the functor
has its image contained in a shift of . In fact, let ; we have to show that the complex is homologically concentrated in one degree and is -power torsion there. However, we observe that
for all .
We now invoke:
Proposition 1 Let be regular local of dimension . Then if , we have
When , this is a consequence of the fact that has depth , and the description of depth in terms of vanishing of groups. When , the vanishing is a consequence of the fact that has global dimension . The fact that is annihilated by a power of follows from the fact that is.
It follows that the duality functor sends into the category .
Combining these observations, we get a fully faithful duality functor fitting into the above diagram
Concretely, it is given by
The last thing we need to check is that actually induces an equivalence. To see this, we observe that its inverse is again : this follows from the fact that was a duality functor.
We can conclude:
Theorem 2 The duality functor induces an equivalence (in fact, a duality) .
Our next goal is to describe this functor in another way.
3. The dualizing module
Observe that this functor is actually ind-representable, because it is exact (being an equivalence). In other words, there is an -object of (that is, an -torsion module which is not necessarily finitely generated) such that
This follows from a suitable version of the adjoint functor theorem and -ization. We can actually write down this module very explicitly. Namely, we can take
This is an -torsion module. Once one knows that is -representable, it is straightforward that the representing object must be as written.
Observe that it satisfies , because must be a simple object of (i.e., ). Below, we will give a characterization of in terms of .
We will need:
Proposition 3 is an injective -module: in fact, it is the injective hull of .
Proof: We know that is exact on the category , from which we can see that is an injective in the category of -torsion -modules. In fact, injectivity of will follow from the following result: the functor
preserves injective objects. That is, an -torsion module which has the relevant extension property for monomorphisms in is actually an injective -module.
This is not (as far as I can tell) completely formal, and I’ll just sketch the proof. Given a module which is injective in , and given an injection of finitely generated -modules , any map
factors through for some , in view of the Artin-Rees lemma. Now we can extend the map
to a map , by hypothesis. This proves injectivity.
Next we need to see that is actually the injective hull of . In other words, we have to see that the map (which is well-defined up to scaling) is essential: that is, any nonzero submodule of intersects nontrivially. We can reduce to the finitely generated (hence small) case, so we need to show that for an injection , the fibered product
is nonempty. Suppose factors through some , . Then we might as well take the fibered product
which is dual, under the anti-equivalence , to the push-out square
Now, by duality, is a surjection, and by defintion the map is the reduction map. It follows that the push-out is a quotient of by an ideal contained in , so that is not zero (in fact, it is ). This means , as desired.
So this means that we’ve gotten a fairly concrete result. Given a regular local ring , we can consider the injective envelope of the residue field; then determines an anti-equivalence between and itself. We could have, in fact, proved this directly, and in fact:
Proposition 4 Let be a noetherian local ring (not necessarily regular) and let be the injective envelope of the residue field . Then defines a duality .
In fact, we need to check that the canonical biduality map
is an isomorphism if . Both functors are exact, as is injective, and the collection of such that is an isomorphism is stable under extensions. Consequently it suffices to check that is an isomorphism when . Then it follows from the definition of an injective hull: . (The same sort of argument can be used to show that actually takes values in finite length modules.)
In the next post, we’ll apply this to a calculation of the local cohomology groups of .