Espace d'Eilenberg-MacLane

En mathématiques, un espace d'Eilenberg-MacLane[1] est un espace topologique ayant un seul groupe d'homotopie non trivial. Ce type d'espace joue un rôle de composant élémentaire en théorie de l'homotopie, puisqu'il jouit d'une forme d'unicité et intervient dans des procédés de reconstruction d'espaces plus complexes (il en est ainsi des tours de Postnikov).

Les espaces d'Eilenberg-MacLane sont importants dans de nombreux contextes en topologie algébrique, permettant entre autres de calculer des groupes d'homotopie de sphères et de définir des opérations cohomologiques (en). Ils portent le nom de Samuel Eilenberg et Saunders Mac Lane, qui les ont introduits à la fin des années 1940[2]^,[3].

Définition

Soient G un groupe et n un entier strictement positif. Un espace connexe X est appelé un espace d'Eilenberg-MacLane de type K(G, n) si son n^e groupe d'homotopie π_n(X) est isomorphe à G et si tous ses autres groupes d'homotopie sont triviaux. Si n > 1, G doit être abélien. Moyennant quoi, il existe toujours un CW-complexe de type K(G, n)[4]. Il est unique à homotopie faible d'équivalence près, c'est pourquoi tout espace de ce type est simplement noté K(G, n).

Exemples

Le cercle unité S¹ est un K(ℤ, 1). Plus généralement, l'espace classifiantespace classifiant BG d'un groupe discret G est un K(G, 1).
L'espace projectif complexe de dimension infinie $P \infty$ (ℂ), classifiant du groupe compact S¹, est un K(ℤ, 2). Son anneau de cohomologie (en) est l'anneau de polynômes ℤ[x], gradué par x ∈ H². Comme cet espace a la propriété supplémentaire d'être une variété, le générateur x peut être représenté en cohomologie de De Rham (par la 2-forme de Fubini-Study). Une application de K(ℤ, 2) est décrite dans la version anglophone de l'article Abstract nonsense.
L'espace projectif réel de dimension infinie $P \infty$ (ℝ) est un K(ℤ₂, 1).
Le bouquet de k cercles (en) (S¹)^∨k est un K(F_k, 1), où F_k désigne le groupe libre sur k générateurs. Plus généralement, si X et Y sont des CW-complexes de types respectifs K(G, 1) et K(H, 1), leur wedge X∨Y est un K(G∗H, 1).
Asphéricité des nœuds[5]^,[6] : tout complément d'un nœud dans la 3-sphère S³ est un K(G, 1).

D'autres exemples s'en déduisent en utilisant la propriété élémentaire : K(G, n) × K(H, n) = K(G × H, n).

On peut construire un K(G, n) un étage après l'autre, en tant que CW complexe, en commençant par un bouquet de n-sphères, une par générateur du groupe G, puis en recollant des cellules de proche en proche, en chaque dimension, pour tuer l'homotopie excédentaire.

Propriétés

Les groupes de cohomologie d'un K(G, 1) coïncident avec ceux du groupe G[7].

Pour tout groupe abélien G, les K(G, n) sont des espaces de (en) représentation pour la cohomologie singulière à coefficients dans G[7]. En effet, via

H^{n}(K(G,n);G)=\mathrm {Hom} (H_{n}(K(G,n);\mathbb {Z} ),G)=\mathrm {Hom} (\pi _{n}(K(G,n)),G)=\mathrm {Hom} (G,G),

l'élément u ∈ Hⁿ(K(G, n);G) correspondant à l'identité de G fournit par fonctorialité, pour tout CW-complexe X, une bijection naturelle f ↦ f*u, de l'ensemble [X, K(G, n)] des classes d'homotopie d'applications continues de X dans K(G, n) dans le n^e groupe de cohomologie singulière Hⁿ(X;G) de X.

Une autre version de ce résultat[8] établit une bijection avec le n^e groupe de cohomologie de Čech pour X paracompact et G dénombrable, ou pour X paracompact et compactement engendré et G arbitraire. Un résultat ultérieur[9] établit une bijection avec le n^e groupe de cohomologie « numerable » de Čech pour X et G (abélien) arbitraires.

Tout CW-complexe possède une tour de Postnikov, c'est-à-dire qu'il est faiblement homotopiquement équivalent à la limite projective d'une suite de fibrations dont les fibres sont des espaces d'Eilenberg-MacLane.

Les groupes de cohomologie des espaces d'Eilenberg-MacLane peuvent servir à classifier toutes les opérations cohomologiques.

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Eilenberg–MacLane space » (voir la liste des auteurs).

Mac Lane ayant (co-)signé ses premières publications « MacLane » (sans espace), en particulier celles concernant cette notion, l'usage est de typographier ainsi son nom dans ce contexte.
(en) S. Eilenberg et S. MacLane, « Relations between homology and homotopy groups of spaces », Ann. Math., vol. 46,‎ 1945, p. 480-509, lien Math Reviews.
(en) S. Eilenberg et S. MacLane, « Relations between homology and homotopy groups of spaces. II », Ann. Math., vol. 51,‎ 1950, p. 514-533.
(en) Allen Hatcher, Algebraic Topology, CUP, 2001, xii+544 (ISBN 978-0-521-79540-1, lire en ligne), p. 365.
(en) Christos Papakyriakopoulos, « On Dehn's Lemma and the Asphericity of Knots », PNAS, vol. 43, n^o 1,‎ 1957, p. 169-172 (PMID 16589993, DOI 10.1073/pnas.43.1.169).
(en) C. D. Papakyriakopoulos, « On Dehn's Lemma and the Asphericity of Knots », Ann. Math., vol. 66, n^o 1,‎ 1957, p. 1-26 (DOI 10.2307/1970113).
(en) Yuli B. Rudyak, « Eilenberg-MacLane space », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne).
(en) Peter J. Huber, « Homotopical cohomology and Čech cohomology », Math. Ann., vol. 144,‎ 1961, p. 73-76.
(en) Kiiti Morita, « Čech cohomology and covering dimension for topological spaces », Fund. Math., vol. 87,‎ 1975, p. 31-52.

Article connexe

Espaces de Moore (en), l'analogue des espaces d'Eilenberg-MacLane en homologie

Portail des mathématiques

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] Mac Lane ayant (co-)signé ses premières publications « MacLane » (sans espace), en particulier celles concernant cette notion, l'usage est de typographier ainsi son nom dans ce contexte.

[2] (en) S. Eilenberg et S. MacLane, « Relations between homology and homotopy groups of spaces », Ann. Math., vol. 46,‎ 1945, p. 480-509, lien Math Reviews.

[3] (en) S. Eilenberg et S. MacLane, « Relations between homology and homotopy groups of spaces. II », Ann. Math., vol. 51,‎ 1950, p. 514-533.

[4] (en) Allen Hatcher, Algebraic Topology, CUP, 2001, xii+544 (ISBN 978-0-521-79540-1, lire en ligne), p. 365.

[5] (en) Christos Papakyriakopoulos, « On Dehn's Lemma and the Asphericity of Knots », PNAS, vol. 43, n^o 1,‎ 1957, p. 169-172 (PMID 16589993, DOI 10.1073/pnas.43.1.169).

[6] (en) C. D. Papakyriakopoulos, « On Dehn's Lemma and the Asphericity of Knots », Ann. Math., vol. 66, n^o 1,‎ 1957, p. 1-26 (DOI 10.2307/1970113).

[EncycloMath-7] (en) Yuli B. Rudyak, « Eilenberg-MacLane space », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne).

[8] (en) Peter J. Huber, « Homotopical cohomology and Čech cohomology », Math. Ann., vol. 144,‎ 1961, p. 73-76.

[9] (en) Kiiti Morita, « Čech cohomology and covering dimension for topological spaces », Fund. Math., vol. 87,‎ 1975, p. 31-52.