Zariski's main theorem

In algebraic geometry, a field in mathematics, Zariski's main theorem, or Zariski's connectedness theorem, is a theorem proved by harvs|txt=yes|last=Zariski|year1=1943|year2=1949 which implies that fibers over normal points of birational projective morphisms of varieties are connected. The theorem can be stated in several ways which at first sight seem to be quite different. In particular the name "Zariski's main theorem" is also used for a closely related theorem of Grothendieck that describes the structure of quasi-finite morphisms of schemes, which implies Zariski's original main theorem.

Zariski's main theorem for birational morphisms

Zariski's original version of his main theorem harv|Zariski|1943|p=522 stated:"MAIN THEOREM: If "W" is an irreducible fundamental variety on "V" of a birational correspondence "T" between "V" and "V"′ and if "T" has no fundamental elements on "V"′ then — under the assumption that "V" is locally normal at "W" — each irreducible component of the transform "T" ["W"] is of higher dimension than "W"."This form of the theorem can be hard to understand because the language of algebraic geometry has changed. A version of his main theorem harv|Hartshorne|1977|loc=corollary III.11.4 using current terminology states::If "f":"X"→"Y" is a birational projective morphism between noetherian integral schemes, then the inverse image of every normal point of "Y" is connected.(The inverse image of a non-normal point need not be connected: for example, "X" might be the normalization of a curve "Y" with a double point "y"; then the fiber over "y" has 2 points and is not connected.)This version easily implies the following result harv|Hartshorne|1977|loc=Theorem V.5.2, which is closer to Zariski's original theorem::If "f":"X"→"Y" is a birational transformation of projective varieties with "X" normal, then the total transform of a fundamental point of "f" is connected and of dimension at least 1.Another version, given by harvtxt|Grothendieck|1961|loc=theorem 4.4.3 is:If "f":"X"→"Y" is a quasiprojective morphism of Noetherian schemes, then the set of points that are isolated in their fiber is open in "X". Moreover the induced scheme of this set is isomorphic to an open subset of a scheme that is finite over "Y".

Zariski's main theorem for quasifinite morphisms

harvtxt|Grothendieck|1966|loc=Theorem 8.12.6 observed that Zariski's main theorem could easily be deduced from a more general theorem about the structure of quasifinite morphisms, and "Zariski's main theorem" is sometimes used to refer to this generalization.It is well known that open immersions and finite morphisms are quasi-finite. Zariski's main theorem for quasifinite morphisms, which is much harder than these facts is a kind of converse statement: if "Y" is a quasi-compact separated scheme and :"f": "X" → "Y" is a separated, quasi-finite, finitely presented morphism then there is a factorization into

:"X" → "Z" → "Y",where the first map is an open immersion and the second one is finite.

The relation between this theorem about quasifinite morphisms and Zariski's original main theorem 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", and Grothendieck's theorem about the structure of quasifinite morphisms can then be used to show that the fibers of "f" over normal points are connected.

Zariski's main theorem for commutative rings

harvtxt|Zariski|1949 reformulated his main theorem in terms of commutative algebra as a statement about local rings. harvtxt|Grothendieck|1961|loc=theorem 4.4.7 generalized Zariski's formulation as follows: :If "B" is an algebra of finite type over a local Noetherian ring "A", and "n" is a maximal ideal of "B" which is minimal among ideals of "B" whose inverse image in "A" is the maximal ideal "m" of "A", then there is a finite "A"-algebra "A"′ with a maximal ideal "m"′ (whose inverse image in "A" is "m") such that the localization "B"_"n" is isomorphic to the "A"-algebra "A"′_"m"′.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.

ee also

* Deligne's connectedness theorem
* Fulton-Hansen connectedness theorem
* Grothendieck's connectedness theorem

References

*springer|title=Zariski theorem|id=Z/z099130|first=V.I. |last=Danilov
*citation
last = Grothendieck
first = Alexandre
authorlink = Alexandre Grothendieck
year = 1961
title = Eléments de géométrie algébrique (rédigés avec la collaboration de Jean Dieudonné) : III. Étude cohomologique des faisceaux cohérents, Première partie
series = Publications Mathématiques de l'IHÉS
volume = 11
pages = 5-167
url = http://www.numdam.org:80/numdam-bin/feuilleter?id=PMIHES_1961__11_
*citation
last = Grothendieck
first = Alexandre
authorlink = Alexandre Grothendieck
year = 1966
title = Éléments de géométrie algébrique (rédigés avec la collaboration de Jean Dieudonné) : IV. Étude locale des schémas et des morphismes de schémas, Troisième partie
series = Publications Mathématiques de l'IHÉS
volume = 28
pages = 43-48
url = http://www.numdam.org:80/numdam-bin/feuilleter?id=PMIHES_1966__28_
* | year=1977
* | year=1970 | volume=169
doi=10.1007/BFb0069571|isbn=978-3-540-05283-8
*citation|id=MR|0008468
last=Zariski|first= Oscar
title=Foundations of a general theory of birational correspondences.
journal=Trans. Amer. Math. Soc.|volume= 53|year=1943|pages= 490-542
url=http://links.jstor.org/sici?sici=0002-9947%28194305%2953%3A3%3C490%3AFOAGTO%3E2.0.CO%3B2-L
*citation|id=MR|0028056
last=Zariski|first= Oscar
title=A simple analytical proof of a fundamental property of birational transformations.
journal=Proc. Nat. Acad. Sci. U. S. A. |volume=35|issue=1|year=1949|pages= 62-66
url=http://links.jstor.org/sici?sici=0027-8424%2819490115%2935%3A1%3C62%3AASAPOA%3E2.0.CO%3B2-Y