Accueil🇫🇷Chercher

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înes[1] - [2] - [3] - [4]. 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 et la (co)homologie à coefficients dans un groupe . Une utilisation courante de ce théorème est de calculer les groupes de cohomologie à coefficient dans un groupe via le calcul de la cohomologie dans , 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 MacLane[5] - [6], est le plus généralement exprimé en termes des foncteurs Tor et Ext, sous la forme de suites exactes courtes[7].

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 pour tout complexe de chaînes . Il en découle un morphisme de groupes abéliens obtenu par curryfication, qui envoie un -cocycle vers . Le théorème des coefficients universels généralise cette construction au cas où le groupe considéré est différent de , 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 -modules libres[8] à coefficients dans un groupe abélien est exacte[9] :

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ünneth[10] - [11].

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 -modules libres à coefficients dans un groupe abélien , et on a[12] :

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 est de calculer le quotient du disque unité par l'application « antipode » restreinte à son bord. Il y a donc notamment une application canonique du plan projectif dans la 2-sphère.

  • Homologie à coefficients dans : on sait que , tous les autres groupes d'homologie étant nuls.
  • L'application induit une application entre groupes d'homologie , 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
  • On obtient alors notamment et

C'est alors que la non-naturalité apparaît : si la décomposition utilisée était naturelle, alors l'application induite sur les groupes d'homologie à coefficient dans serait nulle, puisqu'on a noté plus haut que les groupes à coefficients dans sont nuls. Or le calcul direct au moyen d'une décomposition cellulaire montre que 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[13]. La preuve du cas de l'homologie est tout à fait similaire.

Soit un complexe de co-chaînes de -modules libres, on note ses co-cycles et ses co-bords . Puisque et 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 :

On choisit donc une rétraction , puis on applique le foncteur aux deux suites exactes

Les propriétés du foncteur Ext permettent d'écrire et on obtient le diagramme commutatif suivant :

Dans ce diagramme, par construction, chaque ligne et chaque colonne est exacte. Par chasse aux diagrammes, on voit alors que (induite par ) admet une section, et donc est surjective. On montre de même (utilisant l'injectivité de ) que . L'injectivité de permet d'identifier ce dernier groupe à c'est-à-dire exactement

Exemples d'applications

  • On a, pour tout -module , que . Le théorème des coefficients universels montre alors que . En particulier, le plan projectif réel a sur la même homologie qu'un point.
  • Si est un groupe abélien libre, alors .
  • Puisque pour tout groupe abélien de type fini on a , on a par exemple que lorsque le groupe des coefficients est un corps, il n’ y a pas de torsion, et alors en tant qu'espaces vectoriels .
  • Si est un CW-complexe avec un nombre fini de cellules en chaque dimension, alors est de type fini et peut se décomposer sous la forme est un groupe de torsion, et où le rang est appelé le -ème nombre de Betti. En appliquant le théorème des coefficients universels, le foncteur Ext ne conservant que la torsion, on montre que .
  • La remarque précédente, combinée avec la dualité de Poincaré lorsque celle-ci s'applique ( variété orientée sans bord de dimension ), donne .

Notes et références

  1. Yves Félix et Daniel Tanré, Topologie algébrique : cours et exercices corrigés, Paris, Dunod, , 256 p. (ISBN 978-2-10-053373-2, OCLC 708359283, lire en ligne), p. 141-149
  2. (en) Allen Hatcher, Algebraic topology, New York, Cambridge University Press, , 556 p. (ISBN 978-0-521-79540-1, OCLC 45420394, lire en ligne), sections 3.1 et 3.A
  3. (en) Edwin Spanier, Algebraic topology, Springer-Verlag, 1966-1994, 3e éd., 548 p. (ISBN 978-0-387-94426-5, OCLC 7975415, lire en ligne), section 5.5
  4. (en) Anatoly Fomenko et Dmitry Fuchs, Homotopical Topology, Springer, Cham, coll. « Graduate Texts in Mathematics », (ISBN 978-3-319-23487-8 et 9783319234885, DOI 10.1007/978-3-319-23488-5_2, lire en ligne), sections 15.4 et 15.5
  5. (en) Samuel Eilenberg et Saunders MacLane, « Group Extensions and Homology », Annals of Mathematics, vol. 43, no 4, , p. 757–831 (DOI 10.2307/1968966, lire en ligne, consulté le )
  6. (en) Saunders MacLane, Homology, Springer Berlin Heidelberg, , 422 p. (ISBN 978-3-642-62029-4, OCLC 851823625, lire en ligne), p. 103
  7. (en) Charles A. Weibel, An introduction to homological algebra, Cambridge University Press, , 450 p. (ISBN 978-0-521-55987-4, OCLC 27935084, lire en ligne)
  8. Le théorème peut se généraliser et vaut pour la (co)homologie dans tout anneau héréditaire à droite, pas seulement . En particulier, tout anneau principal et tout anneau de Dedekind convient. Voir (Weibel 1994, p. 90).
  9. Voir par exemple (Hatcher 2002, théorème 3.2, p. 195).
  10. La preuve utilisée par (Weibel 1994, p. 87) est en fait une composante de la démonstration du théorème de Künneth.
  11. (en) P. J. Hilton et S. Wylie, Homology theory : an introduction to algebraic topology, University Press, , 484 p. (ISBN 978-0-521-09422-1, OCLC 781456479, lire en ligne), p. 227
  12. Voir par exemple (Hatcher 2002, théorème 3A.3 et corollaire 3A.4, p. 264).
  13. Une preuve alternative, découpée en lemmes et exercices, peut être trouvée dans (Hatcher 2002, p. 190-195).
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.