Fatou–Bieberbach domain

In mathematics, a Fatou–Bieberbach domain is a proper subdomain of $$\mathbb{C}^n$$, biholomorphically equivalent to $$\mathbb{C}^n$$. That is, an open set $$\Omega \subsetneq \mathbb{C}^n$$ is called a Fatou–Bieberbach domain if there exists a bijective holomorphic function $$f:\Omega \rightarrow \mathbb{C}^n$$ whose inverse function $$f^{-1}:\mathbb{C}^n \rightarrow \Omega$$ is holomorphic. It is well-known that the inverse $$f^{-1}$$ can not be polynomial.

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.