View source for Homogeneous bounded domain

<!--
h0476301.png
$#A+1 = 21 n = 1
$#C+1 = 21 : ~/encyclopedia/old_files/data/H047/H.0407630 Homogeneous bounded domain
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

A [[Homogeneous complex manifold|homogeneous complex manifold]] that is isomorphic to a bounded domain in  $  \mathbf C  ^ {n} $. 
An example of a homogeneous bounded domain is the  "complex unit ball" 

$$ 
\{ {z \in \mathbf C  ^ {n} } : {
| z _ {1} |  ^ {2} + \dots + | z _ {n} |  ^ {2} < 1 } \}
,
$$

which is acted upon transitively by the pseudo-unitary group  $   \mathop{\rm SU} _ {n,1} $, 
represented by the projective transformations of the space  $  \mathbf C  ^ {n} $.

If  $  D $
is any bounded domain in  $  \mathbf C  ^ {n} $, 
then the Hermitian differential form

$$ 
d  ^  \prime   d  ^ {\prime\prime}
 \mathop{\rm ln}  K ( z , \overline{z}\; )  = \ 
\sum _ { ij }

\frac{\partial   ^ {2}  \mathop{\rm ln}  K ( z , \overline{z}\; ) }{\partial  z _ {i} \partial  \overline{z}\; _ {j} }
 \ 
d z _ {i}  d \overline{z}\; _ {j} ,
$$

where  $  K $
is the [[Bergman kernel function|Bergman kernel function]] of  $  D $, 
defines a [[Kähler metric|Kähler metric]] on  $  D $, 
called the Bergman metric, which is invariant under all automorphisms of  $  D $(
see [[#References|[1]]], [[#References|[2]]]). The group  $  G ( D) $
of all automorphisms of  $  D $
is a real Lie group containing no non-trivial connected complex subgroups. If  $  D $
is homogeneous, then the Bergman metric is complete (cf. [[Complete metric space|Complete metric space]]).

Within the homogeneous bounded domains one can distinguish the symmetric domains. A bounded domain  $  D $
is called symmetric if for any point  $  z \in D $
there exists an involutory automorphism of  $  D $
having  $  z $
as an isolated fixed point. Every symmetric domain is homogeneous and is a [[Hermitian symmetric space|Hermitian symmetric space]] with respect to the Bergman metric. A classification of symmetric spaces has been obtained [[#References|[3]]]. There are 4 series of irreducible symmetric domains, related to the classical simple Lie groups, and two special domains of dimensions 16 and 27. The classical symmetric domains include, in particular, the complex ball and the Siegel upper half-plane (see [[Siegel domain|Siegel domain]]). Every [[Symmetric domain|symmetric domain]] is isomorphic to a direct product of irreducible symmetric domains [[#References|[1]]].

Every homogeneous bounded domain of dimension  $  \leq  3 $
is symmetric [[#References|[3]]]. Beginning with dimension 4, there are also non-symmetric homogeneous bounded domains (see [[#References|[4]]]). Moreover, for  $  n \geq  7 $
there is a continuum of  $  n $-
dimensional homogeneous bounded domains, of which only finitely many are symmetric. Every homogeneous bounded domain is homeomorphic to a cell and analytically isomorphic to an affinely-homogeneous Siegel domain uniquely determined up to an affine isomorphism. The classification of homogeneous bounded domains has been carried out by algebraic methods [[#References|[5]]].

Related to homogeneous bounded domains there are multi-dimensional generalizations of Eulerian integrals (Siegel integrals of the first and second kinds), as well as of hypergeometric functions [[#References|[6]]].

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  S. Helgason,   "Differential geometry, Lie groups, and symmetric spaces" , Acad. Press  (1978)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  B.A. Fuks,   "Special chapters in the theory of analytic functions of several complex variables" , Amer. Math. Soc.  (1965)  (Translated from Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  E. Cartan,   "Domains bornés homogènes de l'espace de <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047630/h04763022.png" /> variables complexes"  ''Abh. Math. Sem. Univ. Hamburg'' , '''11'''  (1935)  pp. 116–162</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  I.I. [I.I. Pyatetskii-Shapiro] Piatetski-Shapiro,   "Automorphic functions and the geometry of classical domains" , Gordon &amp; Breach  (1969)  (Translated from Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  E.B. Vinberg,   S.G. Gindikin,   I.I. Pyatetskii-Shapiro,   "On the classification and canonical realization of complex bounded homogeneous domains"  ''Trans. Moscow Math. Soc.'' , '''12'''  (1963)  pp. 404–437  ''Trudy Moskov. Mat. Obshch.'' , '''12'''  (1963)  pp. 359–388</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  S.G. Gindikin,   "Analysis in homogeneous domains"  ''Russian Math. Surveys'' , '''19''' :  4  (1964)  pp. 3–92  ''Uspekhi Mat. Nauk'' , '''19''' :  4  (1964)  pp. 3–92</TD></TR></table>