# Siegel domain

An unbounded domain in the $( n + m )$-dimensional complex affine space of the form

$$D ( V , F ) = \{ {( z , w ) \in \mathbf C ^ {n} \times \mathbf C ^ {m} } : { \mathop{\rm Im} z - F ( w , w ) \in V } \} ,$$

where $V$ is an open convex cone in $\mathbf R ^ {n}$ and $F : \mathbf C ^ {m} \times \mathbf C ^ {m} \rightarrow \mathbf C ^ {n}$ is a mapping which is a $V$-Hermitian form, i.e. $F$ is linear in the first argument, $F ( w ^ \prime , w ) = \overline{ {F ( w , w ^ \prime ) }}\;$, $F ( w , w ) \in \overline{V}\;$( where $\overline{V}\;$ is the closure of $V$), and $F ( w , w ^ \prime ) = 0$ only if $w = 0$. In the case $m = 0$ (so that also $F = 0$) the domain $D ( V , F )$ is called a Siegel domain of the first kind and is simply denoted by $D ( V)$; when $m \neq 0$, $D ( V , F )$ is called a Siegel domain of the second kind.

The simplest example of a Siegel domain (of the first kind) is the upper half-plane in $\mathbf C$. C.L. Siegel , in his studies on Abelian varieties, studied the domain $H _ {p}$ in the space of complex symmetric matrices of order $p$, formed by matrices with positive-definite imaginary part. This domain, now known as the Siegel upper half-plane (when $p = 1$ it is the ordinary upper half-plane), is a Siegel domain of the first kind associated with the cone of positive-definite symmetric matrices of order $p$. The general concept of a Siegel domain arose in connection with the theory of automorphic functions of several complex variables (see ). Subsequently this notion became central in the theory of homogeneous bounded domains (cf. Homogeneous bounded domain).

Any Siegel domain is analytically isomorphic to a bounded domain. For example, when $n = 1$ a Siegel domain is isomorphic to the complex unit ball

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

Any homogeneous bounded domain is isomorphic to a Siegel domain which is homogeneous relative to affine transformations. Two Siegel domains are analytically isomorphic if and only if each can be transformed into the other by an affine transformation (see ).

How to Cite This Entry:
Siegel domain. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Siegel_domain&oldid=51818
This article was adapted from an original article by E.B. Vinberg (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article