A transcendental Hénon map with an oscillating wandering short \(\mathbb{C}^2\) (Q2231137)

The goal of the paper under review is to construct a transcendental automorphism of \(\mathbb{C}^2\) with a Fatou component biholomorphic to a Short \(\mathbb{C}^2\). A domain in \(\mathbb{C}^k\), with \(k\ge 2\), is a \textit{Short \(\mathbb{C}^k\)} if it is an increasing union of balls, its Kobayashi metric vanishes identically, and it admits non constant bounded plurisubharmonic functions. Such domains have been first constructed by \textit{J. E. Fornæss} [Adv. Stud. Pure Math. 42, 95--108 (2004; Zbl 1071.32007)], as attracting basins of a sequence of holomorphic automorphisms whose rate of attraction increases superexponentially. Here, the authors show that a Short \(\mathbb{C}^k\) can also arise naturally as an \textit{oscillating wandering} Fatou component of a single holomorphic automorphism, which is a transcendental Hénon map. More precisely, a \textit{transcendental Hénon map} is a holomorphic automorphism \(F\) of \(\mathbb{C}^2\) of the form \(F(z, w) = (f(z) + aw, az)\), where \(f\colon\mathbb{C}\to\mathbb{C}\) is a transcendental entire function. A \textit{wandering}, that is non preperiodic, Fatou component \(\mathcal{F}_0\) for an automorphism \(F\) is \textit{oscillating} if some subsequence \(F^{n_k}\) of iterates has bounded orbits in \(\mathcal{F}_0\), while a different subsequence has orbits converging to infinity. Using Runge approximation, the authors recursively construct a sequence of automorphisms \(\{F_k\}\) of \(\mathbb{C}^2\) satisfying some conditions, and an oscillating orbit \(P_n\) so that the number of iterates of the consecutive oscillations increases superexponentially fast. The sequence \(\{F_k\}\) converges uniformly on compact subsets to a transcendental Hénon map \(F\) with a saddle fixed point at the origin. The construction guarantees that the \textit{calibrated basin} is a Short \(\mathbb{C}^2\). Finally, to prove that the calibrated basin is equal to the Fatou component \(\mathcal{F}_0\) containing it, the authors construct a non-positive plurisubharmonic function on \(\mathcal{F}_0\) that is strictly negative at some point in the calibrated basin, and constantly equal to 0 on its complement, proving that the Fatou component cannot be larger than the calibrated basin.