Zariski's main theorem

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


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Oscar Zariski — (1899–1986) Born April 24, 1899(1 …   Wikipedia

  • Connectedness theorem — Deligne s connectedness theorem Fulton Hansen connectedness theorem Grothendieck s connectedness theorem Zariski s connectedness theorem (Zariski s main theorem) This disambiguation page lists articles associated with the same title. If an …   Wikipedia

  • Beauville–Laszlo theorem — In mathematics, the Beauville–Laszlo theorem is a result in commutative algebra and algebraic geometry that allows one to glue two sheaves over an infinitesimal neighborhood of a point on an algebraic curve. It was proved by Harvard… …   Wikipedia

  • List of mathematics articles (Z) — NOTOC Z Z channel (information theory) Z factor Z function Z group Z matrix (mathematics) Z notation Z order (curve) Z test Z transform Z* theorem Zadoff–Chu sequence Zahorski theorem Zakai equation Zakharov–Schulman system Zakharov system ZAMM… …   Wikipedia

  • Étale morphism — In algebraic geometry, a field of mathematics, an étale morphism (pronunciation IPA|) is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem,… …   Wikipedia

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

  • Pierre Deligne — Pierre Deligne, March 2005 Born 3 October 1944 (1944 10 03 …   Wikipedia

  • Quasi-finite morphism — In algebraic geometry, a branch of mathematics, a morphism f : X rarr; Y of schemes is quasi finite if it satisfies the following two conditions:* f is locally of finite type. * For every point y isin; Y , the scheme theoretic fiber X times; Y k… …   Wikipedia

  • Étale cohomology — In mathematics, the étale cohomology groups of an algebraic variety or scheme are algebraic analogues of the usual cohomology groups with finite coefficients of a topological space, introduced by Grothendieck in order to prove the Weil… …   Wikipedia

  • Algebraic geometry — This Togliatti surface is an algebraic surface of degree five. Algebraic geometry is a branch of mathematics which combines techniques of abstract algebra, especially commutative algebra, with the language and the problems of geometry. It… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”