Concept

Invertible sheaf

In mathematics, an invertible sheaf is a sheaf on a ringed space which has an inverse with respect to tensor product of sheaves of 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. Let (X, OX) be a ringed space. Isomorphism classes of sheaves of OX-modules form a monoid under the operation of tensor product of OX-modules. The identity element for this operation is OX itself. Invertible sheaves are the invertible elements of this monoid. Specifically, if L is a sheaf of OX-modules, then L is called invertible if it satisfies any of the following equivalent conditions: There exists a sheaf M such that . The natural homomorphism is an isomorphism, where denotes the dual sheaf . The functor from OX-modules to OX-modules defined by is an equivalence of categories. Every locally free sheaf of rank one is invertible. If X is a locally ringed space, then L is invertible if and only if it is locally free of rank one. Because of this fact, invertible sheaves are closely related to line bundles, to the point where the two are sometimes conflated. Let X be an affine scheme Spec R. Then an invertible sheaf on X is the sheaf associated to a rank one projective module over R. For example, this includes fractional ideals of algebraic number fields, since these are rank one projective modules over the rings of integers of the number field. Picard group Quite generally, the isomorphism classes of invertible sheaves on X themselves form an abelian group under tensor product. This group generalises the ideal class group. In general it is written with Pic the Picard functor. Since it also includes the theory of the Jacobian variety of an algebraic curve, the study of this functor is a major issue in algebraic geometry. The direct construction of invertible sheaves by means of data on X leads to the concept of Cartier divisor.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.