Главная > Математика > Компактные группы Ли и их представления
<< Предыдущий параграф
Следующий параграф >>
<< Предыдущий параграф Следующий параграф >>
Макеты страниц

§ 118. Несколько замечаний

В заключение этой главы остановимся вкратце на некоторых вопросах, опущенных в основном тексте.

1° Обобщение теоремы Вейля о полной приводимости. Чрезвычайно простой результат, даваемый теоремой 10, объясняется тем, что мы ограничились рассмотрением неприводимых представлений. Действительно, в классе разрешимых связных групп Ли такие представления попросту одномерны. Однако тот же пример разрешимой группы показывает, что может существовать чрезвычайно много «полуприводимых» представлений, устроенных по типу «жордановой клетки». Природа таких представлений, очевидно, всегда заключается в наличии радикала. Действительно, имеет место

Теорема 11. Представление связной группы Ли вполне приводимо тогда и только тогда, когда вполне приводимо его сужение на радикал.

За доказательством этой теоремы (хотя оно совсем несложно) мы отсылаем к статье [85], стр. 63. Заметим также, что в классе бесконечномерных представлений теряют силу как теорема 10, так и теорема 11. Действительно, разрешимые (и даже нильпотентные) группы имеют неприводимые бесконечномерные представления ([102]). С другой стороны, в классе бесконечномерных

представлений полупростой группы Ли теряет силу принцип полной приводимости. «Неразложимость» некоторых приводимых бесконечномерных представлений была впервые обнаружена автором на примере группы Лоренца (см. по этому поводу § 9 добавления I).

2° Различные реализации мультиплетов. Для группы мы рассматривали подробно различные реализации мультиплетов в классе полиномов и тензоров (гл. VII, гл. VIII). Все эти построения могут быть почти без изменений перенесены на произвольную полупростую комплексную связную группу G.

В частности, для группы G нетрудно построить реализацию на группе на подгруппе максимальная компактная подгруппа в Последняя реализация задается следующей формулой:

где элементы определяются из разложения Ивасавы: где максимальная односвязная подгруппа в картановской подгруппе группы G. Такая реализация особенно удобна (см. добавление I, § 2) для перехода к бесконечномерным представлениям группы G.

Заметим, что переход от реализации на группе Z к реализации на группе осуществляется следующей формулой:

где матрицы «ей, связаны разложением Ивасавы: Для вычисления функции заметим, что откуда Далее, В результате

Эта формула в свою очередь может быть использована для обратного перехода от реализации на группе к реализации на группе Z. Далее, если то, как

нетрудно показать, меры Хаара на Z и на связаны следующим соотношением:

Здесь и -характер картановской подгруппы сигнатура которого является суммой всех положительных корней группы G. Если для функций рассматривать метрику то для функций мы получаем метрику, определяемую нормой:

Соответственно вводится скалярное произведение в классе функций на группе Z. Это скалярное произведение обладает тем замечательным свойством, что по отношению к нему сужение унитарно. (Действительно, то же верно в

Пример. Ортогонализация треугольной матрицы очевидно, должна иметь следующий вид:

где многоточием обозначены те члены, которые вполне определяются из унитарности последнего множителя. Используя параметры для группы введенные в § 38, мы находим

Полагая где получаем меру Хаара на комплексной плоскости Z. В результате

где множитель подбирается в зависимости от нормировки мер Хаара на Скалярный квадрат

функции задается формулой

где показатель характера (сигнатура этого характера имеет вид Действительно,

. В то же время сигнатура характера имеет вид т. е.

3° Общий метод отыскания центра. Существует простой общий метод отыскания центра односвязной полупростой комплексной группы G. Как мы видели в § 112, картановская подгруппа параметризуется следующим образом:

где простой корень, Искомый центр С содержится в подгруппе и является ядром присоединенного представления группы G. Если — оператор присоединенного представления, отвечающий вектору то мы имеем

Достаточно рассматривать только простые корни , так как все остальные собственные значения определяются по ним однозначно. Для отыскания центра достаточно найти все значения параметров , для которых оператор где обращается в единицу на векторах В результате получаем систему уравнений вида

где структурная матрица Картана и означает аддитивную группу всех целых чисел. Исследуя такую систему, получаем ([85]), что число линейно независимых решений в точности равно детерминанту структурной матрицы Картана Очевидно также, что все эти решения вещественны. (Действительно, матрица вещественна и откуда следует, что числа удовлетворяют однородному уравнению с невырожденной матрицей коэффициентов.) Это еще раз показывает, что С содержится в максимальном торе В результате получаем, что имеет место

Теорема 12. Пусть односвязная комплексная полупростая группа Ли и С — ее центр. Тогда порядок С равняется детерминанту структурной матрицы Картана. Группа С является циклической всегда, за исключением случая когда эта группа изоморфна

Более подробное доказательство см. в [81], [85]. Вычисляя центр для каждой простой односвязной группы Ли, получаем следующую таблицу:

(см. скан)

Здесь означает число неизоморфных групп в классе всех связных групп Ли с данной алгеброй Ли X, а -число различных делителей целого числа включая (Действительно, есть число различных подгрупп в циклической группе Классические линейные группы, разумеется, могут быть рассмотрены и независимо (хотя приведенное рассуждение доставляет новое доказательство односвязности Для особых групп Картана получаем следующие элементы центра в канонических

координатах

Нумерация базиса определяется при этом следующей нумерацией простых корней:

В то же время мы видим, что алгебрам Ли отвечает лишь единственная (с точностью до изоморфизма) связная группа Ли.

Упражнения

(см. скан)

Содержание этой главы в основном соответствует статье [85] (см. также [83]). Основным результатом является не только вложение неприводимого представления в класс полиномов на группе Z (теорема 1), но, главным образом, описание индикаторной системы, т. е. описание класса полиномов, в котором действует (теорема 5). «Каноническая модель» получаемая таким образом, универсальна в том отношении, что она описывает все представления не только самой группы но также и ее универсальной накрывающей.

Спинорные представления группы были впервые открыты Э. Картаном (см. [25]). Все представления полупростой комплексной алгебры Ли были также впервые классифицированы Э. Картаном [94]. См. по этому поводу замечания к следующей главе.

Глобальная теория, изложенная в этой главе, представляет интерес еще и в том отношении, что она совершенно элементарно может быть построена для классических групп Ли. Этим вопросам посвящается другая статья автора [84]. В частности, такой подход позволяет единообразно получить не только тензорные, но также спинорные и спинтензорные представления.

В § 117 мы показываем, как при помощи теоремы Леви—Мальцева получить обобщение всех этих результатов на произвольную связную группу Ли. Такое обобщение может показаться несколько неожиданным, но оно вполне объясняется тем, что действие радикала, по существу, тривиально (теорема 10). Доказательство этой теоремы основано на той же идее, что и глобальное доказательство теоремы Ли, предложенное Р. Годеманом (§ 88); инфинитезимальное доказательство здесь, по-видимому, было бы значительно сложней. Из теоремы 10 естественно вытекает также теорема 11, которая является обобщением теоремы Вейля о полной приводимости.

Описание центра полупростой односвязной комплексной группы Ли является хорошо известным результатом ([81], [128]). Здесь приводится формулировка, включающая детерминант матрицы Картана ([85]).

<< Предыдущий параграф Следующий параграф >>
Оглавление