On the inverse limit stability of endomorphisms (Q2450584)

Let \(M\) be a compact manifold and \(f:M\to M\) be a \(C^1\)-map. The inverse limit of \(f\) is the set \[ \overleftarrow{M}_f=\left\{ x=(x_i)_{i\in\mathbb{Z}}\in M^{\mathbb{Z}}:\,f(x_i)=x_{i+1}, \,i\in\mathbb{Z}\right\}. \] An endomorphism \(f:M\to M\) is \(C^1\)-inverse stable if every \(C^1\)-perturbation \(f'\) of \(f\) is inverse limit conjugated to \(f\), i.e., there exists a homeomorphism \(h:\overleftarrow{M}_f\to \overleftarrow{M}_{f'}\) such that \(h\circ \overleftarrow{f}=\overleftarrow{f'}\circ h\), where \(\overleftarrow{f}\) is the shift map induced by \(f\), \(\overleftarrow{f}(x)_i=x_{i+1}\). An endomorphism \(f:M\to M\) satisfies Axiom A if the nonwandering set \(\Omega_f\) of \(f\) is hyperbolic and equal to the closure of the set of periodic points. One of the main results of the paper under review is Theorem 2.5, which states that if \(f:M\to M\) is a \(C^1\)-inverse stable endomorphism which satisfies Axiom \(A\), then \(f\) satisfies the strong transversality condition (\(T\)) (in the sense of Definition 2.3). A very useful converse of the above result is Theorem 2.7. More precisely, the authors prove that every attractor-repeller endomorphism (see Definition 2.6) satisfying Axiom \(A\) and the strong transversality condition (\(T\)) is \(C^1\)-inverse stable. Theorem 2.7 is applied to rational functions (Example 2.9), Hénon maps (Example 2.10), Anosov endomorphisms with persistent critical set (Example 2.11), products of Anosov endomorphisms with attractor-repeller endomorphisms (Example 2.12) and Mañé-Pugh endomorphism (Example 2.13). The obtained results lead to the conjecture that the \(C^1\)-inverse stable endomorphisms are exactly those which satisfy Axiom \(A\) and the strong transversality condition (\(T\)) (see Conjecture 2.8).