Эрмитово симметрическое пространство
Эрми́тово симметри́ческое простра́нство, связное комплексное многообразие с эрмитовой структурой, каждая точка которого является изолированной неподвижной точкой некоторой голоморфной инволютивной изометрии многообразия . Компонента единицы группы голоморфных изометрий пространства транзитивна на . Пусть – стационарная подгруппа в относительно некоторой точки . Тогда называется пространством компактного или некомпактного типа в соответствии с типом глобально симметрического риманова пространства . Каждое эрмитово симметрическое пространство является прямым произведением , где все сомножители есть односвязные эрмитовы симметрические пространства, , и – пространства компактного и некомпактного типа соответственно. Любое эрмитово симметрическое пространство компактного или некомпактного типа односвязно и является прямым произведением неприводимых эрмитово симметрических пространств.
Некомпактные неприводимые эрмитовы симметрические пространства совпадают с пространствами вида , где – связная некомпактная простая группа Ли с тривиальным центром, а – максимальная компактная подгруппа в , имеющая недискретный центр. Компактные неприводимые эрмитовы симметрические пространства совпадают с пространствами вида , где – связная компактная простая группа Ли с тривиальным центром, а – максимальная связная собственная подгруппа в , имеющая недискретный центр.
Эрмитовы симметрические пространства некомпактного типа имеют следующее истолкование в теории функций многих комплексных переменных. Пусть есть -мерное комплексное векторное пространство. Ограниченной областью называется ограниченное открытое связное подмножество пространства . Ограниченная область называется симметрической, если каждая точка является изолированной неподвижной точкой некоторого инволютивного голоморфного диффеоморфизма области на себя. Имеет место теорема: а) каждая ограниченная симметрическая область , будучи снабжена метрикой Бергмана (см. Кернфункция Бергмана, Однородная ограниченная область), является эрмитовым симметрическим пространством некомпактного типа, в частности, ограниченная симметрическая область обязательно односвязна; б) пусть – эрмитово симметрическое пространство некомпактного типа, тогда существует ограниченная симметрическая область и голоморфный диффеоморфизм многообразия на .