Hostname: page-component-74656f9884-2dmjx Total loading time: 0 Render date: 2026-11-07T09:28:17.787Z Has data issue: false hasContentIssue false

Fast growth of the number of periodic points arising from heterodimensional connections

Published online by Cambridge University Press:  02 August 2021

Masayuki Asaoka
Affiliation:
Faculty of Science and Engineering, Doshisha University, 1-3 Tatara Miyakodani, Kyotanabe 610-0394, Japan masaoka@mail.doshisha.ac.jp
Katsutoshi Shinohara
Affiliation:
Graduate School of Commerce and Management, Hitotsubashi University, 2-1 Naka, Kunitachi, Tokyo 186-8601, Japan ka.shinohara@r.hit-u.ac.jp
Dmitry Turaev
Affiliation:
Department of Mathematics, Imperial College London, 180 Queen's Gate, London, UK dturaev@imperial.ac.uk Higher School of Economics – Nizhny Novgorod, Russia
Rights & Permissions [Opens in a new window]

Abstract

We consider $C^{r}$-diffeomorphisms ($1 \leq r \leq +\infty$) of a compact smooth manifold having two pairs of hyperbolic periodic points of different indices which admit transverse heteroclinic points and are connected through a blender. We prove that, by giving an arbitrarily $C^{r}$-small perturbation near the periodic points, we can produce a periodic point for which the first return map in the center direction coincides with the identity map up to order $r$, provided the transverse heteroclinic points satisfy certain natural conditions involving higher derivatives of their transition maps in the center direction. As a consequence, we prove that $C^{r}$-generic diffeomorphisms in a small neighborhood of the diffeomorphism under consideration exhibit super-exponential growth of number of periodic points. We also give examples which show the necessity of the conditions we assume.

Information

Type
Research Article
Copyright
© 2021 The Author(s). The publishing rights in this article are licensed to Foundation Compositio Mathematica under an exclusive licence
Figure 0

Figure 1. An illustration of the setting of the main theorem. There are four periodic points $p_1,\ldots ,p_4$. The pairs $(p_1, p_2)$ and $(p_3,p_4)$ have transverse heteroclinic connection and they are weakly connected with a blender.

Figure 1

Figure 2. Linearizing coordinate in $W^{s}(p)$. The $C^{r}$ function $\psi ^{s}_{p}$ gives a coordinate in $W^{s}(p)$ with respect to which the first return map (the map $f^{\pi (p)}$ near $p$) is given by a linear map $x \mapsto \lambda ^{c}_{p}x$.

Figure 2

Figure 3. The definition of the transition map $\psi _q$.

Figure 3

Figure 4. For the proof of Lemma 2.21.

Figure 4

Figure 5. For the proof of Lemma 4.5.

Figure 5

Figure 6. For the proof of Proposition 5.1.

Figure 6

Figure 7. The network of periodic points obtained by Lemma 6.8.

Figure 7

Figure 8. Rectangles and their images under $B$.

Figure 8

Figure 9. The maps $\tilde {g}_1$, $\tilde {g}_2$, and $\tilde {g}_3$ in § 7.5.

Figure 9

Figure 10. The maps $\tilde {g}_1$, $\tilde {g_2}$, and $\tilde {g}_3$ in § 7.6.