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

ГЛАВА XIV. КЛАССИФИКАЦИЯ КОМПАКТНЫХ И РЕДУКТИВНЫХ АЛГЕБР ЛИ

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

Если компактная группа Ли, то ввиду глобальной теоремы ее присоединенное представление вполне приводимо. Следовательно, всякая компактная группа Ли редуктивна. Поэтому ее комплексная оболочка также редуктивна. Поскольку над комплексным полем задача классификации решается технически проще (примеры этого мы видели в предыдущей главе), естественно начать с классификации комплексных редуктивных алгебр Ли. Отбрасывая центр, мы можем также ограничиться рассмотрением полупростых комплексных алгебр Ли. Во всяком случае таким путем мы не пропустим ни одной «компактной» алгебры Ли.

Задачу можно было бы несколько упростить, если заранее воспользоваться условием компактности. Однако интересно выяснить также местоположение компактных групп Ли среди редуктивных, и поэтому естественно решать сразу более общую задачу. При этом мы увидим (a posteriori), что все редуктивные группы (алгебры) Ли в известном смысле «порождаются» компактными.

§ 90. Компактные алгебры Ли

Начнем с алгебраической характеристики компактной группы Ли.

Определение 1. Вещественная алгебра Ли X называется компактной, если на X существует скалярное

произведение относительно которого операторы кососимметричны:

Напомним, что скалярное произведение есть симметричная билинейная форма, которая является строго положительно определенной, т. е. при Исследуем связь введенного определения с понятием компактной группы Ли.

Пусть X — компактная алгебра Ли и ее центр. Нетрудно видеть, что алгебра X редуктивна (действительно, всякое инвариантное подпространство имеет инвариантное ортогональное дополнение); следовательно,

где алгебра полупроста (см. § 83). Пусть группа всех невырожденных линейных преобразований в пространстве для которых

Здесь скалярное произведение и [х, у] — коммутатор в алгебре Как следует из условия 1°, группа является подгруппой в группе всех ортогональных преобразований пространства . Как следует из 1° и 2°, группа является замкнутой подгруппой в

Найдем алгебру Ли группы Согласно условию 2° всякое инфинитезимальное преобразование этой группы является дифференцированием в . Согласно теореме 6 (§ 87) это дифференцирование является внутренним. Следовательно, алгеброй Ли группы является , где — множество всех операторов Поскольку алгебра полупроста, ее представление является точным. Следовательно, изоморфно .

Заметим теперь, что является компактной группой Ли (как замкнутая подгруппа компактной группы Следовательно, мы показали, что существует

компактная группа Ли, алгебра Ли которой изоморфна алгебре .

Далее, пусть размерность центра -мерный тор, т. е. прямое произведение экземпляров группы вращений окружности. Тогда коммутативную алгебру Z мы можем рассматривать как алгебру Ли группы Положим, наконец,

Группа является компактной группой Ли, алгеброй Ли которой является причем как , так и Z являются идеалами в этой алгебре. Следовательно, алгебра Ли группы изоморфна алгебре

С другой стороны, пусть произвольная компактная группа Ли и X — ее алгебра Ли. В силу глобальной теоремы алгебра X редуктивна. Положим снова

где центр алгебры X и алгебра полупроста. Пусть (х,у) — билинейная форма Киллинга — Картана на подалгебре Положим для краткости при фиксированном х. Тогда мы имеем

Здесь матрица оператора А относительно некоторого фиксированного базиса в в силу кососимметричности оператора Равенство возможно в алгебре только при Следовательно, форма Киллинга — Картана является отрицательно определенной в Положим и дополним скалярное произведение до скалярного произведения во всей алгебре X, добавляя к произвольную симметричную положительно определенную билинейную форму на алгебре Z. В результате получим, что алгебра X является компактной. Суммируя вышесказанное, мы приходим к следующему утверждению:

Алгебра X является компактной тогда и только тогда, когда она является алгеброй Ли некоторой компактной группы Ли.

Таким образом, определение 1 действительно дает искомую алгебраическую характеристику компактной группы Ли.

Замечание. Термин «компактность», примененный в определении 1, разумеется, должен пониматься в совершенно независимом смысле по отношению к обычной топологической терминологии. (Во всяком случае, алгебра X как линейное пространство не является компактной.)

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

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

Теперь мы можем поставить задачу о дальнейшей классификации компактных алгебр Ли. Как отмечалось в начале главы, вместо этой задачи естественно рассматривать задачу о классификации всех полупростых (или даже простых) комплексных алгебр Ли. К решению этой задачи мы теперь переходим.

Упражнение

(см. скан)

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