December 22, 2010
(Well, it looks like I should stop making promises on this blog. There hasn’t been a single post about spectra yet. I hope that will change before next semester.)
So, today I am going to talk about the formal function theorem. This is more or less a statement that the properties of taking completions and taking cohomologies are isomorphic for proper schemes. As we will see, it is the basic ingredient in the proof of the baby form of Zariski’s main theorem. In fact, this is a very important point: the formal function theorem allows one to make a comparison with the cohomology of a given sheaf over the entire space and its cohomology over an “infinitesimal neighborhood” of a given closed subset. Now localization always commutes with cohomology on non-pathological schemes. However, taking such “infinitesimal neighborhoods” is generally too fine a job for localization. This is why the formal function theorem is such a big deal.
I will give the argument following EGA III here, which is more general than that of Hartshorne (who only handles the case of a projective scheme). The form that I will state today is actually rather plain and down-to-earth. In fact, one can jazz it up a little by introducing formal schemes; perhaps this is worth discussion next time. (more…)
September 1, 2009
So again, we’re back to completions, though we’re going to go through it quickly. Except this time we have a field with an absolute value like the rationals with the usual absolute value.
Definition 1 The completion of is defined as the set of equivalence classes of Cauchy sequences: (more…)
August 29, 2009
I am going to get back shortly to discussing algebraic number theory and discrete valuation rings. But this tidbit from EGA 1 that I just learned today was too much fun to resist. Besides, it puts the material on completions in more context, so I think the digression is justified.
The theorem says we can lift “approximate idempotents” in complete rings to actual ones. In detail:
Theorem 1 Let be a ring complete with respect to the -adic filtration. Then if is idempotent (i.e. ) then there is an idempotent such that reduces to . (more…)
August 27, 2009
The previous post got somewhat detailed and long, so today’s will be somewhat lighter. I’ll use completions to illustrate a well-known categorical trick using finite presentations.
The finite presentation trick
Our goal here is:
Theorem 1 Let be a Noetherian ring, and an ideal. If we take all completions with respect to the -adic topology,
for any f.g. -module . (more…)
August 23, 2009
Today I’ll discuss completions in their algebraic context. All this is really a version of Cauchy’s construction of the real numbers, but it’s also useful in algebra, since one can study a ring through its completions (e.g. in algebraic number theory, as I hope to get to soon).
Generalities on Completions
Suppose we have a filtered abelian group with a descending filtration of subgroups . Because of this, we can consider “Cauchy sequences” and “convergence:”
The sequence , is Cauchy if for each , there exists large enough that
The sequence converges to if for each , there exists large enough that