Published online by Cambridge University Press: 02 August 2021
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.