Elementary proof for the existence of periodic points with real and simple spectrum for diffeomorphisms in any dimension (Q6041196)

The authors begin by providing the general definitions and statements of their results. Further, they introduce some notation from linear algebra used in the paper. Let \(f : M \rightarrow M\) be a \(C^{r}\) diffeomorphism of \(M\). Let \(M\) be a smooth compact manifold of dimension \(d > 2\). In the abstract they say: ``Using only elementary techniques we prove that for any \(C^r\) diffeomorphism, \(f\), of a compact manifold of dimension \(d>2\), \(1 \leq r \leq \infty\), admitting a transverse homoclinic intersection, we can find a \(C^1\)-open neighborhood of \(f\) containing a \(C^1\)-open and \(C^r\)-dense set of \(C^r\) diffeomorphisms which have a periodic point with real and simple spectrum. We use this fact to prove that \(C^r\)-generically among \(C^r\) diffeomorphisms with horseshoes, we have density of periodic points with real and simple spectrum inside the horseshoe. As a corollary, we obtain that generically in the \(C^1\)-topology the unique obstruction to the existence of periodic points with real and simple spectrum are the Morse-Smale diffeomorphisms with all the periodic points admitting non-real eigenvalues.''