Department of Mathematics, Northwestern University, Evanston, Illinois 60208 ; Department of Mathematics, Northwestern University, Evanston, Illinois 60208
Abstract:
We prove that if a symplectic diffeomorphism is not partially hyperbolic, then with an arbitrarily small perturbation we can create a totally elliptic periodic point inside any given open set. As a consequence, a -generic symplectic diffeomorphism is either partially hyperbolic or it has dense elliptic periodic points. This extends the similar results of S. Newhouse in dimension 2 and M.-C. Arnaud in dimension 4. Another interesting consequence is that stably ergodic symplectic diffeomorphisms must be partially hyperbolic, a converse to Shub-Pugh's stable ergodicity conjecture for the symplectic case.