Full flexibility of entropies among ergodic measures for partially hyperbolic diffeomorphisms
Lorenzo J. Díaz, Katrin Gelfert, Michal Rams, Jinhua Zhang
TL;DR
The paper develops a robust framework to realize Katok-style flexibility between entropy and center Lyapunov exponent for a broad class of nonhyperbolic partially hyperbolic diffeomorphisms with a one-dimensional center. By introducing ${\rm scu}$-cubes and ${\rm scu}$-horseshoes, and coupling them with blender-horseshoes under minimal strong foliations, it constructs cascades that approximate ergodic measures with prescribed center exponents and controllable entropies. The method uses discrete-time suspensions and FK/d-bar distance techniques to ensure weak$^*$ convergence and entropy continuity to ergodic limits, yielding continuous entropy paths within each exponent level and a restricted variational principle for $\chi=0$. These results illuminate the structure of the ergodic landscape in partially hyperbolic systems, demonstrate Kadok-like intermediate entropy phenomena in non-specification settings, and apply to a wide range of systems including circle-fibered, flow-type, and some anomalous diffeomorphisms, with implications for the interaction between coexisting hyperbolicity types.
Abstract
We study nonhyperbolic and transitive partially hyperbolic diffeomorphisms having a one-dimensional center. We prove joint flexibility with respect to entropy and center Lyapunov exponent for a broad class of these systems. Flexibility means that for any given value of the center Lyapunov exponent and any value of entropy less than the supremum of entropies of ergodic measures with that exponent, there is an ergodic measure with exactly this entropy and exponent. Our hypotheses involve minimal foliations and blender-horseshoes, they formalize the interplay between two regions of the ambient space, one of center expanding and the other of center contracting type. The list of examples our results apply is rather long, a non-exhaustive list includes fibered by circles, flow-type, some Derived from Anosov diffeomorphisms, and some anomalous (non-dynamically coherent) diffeomorphisms.
