Concept
Cohomologie des faisceaux
Concepts associés (41)
Resolution (algebra)
In mathematics, and more specifically in homological algebra, a resolution (or left resolution; dually a coresolution or right resolution) is an exact sequence of modules (or, more generally, of s of an ), which is used to define invariants characterizing the structure of a specific module or object of this category. When, as usually, arrows are oriented to the right, the sequence is supposed to be infinite to the left for (left) resolutions, and to the right for right resolutions.
Faisceau (mathématiques)
En mathématiques, un faisceau est un outil permettant de suivre systématiquement des données définies localement et rattachées aux ouverts d'un espace topologique. Les données peuvent être restreintes à des ouverts plus petits, et les données correspondantes à un ouvert sont équivalentes à l'ensemble des données compatibles correspondantes aux ouverts plus petits couvrant l'ouvert d'origine. Par exemple, de telles données peuvent consister en des anneaux de fonctions réelles continues ou lisses définies sur chaque ouvert.
Henri Cartan
vignette|Henri Cartan (à gauche) avec Peter Thullen à l'université de Fribourg en 1987, au anniversaire de Thullen Henri Cartan, né le à Nancy et mort le à Paris , est un mathématicien français. Il est le fils du mathématicien Élie Cartan et de Marie-Louise Bianconi. Il est couramment considéré comme l'un des mathématiciens français les plus influents de son époque. Il est connu pour ses travaux sur les fonctions de plusieurs variables complexes, la topologie (faisceaux, complexes d'Eilenberg-Mac Lane) et l'algèbre homologique.
Cohomologie étale
La cohomologie étale est la théorie cohomologique des faisceaux associée à la topologie étale. Elle mime le comportement habituel de la cohomologie classique sur des objets mathématiques où celle-ci n'est pas envisageable, en particulier les schémas et les espaces analytiques. La cohomologie étale a été introduite pour les schémas par Alexander Grothendieck et Michael Artin dans SGA 4 et 41⁄2, avec l'objectif de réaliser une cohomologie de Weil et ainsi résoudre les conjectures de Weil, objectif partiellement rempli, plus tard complété par Pierre Deligne avec l'introduction de la cohomologie l-adique.
Foncteur dérivé
En mathématiques, certains foncteurs peuvent être dérivés pour obtenir de nouveaux foncteurs liés de manière naturelle par des morphismes à ceux de départs. Cette notion abstraite permet d'unifier des constructions concrètes intervenant dans de nombreux domaines des mathématiques. Elle n'est pas liée à la notion de dérivation en analyse. La notion de foncteur dérivé est conçue pour donner un cadre général aux situations où une suite exacte courte donne naissance à une suite exacte longue.
Lemme de Poincaré
Le lemme de Poincaré est un résultat fondamental en analyse à plusieurs variables et en géométrie différentielle. Il concerne les formes différentielles (implicitement de classe C) sur une variété différentielle (implicitement lisse). D'après le théorème de Schwarz, toute forme différentielle exacte est fermée. Le lemme de Poincaré assure une réciproque partielle : Sous ces hypothèses, la conclusion du lemme de Poincaré se reformule en termes de cohomologie de De Rham. En particulier, toute forme différentielle fermée est localement exacte.
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.
Suite spectrale
En algèbre homologique et en topologie algébrique, une suite spectrale est une suite de modules différentiels (En,dn) tels que En+1 = H(En) = Ker dn / dn est l'homologie de En. Elles permettent donc de calculer des groupes d'homologie par approximations successives. Elles ont été introduites par Jean Leray en 1946. Il y a plusieurs manières en pratique pour obtenir une telle suite. Historiquement, depuis 1950, les arguments des suites spectrales ont été un outil performant pour la recherche, notamment dans la théorie de l'homotopie.
Foncteur Ext
Les foncteurs Ext sont les foncteurs dérivés du foncteur Hom. Ils sont d'abord apparus en algèbre homologique, où ils jouent un rôle central par exemple dans le théorème des coefficients universels, mais interviennent aujourd'hui dans de nombreuses branches différentes des mathématiques. Ce foncteur apparaît originellement dans l'étude des extensions de modules, d'où il tire son nom. Soit A une catégorie abélienne. D'après le théorème de plongement de Mitchell, on peut toujours imaginer travailler avec une catégorie de modules.
Cup-produit
En topologie algébrique (une branche des mathématiques), le cup-produit est une opération binaire définie sur les groupes de cohomologie qui permet d'assembler des cocycles. Cette opération est graduée, associative et distributive, ce qui permet de définir l'. Introduite à l'origine en cohomologie singulière, des constructions analogues existent pour différentes théories cohomologiques. Le cup-produit se généralise sous la forme du .