Necessary and sufficient conditions for the topological conjugacy of surface diffeomorphisms with a finite number of orbits of heteroclinic tangency (Q630214)

Let \(f:M^2\to M^2\) be an orientation preserving diffeomorphism defined on a smooth two-dimensional closed manifold with non-wandering set \(\Omega_f\) consisting of a finite number of fixed hyperbolic points. In the work under review, the authors define a class \(\Psi\) of orientation-preserving diffeomorphisms \(f\in C^r(M^2)\), \(r\geq 5\), that satisfy the following conditions: {\parindent=6mm \begin{itemize}\item[1.] the non-wandering set \(\Omega_f\) consists of a finite number of fixed hyperbolic points, and the eigenvalues \(\lambda_p\) and \(\mu_p\) of any saddle point \(p\in \Omega_f\) are such that \(0<\lambda_p<1<\mu_p\) and \(\lambda_p\mu_p\neq 1\); \item[2.] if \((W^s_p\cap W^u_p) \neq \emptyset\) for saddle points \(p\), \(q\in \Omega_f\), then \(p\neq q\) and, for any saddle \(r\in'\Omega_f\), \((W_r^s\backslash\{r\})\cap(W_p^u\backslash\{p\})=\emptyset\) and \((W_q^s\backslash\{q\})\cap(W_r^u\backslash\{r\})=\emptyset\); \item[3.] the wandering set of \(f\) contains a finite number of orbits of heteroclinic tangency, and there are no saddle points \(p\), \(q\in\Omega_f\) such that all four connected components of the sets \(W_p^s\backslash\{p\}\) and \(W_q^u\backslash\{q\}\) contain points of one-sided heteroclinic tangency of the stable and unstable manifolds \(W_p^s\) and \(W_q^u\). \end{itemize}} For diffeomorphisms \(f\in \Psi\), the authors define a scheme \((\widehat{T}_f,\widehat{\Gamma}_f, \widehat{C}_f)\) and a notion of equivalence of schemes. They also define a large (in some sense) subset \(\Psi^*\subset\Psi\). The main result is as follows: {\parindent=6mm\begin{itemize}\item[1.] If the schemes of diffeomorphisms \(f\), \(f'\in\psi\) are equivalent, then the diffeomorphisms are topologically conjugate. \item[2.] Diffeomorphisms \(f\), \(f'\in \Psi^*\) are topologically conjugate if and only if their schemes are equivalent. \end{itemize}} This result extends the authors' previous work [J. Math. Sci., New York 158, No. 2, 261--275 (2009); translation from Sovrem. Mat. Prilozh. 54, No. 2 (2008; Zbl 1190.37023)] for diffeomorphisms of \(S^2\). The class \(\Psi\) contains all Morse-Smale diffeomorphisms with a finite number of heteroclinic orbits, and for those diffeomorphisms, the set \(\widehat{C}_f\) is empty and the equivalence classes generated by such schemes are equivalent to those obtained by \textit{V. Z. Grines} in [Math. Notes 54, No. 3, 881--889 (1993); translation from Mat. Zametki 54, No. 3, 3--17 (1993; Zbl 0814.58025)].