Semiespacio superior de Siegel
En matemáticas , el semiespacio superior de Siegel de grado g (o género g ) (también llamado semiplano superior de Siegel ) es el conjunto de matrices simétricas g × g sobre los números complejos cuya parte imaginaria es definida positiva . Fue introducido por Siegel ( 1939 ).
El semiespacio superior de Siegel tiene propiedades como variedad compleja que generalizan las propiedades del semiplano superior , que es el semiespacio superior de Siegel en el caso especial g=1 . El grupo de automorfismos que conservan la estructura compleja de la variedad es isomorfo al grupo simpléctico Sp(2 g , C ) . Así como la métrica hiperbólica bidimensional es la métrica única (a escala) en el semiplano superior cuyo grupo de isometría es el grupo de automorfismo complejo SL(2, C ) = Sp(2, C ), el semiespacio superior de Siegel tiene solo una métrica a escala cuyo grupo de isometría es Sp(2 g , C ) . Escribiendo una matriz genérica Z en el semiespacio superior de Siegel en términos de sus partes real e imaginaria como Z = X + iY , todas las métricas con grupo de isometría Sp(2 g , C ) son proporcionales a
El semiplano superior de Siegel se puede identificar con el conjunto de estructuras mansas casi complejas compatibles con una estructura simpléctica , sobre el espacio vectorial real dimensional subyacente , es decir, el conjunto de tales que y para todos los vectores [1]
