Zariski's main theorem
In algebraic geometry, Zariski's main theorem, proved by , is a statement about the structure of birational morphisms stating roughly that there is only one branch at any normal point of a variety. It is the special case of Zariski's connectedness theorem when the two varieties are birational. Zariski's main theorem can be stated in several ways which at first sight seem to be quite different, but are in fact deeply related. Some of the variations that have been called Zariski's main theorem are as follows: The name "Zariski's main theorem" comes  from the fact that Zariski labelled it as the "MAIN THEOREM" in . Zariski's main theorem for birational morphisms. Let "f" be a birational mapping of algebraic varieties "V" and "W". Recall that "f" is defined by a closed subvariety formula_1 (a "graph" of "f") such that the projection on the first factor formula_2 induces an isomorphism between an open formula_3 and formula_4, and such that formula_5 is an isomorphism on "U" too. The complement of "U" in "V" is called a "fundamental variety" or "indeterminancy locus", and an image of a subset of "V" under formula_5 is called a  total transform of it. The original statement of the theorem in reads: Here "T" is essentially a morphism from "V"′ to "V" that is birational, "W" is a subvariety of the set where the inverse of "T" is not defined whose local ring is normal, and the transform "T"["W"] means the inverse image of "W" under the morphism from "V"′ to "V". Here are some variants of this theorem stated using more recent terminology. calls the following connectedness statement "Zariski's Main theorem": The following consequence of it (Theorem V.5.2,"loc.cit.") also goes under this name: Zariski's main theorem for  quasifinite morphisms. In EGA III, Grothendieck calls the following statement which does not involve connectedness a "Main theorem" of Zariski : In EGA IV, Grothendieck observed that the last statement could be deduced from a more general theorem about the structure of quasi-finite morphisms, and the latter is often referred to as the "Zariski's main theorem in the form of Grothendieck". It is well known that open immersions and finite morphisms are quasi-finite. Grothendieck proved that under the hypothesis of separatedness all quasi-finite morphisms are compositions of such : The relation between this theorem about quasi-finite morphisms  and Théorème 4.4.3 of EGA III quoted above is that if "f":"X"→"Y" is a projective morphism of varieties, then the set of points that are isolated in their fiber is quasifinite over "Y". Then structure theorem for quasi-finite morphisms applies and yields the desired result. Zariski's main theorem for commutative rings. reformulated his main theorem in terms of commutative algebra as a statement about local rings. generalized Zariski's formulation as follows: If in addition "A" and "B" are integral and have the same field of fractions, and "A" is integrally closed, then this theorem implies that "A  and B" are equal. This is essentially Zariski's formulation of his main theorem in terms of commutative rings. Zariski's main theorem: topological form. A topological version of Zariski's main theorem says that if "x" is a (closed) point of a normal complex variety it is unibranch; in other words there are arbitrarily small neighborhoods "U" of "x" such that the set of non-singular points of "U" is connected . The property of being normal is stronger than the property of being unibranch: for example, a cusp of a plane curve is unibranch but not normal. Zariski's  main theorem: power series form. A formal power series version of Zariski's main theorem says that if "x" is a normal point of a variety then it is analytically normal; in other words the completion of the local ring at "x" is a normal integral domain .