Math 2.0

Several complex variables and analytic spaces Holomorphic functions of several variables Example

Fatou–Bieberbach domain

Example

Let n≥2n \ge 2. A Fatou–Bieberbach domain is an open set Ω⊆ℂn\Omega \subseteq \C^n with Ω≠ℂn\Omega \ne \C^n that is biholomorphic to ℂn\C^n.

A concrete one comes from an automorphism of ℂ2\C^2. Let F(z,w)=(w/2, z/2+w2)F(z, w) = (w/2, \, z/2 + w^2). It is a polynomial map with polynomial inverse (u,v)↦(2v−8u2, 2u)(u, v) \mapsto (2v - 8u^2, \, 2u), so it is a holomorphic automorphism of ℂ2\C^2. The origin is a fixed point, and the Jacobian matrix of FF there has eigenvalues 1/21/2 and −1/2-1/2. So the origin is an attracting fixed point. Let Ω\Omega be its basin of attraction, the set of points qq with Fm(q)→0F^m(q) \to 0 as m→∞m \to \infty. It is a known theorem that the basin of attraction of an attracting fixed point of a holomorphic automorphism of ℂn\C^n is biholomorphic to ℂn\C^n. The point (3/8,3/4)(3/8, 3/4) is a second fixed point of FF, so it is not in Ω\Omega. Hence Ω\Omega is a proper open subset of ℂ2\C^2 biholomorphic to ℂ2\C^2.

Remarks

No such domain exists in dimension one. If Ω⊊ℂ\Omega \subsetneq \C were biholomorphic to ℂ\C, then Ω\Omega would be simply connected, so its complement has at least two points. A biholomorphism ℂ→Ω\C \to \Omega would then be an entire function omitting two values, hence constant by Picard's little theorem, which is absurd.

Further reading

  1. Web https://en.wikipedia.org/wiki/Fatou%E2%80%93Bieberbach_domain
About this page
TagT2JZ0CKFKW
URIm2://T2JZ0CKFKW
Kindexample
WritingW0 stub
MSC32H02, 32M17, 32H50
IllustratesBiholomorphism, Holomorphic automorphisms of C^n
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.