|
Abelian Sheaf
In mathematics, a sheaf of ''O''-modules or simply an ''O''-module over a ringed space (''X'', ''O'') is a sheaf ''F'' such that, for any open subset ''U'' of ''X'', ''F''(''U'') is an ''O''(''U'')-module and the restriction maps ''F''(''U'') → ''F''(''V'') are compatible with the restriction maps ''O''(''U'') → ''O''(''V''): the restriction of ''fs'' is the restriction of ''f'' times that of ''s'' for any ''f'' in ''O''(''U'') and ''s'' in ''F''(''U''). The standard case is when ''X'' is a scheme and ''O'' its structure sheaf. If ''O'' is the constant sheaf \underline, then a sheaf of ''O''-modules is the same as a sheaf of abelian groups (i.e., an abelian sheaf). If ''X'' is the prime spectrum of a ring ''R'', then any ''R''-module defines an ''O''''X''-module (called an associated sheaf) in a natural way. Similarly, if ''R'' is a graded ring and ''X'' is the Proj of ''R'', then any graded module defines an ''O''''X''-module in a natural way. ''O''-module ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ringed Space
In mathematics, a ringed space is a family of (commutative) rings parametrized by open subsets of a topological space together with ring homomorphisms that play roles of restrictions. Precisely, it is a topological space equipped with a sheaf of rings called a structure sheaf. It is an abstraction of the concept of the rings of continuous (scalar-valued) functions on open subsets. Among ringed spaces, especially important and prominent is a locally ringed space: a ringed space in which the analogy between the stalk at a point and the ring of germs of functions at a point is valid. Ringed spaces appear in analysis as well as complex algebraic geometry and the scheme theory of algebraic geometry. Note: In the definition of a ringed space, most expositions tend to restrict the rings to be commutative rings, including Hartshorne and Wikipedia. "Éléments de géométrie algébrique", on the other hand, does not impose the commutativity assumption, although the book mostly consi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cotangent Sheaf
In algebraic geometry, given a morphism ''f'': ''X'' → ''S'' of schemes, the cotangent sheaf on ''X'' is the sheaf of \mathcal_X-modules \Omega_ that represents (or classifies) ''S''-derivations in the sense: for any \mathcal_X-modules ''F'', there is an isomorphism :\operatorname_(\Omega_, F) = \operatorname_S(\mathcal_X, F) that depends naturally on ''F''. In other words, the cotangent sheaf is characterized by the universal property: there is the differential d: \mathcal_X \to \Omega_ such that any ''S''-derivation D: \mathcal_X \to F factors as D = \alpha \circ d with some \alpha: \Omega_ \to F. In the case ''X'' and ''S'' are affine schemes, the above definition means that \Omega_ is the module of Kähler differentials. The standard way to construct a cotangent sheaf (e.g., Hartshorne, Ch II. § 8) is through a diagonal morphism (which amounts to gluing modules of Kähler differentials on affine charts to get the globally-defined cotangent sheaf.) The dual module of the cota ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symmetric Algebra
In mathematics, the symmetric algebra (also denoted on a vector space over a field is a commutative algebra over that contains , and is, in some sense, minimal for this property. Here, "minimal" means that satisfies the following universal property: for every linear map from to a commutative algebra , there is a unique algebra homomorphism such that , where is the inclusion map of in . If is a basis of , the symmetric algebra can be identified, through a canonical isomorphism, to the polynomial ring , where the elements of are considered as indeterminates. Therefore, the symmetric algebra over can be viewed as a "coordinate free" polynomial ring over . The symmetric algebra can be built as the quotient of the tensor algebra by the two-sided ideal generated by the elements of the form . All these definitions and properties extend naturally to the case where is a module (not necessarily a free one) over a commutative ring. Construction From tensor algebra It is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exterior Algebra
In mathematics, the exterior algebra, or Grassmann algebra, named after Hermann Grassmann, is an algebra that uses the exterior product or wedge product as its multiplication. In mathematics, the exterior product or wedge product of vectors is an algebraic construction used in geometry to study areas, volumes, and their higher-dimensional analogues. The exterior product of two vectors u and v, denoted by u \wedge v, is called a bivector and lives in a space called the ''exterior square'', a vector space that is distinct from the original space of vectors. The magnitude of u \wedge v can be interpreted as the area of the parallelogram with sides u and v, which in three dimensions can also be computed using the cross product of the two vectors. More generally, all parallel plane surfaces with the same orientation and area have the same bivector as a measure of their oriented area. Like the cross product, the exterior product is anticommutative, meaning t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tensor Algebra
In mathematics, the tensor algebra of a vector space ''V'', denoted ''T''(''V'') or ''T''(''V''), is the algebra of tensors on ''V'' (of any rank) with multiplication being the tensor product. It is the free algebra on ''V'', in the sense of being left adjoint to the forgetful functor from algebras to vector spaces: it is the "most general" algebra containing ''V'', in the sense of the corresponding universal property (see below). The tensor algebra is important because many other algebras arise as quotient algebras of ''T''(''V''). These include the exterior algebra, the symmetric algebra, Clifford algebras, the Weyl algebra and universal enveloping algebras. The tensor algebra also has two coalgebra structures; one simple one, which does not make it a bialgebra, but does lead to the concept of a cofree coalgebra, and a more complicated one, which yields a bialgebra, and can be extended by giving an antipode to create a Hopf algebra structure. ''Note'': In this article, all a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Trace Map
In mathematics, the tensor product of modules is a construction that allows arguments about bilinear maps (e.g. multiplication) to be carried out in terms of linear maps. The module construction is analogous to the construction of the tensor product of vector spaces, but can be carried out for a pair of modules over a commutative ring resulting in a third module, and also for a pair of a right-module and a left-module over any ring, with result an abelian group. Tensor products are important in areas of abstract algebra, homological algebra, algebraic topology, algebraic geometry, operator algebras and noncommutative geometry. The universal property of the tensor product of vector spaces extends to more general situations in abstract algebra. It allows the study of bilinear or multilinear operations via linear operations. The tensor product of an algebra and a module can be used for extension of scalars. For a commutative ring, the tensor product of modules can be iterated to fo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ÄŒech Cohomology
In mathematics, specifically algebraic topology, ÄŒech cohomology is a cohomology theory based on the intersection properties of open covers of a topological space. It is named for the mathematician Eduard ÄŒech. Motivation Let ''X'' be a topological space, and let \mathcal be an open cover of ''X''. Let N(\mathcal) denote the nerve of the covering. The idea of ÄŒech cohomology is that, for an open cover \mathcal consisting of sufficiently small open sets, the resulting simplicial complex N(\mathcal) should be a good combinatorial model for the space ''X''. For such a cover, the ÄŒech cohomology of ''X'' is defined to be the simplicial cohomology of the nerve. This idea can be formalized by the notion of a good cover. However, a more general approach is to take the direct limit of the cohomology groups of the nerve over the system of all possible open covers of ''X'', ordered by refinement. This is the approach adopted below. Construction Let ''X'' be a topological space, and l ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Picard Group
In mathematics, the Picard group of a ringed space ''X'', denoted by Pic(''X''), is the group of isomorphism classes of invertible sheaves (or line bundles) on ''X'', with the group operation being tensor product. This construction is a global version of the construction of the divisor class group, or ideal class group, and is much used in algebraic geometry and the theory of complex manifolds. Alternatively, the Picard group can be defined as the sheaf cohomology group :H^1 (X, \mathcal_X^).\, For integral schemes the Picard group is isomorphic to the class group of Cartier divisors. For complex manifolds the exponential sheaf sequence gives basic information on the Picard group. The name is in honour of Émile Picard's theories, in particular of divisors on algebraic surfaces. Examples * The Picard group of the spectrum of a Dedekind domain is its '' ideal class group''. * The invertible sheaves on projective space P''n''(''k'') for ''k'' a field, are the twisting shea ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Line Bundle
In mathematics, a line bundle expresses the concept of a line that varies from point to point of a space. For example, a curve in the plane having a tangent line at each point determines a varying line: the ''tangent bundle'' is a way of organising these. More formally, in algebraic topology and differential topology, a line bundle is defined as a ''vector bundle'' of rank 1. Line bundles are specified by choosing a one-dimensional vector space for each point of the space in a continuous manner. In topological applications, this vector space is usually real or complex. The two cases display fundamentally different behavior because of the different topological properties of real and complex vector spaces: If the origin is removed from the real line, then the result is the set of 1×1 invertible real matrices, which is homotopy-equivalent to a discrete two-point space by contracting the positive and negative reals each to a point; whereas removing the origin from the complex plane ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Invertible Sheaf
In mathematics, an invertible sheaf is a coherent sheaf ''S'' on a ringed space ''X'', for which there is an inverse ''T'' with respect to tensor product of ''O''''X''-modules. It is the equivalent in algebraic geometry of the topological notion of a line bundle. Due to their interactions with Cartier divisors, they play a central role in the study of algebraic varieties. Definition An invertible sheaf is a locally free sheaf ''S'' on a ringed space ''X'', for which there is an inverse ''T'' with respect to tensor product of ''O''''X''-modules, that is, we have :S \otimes T\ isomorphic to ''O''''X'', which acts as identity element for the tensor product. The most significant cases are those coming from algebraic geometry and complex geometry. For spaces such as (locally) Noetherian schemes or complex manifolds, one can actually replace 'locally free' by 'coherent' in the definition. The invertible sheaves in those theories are in effect the line bundles appropriately formulat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Free 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 an exac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Serre's Twisting Sheaf
In algebraic geometry, Proj is a construction analogous to the spectrum-of-a-ring construction of affine schemes, which produces objects with the typical properties of projective spaces and projective varieties. The construction, while not functorial, is a fundamental tool in scheme theory. In this article, all rings will be assumed to be commutative and with identity. Proj of a graded ring Proj as a set Let S be a graded ring, whereS = \bigoplus_ S_iis the direct sum decomposition associated with the gradation. The irrelevant ideal of S is the ideal of elements of positive degreeS_+ = \bigoplus_ S_i .We say an ideal is homogeneous if it is generated by homogeneous elements. Then, as a set,\operatorname S = \. For brevity we will sometimes write X for \operatorname S. Proj as a topological space We may define a topology, called the Zariski topology, on \operatorname S by defining the closed sets to be those of the form :V(a) = \, where a is a homogeneous ideal of S. As ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
