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 .

 

Formal smoothness II: lifting regularity and flatness from the fibers

Ultimately, we are headed towards a characterization of formal smoothness for reasonable morphisms (e.g. the types one encounters in classical algebraic geometry): we want to show that they are precisely the flat morphisms whose fibers are smooth varieties. This will be a much more usable criterion in practice (formal smoothness is given by a somewhat abstract lifting property, but checking that a concrete variety is smooth is much easier).  This is the intuition between smoothness: one should think of a flat map is a “continuously varying” family of fibers, and one wishes the fibers to be regular. This corresponds to the fact from differential topology that a submersion has submanifolds as its fibers.

It is actually far from obvious that a formally smooth (and finitely presented) morphism is even flat. Ultimately, the idea of the proof is going to be write the ring as a quotient of a localization of a polynomial ring. The advantage is that this auxiliary ring will be clearly flat, and it will also have fibers that are regular local rings.  In a regular local ring, we have a large supply of regular sequences, and the point is that we will be able to lift the regularity of these sequences from the fiber to the full ring.

Thus we shall use the following piece of local algebra.

Theorem Let be a local homomorphism of local noetherian rings. Let be a finitely generated -module, which is flat over .

Let . Then the following are equivalent:

1. is flat over and is injective.
2. is injective where .

This is a useful criterion of checking when an element is -regular by checking on the fiber. That is, what really matters is that we can deduce the first statement from the second.

 

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.

 

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 .

 

Powers of regular sequences

Regular sequences don’t necessarily behave well with respect to permutation or localization under additional hypotheses. However, in all cases they behave well with respect to taking powers. The upshot of this is that the invariant called depth that we will soon introduce is invariant under passing to the radical. We shall deduce this from the following easy fact.

Lemma 4 Suppose we have an exact sequence of -modules

Suppose the sequence is -regular and -regular. Then it is -regular.

The converse is not true, of course.

Proof: Morally, this is the snake lemma. For instance, the fact that multiplication by is injective on implies by the snake diagram that is injective. However, we don’t a priori know that a simple inductive argument on will work to prove this. The reason is that it needs to be seen that quotienting each term by will preserve exactness. However, a general fact will tell us that this is indeed the case. See below. Anyway, this general fact now lets us induct on . If we assume that is -regular, we need only prove that is injective. (It is not surjective or the sequence would not be -regular.) But we have the exact sequence by the next lemma,

and the injectivity of on the two ends implies it at the middle by the snake lemma.

 

The notion of a regular sequence

I’m just going to start MaBloWriMo here. Anyway, as Qiaochu observes in the comments, National Blog Writing Month (as opposed to National Novel Writing Month) was in October. Before I start, I think it might be appropriate to post my half-complete notes on commutative algebra from a course I’m taking. Since I’m not going to be self-contained, they might be a helpful reference for readers.

For the next few posts, we shall always assume that all rings are commutative and noetherian. Commutativity is always needed. Noetherianness won’t be needed for now, but it will soon become indispensable. So let be a ring, and an -module. We want to talk about the definition of a regular sequence on . This is going to be a sequence of elements of that act “independently” on in some sense. We are going to make this precise below when we interpret a consequence of this condition via associated graded modules. This definition is basically the groundwork for everything that follows, as you need it for the definitions of notions such as Cohen-Macaulayness and regularity. Let us start by stating the definition.

Definition 1 A sequence is -regular (or is an -sequence if for each , is a nonzerodivisor on the -module and also .

So is a nonzerodivisor on , by the first part. That is, the homothety is injective. The last condition is also going to turn out to be necessary for us.