Partially hyperbolic diffeomorphisims with a finite number of measures of maximal entropy
Juan Carlos Mongez, Maria José Pacifico, Mauricio Poletti
TL;DR
This work proves that partially hyperbolic diffeomorphisms with a center direction admitting a dominated one-dimensional decomposition and a uniform Lyapunov-gap have only finitely many ergodic measures of maximal entropy (MME). It combines Pesin theory with the BC-Sarig criterion, using uniform Pesin blocks and unstable entropy to rule out infinite families of MMEs via homoclinic relations, and it leverages this finiteness to derive upper semi-continuity under perturbations. The authors apply the results to Derived from Anosov diffeomorphisms on $\mathbb{T}^4$ and to certain skew-product families, proving $C^1$-open and $C^r$-dense sets with finite MMEs and providing uniform bounds on the number of MMEs in perturbations. Methodologically, the paper builds a robust framework around unstable entropy, Pesin blocks of uniform size, and holonomy-invariance via the invariance principle to obtain quantitative finiteness and continuity results, even when different MMEs may carry different center indices. Overall, the results extend entropy-hyperbolicity ideas to higher-dimensional partially hyperbolic systems and establish a stable finiteness landscape for MMEs in these settings.
Abstract
We prove the finiteness of ergodic measures of maximal entropy for partially hyperbolic diffeomorphisms where the center direction has a dominated decomposition into one dimensional bundle and there is a uniform lower bound for the absolute value of the Lyapunov exponents. As applications we prove finiteness for a class derived from Anosov partially hyperbolic diffeomorphisms defined on $\mathbb{T}^4$ and that in a class of skew product over partially hyperbolic diffeomorphisms there exists a $C^1$ open and $C^r$ dense set of diffeomorphisms with a finite number of ergodic measures of maximal entropy. We also study the upper semicontinuity of the number of measures of maximal entropy with respect to the diffeomorphism.
