Local homology of groups of volume-preserving diffeomorphisms, II.
We study an integro-differential operator Φ: H̅¹ → L² of Fredholm type and give sufficient conditions for Φ to be a diffeomorphism. An application to functional equations is presented.
We prove that if X is an infinite-dimensional Banach space with smooth partitions of unity then X and X∖ K are diffeomorphic for every weakly compact set K ⊂ X.
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.