Persistence of nonhyperbolic measures for C 1-diffeomorphisms

Abstract

In the space of diffeomorphisms of an arbitrary closed manifold of dimension ≥ 3, we construct an open set such that each difteomorphism in this set has an invariant ergodic measure with respect to which one of its Lyapunov exponents is zero. These difteomorphisins are constructed to have a partially hyperbolic invariant set on which the dynamics is conjugate to a soft skew product with the circle as the fiber. It is the central Lyapunov exponent that proves to be zero in this case, and the construction is based on an analysis of properties of the corresponding skew products.