So last time, we introduced the first form of the formal function theorem. We said that if was a proper scheme over
with structure morphism
, and
for some ideal
, then there were two constructions one could do on a coherent sheaf
on
that were in fact the same. Namely, we could complete the cohomology
with respect to
, and we could take the inverse limit
. The claim was that the natural map
was in fact an isomorphism. This is a very nontrivial statement, but in fact we saw yesterday that a reasonably straightforward proof could be given via diagram-chasing if one appeals to a strong form of the proper mapping theorem.
1. Formal functions, jazzed up
Now, however, we want to jazz this up a little. I won’t do this as much as possible because I don’t want to talk too much about formal schemes yet. On the other hand, I want to replace cohomology groups with higher direct images.
First, however, we need to introduce a notion. Let be a closed subscheme of the scheme
, defined by a sheaf of ideals
. Given a sheaf
on
, we can define the completion along
, denoted
, to be the inverse limit
; this is a sheaf supported on the underlying set of
. If one is working with noetherian schemes, this depends only on the underlying set of
, since any two such ideals will have comparable powers. Now we can state the general formal function theorem:
Theorem 1 Let
be a proper morphism of noetherian schemes. Let
be a closed subscheme and
the pull-back. If
is a coherent sheaf on
, then there is a canonical isomorphism
Now one wants to say further that this is isomorphic to . This is also true, but requires a close analysis of exactly how cohomology behaves with respect to projective limits. I don’t want to go there. The claim is that we’ve already proved this jazzed-up version of the formal function theorem. Indeed, to compute the higher direct images, one just takes ordinary cohomology over inverse images and sheafifies. So let
be an affine over which
is given by an ideal
. Then we can evaluate both sides of the above equation at
. On the left, we get the
-adic completion
(the hat should be over the whole expression) on the right, we get
Note that taking sections commutes with taking inverse limits of sheaves. We know that these two are canonically isomorphic by the formal function theorem though, as is proper. Now we just sheafify.
2. An example
As an example, let be a proper morphism of noetherian schemes, and let
be a coherent sheaf on
. Suppose furthermore that
. We will show that there is a canonical isomorphism between
This is to be interpreted as follows. The first term is the completion of the stalk at the maximal ideal
. The second is the inverse limit of the cohomologies of the pull-backs of
to “infinitesimal neighborhoods” of the fiber. This is, incidentally, the version in which Hartshorne states the formal function theorem.
We can prove this as follows. First, let us make the flat base change . The formation of higher direct images commutes with flat base change for reasonable schemes, and consequently we can reduce to the case where
. As a result,
is a closed point.
In this case, the result is a direct restatement of the formal function theorem. The only thing to note is that because
is closed.
Corollary 2 Let
be a proper morphism whose fibers are of dimension
. Then
for any coherent
if
.
Indeed, if are as above, we know that
for all because sheaf cohomology is trivial in dimension higher than the combinatorial dimension, by a theorem of Grothendieck. The above version of the formal function theorem implies that the coherent sheaf the
has trivial stalks at each
(since completion is faithful for finite modules), and consequently is trivial.
Example 1 (Hartshorne exercise) Let be a proper morphism of noetherian schemes. Let
be a coherent sheaf on
, flat over
. Let us suppose that
; that is, the cohomology is trivial over the fiber at
. We will show more generally that
is trivial in a neighborhood of
. To do this, it is sufficient to show that the completion of the stalk
vanishes. By the formal function theorem, it is sufficient to see that
It will suffice by the long exact sequence and induction to show that
since is flat. But
is isomorphic to a direct sum of copies of
, so we are done.
December 23, 2010 at 1:19 pm
[…] order to do this, we will apply the formal function theorem in the simplest case: when and ! Namely, then we have […]
January 9, 2011 at 6:00 pm
In the second paragraph of “1. Formal functions, jazzed up” you say “inverse limit” but then write symbolically a direct limit.
January 9, 2011 at 7:49 pm
Corrected, thanks.