§ 127. О вычислении собственных значений операторов Казимира
В гл. IX мы воспользовались
-мерным представлением алгебры
для вычисления собственных значений ее операторов Казимира. Аналогичное построение нетрудно провести и для других классических алгебр Ли.
функцию» операторов
Путем несложных преобразований можно привести эту функцию также к виду
где положено
Из этих выражений становится уже очевидной симметрия собственных значений относительно группы Вейля.
Замечание 1. Замечательной особенностью
-мерных линейных представлений, использованных при получении указанных результатов, является простота весового спектра. Иначе говоря, каждый вес в таком представлении встречается с кратностью единица. Подобными представлениями обладают также алгебры
Если взять за основу такое линейное представление полупростой комплексной алгебры X, то все указанные выше результаты легко обобщаются на этот случай.
Замечание 2. Как мы видели в предыдущем параграфе, каждому оператору Казимира отвечают два полинома на алгебре Н: с
Первый из этих полиномов непосредственно определяет структуру оператора С, второй означает его собственное значение в
Березину [51] удалось установить непосредственную связь между этими полиномами. Тем самым возникает еще один метод явного вычисления собственных значений.
В заключение этой главы приведем без доказательства (см. [57], [143]) порядки образующих операторов Казимира для исключительных алгебр Картана:
Отсюда легко вычисляется также порядок группы Вейля:
где
порядок
образующей. Числа
тесно связаны ([143]) с важнейшими топологическими характеристиками соответствующей группы Ли (числа Бетти, полином Пуанкаре).
Упражнения
(см. скан)
Независимое рассмотрение полупростой комплексной алгебры Ли позволяет, как мы видим, получать простые алгебраические доказательства многих фактов глобальной теории. Классификация
неприводимых представлений
была впервые получена Э. Картаном [97] путем пересмотра в отдельности каждого типа простых алгебр Ли
. Общее доказательство было получено почти одновременно Хариш-Чандрой [138] и Шевалле (доказательство Шевалле не опубликовано). Здесь мы излагаем упрощенный вариант доказательства Хариш-Чандры, принадлежащий Н. Джекобсону [19]. Одним из преимуществ алгебраического доказательства является возможность рассмотрения также некоторых бесконечномерных (экстремальных) представлений алгебры Ли. Кроме того, на этом пути возникает также доказательство существования особых алгебр Картана ([19]). Остальные библиографические ссылки были сделаны непосредственно в тексте. Результаты упражнений 5 и 6 сообщены автору Э. Б. Винбергом.