The approximation of uniform hyperbolicity for \(C^1\) diffeomorphisms with hyperbolic measures (Q828296)

Let \({f:M\to M}\) be a \(C^1\) diffeomorphism of a compact Riemannian manifold \(M\) and \(\mu\) be a hyperbolic ergodic \(f\)-invariant Borel probability measure on \(M\) with positive measure-theoretic entropy. Under the condition that the corresponding Oseledec splitting is dominated, the authors obtain extensions of \textit{A. Katok}'s horseshoes construction [Publ. Math., Inst. Hautes Étud. Sci. 51, 137--173 (1980; Zbl 0445.58015)]. More precisely, it is proved that for every small \({\varepsilon>0}\), there exists a compact set \({\Lambda^*\subseteq M}\) and \(m\in\mathbb{N}\) with the following properties: (i) \(\Lambda^*\) is locally maximal hyperbolic set and \(f^m\) is topologically mixing on \({\Lambda^*}\); (ii) The topological entropy of \({f\mid_\Lambda}\) is \(\varepsilon\) close to measure-theoretic entropy, where \({\Lambda=\bigcup_{j=0}^{m-1}f^j(\Lambda^*)}\); (iii) \(\Lambda\) is contained in the \(\varepsilon\)-neighborhood of \({\mathrm{supp}\,\mu}\); (iv) Any \(f\)-invariant Borel probability measure on \(\Lambda\) is \(\varepsilon\) close to measure \(\mu\); (v) There exists a dominated splitting \({T_\Lambda M}\) corresponding to the Oseledec subspace. The proof makes use of some properties of \(C^1\) nonuniform hyperbolic dynamical systems [\textit{F. Abdenur} et al., Isr. J. Math. 183, 1--60 (2011; Zbl 1246.37040)] and relies on Katok's technique as well as on an approach due to \textit{K. Gelfert} [Math. Z. 283, No. 3--4, 685--701 (2016; Zbl 1373.37093)]. The authors also show the continuity on Diff\({^1(M)}\) of the subadditive topological pressure of the singular value potential for \(C^1\) Anosov diffeomorphisms.