Wandering stable components for complex Hénon maps

Definitions and mathematical statement

Shared notation.

$\mathbb N=\{1,2,\ldots\}$, and $\mathbb Z,\mathbb Q,\mathbb R,\mathbb C$ denote the integers, rationals, reals and complex numbers. Any other conventions are specified locally.

Let $f:\mathbb C^2\to\mathbb C^2$ be a polynomial diffeomorphism, meaning a polynomial automorphism with polynomial inverse, with nonzero constant complex Jacobian determinant $\delta$. Set \[K^+(f)=\{z\in\mathbb C^2:\{f^n(z):n\geq0\}\text{ is bounded}\}.\] Assume $\operatorname{int}K^+(f)\ne\varnothing$, let $U$ be one of its connected components, and let $g:U\to\mathbb C^2$ be a limit of a subsequence of iterates, uniformly on compact subsets. Rank is complex differential rank. The component is wandering if its forward images are pairwise distinct. Volumes mean four-dimensional Euclidean volume in $\mathbb C^2$. For a periodic component replace $f$ by an iterate so that $f(U)=U$.

Statement recorded in the supplied source.

Can $U$ wander? If it does, necessarily $|\delta|<1$ in the source setting. Can the limit map $g$ have rank zero or rank one? Can a wandering $U$ be bounded, unbounded of finite volume, or unbounded of infinite volume? [S2]

Short English statement

Can a polynomial automorphism of the complex plane of dimension two have a wandering stable component? Determine both possible limit-map ranks and all three boundedness and volume alternatives.

Sources

• S1 ULAM.AI and the UnsolvedMath Contributors, UnsolvedMath: A Curated Collection of Open Mathematics Problems, record 5300079 (AMR-052-0079). CC BY 4.0. https://huggingface.co/datasets/ulamai/UnsolvedMath.
• S2 Ben Bielefeld (editor) and conference contributors, Conformal Dynamics Problem List, arXiv:math/9201271v1 (1990), John Milnor, §4, Question 1 and preceding setup, printed p. 10. https://arxiv.org/abs/math/9201271v1.