##
Generic freeness II

Posted by Akhil Mathew under

algebra,

commutative algebra | Tags:

generic freeness |

[11] Comments
Today’s goal is to partially finish the proof of the generic freeness lemma; the more general case, with finitely generated algebras, will have to wait for a later time though.

Recall that our goal was the following:

**Theorem 1** *Let be a Noetherian integral domain, a finitely generated -module. Then there there exists with a free -module. *

The argument proceeds using dévissage. By the last post, we can find a filtration

with isomorphic to for prime ideals . Now, consider the *nonzero* prime ideals that occur in the above filtration. Since is a domain, we have

and we may choose with . Then when we localize at , there is still a filtration

such that . (Essentially, this uses the fact that localization is an exact functor.) By the definition of localization and the choice of , this is zero when ; this is when .

So we have a filtration of by -modules:

such that each successive quotient is a free module of rank 1.

The proof will be completed by the following lemma:

**Lemma 2** *Suppose are free modules over a ring and is an -module. If there is an exact sequence*

then is free.

*Proof:* The exact sequence splits. Indeed, we can lift a basis of to elements of by surjectivity; then define a map from that lifting, which gives a section of . Thus the sequence splits.

Now, by induction, we can show that the ‘s are free over . Hence is free.

[*For a better proof, see the comments below. -AM, 8/17]*

### Like this:

Like Loading...

*Related*

August 17, 2009 at 6:22 pm

Often times in algebraic geometry, to prove a statement “generically” it suffices to show it for the generic point. Then one is able to “spread out” from there.

Its clear that every coherent sheaf is free at the generic point because it becomes a module over a field, i.e. a vector space. Do you see a way of showing that the module will become free at some finite number of localizations without using your filtration lemma?

August 17, 2009 at 7:03 pm

Actually yes, because if you are working with a coherent sheaf over a noetherian scheme , then being free implies is free in some neighborhood of . This follows because we can take finitely many sections in some neighborhood of which form a basis for . There is thus a homomorphism of sheaves sending each coordiante to . We can take the kernel and the cokernel . Then . But the set of points where the stalk of a coherent sheaf is zero is open, since it is locally the complement of the supports of certain sections. Hence in some neigborhood of , so in that neighborhood is free.

This is a better argument that what I posted above. Then again, it doesn’t (as far as I know) work for the general freeness lemma.

August 18, 2009 at 11:04 am

Wait — I thought if the stalk of *any* sheaf was zero then we could find a neighborhood where it was zero because the stalk is the direct limit. So … I think we can replace coherent with quasi-coherent, and this subsumes the general generic freeness lemma, no? (I’m not too clear on this stuff, its been a while, but I thought the general lemma was if X is a finite-type scheme over S and F is a coherent sheaf on X, we can find a neighborhood U in S so F is free on the pullback of U to X.)

August 18, 2009 at 11:39 am

I’m pretty sure this is not the case, unless we know that is locally finitely generated or something like that.

For instance consider the -module

, and consider the associated quasi-coherent sheaf on . The stalk at the generic point is , but the localization for any nonzero , so is not zero on any open set.

August 18, 2009 at 1:41 pm

There’s a result to the effect that if is a multiplicative subset of some Noetherian ring, and is a f.g. -module with free over , then there is with free over (this e.g. implies Th. 1 above). The proof is basically the same as before: find a homomorphism which becomes an isomorphism when tensoring with , thus the kernels and cokernels vanish upon localization by (localization being exact), and then one uses the fact that the kernels and cokernels are finitely generated to find one element of annihilating them. We could also remove the hypothesis Noetherian if is finitely presented.

There are variants of Nakayama’s lemma that allow you to find generators of from . I might actually do a Nakayama post sometime, so I’ll give more details then. There is the standard fun corollary about f.g. projective modules over local rings being free. I kind of want to do that using though.

There is another lemma in Hartshorne that if you have local rings with a local homomorphism which induces an isomorphism on the residue fields, makes into a f.g. -module, and the map is surjective, then is surjective. The proof is basically Nakayama repeated several times, and I will probably mention it in the (future) Nakayama post.

August 19, 2009 at 10:34 am

Well, first of all I think “generic freeness” and “generic flatness” actually refer to essentially the same argument, except that the conclusion of the former is of course stronger.

I’m not sure however how the extended version of Nakayama you posted above is “general” in the sense you gave- it doesn’t say anything holds generically, nor does it require any finite-type hypothesis.

Other results I know of that may count at least as “generic” are Chevalley’s theorem that fiber dimension is generic under suitable nice conditions (e.g. noetherian schemes, finite type) and even lower (or is it upper?) semicontinuous, and generic smoothness: with varieties over an algebraically closed field of characteristic zero with nonsingular and a map , there is an open subset with smooth. I may post about this kind of material in the future, since I’d like to understand it myself.

November 15, 2009 at 4:27 pm

There is indeed categorical Nakayama Lemma as follows:

I should first introduce some notions:

C is an abelian category(with arbitrary intersection of subobjects)

Cpr is the proper subcategory generated by M of C such that for any nonzero M,any nonzero inclusion L—>M factors through a maximal proper subobject of M

Categorical Nakayama Lemma:

M is object of Cpr, and N—>M is an inclusion. The following conditions are equivalent:

1 N—>radM is inclusion, where radM=intersection of Kernel(M–>L), L goes through simple objects of Cpr.

2 if L—>M is inclusion such that N+L=M, then L=M.

Then the usual Nakayama Lemma is the corollary of this one.

Comments: Nakayama Lemma is crucial for proving noncommutative grassmannian is formally smooth.