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.
Then there is an injection , which when composed with reduction
shows that
. Note that we have used the fact that
is noetherian and
finitely generated here, or otherwise the whole business of associated primes wouldn’t work. Now I want to claim that if
is any
-sequence in
, then
for
. We have shown this for
; the conclusion is then simply
. Namely, I want to claim that the length of any maximal
-sequence is at most the minimal
as in the theorem.
Lemma 13 If
is any
-sequence in
, then
for
.
Proof: As I have said, this is true for . We want to prove this by induction on
. So suppose it true for
. Then we know that
for
. We are left to showing that
Well, we can apply the inductive hypothesis again to conclude that for
as there is a
-length
sequence
. There is an exact sequence
by definition of regularity. The standard argument in these proofs is to get from here a long exact sequence and use induction. Here the long exact sequence looks like
The first term is zero by the inductive assumption. So multiplication by is injective on
. But
acts by zero on
. Thus it acts by zero on
by the interpretation as a derived functor. This means that
. And that proves the lemma.
So we have gotten one direction. We need to do the other. Namely, we need to show that if is an
-sequence which cannot be extended in
, then
This will imply the other inequality and prove the theorem. For this we prove:
Lemma 14 If
is an
-sequence, then
This is actually more general than the previous lemma. In that case, we knew that could be extended, so there was an element of
which was a nonzerodivisor on
, so the hom-set on the left was zero. Proof: Though this is really a generalization of the previous result, the argument is very similar (and there was basically no need for the previous result therefore, if we showed a slightly more general result). Anyway, let’s induct on
. We know it for
by the initial discussion. Draw the exact sequence
. This leads to the exact sequence
As before, the last multiplication is zero, so we find an isomorphism
Given the -sequence
which can be extended no further, we see that
, which proves the result.
Next time, we will show that depth is bounded in terms of dimension.
Leave a Reply