Stein Factorization
In algebraic geometry, the Stein factorization, introduced by for the case of complex spaces, states that a proper morphism can be factorized as a composition of a finite mapping and a proper morphism with connected fibers. Roughly speaking, Stein factorization contracts the connected components of the fibers of a mapping to points. Statement One version for schemes states the following: Let ''X'' be a Scheme (mathematics), scheme, ''S'' a locally noetherian scheme and f: X \to S a proper morphism. Then one can write :f = g \circ f' where g\colon S' \to S is a finite morphism and f'\colon X \to S' is a proper morphism so that f'_* \mathcal_X = \mathcal_. The existence of this decomposition itself is not difficult. See below. But, by Zariski's connectedness theorem, the last part in the above says that the fiber f'^(s) is connected for any s \in S. It follows: Corollary: For any s \in S, the set of connected components of the fiber f^(s) is in bijection with the set of points in ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Scheme (mathematics)
In mathematics, a scheme is a mathematical structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities (the equations ''x'' = 0 and ''x''2 = 0 define the same algebraic variety but different schemes) and allowing "varieties" defined over any commutative ring (for example, Fermat curves are defined over the integers). Scheme theory was introduced by Alexander Grothendieck in 1960 in his treatise "Éléments de géométrie algébrique"; one of its aims was developing the formalism needed to solve deep problems of algebraic geometry, such as the Weil conjectures (the last of which was proved by Pierre Deligne). Strongly based on commutative algebra, scheme theory allows a systematic use of methods of topology and homological algebra. Scheme theory also unifies algebraic geometry with much of number theory, which eventually led to Wiles's proof of Fermat's Last Theorem. Formally, a scheme is a topological space together with ... [...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]   |
|
Finite Morphism
In algebraic geometry, a finite morphism between two affine varieties In algebraic geometry, an affine variety, or affine algebraic variety, over an algebraically closed field is the zero-locus in the affine space of some finite family of polynomials of variables with coefficients in that generate a prime idea ... X, Y is a dense Regular map (algebraic geometry), regular map which induces isomorphic inclusion k\left[Y\right]\hookrightarrow k\left[X\right] between their Coordinate ring, coordinate rings, such that k\left[X\right] is integral over k\left[Y\right]. This definition can be extended to the quasi-projective varieties, such that a Regular map (algebraic geometry), regular map f\colon X\to Y between quasiprojective varieties is finite if any point like y\in Y has an affine neighbourhood V such that U=f^(V) is affine and f\colon U\to V is a finite map (in view of the previous definition, because it is between affine varieties). Definition by Schemes A morphism ''f'': ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
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]   |
|
Relative Spec
In commutative algebra, the prime spectrum (or simply the spectrum) of a ring ''R'' is the set of all prime ideals of ''R'', and is usually denoted by \operatorname; in algebraic geometry it is simultaneously a topological space equipped with the sheaf of rings \mathcal. Zariski topology For any ideal ''I'' of ''R'', define V_I to be the set of prime ideals containing ''I''. We can put a topology on \operatorname(R) by defining the collection of closed sets to be :\. This topology is called the Zariski topology. A basis for the Zariski topology can be constructed as follows. For ''f'' ∈ ''R'', define ''D''''f'' to be the set of prime ideals of ''R'' not containing ''f''. Then each ''D''''f'' is an open subset of \operatorname(R), and \ is a basis for the Zariski topology. \operatorname(R) is a compact space, but almost never Hausdorff: in fact, the maximal ideals in ''R'' are precisely the closed points in this topology. By the same reasoning, it is not, in general, a T ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Theorem On Formal Functions
In algebraic geometry, the theorem on formal functions states the following: :Let f: X \to S be a proper morphism of noetherian schemes with a coherent sheaf \mathcal on ''X''. Let S_0 be a closed subscheme of ''S'' defined by \mathcal and \widehat, \widehat formal completions with respect to X_0 = f^(S_0) and S_0. Then for each p \ge 0 the canonical (continuous) map: ::(R^p f_* \mathcal)^\wedge \to \varprojlim_k R^p f_* \mathcal_k :is an isomorphism of (topological) \mathcal_-modules, where :*The left term is \varprojlim R^p f_* \mathcal \otimes_ \mathcal_S/. :*\mathcal_k = \mathcal \otimes_ (\mathcal_S/^) :*The canonical map is one obtained by passage to limit. The theorem is used to deduce some other important theorems: Stein factorization and a version of Zariski's main theorem that says that a proper morphism, proper birational morphism into a normal variety is an isomorphism. Some other corollaries (with the notations as above) are: Corollary: For any s \in S, topologically, : ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Contraction Morphism
In algebraic geometry, a contraction morphism is a surjective projective morphism f: X \to Y between normal projective varieties (or projective schemes) such that f_* \mathcal_X = \mathcal_Y or, equivalently, the geometric fibers are all connected ( Zariski's connectedness theorem). It is also commonly called an algebraic fiber space, as it is an analog of a fiber space in algebraic topology. By the Stein factorization, any surjective projective morphism is a contraction morphism followed by a finite morphism. Examples include ruled surfaces and Mori fiber spaces. Birational perspective The following perspective is crucial in birational geometry (in particular in Mori's minimal model program). Let ''X'' be a projective variety and \overline(X) the closure of the span of irreducible curves on ''X'' in N_1(X) = the real vector space of numerical equivalence classes of real 1-cycles on ''X''. Given a face ''F'' of \overline(X), the contraction morphism associated to ''F'', if it ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematische Annalen
''Mathematische Annalen'' (abbreviated as ''Math. Ann.'' or, formerly, ''Math. Annal.'') is a German mathematical research journal founded in 1868 by Alfred Clebsch and Carl Neumann. Subsequent managing editors were Felix Klein, David Hilbert, Otto Blumenthal, Erich Hecke, Heinrich Behnke, Hans Grauert, Heinz Bauer, Herbert Amann, Jean-Pierre Bourguignon, Wolfgang Lück, and Nigel Hitchin. Currently, the managing editor of Mathematische Annalen is Thomas Schick. Volumes 1–80 (1869–1919) were published by Teubner. Since 1920 (vol. 81), the journal has been published by Springer. In the late 1920s, under the editorship of Hilbert, the journal became embroiled in controversy over the participation of L. E. J. Brouwer on its editorial board, a spillover from the foundational Brouwer–Hilbert controversy. Between 1945 and 1947 the journal briefly ceased publication. References External links''Mathematische Annalen''homepage at Springer''Mathematische Annalen''archive (1869†... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |