Finiteness of ergodic measures of maximal entropy for certain skew product systems

Abstract

Consider a $C^{1+β}$ skew product $F$ over a topologically mixing Anosov diffeomorphism $f$, with fiber dynamics driven by a $C^{1+β}$ $\mathbb{R}^k$-action $\{ρ_{\bf t}\}$ on a closed manifold $Y$ through a $C^{1+β}$ cocycle $τ$. Suppose that the fiber action preserves an ergodic smooth measure of maximal entropy $m_{\operatorname{MME}}$. Under a nondegeneracy condition called joint nontriviality, and assuming that each element $ρ_{\bf t}$ is either of class $C^\infty$ or hyperbolic, we prove that $F$ admits only finitely many ergodic measures of maximal entropy. Moreover, every such measure is of the form $μ\times m_{\operatorname{MME}}$, where $μ$ is an ergodic equilibrium state for a Hölder potential on the base. If, in addition, the fiber action is exponentially mixing of all orders, then every ergodic MME is Bernoulli, exponentially mixing of all orders, and satisfies the Central Limit Theorem. Our main novelties are entropy formulas for skew products, obtained through the cone property and $r$-neutralized entropy, and a relative Ledrappier--Young theorem that converts the fiber entropy contribution into absolute continuity of fiberwise conditional measures. Combined with nonlinear thermodynamic formalism, rotation theory and Yomdin theory, these yield the finiteness of the base projections and the product rigidity of ergodic MMEs.