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