Un théorème qui relie l'homologie ou la cohomologie à coefficients quelconques à l'homologie ou la cohomologie à coefficients entiers via des suites exactes courtes impliquant Tor et Ext, permettant de calculer les groupes de (co)homologie avec de nouveaux coefficients à partir des données entières.

Principe

L'idée organisatrice est que la (co)homologie à coefficients s'obtient en appliquant Hom ou le produit tensoriel au complexe de chaînes entier et que les foncteurs dérivés (Ext et Tor) mesurent l'échec de l'exactitude naïve de Hom/Tensor, produisant des suites exactes connectant H_*(X; Z) et H_*(X; G) ou H^*(X; G).

Démonstration

Formules concrètes : pour la cohomologie on dispose d'une suite exacte courte 0 → Ext^1_Z(H_{n-1}(X; Z), G) → H^n(X; G) → Hom_Z(H_n(X; Z), G) → 0, qui se scinde souvent mais pas nécessairement de façon canonique ; de même l'énoncé pour l'homologie implique des termes Tor.

Mauvaise application

Considérer la suite exacte courte comme scindée de manière canonique ou ignorer les contributions Ext/Tor lorsqu'elles sont non triviales ; tenter d'appliquer le théorème des coefficients universels à des systèmes de coefficients non abéliens ou à des théories de cohomologie généralisées sans modifications appropriées.

Conséquence

Le TCU réduit le calcul de la (co)homologie à coefficients quelconques à des calculs algébriques avec Hom, Ext et Tor appliqués à la (co)homologie entière, révélant les phénomènes de torsion et guidant le choix des coefficients pour simplifier les calculs.

Inversion

L'inversion met l'accent sur la reconstruction de la (co)homologie entière à partir de la connaissance de la (co)homologie pour plusieurs groupes de coefficients, ce qui est généralement plus difficile car le TCU fournit seulement des relations mesurées par Ext/Tor, sans inverses canoniques sans structure supplémentaire.

Limite

S'applique en homologie/cohomologie singulière ordinaire et dans de nombreux contextes topo‑algébriques où les complexes de chaînes sont des complexes de modules libres ou projectifs ; il ne s'applique pas automatiquement aux théories de cohomologie généralisées, aux coefficients non abéliens, ou lorsque des subtilités de catégorie dérivée modifient le comportement de Hom/Tensor.

Tension sémantique

La tension existe entre considérer le théorème comme une commodité de calcul (réduction à l'algèbre Hom/Tor/Ext) et comme une contrainte structurelle qui met en lumière des obstructions réelles (termes Ext non scindés) au changement naïf de coefficients ; il faut respecter les scissions non canoniques.

Synthèse

Le Théorème des Coefficients Universels affirme que la (co)homologie à coefficients quelconques s'insère dans des suites exactes construites à partir de Hom, Ext et Tor appliqués à la (co)homologie entière, convertissant ainsi des problèmes topologiques de coefficients en problèmes algébriques calculables tout en enregistrant les obstructions de torsion.