Reinhardt domain

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In mathematics, especially several complex variables, an open subset G of Cn is called Reinhardt domain if (z_1, \dots, z_n) \in G implies (e^{i\theta_1} z_1, \dots, e^{i\theta_n} z_n) \in G for all real numbers \theta_1, \dots, \theta_n.

The reason for studying these kinds of domains is that logarithmically convex Reinhardt domain are the domains of convergence of power series in several complex variables. Note that in one complex variable, a logarithmically convex Reinhardt domain is simply a disc.

The intersection of logarithmically convex Reinhardt domains is still a logarithmically convex Reinhardt domain, so for every Reinhardt domain, there is a smallest logarithmically convex Reinhardt domain which contains it.

A simple example of logarithmically convex Reinhardt domains is a polydisc, that is, a product of disks.

Thullen's classical result says that a 2-dimensional bounded Reinhard domain containing the origin is biholomorphic to one of the following domains provided that the orbit of the origin by the automorphism group has positive dimension:

(1) \{(z,w)\in \mathbf{C}^2;~|z|<1,~|w|<1\} (polydisc);

(2) \{(z,w)\in \mathbf{C}^2;~|z|^2+|w|^2<1\} (unit ball);

(3) \{(z,w)\in \mathbf{C}^2;~|z|^2+|w|^{2/p}<1\} (p>0,\neq 1) (Thullen domain).

In 1978, Toshikazu Sunada established a generalization of Thullen's result, and proved that two n-dimensional bounded Reinhardt domains G_1 and G_2 are mutually biholomorphic if and only if there exists a transformation \varphi:\mathbf{C}^n\longrightarrow \mathbf{C}^n given by z_i\mapsto r_iz_{\sigma(i)} (r_i>0), \sigma being a permutation of the indices), such that \varphi(G_1)=G_2.

References[edit]