Zariski's Connectedness Theorem
In algebraic geometry, Zariski's connectedness theorem (due to Oscar Zariski) says that under certain conditions the fibers of a morphism of varieties are connected. It is an extension of Zariski's main theorem to the case when the morphism of varieties need not be birational. Zariski's connectedness theorem gives a rigorous version of the "principle of degeneration" introduced by Federigo Enriques, which says roughly that a limit of absolutely irreducible cycles is absolutely connected. Statement Suppose that ''f'' is a proper surjective morphism of varieties In algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regular ... from ''X'' to ''Y'' such that the function field of ''Y'' is separably closed in that of ''X''. Then Zariski's connectedness theorem says that the inverse image of any norm ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Algebraic Geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical problems about these sets of zeros. The fundamental objects of study in algebraic geometry are algebraic varieties, which are geometric manifestations of solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are: plane algebraic curves, which include lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscates and Cassini ovals. A point of the plane belongs to an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of the points of special interest like the singular points, the inflection points and the points at infinity. More advanced questions involve the topology of the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Oscar Zariski
, birth_date = , birth_place = Kobrin, Russian Empire , death_date = , death_place = Brookline, Massachusetts, United States , nationality = American , field = Mathematics , work_institutions = Johns Hopkins UniversityUniversity of IllinoisHarvard University , alma_mater = University of Kyiv University of Rome , doctoral_advisor = Guido Castelnuovo , doctoral_students = S. S. AbhyankarMichael Artin Iacopo BarsottiIrvin CohenDaniel GorensteinRobin Hartshorne Heisuke Hironaka Steven KleimanJoseph LipmanDavid MumfordMaxwell RosenlichtPierre SamuelAbraham Seidenberg , known_for = Contributions to algebraic geometry , prizes = Cole Prize in Algebra (1944)National Medal of Science (1965)Wolf Prize (1981) Steele Prize (1981) , footnotes = Oscar Zariski (April 24, 1899 – July 4, 1986) was a Russian-born American mathematician and one of the most influential algebraic geometers of the 20th cent ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
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 total transform of a normal fundamental point of a birational map has positive dimension. This is essentially Zariski's original form of his main theorem. *A birational morphism with finite fibers to a normal variety is an isomorphism to an open subset. *The total transform of a normal point under a proper birational morphism is connected. *A closely related theorem of Grothendieck describes the structure of quasi-finite morphisms of schemes, which implies Zariski's origi ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Federigo Enriques
Abramo Giulio Umberto Federigo Enriques (5 January 1871 – 14 June 1946) was an Italian mathematician, now known principally as the first to give a classification of algebraic surfaces in birational geometry, and other contributions in algebraic geometry. Biography Enriques was born in Livorno, and brought up in Pisa, in a Sephardi Jewish family of Portuguese descent. His younger brother was zoologist Paolo Enriques who was also the father of Enzo Enriques Agnoletti and Anna Maria Enriques Agnoletti. He became a student of Guido Castelnuovo (who later became his brother-in-law after marrying his sister Elbina), and became an important member of the Italian school of algebraic geometry. He also worked on differential geometry. He collaborated with Castelnuovo, Corrado Segre and Francesco Severi. He had positions at the University of Bologna, and then the University of Rome La Sapienza. He lost his position in 1938, when the Fascist government enacted the "leggi razziali" (racial ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Proper Morphism
In algebraic geometry, a proper morphism between schemes is an analog of a proper map between complex analytic spaces. Some authors call a proper variety over a field ''k'' a complete variety. For example, every projective variety over a field ''k'' is proper over ''k''. A scheme ''X'' of finite type over the complex numbers (for example, a variety) is proper over C if and only if the space ''X''(C) of complex points with the classical (Euclidean) topology is compact and Hausdorff. A closed immersion is proper. A morphism is finite if and only if it is proper and quasi-finite. Definition A morphism ''f'': ''X'' → ''Y'' of schemes is called universally closed if for every scheme ''Z'' with a morphism ''Z'' → ''Y'', the projection from the fiber product :X \times_Y Z \to Z is a closed map of the underlying topological spaces. A morphism of schemes is called proper if it is separated, of finite type, and universally closed ( GAII, 5.4.. One also says that ''X'' is proper ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Morphism Of Varieties
In algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regular function. A regular map whose inverse is also regular is called biregular, and they are isomorphisms in the category of algebraic varieties. Because regular and biregular are very restrictive conditions – there are no non-constant regular functions on projective varieties – the weaker condition of a rational map and birational maps are frequently used as well. Definition If ''X'' and ''Y'' are closed subvarieties of \mathbb^n and \mathbb^m (so they are affine varieties), then a regular map f\colon X\to Y is the restriction of a polynomial map \mathbb^n\to \mathbb^m. Explicitly, it has the form: :f = (f_1, \dots, f_m) where the f_is are in the coordinate ring of ''X'': :k = k _1, \dots, x_nI, where ''I'' is the ideal defining ''X'' ( ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Function Field Of An Algebraic Variety
In algebraic geometry, the function field of an algebraic variety ''V'' consists of objects which are interpreted as rational functions on ''V''. In classical algebraic geometry they are ratios of polynomials; in complex algebraic geometry these are meromorphic functions and their higher-dimensional analogues; in modern algebraic geometry they are elements of some quotient ring's field of fractions. Definition for complex manifolds In complex algebraic geometry the objects of study are complex analytic varieties, on which we have a local notion of complex analysis, through which we may define meromorphic functions. The function field of a variety is then the set of all meromorphic functions on the variety. (Like all meromorphic functions, these take their values in \mathbb\cup\infty.) Together with the operations of addition and multiplication of functions, this is a field in the sense of algebra. For the Riemann sphere, which is the variety \mathbb^1 over the complex numbers, th ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Separably Closed
In field theory, a branch of algebra, an algebraic field extension E/F is called a separable extension if for every \alpha\in E, the minimal polynomial of \alpha over is a separable polynomial (i.e., its formal derivative is not the zero polynomial, or equivalently it has no repeated roots in any extension field).Isaacs, p. 281 There is also a more general definition that applies when is not necessarily algebraic over . An extension that is not separable is said to be ''inseparable''. Every algebraic extension of a field of characteristic zero is separable, and every algebraic extension of a finite field is separable.Isaacs, Theorem 18.11, p. 281 It follows that most extensions that are considered in mathematics are separable. Nevertheless, the concept of separability is important, as the existence of inseparable extensions is the main obstacle for extending many theorems proved in characteristic zero to non-zero characteristic. For example, the fundamental theorem of Galois ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Memoirs Of The American Mathematical Society
''Memoirs of the American Mathematical Society'' is a mathematical journal published in six volumes per year, totalling approximately 33 individually bound numbers, by the American Mathematical Society. It is intended to carry papers on new mathematical research between 80 and 200 pages in length. Usually, a bound number consists of a single paper, i.e., it is a monograph. The journal is indexed by Mathematical Reviews, Zentralblatt MATH, Science Citation Index, Research Alert, CompuMath Citation Index, and Current Contents. Other journals from the AMS * ''Bulletin of the American Mathematical Society'' * ''Journal of the American Mathematical Society'' * ''Notices of the American Mathematical Society ''Notices of the American Mathematical Society'' is the membership journal of the American Mathematical Society (AMS), published monthly except for the combined June/July issue. The first volume appeared in 1953. Each issue of the magazine since ...'' * ''Proceedings of the Ame ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |