First note that taking an inverse limit is a functor. I won’t need the functorial properties in the immediate future, but it would be good to state some of them. First off, the functor is not exact, but it is left exact. So given an exact sequence of inverse systems 
(it is exact at each level and all the diagrams commute) we get an exact sequence 
.
It turns out that if the first system 
has the property that the homomorphisms 
are surjective, then the inverse limit is exact. So in our case with completions, this always happens.
The properties I’d really like to prove are the ones listed in Hartshorne without proof. Suppose for the rest of this post that 
is a Noetherian local ring and 
is its completion with respect to the 
-adic topology. The numbers will refer to Hartshorne numbering:
5.4A(a) is a local ring with maximal ideal 
and there is a natural injective homomorphism 
.
We already discussed the second part, since the kernel of the hom is just 
. Using right exactness of tensoring and exactness of completions, we get that for any finitely generated 
-module 
, 
is an iso (if we remove Noetherian on R, we only get surjective). This gives us that 
is an isomorphism and since the image is 
we get the first part of the statement.
Now we need that it is a unique maximal ideal. But applying the above result to any ideal (which is finitely generated since R is Noetherian) we get that 
. Thus 
. Taking inverse limits gives that 
and hence 
is a maximal ideal since the quotient is a field. But for any 
, we can define an inverse for 
formally by 
. Since we are in the completion, this converges in and hence 
. But a maximal ideal 
means that it is the Jacobson radical and hence the unique maximal ideal.
5.4A (b) If is a finitely generated -module, its completion 
is isomorphic to 
. Well, I needed this to prove (a) and briefly described how it would go, but since I didn’t prove the exactness properties, it seems needlessly detailed to do a full proof using them. For more details, see posts at delta epsilons.
5.4A (c) 
.
Let’s use some of the machinery we developed. The dimensions are equal to the degree of the Hilbert polynomial, but says precisely that 
. So the polynomials are actually the same.
5.4A (d) is regular if and only if is regular.
We’ll hold off on this until I cover regularity (which will either be next time or the time after).
Like this:
Like Loading...
I am a mathematics graduate student fascinated in how all my interests fit together.
November 18, 2009 at 4:37 am
A typo: You want
in 5.4c.