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.
Example 1 The basic example one is supposed to keep in mind is the polynomial ring and . Then the sequence is regular in .
Suppose now that is finitely generated. Things become the nicest in this context. Then it is a basic fact of commutative algebra that if is any -module, the guys in that are zerodivisors on are precisely those that lie in the union of the associated primes of . This fact will become crucial to us as we attempt to construct regular sequences. The property of being a regular sequence is inherently an inductive one. Note that is a regular sequence on if and only if is a zerodivisor on and is an -sequence.
0.1. Basic properties
The first observation to make is that regular sequences are not preserved by permutation. This is one nice characteristic that we would like but is not satisfied. Nonetheless,
Proposition 2 Let be a noetherian local ring and a finite -module. Then if is a -sequence contained in the maximal ideal, so is any permutation .
Proof: It is clearly enough to check this for a transposition. Namely, if we have an -sequence
we would like to check that so is
It is here that we use the inductive nature. Namely, all we need to do is check that
is regular on , since the first part of the sequence will automatically be regular. Now will automatically be regular on . So all we need to show is that is regular on . The moral of the story is that we have reduced to the following lemma. Let be a finite -module and an -sequence contained in the maximal ideal. Then so is . We can prove this as follows. First, will be a nonzerodivisor on . Indeed, if not then we can write
for some with . But is a nonzerodivisor on , which means that implies . Say . So . As is a nonzerodivisor on , we see that . Thus , contradiction. This part has not used the fact that is local. Now I claim that is a nonzerodivisor on . Suppose and . Since is a nonzerodivisor on , we have that , say . Thus
The fact that is injective implies that . So we can do the same and get , , and so on. It follows that is a multiple of , and hence in for each where is the maximal ideal. The Krull intersection theorem now implies that . Together, these arguments imply that is an -sequence, proving the lemma.
One might wonder what goes wrong; after all, oftentimes we can reduce results to their analogs for local rings. Yet the fact that regularity is preserved by permutations for local rings does not extend to arbitrary rings. The problem is that regular sequences do not localize. Well, they almost do, but the final condition that doesn’t get preserved. We can state:
Proposition 3 Suppose is an -sequence. Let be a flat -module. Then if , then is an -sequence.
Proof: This is actually very easy now. The fact that is injective is preserved when is replaced by because the functor is exact.
In particular, it follows that if we have a good reason for supposing that , then we’ll already be done. For instance, if is the localization of at a prime ideal containing the . Then we see that automatically is an -sequence.
Next time, we’ll continue talking about the fundamentals of what this property really means.