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.

Motivation : extensions de modules

modifier

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. On se donne trois objets X, Y et Z et on considère la classe E des suites exactes courtes de la forme

 .

On parle d'extension de Z par X. Deux extensions

 
 

sont dites équivalente s'il existe un morphisme   tel que le diagramme

 

commute, avec   le morphisme identité. D'après le lemme des cinq, g est alors un isomorphisme.

La classe E modulo cette relation d'équivalence forme un ensemble, que l'on note  , des (classes d') extensions de Z par X. On peut doter cet ensemble d'une structure de groupe abélien, avec la somme de Baer pour opération interne.

Définition

modifier

Soit R un anneau, on travaille dans la catégorie ModR des R-modules. Soit A un objet de ModR, soit T le foncteur Hom

 .

C'est un foncteur exact à gauche. Il possède donc des foncteurs dérivés à droite. On définit le foncteur Ext ainsi :

 .

En particulier,  .

De manière duale, on peut utiliser le foncteur Hom contravariant   et définir  . Les foncteurs Ext ainsi construits, et calculés par exemple à partir de résolutions injectives ou projectives, sont isomorphes.

Référence

modifier