Partially hyperbolic diffeomorphisms homotopic to the identity in dimension three

We show that any conservative partially hyperbolic diffeomorphism homotopic to the identity is accessible unless the fundamental group of its ambient 3-manifold is virtually solvable. As a consequence, such diffeomorphisms are ergodic, giving an affirmative answer to the Hertz-Hertz-Ures Ergodicity Conjecture in the homotopy class of identity.