Puiseux’s theorem

In Local Fields, Serre uses ramification groups to prove that the algebraic closure of the power series field over an algebraically closed field of characteristic zero is the colimit of for ; this is, as he calls it, a formal analog of the usual Puiseux theorem. If I am not being silly, there is an easier way to see this. For any finite extension, the unique valuation on the power series field extends uniquely (since these are all complete); the residue class field extension is trivial, since that of the power series field is already . Thus the extension is tamely ramified, and now by general facts, any totally and tamely ramified extension of a local field is obtained by adjoining a root of a uniformizer. (Cf. Lang’s Algebraic Number Theory; this follows from Hensel’s lemma.)

I added this to the chapter on completions. Also, as promised in the comments to this post, there is now some material on finite presentation in a chapter currently loosely marked various. It is far from complete, though.

Krull-Akizuki, the Amitsur complex

These are some of the few recent additions. Krull-Akizuki is nice because it implies that (I didn’t know this before) the integral closure of a Dedekind domain in any finite extension, not necessarily separable, is Dedekind. One of the applications that should eventually appear is that a noetherian local domain can always be dominated by a DVR (as opposed to just a plain valuation ring).

The Amitsur complex is what Tamme calls it; others just write  it out. This is the sequence that you get for a faithfully flat extension of rings, whose exactness is what leads to all sorts of descent theorems, which will someday appear here. (There is a MathOverflow question on the history of it.)

A finite presentation chapter?

There are a whole slew of results in commutative algebra and algebraic geometry that are essentially elaborations on a standard set of tricks for finitely presented objects. For instance, one has the following fact: if is an inductive system of rings, then any finitely presented module over the colimit descends to one of the . Moreover, the category of f.p. modules over the colimit is the “colimit category” of the categories of f.p. modules over the . Similarly, any f.p. algebra over the colimit descends to one of the . This, together with fpqc descent, is behind Grothendieck’s extremely awesome proof of Chevalley’s theorem that a quasi-finite morphism is quasi-affine; this trick, in EGA IV-3, is what lets him reduce to the case where the target scheme is the Spec of some local ring.  So I think it would be fun to have a whole bunch of these sorts of results.

On the other hand, I’m not sure whether it would be pedantic to devote an entire chapter to them. There are probably more important things in commutative algebra proper, and the above results are really cleaner if we can use the language of schemes a bit (then we can talk about quasi-coherent sheaves on projective limits, and even derive ZMT!), though it is an open question exactly how much we should delve into algebraic geometry.

Thoughts?

Flatness, henselianization

I’ve been working on the chapter on flatness in an attempt to make it look something like a portion of a book. This means, for instance, a reorganization of material like and greater material on faithful flatness. I added the canonical example of a faithfully flat algebra over a ring (the product where the generate the unit ideal); one of the nice things is that the Amitsur complex of this faithfully flat algebra (with respect to some -module ) is the Cech complex of the associated quasi-coherent sheaf with respect to the covering . In particular, the acyclicity of the Amitsur complex (which should be added soon!) lets you get Serre’s cohomological vanishing on an affine in a somewhat quicker way than Koszul complexes.

I think it would be great to include material on faithfully flat descent, though it will perhaps be hard to motivate without the language of schemes (though right now we are getting fairly close to introducing the language of schemes already!). Perhaps things like Hilbert’s Theorem 90 and Galois descent would be good items to include.

I’ve also been fleshing out the material on henselianization, following Raynaud’s Anneaux locaux henseliens; this is pretty fun stuff too.

 

Yes, we still exist

I realize nothing has been posted on this blog in approximately a month now, but this project is still being updated. The academic year makes it difficult to get much work done on outside projects. The CRing project is still different from what it was a month ago, though no sweeping changes have occurred.

Since we have a lot of submitted material now that has yet to be edited into the project, I plan to work on that a bit during spring break. Other people should feel free to be involved in this!