Apparaît dans la collection : Bourbaki - Avril 2023

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 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 « é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.

[D’après D. Cristofaro-Gardiner, V. Humilière et S. Seyfaddini]