Le groupe π1(X, x0) des classes d'homotopie de lacets basés en un point de base x0 choisi dans un espace topologique X, avec loi de groupe donnée par la concaténation des lacets ; il capte la structure de trou en dimension 1 de X.

Principe

Le groupe fondamental encode la façon dont les lacets se déforment continûment : le groupe trivial correspond à la simple connexité, une structure non abélienne reflète la composition non triviale des lacets, et les homomorphismes de groupes correspondent aux applications continues préservant le point de base.

Démonstration

Pour le cercle S^1 muni d'un point de base, π1(S^1) ≅ Z, engendré par la classe d'homotopie du lacet standard tournant une fois ; pour la 2-sphère S^2, π1(S^2) est trivial, ce qui reflète l'absence de lacets non contractibles.

Mauvaise application

Calculer π1 pour un espace non path-connexe sans préciser le point de base ou supposer la commutativité (π1 n'est pas nécessairement abélien), ou confondre π1 avec l'homologie H1 sans noter que H1 est l'abélianisation de π1.

Conséquence

Le groupe fondamental classe les revêtements connexes, obstrue l'existence de relèvements globaux, intervient dans les calculs par la formule de van Kampen qui assemble le π1 global à partir de données locales, et éclaire la théorie des obstructions pour les applications et sections.

Inversion

Les groupes d'homotopie supérieurs πn (n>1) détectent des trous de dimension supérieure et sont abéliens pour n≥2 ; se concentrer uniquement sur π1 passe à côté des obstructions de dimension supérieure et des aspects abéliens capturés par l'homologie.

Limite

Défini pour des espaces pointés et le plus naturellement pour des espaces path-connectés pour obtenir une classe d'isomorphisme indépendante du point de base ; le concept est topologique (non purement algébrique) et n'enregistre pas à lui seul l'information d'homotopie de dimensions supérieures.

Tension sémantique

Tension entre π1 et H1 (homologie) : H1 est plus simple à calculer et abélien mais perd l'information non abélienne. Il existe aussi une tension entre les méthodes basées sur le groupe fondamental et les invariants de type d'homotopie qui exigent des informations homotopiques ou catégoriques supérieures.

Synthèse

Le groupe fondamental est l'invariant algébrique des classes d'homotopie de lacets basés sous concaténation, résumant les obstructions de dimension 1, organisant la théorie des revêtements par des actions de groupes et servant de premier invariant d'homotopie non trivial distinguant les espaces à homotopie près.