  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.
