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. Soit donné un foncteur F : A → B entre deux catégories abéliennes A et B. On suppose que F est exact à gauche, c'est-à-dire que pour une suite exacte courte d'objets de la catégorie A : alors la suite suivante est exacte : Il est alors naturel de se demander si on peut prolonger cette suite en une suite exacte, et si on peut le faire de façon canonique. Les foncteurs dérivés du foncteur F seront alors, pour tout i ≥ 1, les foncteurs RiF : A → B, tels que la suite suivante soit exacte : F est donc exact à droite si et seulement si le foncteur R1F est trivial. Les foncteurs dérivés mesurent donc dans un certain sens le défaut d'exactitude de F. On suppose que la catégorie A possède suffisamment d' — une abstraction de la notion de module injectif — c'est-à-dire que pour tout objet A dans A il existe un monomorphisme où I est un objet injectif dans A. Soit un foncteur covariant exact à gauche F : A → B et un objet X dans A. Par l'hypothèse sur A, on peut construire une injective de X (i.e. une suite exacte longue où les Ii pour i ≥ 0 sont des objets injectifs) : En appliquant le foncteur F, on obtient le complexe de cochaînes La cohomologie au i-ème rang est alors définie comme étant RiF(X). En particulier : R0F(X) = F(X). Pour obtenir une démonstration complète, il faudrait vérifier les points suivants : le résultat ne dépend pas, à isomorphisme près, du choix de la résolution injective de X, et pour chaque flèche X → Y il existe une flèche RiF(X) → RiF(Y) qui fasse que RiF vérifie les propriétés des foncteurs.

À 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.
Cours associés (24)
MATH-436: Homotopical algebra
This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous
MATH-101(g): Analysis I
Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles d'une variable.
MATH-506: Topology IV.b - cohomology rings
Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a
Afficher plus
Publications associées (153)

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.