Une résolution de Cartan–Eilenberg est un double complexe (une bi‑résolution) construit à partir d'objets projectifs (ou injectifs) qui résout simultanément un module horizontalement et verticalement ; elle sert à calculer les foncteurs dérivés de foncteurs composés et à produire les suites spectrales qui relient ces foncteurs dérivés.

Principe

En résolvant des objets dans deux directions on obtient un complexe total dont l'homologie calcule les foncteurs dérivés du composé : l'idée est de remplacer un composé de foncteurs non exacts par un bicomplexe de morceaux exacts afin que la machine des suites spectrales extraie les objets dérivés cibles par étapes.

Démonstration

Dans des catégories abéliennes avec suffisamment de projectifs, pour calculer les foncteurs dérivés à gauche L_*(F∘G) on prend une résolution projective P→X, applique G pour obtenir le complexe G(P) puis on prend pour chaque G(P_i) des résolutions projectives, assemblées ensuite en un double complexe dans le premier quadrant. Les suites spectrales associées calculent l'homologie du complexe total et convergent vers L_*(F∘G)(X), fournissant les suites spectrales de Grothendieck ou de Cartan–Eilenberg dans des calculs concrets.

Mauvaise application

Construire un bicomplexe de Cartan–Eilenberg dont les lignes/colonnes ne sont pas projectives (ou injectives) compromet les propriétés d'exactitude nécessaires pour identifier les pages de la suite spectrale ; de même, supposer la convergence automatique sans vérifier bornitude ou lignes d'annulation peut conduire à de mauvaises conclusions sur les foncteurs dérivés.

Conséquence

Fournit une méthode systématique pour calculer et relier les foncteurs dérivés de compositions, produisant des suites spectrales convergentes qui décomposent des calculs difficiles en étapes maniables ; elle éclaire l'origine des problèmes d'extensions et des structures de filtration dans les objets dérivés obtenus.

Inversion

L'image duale utilise des résolutions de Cartan–Eilenberg injectives pour calculer les foncteurs dérivés à droite : on remplace les objets par des coresolutions injectives dans les deux directions et on obtient des suites spectrales analogues pour les compositions de foncteurs dérivés à droite. Ce renversement souligne la généralité de l'approche par bicomplexe pour les contextes à gauche et à droite.

Limite

Nécessite de travailler dans des catégories abéliennes avec suffisamment de projectifs ou suffisamment d'injectifs, et l'utilisation pratique suppose en général des conditions de bornitude ou de type fini pour assurer la convergence des suites spectrales et un calcul effectif ; hors de ces cadres, des problèmes de convergence ou de taille peuvent entraver la méthode.

Tension sémantique

Se rapporte à d'autres constructions de suites spectrales (complexes filtrés, suites spectrales d'hypercohomologie) : les résolutions de Cartan–Eilenberg produisent un point de vue de bicomplexe filtré, tandis que les complexes filtrés donnent une filtration en escalier intrinsèque ; il faut choisir la construction qui met le mieux en évidence la filtration ou la fonctorialité requise pour un problème donné.

Synthèse

Une résolution de Cartan–Eilenberg est le dispositif de bi‑résolution qui remplace un composé de foncteurs non exacts par un double complexe de projectifs ou injectifs de sorte que le complexe total et ses suites spectrales calculent les foncteurs dérivés par étapes ; elle encapsule les données homologiques en filtrations et pages isolant les phénomènes d'extensions et de convergence.