Groupes d'homotopie des sphères

Enroulement d'une sphère à deux dimensions autour d'une autre sphère.

En mathématiques, et plus spécifiquement en topologie algébrique, les groupes d'homotopie des sphères sont des invariants qui décrivent, en termes algébriques, comment des sphères de dimensions $n$ et $k$ égales ou différentes peuvent s'enrouler l'une sur l'autre. La notion, définie au départ pour des sphères de dimension 1 (cercles) et de dimension 2, se généralise à des sphères de toutes dimensions (les $n$-sphères).

Définition et premières propriétés

Le groupe d'homotopie d'ordre $j$ de la sphère de dimension $n$, ${𝕊}^n$, est l'ensemble, noté ${\pi }_j({𝕊}^n)=[{𝕊}^j\to {𝕊}^n]$, des classes d'homotopie d'applications continues qui envoient un point fixé de la sphère ${𝕊}^j$ sur un point fixé de la sphère ${𝕊}^n$.

Cet ensemble (pour $j$ et $n$ fixés), noté ${\pi }_j({𝕊}^n)$, peut être muni d'une structure de groupe abélien.

Si $j<n$, ce groupe est réduit à un seul élément : ${\pi }_j({𝕊}^n)=\{0\}$.

Si $j=n$, ce groupe est monogène infini (c'est-à-dire infini et engendré par un seul élément) : ${\pi }_n({𝕊}^n)=\mathbb{Z}$ (cela résulte du point précédent, par le théorème d'Hurewicz).

Si $j>n$, le groupe ${\pi }_j({𝕊}^n)$ est soit un groupe fini, soit la somme d'un groupe fini et d'un groupe infini monogène.

La suite spectrale de Serre fut inventée pour calculer les groupes d'homotopie des sphères, mais aucune liste complète de ces groupes n'est connue.

Pour calculer ces groupes, on utilise aussi les fibrations de Hopf et la technique des variétés équipées (Modèle:Langue en anglais) qui provient de la théorie du cobordisme.

Dimension 1 : groupes d'homotopie des cercles

Une sphère de dimension 1 est un cercle. On a :

• ${\pi }_1({𝕊}^1)=\mathbb{Z}$ ;
• ${\pi }_q({𝕊}^1)=0$ pour $q\ge 2$.

Sphères de dimension 2 et 3

Pour la notion de sphère à trois dimensions, voir l'article 3-sphère.

Les sphères de dimension au moins deux sont simplement connexes, en particulier :

${\pi }_1({𝕊}^2)={\pi }_1({𝕊}^3)=0$

En toute dimension $n$ supérieure ou égale à 3, on a : ${\pi }_2({𝕊}^n)=0$, en particulier :

${\pi }_2({𝕊}^3)=0$

En toute dimension $n$, on a : ${\pi }_n({𝕊}^n)=\mathbb{Z}$, en particulier :

${\pi }_2({𝕊}^2)=\mathbb{Z}$,

${\pi }_3({𝕊}^3)=\mathbb{Z}$.

Représentation tri-dimensionnelle d'une partie de la fibration de Hopf.

En dimensions 2 et 3, la fibration de Hopf

$F=S^1\hookrightarrow S^3\to S^2=B$

donne lieu à une suite exacte d'homotopie,

${\pi }_i(S^1)\to {\pi }_i(S^3)\to {\pi }_i(S^2)\to {\pi }_{i-1}(S^1)\to {\pi }_{i-1}(S^3)\cdots$

Comme ${\pi }_1({𝕊}^1)=\mathbb{Z}$ et pour $i\ge 2$ , ${\pi }_i({𝕊}^1)=0$, on a donc un isomorphisme :

${\pi }_i({𝕊}^3)\simeq {\pi }_i({𝕊}^2)$ pour $i\ge 3$,

en particulier

${\pi }_3({𝕊}^2)={\pi }_3({𝕊}^3)=\mathbb{Z}$

Pour les groupes d'homotopie supérieurs, d'autres techniques donnent les résultats suivants :

• ${\pi }_4({𝕊}^2)={\pi }_4({𝕊}^3)=\mathbb{Z}/(2)$
• ${\pi }_5({𝕊}^2)={\pi }_5({𝕊}^3)=\mathbb{Z}/(2)$
• ${\pi }_6({𝕊}^2)={\pi }_6({𝕊}^3)=\mathbb{Z}/(12)$

Groupes d'homotopie de ${𝕊}^3$ et ${𝕊}^2$

$k$	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22
${\pi }_k({𝕊}^3)={\pi }_k({𝕊}^2)$	Z	Z2		Z12	Z2		Z3	Z15	Z2	Z22	Z12×Z2	Z84×Z22	Z22	Z6	Z30		Z2×Z6	Z22×Z12		Z22×Z132

Les groupes d'homotopie ${\pi }_i({𝕊}^3)\simeq {\pi }_i({𝕊}^2)$ sont finis pour $i$ supérieur ou égal à 4.

Théorie générale

Table

Calculer les groupes d'homotopie des sphères est difficile et les résultats sont compliqués. La table suivante donne une idée de la complexité :

	π1	π2	π3	π4	π5	π6	π7	π8	π9	π10	π11	π12	π13	π14	π15	π16
S1	Z	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
S2	0	Z	Z	Z2	Z2	Z12	Z2	Z2	Z3	Z15	Z2	Z22	Z12× Z2	Z84× Z22	Z22	Z6
S3	0	0	Z	Z2	Z2
S4	0	0	0	Z	Z2	Z2	Z×Z12	Z22	Z22	Z24×Z3	Z15	Z2	Z23	Z120× Z12×Z2	Z84×Z25	Z26
S5	0	0	0	0	Z	Z2	Z2	Z24	Z2	Z2	Z2	Z30	Z2	Z23	Z72×Z2	Z504×Z22
S6	0	0	0	0	0	Z	Z2	Z2	Z24	0	Z	Z2	Z60	Z24×Z2	Z23	Z72×Z2
S7	0	0	0	0	0	0	Z	Z2	Z2	Z24	0	0	Z2	Z120	Z23	Z24
S8	0	0	0	0	0	0	0	Z	Z2	Z2	Z24	0	0	Z2	Z×Z120	Z24
S9	0	0	0	0	0	0	0	0	Z	Z2	Z2	Z24	0	0	Z2	Z240

Les entrées de la table sont soit le groupe trivial 0, soir le groupe monogène infini ℤ, soit les groupes abéliens finis ou encore (cases rouges) le produit de tels groupes finis abéliens et de ℤ.

Stabilité en grandes dimensions

Les tables de groupes d'homotopies sont plus facilement organisées en présentant ${\pi }_{n+k}({𝕊}^n)$ en fonction de $n$ et de $k$ :

Sn	πn	πn+1	πn+2	πn+3	πn+4	πn+5	πn+6	πn+7	πn+8	πn+9	πn+10	πn+11	πn+12	πn+13	πn+14	πn+15	πn+16	πn+17
S1	Z	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0	0
S2	Z	Z	Z2	Z2	Z12	Z2	Z2	Z3	Z15	Z2	Z22	Z12×Z2	Z84×Z22	Z22	Z6	Z30	Z30	Z6×Z2
S3	Z	Z2	Z2	Z12	Z2	Z2	Z3	Z15	Z2	Z22	Z12×Z2	Z84×Z22	Z22	Z6	Z30	Z30	Z6×Z2	Z12×Z62
S4	Z	Z2	Z2	Z× Z12	Z22	Z22	Z24×Z3	Z15	Z2	Z23	Z120× Z12×Z2	Z84×Z25	Z26	Z24× Z6×Z2	Z2520× Z6×Z2	Z30	Z62×Z2	Z24×Z12× Z6 ×Z62
S5	Z	Z2	Z2	Z24	Z2	Z2	Z2	Z30	Z2	Z23	Z72×Z2	Z504×Z22	Z23	Z6×Z2	Z6×Z2	Z30×Z2	Z22	Z4 ×Z22
S6	Z	Z2	Z2	Z24	0	Z	Z2	Z60	Z24×Z2	Z23	Z72×Z2	Z504×Z4	Z240	Z6	Z12×Z2	Z60×Z6	Z504×Z22	Z24
S7	Z	Z2	Z2	Z24	0	0	Z2	Z120	Z23	Z24	Z24×Z2	Z504×Z2	0	Z6	Z24×Z4	Z120×Z23	Z24	Z24
S8	Z	Z2	Z2	Z24	0	0	Z2	Z× Z120	Z24	Z25	Z242×Z2	Z504×Z2	0	Z6×Z2	Z240× Z24×Z4	Z120×Z25	Z27	Z6×Z24
S9	Z	Z2	Z2	Z24	0	0	Z2	Z240	Z23	Z24	Z24×Z2	Z504×Z2	0	Z6	Z16×Z4	Z240×Z23	Z24	Z24
S10	Z	Z2	Z2	Z24	0	0	Z2	Z240	Z22	Z×Z23	Z12×Z2	Z504	Z12	Z6	Z16×Z2	Z240×Z22	Z240×Z2	Z23
S11	Z	Z2	Z2	Z24	0	0	Z2	Z240	Z22	Z23	Z6×Z2	Z504	Z22	Z6×Z2	Z16×Z2	Z240×Z2	Z2	Z23
S12	Z	Z2	Z2	Z24	0	0	Z2	Z240	Z22	Z23	Z6	Z× Z504	Z2	Z6×Z2	Z48× Z4×Z2	Z240×Z2	Z2	Z24
S13	Z	Z2	Z2	Z24	0	0	Z2	Z240	Z22	Z23	Z6	Z504	Z2	Z6	Z16×Z2	Z480×Z2	Z2	Z24
S14	Z	Z2	Z2	Z24	0	0	Z2	Z240	Z22	Z23	Z6	Z504	0	Z×Z3	Z8×Z2	Z480×Z2	Z24×Z2	Z24
S15	Z	Z2	Z2	Z24	0	0	Z2	Z240	Z22	Z23	Z6	Z504	0	Z3	Z4×Z2	Z480×Z2	Z23	Z25
S16	Z	Z2	Z2	Z24	0	0	Z2	Z240	Z22	Z23	Z6	Z504	0	Z3	Z22	Z× Z480×Z2	Z24	Z26
S17	Z	Z2	Z2	Z24	0	0	Z2	Z240	Z22	Z23	Z6	Z504	0	Z3	Z22	Z480×Z2	Z24	Z25
S18	Z	Z2	Z2	Z24	0	0	Z2	Z240	Z22	Z23	Z6	Z504	0	Z3	Z22	Z480×Z2	Z22	Z×Z24
S19	Z	Z2	Z2	Z24	0	0	Z2	Z240	Z22	Z23	Z6	Z504	0	Z3	Z22	Z480×Z2	Z22	Z24
S20	Z	Z2	Z2	Z24	0	0	Z2	Z240	Z22	Z23	Z6	Z504	0	Z3	Z22	Z480×Z2	Z22	Z24

Pour les Modèle:Citation dimensions, on a :

• ${\pi }_n({𝕊}^n)=\mathbb{Z},n\ge 1$ (première colonne en jaune du tableau précédent)
• ${\pi }_{n+1}({𝕊}^n)=\mathbb{Z}/(2),n\ge 3$ (deuxième colonne — en mauve — du tableau précédent)
• ${\pi }_{n+2}({𝕊}^n)=\mathbb{Z}/(2),n\ge 2$ (troisième colonne — turquoise — du tableau précédent)

Comme il peut être conjecturé, il s'avère que ${\mathrm{\Gamma }}_k={\pi }_{n+k}({𝕊}^n)$ est indépendant de $n$ pour $n$ suffisamment grand. Ce phénomène est connu sous le nom de stabilité. Il résulte du théorème de suspension de Freudenthal suivant :

• Le morphisme de suspension $S:{\pi }_{n+k}({𝕊}^n)\to {\pi }_{n+k+1}({𝕊}^{n+1})$ est un isomorphisme pour $n\ge k+2$
• et un épimorphisme (morphisme surjectif) pour $n=k+1$.

Liste des groupes d'homotopie stable

Les premiers groupes stables ${\mathrm{\Gamma }}_k={\pi }_{2k+2}({𝕊}^{k+2})={\pi }_{n+k}({𝕊}^n),n\ge k+2$ sont les suivants :

• ${\mathrm{\Gamma }}_{-j}={\pi }_{n-j}({𝕊}^n)=0,$
• ${\mathrm{\Gamma }}_0={\pi }_n({𝕊}^n)=\mathbb{Z},n\ge 1$
• ${\mathrm{\Gamma }}_1={\pi }_{n+1}({𝕊}^n)=\mathbb{Z}/(2),n\ge 3$
• ${\mathrm{\Gamma }}_2={\pi }_{n+2}({𝕊}^n)=\mathbb{Z}/(2),n\ge 2$
• ${\mathrm{\Gamma }}_3={\pi }_{n+3}({𝕊}^n)=\mathbb{Z}/(24),n\ge 5$
• ${\mathrm{\Gamma }}_4={\pi }_{n+4}({𝕊}^n)=0,n\ge 6$
• ${\mathrm{\Gamma }}_5={\pi }_{n+5}({𝕊}^n)=0,n\ge 7$
• ${\mathrm{\Gamma }}_6={\pi }_{n+6}({𝕊}^n)=\mathbb{Z}/(2),n\ge 5$
• ${\mathrm{\Gamma }}_7={\pi }_{n+7}({𝕊}^n)=\mathbb{Z}/(240),n\ge 9$
• ${\mathrm{\Gamma }}_8={\pi }_{n+8}({𝕊}^n)=\mathbb{Z}/(2)\oplus \mathbb{Z}/(2),n\ge 10$

Les groupes d'homotopie stable sont finis sauf pour $k=0$.

Groupes d'homotopie stable ${\mathrm{\Gamma }}_k={\pi }_{2k+2}({𝕊}^{k+2})$ avec $k$ inférieur à 23

$k$	0	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17	18	19	20	21	22
${\mathrm{\Gamma }}_k$	Z	Z2	Z2	Z24	0	0	Z2	Z240	Z22	Z23	Z6	Z504	0	Z3	Z22	Z480⊕ Z2	Z22	Z24	Z8⊕Z2	Z264⊕ Z2	Z24	Z22	Z22

À partir de $k=23$, la décomposition de ${\mathrm{\Gamma }}_k$ se complique, par exemple :

${\mathrm{\Gamma }}_{23}={\mathbb{Z}}_{16}\oplus {\mathbb{Z}}_8\oplus {\mathbb{Z}}_2\oplus {\mathbb{Z}}_9\oplus {\mathbb{Z}}_3\oplus {\mathbb{Z}}_5\oplus {\mathbb{Z}}_7\oplus {\mathbb{Z}}_{13}$

Groupes d'homotopie stable ${\mathrm{\Gamma }}_k={\pi }_{2k+2}({𝕊}^{k+2})$ avec $k$ inférieur à 60

$k$	0	1	2	3	4	5	6	7
${\mathrm{\Gamma }}_k$	Z	Z2	Z2	Z24=Z8⊕Z3	0	0	Z2	Z240 =Z16⊕Z3⊕Z5
$k$	8	9	10	11	12	13	14	15
${\mathrm{\Gamma }}_k$	Z22	Z23	Z6=Z2⊕Z3	Z504 =Z8⊕Z9⊕Z7	0	Z3	Z22	Z480⊕Z2 =Z32⊕Z2⊕Z3⊕Z5
$k$	16	17	18	19	20	21	22	23
${\mathrm{\Gamma }}_k$	Z22	Z24	Z8⊕Z2	Z264⊕Z2 =Z8⊕Z2⊕Z3⊕Z11	Z24 = Z8⊕Z3	Z22	Z22	Z16⊕Z8⊕Z2 ⊕Z9⊕Z3 ⊕Z5⊕Z7⊕Z13
$k$	24	25	26	27	28	29	30	31
${\mathrm{\Gamma }}_k$	Z22	Z22	Z22⊕Z3	Z24=Z8⊕Z3	Z2	Z3	Z6=Z2⊕Z3	Z64⊕Z22⊕Z3 ⊕Z5⊕Z17
$k$	32	33	34	35	36	37	38	39
${\mathrm{\Gamma }}_k$	Z24	Z25	Z4⊕Z23	Z8⊕Z22⊕Z27 ⊕Z7⊕Z19	Z6=Z2⊕Z3	Z22⊕Z3	Z2⊕Z60= Z2⊕Z4⊕Z3⊕Z5	Z16⊕Z25⊕Z32 ⊕Z25⊕Z11
$k$	40	41	42	43	44	45	46	47
${\mathrm{\Gamma }}_k$	Z25⊕Z4⊕Z3	Z25	Z8⊕Z22⊕Z3	Z552 =Z8⊕Z3⊕Z23	Z8	Z16⊕Z23 ⊕Z9⊕Z5	Z24⊕Z3	Z32⊕Z4⊕Z23 ⊕Z9⊕Z3 ⊕Z5⊕Z7⊕Z13
$k$	48	49	50	51	52	53	54	55
${\mathrm{\Gamma }}_k$	Z24⊕Z4	Z22⊕Z3	Z3⊕Z23	Z8⊕Z4⊕Z22⊕Z3	Z23⊕Z3	Z24	Z4⊕Z2	Z16⊕Z32⊕Z5⊕Z29
$k$	56	57	58	59	60	61	62	63
${\mathrm{\Gamma }}_k$	Z22	Z24	Z22	Z8⊕Z22⊕Z9 ⊕Z7⊕Z11⊕Z31	Z4	0	Z24⊕Z3	Z128⊕Z4⊕Z22⊕Z3 ⊕Z5⊕Z17

p-composantes des groupes d'homotopie stable

La table précédente incite à s'intéresser à la classe de congruence modulo 4 de k, si p est un nombre premier supérieur ou égal à 7 :

• Si k est pair (colonnes $k=0$, $k=2$, $k=4$, $k=6$ du tableau précédent),
• ou si k est congru à 1 modulo 4 (colonnes $k=1$ et $k=5$ du tableau précédent),
  alors la p-composante de ${\mathrm{\Gamma }}_k$ est nulle (0) quel que soit p premier supérieur ou égal à 7.

• Si k est congru à 3 modulo 4 (colonnes $k=3$ et $k=7$ du tableau précédent) et si p est premier et supérieur ou égal à 7,
  alors la p-composante de ${\mathrm{\Gamma }}_k$ est
  • cyclique et d'ordre p (${\mathrm{\Gamma }}_k(p)=\mathbb{Z}/(p)$) si $(p-1)/2$ divise $(k+1)/4$,
  • sinon elle est nulle (${\mathrm{\Gamma }}_k(p)=0$).

Par exemple :

• ${\mathrm{\Gamma }}_k(7)=\mathbb{Z}/(7)$ si $k=12n-1$ et ${\mathrm{\Gamma }}_k(7)=0$ sinon ;
• ${\mathrm{\Gamma }}_k(11)=\mathbb{Z}/(11)$ si $k=20n-1$ et ${\mathrm{\Gamma }}_k(11)=0$ sinon ;
• ${\mathrm{\Gamma }}_k(13)=\mathbb{Z}/(13)$ si $k=24n-1$ et ${\mathrm{\Gamma }}_k(13)=0$ sinon ;
• ${\mathrm{\Gamma }}_k(p)=\mathbb{Z}/(p)$ si $k=2(p-1)n-1$ et ${\mathrm{\Gamma }}_k(p)=0$ sinon.

La complexité réside essentiellement dans les 2-, 3- et 5- composantes du groupe ${\mathrm{\Gamma }}_k$.

Groupes d'homotopie non stables

Les premiers groupes non stables sont les suivants :

• En dimension 2 et 3 (${\pi }_k({𝕊}^2)={\pi }_k({𝕊}^3)$) :
  • ${\pi }_3({𝕊}^2)={\pi }_3({𝕊}^3)=\mathbb{Z}$
  • ${\pi }_5({𝕊}^2)={\pi }_5({𝕊}^3)={\pi }_4({𝕊}^2)=\mathbb{Z}/(2)$
  • ${\pi }_6({𝕊}^2)={\pi }_6({𝕊}^3)=\mathbb{Z}/(12)$
• En dimension 4 : ${\pi }_7({𝕊}^4)=\mathbb{Z}/(12)\oplus \mathbb{Z}$

Groupes d'homotopie infinis

Les groupes d'homotopie stables ${\pi }_{n+k}({𝕊}^n)$ sont finis sauf pour $k=0$ (${\mathrm{\Gamma }}_0=\mathbb{Z}$).

Les groupes d'homotopie instables sont finis sauf les groupes ${\pi }_{4p-1}({𝕊}^{2p})$ (avec p > 0). Ces derniers (${\pi }_3({𝕊}^2)$, ${\pi }_7({𝕊}^4)$, ${\pi }_{11}({𝕊}^6)$, …) sont isomorphes à la somme directe de $\mathbb{Z}$ et d'un groupe fini.

Groupes d'homotopie non nuls

On sait que si $n>1$, il y a une infinité de groupes ${\pi }_k({𝕊}^n)$ qui sont non nuls (ce sont des résultats de Jean-Pierre Serre).

On sait aussi que ${\pi }_k({𝕊}^5)\ne 0$ pour tout $k>4$ (Morton L. Curtis).

Applications

• Pour les applications du groupe fondamental ($n=1$), voir l'article Groupe fondamental.
• Le fait que ${\pi }_n({𝕊}^n)=\mathbb{Z}$ implique le théorème de Brouwer qui affirme que toute application continue de la boule dans elle-même a un point fixe.

Ce groupe permet de définir le degré de Brouwer d'une application de la sphère dans elle-même.

• Les groupes d'homotopie stable sont importants en théorie des singularités.
• Le fait que le Modèle:3e groupe d'homotopie stable est ℤ/(24) implique le Modèle:Lien qui affirme que la Modèle:Lien d'une variété spinorielle de dimension 4 est divisible par 16.
• Les groupes d'homotopie stable servent à décrire les groupes de Modèle:Lien des homotopies orientées de sphères, qui pour $n$ différent de 4 est le groupe des sphères exotiques orientées de dimension $n$.
• Les groupes d'homotopie des sphères sont liés aux classes de cobordisme des variétés.
• Ils permettent également de calculer les groupes d'homotopie des fibrés, des groupes de Lie et des espaces symétriques.

Généralisation en géométrie algébrique

En géométrie algébrique, on définit les ${𝕊}^{n,i}$ qui sont les sphères de dimension $n$ et de poids $i$.

On peut définir les groupes d'homotopie stable des sphères comme colimites (ou limites inductives) de l'ensemble des classes d'homotopie d'applications de ${𝕊}^{2r+n,r}$ vers ${𝕊}^{2r,r+i}.$

L'application du foncteur de suspension à d'autres espaces topologiques que la sphère donne naissance à la théorie de l'homotopie stable.

Références en français

• Modèle:DoubrovineFomenkoNovikov, tomes 2 et 3
• Modèle:Godbillon1
• Fabien Morel, « Groupes d'homotopie de sphères algébriques et formes quadratiques », dans Leçons de mathématiques d'aujourd'hui, vol. 3, Cassini, 2007