Commutators and diffeomorphisms of surfaces

Abstract

For any compact oriented surface $\Sigma$ we consider the group of diffeomorphisms of $\Sigma$ which preserve a given area form. In this paper we show that the vector space of homogeneous quasi-morphisms on this group has infinite dimension. This result is proved by constructing explicitly and for each surface an infinite family of independent homogeneous quasi-morphisms. These constructions use simple arguments related to linking properties of the orbits of the diffeomorphisms.