Fatou–Bieberbach domain

In mathematics, a Fatou–Bieberbach domain is a proper subdomain of ${ℂ}^n$, biholomorphically equivalent to ${ℂ}^n$. That is, an open set $\mathrm{\Omega }⊊{ℂ}^n$ is called a Fatou–Bieberbach domain if there exists a biholomorphic function $f:\mathrm{\Omega }\to {ℂ}^n$ whose inverse function $f^{-1}:{ℂ}^n\to \mathrm{\Omega }$ is holomorphic.

History

As a consequence of the Riemann mapping theorem, there are no Fatou–Bieberbach domains in the case n = 1. Pierre Fatou and Ludwig Bieberbach first explored such domains in higher dimensions in the 1920s, hence the name given to them later. Since the 1980s, Fatou–Bieberbach domains have again become the subject of mathematical research.

Examples

Fatou–Bieberbach domains occur in great numbers for $n\ge 2$.

Let $\mathrm{Aut}\left({ℂ}^n\right)$ denote the group of biholomorphisms of type ${ℂ}^n\to {ℂ}^n$. Basins of attractions produce many FB domains, according to the following theorem.

• Let $A\in GL(n,ℂ)$ with spectral radius $\rho (A)<1$. Set $F(z)=Az$. This is a contraction map with basin $\mathrm{\Omega }={ℂ}^n$.
• In ${ℂ}^2$, let $F_a(z,w)=(w+z^2,az)$ with $0<|a|<1$. Then $F_a^{-1}(z,w)=(w/a,z-(w/a{)}^2)$. It has two fixed points: $(0,0),(1-a,a(1-a))$. The point $p=(0,0)$ is fixed and ${F_a}^{\prime }(0)=\left(\begin{array}{cc}0& 1\\ a& 0\end{array}\right)$ has eigenvalues $\pm \sqrt{a}$. The basin $\mathrm{\Omega }=\{(z,w):F_a^k(z,w)\to (0,0)\}$ is a proper open subset of ${ℂ}^2$ and thus a Fatou–Bieberbach domain.

• More generally, for $F(z,w)=(w+P(z),az)$, where $0<|a|<1$, and $P$ a polynomial with all monomials having degree at least 2. The basin of attraction of $0$ is a Fatou–Bieberbach domain in ${ℂ}^2$. These maps are called complex Hénon maps.

More generally, for any $F\in \mathrm{Aut}\left({ℂ}^n\right)$ and any atttractive fixed point $p$, let $\mathrm{\Omega }$ be its basin of attraction. If $\mathrm{\Omega }$ is not all of ${ℂ}^n$, then it is a Fatou–Bieberbach domain. It is also a Runge subset. It was an open problem for a long time whether there exists Fatou–Bieberbach domains that are not Runge. This was answered in the affirmative in 2008.

Let $L_1,L_2,\dots$ be countably many complex-affine subspaces of ${ℂ}^n$. There exists a Fatou–Bieberbach domain $\mathrm{\Omega }$ such that $L_j\cap \mathrm{\Omega }$ is a connected proper subset of $L_j$ for all $j$.

Given countably many closed subvarieties of ${ℂ}^n$. There exists a Fatou–Bieberbach domain $\mathrm{\Omega }$ that contains all of them.

The boundary of a Fatou–Bieberbach can be very wild. For any $k\in \{1,2,\dots ,\mathrm{\infty }\}$ there exists $k$ disjoint Fatou–Bieberbach domains ${\mathrm{\Omega }}_1,{\mathrm{\Omega }}_2,\dots ,{\mathrm{\Omega }}_k$, such that $\mathrm{\forall }z\in {ℂ}^n\setminus {\cap }_{j=1}^k{\mathrm{\Omega }}_j$, $z$ is on the boundary of all ${\mathrm{\Omega }}_j$. Similar to lakes of Wada.

The Andersén–Lempert theorem states that the group generated by shearing maps is dense in $\mathrm{Aut}\left({ℂ}^n\right)$. This allows construction of many Fatou–Bieberbach domains.

Properties

No Fatou–Bieberbach domain is bounded, since a bounded image of an entire map ${ℂ}^n\to \mathrm{\Omega }$ would violate Liouville's theorem componentwise.

By the Ax–Grothendieck theorem, if $\mathrm{\Omega }$ is Fatou–Bieberbach, then for any biholomorphism $f:\mathrm{\Omega }\to {ℂ}^n$, $f^{-1}$ is not a polynomial.

Biholomorphism preserves Fatou–Bieberbach domains. That is, if $\mathrm{\Psi }\in \mathrm{Aut}({ℂ}^n)$ and $\mathrm{\Omega }$ is Fatou–Bieberbach, then $\mathrm{\Psi }(\mathrm{\Omega })$ is Fatou–Bieberbach.

In one dimension, there are no Fatou–Bieberbach domains, due to Picard's great theorem.

Being biholomorphic to ${ℂ}^n$, every Fatou–Bieberbach domain is a Stein manifold and a domain of holomorphy.

For any $\mathrm{\Omega }\subset {ℂ}^n$ that is both Runge and Fatou–Bieberbach, for any $p\in \mathrm{\Omega }$, there exists a sequence of biholomorphisms $f_1,f_2,\dots :{ℂ}^n\to {ℂ}^n$ such that they all fix $p$, and $\mathrm{\Omega }=\{z\in {ℂ}^n:\underset{k\to \mathrm{\infty }}{lim}{f}_k\circ \cdots \circ f_1(z)=p\}$

See also

• Stein manifold
• Andersén–Lempert theory

References

• Template:Cite journal
• Template:Cite journal
• Template:Cite journal