Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Functors dérivés

Description

Cette séance de cours couvre la signification des foncteurs dérivés dans le contexte de l'extension des modules, en se concentrant sur l'extension de N par M. Il explore le concept de Ext-modules, extensions Yoneda, et la signification des catégories dérivées. La séance de cours se penche sur le processus de dérivation des foncteurs pour les foncteurs exacts gauche / droite et fournit une perspective sur les catégories dérivées. Il traite également de la catégorie dérivée Ex(M,N) et du complexe de chaîne Hom(M,N) - Exti(M,N).

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace

Source officielle

Proximité ontologique

Mathématiques

Topologie: Topologie algébrique

Concepts associés (32)

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.

Module injectif

En mathématiques, et plus spécifiquement en algèbre homologique, un module injectif est un module Q (à gauche par exemple) sur un anneau A tel que pour tout morphisme injectif f : X → Y entre deux A-modules (à gauche) et pour tout morphisme g : X → Q, il existe un morphisme h : Y → Q tel que hf = g, c'est-à-dire tel que le diagramme suivant commute : center Autrement dit : Q est injectif si pour tout module Y, tout morphisme d'un sous-module de Y vers Q s'étend à Y.

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.

Foncteur exact

En mathématiques, un foncteur exact est un foncteur qui commute aux limites inductives et projectives. De manière équivalente, c'est un foncteur qui préserve les suites exactes de catégories abéliennes et c'est de cela que vient la dénomination. Des foncteurs de ce type apparaissent naturellement en homologie et d'une manière générale en théorie des catégories, où leurs propriétés permettent des calculs élégants. Le « défaut d'exactitude » est mesuré par les foncteurs dérivés, par exemple les foncteurs Tor et Ext.

Catégorie dérivée

La catégorie dérivée d'une catégorie est une construction, originellement introduite par Jean-Louis Verdier dans sa thèse et reprise dans SGA 41⁄2, qui permet notamment de raffiner et simplifier la théorie des foncteurs dérivés. Elle a amené à plusieurs développements importants, ainsi que des reformulations élégantes par exemple de la théorie des D-modules et des preuves de la qui généralise le vingt-et-unième problème de Hilbert. En particulier, le langage des catégories dérivées permet de simplifier des problèmes exprimés en termes de suites spectrales.

Afficher plus

Séances de cours associées (32)

Cohomologie de groupe

Couvre le concept de cohomologie de groupe, se concentrant sur les complexes de chaîne, les complexes de cochain, les produits de tasse et les anneaux de groupe.

Théorème algébrique de la Kunneth

Couvre le théorème algébrique de la Kunneth, expliquant les complexes de chaîne et les calculs de cohomologie.

Modèles acycliques: Produit de coupe et Cohomologie

Couvre le produit de la tasse sur la cohomologie, les modèles acycliques et le théorème universel des coefficients.

Théorie de l'homotopie des complexes de chaînes

Explore la théorie de l'homotopie des complexes de chaîne, en se concentrant sur les rétractions et les structures de catégorie de modèle.

Catégories et Functors

Couvre les catégories, les functeurs et les catégories de prémousse, explorant les relations entre les objets et les morphismes.

Afficher plus

Concepts associés (32)