Partial hyperbolicity for symplectic diffeomorphisms

We prove that every robustly transitive and every stably ergodic symplectic diffeomorphism on a compact manifold admits a dominated splitting. In fact, these diffeomorphisms are partially hyperbolic.