Groupe d'homotopie - Définition

Introduction

En mathématiques, et plus particulièrement en topologie et topologie algébrique, les groupes d'homotopie sont des invariants qui généralisent la notion de groupe fondamental aux dimensions supérieures.

Définition mathématique

Il y a plusieurs définitions équivalentes possibles.

Première définition

Soit X un espace topologique et x₀ un point de X. Soit la boule unité de dimension i de l'espace euclidien . Son bord est la sphère unité de dimension i − 1.

Le i-ième groupe d'homotopie supérieur π_i(X,x₀) est l'ensemble des classes d'homotopie relative à d'applications continues telle que : .

Un élément de π_i(X,x₀) est donc représenté par une fonction continue de la i-boule vers X, qui envoie la (i − 1)-sphère vers le point de référence , la fonction étant définie modulo homotopie relative à .

Deuxième définition

En identifiant le bord du disque à un point s₀, on obtient une sphère et chaque élément de π_i(X,x₀) se définit par les classes d'homotopie des applications par lesquelles le point base s₀ de la sphère se transforme en x₀. On peut dire que les éléments du groupe π_i(X,x₀) sont les composantes connexes de l'espace topologique des applications pour lesquelles on a : .

Propriétés et outils

Suite exacte longue d'homotopie d'une fibration et fonctorialité

• V. suite exacte et fibrations

Groupes d'homotopie relatifs et suite exacte longue d'homotopie d'un couple

• V. suite exacte

Homologie et homotopie : le théorème d'Hurewicz

Pour un espace topologique X, on a deux familles de groupes associés à X : Les groupes d'homotopie (relatifs) notés π_i(X,A,x₀) et les groupes d'homologie singulière (relatifs) notés H_i(X,A). Les groupes d'homologie sont plus faciles à calculer que les groupes d'homotopie, et on s'interroge sur le lien entre ces deux familles de groupes.

On a un morphisme de groupes naturel .

Si sont connexes par arcs et si le couple (X,A) est n-1-connexe, alors :

• d'une part le théorème d'Hurewicz relatif affirme que H_i(X,A) = 0 (iω(β) − β avec et  ; en particulier, si π₁(A, * ) = 1, alors h_n est un isomorphisme ;
• d'autre part le théorème d'Hurewicz absolu (A=*) affirme que si X est n-1-connexe, , on a H_i(X, * ) = 0 (i

Pour n=1, voir Théorème d'Hurewicz

Le théorème de Whitehead pour les CW-complexes (complexes cellulaires)

• Voir CW-complexes

Théorèmes de périodicité de Bott

Produit sur l'ensemble des classes d'homotopie

Pour définir une opération sur les classes d'homotopie, il est utile d'identifier le disque avec le cube de dimension i dans .

La définition du produit est la suivante : La somme de deux applications du cube est l'application définie par la formule :

pour

et

( ) pour .

Lorsque l'on passe aux classes d'homotopie, la loi de composition obtenue est associative, unifère, tout élément admet un inverse et la loi est commutative si .

On définit donc un groupe commutatif si .

On obtient le groupe fondamental si i = 1

Méthodes de calcul

Contrairement au groupe fondamental (i=1) et aux groupes d'homologie et de cohomologie, il n'y a pas de méthode simple de calcul des groupes d'homotopie dès que (Il manque un analogue des théorèmes d'excision et de Van-Kampen).

Groupes d'homotopie des sphères

Cas des groupes de Lie

Le groupe fondamental est commutatif. L'action du π₁ sur les π_i est triviale.