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


Short \({\mathbb {C}}^2\)’s were constructed in [5] as attracting basins of a sequence of holomorphic automorphisms whose rate of attraction increases superexponentially. The goal of this paper is to show that such domains also arise naturally as autonomous attracting basins: we construct a transcendental Hénon map with an oscillating wandering Fatou component that is a Short \({\mathbb {C}}^2\). The superexponential rate of attraction is not obtained at single iterations, but along consecutive oscillations.

This is a preview of subscription content, access via your institution.

Fig. 1


  1. 1.

    Arosio, L., Benini, L., Fornæss, J.E., Peters, H.: Dynamics of transcendental Hénon maps. Math. Ann. 373(1–2), 853–894 (2018)

    MATH  Google Scholar 

  2. 2.

    Bera, S., Benini, Pal, R., Verma K: Examples of non-autonomous basins of attraction. Illinois J. Math. 61(3–4), 531–567 (2017)

    MathSciNet  Article  MATH  Google Scholar 

  3. 3.

    Boc Thaler, L., Forstnerič, F.: A long \({\mathbb{C}}^2\) without holomorphic functions. Anal. PDE 9, 2031–2050 (2016)

    MathSciNet  Article  Google Scholar 

  4. 4.

    Bracci, F., Raissy, J., Stensønes, B.: Automorphisms of \({\mathbb{C}}^k\) with an invariant non-recurrent attracting Fatou component biholomorphic to \({\mathbb{C}} \times ({\mathbb{C}}^\star )^{k-1}\), to appear in J. Eur. Math. Soc., available online at arXiv:1703.08423

  5. 5.

    Fornæss, J.E.: Short \({\mathbb{C}}^k\), Complex analysis in several variables—Memorial Conference of Kiyoshi Oka’s Centennial Birthday, 95–108, Adv. Stud. Pure Math. 42, Math. Soc. Japan, Tokyo, (2004)

  6. 6.

    Fornæss, J.E., Sibony, N.: Fatou and Julia sets for entire mappings in \({\mathbb{C}}^k\). Math. Ann. 311(1), 27–40 (1998)

    MathSciNet  Article  Google Scholar 

  7. 7.

    Hakim, M.: Analytic transformations of \(({\mathbb{C}}^p,0)\) tangent to the identity. Duke Math. J. 92(2), 403–428 (1998)

    MathSciNet  Article  Google Scholar 

  8. 8.

    Klimek, M.: Pluripotential theory, London Mathematical Society Monographs. New Series, 6. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, (1991). xiv+266 pp

  9. 9.

    Palis, J. Jr., de Melo, W.: Geometric theory of dynamical systems. An introduction. Translated from the Portuguese by A. K. Manning. Springer, New York, Berlin, (1982)

  10. 10.

    Peters, H., Wold, E.F.: Non-autonomous basins of attraction and their boundaries. J. Geom. Anal. 15(1), 123–136 (2005)

    MathSciNet  Article  MATH  Google Scholar 

  11. 11.

    Rosay, J., Rudin, W.: Holomorphic Maps from \({\mathbb{C}}^n\) to \({\mathbb{C}}^n\). Trans. Am. Math. Soc. 310(1), 47–86 (1988)

    Google Scholar 

  12. 12.

    Sternberg, S.: Local contractions and a theorem of Poincaré. Amer. J. Math. 79, 809–824 (1957)

    MathSciNet  Article  MATH  Google Scholar 

  13. 13.

    Ueda, T.: Local structure of analytic transformations of two complex variables. I. J. Math. Kyoto Univ. 26(2), 233–261 (1986)

    MathSciNet  Article  MATH  Google Scholar 

  14. 14.

    Weickert, B.: Attracting basins for automorphisms of \({\mathbb{C}}^2\). Invent. Math. 132(3), 581–605 (1998)

    MathSciNet  Article  Google Scholar 

Download references

Author information



Corresponding author

Correspondence to Leandro Arosio.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Leandro Arosio, Luka Boc Thaler: Supported by the SIR Grant “NEWHOLITE - New methods in holomorphic iteration” no. RBSI14CFME, and partially supported by the MIUR Excellence Department Project awarded to the Department of Mathematics, University of Rome Tor Vergata, CUP E83C18000100006.

Appendix: Calibrated basins and the plurisubharmonic method

Appendix: Calibrated basins and the plurisubharmonic method

As a further illustration of using the plurisubharmonic method to prove that an attracting basin equals the Fatou component containing the basin, we take a closer look at the calibrated basins constructed in [10]. Let \(f_0, f_1,f_2 \ldots \) be a sequence of automorphisms of \({\mathbb {C}}^k\), all having an attracting fixed point at the origin. For all \(j\ge 0\) there exists a radius \(r_j>0\), a constant \(0<\mu _j<1\) and a constant \(C_j>0\) such that

$$\begin{aligned} \Vert f_j^n(z)\Vert \le C_j\mu _j^n\Vert z\Vert ,\quad \forall z\in B(0,r_j), n\ge 0. \end{aligned}$$

We can choose \(n_j\) large enough to obtain

$$\begin{aligned} f_j^{n_j} (B(0, r_j)) \subset B(0,r_{j+1}), \end{aligned}$$

and \(r_j\rightarrow 0\). We then define the calibrated basin \(\Omega _{(r_j), (n_j)}\) by

$$\begin{aligned} \Omega _{(r_j),(n_j)} := \bigcup _{j \in {\mathbb {N}}} (f_{j-1}^{n_{j-1}}\circ \dots \circ f_0^{n_0})^{-1} (B(0, r_j)). \end{aligned}$$

It is easy to see that the calibrated basin may depend on the sequences \((r_j)\) and \((n_j)\) chosen.

Recall the following result from [10]:

Theorem 7

Fix the sequence \((r_j)\). For \(n_0, n_1, \ldots \) sufficiently large, where each \(n_j\) may depend on the choices of \(n_0, \ldots , n_{j-1}\), the calibrated basin of the sequence \(f_0^{n_0}, f_1^{n_1}, \ldots \) is biholomorphic to \({\mathbb {C}}^k\).

Recall that it may be necessary to replace the maps \(f_j\) by large iterates: all assumptions (with \(r_j = \frac{1}{2}\)) are satisfied by the maps in [5], see Proposition 3, but in this case the calibrated basin is a Short \({\mathbb {C}}^k\), and hence not equivalent to \({\mathbb {C}}^k\).

One may wonder whether it is necessary to work with the calibrated basin instead of the basin that contains all points whose orbits converge to 0. It turns out that this may indeed be necessary: for suitable choices of the sequence \(f_0, f_1, \ldots \) the full basin may not be open, even when replacing the maps with arbitrarily high iterates \(f_0^{n_0}, f_1^{n_1}, \ldots \), see [10]. This raises another natural question: is the calibrated basin equal to the Fatou component \({\mathcal {F}}_0\) containing the origin, that is, the largest connected open set with locally uniform convergence to 0? Here we prove that this is indeed the case.

Theorem 8

Fix the sequence \((r_j)\). For \(n_0, n_1, \ldots \) sufficiently large we have

$$\begin{aligned} {\mathcal {F}}_0 = \Omega _{(r_j),(n_j)}. \end{aligned}$$



$$\begin{aligned} G_j(z) := \frac{\log \Vert f_j^{n_j} \circ \cdots \circ f_0^{n_0}(z)\Vert }{-n_j \log \mu _j}. \end{aligned}$$

Observe that, given a compact \(K\subset {\mathcal {F}}_0\), for big j we have that \(f_j^{n_j} \circ \cdots \circ f_0^{n_0}(K)\subset {\mathbb {B}}^k\), and thus that \(G_j|_K\le 0\). Let

$$\begin{aligned} G = \limsup _{j\rightarrow \infty } G_j, \end{aligned}$$

and write \(G^\star \) for the upper semi-continuous regularization of G. It follows that \(G^\star \) is plurisubharmonic on \( {\mathcal {F}}_0\).

If we choose \(n_j\) sufficiently large we may assume that

$$\begin{aligned} \frac{\log r_{j+1}}{ n_j\log \mu _j}\longrightarrow 0, \end{aligned}$$

hence for any point \(z \in {\mathcal {F}}_0{\setminus } \Omega _{(r_j),(n_j)}\) we have \(G^\star (z) = G(z) = 0\).

On the other hand, let \(z\in \Omega _{(r_j),(n_j)},\) and let \(j\ge 0\) be large enough such that \(z_j:=f_{j-1}^{n_{j-1}} \circ \cdots \circ f_0^{n_0}(z)\in B(0,r_j)\). Then

$$\begin{aligned} G_j(z)=\frac{\log \Vert f_j^{n_j}(z_j)\Vert }{-n_j\log \mu _j}\le \frac{\log C_j+\log \Vert z_j\Vert +n_j\log \mu _j}{-n_j\log \mu _j}. \end{aligned}$$

Choosing the \(n_j\)’s large enough we thus obtain \(G(z)\le -1\) for all \(z \in \Omega _{(r_j),(n_j)}\), which implies that \(G^\star (z)\le -1\) for all \(z \in \Omega _{(r_j),(n_j)}\). Since \({\mathcal {F}}_0\) is open and connected, it follows from the maximum principle that \({\mathcal {F}}_0{\setminus }\Omega _{(r_j),(n_j)}\) must be empty, which completes the proof. \(\square \)

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Arosio, L., Boc Thaler, L. & Peters, H. A transcendental Hénon map with an oscillating wandering Short \({\mathbb {C}}^2\). Math. Z. (2021). https://doi.org/10.1007/s00209-020-02677-4

Download citation