|
Closed Immersion
In algebraic geometry, a closed immersion of schemes is a morphism of schemes f: Z \to X that identifies ''Z'' as a closed subset of ''X'' such that locally, regular functions on ''Z'' can be extended to ''X''. The latter condition can be formalized by saying that f^\#:\mathcal_X\rightarrow f_\ast\mathcal_Z is surjective. An example is the inclusion map \operatorname(R/I) \to \operatorname(R) induced by the canonical map R \to R/I. Other characterizations The following are equivalent: #f: Z \to X is a closed immersion. #For every open affine U = \operatorname(R) \subset X, there exists an ideal I \subset R such that f^(U) = \operatorname(R/I) as schemes over ''U''. #There exists an open affine covering X = \bigcup U_j, U_j = \operatorname R_j and for each ''j'' there exists an ideal I_j \subset R_j such that f^(U_j) = \operatorname (R_j / I_j) as schemes over U_j. #There is a quasi-coherent sheaf of ideals \mathcal on ''X'' such that f_\ast\mathcal_Z\cong \mathcal_X/\mathcal and ... [...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 ... [...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] |
