|
Ideal Sheaf
In algebraic geometry and other areas of mathematics, an ideal sheaf (or sheaf of ideals) is the global analogue of an ideal (ring theory), ideal in a ring (mathematics), ring. The ideal sheaves on a geometric object are closely connected to its subspaces. Definition Let ''X'' be a topological space and ''A'' a sheaf (mathematics), sheaf of rings on ''X''. (In other words, is a ringed space.) An ideal sheaf ''J'' in ''A'' is a subobject of ''A'' in the category (mathematics), category of sheaves of ''A''-modules, i.e., a sheaf (mathematics), subsheaf of ''A'' viewed as a sheaf of abelian groups such that : for all open subsets ''U'' of ''X''. In other words, ''J'' is a sheaf of modules, sheaf of ''A''-submodules of ''A''. General properties * If ''f'': ''A'' → ''B'' is a homomorphism between two sheaves of rings on the same space ''X'', the kernel of ''f'' is an ideal sheaf in ''A''. * Conversely, for any ideal sheaf ''J'' in a sheaf of rings ''A'', there is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Geometry
Algebraic geometry is a branch of mathematics which uses abstract algebraic techniques, mainly from commutative algebra, to solve geometry, geometrical problems. Classically, it studies zero of a function, zeros of multivariate polynomials; the modern approach generalizes this in a few different aspects. The fundamental objects of study in algebraic geometry are algebraic variety, algebraic varieties, which are geometric manifestations of solution set, solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are line (geometry), lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscate of Bernoulli, lemniscates and Cassini ovals. These are plane algebraic curves. A point of the plane lies on an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of points of special interest like singular point of a curve, singular p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reinhold Remmert
Reinhold Remmert (22 June 1930 – 9 March 2016) was a German mathematician. Born in Osnabrück, Lower Saxony, he studied mathematics, mathematical logic and physics in Münster. He established and developed the theory of complex-analytic spaces in joint work with Hans Grauert. Until his retirement in 1995, he was a professor for complex analysis in Münster. Remmert wrote two books on number theory and complex analysis, which contain a huge amount of historical information together with references on important papers in the subject. See also * Remmert–Stein theorem Important publications * * References * Short biographyhosted at University of Münster The University of Münster (, until 2023 , WWU) is a public research university located in the city of Münster, North Rhine-Westphalia in Germany. With more than 43,000 students and over 120 fields of study in 15 departments, it is Germany's ... List of doctoral students 20th-century German mathematician ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hans Grauert
Hans Grauert (8 February 1930 in Haren, Emsland, Germany Р4 September 2011) was a German mathematician. He is known for major works on several complex variables, complex manifolds and the application of sheaf theory in this area, which influenced later work in algebraic geometry.Bauer, I. C. ''et al.'' (2002Complex geometry: collection of papers dedicated to Hans Grauert Springer. Together with Reinhold Remmert he established and developed the theory of complex-analytic spaces. He became professor at the University of G̦ttingen in 1958, as successor to C. L. Siegel. The lineage of this chair traces back through an eminent line of mathematicians: Weyl, Hilbert, Riemann, and ultimately to Gauss.Grauert, H. (1994Selected Papers Springer. Until his death, he was professor emeritus at G̦ttingen. Grauert was awarded a fellowship of the Leopoldina and the von Staudt Prize. Early life Grauert attended school at the Gymnasium in Meppen before studying for a semester at ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Éléments De Géométrie Algébrique
The (''EGA''; from French: "Elements of Algebraic Geometry") by Alexander Grothendieck (assisted by Jean Dieudonné) is a rigorous treatise on algebraic geometry that was published (in eight parts or fascicles) from 1960 through 1967 by the . In it, Grothendieck established systematic foundations of algebraic geometry, building upon the concept of schemes, which he defined. The work is now considered the foundation and basic reference of modern algebraic geometry. Editions Initially thirteen chapters were planned, but only the first four (making a total of approximately 1500 pages) were published. Much of the material which would have been found in the following chapters can be found, in a less polished form, in the '' Séminaire de géométrie algébrique'' (known as ''SGA''). Indeed, as explained by Grothendieck in the preface of the published version of ''SGA'', by 1970 it had become clear that incorporating all of the planned material in ''EGA'' would require significan ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coherent Sheaf
In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information. Coherent sheaves can be seen as a generalization of vector bundles. Unlike vector bundles, they form an abelian category, and so they are closed under operations such as taking kernels, images, and cokernels. The quasi-coherent sheaves are a generalization of coherent sheaves and include the locally free sheaves of infinite rank. Coherent sheaf cohomology is a powerful technique, in particular for studying the sections of a given coherent sheaf. Definitions A quasi-coherent sheaf on a ringed space (X, \mathcal O_X) is a sheaf \mathcal F of \mathcal O_X- modules that has a local presentation, that is, every point in X has an open neighborhood U in which there ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex-analytic Space
In mathematics, particularly differential geometry and complex geometry, a complex analytic varietyComplex analytic variety (or just variety) is sometimes required to be irreducible and (or) reduced or complex analytic space is a generalization of a complex manifold that allows the presence of singularities. Complex analytic varieties are locally ringed spaces that are locally isomorphic to local model spaces, where a local model space is an open subset of the vanishing locus of a finite set of holomorphic functions. Definition Denote the constant sheaf on a topological space with value \mathbb by \underline. A \mathbb-space is a locally ringed space (X, \mathcal_X), whose structure sheaf is an algebra over \underline. Choose an open subset U of some complex affine space \mathbb^n, and fix finitely many holomorphic functions f_1,\dots,f_k in U. Let X=V(f_1,\dots,f_k) be the common vanishing locus of these holomorphic functions, that is, X=\. Define a sheaf of rings on X by l ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Separated Morphism
In algebraic geometry, given a morphism of schemes p: X \to S, the diagonal morphism :\delta: X \to X \times_S X is a morphism determined by the universal property of the fiber product X \times_S X of ''p'' and ''p'' applied to the identity 1_X : X \to X and the identity 1_X. It is a special case of a graph morphism: given a morphism f: X \to Y over ''S'', the graph morphism of it is X \to X \times_S Y induced by f and the identity 1_X. The diagonal embedding is the graph morphism of 1_X. By definition, ''X'' is a separated scheme over ''S'' (p: X \to S is a separated morphism) if the diagonal morphism is a closed immersion. Also, a morphism p: X \to S locally of finite presentation is an unramified morphism if and only if the diagonal embedding is an open immersion. Explanation As an example, consider an algebraic variety over an algebraically closed field ''k'' and p: X \to \operatorname(k) the structure map. Then, identifying ''X'' with the set of its ''k''-rational points, X ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kähler Differential
In mathematics, Kähler differentials provide an adaptation of differential forms to arbitrary commutative rings or schemes. The notion was introduced by Erich Kähler in the 1930s. It was adopted as standard in commutative algebra and algebraic geometry somewhat later, once the need was felt to adapt methods from calculus and geometry over the complex numbers to contexts where such methods are not available. Definition Let and be commutative rings and be a ring homomorphism. An important example is for a field and a unital algebra over (such as the coordinate ring of an affine variety). Kähler differentials formalize the observation that the derivatives of polynomials are again polynomial. In this sense, differentiation is a notion which can be expressed in purely algebraic terms. This observation can be turned into a definition of the module :\Omega_ of differentials in different, but equivalent ways. Definition using derivations An -linear '' derivation'' on is an - ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conormal Bundle
In differential geometry, a field of mathematics, a normal bundle is a particular kind of vector bundle, complementary to the tangent bundle, and coming from an embedding (or immersion). Definition Riemannian manifold Let (M,g) be a Riemannian manifold, and S \subset M a Riemannian submanifold. Define, for a given p \in S, a vector n \in \mathrm_p M to be '' normal'' to S whenever g(n,v)=0 for all v\in \mathrm_p S (so that n is orthogonal to \mathrm_p S). The set \mathrm_p S of all such n is then called the ''normal space'' to S at p. Just as the total space of the tangent bundle to a manifold is constructed from all tangent spaces to the manifold, the total space of the normal bundle \mathrm S to S is defined as :\mathrmS := \coprod_ \mathrm_p S. The conormal bundle is defined as the dual bundle to the normal bundle. It can be realised naturally as a sub-bundle of the cotangent bundle. General definition More abstractly, given an immersion i: N \to M (for instance an embeddi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nilradical Of A Ring
In algebra, the nilradical of a commutative ring is the ideal consisting of the nilpotent elements: :\mathfrak_R = \lbrace f \in R \mid f^m=0 \text m\in\mathbb_\rbrace. It is thus the radical of the zero ideal. If the nilradical is the zero ideal, the ring is called a reduced ring. The nilradical of a commutative ring is the intersection of all prime ideals. In the non-commutative ring case the same definition does not always work. This has resulted in several radicals generalizing the commutative case in distinct ways; see the article Radical of a ring for more on this. The nilradical of a Lie algebra is similarly defined for Lie algebras. Commutative rings The nilradical of a commutative ring is the set of all nilpotent elements in the ring, or equivalently the radical of the zero ideal. This is an ideal because the sum of any two nilpotent elements is nilpotent (by the binomial formula), and the product of any element with a nilpotent element is nilpotent (by commu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
