Smooth Models for Certain Fibered Partially Hyperbolic Systems

We prove that under restrictions on the fiber, any fibered partially hyperbolic system over a nilmanifold is leaf conjugate to a smooth model that is isometric on the fibers and descends to a hyperbolic nilmanifold automorphism on the base. One ingredient is a result of independent interest generalizing a result of Hiraide: an Anosov homeomorphism of a nilmanifold is topologically conjugate to a hyperbolic nilmanifold automorphism.