Robust heterodimensional cycles in two-parameter unfolding of homoclinic tangencies
Dongchen Li, Xiaolong Li, Katsutoshi Shinohara, Dmitry Turaev
TL;DR
The paper establishes a necessary and sufficient condition for the birth of heterodimensional cycles from a generic homoclinic tangency to a hyperbolic periodic orbit in $C^r$ systems with $ ext{dim}\mathcal{M}\geq 3$ (diffeomorphisms) or $ ext{dim}\mathcal{M}\geq 4$ (flows). In two-parameter unfoldings, when at least one central multiplier is non-real and the central dynamics are not sectionally dissipative, $C^1$-robust heterodimensional dynamics of coindex one arise, organized by two center-blenders whose intersections persist under perturbation. The construction hinges on a precise two-parameter normal-form analysis of the first-return map in the saddle-focus case (and its bi-focus reduction), the creation of a higher-index periodic point $Q$, and the realization of a nondegenerate heterodimensional cycle involving $O$ and $Q$, augmented by $C^1$-robust tangencies via blenders. Consequently, systems with such homoclinic tangencies lie in the $C^r$-closure of the $C^1$-open Bonatti-Díaz (and, by corollaries, Newhouse) domains, linking robust nonhyperbolic dynamics to established nonhyperbolic domains and extending blender-based results to higher dimensions.
Abstract
We establish a necessary and sufficient condition for the birth of heterodimensional cycles from a generic homoclinic tangency to a hyperbolic periodic orbit. We prove for $C^r$ ($r=3,\dots,\infty,ω$) dynamical systems on a manifold $\mathcal{M}$, with $\dim \mathcal{M}\geqslant 3$ for diffeomorphisms and with $\dim \mathcal{M}\geqslant 4$ for flows, that $C^1$-robust heterodimensional dynamics of coindex one appear in any generic two-parameter $C^r$ unfolding of a homoclinic tangency to a periodic orbit such that at least one central multiplier is not real and the central dynamics are not sectionally dissipative. The heterodimensional dynamics also involve a blender exhibiting $C^1$-robust homoclinic tangencies. As a corollary, any system with a homoclinic tangency of the class described above belongs to the $C^r$ closure of the $C^1$-open Newhouse domain.
