The Fatou–Bieberbach approximation conjecture for restrictions of univalent maps

Let fSf\in{\mathcal{S}} be normalized and univalent on BnCn{\mathbb{B}^n}\subseteq{\mathbb{C}^n}. For r(0,1)r\in(0,1), write fr(z)=r1f(rz)f_r(z)=r^{-1}f(rz). A Fatou–Bieberbach domain is a domain biholomorphic to Cn{\mathbb{C}^n}, and a pair (U,Ω)(U,\Omega) is Runge when UU is Runge in Ω\Omega.

Fatou–Bieberbach approximation conjecture. For every r(0,1)r\in(0,1), there exists a domain ΩrCn\Omega_r\subseteq{\mathbb{C}^n} biholomorphic to Cn{\mathbb{C}^n} such that

f(rBn)Ωrf(r{\mathbb{B}^n})\subseteq\Omega_r

and (f(rBn),Ωr)(f(r{\mathbb{B}^n}),\Omega_r) is a Runge pair. This is given as a weaker formulation related to the preceding Fatou–Bieberbach conjectures; its status is not resolved in the supplied text.

Sources & referencesView supporting material

Primary source

Matteo Fiacchi, “The embedding conjecture and the approximation conjecture in higher dimension”, arXiv:1710.02087 (2017).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.