Un théorème reliant l'homologie (ou la cohomologie) à coefficients quelconques à l'homologie (ou cohomologie) à coefficients de base via des suites exactes courtes impliquant des termes Tor et Ext (ou Hom) mesurant les phénomènes d'extension et de torsion.

Principe

Exprimer les groupes à coefficients tordus ou nouveaux en termes de l'homologie connue à coefficients plus simples, augmentée de termes correctifs universels d'extension et de torsion (Tor pour l'homologie, Ext ou Hom pour la cohomologie).

Démonstration

Pour un complexe de chaînes C de groupes abéliens libres et un groupe abélien G, il existe une suite exacte courte 0 → H_n(C) ⊗ G → H_n(C;G) → Tor_1(H_{n-1}(C),G) → 0 ; cette suite décrit l'homologie à coefficients dans G en termes de l'homologie entière et de Tor.

Mauvaise application

Supposer que la suite se scinde de manière canonique ou appliquer le théorème sans vérifier finitude, projectivité ou liberté en degrés, conduisant à une décomposition incorrecte ou à l'omission des contributions de torsion.

Conséquence

Une application correcte permet de calculer systématiquement l'homologie/cohomologie à coefficients quelconques à partir de calculs sur les coefficients entiers ou de base, et précise où apparaissent les obstructions de torsion et d'extension.

Inversion

Pris à l'envers, la torsion en homologie fait obstacle à l'extension naïve des coefficients : des termes Tor ou Ext non triviaux montrent que le passage à de nouveaux coefficients ne se fait pas par simple tensorisation ou Hom sans corrections supplémentaires.

Limite

Valable sous des hypothèses comme travailler avec des complexes de chaînes de modules libres (ou projectifs) ou dans des contextes où le tensor dérivé/Hom dérivé se calcule comme attendu ; ne fournit pas de scindage explicite ni de structure de foncteurs dérivés au-delà des premiers correctifs Tor/Ext.

Tension sémantique

Tension entre le théorème comme réduction de calcul (suite exacte pratique) et comme énoncé de foncteur dérivé (identité du tensor/Hom dérivé) qui met l'accent sur des niveaux différents de sophistication catégorique.

Synthèse

Le Théorème des Coefficients Universels réduit l'homologie ou la cohomologie à coefficients quelconques à l'homologie aux coefficients de base plus des termes correctifs explicites Tor/Ext, révélant comment la torsion et l'extension contrôlent le changement de systèmes de coefficients.