On the group of symplectic homeomorphisms

Let (M,ω) be a closed symplectic manifold. We define a Hofer-like metric d on the identity component Sym(M,ω)0 in the group Symp(M,ω) of all symplectic diffeomorphisms of (M,ω). Unlike the Hofer metric on the group Ham(M,ω) of Hamiltonian diffeomorphisms, the metric d is not bi-invariant. We show that the metric topology τ defined by d is natural (i.e. independent of the choice involved in its definition). We define the symplectic topology as a blend of the Hofer-like topology τ and the C0-topology. We use it to construct a subgroup SSympeo(M,ω) of the group Sympeo(M,ω) of all symplectic homeomorphisms, containing the group Hameo(M,ω) of Hamiltonian homeomorphisms (introduced by Oh and Muller). If M is simply connected SSympeo(M,ω) coincides with Hameo(M,ω). Moreover its commutator subgroup [SSympeo(M,ω),SSympeo(M,ω)] is contained in Hameo(M,ω). To cite this article: A. Banyaga, C. R. Acad. Sci. Paris, Ser. I 346 (2008).

RésuméSoit (M,ω) une variété symplectique fermée. On définit à la Hofer une métrique d sur la composante connexe de l'identité dans le groupe Symp(M,ω) de tous les difféomorphismes symplectiques. Contrairement à la métrique de Hofer, la métrique d n'est pas bi-invariante. Nous montrons que la topologie métrique τ définie par d est naturelle (i.e. indépendante des choix faits pour la définir). Nous définissons la topologie symplectique comme une combinaison de la topologie τ et de la C0-topologie. Nous l'utilisons pour construire un sous-groupe SSympeo(M,ω) du groupe Sympeo(M,ω) des homéomorphismes symplectiques, qui contient le groupe Hameo(M,ω) des homéomorphismes hamiltoniens (introduits par Oh et Muller). Si M est simplement connexe, SSympeo(M,ω) coïncide avec Hameo(M,ω). De plus, son sous-groupe des commutateurs [SSympeo(M,ω),SSympeo(M,ω)] est contenu dans Hameo(M,ω). Pour citer cet article : A. Banyaga, C. R. Acad. Sci. Paris, Ser. I 346 (2008).