§ 116. Вещественные формы
В этой главе при изучении неприводимых представлений мы существенно пользовались принципом аналитического продолжения (действительно, при помощи этого принципа была изучена структура комплексных групп). Однако наиболее эффективным оказывается метод аналитического продолжения при изучении неприводимых представлений вещественных полупростых (редуктивных) групп Ли. Действительно, этот метод избавляет от необходимости исследовать структуру каждой вещественной формы в отдельности; все ее неприводимые представления уже содержатся в классе аналитических представлений комплексной оболочки.
Из общих результатов гл. VI непосредственно вытекает
Теорема 9. Пусть
полупростая вещественная связная группа Ли и
ее комплексная связная оболочка. Всякое неприводимое конечномерное
Пример 3.
. Группа G состоит из всех унитарных матриц
Формулировка результата очевидна.
Примеры вещественных форм группы
при
были рассмотрены в гл.
Замечание 1. Если группа G несвязна (как в примере 1), то ее неприводимые представления могут быть получены, например, при помощи теоремы Клиффорда ([10]).
Замечание 2. Вещественная форма может не иметь разложения Гаусса (например,
Максимальная диагональная подгруппа в линейной группе G может быть несвязной (например, в
В статье [85] предложен еще один метод изучения неприводимых представлений вещественной группы
не использующий аналитического продолжения. Этот метод основан на «обобщенном разложении Гаусса». Оказывается, что всякая вещественная связная полупростая (и также редуктивная) группа Ли может быть записана следующим образом:
Здесь
односвязные нильпотентные вещественные подгруппы,
редуктивная подгруппа, которая локально изоморфна прямому произведению некоторой компактной подгруппы
и односвязной абелевой подгруппы
черта означает замыкание. При этом подгруппы
являются инвариантными относительно
Всякое неприводимое представление группы G задается формулой вида
где
вектор-функция на подгруппе
и элементы
определяются из обобщенного разложения Гаусса
Существенно, что этот метод применим даже в том случае, когда группа G не имеет точного линейного представления (§ 104).