Théorème des coefficients universels

Le théorème des coefficients universels est un résultat d'algèbre homologique portant sur les groupes d'homologie et de cohomologie d'un complexe de chaînesModèle:,Modèle:,Modèle:,. Ce théorème comporte deux volets : d'une part il relie entre elles homologie et cohomologie, et d'autre part il explique le lien entre la (co)homologie à coefficients dans $\mathbb{Z}$ et la (co)homologie à coefficients dans un groupe $G$. Une utilisation courante de ce théorème est de calculer les groupes de cohomologie à coefficient dans un groupe $G$ via le calcul de la cohomologie dans $\mathbb{Z}$, qui sont faciles à calculer (par exemple au moyen d'une décomposition cellulaire). Le théorème des coefficients universels, démontré pour la première fois en 1942 par Samuel Eilenberg et Saunders MacLaneModèle:,, est le plus généralement exprimé en termes des foncteurs Tor et Ext, sous la forme de suites exactes courtes.

Avant d'énoncer le théorème dans toute sa généralité, on peut en comprendre l'origine dans un cas simple. La dualité entre chaînes et cochaînes induit un couplage $⟨-,-⟩:H^i(C^{\bullet })\otimes H_i(C_{\bullet })\to \mathbb{Z}$ pour tout complexe de chaînes $C$. Il en découle un morphisme de groupes abéliens $H^i(C^{\bullet })\to \mathrm{Hom}(H_i(C),\mathbb{Z})$ obtenu par curryfication, qui envoie un $i$-cocycle $f$ vers ${\varphi }_f:x\mapsto f(x)$. Le théorème des coefficients universels généralise cette construction au cas où le groupe considéré est différent de $\mathbb{Z}$, ce qui oblige à tenir compte des groupes d'extension (en d'autre termes, le couplage n'est pas parfait).

Énoncé du théorème

Cas de la cohomologie

La suite suivante, formée par les groupes d'homologie et de cohomologie d'un complexe de chaînes de $\mathbb{Z}$-modules libres à coefficients dans un groupe abélien $G$ est exacte :$$0\to \mathrm{Ext}(H_{i-1}(C),G)\to H^i(C;G)\to \mathrm{Hom}(H_i(C),G)\to 0$$La suite est scindée, mais pas de manière naturelle.

Le théorème et sa preuve peuvent aisément être étendus pour donner le théorème de KünnethModèle:,.

Cas de l'homologie

Dans le cas de l'homologie on a la suite exacte « symétrique » qui fait intervenir le foncteur Tor au lieu de Ext. On considère encore un complexe de chaînes de $\mathbb{Z}$-modules libres à coefficients dans un groupe abélien $G$, et on a :$$0\to H_i(C)\otimes G\to H_i(C;G)\to \mathrm{Tor}(H_{i-1}(C),G)\to 0$$Comme dans le cas de l'homologie, cette suite est scindée de manière non naturelle.

Non-naturalité du scindement

La non-naturalité du scindement a des conséquences importantes, et constitue l'un des obstacles à l'utilisation pratique du théorème des coefficients universels. On peut l'illustrer sur un exemple simple : une construction possible du plan projectif réel ${\mathbb{P}}^2(ℝ)$ est de calculer le quotient du disque unité par l'application « antipode » $\varphi :(x,y)\mapsto (-x,-y)$ restreinte à son bord. Il y a donc notamment une application canonique $\psi :{\mathbb{P}}^2(ℝ)\to {𝕊}^2$ du plan projectif dans la 2-sphère.

• Homologie à coefficients dans $\mathbb{Z}$: on sait que $H_1({\mathbb{P}}^2(ℝ))=\mathbb{Z}/2\mathbb{Z}$, tous les autres groupes d'homologie étant nuls.
• L'application $\psi$ induit une application entre groupes d'homologie ${\psi }_{*}:H_{*}({\mathbb{P}}^2(ℝ))\to H_{*}({𝕊}^2)$, par le point précédent, cette application est nulle en degrés 1 et 2.
• On utilise alors le théorème des coefficients universels : on a la décomposition $H_i(X;\mathbb{Z}/2\mathbb{Z})\simeq H_i(X)\otimes \mathbb{Z}/2\mathbb{Z}\oplus \mathrm{Tor}(H_{i-1}(X),\mathbb{Z}/2\mathbb{Z})$
• On obtient alors notamment $H_2({\mathbb{P}}^2(ℝ);\mathbb{Z}/2\mathbb{Z})\simeq 0\oplus \mathbb{Z}/2\mathbb{Z}$ et $H_2({𝕊}^2;\mathbb{Z}/2\mathbb{Z})\simeq \mathbb{Z}/2\mathbb{Z}\oplus 0$

C'est alors que la non-naturalité apparaît : si la décomposition utilisée était naturelle, alors l'application induite ${\psi }_{*,2}$sur les groupes d'homologie à coefficient dans $\mathbb{Z}/2\mathbb{Z}$ serait nulle, puisqu'on a noté plus haut que les groupes $H_2$ à coefficients dans $\mathbb{Z}$ sont nuls. Or le calcul direct au moyen d'une décomposition cellulaire montre que ${\psi }_{*,2}:H_2({\mathbb{P}}^2(ℝ);\mathbb{Z}/2\mathbb{Z})\to H_2({𝕊}^2;\mathbb{Z}/2\mathbb{Z})$ est un isomorphisme.

Preuve du théorème

La preuve utilise la technique classique de la chasse aux diagrammes, on la donne dans le cas de la cohomologie. La preuve du cas de l'homologie est tout à fait similaire.

Soit $(C_{\bullet },\delta )$ un complexe de co-chaînes de $\mathbb{Z}$-modules libres, on note ses co-cycles $Z_{\bullet }$ et ses co-bords $B_{\bullet }$. Puisque $Z_{\bullet }$ et $B_{\bullet }$ sont, en chaque degré, sous-modules d'un groupe abélien libre, ce sont des modules libres. Ainsi la suite exacte suivante est scindée :$$0\to Z_p\to C_p\to B_{p-1}\to 0$$On choisit donc une rétraction $f:C_{\bullet }\to Z_{\bullet }$, puis on applique le foncteur $\mathrm{Hom}(-,G)$ aux deux suites exactes$$\begin{array}{cc}& 0\to Z_p\stackrel{i}{\to }{C}_p\stackrel{\partial }{\to }{B}_{p-1}\to 0\\ & 0\to B_p\stackrel{j}{\to }{Z}_p\stackrel{q}{\to }{H}_p(C)\to 0\end{array}$$Les propriétés du foncteur Ext permettent d'écrire $\mathrm{Ext}(H_p,G)\simeq \mathrm{Hom}(B_{p-1},G)/j^{*}(\mathrm{Hom}(Z_{p-1},G))$ et on obtient le diagramme commutatif suivant :$$\begin{array}{ccccccc}& & & & 0& & 0\\ & & & & \uparrow & & \uparrow \\ 0& \to & \mathrm{Hom}(H_p,G)& \stackrel{q^{*}}{\to }& \mathrm{Hom}(Z_p,G)& \stackrel{j^{*}}{\to }& \mathrm{Hom}(B_p,G)\\ & & & & f^{*}\downarrow \uparrow i^{*}& & \downarrow {\partial }^{*}\\ & & \mathrm{Hom}(C_{p-1},G)& \stackrel{\delta }{\to }& \mathrm{Hom}(C_p,G)& \stackrel{\delta }{\to }& \mathrm{Hom}(C_{p+1},G)\\ & & \downarrow i^{*}& & \uparrow {\partial }^{*}\\ & & \mathrm{Hom}(Z_{p-1},G)& \stackrel{j^{*}}{\to }& \mathrm{Hom}(B_{p-1},G)& \to & \mathrm{Ext}(H_p,G)& \to & 0\\ & & \downarrow & & \downarrow \\ & & 0& & 0\end{array}$$Dans ce diagramme, par construction, chaque ligne et chaque colonne est exacte. Par chasse aux diagrammes, on voit alors que $H_p(C;G)\to \mathrm{Hom}(H_p(C),G)$ (induite par $i^{*}$) admet une section, et donc est surjective. On montre de même (utilisant l'injectivité de ${\partial }^{*}$) que $\ker (H_p(C;G)\to \mathrm{Hom}(H_p(C),G))\simeq {\partial }^{*}(\mathrm{Hom}(B_{p-1},G))/\mathrm{Im}(\delta )\simeq \mathrm{Hom}(B_{p-1},G)/j^{*}(i^{*}(\mathrm{Hom}(C_{p-1},G)))$. L'injectivité de $i^{*}$ permet d'identifier ce dernier groupe à $\mathrm{Hom}(B_{p-1},G)/j^{*}(\mathrm{Hom}(Z_{p-1},G))$ c'est-à-dire exactement $\mathrm{Ext}(H_p,G)$

Exemples d'applications

• On a, pour tout $\mathbb{Z}$-module $M$, que $\mathrm{Tor}(M,\mathbb{Q})=0$. Le théorème des coefficients universels montre alors que $H_i(X;\mathbb{Z})\otimes \mathbb{Q}\simeq H_i(X;\mathbb{Q})$. En particulier, le plan projectif réel a sur $\mathbb{Q}$ la même homologie qu'un point.
• Si $H_{i-1}(X;G)$ est un groupe abélien libre, alors $H_i(X;G)\simeq H_i(X)\otimes G$.
• Puisque pour tout groupe abélien de type fini $H$ on a $\mathrm{Ext}(H,\mathbb{Z})\simeq H_{\text{tors}}$, on a par exemple que lorsque le groupe $G$ des coefficients est un corps, il n’ y a pas de torsion, et alors en tant qu'espaces vectoriels $H_i\simeq H^i$.
• Si $X$ est un CW-complexe avec un nombre fini de cellules en chaque dimension, alors $H_i(X)$ est de type fini et peut se décomposer sous la forme $H_i(X)\simeq {\mathbb{Z}}^{b_i}\oplus T_i$ où $T_i$ est un groupe de torsion, et où le rang $b_i$ est appelé le $i$-ème nombre de Betti. En appliquant le théorème des coefficients universels, le foncteur Ext ne conservant que la torsion, on montre que $H^i(X)\simeq {\mathbb{Z}}^{b_i}\oplus T_{i-1}$.
• Dans le cas d'une variété orientée compacte sans bord de dimension $n$, la dualité de Poincaré donne $H_i(X)\approx H^{n-i}(X)$. En combinant ce résultat avec la remarque précédente, on obtient $b_i=b_{n-i}$.