The cohomology of projective space

All right. I am now inclined to switch topics a little (I am looking forward to saying a few words about local cohomology), so I will sketch a few details in the present post. The goal is to compute the sheaf cohomology groups of the canonical line bundles on projective space. The argument will follow EGA III.2; Hartshorne does essentially the same thing (namely, analysis of the Cech complex) but without the Koszul machinery, so his approach seems more opaque to me.

Now, let us compute the cohomology of projective space over a ring . Note that is quasi-compact and separated, so we can compute the Cech cohomology by the above machinery. That is, we will use the Koszul-Cech connection discussed two days ago. In particular, we will consider the quasi-coherent sheaf

 

The Cech-to-derived functor spectral sequence

We shall now approach the proof of the Cartan vanishing theorem. First, however, it will be necessary to describe a spectral sequence between Cech cohomology and derived functor cohomology. For now, the reason is that there isn’t any obvious way for us to compute derived functor cohomology, because injective sheaves are big and scary, while Cech cohomology is nice and concrete. And indeed, all we’ve done so far is compute various Cech cohomologies.

I should mention that I don’t know a standard reference for the material in this post. I didn’t find Godement’s treatment in Theorie des faisceaux to be terribly enlightening, but after a fair bit of googling I found a sketch in James Milne’s online notes on étale cohomology. Fortunately, enough details are given to enable one to work it out more fully for oneself.

Let be a topological space covered by an open cover , and consider the category of presheaves of abelian groups on . Let be the subcategory of sheaves. The spectral sequence will be the Grothendieck spectral sequence of the composite of functors

 

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 .

 

Depth and dimension

So I’ve missed a few days of MaBloWriMo. But I do have a talk topic now (I was mistaken–it’s actually tomorrow)! I’ll be speaking about some applications of Sperner’s lemma. Notes will be up soon.

Today I want to talk about how depth (an “arithmetic” invariant) compares to dimension (a “geometric” invariant). It turns out that the geometric invariant wins out in size. When they turn out to be equal, then the relevant object is called Cohen-Macaulay. This is a condition I’d like to say more about in future posts.

0.5. Depth and dimension

Consider an -module , which is always assumed to be finitely generated. Let be an ideal with . We know that if is a nonzerodivisor on , then is part of a maximal -sequence in , which has length necessarily. It follows that has a -sequence of length (because the initial is thrown out) which can be extended no further. In particular, we find

Proposition 15 Hypotheses as above, let be a nonzerodivisor on . Then

This is strikingly analogous to the dimension of the module . Recall that is defined to be the Krull dimension of the topological space for the annihilator of . But the “generic points” of the topological space , or the smallest primes in , are precisely the associated primes of . So if is a nonzerodivisor on , we have that is not contained in any associated primes of , so that must have smaller dimension than . That is,

 

Depth and Ext

Thanks to all who responded to the bleg yesterday. I’m still haven’t completely decided on the topic owing to lack of time (I actually wrote this post last weekend), but the suggestions are interesting. My current plan is, following Omar’s comment, to look at Proofs from the Book tomorrow and pick something combinatorial or discrete-ish, like the marriage problem or Arrow’s theorem. I think this will be in the appropriate spirit and will make for a good one-hour talk.

4. and depth

One of the first really nontrivial facts we need to prove is that the lengths of maximal -sequences are all the same. This is a highly useful fact, and we shall constantly use it in arguments (we already have, actually). More precisely, let be an ideal, and a finitely generated module. Assume is noetherian.

Theorem 12 Suppose is a f.g. -module and . All maximal -sequences in have the same length. This length is the smallest value of such that .

I don’t really have time to define the functors in any detail here beyond the fact that they are the derived functors of . So for instance, if is projective, and if is injective. These functors can be defined in any abelian category, and measure the “extensions” in a certain technical sense (irrelevant for the present discussion).

So the goal is to prove this theorem. In the first case, let us suppose , that is there is a nontrivial . The image of this must be annihilated by . Thus no element in can act as a zerodivisor on . So when , there are no -sequences (except the “empty” one of length zero).

Conversely, if all -sequences are of length zero, then no element of can act as a nonzerodivisor on . It follows that each is contained in an associated prime of , and hence by the prime avoidance lemma, that itself is contained in an associated prime of . This prime avoidance argument will crop up quite frequently.

 

Depth

(I don’t know why these <br >’s appear below. If anyone with better HTML knowledge than I could explain what I’m doing wrong, I’d appreciate it!)

Today, we will continue with our goal of understanding some aspects of commutative algebra, by defining depth.

0.3. Depth

Constructing regular sequences sequences is a useful task. We often want to ask how long we can make them subject to some constraint. For instance,

Definition 8
Suppose is an ideal such that . Then we define the -depth of to be the maximum length of a maximal -sequence contained in . When is a local ring and the maximal ideal, then that number is simply called the depth of .

The depth of a proper ideal is its depth on .

The definition is slightly awkward, but it turns out that all maximal -sequences in have the same length. So we can use any of them to compute the depth.

The first thing we can prove using the above machinery is that depth is really a “geometric” invariant, in that it depends only on the radical of .