Diffeomorphisms with pseudo orbit tracing property (Q4029170)

Let \(M\) be a closed \(C^ \infty\)-manifold and \(\text{Diff}^ 1(M)\) be the space of diffeomorphisms of \(M\) endowed with the \(C^ 1\) topology. Denote by \({\mathcal P}^ 1(M)\) the \(C^ 1\) interior of the set of all diffeomorphisms having the pseudo orbit tracing property (abbrev. POTP) belonging to \(\text{Diff}^ 1(M)\). The author proves that there exists a closed \(C^ \infty\) 3-manifold \(M\) such that the set of all diffeomorphisms having POTP is not dense in \(\text{Diff}^ 1(M)\). Thus, a problem of \textit{A. Morimoto} [`The method of pseudo orbit tracing property and stability', Tokyo Univ. Semin. Notes 39 (1979) (in Japanese)] is solved. Recently, \textit{N. Aoki} [Bol. Soc. Bras. Mat., Nova Sér. (to appear)] studied the set of Axiom A diffeomorphisms with no cycle. In the paper under review, the following result is obtained. If \(M\) is a closed \(C^ \infty\) 3-manifold, then \({\mathcal P}^ 1(M)\) is characterized as Axiom A diffeomorphisms satisfying strong transversality.