Théorie de l'homotopie stable

En mathématiques, la théorie de l'homotopie stable est une partie de la théorie de l'homotopie concernée par les structures et tous les phénomènes qui subsistent après suffisamment d'applications du foncteur de suspension. Un résultat fondateur a été le théorème de suspension de Freudenthal, qui stipule que, étant donné tout espace pointé $X$, les groupes d'homotopie $\pi _{n+k}(\Sigma ^{n}X)$ se stabilisent pour $n$ suffisamment grand. En particulier, les groupes d'homotopie des sphères $\pi _{n+k}(S^{n})$ se stabilisent pour $n\geq k+2$. Par exemple,

$\langle {\text{id}}_{S^{1}}\rangle =\mathbb {Z} =\pi _{1}(S^{1})\cong \pi _{2}(S^{2})\cong \pi _{3}(S^{3})\cong \cdots$

$\langle \eta \rangle =\mathbb {Z} =\pi _{3}(S^{2})\to \pi _{4}(S^{3})\cong \pi _{5}(S^{4})\cong \cdots$

Dans les deux exemples ci-dessus, toutes les applications entre groupes d'homotopie sont des applications du foncteur de suspension. Le premier exemple est un corollaire standard du théorème de Hurewicz, montrant que $\pi _{n}(S^{n})\cong \mathbb {Z}$. Dans le deuxième exemple la fibration de Hopf, $\eta$, est envoyée sur sa suspension $\Sigma \eta$, ce qui implique $\pi _{4}(S^{3})\cong \mathbb {Z} /2$. L'article sur les groupes d'homotopie des sphères détaille les résultats connus sur ces groupes.

L'un des problèmes les plus importants de la théorie de l'homotopie stable est le calcul de groupes d'homotopie stables de sphères. Selon le théorème de Freudenthal, dans la plage stable, les groupes d'homotopie des sphères ne dépendent pas des dimensions spécifiques des sphères dans le domaine et la cible, mais de la différence de ces dimensions.

Le groupe $\pi _{k}^{s}:=\lim _{n}\pi _{n+k}(S^{n})$ est abélien pour tout k. Jean-Pierre Serre à démontré que ces groupes sont finis pour $k\neq 0$. En fait, la composition fait de $\pi _{*}^{S}$ un anneau gradué. Un théorème de Goro Nishida stipule que tous les éléments de gradation positive dans cet anneau sont nilpotents. Ainsi, les seuls idéaux premiers sont les nombres premiers dans $\pi _{0}^{s}\cong \mathbb {Z}$. Ainsi la structure de $\pi _{*}^{s}$ est assez compliquée.

Dans le traitement moderne de la théorie de l'homotopie stable, les espaces sont généralement remplacés par des spectres.

Articles connexes

• Fibration d'Adams (en)
• Suite spectrale d'Adams (en)
• Théorie de l'homotopie chromatique (en)

Références

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Stable homotopy theory » (voir la liste des auteurs).

• J. Frank Adams, Stable homotopy theory, vol. 1961, Berlin, New York, Springer-Verlag, coll. « Second revised edition. Lectures delivered at the University of California at Berkeley », 1966 (MR 0196742)
• J. Peter May, Stable algebraic topology, 1945--1966, Amsterdam, North-Holland, 1999, 665–723 p. (ISBN 9780444823755, DOI 10.1016/B978-044482375-5/50025-0, MR 1721119, CiteSeer^x 10.1.1.30.6299), « Stable Algebraic Topology, 1945–1966 »
• Douglas C. Ravenel, Nilpotence and periodicity in stable homotopy theory, vol. 128, Princeton University Press, coll. « Annals of Mathematics Studies », 1992 (ISBN 978-0-691-02572-8, MR 1192553)