On the group of real analytic diffeomorphisms
The group of real analytic diffeomorphisms of a real analytic manifold is a rich group. It is dense in the group of smooth diffeomorphisms. Herman showed that for the -dimensional torus, its identity component is a simple group. For fibered manifolds, for manifolds admitting special semi-free actions and for 2- or 3-dimensional manifolds with nontrivial actions, we show that the identity component of the group of real analytic diffeomorphisms is a perfect group.