##
Generic freeness II *July 30, 2009*

*Posted by Akhil Mathew in algebra, commutative algebra.*

Tags: algebra, commutative algebra, generic freeness, localization

trackback

Tags: algebra, commutative algebra, generic freeness, localization

trackback

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 1Let 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 2Suppose are free modules over a ring and is an -module. If there is an exact sequencethen 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]*

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?

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.

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.)

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.

Ah, of course! My bad.

What other “general” lemmas do you know of? Nakayama’s Lemma can be generalized as follows: let A->B be a local homomorphism of local rings and M be a finite B-module, then if m_a M = M, then M is trivial. But I’m not familiar with any other results in this vein. Ideas?

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.

Sorry; when I said “general”, I meant “Grothendieck-style” in the following sense. In classical A.G. you might have a result like: if M is a finite A-module satisfying P, then Q is true generically over A. I’m looking for results that look like: if M is a finite B-module where B is a f.g. algebra over A and M satisfies P, Q is true generically over A.

Examples are Grothendieck’s generic freeness and flatness lemmas, and the version of Nakayama I posted before. But I have no idea what sorts of lemmas can be generalized to this sort of statement. Do you have any idea?

Thanks!

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.

Ugh — I should really think before posting these comments. Under anonymity, there is no pressure to be careful or accurate or correct or anything🙂

You’re right that I totally butchered the type of lemma that I was asking for. And that the form of Nakayama I gave didn’t at all fit into it. I guess what I meant is: there are a bunch of statements whose hypothesis includes: “M is a finite module over A”. Sometimes the hypothesis can be weakened: “M is a finite module over B, where B is an A-algebra satisfying [blah]”.

For Grothendieck’s generic freeness lemma, blah is finitely generated and for the version of Nakayama I mentioned, blah is nothing. I hear that this is a general phenomenon (and is useful in proving things in the relative framework of A.G.), but I know very few results of this form.

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.

Sorry, I’m getting a bit confused here. Could you clarify what Cpr refers to in the case R-mod, for instance?