615 - MATH 615 LECTURE NOTES WINTER 2010 by Mel Hochster ZARISKI’S MAIN THEOREM STRUCTURE OF SMOOTH UNRAMIFIED AND ´ ETALE HOMOMORPHISMS

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: MATH 615 LECTURE NOTES, WINTER, 2010 by Mel Hochster ZARISKI’S MAIN THEOREM, STRUCTURE OF SMOOTH, UNRAMIFIED, AND ´ ETALE HOMOMORPHISMS, HENSELIAN RINGS AND HENSELIZATION, ARTIN APPROXIMATION, AND REDUCTION TO CHARACTERISTIC p Lecture of January 6, 2010 Throughout these lectures, unless otherwise indicated, all rings are commutative, asso- ciative rings with multiplicative identity and ring homomorphisms are unital , i.e., they are assumed to preserve the identity. If R is a ring, a given R-module M is also assumed to be unital , i.e., 1 · m = m for all m ∈ M . We shall use N , Z , Q , and R and C to denote the nonnegative integers, the integers, the rational numbers, the real numbers, and the complex numbers, respectively. Our focus is very strongly on Noetherian rings, i.e., rings in which every ideal is finitely generated. Our objective will be to prove results, many of them very deep, that imply that many questions about arbitrary Noetherian rings can be reduced to the case of finitely generated algebras over a field (if the original ring contains a field) or over a discrete valuation ring (DVR), by which we shall always mean a Noetherian discrete valuation domain. Such a domain V is characterized by having just one maximal ideal, which is principal, say pV , and is such that every nonzero element can be written uniquely in the form up n where u is a unit and n ∈ N . The formal power series ring K [[ x ]] in one variable over a field K is an example in which p = x . Another is the ring of p-adic integers for some prime p > 0, in which case the prime used does, in fact, generate the maximal ideal. One can make this sort of reduction in steps as follows. First reduce to the problem to the local case. Then complete, so that one only needs to consider the problem for complete local rings. We shall study Henselian rings and the process of Henselization. We shall give numer- ous characterizations of Henselian rings. In good cases, the Henselization consists of the elements of the completion algebraic over the original ring. The next step is to “approxi- mate” the complete ring in the sense of writing it as a direct limit of Henselian rings that are Henselizations of local rings of finitely generated algebras over a field or DVR. But this is done in a “good” way, where many additional conditions are satisfied. The result needed is referred to as Artin approximation . We are not yet done. Henselizations are constructed as direct limits of localized ´ etale extensions, and so we are led to study ´ etale and other important classes of ring extensions, such as smooth extensions and unramified extensiions. (The ´ etale extensions are the extensions that are both smooth and unramified.) There is a beautiful structure theory for 1 2 these classes of extensions. Because ´ etale extensions are finitely generated algebras, one can take the fourth step, which is to replace the Henselian ring by a ring that is finitely generated over a field or DVR. Carrying out these ideas in detail will take up a largegenerated over a field or DVR....
View Full Document

This note was uploaded on 10/26/2011 for the course MATH 8020 taught by Professor Clark during the Summer '11 term at University of Georgia Athens.

Page1 / 120

615 - MATH 615 LECTURE NOTES WINTER 2010 by Mel Hochster ZARISKI’S MAIN THEOREM STRUCTURE OF SMOOTH UNRAMIFIED AND ´ ETALE HOMOMORPHISMS

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online