Exposé Bourbaki 1171 : Théorie de forçage des homéomorphismes de surface (d'après Le Calvez et Tal)
Exposé Bourbaki 1171 : Forcing theory for surface homeomorphisms (after Le Calvez and Tal)
Français
En 1912 Brouwer publiait son théorème de translation, qui implique par exemple qu'un homéomorphisme du plan préservant l'orientation et ayant un point périodique possède aussi un point fixe. Ce théorème a donné lieu à bon nombre de développements, débouchant entres autres sur l'obtention par Le Calvez d'un feuilletage de Brouwer équivariant pour les homéomorphismes de surface homotopes à l'identité. Récemment, Le Calvez et Tal ont utilisé ce feuilletage pour construire une théorie de forçage par essence topologique qui, à l'instar du théorème de Brouwer, permet de déduire l'existence de nouvelles orbites à partir de certaines propriétés dynamiques de l'homéomorphisme. L'exposé décrira les principes généraux de cette théorie, ainsi que quelques unes de ses très nombreuses applications.