Groupe fondamental et espaces de revêtement

Le groupe fondamental enregistre la manière dont les boucles dans un espace peuvent ou ne peuvent pas être contractées, et la théorie des espaces de revêtement traduit ses sous-groupes en un dictionnaire géométrique complet des espaces qui « enveloppent » l'original.

Definition

Le groupe fondamental d'un espace pointé est le groupe dont les éléments sont des classes d'homotopie de boucles basées en ce point, avec la concaténation comme opération ; un espace de revêtement est une application qui est localement un empilement trivial de copies de la base, et sa théorie relie de telles applications aux sous-groupes du groupe fondamental.

Scope

Ce sujet introduit l'homotopie des chemins, le groupe fondamental en tant que groupe des classes de boucles basées en un point, et son calcul via le théorème de van Kampen. Il développe les espaces de revêtement, le critère de relèvement, et la correspondance de type Galois entre les sous-groupes du groupe fondamental et les revêtements connexes, y compris le revêtement universel et les transformations de revêtement. Des applications telles que la classification des revêtements du cercle et le calcul des groupes fondamentaux des graphes et des surfaces sont incluses.

Core questions

• Comment le groupe fondamental détecte-t-il les « trous » qui empêchent les boucles de se contracter ?
• Comment le théorème de van Kampen construit-il le groupe fondamental d'un espace à partir de ceux de ses morceaux qui se chevauchent ?
• Quelle est la correspondance précise entre les espaces de revêtement connexes et les sous-groupes du groupe fondamental ?
• Quand une application se relève-t-elle à travers un revêtement, et quel rôle joue le revêtement universel ?

Key concepts

• Homotopie des chemins et concaténation de boucles
• Groupe fondamental et sa fonctorialité sous les applications préservant le point de base
• Théorème de van Kampen
• Espaces de revêtement, critère de relèvement et transformations de revêtement
• Revêtement universel et correspondance de Galois pour les revêtements

Clinical relevance

Le groupe fondamental est le premier invariant algébrique et le plus accessible, distinguant le cercle du disque et sous-tendant la monodromie, la théorie des surfaces de Riemann et la classification des fibrés plats ; la théorie des espaces de revêtement est le modèle topologique de la théorie de Galois et des quotients par des actions de groupe.

History

Poincaré a introduit le groupe fondamental dans Analysis Situs (1895) ; le théorème de Seifert-van Kampen des années 1930 l'a rendu calculable par recollement, et la correspondance systématique entre les revêtements et les sous-groupes, formalisée par les transformations de revêtement, a établi l'analogie avec la théorie de Galois, désormais standard dans les programmes d'études.

Key figures

• Henri Poincaré
• Egbert van Kampen
• Allen Hatcher

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

Pourquoi le groupe fondamental du cercle est-il isomorphe aux entiers ?

Une boucle sur le cercle est classée à homotopie près par le nombre de fois qu'elle s'enroule, avec un signe pour la direction ; ce nombre d'enroulement est additif sous la concaténation, ce qui donne un isomorphisme avec les entiers.

Qu'est-ce que le revêtement universel ?

C'est l'espace de revêtement simplement connexe d'un espace (approprié) ; il correspond au sous-groupe trivial dans le dictionnaire des espaces de revêtement et porte le groupe fondamental comme son groupe de transformations de revêtement.