In mathematics, given a positive integer g {\displaystyle g} , the Siegel upper half-space H g {\displaystyle {\mathcal {H}}_{g}} of degree g {\displaystyle g} is the set of g × g {\displaystyle g\times g} symmetric matrices over the complex numbers whose imaginary part is positive definite. It was introduced by Siegel (1939). The space H g {\displaystyle {\mathcal {H}}_{g}} is the symmetric space associated to the symplectic group S p ( 2 g , R ) {\displaystyle \mathrm {Sp} (2g,\mathbb {R} )} . When g = 1 {\displaystyle g=1} one recovers the Poincaré upper half-plane. The space H g {\displaystyle {\mathcal {H}}_{g}} is sometimes called the Siegel upper half-plane.
Definitions
As a complex domain The space H g {\displaystyle {\mathcal {H}}_{g}} is the subset of M g ( C ) {\displaystyle M_{g}(\mathbb {C} )} defined by :
H g = { X + i Y : X , Y ∈ M g ( R ) , X t = X , Y t = Y , Y is definite positive } . {\displaystyle {\mathcal {H}}_{g}=\{X+iY:X,Y\in M_{g}(\mathbb {R} ),X^{t}=X,\,Y^{t}=Y,\,Y{\text{ is definite positive}}\}.}
It is an open subset in the space of g × g {\displaystyle g\times g} complex symmetric matrices, hence it is a complex manifold of complex dimension g ( g + 1 ) 2 {\displaystyle {\tfrac {g(g+1)}{2}}} . This is a special case of a Siegel domain.
As a symmetric space The symplectic group S p ( 2 g , R ) {\displaystyle \mathrm {Sp} (2g,\mathbb {R} )} can be defined as the following matrix group:
S p ( 2 g , R ) = { ( A B C D ) : A , B , C , D ∈ M g ( R ) , A B t − B A t = 0 , C D t − D C t = 0 , A D t − B C t = 1 g } . {\displaystyle \mathrm {Sp} (2g,\mathbb {R} )=\left\{{\begin{pmatrix}A&B\\C&D\end{pmatrix}}:A,B,C,D\in M_{g}(\mathbb {R} ),\,AB^{t}-BA^{t}=0,CD^{t}-DC^{t}=0,AD^{t}-BC^{t}=1_{g}\right\}.}
It acts on H g {\displaystyle {\mathcal {H}}_{g}} as follows:
… excerpt ends here. Continue reading the full article.
