Concept
Faisceau (de modules)
Concepts associés (21)
Groupe de Picard
En géométrie algébrique, le groupe de Picard est un groupe associé à une variété algébrique ou plus généralement à un schéma. Il est en général isomorphe au groupe des diviseurs de Cartier. Si K est un corps de nombres, le groupe de Picard de l'anneau des entiers de K n'est autre que le groupe des classes de K. Pour les courbes algébriques et les variétés abéliennes, le groupe de Picard (ou plutôt le foncteur de Picard) permet de construire respectivement la jacobienne et la variété abélienne duale.
Constant sheaf
In mathematics, the constant sheaf on a topological space associated to a set is a sheaf of sets on whose stalks are all equal to . It is denoted by or . The constant presheaf with value is the presheaf that assigns to each non-empty open subset of the value , and all of whose restriction maps are the identity map . The constant sheaf associated to is the sheafification of the constant presheaf associated to . This sheaf identifies with the sheaf of locally constant -valued functions on .
Grothendieck category
In mathematics, a Grothendieck category is a certain kind of , introduced in Alexander Grothendieck's Tôhoku paper of 1957 in order to develop the machinery of homological algebra for modules and for sheaves in a unified manner. The theory of these categories was further developed in Pierre Gabriel's seminal thesis in 1962. To every algebraic variety one can associate a Grothendieck category , consisting of the quasi-coherent sheaves on .
Holomorphic vector bundle
In mathematics, a holomorphic vector bundle is a complex vector bundle over a complex manifold X such that the total space E is a complex manifold and the projection map π : E → X is holomorphic. Fundamental examples are the holomorphic tangent bundle of a complex manifold, and its dual, the holomorphic cotangent bundle. A holomorphic line bundle is a rank one holomorphic vector bundle. By Serre's GAGA, the category of holomorphic vector bundles on a smooth complex projective variety X (viewed as a complex manifold) is equivalent to the category of algebraic vector bundles (i.
Faisceau injectif
En mathématiques, un faisceau injectif est un d'une catégorie abélienne de faisceaux. Typiquement, dans la catégorie des faisceaux de groupes abéliens sur un espace topologique fixé, un faisceau est dit injectif lorsque, pour tout sous-faisceau d'un faisceau , tout morphisme injectif de dans se prolonge en un morphisme de dans . Autrement dit, le foncteur (contravariant) exact à gauche est exact. On en déduit immédiatement : Pour tout point de , il existe un plongement de la fibre dans un groupe abélien injectif .
Proj construction
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. Let be a graded ring, whereis the direct sum decomposition associated with the gradation.
Tautological bundle
In mathematics, the tautological bundle is a vector bundle occurring over a Grassmannian in a natural tautological way: for a Grassmannian of -dimensional subspaces of , given a point in the Grassmannian corresponding to a -dimensional vector subspace , the fiber over is the subspace itself. In the case of projective space the tautological bundle is known as the tautological line bundle. The tautological bundle is also called the universal bundle since any vector bundle (over a compact space) is a pullback of the tautological bundle; this is to say a Grassmannian is a classifying space for vector bundles.
Direct image functor
In mathematics, the direct image functor is a construction in sheaf theory that generalizes the global sections functor to the relative case. It is of fundamental importance in topology and algebraic geometry. Given a sheaf F defined on a topological space X and a continuous map f: X → Y, we can define a new sheaf f∗F on Y, called the direct image sheaf or the pushforward sheaf of F along f, such that the global sections of f∗F is given by the global sections of F.
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 , and so they are closed under operations such as taking , , and cokernels.
Catégorie des modules
En mathématiques, la catégorie des modules sur un monoïde R est une construction qui rend compte abstraitement des propriétés observées dans l'étude des modules sur un anneau, en les généralisant. L'étude de catégories de modules apparaît naturellement en théorie des représentations et en géométrie algébrique. Puisqu'un R-module est un espace vectoriel lorsque R est un corps commutatif, on peut dans un tel cas identifier la catégorie des modules sur R à la sur le corps R.