|
Reflexive Sheaf
In algebraic geometry, a reflexive sheaf is a coherent sheaf that is isomorphic to its second dual (as a sheaf of modules) via the canonical map. The second dual of a coherent sheaf is called the reflexive hull of the sheaf. A basic example of a reflexive sheaf is a locally free sheaf of finite rank and, in practice, a reflexive sheaf is thought of as a kind of a vector bundle modulo some singularity. The notion is important both in scheme theory and complex algebraic geometry. For the theory of reflexive sheaves, one works over an integral noetherian scheme. A reflexive sheaf is torsion-free. The dual of a coherent sheaf is reflexive. Usually, the product of reflexive sheaves is defined as the reflexive hull of their tensor products (so the result is reflexive.) A coherent sheaf ''F'' is said to be "normal" in the sense of Barth if the restriction F(U) \to F(U - Y) is bijective for every open subset ''U'' and a closed subset ''Y'' of ''U'' of codimension at least 2. With this te ... [...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] |
Normal Scheme
In algebraic geometry, an algebraic variety or scheme ''X'' is normal if it is normal at every point, meaning that the local ring at the point is an integrally closed domain. An affine variety ''X'' (understood to be irreducible) is normal if and only if the ring ''O''(''X'') of regular functions on ''X'' is an integrally closed domain. A variety ''X'' over a field is normal if and only if every finite birational morphism from any variety ''Y'' to ''X'' is an isomorphism. Normal varieties were introduced by . Geometric and algebraic interpretations of normality A morphism of varieties is finite if the inverse image of every point is finite and the morphism is proper. A morphism of varieties is birational if it restricts to an isomorphism between dense open subsets. So, for example, the cuspidal cubic curve ''X'' in the affine plane ''A''2 defined by ''x''2 = ''y''3 is not normal, because there is a finite birational morphism ''A''1 → ''X'' (namely, ''t'' maps to (''t''3, ''t''2 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Torsion Sheaf
In mathematics, a torsion sheaf is a sheaf of abelian groups \mathcal on a site for which, for every object ''U'', the space of sections \Gamma(U, \mathcal) is a torsion abelian group. Similarly, for a prime number ''p'', we say a sheaf \mathcal is ''p''-torsion if every section over any object is killed by a power of ''p''. A torsion sheaf on an étale site is the union of its constructible subsheaves. See also * Twisted sheaf In mathematics, a twisted sheaf is a variant of a coherent sheaf. Precisely, it is specified by: an open covering in the étale topology ''U'i'', coherent sheaves ''F'i'' over ''U'i'', a Čech 2-cocycle ''θ'' on the covering ''U'i'' ... Notes References * * J. S. Milne, ''Étale Cohomology'' * Sheaf theory {{topology-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Torsionless Module
In abstract algebra, a module ''M'' over a ring ''R'' is called torsionless if it can be embedded into some direct product ''R''''I''. Equivalently, ''M'' is torsionless if each non-zero element of ''M'' has non-zero image under some ''R''-linear functional ''f'': : f\in M^=\operatorname_R(M,R),\quad f(m)\ne 0. This notion was introduced by Hyman Bass. Properties and examples A module is torsionless if and only if the canonical map into its double dual, : M\to M^=\operatorname_R(M^,R), \quad m\mapsto (f\mapsto f(m)), m\in M, f\in M^, is injective. If this map is bijective then the module is called reflexive. For this reason, torsionless modules are also known as semi-reflexive. * A unital free module is torsionless. More generally, a direct sum of torsionless modules is torsionless. * A free module is reflexive if it is finitely generated, but for some rings there are also infinitely generated free modules that are reflexive. For instance, the direct sum of countab ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dualizing Sheaf
In algebraic geometry, the dualizing sheaf on a proper scheme ''X'' of dimension ''n'' over a field ''k'' is a coherent sheaf \omega_X together with a linear functional :t_X: \operatorname^n(X, \omega_X) \to k that induces a natural isomorphism of vector spaces :\operatorname_X(F, \omega_X) \simeq \operatorname^n(X, F)^*, \, \varphi \mapsto t_X \circ \varphi for each coherent sheaf ''F'' on ''X'' (the superscript * refers to a dual vector space). The linear functional t_X is called a trace morphism. A pair (\omega_X, t_X), if it is exists, is unique up to a natural isomorphism. In fact, in the language of category theory, \omega_X is an object representing the contravariant functor F \mapsto \operatorname^n(X, F)^* from the category of coherent sheaves on ''X'' to the category of ''k''-vector spaces. For a normal projective variety ''X'', the dualizing sheaf exists and it is in fact the canonical sheaf: \omega_X = \mathcal_X(K_X) where K_X is a canonical divisor. More generally, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Canonical Sheaf
In mathematics, the canonical bundle of a non-singular algebraic variety V of dimension n over a field is the line bundle \,\!\Omega^n = \omega, which is the ''n''th exterior power of the cotangent bundle Ω on ''V''. Over the complex numbers, it is the determinant bundle of holomorphic ''n''-forms on ''V''. This is the dualising object for Serre duality on ''V''. It may equally well be considered as an invertible sheaf. The canonical class is the divisor class of a Cartier divisor ''K'' on ''V'' giving rise to the canonical bundle — it is an equivalence class for linear equivalence on ''V'', and any divisor in it may be called a canonical divisor. An anticanonical divisor is any divisor −''K'' with ''K'' canonical. The anticanonical bundle is the corresponding inverse bundle ω−1. When the anticanonical bundle of V is ample, V is called a Fano variety. The adjunction formula Suppose that ''X'' is a smooth variety and that ''D'' is a smooth divisor on ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conductor (algebraic Geometry)
This is a glossary of algebraic geometry. See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory. For the number-theoretic applications, see glossary of arithmetic and Diophantine geometry. For simplicity, a reference to the base scheme is often omitted; i.e., a scheme will be a scheme over some fixed base scheme ''S'' and a morphism an ''S''-morphism. !$@ A B C D E F G H I J K L M N O P ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Factorial Scheme
This is a glossary of algebraic geometry. See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory. For the number-theoretic applications, see glossary of arithmetic and Diophantine geometry. For simplicity, a reference to the base scheme is often omitted; i.e., a scheme will be a scheme over some fixed base scheme ''S'' and a morphism an ''S''-morphism. !$@ A B C D E F G H I J K L M N O P ... [...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] |
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 which has a local presentation, that is, every point in X has an open neighborhood U in which there is a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Noetherian Scheme
In algebraic geometry, a noetherian scheme is a scheme that admits a finite covering by open affine subsets \operatorname A_i, A_i noetherian rings. More generally, a scheme is locally noetherian if it is covered by spectra of noetherian rings. Thus, a scheme is noetherian if and only if it is locally noetherian and quasi-compact. As with noetherian rings, the concept is named after Emmy Noether. It can be shown that, in a locally noetherian scheme, if \operatorname A is an open affine subset, then ''A'' is a noetherian ring. In particular, \operatorname A is a noetherian scheme if and only if ''A'' is a noetherian ring. Let ''X'' be a locally noetherian scheme. Then the local rings \mathcal_ are noetherian rings. A noetherian scheme is a noetherian topological space. But the converse is false in general; consider, for example, the spectrum of a non-noetherian valuation ring. The definitions extend to formal schemes. Properties and Noetherian hypotheses Having a (local ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Integral Domain
In mathematics, specifically abstract algebra, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero. Integral domains are generalizations of the ring of integers and provide a natural setting for studying divisibility. In an integral domain, every nonzero element ''a'' has the cancellation property, that is, if , an equality implies . "Integral domain" is defined almost universally as above, but there is some variation. This article follows the convention that rings have a multiplicative identity, generally denoted 1, but some authors do not follow this, by not requiring integral domains to have a multiplicative identity. Noncommutative integral domains are sometimes admitted. This article, however, follows the much more usual convention of reserving the term "integral domain" for the commutative case and using "domain" for the general case including noncommutative rings. Some sources, notably Lang, use the term ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
