Local cohomology I

Fix a noetherian local ring .

Let (for the derived category of , or preferably its higher-categorical analog). Let us define the local cohomology functor

We can think of this at a number of levels: for instance, it is the (derived) functor of the ordinary functor on -modules which sends an -module to its submodule

of -power torsion elements. From this point of view, we can think of the cohomology groups

as defining “cohomology with supports” for the pair with coefficients in the sheaf . I’ll try to elaborate more on this point of view later.

Notation: The derived categories in this post will use cohomological grading conventions, for simplicity.

Our first goal here is to describe the calculation (which is now quite formal) of in the regular case, in terms of dualizing objects. So, let’s suppose is regular local on, of dimension . In this case, each lives in the smaller perfect derived category , and we will use the duality in that category.

Namely, recall that we have a functor given by , which induces a duality on the perfect derived category of , as we saw yesterday.

Let . We saw in the previous post that is cohomologically concentrated in the degree , and it is a shift of the module : we saw that was the injective envelope of . The next result will reduce the computation of to an computation.

Theorem 5 (Local duality) If and is regular, then we have a canonical isomorphism in ,

 

Re-learning homological algebra

I’ve been trying to re-understand some of the proofs in commutative and homological algebra. I never really had a good feeling for spectral sequences, but they seemed to crop up in purely theoretical proofs quite frequently. (Of course, they crop up in computations quite frequently, too.) After learning about derived categories it became possible to re-interpret many of these proofs. That’s what I’d like to do in this post.

Here is a toy example of a result, which does not use spectral sequences in its usual proof, but which can be interpreted in terms of the derived category.

Proposition 1 Let be a local noetherian ring with residue field . Then a finitely generated -module such that is free.

Let’s try to understand the usual proof in terms of the derived category. Throughout, this will mean the bounded-below derived category of -modules: in other words, this is the category of bounded-below complexes of projectives and homotopy classes of maps. Any module can be identified with an object of by choosing a projective resolution.

So, suppose satisfies . Another way of saying this is that the derived tensor product

has no homology in negative degrees (it is in degree zero). Choose a free -module with a map which induces an isomorphism . Then we have that

by hypothesis. In particular, if is the cofiber (in ) of , then .

We’d like to conclude from this that is actually zero, or that : this will imply the desired freeness. Here, we have:

Lemma 2 (Derived Nakayama) Let have finitely generated homology. Suppose . Then .

 

The Koszul-Cech connection, with a twist

The next big application of the Koszul complex and this general machinery that I have in mind is to projective space. Namely, consider a ring , and an integer . We have the -scheme . Recall that on it, we have canonical line bundles for each , which come from homogeneous localization of the -modules obtained from itself by twisting the degrees by . When is a field, the only line bundles on it are of this form. (I am not sure if this is true in general. I think it will be true, but perhaps someone can confirm.)

It will be useful to compute the cohomology of these line bundles. For one thing, this will lead to Serre duality, from a very convenient isomorphism that will spring up. For another, we will see that they are finitely generated over . This is far from obvious. The scheme is not finite over , and a priori this is not expected.

But to start, let’s think more abstractly. Let be any quasi-compact, quasi-separated scheme; we’ll assume this for reasons below. Let be a line bundle on , and an arbitrary quasi-coherent sheaf. We can consider the twists for any . This is a bunch of sheaves, but it is something more.

Let us package these sheaves together. Namely, let us consider the sheaves:

 

A chain-homotopy on the Koszul complex

So last time, when (partially) computing the cohomology of affine space, we used a fact about the Koszul complex. Namely, I claimed that the Koszul complex is acyclic when the elements in question generate the unit ideal. This was swept under the rug, and logically I should have covered that before getting to yesterday’s bit of algebraic geometry. So today, I will backtrack into the elementary properties of the Koszul complex, and prove a more general claim.

0.9. A chain-homotopy on the Koszul complex

Before proceeding, we need to invoke a basic fact about the Koszul complex. If is a Koszul complex, then multiplication by anything in is chain-homotopic to zero. In particular, if generates the unit ideal, then is homotopically trivial, thus exact. This is one reason we should restrict our definition of “regular sequence” (as we do) to sequences that do not generate the unit ideal, or the connection with the exactness of the Koszul complex wouldn’t work as well.

Proposition 33 Let . Then the multiplication by map is chain-homotopic to zero.

Proof: Let and let . Then there is a vector . We can define a map of degree one

 

The cohomology of affine space

It’s funny that the topics I planned to discuss on this blog in the next month have turned out to largely match the topics covered in my commutative algebra class. As a result, I think I will move the focus closer to algebraic geometry. Today, I shall explain how the connection explained yesterday between Koszul and Cech cohomology lets us compute the cohomology of an affine space. This is the proof that Grothendieck gives in EGA III, and it has the advantage (unlike the argument in Hartshorne, though I’ll probably later end up explaining that too) of applying to non-noetherian rings. It is a nice application of the basic properties of the Koszul complex, though it has the disadvantage of requiring a rather non-elementary result in sheaf theory (which I’ll discuss next).

0.10. The cohomology of affine space

We are now going to prove the first fundamental theorem on the cohomology of quasi-coherent sheaves:

Theorem 35 (Cohomology of an affine) Let be a ring, and let be a quasi-coherent sheaf on . Then

I have earlier discussed a proof due to Kempf. What we will now sketch is a much less elementary and significantly more complicated argument. Nonetheless, it has the virtue of being general, and telling us something about projective space too, as we shall see eventually.

Proof: This proof proceeds first by analyzing the Cech cohomology. We will show that this is zero. Then, we shall appeal to some general sheaf-theoretic business to prove the result for standard cohomology. In particular, we are going to prove:

Theorem 36 Let be a quasi-coherent sheaf on . Let be a finite set of elements generating the unit ideal. Then the higher Cech cohomology of with respect to the open cover vanishes.

 

Koszul cohomology and Cech cohomology

Up until now, I have been talking primarily about the commutative algebra purely. I think I now want to go in a more algebro-geometric direction, partially because I find it easier to understand that way. Today, I will explain how the Koszul complex lets you compute certain types of Cech cohomology.

0.8. The Koszul complex and Cech cohomology

What we now want to show is that on a reasonable scheme, Cech cohomology of a quasi-coherent sheaf is really a type of Koszul cohomology. Namely, let’s start with a scheme , which I will take to be quasi-compact and quasi-separated. (If you are what Ravi Vakil calls a noetherian person, then you can ignore the previous remark.)

Let be a quasi-coherent sheaf on . Let be global regular functions on . Then we can define the sets where the functions “don’t vanish” (more precisely, are units in the local ring). One of the basic results one proves is that taking sections over these basic open sets corresponds to localization:

Proposition 29 if is quasi-coherent.

Proof: This is a general fact about quasi-coherent sheaves, and one way to see it is to use the fact that if is the ring of global functions, there is a morphism . This is a quasi-separated, quasi-compact morphism by hypothesis. Thus the direct image is quasi-coherent. In particular, this means that

where is the basic open set. When one translates this back via the definition of , one gets the proposition.

We now continue with the original question. So let be the global sections of the sheaf . We have seen that is for each . Similarly, is for any -tuple of the . To avoid triple subscripts, let us write instead of . This is precisely what we need to consider the Cech cohomology with respect to the open sets .

 

The Koszul complex II

I’ve not been a very good MaBloWriMo participant this time around. Nonetheless, coursework does tend to sap the time and energy I have for blogging. I have been independently looking as of late at the formal function theorem in algebraic geometry, which can be phrased loosely by saying that the higher direct images under a proper morphism of schemes commute with formal completions. This is proved in Hartshorne for projective morphisms by first verifying it for the standard line bundles and then using a (subtle) exactness argument, but EGA III.4 presents an argument for general proper morphisms. The result is quite powerful, with applications for instance to Zariski’s main theorem (or at least a weak version thereof), and I would like to say a few words about it at some point, at least after I have a fuller understanding of it than I do now. So I confess to having been distracted by algebraic geometry.

For today, I shall continue with the story on the Koszul complex, and barely begin the connection between Koszul homology and regular sequences. Last time, we were trying to prove:

Proposition 24 Let be linear functionals. Then the Koszul complex is the tensor product as differential graded algebras.

So in other words, not only is the algebra structure preserved by taking the tensor product, but when you think of them as chain complexes, . This is a condition on the differentials. Here is the functional where the last map is addition.

So for instance this implies that for two tuples . This implies that in the case we care about most, catenation of lists of elements corresponds to the tensor product.

Before starting the proof, let us talk about differential graded algebras. This is not really necessary, but the Koszul complex is a special case of a differential graded algebra.

Definition 25 A differential graded algebra is a graded unital associative algebra together with a derivation of degree one (i.e. increasing the degree by one). This derivation is required to satisfy a graded version of the usual Leibnitz rule: . Moreover, is required to be a complex: . So the derivation is a differential.

So the basic example to keep in mind here is the case of the Koszul complex. This is an algebra (it’s the exterior algebra). The derivation was immediately checked to be a differential. There is apparently a category-theoretic interpretation of DGAs, but I have not studied this.

Proof: As already stated, the graded algebra structures on are the same. This is, I suppose, a piece of linear algebra, about exterior products, and I won’t prove it here. The point is that the differentials coincide. The differential on is given by extending the homomorphism to a derivation. This extension is unique.

 

The Koszul complex I

We are now going to discuss another mechanism for determining the length of maximal -sequences, namely the Koszul complex. This is going to be super-useful in a whole bunch of ways. For one thing, it is integral in the proof that regular local rings are of finite global dimension, because the Koszul complex becomes a free resolution of the residue field.

Another one, which has excited me as of late, is that if you have a suitable scheme (say, quasi-compact and quasi-separated) and a quasi-coherent sheaf on it, then its Cech cohomology is in fact a direct limit of Koszul cohomologies! So properties of Koszul cohomology can be used to compute the cohomology of projective space as in Hartshorne, and thus to prove the fundamental theorem that higher direct images by projective (and, eventually, proper) morphisms preserve coherence. But this is getting rather far afield of what I want to talk about today.

Let be a finitely generated -module. Consider the graded commutative algebra with the product given by the wedge product; the graded commutativity is similar to the cup-product in cohomology, and implies that

Given , we can define a differential on as follows. Namely, we define

(More precisely, this clearly defines an alternating map , and this thus factors through the alternating product by the universal property.) It is very easy to see that . Moreover, is an anti-derivation. If are homogeneous elements of the graded algebra, then

Definition 20 The complex, together with the multiplicative structure, just defined is called the Koszul complex and is denoted .