Une famille de suites exactes reliant les groupes (co)homologiques à coefficients arbitraires aux groupes (co)homologiques à coefficients de base via les foncteurs Hom, Ext et Tor ; les énoncés prototypes expriment H^n(X;G) en fonction de Hom(H_n(X),G) et Ext^1(H_{n-1}(X),G), et de façon analogue pour l’homologie via le produit tensoriel et Tor.

Principe

Les foncteurs dérivés mesurent l’échec de Hom et du produit tensoriel à commuter avec l’homologie ; l’idée organisatrice est que les suites des coefficients universels consignent l’obstruction (Ext ou Tor) au passage naïf des coefficients à travers les complexes de chaînes, donnant des suites exactes courtes naturelles en l’espace et le groupe de coefficients.

Démonstration

Cohomologie singulière : pour un CW-complexe X et un groupe abélien G, il existe une suite exacte courte naturelle 0 → Ext^1_Z(H_{n-1}(X),G) → H^n(X;G) → Hom_Z(H_n(X),G) → 0 ; en utilisant l’homologie entière d’un espace lenticulaire on calcule la cohomologie à coefficients Z/m en insérant la torsion dans le terme Ext.

Mauvaise application

Traiter la suite exacte comme fonctoriellement scindée en général (supposer que les facteurs Hom et Ext se scindent naturellement) ou appliquer la forme la plus simple de la UCT sans vérifier les hypothèses (par ex. complexes de chaînes non libres ou nécessité de raffinements en catégorie dérivée pour les spectres ou les théories de cohomologie généralisées).

Conséquence

Rend pratiques les calculs de (co)homologie avec coefficients à partir de l’homologie entière et met en évidence les phénomènes de torsion ; il clarifie comment les classes de torsion réapparaissent en cohomologie et comment les obstructions des coefficients universels doivent être traitées dans des problèmes de classification.

Inversion

Sans les termes correctifs Ext ou Tor, on affirmerait à tort que Hom ou le produit tensoriel commutent avec l’homologie, conduisant à des calculs erronés qui négligeraient les contributions de torsion.

Limite

Les formes classiques valent pour la cohomologie singulière, simpliciale ou cellulaire sous des hypothèses standard (complexes CW, complexes de chaînes de modules libres) ; les situations généralisées ou de niveau spectre nécessitent des suites spectrales de coefficients universels correspondantes ou des outils dérivés plus sophistiqués.

Tension sémantique

Voisine mais distincte du théorème de Künneth : les deux traitent du comportement de la (co)homologie sous constructions, mais Künneth concerne les produits (tensorisation des groupes d’homologie) tandis que la UCT concerne le changement de coefficients ; des tensions apparaissent lorsqu’il faut combiner les deux pour des calculs mixtes.

Synthèse

Le théorème des coefficients universels regroupe les termes correctifs algébriques (Ext, Tor) qui rendent compte de la non-commutation de Hom et du produit tensoriel avec l’homologie, fournissant une suite exacte naturelle qui réduit les calculs à la connaissance de l’homologie entière et des foncteurs dérivés.