Products involving Herman rings as stable components

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$.Assume $U$ is invariant and the limiting map has rank two. A Herman ring is a rotation domain biholomorphic to an annulus with dynamics conjugate to an irrational rotation; a Siegel disk is its simply connected disk counterpart.

Statement recorded in the supplied source.

Can $U$ be a product of two Herman rings, or a product of a Herman ring with a Siegel disk? [S2]

Short English statement

Can an invariant full-rank stable component be either of the two stated products of rotation domains?

Sources

• S1 ULAM.AI and the UnsolvedMath Contributors, UnsolvedMath: A Curated Collection of Open Mathematics Problems, record 5300082 (AMR-052-0082). 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, Rank Two Case, printed p. 10. https://arxiv.org/abs/math/9201271v1.