Exposé Bourbaki 1204 : Le groupe des homéomorphismes de la sphère de dimension 2 qui respectent l'aire et l'orientation n'est pas un groupe simple [d'après D. Cristofaro-Gardiner, V. Humilière et S. Seyfaddini]
Exposé Bourbaki 1204 : The group of area-preserving and orientation-preserving homeomorphisms of the $2$-dimensional sphere is not a simple group [after D. Cristofaro-Gardiner, V. Humilière and S. Seyfaddini]
Français
Depuis la fin des années 1970, on sait que la composante neutre du groupe des difféomorphismes à support compact d’une variété connexe est un groupe simple. Dans le cas des difféomorphismes qui préservent une forme volume ou une forme symplectique, on dispose d’un résultat analogue : il a alors un sous-groupe distingué « évident » qui est simple. Pour les homéomorphismes qui respectent le volume, la situation est comprise lorsque la dimension est supérieure ou égale à $3$. Le cas des surfaces, et tout particulièrement de la sphère de dimension $2$, a résisté à de nombreux efforts depuis une quarantaine d’années. Le théorème de D. Cristofaro-Gardiner, V. Humilière et S. Seyfaddini est une surprise : le groupe des homéomorphismes de la sphère de dimension $2$ qui respectent l’aire et l’orientation n’est pas un groupe simple. La démonstration est un tour de force et fait largement usage de l’homologie de Floer périodique. J’essaierai de présenter le contexte ainsi que les grandes lignes de ce beau résultat.