Текст
                    РГАСНТИ 27.17.35 ISSN 0233—6723
ГОСУДАРСТВЕННЫЙ КОМИТЕТ СССР АКАДЕМИЯ НАУК СССР
ПО НАУКЕ И ТЕХНИКЕ
всесоюзный институт научной и технической информации
(ВИНИТИ)
ИТОГИ НАУКИ И ТЕХНИКИ
СЕРИЯ
СОВРЕМЕННЫЕ ПРОБЛЕМЫ
МАТЕМАТИКИ
Фундаментальные направления
Том 20
Научный редактор и составитель
член-корреспондент АН СССР Р. В. Гамкрелидзе
Серия издается с 1985 г.
МОСКВА 1988
1—8731 7


УДК 512.81; 512.816 Главный редактор информационных изданий ВИНИТИ профессор П. В. Нестеров РЕДАКЦИОННАЯ КОЛЛЕГИЯ информационных изданий по математике Главный редактор чл.-корр. АН СССР Р. В. Гамкрелидэе Члены редколлегии: каид. физ.-мат. наук Д. JI. Келенджеридзе, канд. физ.-мат. наук Af. К- Керимов, академик А. Н. Колмогоров, чл.-корр. АН СССР Л. Д. Кудрявцев, профессор В. И. Латышев, академик Е. Ф. Мищенко, академик С. М. Никольский, профессор Н. М. Остиану (ученый секретарь редколлегии), академик Л. С. Понтрягин, профессор В. К. Саумев, профессор А. Г. Свешников Редакторы-составители серии к. ф.-м. и. А. А. Аграчев, академик Е. Ф. Мищенко, профессор Я. Af. Остиану, академик Л. С. Понтрягин Научный редактор серии В. П. Сахарова Литературный редактор серии 3. А. Измайлова Научный консультант по вопросам полиграфии Заслуженный деятель культуры Af. И. Левштейн ВИНИТИ, 198
ГРУППЫ ЛИ И АЛГЕБРЫ ЛИ-Г Консультирующий редактор-составитель тома А. Л. Онищик 1*
Редактор-составнтель тома В. В. Никулин Авторы ч j Э. Б. Винберг, В. В. Горбацевич, А. Л. Онищик
УДК 512.81 I. ОСНОВЫ ТЕОРИИ ГРУПП ЛИ Э. Б. Винберг, А. Л. Онищик СОДЕРЖАНИЕ Введение 7" Глава 1. Первоначальные сведения 8 § 1. Группы Ли, их подгруппы и гомоморфизмы 9 1.1. Определение группы Ли 9 1.2. Подгруппы Ли J0 1.3. Гомоморфизмы групп Ли '2 1.4. Линейные представления групп Ли 12 1.5. Локальные группы Ли .14 § 2. Действия групп Ли 15 2.1. Определение действия 15 2.2. Орбиты и стабилизаторы 15 2.3. Образ и ядро гомоморфизма 17 2.4. Орбиты компактных групп Ли 18 § 3. Многообразия смежных классов и факторгруппы групп Ли 18 3.1. Многообразие смежвых классов 18 3.2. Факторгруппа Ли 21 3.3. Теоремы о транзитивном действии и об эпиморфизме . . 21 3.4. Полный прообраз подгруппы Ли при гомоморфизме ... 22 3.5. Полупрямые произведения групп Ли 23 § 4. Связвость и односвязность групп Ли 24 4.1. Связные компоиевты групп Ли . 25 4.2. Исследование связности классических групп Ли .... 26 4.3. Накрывающие гомоморфизмы 28 4.4. Одиосвизиая накрывающая группа Ли 30 4.5. Исследовавие односвязности классических групп Ли ... 31 Глава 2. Связь между группами Ли и алгебрами Ли . . : . 33 § 1. Функтор Ли 33 1.1. Касательная алгебра группы Ли 33 1.2. Векторные поля на группе Ли 35 1.3. Дифферевциал гомоморфизма групп Ли 36 1.4. Двффереициал действия группы Ли . 38 1.5. Касательиаи алгебра стабилизатора . ■ . ..... 39 1.6. Присоедииевиое представление 40 § 2. Интегрирование гомоморфизмов' касательных алгебр ... 41 2.1. Дифференциальное уравнение пути в группе Ли .... 41 2.2. Теорема единственности 42 2.3. Виртуальные подгруппы Ли 42 2.4. Соответствие между подгруппами Ли и подалгебрами каса- касательной алгебры 43 2.5. Деформация пути в группе Ли 45 2.6. Теорема существования 45
2.7. Коммутативные группы Лн 47 •§ 3. Экспоиеициальиое отображение 48 3.1. Однопараметрические подгруппы 48 3.2. Определение и основные свойства экспоненциального отобра- отображения 49 3.3. Дифференциал экспоненциального отображения .... 50 3.4. Экспоиеициальиое отображение в полной линейной группе . 51 3.5. Теорема Картаиа 52 3.6. Подгруппа неподвижных точек автоморфизма группы Ли . 53 § 4. Автоморфизмы и дифференцирования 53 4.1. Группа автоморфизмов 53 4.2. Алгебра дифференцирований 55 4.3. Касательная алгебра полупрямого произведения групп Ли . 55 § 5. Коммутант и радикал 57 6.1. Коммутант 57 5.2. Замыкание Мальцева ,58 5.3. Строение виртуальных подгрупп Ли 59 5.4. Взаимный коммутант 60 5.5. Разрешимые группы Ли 61 5.6. Радикал 62 5.7. Нильпотентиые группы Ли 63 Глава 3. Универсальная обертывающая алгебра 64 § 1. Простейшие свойства универсальных обертывающих "алгебр . 65 1.1. Определение и конструкция 65 1.2. Теорема Пуанкаре—Биркгофа—Витта 66 1.3. Симметризация 68 1.4. Центр универсальной обертывающей алгебры 69 1.5. Тело частных универсальной обертывающей алгебры ... 70 § 2. Биалгебры, связанные с алгебрами Ли и группами Ли ... 71 2.1. Биалгебры 71 2.2. Правоинвариаитиые дифференциальные операторы иа груп- группе Ли .... 72 2.3. Биалгебра, связанная с группой Ли 74 § 3. Формула Кэмпбелла—Хаусдорфа 75 3.1. Свободные алгебры Ли 76 3.2. Ряд Кэмпбелла—Хаусдорфа 77 3.3. Сходимость ряда Кэмпбелла—Хёусдорфа ...... 78 Глава 4. Обобщения групп Ли 79 § 1. Группы Ли над полными нормированными полями .... 79 1.1. Нормированные поля 79 1.2. Основные определения и примеры 80 1.3. Действия групп Ли 81 1.4. Стандартные группы Ли над иеархимедовым полем ... 81 1.5. Касательная алгебра 82 § 2. Формальные группы 83 2.1. Определение и простейшие свойства 83 2.2. Касательная алгебра формальной группы 84 2.3. Биалгебра, связанная с формальной группой 85 ■§ 3. Бесконечномерные группы Ли 86 3.1. Банаховы группы Ли 87 3.2. Соответствие между банаховыми группами Ли и банаховыми алгебрами Ли 88 3.3. Действия банаховых групп Ли иа конечномерных многообра- многообразиях 89 3.4. Группы Ли—Фреше .... 90 3.5. ILB- и ILH-группы Ли 92 § 4. Группы Ли и топологические группы 93 4.1. Непрерывные гомоморфизмы групп Ли 93 4.2. 5-я проблема Гильберта 94 § 5. Аналитические лупы 95 б
5.1. Основные определения и примеры 95 5.2. Касательная алгебра аналитической лупы 96 5.3. Касательная алгебра диассоциативиод лупы 97 5.4. Касательная алгебра лупы Боля 98 Литература 99 ВВЕДЕНИЕ Теория групп Ли, которой посвящена настоящая статья, от- относится к числу классических, хорошо разработанных разде- разделов математики. Ей посвящен целый ряд монографий (см., на- например, [16], [17], [24], [26], [34], [52], [53], [55]). Эта теория возникла в конце прошлого века в работах С. Ли, ставившего своей целью применение алгебраических методов в теории дифференциальных уравнений и геометрии. За прошедшие сто лет понятия и методы теории групп Ли проникли во многие разделы математики и теоретической физики и стали их неотъемлемой частью. Первые три главы настоящей статьи содержат систематиче- систематическое изложение основ теории групп Ли. Здесь мы постарались привести краткие доказательства большинства важнейших теорем. Некоторые более сложные теоремы, не используемые в тексте, приведены без доказательства. Особый характер носит глава 4, в которой дан обзор некоторых современных обобще- обобщений групп Ли. Авторы сознательно не касались структурных вопросов теории групп и алгебр Ли, в частности, теории полупростых групп Ли. Этим вопросам будет посвящена отдельная статья в одном из следующих томов настоящего издания. На протяжении всей статьи группы Ли, как правило, обо- обозначаются заглавными латинскими буквами, а их касательные алгебры — соответствующими строчными готическими буквами. Используются также следующие обозначения: G0— связная компонента единицы группы Ли (или тополо- топологической группы) G; G'=(G,G)—коммутант группы G; G(p)=(G(p~1\ G<p-»); Rad G — радикал группы Ли G; radfl — радикал алгебры Ли 8; X—полупрямое произведение групп (нормальная подгруп- ла слева); -Э—полупрямая сумма алгебр Ли (идеал слева); Т — группа комплексных чисел, по модулю равных 1; ехр — экспоненциальное отображение; Ad — присоединенное представление группы Ли; ad — присоединенное представление алгебры Ли;
Aut/4 — группа автоморфизмов группы или алгебры Л; Int G — группа внутренних автоморфизмов группы <3; Der-Л — алгебра Ли дифференцирований алгебры А; Int g — группа внутренних автоморфизмов алгебры Ли g; GL(V)—группа всех автоморфизмов (обратимых линейных преобразований) векторного пространства V; Ln{K) — ассоциативная алгебра всех квадратных матриц порядка п над полем /С; GLn(/C)—группа всех невырожденных матриц порядка п над /С; SLn(/C)—группа всех матриц порядка п с определителем, равным 1; PGLn(/C)=GLn(/C)/{^£} — проективная линейная группа; GLn+(R)—группа всех вещественных матриц порядка п с положительным определителем; On (К) — группа всех ортогональных матриц порядка п над К; SOn(/C)=On(/C)nSLn(/C); Spn(/C)—группа всех симплектических матриц порядка п над К (п четно); Ok,i — группа псевдоортогональных вещественных матриц сигнатуры (k, I); SOw=OwnSLn(R); O'h,i — группа псевдоортогональных матриц сигнатуры (k, l) с положительным левым верхним угловым минором по- порядка k\ Un — группа унитарных комплексных матриц порядка п; U/ы — группа псевдоунитарных комплексных матриц сигна- сигнатуры (/г, I); SUn=UnnSLn(C);SUw=UwnSLk+i(C). Глава 1 ПЕРВОНАЧАЛЬНЫЕ СВЕДЕНИЯ Мы предполагаем известными основные понятия теории дифференцируемых многообразий. Однако во избежание недо- недоразумений определения некоторых из них даются в тексте. Основное поле — поле R вещественных чисел или поле С комплексных чисел — обозначается через К- Дифференцируемость функций вещественных переменных, если не оговорено противное, понимается таким образом, что в каждом случае существует столько производных, сколько требуется. Соответственно этому понимается дифференциру- дифференцируемость многообразий и отображений. 8
Якобиева матрица системы дифференцируемых функций -.-t/m от переменных xu...,xn обозначается через- V/ ) • При т=п ее определитель (якобиан) обозна- через Касательное пространство многообразия X в точке х обо- обозначается через ТХ(Х), а дифференциал отображения f: X-+Y в точке х — через dxf. Во многих случаях, когда ясно, какая точка имеется в виду, индекс в обозначениях касательного пространства и дифференциала опускается. Все дифференцируемые многообразия предполагаются обла- обладающими счетной базой открытых подмножеств. § 1. Группы Ли, их подгруппы и гомоморфизмы 1.1. Определение группы Ли. Группой Ли над полем К на- называется группа G, снабженная структурой дифференциру- дифференцируемого многообразия над /С таким образом, что отображение IUGXG-+G, (х,у)~ху, дифференцируемо. Иначе говоря, координаты произведения двух элементов должны быть дифференцируемыми функциями от координат множителей. С помощью теоремы о неявных функциях легко получить, что во всякой группе Ли инверсия также является дифференцируемым отображением. Группы Ли над С называются комплексными группами Ли, группы Ли над R — вещественными группами Ли. Любая ком- комплексная группа Ли может рассматриваться как вещественная группа Ли вдвое большей размерности. Можно рассматривать также аналитические группы Ли, считая, что многообразие G и отображение \i являются анали- аналитическими над полем К- Очевидно, всякая комплексная группа Ли является аналитической, но и в вещественном случае ока- оказывается, что на любой группе Ли существует атлас с анали- аналитическими функциями перехода, в котором отображение \i за- записывается аналитическими функциями (см. п. 3.3 главы 3). Примеры. 1. Аддитивная группа поля К (мы будем ее обозначать также через /С). 2. Мультипликативная группа К* поля К- 3. «Окружность» T={z6Cx :' \z\ =1} есть вещественная группа Ли. 4. Группа GLn(K) невырожденных матриц порядка п над полем К, дифференцируемая структура на которой опреде- определяется как на открытом подмножестве векторного пространства
Ln(K) всех матриц, т. е. (глобальными) координатами служат матричные элементы. 5. Группа GL(V) невырожденных линейных преобразований л-мерного векторного пространства V над полем К может рассматриваться как группа Ли в силу изоморфизма <jL(F)^ GLn(/C), сопоставляющего каждому линейному пре- преобразованию его матрицу в фиксированном базисе. 6. Группа GA(S) (обратимых) аффинных преобразований л-мерного аффинного пространства S над полем К также есте- естественным образом наделяется дифференцируемой структурой, при которой она становится группой Ли. А именно, в аффин- аффинной системе координат пространства S аффинные преобразо- преобразования записываются в виде Х<-+ АХ-\-В, где X—столбец коор- координат точки, А — невырожденная квадратная матрица, В — столбец. Элементы матрицы А и столбца В и могут служить (глобальными) координатами на группе GA(S). 7. Любая конечная или счетная группа, снабженная дискретной топологией и структурой нульмерного дифференци- дифференцируемого многообразия. Прямое произведение групп Ли есть прямое произведение абстрактных групп, наделенное дифференцируемой структурой как прямое произведение дифференцируемых многообразий. Группа Ли Кп (прямое произведение п экземпляров адди- аддитивной группы поля К) называется «-мерной векторной груп- группой Ли. Группа Ли Тп (прямое произведение п экземпляров группы Т) называется п-мерным тором. 1.2. Подгруппы Ли. Подгруппа Я группы Ли G называется подгруппой Ли, если она является подмногообразием много- многообразия G. Напомним, что m-мерным подмногообразием п-мерного дифференцируемого многообразия X называется подмножество YaX, для любой точки у которого выполнено одно из следу- следующих эквивалентных условий: A) в локальной системе координат в некоторой окрестно- окрестности U точки у подмножество Y(]U может быть задано пара- параметрически в виде xi—«9i{tl,:..,tm) (i=l п), де Ф1, ..., ф„ — дифференцируемые функции в некоторой области пространства Кт и ранг матрицы .-Т" "*'?'"' в точках этой области равен т; B) в локальной системе координат в некоторой окрестно- окрестности U точки у подмножество Y(]U может быть задано уравне- уравнениями вида ft (хи ■.., хп) =0 (£=' 1,...,п—т), где /i, ..., fn-m—дифференцируемые функции и ранг матрицы 1, "" ^"'^ в точках окрестности U равен п—т; 10
C) в подходящей локальной системе координат в некото- некоторой окрестности U точки у подмножество Y(]U задается урав- уравнениями (Иногда термины «подмногообразие» и, соответственно, «под- «подгруппа Ли» понимают более широко. В настоящей книге это- этому более широкому толкованию отвечает термин «виртуальная подгруппа Ли»; см. п. 2.3 гл. 2. Подгруппы Ли в нашем смысле называют также «замкнутыми подгруппами Ли».) Всякое m-мерное подмногообразие дифференцируемого мно- многообразия несет структуру m-мерного дифференцируемого мно- многообразия, локальными координатами на котором могут слу- служить, например, параметры tu ■ ■ ■, tm из условия A). Всякая подгруппа Ли, снабженная этой дифференцируемой структу- структурой, сама является группой Ли. С топологической и дифференцируемой точек зрения любая подгруппа Я группы Ли G в любой точке ЫН устроена так же, как в единице, так как она переходит в себя при сдвиге (левом или правом) на h, который является диффеоморфизмом много- многообразия G. Поэтому для проверки того, что подгруппа Я яв- является подгруппой Ли, достаточно установить, что она является подмногообразием в некоторой окрестности единицы. Примеры. 1. Любое подпространство векторного про- пространства является подгруппой Ли векторной группы Ли. 2. Группа Т (см. пример 3 п. 1.1) является подгруппой Ли группы Сх, рассматриваемой как вещественная группа Ли. 3. Любая дискретная подгруппа является подгруппой Ли. 4. Группа невырожденных диагональных матриц является подгруппой Ли группы Ли GLn(/C). 5. Группа невырожденных треугольных матриц является подгруппой Ли группы Ли GLn(K)- 6. Группа SLn(/C) унимодулярных матриц является под- подгруппой Ли коразмерности 1 группы Ли GLn(/Q. 7. Группа Оп(/С) ортогональных матриц является подгруп- подгруппой Ли размерности 2~ гРУппы Ли GLn(/C). 8. Группа Spn(/C) (п четно) симплектических матриц яв- является подгруппой Ли размерности -Г" группы Ли GUiK). 9. Группа Un унитарных матриц является вещественной подгруппой Ли размерности п2 группы Ли GLn(C). Подгруппа Ли группы Ли GL(F) (в частности, группы Ли Ghn(K)=Gh(Kn)) называется линейной группой Ли. Как любое подмногообразие, подгруппа Ли открыта в своем замыкании. Однако, всякая открытая подгруппа топологиче- топологической группы одновременно замкнута, так как она является до- дополнением к объединению своих смежных классов, которые, И
как и она сама, открыты. Поэтому всякая подгруппа Ли замкнута. Для вещественных групп Ли верно и обратное: см. теорему 3.6 гл. 2. 1.3. Гомоморфизмы групп Ли. Пусть G и Я — группы Ли. Отображение /: G-+-H называется гомоморфизмом, если оно является одновременно гомоморфизмом абстрактных групп и дифференцируемым отображением. Гомоморфизм / : G-*~H на- называется изоморфизмом, если существует обратный гомомор- гомоморфизм f~l: H-+-G, т. е. если f является одновременно изоморфиз- изоморфизмом абстрактных групп и диффеоморфизмом многообразий (впрочем, см. по этому поводу следствие теоремы 3. 4). Примеры. 1. Экспоненциальное отображение х*-*-е? яв- является гомоморфизмом аддитивной группы Ли К в мультипли- мультипликативную группу Ли /Сх. 2. Отображение A>-+dQtA является гомоморфизмом группы Ли GLn(/C) в группу Ли /Сх. 3. Для любого элемента g группы Ли G внутренний авто- автоморфизм a(g) : х*-* gxg~l является ее автоморфизмом как груп- группы Ли. 4. Отображение x*-*eix является гомоморфизмом группы Ли R в группу Ли Т. 5. Отображение, сопоставляющее каждому аффинному пре- преобразованию аффинного пространства его дифференциал (ли- (линейную часть), есть гомоморфизм группы Ли GA(S) (см. при- пример 6 п. 1.1) в группу Ли GL(V), где V — векторное простран- пространство, ассоциированное с S. 6. Любой гомоморфизм конечной или счетной группы в группу Ли является гомоморфизмом в смысле теории групп Ли. Очевидно, что композиция гомоморфизмов групп Ли также является гомоморфизмом групп Ли. 1.4. Линейные представления групп Ли. Гомоморфизм груп- группы Ли G в группу Ли GL(V) называется ее линейным пред- представлением в пространстве V. Например, если каждой матрице AdGLn(K) сопоставить ли- линейные преобразования Ad (Л) и Sq(/4) пространства Ln(K)r определяемые по формулам Ad{A)X=AXA-\ Sq{A)X=AXAT, A) то мы получим линейные представления Ad и Sq группы Ли QLn(/C) в пространстве Ln(K)- Иногда рассматривают комплексные линейные представле- представления вещественных групп Ли или вещественные линейные пред- представления комплексных групп Ли. В первом случае подразу- подразумевают, что группа линейных преобразований комплексного векторного пространства рассматривается как вещественная группа Ли, во втором — что данная комплексная группа Ли рассматривается как вещественная. Пусть /? и S — линейные представления некоторой группы G в пространствах V и U соответственно. Напомним, что суммой 12
представлений R и S называется линейное представление R+S группы G в пространстве V®U, определяемое по формуле (R+S) (g) (v+u) = R (g) v+S (g) и; B) произведением представлений R и S называется линейное пред- представление RS группы G в пространстве V®U, определяемое на разложимых элементах по формуле (RS)(g)(v®u)=R(g)v®S(g)u. C) Аналогично определяется сумма и произведение любого конеч- конечного числа представлений. Представлением, сопряженным (контраградиентным) к представлению R, называется представление R* группы G в пространстве V*, сопряженном к V, определяемое по формуле (R*(g)f)(v)=f{R(g)-h). D) Легко видеть, что если R и 5 — линейные представления группы Ли G, то представления R-\-S, RS и R* также являют- являются ее линейными представлениями как группы Ли (т. е. диф- дифференцируемы) . Для любых целых k, />0 тождественное линейное пред- представление Id группы Ли GL (V) в пространстве V порождает ее линейное представление Г*,/= Id* (Id*)' в пространстве V®.. .®V®V*®... ®V* тензоров типа (k, l) на V. Приведем удобные интерпретации представлений Ты в двух наиболее часто встречающихся случаях: k=0 и k=l. Тензоры типа @, /) можно рассматривать как /-линейные формы на V. Для такой формы f имеем Vu ■. .,A-lvt). E) Тензоры типа A, /) можно рассматривать как /-линейные отображения VX... .X.V-+V. Для такого отображения F имеем A-lvu ...,A~%). F) Представления Ad и Sq группы GLn(/C), рассмотренные вы- выше, суть не что иное, как ее представления в пространствах тензоров (на пространстве /С") типов A,1) и B,0) соответствен- соответственно, записанных в матричной форме. Если R — линейное представление какой-либо группы G в пространстве V и UczV—инвариантное подпространство, то естественным образом определены подпредставление Ru : G-*~ -^GL(U) и факторпредставление RV/U:G-+GL(V/U). Очевидно, что всякое подпредставление и всякое фактор- представление линейного представления группы Ли G являют- являются ее линейными представлениями как группы Ли. 13
Особую роль в теории групп играют одномерные представ- представления, которые суть не что иное, как гомоморфизмы данной группы G в мультипликативную группу основного поля. Они на- называются характерами" группы G. Характеры образуют груп- группу относительно операции умножения представлений; инвер- инверсией в этой группе служит переход к сопряженному представ- представлению. Мы будем обозначать группу характеров группы G че- через $B(G). Она традиционно записывается аддитивно, так что согласно определению (XI+*») Ur) =xi(*)»(*) (xi. »<a?((G)). В контексте теории групп Ли характеры предполагаются дифференцируемыми. 1.5. Локальные группы Ли. В некоторых случаях бывает полезен локальный вариант понятия группы Ли. Локальной группой Ли называется дифференцируемое многообразие U вместе с отмеченной точкой е (единицей), ее окрестностью V и дифференцируемым отображением (умножением) удовлетворяющим условиям ех=хе=х и (xy)z=z(yz) при х, у, z, xy, yzGV. Из этих условий следует существование такой окрестности единицы WczV и такого дифференцируемого отображения (инверсии) что xx~l = x~lx=e при x£W. Всякую группу Ли G можно рас- рассматривать как локальную группу Ли, взяв V=U=G. При замене U и V окрестностями единицы Ux и Vic удовлетворяющими условию ViVicl/i, получается также ло- локальная группа Ли, называемая ограничением исходной. Поня- Понятие ограничения по транзитивности порождает некоторое отно- отношение эквивалентности локальных групп Ли. Строго говоря, локальной группой Ли называют класс определенной таким об- образом эквивалентности. Две локальные группы Ли называют- называются изоморфными, если для некоторых их ограничений (Uu eu Vu щ) и (U2, e2, V2, ц2) существует диффеоморфизм f : Ui-*-U2, удовлетворяющий условиям f(ei)—e2, f(Vi) = V2 и f(xy) = =f(x)f(y) при х,y£V\. Нетрудно видеть, что изоморфность ло- локальных групп Ли является отношением эквивалентности. Понятия подгруппы Ли, гомоморфизма групп Ли и т. п. имеют естественные локальные аналоги, и многие теоремы тео- теории групп Ли могут быть сформулированы и доказаны для ло- локальных групп Ли (некоторые из них при этом даже упро- упрощаются). Однако теория локальных групп Ли не имеет само- самостоятельного статуса по той причине, что всякая локальная ') В данном случае термин «характер» употреблен в узком смысле. В более широком смысле характер понимается как след любого (не обяза- обязательно одномерного) линейного представления, 14
группа Ли апостериори оказывается ограничением некоторой группы Ли. (Это следствие теоремы существования группы Ли с заданной касательной алгеброй: см. теорему 2.11 гл. 2.) В рамках теории групп Ли значение понятия локальной группы Ли состоит в основном в том, что оно дает возмож- возможность употребления локальной терминологии. Например, две группы Ли называются локально изоморфными, если они изо- изоморфны как локальные группы Ли. Это определение является точным истолкованием интуитивно понимаемого высказывания «данные группы Ли одинаково устроены в окрестности еди- единицы». § 2. Действия групп Ли 2.1. Определение действия. Гомоморфизм а группы Ли G в группу DiffX диффеоморфизмов дифференцируемого многооб- многообразия X называется ее действием на X, если отображение GxX-*-X, (g,x)>-+ a(g)x, дифференцируемо. Примеры. 1. Для любой группы Ли G можно определить следующие три ее действия /, г, а на самой себе: l{g)x=gx, r(g)x=xg~\ a{g)x=gxg~l. 2. Естественное действие группы GLn(/C) в проективном пространстве Р(/Сп) является действием в смысле теории групп Ли. 3. Всякое линейное представление R: G->-GL(V) группы Ли G можно рассматривать как ее действие в пространстве V, Та- Такое действие называется линейным. 4. Аналогично, всякий гомоморфизм f: G-»-GA(S) можно рассматривать как действие группы Ли G на аффинном про- пространстве S. Такое действие называется аффинным. Очевидно, что композиция действия а: G->-Diff X и гомо- гомоморфизма f : H-*-G есть действие группы Ли Н на многообра- многообразии X. В тех случаях, когда будет ясно, о каком действии идет речь, мы будем писать вместо a(g)x просто gx. Действия групп Ли подробно рассматриваются во второй статье настоящего тома. Мы будем пользоваться без особых пояснений некоторыми общепринятыми терминами, определяе- определяемыми в этой статье. 2.2. Орбиты и стабилизаторы. Пусть задано действие а группы Ли G на многообразии X, и пусть х — точка этого мно- многообразия. Рассмотрим отображение ах: G-*-X, gt-^a(g)x. Его образ есть не что иное, как орбита a(G)x точки х, а полный прообраз точки х есть ее стабилизатор Gx={gdG:a(g)x=x}. Полные прообразы других точек орбиты суть смежные классы по б*. 15
Из определения действия группы Ли следует, что отображе- отображение ах дифференцируемо, а из коммутативности диаграммы 1(8I 1<х(«) Ъх при любом gdG — что оно имеет постоянный ранг. Известно (см., например, [27]), что дифференцируемое ото- отображение f : X-+-Y, имеющее постоянный ранг А, линеаризуемо в окрестности любой точки многообразия X. Отсюда следует, что A) полный прообраз любой точки y=f(x) есть подмногооб- подмногообразие коразмерности k в X, причем Tx(f~l(y)) =Kerdxf; B) для любой точки jcGX образ некоторой ее окрестности U есть подмногообразие размерности к в Y, причем THx)(f(U))=dxf{Tx{X)); C) если f(X)—подмногообразие в У, то uimf(X)==k. Ч Последнее доказывается следующим образом: если бы было &im}(X)>k, то в силу B) многообразие f(X) было бы покрыто счетным числом подмногообразий меньшей размер- размерности, что невозможно.► Применяя сказанное к построенному выше отображению ах, получаем следующую теорему. Теорема 2.1. Пусть задано действие а группы Ли G на дифференцируемом многообразии X. Для любой точки х£Х отображение ах имеет постоянный ранг и, если этот ранг равен k, то 1) стабилизатор Gx есть подгруппа Ли коразмерности k в G, причем Te(Gx)—Kerdnax; 2) для некоторой окрестности U единицы в группе G мно- множество a(U)X есть подмногообразие размерности k в X, причем T(UdT(G)) x(())^x(()); 3) если орбита a(G)x является подмногообразием в X, то dim a{G)x=k. Отметим, что орбита не всегда является подмногообразием. (Контрпример будет приведен в следующем пункте.) Утверждение 1) теоремы может быть использовано для до- доказательства того, что данная подгруппа Н группы Ли G яв- является подгруппой Ли. Для этого достаточно реализовать Я как стабилизатор некоторой to4KH для некоторого действия группы Ли G. Если при этом орбита данной точки является подмногообразием известной размерности, то утверждение 3) позволяет найти размерность подгруппы Н. Применяя эти соображения к представлениям Th,i группы GL(V) в пространствах тензоров (см. п. 1.4), мы получаем, в частности, что группа невырожденных линейных преобразова- 16
ний, сохраняющих какой-либо заданный тензор, является ли- линейной группой Ли. Примеры. 1. Рассматривая представление группы GL(V) в пространстве B+(V) симметрических билинейных форм (сим- (симметрических тензоров типа @,2)), получаем, что группа O(V,f) невырожденных линейных преобразований, сохраняющих за- заданную симметрическую билинейную форму f, является линей- линейной группой Ли. Если форма f невырожденна, то ее орбита от- открыта в B+(V) и, следовательно, dimO(\/,/)^dimGL(l/)-dimg+(l/)=«2—n(n^1)=n(n~1), где n = dim V. 2. Аналогично, рассматривая представление группы GL(V) в пространстве B-(V) кососимметрических билинейных форм, получаем, что группа Sp(V,f) невырожденных линейных преоб- преобразований, сохраняющих заданную кососимметрическую били- билинейную форму f, является линейной группой Ли. Если форма f невырожденна, то dim Sp(V, f) =dim GL(V)— dim B_(V) = n(+1). 3. Рассматривая представление группы GL(V) в пространст- пространстве билинейных операций на V (тензоров типа A, 2)), получаем, что группа автоморфизмов любой алгебры является линейной группой Ли. 2.3. Образ и ядро гомоморфизма. Пусть f .G-+H— гомомор- гомоморфизм групп Ли. Определим действие а группы Ли G на много- многообразии Я формулой (g) f(g), где в правой части стоит произведение элементов в группе Я. Иначе говоря, а — это композиция гомоморфизма / и действия / группы Я самой на себе левыми сдвигами. Пусть е—единица группы Я. Тогда ae=f, oc(G)e=f(G) и стабилизатор точки е при действии а есть не что иное, как ядро Кег/ гомоморфизма f. Применяя теорему 2.1 к действию а и точке ебЯ, получаем следующую теорему. Теорема 2.2. Пусть f : G-+H — гомоморфизм групп Ли. Тогда f — отображение постоянного ранга и, если этот ранг равен k, то 1) Kerf есть подгруппа Ли коразмерности k в G, причем r(Kf)K4f (f)f 2) для некоторой окрестности U единицы в группе G мно- множество f(V) есть подмногообразие размерности k в Я, причем Te{f(U))=d,f(Te(G)); 3) если f (u) — подгруппа Ли в Я, то dim / (G) —k. Пример. Рассмотрим гомоморфизм det: GLn(K)-+Kx- Его ядро есть группа SLn(/C) унимодулярных матриц. Так как det GL^ (/С) =/Сх, то rkdet=l и, следовательно, SLn {К) — под- подгруппа Ли коразмерности 1 в GLn(/C). 2-8731 23 17
Ясно, что если /(G)—подмногообразие, то f(G)—подгруп- f(G)—подгруппа Ли в Н. Следующий пример показывает, что f (G) не всегда является подмногообразием. Пусть / : R-*-Tn — гомоморфизм, определяемый формулой (е1в'*, ...,е'в«*) (о», ...,an6R). Известно (см., например, [22]), что если числа аи...,ап ли- линейно независимы над Q, то множество f(R) плотно в Тп (это так называемая плотная обмотка тора) и, следовательно, при. п>\ не является подмногообразием. Для того чтобы множест- множество f(R) было подмногообразием, необходимо и достаточно, что- чтобы числа а\,..., пп были соизмеримы. 2.4. Орбиты компактных групп Ли. Ввиду предыдущего при- примера представляет интерес следующее утверждение. Теорема 2.3. Любая орбита действия компактной группы Ли является подмногообразием. •^ Пусть задано действие а компактной группы Ли G на многообразии X и пусть х&Х. Докажем, что орбита a(G)x — подмногообразие в X. Для этого достаточно проверить, что она является подмногообразием в окрестности точки х. Пусть U — такая окрестность единицы в группе G, что a(U)x — подмно- подмногообразие в X. Орбита a(G)x есть объединение непересекаю- непересекающихся множеств a(U)x и а(С)х, где C=G\UGX. Так как мно- множество UGX открыто в G, то его дополнение С замкнуто и, значит, компактно; но тогда множество а(С)х = ах(С) также компактно и, значит, замкнуто в X. Таким образом, пересече- пересечение орбиты a(G)x с открытым множеством Х\а(С)х, содер- содержащим точку х, является подмногообразием. ► Следствие. Образ компактной группы Ли при гомомор- гомоморфизме является подгруппой Ли. Важнейшие примеры компактных групп Ли (помимо конеч- конечных)— n-мерный тор Тп, ортогональная группа On(=On(R)) и унитарная группа Un. Чтобы доказать компактность группы Оп, заметим, что она выделяется в пространстве Ln(R) всех вещественных матриц алгебраическими уравнениями =8i,-, и, следовательно, замкнута в Ln(R). Из этих же k уравнений вытекают неравенства |а^|^1, показывающие, что группа On ограниченна в Ln(R). Аналогично доказывается компактность группы Un. § 3. Многообразия смежных классов и факторгруппы групп Ли 3.1. Многообразие смежных классов. На множестве смеж- смежных классов группы Ли по подгруппе Ли можно естественным образом ввести дифференцируемую структуру. Для того чтобы дать аксиоматическое описание этой структуры, нам понадо- понадобятся некоторые определения. 18
Пусть X и Y—дифференцируемые многообразия и р — дифференцируемое отображение X на Y. Для любой функции /,. заданной на подмножестве UczY, определим функцию p*f на p~l(U) формулой (p*f){x)=f(p(x)). Отображение р называется факторизацией, если 1) подмножество UczY открыто тогда и только тогда, когда р~1Ф) открыто в X; 2) функция f, заданная на открытом подмножестве UczY,. дифференцируема тогда и только тогда, когда дифференци- дифференцируема функция p*f. Отображение р называется тривиальным расслоением со слоем Z (где Z — также дифференцируемое многообразие), ес- если существует диффеоморфизм v:Yy,Z^X, удовлетворяющий условию p{v{y,z))=y. Отображение р называется локально тривиальным рас- расслоением со слоем Z, если многообразие Y можно покрыть открытыми подмножествами, над каждым из которых отобра- отображение р является тривиальным расслоением со слоем Z. Всякое локально тривиальное расслоение является факто- факторизацией. (Достаточно проверить это для тривиальных рас- расслоений.) Примером факторизации, ие являющейся рассло- расслоением, может служить отображение zi-*z2 комплексной плоско- плоскости С на себя. Факторизация обладает следующим свойством универсаль- универсальности: если имеется коммутативный треугольник в котором р — факторизация, a q— дифференцируемое отобра- отображение, то отображение ф дифференцируемо. Если q — также факторизация и qp биективно, то <р — диффеоморфизм. Послед- Последнее можно интерпретировать следующим образом: если задана отображение р дифференцируемого многообразия X на множе- множество Y, то на Y существует не более одной дифференцируемой структуры, при которой р является факторизацией. Теорема 3.1. Пусть G— группа Ли и Я— ее подгруппа Ли. На множестве G/H левых смежных классов G по Я су- существует единственная дифференцируемая структура, при ко- которой каноническое отображение р : G-+G/H, g» gH, является факторизацией. При этом 1) отображение р является локально тривиальным рас- расслоением; 2) каноническое действие группы G на G/H (левыми сдви- сдвигами) дифференцируемо. 2» 1Э
•^Введем в множество G/H топологию, считая, что подмно- подмножество UczG/H открыто тогда и только тогда, когда p~x{U) открыто в С?. Легко видеть, что при этом отображение р будет непрерывно и открыто, а пространство G/H — хаусдорфово. Пусть теперь SczG — подмногообразие, трансверсальное к Н в точке е. Рассмотрим отображение Так как v(s, e)—s и v(e, h)=*h, то так что d(W)V — изоморфизм касательных пространств. Следо- Следовательно, существуют такие окрестности Si и У точки е в S и Н соответственно, что v диффеоморфно отображает SiX^ на открытое подмножество группы G. Так как ■v{s,hh')=v(s,h)h/, то отображение v является локальным диффеоморфизмом всю- всюду на Si~XH. Пусть S2 — такая окрестность точки е в Sb что S2~lS2nHczV. Тогда v инъективно на S2X#. Выбрав с самого начала сечение 5 подходящим образом, мы, таким образом, можем считать, что v диффеоморфно отображает Sy(H на открытое подмножество группы G. При отображении р сечение S биективно отображается на некоторую окрестность U точки р(е) в пространстве G/H. Пе- Перенесем с помощью этого отображения дифференцируемую структуру с 5 на U. Тогда отображение р будет тривиальным расслоением над U. Далее, для любого g&G перенесем дифференцируемую структуру с U на gU при помощи левого сдвига l{g). Так как отображение р перестановочно с левыми сдвигами, то при таком определении дифференцируемой структуры на gU ото- отображение р над gU будет тривиальным расслоением и, следо- следовательно, факторизацией. При gu g2&G дифференцируемые структуры, определенные на g\U и gsU, будут совпадать на пересечении g\U(\giU, так как над ним отображение р является факторизацией в смысле любой из этих структур. Тем самым, определена дифференцируемая структура на G/H, при которой отображение р является локально тривиальным расслоением (и, тем более, факторизацией). Естественное действие группы G на G/H определяется ото- отображением X:GX G/H-+G/H, (g't gH)~ g'gH, которое включается в коммутативную диаграмму 20
где ц — умножение в группе G: Отображение idXp является локально тривиальным расслоением и, следовательно, — фак- факторизацией. Свойство универсальности факторизации показы- показывает, что к — дифференцируемое отображение.^ Из утверждения 1) теоремы следует, что отображение dep:Te(G)-+Tm{G/H) сюрьективно и имеет своим ядром Те(Н). Поэтому простран- пространство Tp(e)(G/H) каноническим образом отождествляется с Te(G)/Te(H). 3.2. Факторгруппа Ли. Теорема 3.2. Пусть N— нормальная подгруппа Ли груп- группы Ли G. Тогда факторгруппа G/N, снабженная дифференци- дифференцируемой структурой как в теореме 3.1, является группой Ли. ■4 Дифференцируемость умножения \iN в G/N доказы- доказывается аналогично утверждению 2) теоремы 3.1 с помощью коммутативной диаграммы При естественной биекции между подгруппами группы G, содержащими N, и подгруппами группы G/N подгруппам Ли в G отвечают подгруппы Ли в G/N, и наоборот. Если группа G действует на дифференцируемом многооб- многообразии X таким образом, что N содержится в ядре неэффектив- неэффективности, то индуцированное действие на X факторгруппы GJN дифференцируемо. 3.3. Теоремы о транзитивном действии и об эпиморфизме. Теорема 3.3. Пусть а — транзитивное действие группы Ли G на дифференцируемом многообразии X. Тогда для любого Х отображение является диффеоморфизмом, перестановочным с действием группы G. (Подразумевается, что группа G действует на G/Gx левыми сдвигами.) М Имеем коммутативный треугольник &^*x "X где <ix(g)—gx. Так как р — факторизация, то отображение дифференцируемо. Согласно теореме 2.1 21
G/Gx, так что d^ax(Te(G))=Tx{X) и dp(e)fix — изоморфизм касатель- касательных пространств. Следовательно, ря — диффеоморфизм. ► Теорема 3.4. Пусть f : G->H — эпиморфизм групп Ли и JV=Ker/. Тогда отображение является изоморфизмом групп Ли. ««Достаточно применить теорему 3.3 к действию а груп- группы G на Я, построенному в п. 2.3. ^. Следствие. Биективный гомоморфизм групп Ли яв- является изоморфизмом. 3.4. Полный прообраз подгруппы Ли при гомоморфизме. Теорема 3.5. Пусть f : G->H — гомоморфизм групп Ли и Н\ — подгруппа Ли в Я. Тогда G\'—f~l{Hi)—подгруппа Ли в G и ■4 Рассмотрим композицию a=§ ° f гомоморфизма f и ка- канонического действия р группы Ли Я на Н/Н\. Подгруппа G\ будет стабилизатором точки р(е)£Н/Н\ (где р — каноническое отображение Я на Н/Н\) при действии а. По теореме 2.1 она является подгруппой Ли и )=Ker {dep d<$). Так как Ker dep= Te (Hi), то Следствие 1. Пусть Н\, Яг — подгруппы Ли в группе Ли G. Тогда Hif\H2 — также подгруппа Ли и Te{Hl(]H2)-Te(Hl)f]Te{H2). •^Доказательство получается применением теоремы к тож- тождественному вложению HiczG и подгруппе H2czG. ► (Отметим, что пересечение подмногообразий, вообще гово- говоря, не является подмногообразием.) Следствие 1 тривиально обобщается на любое конечное число подгрупп. Оно справедливо и для бесконечного семей- семейства подгрупп (см. теорему 4.2). Следствие 2. Пусть R : G-»-GL(V)—линейное представ- представление группы Ли G и UczV — какое-либо подпространство. Тогда G(U)={geG:R(g)UczU} — подгруппа Ли в G и Te(G(U))={ieTe(G) : (dR)(l)UczU}. •^Доказательство получается применением теоремы к го- гомоморфизму R и подгруппе 22
GL(V; U)={AdGL(V) : AUczU} группы GL(V), являющейся открытым подмножеством про- пространства L(V; U)={Xeb(V) :XUczU}.> Следствие З. Пусть в условиях следствия 2 WczV — какое-либо подпространство, содержащееся в U. Тогда G(U,W)={geG:{R(g)-E)UczW} — подгруппа Ли в G и Te{G(U, W))-={ieT.{G) : {dR)(l)UcW}. •^ Доказательство получается применением теоремы к го- гомоморфизму R и подгруппе GL(V; U, W)={AeGL{V) : {A-E)UczW} группы GL(V), являющейся открытым подмножеством подпро- подпространства L(V; U, W) ={X*L(V) : XUc=W}. > 3.5. Полупрямые произведения групп Ли. Во многих слу- случаях строение групп Ли удобно описывается с помощью поня- понятия полупрямого произведения. Напомним, что полупрямым произведением абстрактных групп G\ и G2 называется прямое произведение множеств G\ и (/2, снабженное групповой операцией по формуле {gug2)(ftl, h2) = (g1b{g2)hi, g2h2), G) где b — некоторый гомоморфизм группы G2 в группу Aut G, автоморфизмов группы Gx. Мы будем обозначать полупрямое произведение через С^хбг или, более точно, через G{X\G2- ь Элементы вида (gu e) (соответственно (е, g2)) образуют в G{X\G2 подгруппу, изоморфную G\ (соответственно С?2). Обычно эту подгруппу отождествляют с G\ (соответственно с С?г). Подгруппа G] нормальна, причем = 6(g-2)g1. (8) Подгруппа G2 нормальна тогда и только тогда, когда гомо- гомоморфизм b тривиален; в этом случае Gi><jG2 совпадает с пря- прямым произведением GiXG2. Говорят, что группа G разлагается в полупрямое произведе- произведение подгрупп G\ и О2 (обозначение: G = G1XlC?2 или G=(?2CXC?i), если 1) подгруппа G\ нормальна; 2) G.G^G; 3) Gy[\G*={e\. 23
В этом случае имеет1 место изоморфизм -G, (g-,, g2)i-+gig2, (9) где b : Gr-^Aut G\ — гомоморфизм, определяемый формулой (8). Полупрямое произведение групп Ли определяется как полу- полупрямое произведение абстрактных групп, снабженное диффе- дифференцируемой структурой как прямое произведение дифферен- дифференцируемых многообразий. При этом требуется, чтобы гомомор- гомоморфизм Ь задавал дифференцируемое действие группы G2 на G\. (В частности, автоморфизм b(g2) группы Gx должен быть диф- дифференцируемым при любом g2£G2.) Это обеспечивает диффе- ренцируемость операции G). Говорят, что группа Ли G разлагается в полупрямое про- произведение подгрупп Ли Gx и G2, если она разлагается в их по- полупрямое произведение как абстрактная группа. В этом случае действие Ъ группы G2 на Gb определяемое формулой (8), диф- дифференцируемо и абстрактный изоморфизм (9) согласно след- следствию теоремы 3.4 является изоморфизмом групп Ли. Примеры. 1. Пусть R:G->GL(V) — линейное представление группы Ли О. Тогда можно образовать полупрямое произведение Vy^G, где V рассматривается как векторная группа Ли. R 2. Пусть Id — тождественное линейное представление группы GL (V) в пространстве V. Тогда имеется изоморфизм Id при котором каждому вектору v&V соответствует параллель- параллельный перенос tv : x <-+ x-\-v пространства V. 3. Всякая подгруппа Ли GczQA(V), содержащая все па- параллельные переносы, разлагается в полупрямое произведение группы параллельных переносов и линейной группы Ли Н= = dGczGL(V). В частности, группа движений евклидова про- пространства Еп разлагается в полупрямое произведение группы параллельных переносов и ортогональной группы Оп. 4. Группа Ли невырожденных треугольных матриц разла- разлагается в полупрямое произведение нормальной подгруппы Ли унитреугольных (треугольных с единицами на диагонали) матриц и подгруппы Ли невырожденных диагональных матриц.. § 4. Связность и односвязность групп Ли Свойства связности и односвязности играют важную роль уже в самых основах теории групп Ли (см. теоремы 2.2 и 2.10 гл. 2). Поэтому мы посвящаем им отдельный параграф. Определение фундаментальной группы и доказательство ис- используемых в этой главе топологических теорем (существова- (существование односвязного накрывающего пространства, точность гомо- 24
топической последовательности локально травиального рас- расслоения) можно найти, например, в [54]. 4.1. Связные компоненты групп Ли. Топологическое про-, странство называется связным, если его нельзя разбить на два непустых открытых подмножества, и линейно связным, если любые две его точки можно соединить (непрерывным) путем. Для дифференцируемого многообразия эти понятия совпадают. Более того, любые две точки связного дифференцируемого мно- многообразия можно соединить дифференцируемым путем. Связ- Связные компоненты дифференцируемого многообразия открыты и замкнуты. Из предположения о наличии счетной базы следует, что дифференцируемое многообразие имеет не более чем счет- счетное число связных компонент. Теорема 4.1. Связная компонента G0 группы Ли G, со- содержащая единицу, является нормальной подгруппой Ли. Про- Прочие связные компоненты суть смежные классы по G0. Всякая открытая подгруппа группы G содержит G0. М Так как левые и правые сдвиги являются автоморфизма- автоморфизмами группового многообразия, то они могут лишь переставлять его связные компоненты. Отсюда следует, что разложение на связные компоненты есть разложение на смежные классы по нормальной подгруппе, каковой, очевидно, является связная компонента, содержащая единицу. Последнее утверждение тео- теоремы вытекает из того, что всякая открытая подгруппа замкну- замкнута (см. п. 1.2).^ Заметим, что подгруппа Ли HczG открыта тогда и только^ тогда, когда dim #=dimG или, что равносильно, Те(#) = =Te(G). Следствие. Связная группа Ли порождается (как аб- абстрактная группа) любой окрестностью единицы. 4 В самом деле, подгруппа, порожденная любой окрест- окрестностью единицы, открыта и, следовательно, совпадает со всей группой.► Факторгруппа G/G0, очевидно, дискретна. Она называется группой компонент группы G. В п. 3.5 мы доказали, что пересечение конечного числа под- подгрупп Ли является подгруппой Ли. Теперь мы можем обоб- обобщить это утверждение. Теорема 4.2. Пересечение H=f]Hv произвольного се- V мейства {Hv} подгрупп Ли является подгруппой Ли, причем T(H)T(H) V Л Подпространство n Te (Hv) совпадает с пересечением конеч- V ного числа подпространств Te(Hv), скажем Te(Hvl), ...,Te(HVk), и согласно следствию 1 теоремы 3.5 является касательным прост- ранством подгруппы Ли Н HVl П •.. П HVk. Для любого v подгруп- 25
па Ли Hf\Hv имеет то же касательное пространство, что и Н, и, следовательно, заключена между Н° и Н. Поэтому и группа Н заключена между Н° и //. Следовательно, она является под- подгруппой Ли и Te(H)=f]Te(Hv)> 4.2. Исследование связности классических групп Ли. Для исследования связности конкретных групп Ли обычно исполь- используется следующая теорема. Теорема 4.3. Пусть задано транзитивное действие а груп- группы Лн G на связном дифференцируемом многообразии X. Тогда 1) группа G0 также транзитивно действует на X; 2) G/G°^Gx/{Gxf]G°) для любой точки х&Х; 3) .если стабилизатор Gx точки х&Х связен, то и группа G связна. •^Согласно теореме 2.1 rkaK=diiinX для любой точки х&Х. Применяя ту же теорему к ограничению действия а на подгруппу G0, находим, что орбита a(G°)x содержит окрест- окрестность точки х. Следовательно, все орбиты группы G0 открыты в X. Так как X связно, то на самом деле имеется только одна орбита. Отсюда легко выводятся остальные утверждения теоремы. ► Обозначим через GLn+(R) группу вещественных матриц с положительным определителем, через SOn — группу ортого- ортогональных матриц с определителем 1 н через SUn — группу уни- унитарных матриц с определителем 1. Предложение 4.4. Группы SLn(/C), GLn(C), GLn+(R), Spn(/C), SOn(К), Un и SUn связны. •^ Докажем индукцией по п связность группы SLn(/C).npn п=1 доказывать нечего, так как группа SLi(/C) тривиальна. При п=2 рассмотрим естественное действие SLn(K) : Кп. Оно транзитивно на открытом подмножестве /Сп\{0}, которое связ- связно. Стабилизатор точки этого подмножества изоморфен полу- полупрямому произведению Kn'l"><lSLn-i(K) и в силу предположе- предположения индукции связен. Согласно теореме 4.3 отсюда следует, что и группа SLn(/C) связна. . Аналогично доказывается связность групп GLn(C), GLn+(R) и Spn(X). Докажем, также индукцией по л, связность группы SOn(K). При п=\ доказывать нечего. При п=2 рассмотрим естественное действие SOn(/C) : S"-1^), где Sn~l(К) —еди- —единичная сфера в пространстве Кп. Это действие транзитивно, причем стабилизатор точки сферы изоморфен группе SOn_i(/C), которая по предположению индукции связна. Сфера Sn~l (К) также связна: связность вещественной сферы Sn~1(R)=Sn-1 очевидна, а комплексная сфера Sn~'(C) диффеоморфна каса- 26
тельному расслоению над Sn~l. Следовательно, группа SOn(K) связна. Аналогично доказывается связность групп Un и SUn. ^ Следствие. Группы GLn(R) и Оп(К) состоят из двух связных компонент, различающихся знаком определителя. Рассмотрим более сложные примеры. Пусть k, />0, k-\- -\-1=п. Вещественная матрица порядка п называется псевдо- псевдоортогональной матрицей сигнатуры (k, I), если соответству- соответствующее линейное преобразование сохраняет квадратичную форму Группа псевдоортогональных матриц сигнатуры (k, l) обозна- обозначается через Ом- Это группа Ли размерности '-^— (см. пример в п. 2.2). Очевидно, что Оы—Ог,л. Определитель псевдоортогональной матрицы равен ±1.К.ак и в случае ортогональных матриц, подгруппа SOft,i псевдоор- тогональных матриц с определителем 1 является открытой под- подгруппой индекса 2 группы Оы- Однако мы сейчас увидим, что она не связна. Пусть {еь ..., еп} — стандартный базис пространства Rn. Положим Так как форма q положительно определенна на R" и отрица- отрицательно определенна на R", то для любого ЛЮы имеем AR"flR! = 0. Это означает, что угловой минор Aft (Л) поряд- порядка k матрицы А отличен от нуля. Нетрудно показать, что для матриц ЛбБОы (даже диагональных) знак Ан(А) может быть любым. Следовательно, группа SO^.i имеет не менее двух связных компонент, различающихся знаком Дл. Аналогично, комплексная матрица порядка п называется псевдоунитарной матрицей сигнатуры (k,l), если соответству- соответствующее линейное преобразование сохраняет квадратичную эрми- эрмитову форму Группа псевдоунитарных матриц сигнатуры (k, l) обозна- обозначается через Uft,;. Это вещественная группа Ли размерности п2. Ее подгруппа унимодулярных матриц обозначается через SUW. Предложение 4.5. Группа SOft,( состоит из двух связных компонент, различающихся знаком углового минора &-го по- порядка. Группа ОЛ)г состоит из четырех связных компонент, раз- различающихся знаками определителя и углового минора fe-ro порядка, причем группа ее компонент изоморфна Z2XZ2. Группы Uft,i и SUft.i связны. 27
•^Докажем индукцией по п, что группа SO^, ; имеет не более двух связных компонент. При /г = 2 (и k = l=\) в базисе прост' ранства R2, в котором форма q имеет вид Уху2, преобразования р фр q из SOij записываются матрицами (q *-А, XGR*. Следовательно, группа SOi,] состоит из двух связных компонент (различающихся знаком к). При п^З либо к~^1, либо t^i. Считая, что k^2, рассмот- рассмотрим действие группы SOfe,; на гиперболоиде Это действие транзитивно, причем стабилизатор точки гипер- гиперболоида изоморфен группе SOkr-ui, которая по предположению индукции имеет не более двух связных компонент. Так как гиперболоид Sh~hl связен (он диффеоморфен Sh~lX.Rl), то по теореме 4.3 группа SOft,; также имеет не более двух связных компонент. Аналогичным образом доказывается связность групп Uk,i и SUfe)i. Следствие. Множество является подгруппой индекса 2 группы Ой,;. 4.3. Накрывающие гомоморфизмы. Некоторые группы Ли,, будучи локально изоморфны, тем не иенее не изоморфны в целом. Примером могут служить одномерные коммутативные группы Ли R и Т. Гомоморфизм x-^eix, связывающий эти группы, является локальным изоморфизмом, так как его ядро 2nZ дискретно. Такие гомоморфизмы называются накрыва- накрывающими. Более точно, гомоморфизм / группы Ли G на группу Ли Н называется накрывающим, если он удовлетворяет любому из следующих эквивалентных условий: 1) f диффеоморфно отображает некоторую окрестность еди- единицы группы G на некоторую окрестность единицы группы Н; 2) ядро f дискретно; 3) f является накрытием в топологическом смысле (т. е. ло- локально тривиальным расслоением с дискретным слоем); 4) del является изоморфизмом касательных пространств. Эквивалентность этих условий следует из теорем 3.4, 3.1 и 2.2. Примеры. 1. Гомоморфизм является накрывающим гомоморфизмом с ядром Z, причем f (R) =Т, так что ограничение f на R определяет накрывающий гомоморфизм h: R^T. 28
2. Существует накрывающий гомоморфизм /:SL2(C)^SO3(C) с ядром {Е, —£}, ограничение которого на SU2 определяет на- накрывающий гомоморфизм fo : SIV^SO3. Ч Для построения этого гомоморфизма рассмотрим линейное представление Ad группы SL2(C) в 3-мерном пространстве L°(C) матриц с нулевым следом, определяемое по формуле Операторы Ad (А) сохраняют в пространстве £°(С) невырожден- невырожденную квадратичную форму q(X) =detX и, поскольку группа SL2(C) связна, они все имеют определитель 1. Тем самым оп- определяется гомоморфизм f: SL2(C)->-SOa(C). Непосредственно проверяется, что Кег/={£, —Е). Так как dimSL2(C) = = dim SO3 (С) =3, то f—накрывающий гомоморфизм. При A£SU2 оператор Ad (Л) сохраняет вещественную форму пространства L2°(C), состоящую из косоэрмитовых матриц (с нулевым следом), на которой квадратичная форма q веществен- вещественна и положительно определенна. В базисе этой вещественной формы имеем f(SU2) =SO3. ► 3. Существует накрывающий гомоморфизм f :SL2(C)XSL2(C)-^SO4(C) с ядром {(Е,Е), (—Е,—£)}, ограничение которого на SU2X XSU2 определяет накрывающий гомоморфизм Л Этот гомоморфизм строится аналогично предыдущему, исхо- исходя из линейного представления /? группы SL2(C)XSL2(C) в 4 мерном пространстве /.2 (С) всех матриц, определяемого по фор- формуле R{A, При A, £gSU2 оператор R(A, В) сохраняет вещественную форму пространства £2(С), состоящую из матриц вида ( ).► Предложение 4.6. Всякая дискретная нормальная под- подгруппа N связной группы Ли С? содержится в ее центре. -4 Для любого n£N рассмотрим отображение Его образ связен и, следовательно, состоит из одной точки п, а это и означает, что п принадлежит центру группы &► 29
Таким образом, для заданной связной группы Ли G описа- описание накрывающих гомоморфизмов (?-»-// сводится к описанию дискретных центральных подгрупп группы G. 4.4. Односвязная накрывающая группа Ли. Топологическое пространство называется односвязиым, если оно связно и всякий замкнутый путЪ в нем можно стянуть в точку. Известно, что для всякого связного дифференцируемого многообразия X существует односвязиое дифференцируемое многообразие X и (дифферен- (дифференцируемое) накрытие р:Х~^Х. Такое накрытие называют одно- связным.. Имеет место следующее функториальное свойство: (F) Пусть X и К —связные дифференцируемые многообразия, р:Х->-Х и q-.Y-^Y — их односвязные накрытия. Для любых точек Хо&Х и y^eY, удовлетворяющих условию f (р(хо)) = р(уо), су- существует единствеиное дифференцируемое отображение f:X->Y такое, что диаграмма x П X- коммутативна и f(xo)=yo. (В этой ситуации говорят, что / на- накрывает /.) Пусть р:Х->~Х — односвязное накрытие. Автоморфизмы много- многообразия X, накрывающие тождественный автоморфизм многообра- многообразия X, образуют группу Г (р), называемую группой накрытия р. Согласно свойству (/•"), для любых точек xv х2(*Х, удовлет- удовлетворяющих условию /?(JCt) = p(jc2), существует единственный эле мент группы Г (р), переводящий хл в х2. Группа Г (р) изоморфна фундаментальной группе щ (X) мно- многообразия X, причем изоморфизм осуществляется следующим образом. Пусть jc0 — фиксированная точка многообразия X и jco = jP(JCo). Тогда каждому элементу у&Г(р) сопоставляется класс замкнутых путей на X с началом в л;0. которые являются образами путей на X, соединяющих Хо с у(х0). Если р:О->О~накрывающий гомоморфизм групп Ли и груп- группа G односвязна, то группа Г (р) совпадает с ядром N гомо- гомоморфизма р, действующим на G посредством сдвигов, и следо- следовательно, щ (G)^N. Теорема 4.7. Всякая связная группа Ли. О изоморфна факторгруппе G/N, где О — односвязная группа Ли, a N — ее дискретная центральная подгруппа. Пара (G, N) определена 30
этими условиями однозначно с точностью до изоморфизма, т. е. если (G, Ni) и (G2, iV2) —две такие пары, то существует изомор- изоморфизм G^^G, переводящий Nr в N2. А Пусть p:G-*-G— односвязное накрытие группового много- многообразия G и eQG—какой-либо прообраз единицы е группы G. Отображение PXP-GXG-+GXG является односвязным накры- накрытием многообразия GxO. Определим умножение \i:GxG-^-G как накрывающее отображение для умножения ц в группе G, переводящее точку (е, ё) в е, и инверсию i-.G-^-G как накрываю- накрывающее отображение для инверсии i в группе G, переводящее точку ё в себя. ' Так как каждое из отображений GXGXG-^G, (х,~у, ~z)~]i(£(x, ~y), z), (х, у, z)*+\y (х, \i (у, z\), является накрывающим для отображения GXGXO-^G, (x, у, z)~xyz, и переводит точку (е, е, е) в е, то умножение ц ассоциативно. Аналогично проверяются остальные групповые аксиомы. Из опре- определения ц следует, что р~ гомоморфизм. Его ядро N есть дискретная центральная подгруппа группы G (предложение 4.6) Пусть теперь Gi и G2 — односвязные группы Ли, Л^ и jV2 — их дискретные центральные подгруппы и /:Gi/Ni~^G2lN2 — изоморфизм групп Ли. Тогда диффеоморфизм f:Gx-^-G2, накры- накрывающий / и переводящий единицу группы Gt в единицу груп- ны Gi, является групповым изоморфизмом и переводит N\ в N2- ► Группа G, удовлетворяющая условиям теоремы, называется односвязной накрывающей группой Ли для группы Ли G. На- Например, группы Ли С и R являются односвязными накрываю- накрывающими для С* и Т соответственно; см. пример 1 п. 4.3. (Как мы увидим в п. 4.5, накрывающие группы из других примеров п. 4.3 также односвязны.) Следствие. Фундаментальная группа связной группы Ли G коммутативна. Кроме того, можно доказать, что группа n\(G) имеет ко- конечное число образующих. 4.5. Исследование односвязности классических групп Ли. Для исследования односвязности конкретных групп Ли обычно 31
используется фрагмент точной гомотопической последователь- последовательности локально тривиального расслоения р : G->G/H (см. тео- теорему 3.1). Теорема 4.8. Пусть G —связная группа Ли, Я — ее под- подгруппа Ли. Тогда имеет место следующая точная последова- последовательность групп и гомоморфизмов: m(G/H)-+nx{H)-*nx{G)-+nx{G/H)-+H/№-+Q. A0) Гомоморфизм n\{G/H)-^-H/H° в последовательности A0) определяется следующим образом. Пусть {J — замкнутый путь в G/H с началом в точке р{е). Существует такой путь а в G с началом в точке е, что р(сс)=р. Связная компонента С группы И, в которой лежит конец пути а, зависит только от класса го* мотопии пути В. Этому классу сопоставляется элемент С~'б Н/Н°. Следствие. Если ni(G/H) =n2(G/H) =0, то (#) ,() Заметим, что условие «яг(^)=0» для какого-либо линейно связного топологического пространства X означает, что всякое непрерывное отображение двумерной сферы в X стягивается в точку. Приведем теперь таблицу фундаментальных групп некото- некоторых классических групп Ли SLn(C), SUn> Sp»(C) GLn(C), Un, Spn(R) SOn(C), SOn, GLn+(R), SLn(R) 0 Z Z2 при n>3, Z при n=2 •^Для групп GLn(C), SLn(C) и Spn(C) рассмотрим, как и при доказательстве предложения 4,4, их действие на О\{0}. Учитывая, что ni(Cn\{0}) =яг(Сп\{0}) =0 при п^2, получа- получаем при помощи следствия теоремы 4.8, что Для группы SOn(/C) при /г^З рассмотрим ее действие на -сфере Sn~l{К). Учитывая, что ni{S"-x{K))=n2{S*-1{K))=0 при /Ог4, получаем, что Аналогичным образом доказывается, что .32
Далее, так как группы SL2(C) и SU2 односвязны, то из при- примера 2 п. 4.3 следует, что Рассмотрим теперь действие группы GL + (R) на многооб- многообразии Рп положительно определенных симметричных матриц, определяемое линейным представлением Sq (см. п. 1.4). Это действие транзитивно, причем стабилизатором единичной мат- матрицы служит группа SOn. Так как многообразие Рп является (открытым) выпуклым конусом в векторном пространстве всех п(п+1) симметричных матриц, то оно диффеоморфно R 2 . Следо- Следовательно, Далее, так как GL+ (R) =SLn(R) X {кЕ : А,>0}, то i(n())i(()) Наконец, рассмотрим действие группы Spn(R) на Rn\{0}. Так как ni(R"\{0}) =n2(Rn\{0}) =0 при п>4, то ni(Spra(R))=ni(Sp2(R))=ni(SL2(R))~Z. Глава 2 СВЯЗЬ МЕЖДУ ГРУППАМИ ЛИ И АЛГЕБРАМИ ЛИ Основной метод теории групп Ли, позволяющий порази- поразительно просто получать глубокие результаты, состоит в сведе- сведении вопросов о группах Ли к некоторым вопросам линейной алгебры. Это достигается путем сопоставления каждой группе Ли G ее «касательной алгебры Ли» g, в значительной мере оп- определяющей группу G, и каждому гомоморфизму f: G-»-// групп Ли гомоморфизма df : g->-^ их касательных алгебр, в зна- значительной мере определяющего гомоморфизм /. Выражаясь на языке теории категорий, мы располагаем функтором из катего- категории групп Ли в категорию алгебр Ли, весьма близким по сво- своим свойствам к эквивалентности этих двух категорий. Отдавая дань основоположнику теории групп Ли, мы называем этот функтор (вслед за М. М. Постниковым [17]) функтором Ли. § 1. Функтор Ли 1.1. Касательная алгебра группы Ли. Наиболее непосредст- непосредственный способ определения касательной алгебры группы Ли G состоит в следующем. 3—8731 23 33
Выберем систему координат в окрестности единицы е группы G так, чтобы точка е имела нулевые координаты. Столбец ко- координат точки х будем обозначать через х. Рассмотрим разло- разложение Тейлора координат произведения ху. Так как еу—у и хе—х, то ()+(\\ + \у\% A) где а—билинейная векторнозначная функция. Меняя местами х и у, получаем /, х)+О(\х\3+\у?). B) Мы видим, что некоммутативность умножения в группе G мо- может проявляться только в членах степени ^2. Мерой неком- некоммутативности служит групповой коммутатор {х,у)=хух-1у~1. Члены второй степени в разложении Тейлора координат комму- коммутатора (х, у) легко находятся с помощью соотношения (х,у)ух—ху. Сравнивая A) и B), получаем где ; V (х, у)=а (х, у)—а. (у, х). D>| Определим теперь в касательном пространстве Te(G) били- билинейную операцию «коммутирования» (|, -ц) •-*- [|, т]] формулой [I. 'n]=Y A. Л). E) где 5 обозначает столбец координат касательного вектора 5 в системе координат пространства Te(G), ассоциированной с выбранной локальной системой координат на G. Данному определению можно придать бескоординатную орму. Пусть g{t) и h(s)—такие дифференцируемые пути в ', что Тогда i(s))|,_,.c G)| (Правая часть этого равенства имеет инвариантный смысл, так как при дифференцировании по t мы получаем при любом s элемент касательного пространства Te(G) и последующее диф- дифференцирование по s есть дифференцирование пути в Te(G).) Пространство Te(G), снабженное таким образом операцией коммутирования, называется касательной алгеброй группы Ли G и обозначается через д. Вообще, касательная алгебра группы Ли, обозначенной какой-либо прописной латинской буквой, обозначается соответствующей строчной готической буквой. Из определения ясно, что касательная алгебра антикомму- тативиа, т. е. удовлетворяет тождеству 34
]=О. (8) Касательная алгебра коммутативной группы Ли есть алгебра с нулевым умножением. Пусть А — (конечномерная) ассоциативная алгебра с еди- единицей е и G=A* — группа ее обратимых элементов. Группа G имеет естественную дифференцируемую структуру как открытое подмножество векторного пространства А. При этом она являет- является группой Ли и ее касательное пространство в любой точке естественным образом отождествляется с А. Тождество {е+а) (е+Ь) = е+а-\-Ь+аЬ показывает, что а(а, 6)=а6. Следовательно, операция коммути- коммутирования в алгебре g имеет вид [a,b]=ab—ba. В частности, если A — L(V) — алгебра линейных операторов в пространстве V, то A*=QL(V). Таким образом, касательная алгебра группы Ли GL(V) есть пространство L(V) с операцией коммутирования [X,Y]=XY—YX. (9) Она обозначается через gl (V). В матричном варианте получаем, что касательная алгебра группы Ли GLn(/C) есть пространство Ln(K) матриц с опера- операцией коммутирования (9). Она обозначается через Qln{K). Очевидно, что касательная алгебра подгруппы Ли группы Ли G есть подалгебра алгебры д. В частности, операция ком- коммутирования в касательной алгебре любой линейной группы Ли задается формулой (9). 1.2. Векторные поля на группе Ли. Возможно такое опреде- определение касательной алгебры группы Ли, при котором операция коммутирования возникает из коммутирования (скобки Ли) векторных полей. С помощью левых или правых сдвигов можно установить естественные изоморфизмы между касательными пространства- пространствами группы Ли G в различных точках. Пусть l(g) обозначает левый сдвиг на g, a r1 (g) —правый сдвиг на g. Для любого %&Th(G) положим gt=(dl(g)){t)cTgh{G), lg=(dr>(g))(t)eThg{G). Из ассоциативности умножения в группе вытекают следующие тождества: для любых g, heG, %eT(G). Если, в частности, G=A* — группа обратимых элементов ассоциативной алгебры А, то «произведения» g% и %g совпада- совпадают с произведениями в смысле алгебры А. 35
В локальной системе координат в окрестности единицы фор- формула A) после дифференцирования по первому или второму множителю в точке е дает (ieTe(G)), A0) (И) Для каждого lz,&Te(G) рассмотрим правоинвариантное век- векторное поле |# на G, определяемое формулой Очевидно, что отображение ||-^-|# является изоморфизмом век- векторного пространства Te(G) на векторное пространство Т% (G) всех правоинвариантных векторных полей на группе G, при- причем | = 1,(е). Так как операция коммутирования векторных полей инвари- инвариантна относительно любых диффеоморфизмов, то коммутатор правоинвариантных векторных полей также правоинвариан- тен. Таким образом, T%(G) — алгебра относительно операции коммутирования векторных полей1'. Эту алгебру можно счи- считать, по определению, касательной алгеброй группы G. А Докажем, что отображение | н+ |s является изоморфизмом алгебр. В локальной системе координат в окрестности единицы группы О имеем согласно A0): 1~&=1+а{1 2L-0 (|zp). A3) Следовательно, а это и означает, что [|#) т]#] = [§, т]]#. ► Известно, что операция коммутирования векторных полей удовлетворяет тождеству Якоби. Следовательно, и операция коммутирования в касательной алгебре g группы Ли G удов- удовлетворяет тождеству Якоби: [01, л], Е]4-Ил.Е], 1]+[В.61, л]=0. (И) Всякая алгебра с операцией [ , ], удовлетворяющей тождест- тождествам антикоммутативности (8) и Якоби A4), называется алгеб- алгеброй Ли. Таким образом, касательная алгебра любой группы Ли является алгеброй Ли. 1.3. Дифференциал гомоморфизма групп Ли. Пусть /: G->-#—гомоморфизм групп Ли. Из любого определения ка- касательной алгебры легко следует, что отображение def : g-Ч) является гомоморфизмом касательных алгебр. В тех случаях, ': Ч Определения коммутатора (скобки Ли) векторных полей в разных руководствах отличаются знаком. Мы принимаем следующее определение: [|, лЬ=2A1,д,6<-Б,д,тH,.т. е. [l~nl - 36
когда это не может привести к недоразумению, мы будем обоз- обозначать его просто через df. Пусть N — ядро гомоморфизма / и nc=g — его касательная алгебра. Согласно теореме 2.2 гл. 1 п есть ядро гомоморфизма df и, следовательно, — идеал алгебры д. Любая нормальная подгруппа Ли N группы Ли G является ядром канонического гомоморфизма р : G-+G/N. Поэтому ее ка- касательная алгебра п является идеалом алгебры д. Рассматривая гомоморфизм dp, находим, что касательная алгебра фактор- факторгруппы Ли G/N канонически изоморфна факторалгебре g/iu Гомоморфизм какой-либо алгебры Ли g в алгебру Ли gl( V) называется ее линейным представлением в пространстве V. Дифференциал линейного представления группы Ли является линейным представлением ее касательной алгебры в том же пространстве. Примеры. 1. Рассмотрим гомоморфизм Пользуясь явным выражением определителя, находим, что (dEuet) (X) =tr X, Следовательно, касательная алгебра zln(K) группы SLn(/() состоит из всех матриц с нулевым следом. 2. Дифференциалы линейных представлений Ad и Sq группы GLn(K), определенных в п. 1.4 гл. 1, имеют вид (dAd(X)) Y = XY—YX, (d Sq(X)) Y=XY+YX*. ■4 Для доказательства, скажем первой из этих формул, рас- рассмотрим путь E-\-tX в группе GLn(K). Имеем (E+tX)~l*=E—tX+O(t2), так что (Ad (E+tX)) У = (E+tX) Y {E—tX+O {?)) = = Y.+t(XY— YX)+O(P). ► Пусть R и S — линейные представления группы Ли G в про- пространствах V и U соответственно. Тогда d(R+S)(l)(v+u)=dR(l)v+dS(l)u, A5) ), A6) ^ A7) •^ Докажем, например, формулу A6). Пусть g(t)—диф- g(t)—дифференцируемый путь в группе G, удовлетворяющий условиям g@)=e,g/@)=l. Тогда (I) {v®u) == ± (RS) (g (t)) |,=0(г>®и) = = {dR(Z)v)®u-\-v®(dS(Z)u). ► 37
С помощью этих формул можно вычислить дифференциал произведения любого числа заданных линейных представлений и сопряженных к ним представлений и, в частности, диффе- дифференциал %h,i естественного линейного представления ТкЛ группы GL(V) в пространстве тензоров типа (k,l) (см. п. 1.4 гл. 1). Приведем интерпретации представлений т<ы и ты, получаю- получающиеся дифференцированием формул E) и F) гл. 1: »...,Xvh...,vt), A8) (t,., (X)F)(vu ...,v,) = XF (о„ ..., i>,)- ,vt). A9) 1.4. Дифференциал действия группы Ли. Хотя группа диф- диффеоморфизмов и не является группой Ли, но она, несомненно, имеет касательную алгебру, каковой является алгебра вектор- векторных полей. Соответственно этому дифференциал действия груп- группы Ли G на многообразии X должен быть гомоморфизмом ал- алгебры в в алгебру векторных полей на X. Его точное определе- определение дается ниже. Пусть задано действие а группы Ли О на дифференцируемом многообразии X. Каждому элементу |gg сопоставим векторное поле rfa(g) = g на X, определяемое формулой i(*)=rfax(§) = -|-gr(*)*l<=o, B0) где g(t)~ любой дифференцируемый путь в О, удовлетворяю- удовлетворяющий условиям g-(O) = e, g-7 @) = g. Поле | называется полем, скоростей действия а, отвечающим элементу §68- Отображение da является гомоморфизмом алгебры д в алгебру векторных полей на X. < Пусть g(t) и h(s) — дифференцируемые пути в G, удов- удовлетворяющие условиям F). Тогда в силу G) Дифференцируя по t, получаем вектор | {х) - dh (s) (i(h (s)~lx))eTx {X). Дифференцируя по s, получаем [Сц] (х) = (ц | -1 ц) (х) = [|, ц] (х). ► Примеры. 1. Если а = /? — линейное действие группы О в векторном пространстве V, то 28
где dR в правой части понимается как дифференциал линейно- линейного представления. 2. Группа SL2(/C) действует естественным образом на про- проективной прямой /СР'=ЛЦ{°°}: (ab\ ах + ь_ \cd) cx+d \zl) Алгебра $h(K) имеет базис £+~^0 0/' "~"\0—1/' £- \1 О/' Дифференцируя B1) по а, Ь, с, d, находим: ■^ л /^ | == 2jc £■ (г) = X • 1.5. Касательная алгебра стабилизатора. Следующая тео- теорема является переформулировкой одного из утверждений тео- теоремы 2.1 гл. 1. Теорема 1.1. Пусть задано действие а группы Ли G на дифференцируемом многообразии X, и пусть Ця—касательная алгебра стабилизатора Gx точки хЪХ. Тогда Эта теорема весьма эффективна для нахождения касатель- касательных алгебр подгрупп Ли. В частности, с помощью нее можно найти касательную алгебру линейной группы Ли, выделяемой условием сохранения какого-либо тензора. Примеры. 1. Группа G невырожденных линейных преоб- преобразований пространства V, сохраняющих заданную билинейную форму f, есть стабилизатор формы / при линейном представле- представлении Г0,2 группы GL(V). Применяя формулу A8), находим, что касательная алгебра группы G состоит из всех линейных преоб- преобразований пространства V, кососимметрических относительно f. 2. В случае, когда V—комплексное векторное пространство, аналогичное утверждение справедливо и для любой полу- торалинейной формы f. В частности, касательная алгебра груп- группы Un унитарных матриц состоит из всех косоэрмитовых мат- матриц. 3. Группа Aut 9t автоморфизмов конечномерной алгебры 91 есть стабилизатор структурного тензора алгебры 91 при линей- линейном представлении 7\,2 группы GL(9t). Применяя формулу A9), находим, что касательная алгебра группы Aut 91 состоит из всех линейных преобразований D пространства 91, удовлет- удовлетворяющих условию D(ab) = (Da)b+a(Db). Такие преобразования называются дифференцированиями ал- алгебры 91. Они, стало быть, образуют алгебру относительно опе- операции коммутирования (что, конечно, можно проверить и не- непосредственно). Эта алгебра обозначается через Der9t. 39
1.6. Присоединенное представление. Каждая группа и G имеет естественное линейное представление в своей касатель-j ной алгебре g. А именно, для любого элемента g&G рассмотрим определяемый им внутренний автоморфизм i группы G. Его дифференциал в точке е обозначим через Ad(g). Это автоморфизм алгебры д. Так как a(gig2) = =a(gi)a(g2), то отображение Ad:G-*GL(g), g~Ad(g), является линейным представлением группы G. Оно и назы- называется присоединенным представлением. } В обозначениях п. 1.2 можно написать i M(g)l=gtg-\ B2)! В частности, если G—Ax — группа обратимых элементов ас- ассоциативной алгебры А, то Ad(g) есть просто сопряжение! посредством элемента g в алгебре А. ! Дифференциал присоединенного представления группы Ли G есть линейное представление ее касательной алгебры g в про- пространстве д. Оно называется присоединенным представлением алгебры fi и обозначается через ad. Из формул A0) и (И) сле- следует, что ad (S) л =[|, Л]. B3) | Так как Ad(G)cAirtg, то ad(g)<=Ders (см. пример 3 п. 1.5).' С другой стороны, для всякой алгебры g с операцией [ , ] | можно по формуле B3) определить линейное отображение' ad:g->fli(9). Легко видеть, что при наличии антикоммутативно- антикоммутативности тождество Якоби в g эквивалентно любому из следующих свойств 1) отображение ad является гомоморфизмом алгебр; 2) ad(e)<=Dere. Тем самым мы получаем еще два доказательства (и два толкования) тождества Якоби в касательной алгебре группы Ли. С присоединенным представлением связаны следующие стандартные факты о централизаторах и нормализаторах. Предложение 1.2. Для любого элемента g&G его централизатор Z(g) является подгруппой Ли с касательной ал- алгеброй i(g)-{l4:M(g)l=l) B4) (называемой централизатором элемента g в алгебре д). -^Подгруппа Z(g) есть не что иное, как стабилизатор точ- точки g при действии а группы G на себе внутренними автомор- автоморфизмами. Следовательно, это подгруппа Ли. По теореме 1.1 ее касательная алгебра состоит из таких |% что da(Q (g)~0; но легко видеть, что 40
Предложение 1.3. Для любого элемента gGg его центра- централизатор Z(£) в группе G, определяемый формулой Z(S)=feeG:Ad(£)s=s}, B5> является подгруппой Ли с касательной алгеброй 8(|)={лев:и,л]=0} B6) (называемой централизатором элемента | в алгебре д). Предложение 1.4. Для любого подпространства J)<=g; его нормализатор NA)) в группе G, определяемый равенством N(b) = {g*G:Ad(g)№}, B7) является подгруппой Ли с касательной алгеброй »(*) = {&ев :[!,*]<=$} B8) (называемой нормализатором подпространства I) в алгебре д). 4 Утверждение получается применением к присоединенно- присоединенному представлению группы G следствия 2 теоремы 3.5 гл. 1.^ § 2. Интегрирование гомоморфизмов касательных алгебр В этом и следующих параграфах мы будем рассматривать пути в дифференцируемых многообразиях. Путь будет пони- пониматься как дифференцируемое отображение в данное много- многообразие (вещественное или комплексное) связного подмноже- подмножества вещественной прямой, не сводящегося к точке. В большин- большинстве случаев это подмножество (область определения пути) яв- явно указываться не будет. 2.1. Дифференциальное уравнение пути в группе Ли. Для любого пути g(t) в группе Ли G согласно п. 1.2 имеем B9) где 1@% Путь 1@ в алгебре g называется скоростью пути g(t). На равенство B9) можно смотреть как на уравнение для определения пути g(t) по его скорости 1@- В локальной систе- системе координат оно представляет собой систему обыкновенных дифференциальных уравнений первого порядка относительно координат g(t). Поэтому путь g(t) однозначно определяется своей скоростью 1@ и начальным условием g(to)=go- С дру- другой стороны, путь g(t)h при любом ftGG также удовлетворяет уравнению B9). Поэтому все решения этого уравнения получа- получаются друг из друга правыми сдвигами. Рассмотрим теперь вопрос о существовании решения урав- уравнения B9). Предложение 2.1. Пусть задано дифференцируемое ото- отображение /•-♦КО связного подмножества TcuR в алгебру д. 41
Тогда существует решение уравнения B9), определенное при всех tGT. -^ Достаточно доказать утверждение для случая, когда Т — отрезок. Далее, достаточно доказать, что существует такое е>0, что для любого №Т существует решение уравнения B9), определенное при \t—/0|<в. При этом ввиду инвариантности множества решений относительно правых сдвигов можно счи- считать, что g{to)=e- В системе координат в окрестности единицы группы G урав- уравнение B9) записывается в виде C0) где F — дифференцируемая векторнозначная функция, завися- зависящая лишь от выбранной локальной системы координат. Счи- Считая, что единица е имеет нулевые координаты, обозначим че- через R такое положительное число, что выбранная координатная окрестность содержит шар |Х|^7?. Положим, кроме того, С=тах|~Ш|, М= max \F(X, Y)\ /gr |Л-|<С|К|<Л Тогда в силу известной теоремы о существовании решения си- системы дифференциальных уравнений (см., например, [27]) урав- Г) нение C0) имеет решение, определенное при \t — ^o|<-i7' *вГ- Так как -гт не зависит от t0, то его и можно взять в качестве искомого е. ^ 2.2. Теорема единственности. Теорема 2.2. Гомоморфизм f связной группы Ли G в группу Ли Я однозначно определяется своим дифференциалом. А Любой элемент g£G можно соединить с единицей путем g{t), O^t^.1. Путь g(t) удовлетворяет уравнению B9) с на- начальным условием g{0) =-e. Применяя к этому уравнению го- гомоморфизм f, находим, что путь h(t)=f(g(t)) в группе Я удовлетворяет уравнению h'(t)=df(l(t))h(t) с начальным условием h@)=e. Тем самым определяется и элемент f(g)=ft(l).^ 2.3. Виртуальные подгруппы Ли. Как мы видели в п. 2.3 гл. 1, образ группы Ли при гомоморфизме не всегда является подгруппой Ли. Получаемые таким способом более общие под- подгруппы в некоторых случаях могут служить суррогатом под- подгрупп Ли. Назовем виртуальной подгруппой Ли группы Ли G под- подгруппу Я, наделенную структурой группы Ли таким образом, что тождественное вложение i: H-*-G является гомоморфизмом групп Ли. При этом будем считать, что алгебра \> вложена в алгебру g посредством гомоморфизма di. 42
Очевидно, что всякая подгруппа Ли (наделенная индуциро- индуцированной структурой группы Ли) является виртуальной подгруп- лой Лн. Если f:H-*-G— произвольный гомоморфизм групп Ли, то группа f(H), наделенная структурой группы Ли как фак- факторгруппа Я/Kerf, является виртуальной подгруппой Ли груп- группы G с касательной алгеброй df(t>). Топология виртуальной подгруппы Ли может быть отлична от топологии, индуцированной с объемлющей группы Ли. Это хорошо видно на примере плотной обмотки тора Тп, которая несет структуру (и, в частности, топологию) группы Ли R, но с любым непустым открытым подмножеством тора пересекается по неограниченному в R подмножеству. Однако из теоремы 2.2 гл. 1 следует, что в любой виртуаль- виртуальной подгруппе Ли Я существует окрестность V единицы, яв- являющаяся подмногообразием объемлющей группы Ли (и, в частности, имеющая индуцированную топологию), причем Te{V)=l). Топологию виртуальных подгрупп Ли в целом проясняет следующее Предложение 2.3. Пусть Я — виртуальная подгруппа Ли группы Ли G. Существует такая окрестность V единицы в группе Я и такое подмногообразие ScG, содержащее единицу, что отображение v : SXV>->-G, (s,h)i->-sh, является диффеомор- диффеоморфизмом прямого произведения SX.V на некоторую окрестность V единицы в группе G. При этом H[\U=TV, где T=Hf\S — не более чем счетное множество. Если окрестность V связна, то она является связной компонентой пересечения Hf\U в инду- индуцированной топологии. -^ Окрестность V и подмногообразие S строятся так же, как при доказательстве теоремы 3.1 гл. 1. Счетность Т выте- вытекает из того, что в группе Я не может быть более чем счетного семейства попарно не пересекающихся открытых подмножеств. Для доказательства последнего утверждения следует восполь- воспользоваться тем, что всякое счетное подмножество пространства Rn вполне несвязно.^ Следующая теорема позволяет получить характеризацию виртуальных подгрупп Ли вещественных групп Ли в топологи- топологических терминах. Теорема 2.4 ([56]). Всякая линейно связная подгруппа вещественной группы Ли является виртуальной подгруппой Ли. Следствие. Виртуальные подгруппы Ли вещественных групп Ли — это то же, что подгруппы, имеющие (в индуциро- индуцированной топологии) не более чем счетное число компонент ли- линейной связности. 2.4. Соответствие между подгруппами Ли и подалгебрами касательной алгебры. Теорема 2.5. Пусть Gi и G2 — виртуальные подгруппы Ли группы Ли G. Если G1CG2, то Gi — виртуальная подгруп- подгруппа Ли группы Ли G2 и flic:g2. Обратно, если giC сгдг и группа G\ связна, то G1CG2. 43
-^ Для доказательства первого утверждения теоремы нуж- нужно доказать, что тождественное вложение Gi в G2 дифференци- дифференцируемо. С помощью предложения 2.3, примененного к подгруппе G2, показывается, что достаточно малая связная окрестность единицы группы G\ содержится в окрестности единицы группы Ч/г, являющейся подмногообразием в G. Отсюда и вытекает требуемая дифференцируемость. Для доказательства второго утверждения рассмотрим путь g(t) в группе G] со скоростью \(t) и начальным условием g@)=e. Так как g(£)<=gi<=g2, То в гРУппе G2 существует путь с такой же скоростью и таким же начальным условием (пред- (предложение 2.1). Как путь в группе G он должен совпадать с g(t). Следовательно, g(t)£G2. ► Следствие 1. Если виртуальные подгруппы Ли совпа- совпадают как подмножества, то они несут одну и ту же структуру группы Ли. Следствие 2. Связная виртуальная подгруппа Ли од- однозначно определяется своей касательной алгеброй (как подалгеброй касательной алгебры объемлющей группы Ли). Не всякая подалгебра касательной алгебры является каса- касательной алгеброй какой-либо подгруппы Ли. Однако рассмот- рассмотрение виртуальных подгрупп Ли делает картину соответствия между подгруппами Ли и подалгебрами касательной алгебры более законченной. Теорема 2.6. Всякая подалгебра касательной алгебры группы Ли является касательной алгеброй некоторой (одно- (однозначно определенной) связной виртуальной подгруппы Ли. Доказательство этой теоремы будет дано в п. 5.3. Теорема 2.7. Нормализатор N(#) связной виртуальной подгруппы Ли Я в группе Ли G есть подгруппа Ли, касатель- касательная алгебра которой совпадает с нормализатором n(J)) подал- подалгебры I) в алгебре й- А Так как gHg-1 (g&G) есть связная виртуальная подгруп- подгруппа Ли с касательной алгеброй Ad(g)l), то N(#)=N(J)) и утверждение теоремы вытекает из предложения 1.4. ► Следствие. Связная виртуальная подгруппа Ли Я связ- связной группы Ли G нормальна тогда и только тогда, когда подалгебра I) является идеалом алгебры д. Теорема 2.8. Централизатор Z(H) связной виртуальной подгруппы Ли Я в группе Ли G есть подгруппа Ли, касатель- касательная алгебра которой совпадает с централизатором j(J)) подал- подалгебры I) в алгебре д. А Заменив G на N(#), можно считать, что Я —нормальная подгруппа. Ввиду теоремы 2.2 внутренний автоморфизм a(g) группы G тождествен на Я тогда и только тогда, когда его дифференциал Ad(g) тождествен на I). Таким образом, Z(H) есть ядро линейного представления Adi) группы G. Следова- Следовательно, это подгруппа Ли, а ее касательная алгебра совпадает 44
с ядром линейного представления adj алгебры д, т. е. с зШ- ► Следствие. Центр Z(G) связной группы Ли G есть (нор- (нормальная) подгруппа Ли, касательная алгебра которой совпа- совпадает с центром j(g) алгебры д. (Центром, алгебры Ли называется совокупность элементов, коммутатор которых со всеми элементами алгебры равен нулю.) 2.5. Деформация пути в группе Ли. Будем называть дефор- деформацией пути в дифференцируемом многообразии X дифферен- дифференцируемое отображение TXS-+X, (t,s)^x(t,s), где Т, ScrR— связные подмножества, не сводящиеся к точке. При этом будем считать, что s — параметр деформации, а ото- отображение t^x(t,s) при фиксированном s — деформируемый путь. Предложение 2.9. Пусть (t, s)<-+g(t, s)—деформация пути в группе Ли О. Определим элементы g (t, s), т) (i, sNg из равенств Тогда t, s) is u> sh ■^ Дифференцируя в координатах первое из равенств C1) по s, а второе — по t, и приравнивая результаты, получаем: *. C3) где g(t, s)^ и т)(^, s)* — правоинвариантные векторные поля, со- соответствующие i(t, s) и т)(^, s) (см. п. 1.2). Так как при |, т)бд Л*1* - 1V1* = IS*. Л*1 = [1". Л1*. то C3) эквивалентно C2). ► Элементы |(^,s) и r)(£,s) имеют следующий смысл: l(?,s) при фиксированном s есть скорость деформируемого пути, а ti(^s) есть скорость деформации. Равенство C2) можно рас- рассматривать как дифференциальное уравнение по t для скоро- скорости деформации, позволяющее определить ее по скорости пути при заданном начальном условии Tt\(to, s)=Tio(s). 2.6. Теорема существования. Теорема 2.10. Пусть G и Я — группы Ли, причем груп- группа G односвязна. Тогда для всякого гомоморфизма <р : д-И) существует такой гомоморфизм / : G-*~H, что £^/=ф. 45
определения образа элемента gbG соединим его с единицей путем g{t), O^f^l, и найдем скорость %(t) этого пути. Далее, рассмотрим в группе Я путь h(t), O^t^l, со скоростью <f(t{t)) н начальным условием h@)=e. Элемент f(g) будем считать по определению равным А(-1). Поскольку в выборе пути g(t) имеется произвол, необходи- необходимо доказать корректность данного определения. Это наиболее трудная часть доказательства теоремы. Пусть go(t) и gi{t)~два пути в группе G, соединяющих е с g. Обозначим через ho{t) и hi(t) соответствующие им пути в группе Я. Нужно показать, что АоA)—fti(l). Ввиду односвязности группы G существует деформация пу> ти go{t) в путь gi{t), т. е. дифференцируемое отображение (t, s) >->■ g(t, s) квадрата Q=[0, 1]X[O, lj в группу G, облада- обладающее следующими свойствами: 2) g{0,s)=e, g(l,s).=g. Определим элементы l(t,s), r\(t,sNg из равенств C1). Согласно предложению 2.9 они связаны соотношением C2). Кроме того, из свойства 2) следует, что ti@,s)=ti(l,s)-0. Определим теперь дифференцируемое отображение (t, s)i->- <-*h(t, s) квадрата Q в группу Н как решение дифференциаль- дифференциального уравнения по t с начальным условием h@,s)=e. Это будет деформация пути ho{t) в путь hi(t). Пусть ^(^s)e^ — скорость этой деформа- деформации, т. е. Согласно предложению 2.9 имеем Будем рассматривать последнее равенство как дифферен- дифференциальное уравнение по t для t,(t, s). Применив гомоморфизм <р к C2), мы обнаружим, что этому уравнению удовлетворяет ф(т](/, s)). Так как Ц<и)=<р(г)@,5))=0, то t,{t, s)=y{r\(t,s}). В частности, ?(l,sX=<p(r](l,s))=O. Это означает, что ft(l,s)=const и, следовательно, ho{l)=hi(l). Итак, мы определили отображение f'.G-*-H. Докажем, что f — гомоморфизм. 46
Пусть gi(t) и g2(t), 0<^l, — пути в группе G, соединя- соединяющие е с gi и #2 соответственно, |i(/) и |г@—их скорости. Путь, соединяющий е с gig2, может быть определен равен- равенствами (При подходящем выборе путей g{ (t) и g2 @ отображение t<-+g(t) будет дифференцируемым.) Его скорость %(t) опреде- определяется равенствами 2&B0 0<*<1, —i), у«<1. Следовательно, если hi(t), h2(t) и h(t)— пути в группе //, со- соответствующие путям gi@> £2 (О и g(t), то 'As B*), 0</<4-. 2 В частности, f (8182) = С помощью замены параметра получается, что любой путь g(t)£G со скоростью |(f) и начальным условием 8ф)~е пере- переходит при отображении f в путь h(t)£H со скоростью <р(|@) и начальным условием й@)=е. Следовательно, отображение f дифференцируемо и def=y. ► Следствие. Односвязная группа Ли определяется с точ- точностью до изоморфизма своей касательной алгеброй. Справедлива также следующая теорема, различные доказа- доказательства которой будут даны в одном из следующих томов на- настоящей серии (см. также [17]). Теорема 2.11. Всякая конечномерная вещественная (комп- (комплексная) алгебра Ли является касательной алгеброй некоторой вещественной (комплексной) группы Ли. 2.7. Коммутативные группы Ли. Векторная группа Ли /С™ является той единственной односвязной группой Ли, касатель- касательная алгебра которой коммутативна". Следовательно, любая связная коммутативная группа Ли изоморфна группе Ли ви- вида Кп/Т, где Г — дискретная подгруппа группы Кп (см. теоре- теорему 4.7 гл. 1). Если Fi и Г2—две дискретные подгруппы груп- группы Кп, то группы Ли Kn/Ti и /Сп/Г2 изоморфны тогда и только тогда, когда существует автоморфизм группы Ли Кп (т. е. не- *' Коммутативная алгебра Лн —это алгебра с нулевым умножением. 47
вырожденным линейное преобразование векторного пространст- пространства Кп), переводящий 1\ в Гг. Всякая дискретная подгруппа группы R™ с помощью подхо- подходящего автоморфизма переводится в одну из подгрупп Tk = {{хи ...,xk,0,...,0)eR«:xu..., xkdZ}, где k—0, l,...,n, []22]. Отсюда получается следующая клас- классификация связных коммутативных вещественных групп Ли. Теорема 2.12. Всякая связная коммутативная веществен- вещественная группа Ли изоморфна группе Ли вида TfeXR'. Классификация коммутативных комплексных групп Ли зна- значительно сложнее. Например, всякая связная одномерная комп- комплексная группа Ли изоморфна одной из групп Ли С, C/Z~C* и ;4(u)=C/(Z+Zu), где мбС, 1тм>0, причем группы Ли А(и) и A(v) изоморфны (как комплексные группы Ли) тогда и только тогда, когда аи + Ь , ab, v U) Таким образом, связные компактные одномерные комплексные группы Ли параметризуются точками фактормножества верх- верхней полуплоскости комплексного переменного по модулярной группе Клейна, которое, как известно, наделяется естественным юбразом структурой комплексной плоскости С. § 3. Экспоненциальное отображение 3.1. Однопараметрические подгруппы. Путь g(t) в группе Ли G, определенный при всех t£R, называется однопараметри- ческой подгруппой, если g{t+s)=g(t)g(s) (и тогда автоматически g@)=e, g(—t) =g(t)~i). Иначе гово- говоря, однопараметрическая подгруппа — это гомоморфизм в G группы Ли R. Иногда, однако, однопараметрической подгруппой называют образ такого гомоморфизма. Однопараметрическая подгруппа в этом смысле является виртуальной подгруппой Ли (но может не быть настоящей подгруппой Ли). Предложение 3.1. Путь g(t) в группе Ли G является однопараметрической подгруппой тогда и только тогда, когда его скорость \{t) постоянна и g@)=e. 4 Пусть g(t) —путь со скоростью |@ и начальным услови- условием g@)=e. При любом sGR путь gs(t)=g(t-\-s) имеет скорость |s(O=S(*+s) и Удовлетворяет начальному условию gs@) = =g(s). Отсюда следует, что если %{t)= const, то gs(t) = =g(t)g{s). Обратно, если gs{t)=g{t)g{s) при всех SGR, то ga(f) =l(t) при всех SGR, т. е. £(t) = const. ► 48
Для всякого Щ обозначим через gi(t) однопараметричес- кую подгруппу со скоростью 1(£) = |. Вектор -| будем называть ее направляющим вектором. Если G=A* — группа обратимых элементов ассоциативной алгебры Л, то . . , ,,, ga(t)=expta, где экспонента понимается как сумма ряда: 2йГ /г=0 (В случае, когда А —алгебра матриц, этот факт составляет со- содержание теории систем линейных дифференциальных уравне- уравнений с постоянными коэффициентами.) Однопараметрические подгруппы векторной группы Ли Кп — это одномерные подпространства векторного пространст- пространства Кп. Бйлее точно, gv(t)=tv (при обычном отождествлении Т0(Кп) сКп). 3.2. Определение и основные свойства экспоненциального отображения. Для произвольной группы Ли G положим по оп- определению ехр |=£*(!) (See). Определенное таким образом отображение ехр : Q-*-G называет- называется экспоненциальным отображением. В случае, когда G — груп- группа обратимых элементов ассоциативной алгебры, оно совпадает с отображением, определенным с помощью ряда C4). В случае, когда G — векторная группа Ли, экспоненциальное отображе- отображение тождественно. Путем линейной- замены параметра t получаем, что &@=ехр*6. C5) Теорема о дифференцируемой зависимости решений систе- системы дифференциальных уравнений от параметров показывает, что отображение ехр дифференцируемо, а из C5) следует, что его дифференциал в нуле есть тождественное отображение. От- Отсюда, в свою очередь, вытекает Предложение 3.2. При экспоненциальном отображении ехр : g-»-G некоторая окрестность нуля алгебры g диффеоморфно отображается на окрестность единицы группы G. Аналогичным образом доказывается следующее более общее утверждение. Предложение 3.3. Пусть g = ai®...®afc—разложение алгебры g в прямую сумму подпространств. Тогда при отобра- отображении . Si+ • ■ • +th<-+ ехр |) ... ехр 1ь (iie<tf) некоторая окрестность нуля алгебры g диффеоморфно отобра- отображается на окрестность единицы группы G. 4—8731 23 49
Указанные свойства экспоненциального отображения позво- позволяют выделить некоторые специальные системы координат в. окрестности единицы группы G. А именно, пусть {еи ..., еп} — базис алгебры д. Тогда каждое из отображений .. exp t,pn задает диффеоморфизм некоторой окрестности нуля простран- пространства Кп на окрестность единицы группы G. Определяемые та- таким образом координаты, в окрестности единицы группы G на- называются каноническими координатами первого и второго рода соответственно. В целом экспоненциальное отображение не обладает, вооб- вообще говоря, никакими хорошими свойствами. Как мы увидим в следующих пунктах, оно может не быть сюръективным, инъективным, открытым и т. д. При гомоморфизме / групп Ли однопараметрическая под- подгруппа с направляющим вектором | переходит в однопарамет- рическую подгруппу с направляющим вектором d/(|). Следова- Следовательно, f(exp|)=expdf(l). C6) (Это означает, что в канонических координатах первого рода всякий гомоморфизм групп Ли записывается как линейное отображение.) В частности Ad(exp|)=expad(|). C7) Пример. Рассмотрим гомоморфизм det: GLn(K)-*-K*- Так как rf det—tr (пример 1 п. 1.3), то detexpX=etrX (XeLn(K)). Свойство мультипликативности, характеризующее обычную экспоненту, для экспоненциального отображения в группах Ли выполняется лишь в ограниченном виде. Предложение 3.4. Если [|, ц] =0, то ■^Если [%, т)]=0, то существует гомоморфизм f : K?-*-G, для которого df (а, Ь)=а|+Ьт) (теорема 2Л0). Поэтому утвержде- утверждение достаточно доказать для векторной группы; но в этом слу- случае оно очевидно. ► В частности, если группа G коммутативна, то отображение ехр является гомоморфизмом векторной группы g в группу G. 3.3. Дифференциал экспоненциального отображения. Для вычисления дифференциала отображения ехр: g-»-G в точке |бд рассмотрим деформацию пути в группе G, определяемую формулой ()/A) C8) (так что при любом s деформируемый путь является однопа- раметрической подгруппой). Имеем (rf5exp) (tj) =г)A)ехр |, где 50
t\(t)=i\[t,O)—скорость деформации C8) при s=0. Так как скорость деформируемого пути равна |(/, s) = |+st), to соглас- согласно предложению 2.9 имеем ^ Л'@* [6,4@1+4 C9). при начальном условии г)@) =0. Решение уравнения C9) может быть записано в виде где -ехр \Г~ для линейного оператора А понимается как сумма ряда ехр Л — l^ A — В частности, при / = 1 получаем (dt ехр) (г,) = €ХР ad^l) (т° еХр Ь D0> (Эта формула является частным случаем формулы Хелгасона [34] для дифференциала экспоненциального отображения в произвольном пространстве линейной связности.) Из формулы D0) следует, что ядро линейного отображения djexp в случае К=С есть сумма собственных подпространств оператора ad(|), отвечающих собственным значениям вида 2nik, где keZ, &Ф0, а в случае /C=R — вещественная часть этой суммы. Размерность этой суммы обозначим через v(|). Теорема 3.5 ([48]). Отображение ехр : g-»-G является ло- локальным диффеоморфизмом в точке |бд тогда и только тогда, когда оператор ad(|) не имеет собственных значений вида 2nik, где keZ, кф§. Если это условие не выполнено, то отобра- отображение ехр не только не является локальным диффеоморфизмом,, но и не открыто в точке |. Множество ехр-1(ехр|) есть замкну- замкнутое подмногообразие" алгебры д. Его связная компонента, со- содержащая |, совпадает со связной компонентой множества Ad (Z(ехр|))| и имеет размерность v(!). 3.4. Экспоненциальное отображение в полной линейной груп- группе. Легко видеть, что экспонента жордановой клетки с собст- собственным значением К подобна жордановой клетке с собственным значением е\ Поэтому экспоненциальное отображение в груп- группе GLn(C) сюръективно. Экспоненциальное отбражение в груп- группе GLn(R) не сюръективно; его образ состоит из матриц, для каждого отрицательного собственного значения которых числа жордановых клеток каждого порядка четно. Этот образ не от- отмыт и не пплтен в GLn(R). '> Это подмногообразие может быть смешанным, т. е. иметь связные компоненты разных размерностей. 4* 51
Экспоненциальное отображение в группе SLn(C) не сюръ- ективно. Его образ плотен, но он не содержит, например, жор- дановой клетки с собственным значением, отличным от 1 (но являющимся корнем n-ой степени из Г). Однако в группе PSLn(C) =PGLn(C) экспоненциальное отображение сюръектив- но, как и в GLn(C). Образ экспоненциального отображения в труппе SLn(R) описывается так же, как в GLn(R). В каждой из групп GLn(C), GLn(R), SLn(R) экспоненци- экспоненциальное отображение задает диффеоморфизм открытого подмно- подмножества касательной алгебры, состоящего из матриц, все собст- собственные значения К которых удовлетворяют условию |Im X |<С <я, на открытое подмножество группы, состоящее из матриц, не имеющих отрицательных собственных значений [47]. 3.5. Теорема Картана. Одним из применений экспоненциаль- экспоненциального отображения является доказательство следующей теоре- теоремы, дающей топологическую характеризацию подгрупп Ли ве- вещественных групп Ли. Теорема 3.6 (Теорема Э. Картана). Всякая замкнутая подгруппа вещественной группы Ли является подгруппой Ли. •4Пусть Н — замкнутая подгруппа вещественной группы Ли G. Обозначим через Т совокупность элементов 1бд, для ко^ торых существуют такие последовательности |„бд и cnGR, что ^„->0, с„|„->| и ехр |„6Я. Легко видеть, что числа с„ можно считать целыми. При этом условии получаем: ехр | = lim (ехр |„) с„б#. Кроме того, для любого aGR имеем асп£,п-*-а£„ так что al^T1. Пусть |, г\£Т. Рассмотрим путь h(t) =exp £| ехр /т)бЯ. Для достаточно малых t имеем h(t) =exp £(i), гДе Б@ —ПУТЬ в алгебре д, причем Следовательно, Таким образом, Т—подпространство в алгебре g и ехр Т<пН. Пусть Sczq — дополнительное подпространство. Рассмотрим ото- отображение Согласно предложению 3.3 оно задает диффеоморфизм некото- некоторой окрестности U нуля алгебры з на окрестность единицы группы G. Докажем, что если окрестность U выбрана достаточ- достаточно малой, то ЯПф(£/)=ч>(ГП£/) (=ехр(ТП1/))'. D1) Предположим, что равенство D1) не имеет места ни при каком выборе окрестности V. Тогда существует такая последо- 52
вательность t]nGS\{0}, что т)п-*-0 и ехр т)„бЯ. Перейдя к под- подпоследовательности, МОЖНО ДОбИТЬСЯ ТОГО, ЧТОбЫ CnT)n->-TNS\ \{0} для некоторых cn6R; но тогда т)бГ, что невозможно. ► Комплексный аналог теоремы Картана неверен, поскольку любая вещественная подгруппа Ли комплексной группы Ли замкнута, но не обязательно является комплексной подгруппой Ли. 3.6. Подгруппа неподвижных точек автоморфизма группы Ли. В специальной ситуации, когда Н есть подгруппа непо- неподвижных точек какого-либо автоморфизма, экспоненциальное отображение позволяет не только доказать, что Я — подгруппа Ли, но и найти ее касательную алгебру, причем это в равной мере применимо к вещественным и комплексным группам Ли. Теорема 3.7. Пусть а — автоморфизм группы Ли G. Тогда — подгруппа Ли с касательной алгеброй ■4 Утверждения теоремы непосредственно следуют из пере- перестановочности автоморфизма а с экспоненциальным отображе- отображением (формула C6)). ► § 4. Автоморфизмы и дифференцирования 4.1. Группа автоморфизмов. Пусть G — группа Ли, AutG — группа ее автоморфизмов (как группы Ли), Autg— группа автоморфизмов ее касательной алгебры. Если группа G связна, то отображение d : Aut G-»-Aut g, со- сопоставляющее каждому автоморфизму группы G его диффе- дифференциал, является вложением (теорема 2.2), а если G одно- связна,— то и изоморфизмом (теорема 2.10). Группа Autg яв- является линейной группой Ли (пример 3 п. 2.2 гл. 1). Поль- Пользуясь этим, можно в случае односвязной группы G перенести структуру группы Ли с Aut g на Aut G. При этом действие группы Aut G на G будет дифференцируемым. В общем случае имеет место Предложение 4.1. Для любой связной группы Ли G группа dfAutG является подгруппой Ли группы Autg. ■4 По теореме 4.7 гл. 1 имеем Q = QlN, где G-—односвяз- ная группа Ли с той же касательной алгеброй, а N—ее дискретная центральная подгруппа. Группа AutG отождествляет- отождествляется естественным образом с подгруппой группы Aut Q, состоящей из автоморфизмов, переводящих N в себя. Она содержит под- подгруппу Н, состоящую из автоморфизмов, тождественных на N. По теореме 4.2 гл. 1 Н является подгруппой Ли группы AutG (как пересечение стабилизаторов точек из N), а из 53
дискретности N следует, что в некоторой окрестности единицы группы AvAG подгруппы AutG и //совпадают. ► Тем самым, для любой связной группы Ли G группа! Aut G наделяется естественной структурой группы Ли. Внутренние автоморфизмы группы G образуют в Aut (| нормальную подгруппу, изоморфную G/Z, где Z — центр груш пы G, и обозначаемую через Int G. Если группа G связна, то группа d Int G=Ad(G) зависит только от алгебры g (см. п. 4.2) и является нормальной под» группой группы Aut g. Она называется группой внутренних автоморфизмов алгебры g и обозначается через Intg. Как образ группы G при ее присоединенном представлении, группа Int g является виртуальной подгруппой Ли (но может не быть настоящей подгруппой Ли) группы Aut g. Соответственно этому группа Int G является виртуальной подгруппой Ли группы AutG. Факторгруппу Aut G/Int G (которую можно наделить есте- естественной структурой группы Ли, если Int G является подгруп- подгруппой Ли в AutG), допуская вольность речи, называют группой внешних автоморфизмов группы Ли G. Аналогично, фактор*! группу Aut g/Init g называют группой внешних автоморфизмов алгебры д. В случае односвязной группы G имеется естествен- естественный изоморфизм Aut G/Int G^ Aut g/Int g. ; Примеры. 1. Пусть G — связная коммутативная группа Ли. Тогда Autg=GL(g), Intg={£}, а группа dfAutG состой1! из автоморфизмов алгебры д, сохраняющих ядро экспоненци^ ального отображения (каковым может быть любая дискретна^ лодгруппа векторной группы д). 1 2. Пусть G — группа Ли, образованная матрицами вида! Ее касательная алгебра g имеет базис {Х{,..., Хп, Yi,..., Ynt Z}, для которого [Хг, Yi]=Z, а остальные коммутаторы базису ных векторов равны 0. (Такая алгебра Ли называете^ алгеброй Гейзенберга.) Подпространство &=<Z> является центром алгебры д. Любой автоморфизм должен переводить его в себя, т. е. умножать Z на число с^О, и индуцировать в g/j линейное преобразование, умножающее на с~' кососимметриче- скую билинейную форму f, определяемую по следующему пра-| вилу: f(Xi, Yt) = l, а значения f на остальных парах базисных векторов равны 0. Обратно, всякое линейное преобразование 54
алгебры g с этими свойствами является автоморфизмом. Что касается внутренних-автоморфизмов, то они имеют вид X\>-* Xi -{- atZ, Yi>-*-Yl-\-biZ, Z>-*Z. Группа Intg является подгруппой Ли группы Autg и изо- изоморфна векторной группе К2п. Факторгруппа Atrtg/Intg есть расширение группы Sp2n(^C) посредством группы К*- 3. Пусть G —группа аффинных преобразований прямой. Эта группа Ли изоморфна группе матриц вида [q \) (гДе вт^О), базис касательной алгебры которой составляют матрицы X=(q qJ и ^=(о о)> удовлетворяющие соотношению [X, Y\=Y. Непосредственно проверяется, что Autg=Ad(G)^G. В ком- комплексном случае группа G связна и Intg=Ad(G)=Aut g. В вещественном случае группа G состоит из двух связных ком- компонент (различающихся знаком а) и Intg=Ad(G°)—подгруп- Intg=Ad(G°)—подгруппа индекса 2 в Autg. В обоих случаях Aut G=Int G. 4.2. Алгебра дифференцирований. Касательной алгеброй группы Auitg является алгебра Derg дифференцирований ал- алгебры g (пример 3 п. 1.5). Касательной алгеброй группы Intg является образ алгебры g при гомоморфизме ad=dfAd. Это, в частности, показывает (см. следствие 2 теоремы 2.5), что груп- группа Intg не зависит от выбора группы G среди связных групп Ли, имеющих g своей касательной алгеброй. Дифференцирования вида ad(|), |6g, называются внут- внутренними дифференцированиями алгебры д. Они образуют идеал в алгебре Der g. Более точно, D2) для любых DGDer g, |6g. 4.3. Касательная алгебра полупрямого произведения групп Ли. Полупрямым произведениям групп Ли (см. п. 3.5 гл. 1) от- отвечают полупрямые суммы" алгебр Ли. Полупрямой суммой алгебр Ли gi и д2 называется прямая сумма векторных пространств gi и д2, наделенная структурой алгебры Ли по формуле I(?i> Ы> Oii> Tl2)] = (Ili. 4i] + Р (£2) t]i— PObHi. [|г. 112])» где р—некоторый гомоморфизм алгебры Ли д2 в алгебру Ли Мы будем обозначать ее через gi-Bg2 или, точнее, через У Элементы вица (gb 0) (соответственно *@, |2)) образуют gi-Bg2 подалгебру, изоморфную & (соответственно д2), которую ') Впрочем, с одинаковым успехом их можно называть и полупрямыми произведениями. 55
мы будем отождествлять с 9i (соответственно с д2). Подалгебра Qi является идеалом, причем Подалгебра д2 является идеалом тогда и только тогда, когда р = 0; в этом случае полупрямая сумма совпадает с прямой: суммой 8i ©02- Пример. Пусть К —некоторое векторное пространство, рассматриваемое как коммутативная алгебра Ли. Тогда DerK=gI(V)- Для любого линейного представления р:д-> -*-${V) алгебры Ли g можно образовать полупрямую сумму V-эд, в которой V будет коммутативным идеалом. р Говорят, что алгебра Ли g разлагается в полупрямую сумму подалгебр g, и д2, если 1) подалгебра д! является идеалом: 2) алгебра д как векторное пространство является прямой суммой подпрбстранств д! и д2. В этом случае имеет место изоморфизм Р где p:g2->Derg! —гомоморфизм, определяемый формулой D3). В этой ситуации мы будем писать g=g1-Dg2 или g = g23-gi. Предложение 4.2. Касательная алгебра полупрямого произведения Gi><lG2 групп Ли GY и G2 есть полупрямая; ь сумма gi~Bg2 их касательных алгебр gi и д2. При этом p=rfS, где 6:G2-*Aut g! — гомоморфизм групп Ли, определяемый усло- условиям B{g2) = d(b(g2)). Примеры. 1. Пусть R:G-*-OL(V) — линейное представле- представление группы Ли G. Касательной алгеброй полупрямого произве- произведения V><]G является полупрямая сумма V-&Q, где p = d/?. R Р 2. Группа Ли OA(V) аффинных преобразований векторного пространства V изоморфна полупрямому произведению- V><]OL(V) (пример 2 п. 3.6 гл. 1). Соответственно этому ее Id касательная алгебра изоморфна полупрямой сумме V-9gI(V),. Id где id —тождественное линейное представление алгебры gI(V^ в пространстве V- Предложение 4.3. Пусть Gx и G2 — бдносвязные группы. Ли. Для любого гомоморфизма P:g2-*Dergi существует такой, гомоморфизм 6:G2->AutGi, что определяемое им действие группы G2 на Gi дифференцируемо и касательная алгебра полупрямого произведения Gi><\G2 есть Й1-Э02- ь р •4 Искомый гомоморфизм b получается из р «интегрирова- «интегрированием»—процедурой, обратной к той, которая описана в фор- формулировке предложения 4.2. ► 56
§ 5. Коммутант и радикал 5.1. Коммутант. Напомним, что коммутантом группы G на- называется подгруппа (G, G) — G', порожденная всеми коммута- коммутаторами (g,h)=ghg'lH~l(g,heG). Эта подгруппа нормальна и является наименьшей нормальной подгруппой, факторгрупна по которой коммутативна. Коммутантом алгебры Ли g называется подпространство [g, g]=g', порожденное всеми коммутаторами [S, л] (?> "П6 бд). Это наименьший идеал, факторалгебра по которому ком- коммутативна: Теорема 5.1. Коммутант G' связной группы Ли G яв- является связной виртуальной подгруппой Ли с ' касательной алгеброй д'. Если группа G односвязна, то G' — настоящая подгруппа Ли. •4 Пусть вначале G — односвязная группа Ли. Рассмотрим факторалгебру g/g'. Она коммутативна и потому является каса- касательной алгеброй некоторой векторной группы Ли V. По теоре- теореме 2.10 канонический гомоморфизм <р : g->-g/g' является диффе- дифференциалом некоторого гомоморфизма f: G-+V. Ядро гомомор- гомоморфизма / обозначим через Н. Это нормальная подгруппа Ли, ка- касательная алгебра которой совпадает с ядром гомоморфизма <р, т. е. с fl'. Так как факторгруппа G/H^V коммутативна, то #=dG'. Из точной последовательности A0) гл. 1 следует, что подгруппа Я связна. Покажем, что некоторая ее окрестность единицы содержится в G'; отсюда будет следовать, что #=G' (см. следствие теоремы 4.1 гл. 1). Лемма 5.2. Для любых g, rNg существует путь g(t) клас- класса С1 в группе G, определенный в некоторой окрестности нуля и обладающий следующими свойствами: @'@)[] ) g()g()[i] 2) при любом t элемент g(t) является коммутатором в группе G. •4Пусть x(t) и y(t) @^/<Ce) —такие пути в группе G, что х@)=у@) = е, д^@)=|, у'@)—У]. Тогда можно взять Выберем теперь базис {£ь ..., £„} пространства g' над R, состоящий из коммутаторов. Пусть gi(t), |/|<eir — путь, удовлетворяющий условиям леммы для [|, г]}=£(. Обозначим через U окрестность нуля в пространстве R", выделяемую неравенствами |^|<е4, и рассмотрим отображение Из свойств путей gt(t) вытекает, что dof есть изоморфизм ка- касательных пространств над R. Следовательно, f(U) и, тем бо- более, G' содержит некоторую окрестность единицы группы Н. 57
Для произвольной связной группы Ли G утверждение теоремы вытекает из существования односвязного накрытия p:C?-*G и того уже доказанного факта, что G' —подгруппа Ли группы G> Следствие. Если G — связная группа Ли и q'—Q, то Примеры. 1. Пусть £4j(l<i, js^n) —матричные единицы. Соотношения [E{i—EiU Eu]=2Eih [Eih Еи]=Еи—Ец показывают, что 5ln(K)'=5ln(/C). Так как tr[X, У]=0 для любых матриц X, У, то $ln(K)'—9ln(K). Следовательно, коммутант группы GLn(K) равен SLn(K), а коммутант группы SLn(/C) совпадает с ней самой. 2. Пусть Я — группа унитреугольных вещественных матриц 3-го порядка. Коммутант ее касательной алгебры одномерен: он порождается матричной единицей £13. Рассмотрим группу Ли G=(#XT) /N, где N — циклическая подгруппа, порожден- порожденная элементом (ехр £13, сN#ХТ. Если с — элемент бесконеч- бесконечного порядка в группе Т, то коммутант группы G является плотной обмоткой двумерного тора ({ехр f£i3}XT) /N. Этот пример показывает, что коммутант неодносвязной группы Ли может не быть настоящей подгруппой Ли. 5.2. Замыкание Мальцева. В касательной алгебре группы Ли могут существовать подалгебры, не отвечающие никаким подгруппам Ли. Например, одномерная подалгебра касатель- касательной алгебры группы Тп, натянутая на элемент \iau ..., ian), где аи ..., an6R, является касательной алгеброй некоторой подгруппы Ли тогда и только тогда, когда числа ai, ...,an| соизмеримы. Тем не менее, как мы сейчас увидим, всегда суще-i ствует подгруппа Ли, касательная алгебра которой лишь; «ненамного больше» заданной подалгебры. Пусть !j — произвольная подалгебра касательной алгебры группы Ли G. В силу теоремы 4.2 гл. 1 Существует наимень- наименьшая подгруппа Ли группы G, касательная алгебра которой содержит %. Эту касательную алгебру мы будем называть за- замыканием Мальцева подалгебры % и обозначать через %м. Теорема 5.3 (А. И. Мальцев [12]). Пусть J) — подалгебра касательной алгебры группы Ли и 1>м — ее замыкание Маль- Мальцева. Тогда A>м)'«=!)'. •^Применим следствие 3 теоремы 3.5 гл. 1 к присоединен- присоединенному представлению группы G, взяв в качестве U и W под- подпространства % и Y соответственно. Мы получим, что tf,=feeG: (Ad (я)-£)*<=*'} есть подгруппа Ли с касательной алгеброй h={&ee:adF)*ciy}. Так как I>ci!ji, то и $Mah, т. е. ![1>м, lj]cil>'. Взяв теперь в каче- качестве U подпространство У*, мы аналогичным образом получим, что [1>м, 1>м]сГ> 58
Операция перехода к замыканию Мальцева, очевидно, ин- инвариантна относительно группы d Aut G. В частности, она ин- инвариантна относительно внутренних автоморфизмов алгебры д, откуда следует, что замыкание Мальцева идеала есть идеал. 5.3. Строение виртуальных подгрупп Ли. В этом пункте мы докажем, используя замыкание Мальцева, теорему о существо- существовании виртуальной подгруппы Ли с заданной касательной ал- алгеброй (теорема 2.6) и одновременно получим некоторое опи- описание всех виртуальных подгрупп Ли. ■4 Пусть 1>— подалгебра касательной алгебры группы Ли G. Докажем, что существует связная виртуальная подгруппа Ли HcG, имеющая !j своей касательной алгеброй. Положим f=l)HiVf По теореме 5.3 V = V- Пусть FezG — связная подгруппа Л, имеющая f своейз касательной алгеброй, и F — ее односвязная накрывающая группа Ли. Так как FIF' есть векторная группа, то в ней существует связная подгруппа Ли (подпространство векторного пространства) с касательной алгеброй !j/$'cf/?'. Следовательно, в самой группе F существует связная подгруппа Ли Я с касательной алгеброй \>. Образ этой подгруппы в F и будет искомой виртуальной подгруппой Ли группы О. ► В ходе доказательства фактически получено следующее описание связных виртуальных подгрупп Ли. Теорема 5.4. Для всякой связной виртуальной подгруппы Ли Н группы Ли О существует такая связная подгруппа Ли F группы G и такая связная подгруппа Ли Н односвязной накры- накрывающей группы Ли F, содержащая ее коммутант F', что Н=р(Н), где p:F-+F — накрывающий гомоморфизм. (Легко видеть, что //—односвязная накрывающая группа Ли для Н.) Пользуясь этим описанием, нетрудно доказать следующий аналог теоремы 4.2 гл. 1 для виртуальных подгрупп Ли. Теорема 5.5. Пересечение H—f\H^ произвольного V семейства {//v} виртуальных подгрупп Ли является виртуальной подгруппой Ли с касательной алгеброй Ь==ПЬу V ■^ Доказательство сводится к случаю двух подгрупп совер- совершенно так же, как доказательство теоремы 4.2 гл. 1. Кроме того, если одна из двух подгрупп является настоящей под- подгруппой Ли, то утверждение теоремы вытекает из теоремы 3:5 гл. 1 (ср. доказательство следствия 1 этой теоремы). ► Для полноты картины приведем также следующую теорему. Теорема 5.6. Подгруппа Н, порожденная произвольным семейством {//v} связных виртуальных подгрупп Ли, является связной виртуальной подгруппой Ли, причем ее касательная 59
алгебра I) совпадает с подалгеброй, порожденной семейством подалгебр {I)v}. ■4 Пусть $—подалгебра, порожденная семейством подалгебр {I)v}, и Я—связная виртуальная подгруппа Ли, имеющая 1) своей касательной алгеброй. Очевидно, что НаН. Далее, обобщив лемму 5.2 на коммутаторы -произвольной длины, можно показать так же, как и при доказательстве теоремы 5.1, что Н содержит некоторую окрестность единицы группы Н- Отсюда следует* что Я = #. ► В силу теоремы Э. Картана (теорема 3.6) виртуальная под- подгруппа Ли (как- в вещественной, так и в комплексной группе Ли) является настоящей подгруппой Ли тогда и только тогда, когда она замкнута. Отметим следующий результат [12]: вир- виртуальная подгруппа Ли замкнута тогда и только тогда, когда содержит замыкание любой содержащейся в ней однопарамет- рической подгруппы. 5.4. Взаимный коммутант. Взаимным коммутантом нормаль- нормальных подгрупп Gi и G2 группы G называется подгруппа (Gu G2), порожденная всеми коммутаторами (gu§2), где gi^Gi, g^G2. Это — также нормальная подгруппа группы G. Взаимным коммутантом идеалов gi и д2 алгебры Ли g на- называется подпространство [fli, g2], порожденное всеми коммута- коммутаторами '[gi, \2\, где \\Ц\, ЪЧъ Это также идеал алгебры д. Теорема 5. Взаимный коммутант (Gb G2) связных нор,- мальных виртуальных подгрупп Ли Gx и G2 группы Ли G яв- является связной (нормальной) виртуальной подгруппой Ли с ка- касательной алгеброй [gi, дг]. Л Пусть Н — связная виртуальная подгруппа Ли с каса- касательной алгеброй 1)=[вь 9г]- Докажем, что (бь б2)сЯ. Так как ad(fli)g2c:I), то (следствие 3 теоремы 3.5 гл. 1) при всех g\\ Лемма 5.8. Пусть о —автоморфизм связной группы Ли G, переводящий в себя ее нормальную виртуальную подгруппу Ли Н. Если da тождествен на g/I), то а тождествен на G/H. •4Пусть g(t)dG — путь со скоростью '|(f) и начальным условием g@)=e, и пусть da(\(t))=\{i)-\-i\(t), r\(t)ty. Рас- Рассмотрим путь h(t)dH со скоростью Ad(g(O)'n(O и начальным условием /i@)=e. Непосредственно проверяется, что скорость пути g(t)h(t) равна aa(\{t)). Следовательно, a(g(t)) = =g(t)h(t)> Применяя эту лемму к автоморфизму Ad(gi) группы Q2, получаем, что gigigT^g^GH при всех gi6C?i, gr2eG2. Из леммы 5.2 так же, как при доказательстве теоремы 5.1, выводится, что (Gi, O2) содержит некоторую окрестность едини- единицы группы Н. Следовательно, (d, Q2)=H. ^ 60
Рассуждение, аналогичное доказательству теоремы 5.3, показывает, что [в?, e^Mei.fe] ' D4) для любых идеалов &, fl2 касательной алгебры группы Ли О. 5.5. Разрешимые группы Ли. Напомним, что кратные коммутанты Q{k) (k—0, 1,2, ...) группы Q определяются по индуктивному правилу О@)=О, Группа О называется разрешимой если существует такое т, что G(m)={e). Всякая подгруппа и всякая факторгруппа разре- разрешимой группы разрешимы. Обратно, если нормальная подгруппа NdG и факторгруппа QlN разрешимы, то и группа О разре- разрешима. Аналогично, кратные коммутанты fl<*> (&=0, 1, 2, .. .) алгебры Ли fl определяются по индуктивному правилу Алгебра Ли g называется разрешимой, если существует такое т, что д<т)=0. Всякая подалгебра и всякая факторалгебра раз- разрешимой алгебры Ли разрешимы. Обратно, если идеал ncrfl и факторалгебра g/n разрешимы, то и алгебра fl разрешима. Индуктивное рассуждение показывает, что кратный комму- коммутант G(fe) связной группы Ли G является связной виртуальной подгруппой Ли с касательной алгеброй g(fe). Отсюда вытекает Теорема 5.9. Связная группа Ли G разрешима тогда и только тогда, когда ее касательная алгебра д разрешима. Более точно, G<m!={e} тогда и только тогда, когда fl(m) = 0. Пример. Важным и в некотором смысле основным приме- примером разрешимой группы Ли является группа Тп(К) невырож- невырожденных треугольных матриц га-го порядка над полем К. Ее ка- касательная алгебра — это алгебра tn(K) всех треугольных мат- матриц. Нетрудно видеть, что £-ый коммутант этой алгебры со- состоит из матриц (х^), удовлетворяющих условию хц=0 при /—i<;2fe. Соответственно этому fe-ый коммутант группы Тп(К) состоит из матриц (ац), удовлетворяющих условию а^ = 8ц при j;2fe' Всякая нетривиальная разрешимая алгебра Ли g может быть разложена в полупрямую сумму идеала п коразмерности 1 и одномерной подалгебры а. А именно, в качестве п можно взять любое подпространство коразмерности 1, содержащее fl', а в качестве а—любое дополнительное подпространство. При- Применяя предложение 4.3, индукцией по dimg получаем отсюда следующую теорему. Теорема 5.10. Для всякой разрешимой алгебры Ли fl су- существует группа Ли, имеющая $ своей касательной алгеброй. 61
Одновременно устанавливается, что всякая нетривиальная односвязная разрешимая группа Ли разлагается в полупрямое произведение нормальной подгруппы Ли коразмерности 1 и од- одномерной подгруппы Ли. В вещественном случае это утверж- утверждение можно обобщить на любые связные разрешимые груп- группы Ли. 5.6. Радикал. Поскольку сумма разрешимых идеалов ал- алгебры Ли является разрешимым идеалом, во всякой алгебре Ли g имеется наибольший разрешимый идеал. Он называется радикалом алгебры g. Мы будем обозначать его через radg. Аналогичная конструкция возможна и для групп Ли. Теорема 5.11. Во всякой группе Ли G имеется наиболь- наибольшая связная разрешимая нормальная подгруппа Ли. Ее каса- касательная алгебра совпадает с radg. •4 Рассмотрим замыкание Мальцева t радикала алгебры д. По теореме 5.3 t'=(radg)'. Следовательно, t — разрешимая ал- алгебра Ли. В то же время это идеал алгебры g. Следовательно, r=radg, т. е. в группе G существует связная нормальная под- подгруппа Ли R, касательная алгебра которой совпадает с rad g. По теореме 5.9 она разрешима. С другой стороны, всякая связ- связная разрешимая нормальная подгруппа Ли группы G содер- содержится в R, поскольку ее касательная алгебра, будучи разре- разрешимым идеалом алгебры g, содержится в rad g. -4 Подгруппа, удовлетворяющая условиям этой теоремы, на- называется радикалом группы Ли G. Мы будем обозначать ее через Rad G. Группа Ли G (соответственно алгебра Ли g) называется полупростой, если RadG={e} (соответственно radg=O). Из теоремы 5.11 следует, что группа Ли полупроста тогда и только тогда, когда ее касательная алгебра полупроста. Для любой группы Ли G (соответственно алгебры Ли g) факторгруппа G/Rad G (соответственно факторалгебра g/rad g) полупроста. Для доказательства полупростоты групп и алгебр Ли часто используется Предложение 5.12. Алгебра Ли полупроста тогда и толь- только тогда, когда она не имеет ненулевых коммутативных идеа- идеалов. •^Если алгебра Ли не полупроста, то последний ненулевой член ряда коммутантов ее радикала является ее коммутатив- коммутативным идеалом. ► Примеры. 1. Группа Ли SLn(/C) полупроста. Более того, ее касательная алгебра $1п(К) проста, т. е. не имеет никаких нетривиальных идеалов. В самом деле, пусть а — идеал алгеб- алгебры sln(K) и пусть X=(Xij)£a, ХфО. При 1Ф\ имеем: [Е„, [X, Eit}\ =2ЕцХЕц=2хпЕ»Ы. Подействовав иа X подходящим внутренним автоморфизмом, можно добиться того, чтобы х#фО. Следовательно, £гзеа. Так как Щц, Ен] =ЕН—Е& то a=9ln(K). 62
2. Так как $п(К) =sl(K)®{kE}, то radflln(tf) ={Щ. Соот- Соответственно этому, радикал группы Ли GLn(K) есть связная компонента группы невырожденных скалярных матриц. 3. Рассмотрим группу Ли G, состоящую из матриц вида Ее подгруппа R, состоящая из матриц, у которых клетки А и В единичны, есть связная коммутативная нормальная подгруп- подгруппа Ли. Так как G//?~SLn(/() xSLm(/C), то /? = Rad G. 5.7. Нильпотеитиые группы Ли. Напомним, что убывающий (или нижний) центральный ряд группы G определяется по правилу Gft+i=(G, Gk). Группа G называется нильпотентной, если существует такое пг, что Gm = = {е}. Всякая подгруппа и всякая факторгруппа нильпотентной группы нильпотентны. Очевидно, что G(fe)crGft; поэтому всякая нильпотентная группа разрешима. Аналогично, убывающий (или нижний) центральный ряд алгебры Ли g определяется по правилу flfc+i = [fl, 9&] • Алгебра Ли 8 называется нильпотентной, если существует такое ш, что 8т=0. Всякая подалгебра и всякая факторалгебра нильпотент- нильпотентной алгебры Ли иильпотентны. Очевидно, что g(fe)crgft; поэтому всякая нильпотентная алгебра Ли разрешима. Пусть G — связная группа Ли. Из теоремы 5.7 следует, что Gft — связная виртуальная подгруппа Ли с касательной алгеб- алгеброй flft. Отсюда вытекает Теорема 5.13. Связная группа Ли G нильпотентна тогда и только тогда, когда ее касательная алгебра fl нильпотентна. Более точно, Gm={e} тогда и только тогда, когда flm=0. Пример 1. Основным примером нильпотентной группы Ли является группа UTn(/C) унитреугольных матриц n-го порядка над полем К.- Ее касательная алгебра — это алгебра titn (К) нильтреугольных матриц. Легко видеть, что fe-ый член убыва- убывающего центрального ряда алгебры Шп(К) состоит из матриц (xii)y удовлетворяющих условию Хц = 0 при /—i^k. Соответст- Соответственно этому fc-ый член убывающего центрального ряда группы UTn(/C) состоит из матриц (а^), удовлетворяющих условию o,j = 6ij при /—i^k. Свойство нильпотентности, как и свойство разрешимости, приводит к некоторой конструкции «радикала». Пользуясь тем, что члены убывающего центрального ряда любого идеала алгебры Ли также являются идеалами этой ал- алгебры, нетрудно показать, что сумма нильпотентных идеалов 63
является нильпотентным идеалом. Отсюда следует, что во вся- всякой алгебре Ли g имеется наибольший нильпотентный идеал (очевидно, содержащийся в rad g). Для групп Ли справедлива следующая теорема, доказы- доказываемая аналогично теореме 5. , . Теорема 5.14. Во всякой группе Ли G имеется наибольшая связная нилыготентная нормальная подгруппа Ли. Ее касатель- касательная алгебра совпадает с наибольшим нильпотентным идеалом алгебры д. Пример 2. Рассмотрим группу Ли G, состоящую из мат- матриц вида [ АС\ [О В)' ^eOMtf), BGGLm(K). Ее радикал состоит из матриц, у которых клетки А и В ска- лярны (в случае /C = R — с положительным коэффициентом), а наибольшая связная нильпотентная нормальная подгруппа Ли —из матриц, у которых клетки А а В единичны. Глава 3 УНИВЕРСАЛЬНАЯ ОБЕРТЫВАЮЩАЯ АЛГЕБРА Как известно (см. § 19 т. 11), каждая ассоциативная ал- тебра А превращается в алгебру Ли L(A), если заменить в ней операцию умножения (a, b)<-*ab операцией коммутирова- коммутирования [a, b]=ab—ba. Очевидно, каждый гомоморфизм ассоци- ассоциативных алгебр автоматически является гомоморфизмом соот- соответствующих алгебр Ли, т. е. мы имеем функтор L из категории ассоциативных алгебр в категорию алгебр Ли. В зтой главе мы рассмотрим функтор U, действующий в обратном направ- направлении. При этом алгебра Ли fl вкладывается в соответству- соответствующую ассоциативную алгебру U(fl) в качестве подалгебры (относительно коммутирования) и порождает U(g) как ассо- ассоциативную алгебру. Алгебра U(g) называется универсальной обертывающей алгеброй алгебры Ли g. Она была впервые рассмотрена в 1899 г. Пуанкаре, который ввел ее как некото- некоторую алгебру дифференциальных операторов на соответству- соответствующей группе Ли (см. ниже п. 2.2). \ Универсальная обертывающая алгебра позволяет взглянуть с новой точки зрения на функтор Ли, рассмотренный в гл. 2. В частности, на этом пути доказывается эквивалентность кате- торий локальных аналитических групп Ли и конечномерных алгебр Ли. Важную роль здесь играет формула Кэмпбелла—: Хаусдорфа (см. §3). Ы
§ 1. Простейшие свойства универсальных обертывающих алгебр В этом параграфе мы рассмотрим определение и некоторые алгебраические свойства универсальных обертывающих ал- алгебр. Подробности можно найти в [17], [24], [28], [35], [36], 1.1. Определение и конструкция. Пусть g— алгебра Ли иад произвольным полем К. Ассоциативная алгебра U(g) с едини- единицей над К, снабженная отображением а:8-*-Щд), называется универсальной обертывающей алгеброй, если выполнены сле- следующие условия: 1) а : g-»-L(U(g))—гомоморфизм алгебр; 2) если А — ассоциативная алгебра с единицей над К и h:Q->~L(A) — гомоморфизм алгебр, то существует такой гомо- гомоморфизм алгебр k : U(q)-*-A, что йA) = 1 и h=ka. Пример 1. Пусть алгебра Ли g коммутативна. Тогда симметрическая алгебра S(g) над пространством g (т. е. ал- алгебра коммутативных многочленов от элементов базиса про- пространства g) вместе с естественным вложением a:g=S1(g)-»- ->-S(g) есть универсальная обертывающая алгебра для g. В самом деле, любое линейное отображение h пространства g в ассоциативную алгебру А с единицей над К такое, что h(x)h(y)=h(y)h(x) для всех х, уЦ, однозначно продолжается до гомоморфизма алгебр S(g)-v.<4, переводящего единицу в единицу. Следующая теорема показывает существование и един- единственность универсальной обертывающей алгебры. Заметим, что гомоморфизм а из условия 1) на самом деле инъективен, как будет установлено в п. 1.2. Теорема 1.1. Для любой алгебры Ли д над К существует универсальная обертывающая алгебра (U(g), a). Если (Ui(g), си)—другая универсальная обертывающая алгебра алгебры Ли g, то существует единственный изоморфизм k : Ui(g)-*U(g) такой, что feai=a. •4 Единственность универсальной обертывающей алгебры легко следует из ее определения. Для доказательства суще- существования можно использовать следующую конструкцию, обоб- обобщающую конструкцию симметрической алгебры, в которую она превращается в коммутативном случае (см. пример 1). Рас- Рассмотрим в тензорной алгебре T(g) над пространством д (см. стр. 79 т. 11) идеал Р, порожденный элементами вида х®у—у®х—[х, у] (х,у&$). Положим U(g)=T(fl)/P и опреде- определим отображение a:g-»~U(g) формулой а{х)=х-\-Р. Оказы- Оказывается, что (U(g), a)—универсальная обертывающая алгебра для д. +■ Отметим следующие свойства универсальной обертывающей алгебры, легко следующие из ее определения и конструкции. 5—8731 23 65
1. Пусть fl — алгебра Ли, V — некоторое векторное про- пространство над полем К- Любая структура g-модуля в V (т. е. любое линейное представление алгебры Ли g в пространстве V) однозначно определяет на V структуру U(g)-модуля такую, что a(x)v=xv (x% v£V). Обратно, любая структура U(g)-модуля на V получается этим способом из некоторой (однозначно определенной) структуры g-модуля. Таким образом, универсальные обертывающие алгебры играют в теории линейных представлений алгебр Ли роль, аналогичную роли групповых алгебр в теории представлений групп. 2. Любой гомоморфизм алгебр Ли ф : g—>-gi определяет един- единственный гомоморфизм и(ф) : U(g)-»-U(gi) такой, что и(ф) A) = 1 и коммутативна диаграмма ф 9 -*• Й! а \ U(<p) if <xi вертикальные стрелки которой—гомоморфизмы, входящие в опреде- определение универсальной обертьгоающей алгебры. Соответствие g»-»-(J(g), фн+Щф) есть ковариантный функтор из категории алгебр Ли в категорию ассоциативных алгебр с единицами над К. 3. Алгебра U(g) порождается подпространством cs(g). 4. Существует единственный антиавтоморфизм и*-+и^ алгебры LJ(g) такой, что xS = —x (xgg). Заметим, что все определения и результаты этого пункта легко переносятся на случай, когда К — произвольное комму- коммутативное ассоциативное кольцо с единицей. 1.2. Теорема Пуанкаре—Биркгофа—Витта. При изучении строения алгебры U(g) возникает следующий вопрос: как построить базис алгебры U(g), исходя из заданного базиса алгебры д? Ответ на него дает теорема Пуанкаре—Биркгофа— Витта. Мы можем считать, что Щд) = Т(д)/Р, где Р — идеал, опре- определенный в доказательстве теоремы 1. Пусть я: T(g)-^U(g) — естественный гомоморфизм (совпадающий с а на TJ(g) = g.) Предположим, что в g выбран базис (et)tQT, множество индексов Т которого вполне упорядочено. Положим t/< = a(e<NU(g). Для любого упорядоченного набора индексов / = (iu .., ir)dTr такого, что i\< ... <.tr, положим У1 — У11. • • Hi (считается, что #0— 0- Более привычна запись элементов у/ в виде yif-Ui — — У?1 •.• уТг • • •> где mt>0—целые числа, лишь конечное число которых отлично от 0, 2 tnt = r. 66
Если fl — коммутативная алгебра Ли, то U(g)=S(g) — алгебра многочленов от t/t (см. пример 1), так что одночлены t/j составляют базис в U(g). Оказывается, что это свойство, сохраняется и в общем случае. Теорема 1.2 (Пуанкаре—Биркгоф—Витт). Элементы уи где / пробегает все неубывающие упорядоченные наборы ин- индексов из Т, составляют базис алгебры U(g). Отображение а : 8~>'U(fl) инъективно. Ч Поясним сначала, как доказывается линейная независи- независимость элементов у г, из которой следует также инъективность отображения а. Рассмотрим алгебру S многочленов над К or неизвестных zt(t£T). Ее базис составляют одночлены z/ = zil... ...ztr, где f = (i\, ...,ir)GTr, ii<...<ir, причем z0—l. С помощью индукции доказывается, что на 5 существует струк- структура fl-модуля, удовлетворяющая следующим условиям: et(Ztl... Zir) = ztztl...Zir, если ^<^< ... <ir; et-\=zt длж всех t£T. Используя свойство 1 из п. 1.1, получаем такую структуру* U (й)-модуля на 5, что Если ^dC/tji — Oi где с&К, то, умножая обе части этого ра- венства на lgS, получаем ^,C/Z/ = 0, откуда следует, что все Для доказательства того, что U(fl) есть линейная оболочка элементов у/, полезно ввести возрастающую фильтрацию алгеб- алгебры U(fl) подпространствами и(в)(Р)=л(ф Т«( Очевидно, U(e)(o)CU(e)(i)C...cU(e)(pjc..., так что U(fl) становится фильтрованной алгеброй: Ясно, что- п,(х®у— «/®xNU(g)(i) для любых х, #68- Отсюда выводится, что если Q—идеал в Т(д), порожденный элементами вида х®у— — у®х (х, «/69). то я(Q П Тр(9))c:U (й)(р_,) для всех р >0. По- Поскольку симметрическая алгебра S(g) = T(g)/Q есть алгебра многочленов от e<6S1(g) = fl, отсюда легко вывести по индукции, что U(fl)(P) порождается элементами «// = «/,,.../г с г</?. ► Утверждение теоремы 1.2 можно сформулировать также в. инвариантной форме, не использующей базиса. Для этого рас- рассмотрим определенную выше фильтрацию алгебры U(fl) (см. A)) и образуем соответствующую градуированную ал- алгебру 5* 67
grU(e)=egrpU(e), где >0 Умножение в ней задается следующим образом: если абЩ9)(/>)« *GU_(e)(«) и а, & — соответствующие элементы из grp U (fl), grq U(fl), то ab = ab+U (9)(/>+*-i)egrp+9 U (9). Как видно из намеченного выше доказательства теоремы 1.2, я определяет гомоморфизм градуированных алгебр jc.S(fl)-»- -»-grU(fl), заданный формулой й («+Q) =«(«)+U (вЬ-о («еТ"(в))- Следствие 1. Гомоморфизм n:S(g)->grU(fl) есть изомо- морфизм градуированных алгебр. Следствие 2. Алгебра U(fl) не имеет делителей нуля. Следствие 3. Если шщк-8<°°. то алгебра LJ(fl) нетерова слева и справа. В дальнейшем мы будем отождествлять g с подпространст- подпространством алгебры U (8) при помощи инъекции а. В частности, в обоз- обозначениях теоремы 1.2 будем писать yt—et, y/=e/ = eit. ..eir. Пусть fli. fl2 — две алгебры Ли, fl==9i®fl2 —их прямая сумма. Естественные вложения д{->-д продолжаются до вложений U(fli)-»-U(fl). Рассмотрим отображение ц: U(fii)®U(fl2)-»- -»-U(fl), заданное формулой ц(«1®«2I=«1«2. Следствие 4. Отображение \л является изоморфизмом алгебр. Остановимся коротко на случае, когда fl — алгебра Ли над коммутативным кольцом К. с единицей. Доказательство теоре- теоремы 1.2 полностью проходит, если fl — свободный К-модуль. В [40] доказано, что следствие 1 остается справедливым, если К — кольцо главных идеалов. В общем случае оно неверно [20]. 1.3. Симметризация. Мы сохраняем обозначения п. 1.2. Если К — поле характеристики 0, то симметрическая алгебра S(g)=T(g)/Q изоморфна алгебре симметрических тензоров ST(fl), которая вложена в T(g) как подпространство, дополни- дополнительное к Q. Это позволяет указать способ построения базиса в U(g), отличный от описанного в теореме 1.2. Пусть ST^fl^ST^nT^fl). Тогда я изоморфно отобра- отображает STm^g) иа некоторое подпространство LT (fl)m- При этом U(9)(m)==U(9)(m-i)®U(9)'n. откуда U(fl)= © U(e)m. Определим /Л-=0 изоморфизм векторных пространств где От (ll 68
Тогда для любых i\, ... i/лбТ получим 1 С/Л Пусть M=(mt)tQT~ семейство целых чисел mt>0, лишь конеч- конечное число которых отлично от 0. Обозначим | М | = £тг Поло- r жим ( Из сказанного следует Теорема 1.3. Пусть char/C=O. Определенные выше ото- отображения ©т определяют изоморфизм градуированных про- пространств ©:S(g)+U(g). Элементы е(М) для всевозможных наборов М составляют базис алгебры U(g). Заметим, что отображение © является изоморфизмом ал- алгебр лишь в случае, когда g коммутативна. 1.4. Центр универсальной обертывающей алгебры. В обо- обозначениях п. 1.3 каждому элементу £Gg соответствует диффе- дифференцирование ad | алгебры U(g), заданное формулой При этом ad есть линейное представление алгебры Ли g в U(g). Пространство U(g)8={«6U(g)|(ad£)«=O Пед} инвариантов этого представления совпадает с центром Z(U(g)) алгебры U(g). Проверяется, что ad | (£Gg) сохраняет подпро- подпространства U(fl)(m) и U(g)m. Отсюда следует, что ad индуцирует линейное представление ad алгебры Ли g в grU(g), причем (gr U(g))8 =gr Z(U(g)), где в правой части стоит градуирован- градуированная алгебра, связанная с фильтрацией центра Z(U(g)) подпро- подпространствами Z(U(g))(m)=Z(U(g))nU(g)(m). С другой стороны, оператор ad | в алгебре g однозначно продолжается до диффе- дифференцирования алгебры S(g), что приводит к линейному пред- представлению алгебры Ли g в S(g), которое определяет подал- подалгебру S(g)8 инвариантных элементов алгебры S(g). Оказы- Оказывается, что отображения л из п. 1.2 и © из п. 1.3 являются изо- изоморфизмами g-модулей. Отсюда следует Теорема 1.4 (И. М. Гельфанд, см. [9]). Если charA'=O, то отображение ©:S(g)8-*Z(U(g)) является изоморфизмом векторных пространств, а изоморфизмом алгебр. 69
Отображение © лишь в редких случаях бывает изомор- изоморфизмом алгебр (например, если g нильпотентна, см. [28, пред- предложение 4.8.12]). В то же время, верна следующая нетривиаль- нетривиальная Теорема 1.5 (Дюфло, см. [28]). Для любой конечномер- конечномерной алгебры Ли fl над полем характеристики 0 алгебры Z(U(fl)) и S (fl)8 изоморфны. 1.5. Тело частных универсальной обертывающей алгебры. Пусть й — конечномерная алгебра Ли над полем К. Согласно теореме Голди—Орэ (см. [36, гл. V, § 3]), следствия 2 и 3 тео- теоремы 1.2 влекут за собой существование тела P(fl), содержа- содержащего U(g) в качестве подкольца, всякий элемент которого представим в виде u~lv (а также в виде vu~l), где и, aeU(fl), иФО. Тело частных P(fl) называют обертывающим телом (или -телом Ли) алгебры fl. Его центр C(fl)=Z(P(fl)) удовлетворяет условию C(fl)nU(9)=Z(U(fl)). Имеется гипотеза Гельфанда— Кириллова (см. {30], |9]) о строении тела P(g) в случае, когда $—касательная алгебра некоторой комплексной линейной ал- алгебраической группы. Чтобы сформулировать эту гипотезу, введем следующее по- понятие. Пусть А — ассоциативная алгебра с единицей над по- полем К. Для любой конечной системы а—{аи..., а8}с=Л и лю- любого N>0 обозначим через d(a,N) размерность подпростран- подпространства в А, порожденного произведениями ^# элементов а{. Размерностью Гельфанда—Кириллова алгебры А называется тг- logrffa, N) где а пробегает все конечные подмножества в Л. Из теоремы 1.2 выводится Теорема 1.6 ([30]). Для любой конечномерной алгебры Ли fl над К имеем DimKP(fl) =dimfl. Заметим также, что если G — комплексная линейная ал- алгебраическая группа, то число DimKC(g) совпадает с мини- минимальной коразмерностью орбиты для представления Ad* груп- группы G в пространстве fl*, сопряженного с присоединенным пред- представлением. Пусть Rn,ft(/C)—алгебра Вейля над полем К, связанная с кососимметрической билинейной формой b ранга 2л в про- пространстве V над К размерности 2n-\-k, т. е. факторалгебра тен- тензорной алгебры T{V) по идеалу, порожденному элементами вида х®у—у®х—Ь(х,у) ■ 1, и пусть Dn,h(K)—ее тело частных. Оказывается, что DimKDn,ft(/()i=2/i-r-fe. Гипотеза Гельфанда — Кириллова состоит в еле: дующем: Если fl —касательная алгебра комплексной линейной алгебраической группы, то P(e)~DB>ft(C), где 2n+fe = dimfl, fe = DimC(fl). 70
Теорема 1.7. Гипотеза Гельфанда—Кириллова справедли- справедлива в следующих случаях: а) й=й1«(С) илиз1п(С) [30]; б) g— разрешимая алгебраическая алгебра Ли [38], [44]. § 2. Биалгебры, связанные с алгебрами Ли и группами Ли По поводу материала этого параграфа см. [24], [53]. 2.1. Биалгебры. Пусть Л —векторное пространство над по- полем К. Коумножением в А называется любое линейное отобра- отображение А-*-А®А. Как обычно, будем называть умножением в А линейное отображение А®А-*-А, т. е. бинарную операцию в Л, превращающую это пространство в алгебру над К- Тройка (Л, ц, б), где ц — умножение, а б — коумножение, называется ёиалгеброй, если б : А^*-А®А — гомоморфизм алгебры Л с умножением ц в тензорное произведение этой алгебры на себя. Иногда (обычно при некоторых дополнительных предполо- предположениях) биалгебры называют алгебрами Хопфа. Это связано с тем, что аналогичное понятие в категории градуированных алгебр впервые рассмотрел Хопф на примере алгебры когомо- логий группы Ли. Естественно определяются гомоморфизмы и изоморфизмы биалгебр. Пример 1. Пусть g — алгебра Ли над полем К- Рассмот- Рассмотрим диагональный гомоморфизм Д: х (х, х) алгебры g в fl®g. В силу следствия 4 теоремы 1.2 мы можем отождествить алгебру U(g®g) с U(g)<S>U(g). Согласно свойству 2 из п. 1.1, А продолжается до гомоморфизма Д : U(g)-»-U(g)®U(g), который называется диагональным отображением. Коумножение Д превращает U (g) в биалгебру. В конечномерном случае между биалгебрами имеет место замечательная двойственность: каждой конечномерной биал- гебре (A, \i, б) соответствует двойственная биалгебра (Л*, бг, цг), где бг, \iT — сопряженные гомоморфизмы. В общем случае наличие естественного вложения Л*®Л*сг(Л®Л)* позволяет утверждать, что если б — коумножение в простран- пространстве Л, то бг — умножение в Л*, но отображение цт : Л*->- -»-(Л®Л)*, двойственное к умножению ц в Л, не всегда опре- определяет коумножение в А*. Примером может служить двой- двойственный объект к биалгебре U(g) из примера 1, который бу- будет рассмотрен в п. 2.3 (см. следствие 1 теоремы 2.3). Пусть {А, ц, б) — биалгебра, содержащая единицу 1 (от- (относительно умножения \i). Элемент adA называется примитив- примитивным, если ба=а®1 + 1®а. Легко доказать, что множество П(Л) всех примитивных элементов биалгебры Л является подалгеброй в А относительно операции коммутирования {х, у]=ху—ух. 71
Теорема 2.1. Пусть fl—алгебра Ли над полем К- Рас- Рассмотрим U(fl) как биалгебру с коумиожением А (см. при- пример 1). Тогда дсгЩЩв)), а если char/С=0, то д=П(U (g)). •4 Включение flc=II(U(fl)) очевидно. Обратное включение легко проверяется в случае, когда fl — коммутативная алгебра Ли, т. е. когда U(fl) = S(fl) (см. пример 1 п. 1Л). В общем слу- случае рассмотрим фильтрацию алгебры U(fl) подпространства- подпространствами A). Оказывается, что А индуцирует гомоморфизм А: grU(g)-»-grU(fl)®grU(fl), который при изоморфизме я : gr U(g)-»-S(g) (см. следствие 1 теоремы 1.2) переходит в описанное выше диагональное отображение для алгебры 5(fl). Отсюда легко выводится, что если *Ш(й)(р) — примитивный элемент, то р=1, т. е. xdK®Q. Поскольку ненулевые элементы из К не примитивны, д:бд. ► 2.2. Правоинвариантные дифференциальные операторы на группе Ли. Пусть G — локальная аналитическая группа Ли (вещественная или комплексная), д — ее касательная алгебра. Мы будем рассматривать дифференциальные операторы с ана- аналитическими коэффициентами на группе G, действующие на локальных аналитических функциях иа этой группе. Эти операторы естественным образом составляют ассоциативную алгебру с единицей над полем /C=R или С, в зависимости от того, вещественную или комплексную группу Ли мы рассматри- рассматриваем. Обозначим через 3)(G) ее подалгебру, состоящую из правоинвариантных операторов, т. е. операторов, перестановоч- перестановочных со всеми преобразованиями R[g)*, индуцированными пра- правыми сдвигами R{g) {g&G). Каждому элементу и касательной алгебры Q—Te(G) группы G отвечает правоинвариантное векторное поле и% на G такое, что u,t(e)=u. В свою очередь, полю и^ отвечает оператор LUsc (производная Ли), который принадлежит @(G) (см. п. 1.2 гл. 1 ст. II). При этом, соответствие u^LUsf есть инъек- тивный гомоморфизм алгебры Ли fl в 3){G) (см. п. 1.2 гл. 2). По определению универсальной обертывающей алгебры этот гомоморфизм однозначно продолжается до гомоморфизма ал- алгебр р : U(fl)-»-i-b(<5). Наша цель, в частности, состоит в дока- доказательстве того, что р — изоморфизм алгебр. Рассмотрим алгебру Ое ростков аналитических функций в точке е на группе Ли G. Пусть m={fG(?e|f(е)=0} — максималь- максимальный идеал этой локальной алгебры. Обозначим через [(Уе)с* подпространство в С*, состоящее из всех линейных форм, рав- равных нулю на одном из идеалов ntr. Определим линейное отобра- отображение а: 3){G)^>~{Oe)c* формулой аE) (ч>) = (Sq>) («) [SeS> (G), Фе<?е). Полагая х—ор, получаем коммутативную диаграмму (в)(.) 72
Теорема 2.2. Отображение р является изоморфизмом ал- алгебр, а а и г — изоморфизмами векторных пространств. Пусть Xi,..., хп — локальная система координат в окре- окрестности точки е группы G (такая, что е= @,..., 0)). Для лю- любого упорядоченного набора М= (ти ..., тп) неотрицательных целых чисел т< определим линейную форму Ам£[&е)с* форму- формулой где M! = /rei! ... тп\ Легко доказать, что элементы Ам для всевозможных наборов М составляют базис пространства (Ое)с над К = R или С. Очевидно, Аж(ф) — это коэффициент в ряде Тейлора функции Фб<?е в точке е = 0, стоящий при хм — Элементы Ам зависят от выбора системы координат. Далее мы будем считать, что Х\,. ..,дсп — каноническая система коор- координат 1-го рода. Это означает, что координаты Хх,..., хп эле- элемента xdG находятся из соотношения где ei,...,en — фиксированный базис пространства g (см. п. 3.2 гл. 2). Если <р — аналитическая функция в окрестности точки gdG, то для достаточно малых |6д имеем ry C) (см. формулу (9) из п. 2.1 гл. 1 ст. II). В частности, при g—e из C) следует, что при достаточно малых xt оо // п \пг \ оо // п \т\ B*.-. »)м-2^BН Легко видеть, что где суммирование производится по всем упорядоченным наборам M — (mi, ..., т„), а е(М) определяется формулой B). Поэтому разложение функции Фб^г в ряд Тейлора будет иметь вид 2 м откуда т(е(Л1)) = (—1IЖ\ М\АМ для любого М. Согласно тео- П
реме 1.3, элементы е(М) составляют базис алгебры U(q). Сле- Следовательно, г — изоморфизм. Для завершения доказательства теоремы достаточно пока- показать, что Кег а=0. Но это легко следует из перестановочности элементов алгебры 2D{G) с правыми сдвигами. ^- Следствие. Если G— связная группа Ли, то отображе- отображение р определяет изоморфизм центра Z(U(g)) на алгебру ин- инвариантных (т. е. перестановочных со всеми левыми и правы- правыми сдвигами) дифференциальных операторов на группе G. 2.3. Биалгебра, связанная с группой Ли. Мы сохраняем обозначения предыдущего пункта. В этом пункте мы покажем, что умножение в группе Ли G определяет в пространстве (Ое)с* некоторую естественную структуру биалгебры. Затем будет построен изоморфизм биалгебр U(g) и [(Уе)с*- Для введения структуры биалгебры воспользуемся сообра- соображениями двойственности. Пусть ц — умножение в алгебре <Уе. Несложное вычисление показывает, что /(А*)- 2 А*'® А*"- D) Таким образом, \iT определяет коумножение в пространстве Обозначим через <У(е,е) алгебру ростков аналитических функ- функций в точке (е, е) на О X G- Эта алгебра содержит <У,е®0е в качестве подалгебры. Это позволяет построить линейное отображение (t?(e,e))*-»-(£?e)*®(£?e)*, которое оказывается изомор- изоморфизмом (используется базис (Дж) в (Ое)*с, построенный в дока- доказательстве теоремы 2.2). Будем отождествлять (<У(е,е))* с {<Уе)*с® ®(Ое)*. Умножение m:GxG-+G в группе Ли G порождает гомоморфизм алгебр Ь = т*:(Уе-^<У^е,е). Таким образом, <Уе об- обладает структурой, близкой к структуре биалгебры. Поскольку т* (т) содержится в максимальном идеале алгебры (У(е,е) (см. п. 1.1 гл.2), 6г((£?(в>в))*с:(£?в)с, т. е. бг определяет умножение в пространстве {Ое%. Без труда проверяется, что ((<Уе)*с, бг, цг) есть биалгебра. Умножение 6Г часто называют сверткой. Теорема 2.3. Отображение х':и^-х{и^) (см. п. 1.1) являет- является изоморфизмом биалгебры U(fl) на би алгебру (£?„)*. ■4 Докажем, что т' сохраняет умножение, т. е. что r E) Для этого мы воспользуемся формулой Ф((ехр|)(ехрг,))=2 ТШТ^ 0 2 /,т=0 которая справедлива для Ф6^е и достаточно малых |, т|бв- 74
/» \ Ее легко вывести из формулы C). Для л = ехр I 2 xiei I» / = ехр ( Ziij-fii) получаем из F), что при достаточно малых xt, yt Ч^Ч / |v|i| + |iM| <р(ху) = У, ,'. г(е(Ж)е(L))х у . Отсюда следует, что Это и есть соотношение E) для и = е(£)Ч, o = Остается доказать, что г' сохраняет коумножение, т. е. что Поскольку левая и правая части этого равенства — гомомор- гомоморфизмы алгебр, достаточно проверить, что они совпадают на элемента* подпространства дсгЩд). Эта проверка легко выпол- выполняется с использованием D). ► Алгебра <Уе естественно изоморфна алгебре сходящихся степенных рядов К {xv..., хп}. Вложим ее в алг.ебру Ое = = К [[Xi,..., хп]] формальных степенных рядов. Гомоморфизм 5 =/я*, связанный с умножением в группе Ли, однозначно про- продолжается до гомоморфизма 6: Се ->£?(«>,е> = К [[хи..., хп, ух,... ...,«/„]]. Пространство б?е естественно отождествляется с со- сопряженным пространством ((<?е)р* к 1Ре)*с- Следствие 1. Отображение (т')г• Ое->-U(й)* есть изомор- изоморфизм алгебры <Уе на алгебру U(fl)* с умножением Дг, причем б переходит в отображение, двойственное к умножению в U(g). Следствие 2. Существует биективное соответствие меж- между гомоморфизмами локальных аналитических групп Ли и го- гомоморфизмами их касательных алгебр. Две локальные аналити- аналитические группы Ли изоморфны тогда и только тогда, когда изо- изоморфны их касательные алгебры. Это следствие другим способом было уже доказано в гл. 2 {см. теоремы 2.2 и 2.10). Заметим также, что с помощью теоре- теоремы 2.3 можно дать доказательство существования виртуальной подгруппы Ли с заданной касательной подалгеброй, отличное от предложенного в гл. 2 (теорема 2.6), см. [34]. § 3. Формула Кэмпбелла — Хаусдорфа В этом параграфе центральное место занимает ряд Кэмп- Кэмпбелла—Хаусдорфа, т. е. формальный ряд log(ex^) от неком- мутирующих переменных х, у. Используя этот ряд, можно явно 75
выразить операцию умножения в группе Ли в канонических координатах через операцию коммутирования в ее касательной алгебре, а также доказать существование локальной группы Ли с заданной касательной алгеброй. Подробности см. в [17], Р24], [53]. 3.1. Свободные алгебры Ли. Система образующих (xt)i^/ алгебры Ли fl над полем К называется свободной, если для любой алгебры Ли \> над К и любого семейства элементов (yt)i^/ алгебры \), занумерованного тем же множеством /, существует (единственный) гомоморфизм A:fl->I) такой, что h(x{) = yl (£€/)• Алгебра Ли называется свободной, если она допускает свобод- свободную систему образующих. Легко видеть, что две алгебры Ли, допускающие свободные системы образующих одинаковой мощ- мощности, изоморфны между собой. Далее, любая алгебра Ли с си- системой образующих (filial изоморфна факторалгебре свободной алгебры Ли со свободной системой образующих мощности | /1. Свободную алгебру Ли со свободной системой образующих любой мощности можно построить как факторалгебру алгебры неассоциативных многочленов по некоторому идеалу, который строится по тождествам, определяющим класс алгебр Ли.. Ниже дается другая конструкция свободной алгебры, описы- описывающая заодно ее универсальную обертывающую алгебру. Пусть V—векторное пространство над К с базисом (xt)i(;i, где /—произвольное множество. Рассмотрим алгебру Ли L(T(V))y соответствующую тензорной алгебре T(V). Обозначим через I(V) I((O) подалгебру в L(T(V)), порожденную семейством Теорема 3.1. Семейство (.*;)<£/ является свободной систе- системой образующих алгебры Ли I(V), a T(V) — ее универсальной обертывающей алгеброй (относительно тождественного вложения I(V)->T(V)). Алгебра l(V) обладает следующей градуировкой: I(V)= Ф1 (V), где и10 = 1(ЮПТ'(Ю—подпространство, Р>0 натянутое на элементы вида [xiv [х1г,... [xip t, xip].. •]], i£l. Если мощность d = |/| конечна, то размерность td(p) = dim lp(V) удовлетворяет рекуррентному соотношению т\п\ Следствие. Если d—\I\, то 4 т\п где {а—функция Мёбиуса. 76
Рассмотрим линейное отображение <D:T(V)-*-I(V), заданное формулой Нетрудно проверить, что O:I(V)->I(V) является дифференциро- дифференцированием алгебры l(V). Отсюда следует, что Ф(и) = ри (a&p(V)). G) 3.2. Ряд Кэмпбелла — Хаусдорфа. Пусть К—поле характе- характеристики 0. Введем в рассмотрение алгебру некоммутативных формальных рядов над К от переменных (x^ic/. Мы определим оо ее как пополненную тензорную алгебру Т (К) = 11тлК, где V — векторное пространство над К с базисом (Xi)^. Элементы этой алгебры будем записывать как формальные ряды Определим подалгебру l"(V) алгебры Ли L(T(V)) формулой" со 4V)=Uln(V). оо Пусть т=Птп(К). л=1 Теорема 3.2. Формулы оо ехрл=2^Г' задают обратные друг другу биективные отображения ехр:т->- ->1+т и log:l + m->m. Рассмотрим, в частности, случай, когда семейство (.*:г)г£/ состоит из двух элементов х и у. Тогда (exp jc)(exp«/Nl+m, так что определен элемент log ((exp x) (exp y)Nm. Теорема 3.3. (Кэмпбелл—-Хаусдорф). Имеем log((expx)©(exp«/))ei(lO. „,/1Л. „ •^1 Рассмотрим диагональное отображение Д:Т(и)->Т(к)<8> ®T(V) для универсальной обертывающей алгебры T(V) алгебры Ли l(V)~l(x, у). Оно'продолжается до гомоморфизма A: () (ф) Р.Я 77
Из теоремы 2.1 следует, что I (V) = {ибТ (V) | Аи=и® 1 +1 ® и}. Легко проверяется, что « = log((exp jc)(exp у)) удовлетворяет последнему условию. ► Из теоремы 3.3 и формулы G) вытекает Следствие. Имеем log((expjc)(expy)) = -2 Формула (8) была впервые получена Е. Б. Дынкиным (см. [7]). Запишем ее правую часть в виде Dp{x,y), (9) p=i где Dp(x, y)Ql(x, y)p. Непосредственное вычисление показы- показывает, что £>i (•*, У) = х +у, £>2 (х, y)=Y [x, У], £>з (х, y) = j2 [■*• [■*• У\\ + Заметим, что теоремы 3.2 и 3.3 и формула (8) остаются верными над любым коммутативным кольцом К с единицей, являющимся модулем над Q. 3.3. Сходимость ряда Кэмпбелла—Хаусдорфа. Пусть fl — алгебра Ли над полем К характеристики 0. Каждый член Dp (*> У) РяДа (9) определяет полиномиальное отображение Dv : fl©8-^fl, однородное степени р. Поэтому ряд (9) можно рас- рассматривать как fl-значный формальный степенной ряд на век- векторном пространстве fl©S с центром в точке @,0). Теорема 3.4. Пусть fl — конечномерная алгебра Ли над K=R или С. Тогда формальный степенной ряд D(x,y) на 8©9 имеет положительный радиус сходимости и определяет в окрестности нуля пространства fl локальную аналитическую группу Ли, касательная алгебра которой совпадает с д. ^ Сходимость ряда доказывается с помощью несложных оценок. Непосредственно проверяется, что операция x*y=D(x,y) ■ A1) определяет в д структуру локальной аналитической группы Ли с единицей е=0. В силу A0) [х где точками обозначены члены степеней >2. По определению касательной алгебры (см. п. 1.1, гл. 2) она совпадает с д. ► 78-
, Заметим, что изложенные здесь методы еще не позволяют доказать существование глобальной группы Ли с заданной ка- касательной алгеброй. Обозначим через CH(fl) локальную группу Ли с умножени- умножением A1), построенную по алгебре Ли g в теореме 3.4. Прове- Проверяется, что ее однопараметрическая подгруппа с касательным вектором |Gg есть прямая t*+t\. Поэтому экспоненциальное отображение ехр : д-»-Ге(СН(й)) = д является тождественным. Следствие 1. Для любой группы Ли G запись операции умножения в канонических координатах первого рода имеет вид A1). В частности, любая группа Ли является аналитической. 4 Пусть fl — касательная алгебра группы Ли G. По теореме 2.10 гл. 2 существует такой изоморфизм локальных групп Ли h: CH(g)-»-G, что deh = id. Поскольку экспоненциальное отобра- отображение для CH(g) тождественно, из формулы C6) гл. 2 следует, что h совпадает с экспоненциальным отображением ехр для группы G. Следовательно, exp(|*ri) = (ехр Ъ) (ехр ц) для всех достаточно малых \, r\dG. ^. Нетрудно проверить, что соответствие g>->CH(g) определяет функтор из категории конечномерных алгебр Ли над К ( = R или С) в категорию локальных групп Ли над К. Используя следствие 1, получаем Следствие 2. Категория локальных групп Ли над К ( = R или С) эквивалентна категории конечномерных алгебр Ли над К. Глава 4 ОБОБЩЕНИЯ ГРУПП ЛИ Эта глава содержит краткий обзор некоторых теорий, обоб- обобщающих классическую теорию групп Ли. Этот обзор не пре- претендует на полноту. В частности, мы не касаемся теории алгеб- алгебраических групп, а топологические группы рассматриваем лишь в связи с 5-й проблемой Гильберта. Эти направления, разумеется, нуждаются в отдельных обзорах. То же можно сказать о «бесконечных» непрерывных группах (или псевдо- псевдогруппах Ли), исследовать которые начал еще С. Ли. За рамка- рамками настоящего обзора остались алгебры Каца—Муди и соот- соответствующие им группы, а также супергруппы и супералгеб- супералгебры Ли. § 1. Группы Ли над полными нормированными полями По поводу материала этого параграфа см. [24], [42], [53]. 1.1. Нормированные поля. Напомним (см. § 7 т. 11), что нормой (или абсолютным значением) на поле К называется 79
вещественная функция at-*\a\ на К, обладающая следующими свойствами: 1) |а|!>0, причем |а|=0 тогда и только тогда, когда а=0, 2) \аЬ\ = \а\\Ь\; 3) |а+6|<|а| + |Ь|. Обычно предполагается также, что норма нетривиальна, т. е. удовлетворяет условию 4) |а|=£1 для некоторого ае/(\{0}. Нормированным полем называется поле, снабженное нормой. Норма называется неархимедовой (или ультраметрической), если вместо 3) выполняется следующее, более сильное условие: 3') |a+ft|<sup{|a|, |ft|}. В этом случае говорят также, что нормированное поле не- архимедово. Наиболее известные примеры полных нормированных по- полей — это классические поля R и С и поле р-адических чисел Qp (р — простое число), которое получается из поля рациональ- рациональных чисел Q пополнением по так называемой р-адической нор- норме \а\р=рп, где р — фиксированное число, 0<р<1, а n£L определяется условием: а = рп~, где Ь, с\—целые числа, не де- делящиеся на р. Согласно теореме Островского (см. [23]), R и С — это единственные архимедовы полные нормированные поля. Пусть К — неархимедово полное нормированное поле. Тогда A = {aGK\ |a|^l} есть подкольцо в К (называемое кольцом нормирования),, а т= {аеЛ| |а|<1} — максимальный идеал в Л. Например, если /C=QP, то А = 2Р — кольцо целых р-адических чисел и m=pZp. 1.2. Основные оцределения и примеры. Пусть К—полное нормированное поле. Обычным образом (см. [53]) определяют- определяются аналитические функции на открытых множествах в Кп со значениями в К, аналитические многообразия над К, а также (аналитические) группы Ли над К. В частности, группы Ли над R или С — это обычные вещественные или комплексные груп- группы Ли; группы Ли над Qp называются р-адическими группа- группами Ли. На случай произвольного полного нормированного поля К -буквально переносятся общие понятия, определенные в §1 гл. 1: •прямое произведение групп Ли, подгруппа Ли, гомоморфизм групп Ли, линейное представление, локальная группа Ли (при этом подгруппы и гомоморфизмы предполагаются аналитичес- аналитическими). Большая часть примеров групп Ли и подгрупп Ли, при- приведенных в этом параграфе, также переносится на общий слу- случай. В частности, группами Ли над К являются: Аддитивная группа К и векторная группа К.п. 80
Группа невырожденных матриц GLn(/C) и изоморфная ей группа GL(F) невырожденных линейных преобразований л-мерного векторного пространства V. Группа обратимых элементов конечномерной ассоциативной алгебры с единицей над К- Подгруппы диагональных и треугольных матриц в GLn(/C) являются подгруппами Ли. Тем же свойством обладает под- подгруппа SLn(A") матриц с определителем 1. Приведем некоторые примеры, специфические для неархи- неархимедова случая. Пусть К — неархимедово полное нормирован- нормированное поле, А — его кольцо нормирования. Примеры. 1. Аддитивная группа А является открытой подгруппой Ли в К', аналогично Ап — открытая подгруппа Ли в Кп. Открытыми подгруппами Ли являются также mczA и тпсгЛи. 2. Группа обратимых матриц GLn(A) над кольцом А являет- является открытой подгруппой Ли й GLn(K). 3. Группа обратимых матриц над Л, все элементы которых, лежащие ниже главной диагонали, принадлежат т, есть откры- открытая подгруппа Ли в QLn(A). Заметим, что, как и в случае /C = R, С, всякая подгруппа Ли замкнута в объемлющей группе. 1.3. Действия групп Ли. Так же, как в § 2 главы 1, опреде- определяются (аналитические) действия групп Ли над полным нор- нормированным полем К на аналитических многообразиях над К. Теорема 2.1 гл. 1 не переносится на общий случай, но остается верной, если char/( = 0 (см. [53]). То же относится и к теореме 2.2, следующей из теоремы 2.1. В частности, если char/C=0, то стабилизатор любой точки при действии группы Ли G являет- является подгруппой Ли в G и ядро любого гомоморфизма группы Ли G является нормальной подгруппой Ли в G. Пусть G — группа Ли над К, Н — ее подгруппа Ли. Тогда справедлив следующий аналог теоремы 3.1 главы 1: на мно- множестве G/H существует единственная аналитическая структура, при которой каноническое отображение р: G-+G/H является факторизацией. При этом р — локально тривиальное расслое- расслоение и каноническое действие группы G на G/H аналитично. Ес- Если Я нормальна, то группа G/H снабжается естественной структурой группы Ли (см. теорему 3.2 главы 1). Наконец, если char/C=0, то над полем К справедливы обобщения теорем 3.3 и 3.4 главы 1. 1.4. Стандартные группы Ли над неархимедовым полем. Пусть К — неархимедово полное нормированное поле. Группа Ли G над К называется стандартной, если G как многообразие совпадает с mn, а умножение имеет вид xy=F(x,!/), где F— степенной ряд от хи ..., хп, Уи ■ ■ ■ ,Уп с коэффициента- коэффициентами в Ап и нулевым свободным членом. Очевидно, единичный 6—8731 23 81
элемент е стандартной группы Ли совпадает с 0. Заметим, что любой формальный степенной ряд от zu ... ,zm с коэффициен- коэффициентами в А сходится в шт, причем его сумма есть функция со- значениями в т. Теорема 1.1. Всякая локальная группа Ли G над неархи- неархимедовым полным нормированным полем К содержит открытую подгруппу Ли, изоморфную некоторой стандартной группе Ли. Ч Мы можем считать, что Q — окрестность точки 0 в Кпг причем е = 0, а умножение в Q имеет вид xy—F (х, у), где F — сходящийся степенной ряд от хх, ...,х„, уи ..-,у„ с коэф- коэффициентами в К" и нулевым свободным членом. Преобразование х^х = Кх, где Я6/С\{0}, пространства К" переводит G в изо- изоморфную ей группу G с умножением xy=F (x, у). Сравнивая коэффициенты рядов F и F, видим, что если норма \Х\ доста- достаточно велика, то все коэффициенты ряда F лежат в А" и ряд сходится в ш2". Таким образом, G содержит стандартную откры- открытую подгруппу Ли. ► Следствие. Всякая локальная группа Ли над неархиме- неархимедовым полным нормированным полем изоморфна ограничению некоторой группы Ли. 1.5. Касательная алгебра. Определение функтора Ли, данное в § 1 гл. 2, буквально переносится на случай группы Ли над произвольным полным нормированным полем К. Таким обра- образом, каждой группе Ли G над К соответствует алгебра Ли g над К той же размернбсти (касательная алгебра), каждому го- гомоморфизму групп Ли —гомоморфизм касательных алгебр. При этом подгруппе Ли в G соответствует подалгебра в б, являю- являющаяся идеалом, если подгруппа нормальна. Предположим теперь, что К неархимедово и что char/(=CL Тогда справедливы следующие теоремы, доказательство кото- которых использует формулу Кэмпбелла—Хаусдорфа (см. [24]). Теорема 1.2. Пусть G — группа Ли над К, Ъ — подалгебра ее касательной алгебры д. Тогда в G существует подгруппа Ли Я, касательной алгеброй которой служит 1). Если #i — другая подгруппа Ли, обладающая тем же свойством, то Н и #i совпа- совпадают в некоторой окрестности единицы. Теорема 1.3. Пусть G и Я—группы Ли над К, <р :fl-HJ — гомоморфизм их касательных алгебр. Тогда существует гомо- гомоморфизм /: G<r+H, определенный на некоторой открытой под- подгруппе Go группы G и такой, что def=q>. Если fi:G\-+H — другой гомоморфизм, определенный на открытой подгруппе GicrG и такой, что defi = (p, то f—fi в некоторой окрестности единицы. Следствие. Если две группы Ли над /( имеют изоморф- изоморфные касательные алгебры, то они содержат изоморфные откры- открытые подгруппы. 82
Замечание. Если char/(>0, то это утверждение неверно. Например, аддитивная и мультипликативная группы К и GLi(K) поля К имеют изоморфные касательные алгебры (од- (одномерные коммутативные алгебры Ли над К), но не содержат изоморфных открытых подгрупп, поскольку соответствующие им формальные группы не изоморфны (см. ниже пример п. 2.2). Теорема 1.4. Для любой конечномерной алгебры Ли g, над К существует группа Ли G над К с касательной алгеб- алгеброй g. •^ Рассмотрим степенной ряд D(x,y), введенный в п. 3.2: главы 3. Как и в архимедовом случае (см. теорему 3.4 гла- главы 3), доказывается, что этот ряд имеет положительный ради- радиус сходимости и определяет в окрестности точки 0 пространст- пространства д локальную группу Ли СН(д) над К, касательная алгебра которой совпадает с fl. Затем применяется следствие теоре- теоремы 1.1. ► Из конструкции группы СН(д) и следствия теоремы 1.3 вы- вытекает Следствие. Всякая группа Ли с коммутативной каса- касательной алгеброй содержит открытую подгруппу, изоморф- изоморфную Ап. Пусть G — некоторая группа Ли над К, fl — ее касательная алгебра, СН(д)—локальная группа Ли, определенная с по- помощью ряда К.эмпбелла—Хаусдорфа. Из теоремы 1.3 вытекает существование такого изоморфизма ехр : V^-Gu где V и Gi — открытые подгруппы Ли в СН(д) и G соответственно, что deexp = id. Отображение ехр — это экспоненциальное отобра- отображение; в неархимедовом случае оно определено лишь в окрест- окрестности нуля касательной алгебры. Отметим также следующее утверждение, которое доказы- доказывается аналогично теореме 3.6 главы 2. Теорема 1.5. Любая замкнутая подгруппа р-адической группы Ли является подгруппой Ли. § 2. Формальные группы По поводу материала этого параграфа см. [!24], [53]. 2.1. Определение и простейшие свойства. Пусть К— комму- коммутативное ассоциативное кольцо с единицей. Формальной груп- группой (или формальным групповым законом) размерности п над, К называется система F = (Fi)i^,^n формальных степенных ря- рядов Fi£K[{pu ■ ■ ■. хп, уи ... ,уп]] таких, что 1) F(x,Q)=x,F@,y)=y; 2) F(u,F(v,w))=F(F(u,v),w). Примеры. 1. Аддитивная группа F= (Fi)i^iein, где 6* 83
2. Мультипликативная группа (и=1): 3. Пусть G — n-мерная группа Ли над полным нормирован- нормированным полем К. Выберем в окрестности точки eGG такую ана- аналитическую систему координат, чтобы единица е имела нуле- нулевые координаты. Если отождествить точку xGG с набором ее координат хи..., хп, то умножение в G запишется формулами где Fi — сходящиеся степенные ряды. Тогда F = (/4) i формальная группа над К, которую мы обозначим через FG. 4. Если поле К неархимедово, то стандартная группа Ли над К определяет формальную группу над кольцом нормирования А, и обратно (см. п. 1.4). 5. Пусть кольцо К является алгеброй над полем Q (напри- (например, К—поле характеристики 0). Пусть g — алгебра Ли над К, являющаяся свободным /(-модулем конечного ранга. Если выбрать в g базис и записать в координатах степенной ряд F=D из п. 3.2 главы 3, то получим формальную группу СН(д) над К. Гомоморфизмом формальной группы F=(Fi)i<i<n в фор- формальную группу F = (Fj)i<i<m называется набор Ф = (<р;.I<;-<т, где 4jfiK[[xi, ...,д:„]], удовлетворяющий условиям: Ф @) = 0; F (<р (х), ф (у)) = Ф (F (х, у)). Формальные группы над К составляют категорию, в которой морфизмами служат гомоморфизмы. 2.2. Касательная алгебра формальной группы. Для любой формальной группы f=(fi)i«i^n над кольцом К справедливо следующее утверждение. Теорема 2.1. Ряды F\ имеют вид cMLXMyL, A) ||>0 |£|>0 где Cml&K и суммирование производится по всем упорядочен- упорядоченным наборам М, L из п. неотрицательных целых чисел. Существует единственный набор //=(//i)i<,<n. где //гб £К\[хъ ...,д:л]], такой, что F(x, H(x)) = F(H(x), x) = 0; . при этом Hi (х) = — xt + 2 смхм, где К Члены степени 2 в формуле A) определяют некоторое би- билинейное отображение b : KnXKn-+Kn. Полагая 84
[x,y]=b(x,y)—b(y,x), получаем билинейную операцию в Кп, которая, как оказывает- оказывается, превращает Кп в алгебру Ли. Эта алгебра называется ка- касательной алгеброй формальной группы. Например, в случае, когда формальная группа F=FG связана с группой Ли G, ка- касательная алгебра естественно отождествляется с касательной алгеброй группы Ли G (см. п. 1.1, гл. 2). Касательная алгебра формальной группы СН(д) (см. пример 5 п. 2.1) совпадает с '%. Нетрудно проверить, что дифференциал в точке 0 (т. е. ли- линейная часть) гомоморфизма формальных групп является го- гомоморфизмом их касательных алгебр. Поэтому получаем функ- функтор из категории формальных групп над кольцом К в категорию алгебр Ли над К (функтор Ли). Если К—поле характе- характеристики 0, то этот функтор и функтор gw-CH(g) определяют эк- эквивалентность указанных категорий (см. ниже п. 2.3). В част- частности, формальная группа над полем характеристики 0 опреде- определяется с точностью до изоморфизма своей касательной алгеброй. В случае поля простой характеристики это неверно, как показывает Пример. Пусть К—поле характеристики р>0. Тогда од- одномерные аддитивная и мультипликативная формальные груп- группы над К (см. примеры 1 и 2 п. 2.1) не изоморфны. В то же время, они имеют одну и ту же касательную алгебру—одно- алгебру—одномерную коммутативную алгебру Ли над К. Другие примеры см. в [15], |]41]. Работа [15] посвящена классификации коммутативных формальных групп над полями простой характеристики. Теория формальных групп изложена также в книгах (Dieudonne /., Introduction to the theory of for- formal groups. (Pure and Appl. Math., N 20). New York, Marcel Dekker, 1973, 265 pp.; Hazewinket M., Formal groups and appli- applications. New York e. a., Acad. Press, 1978, 573 pp.). 2.3. Би алгебр а, связанная с формальной группой. Анало- Аналогично тому, как это делается для групп Ли (см. § 2 гл. 3), с каждой формальной группой можно связать некоторую биал- гебру. Обозначим через U /(-подмодуль в (К[{хи ..., хп]])*, состоящий из линейных форм, равных 0 иа некоторых степенях идеала mczK.[[xu ..., хп]\, порожденного элементами *!,...,*„. Модуль U свободен и обладает базисом (Дм), двой- двойственным к системе одночленов (хм) : при M=L, при МфЬ. Далее, U*=Kgxu ... ,хп]]. Операции в U вводятся из соображений двойственности. Как и в п. 2.3 главы 3, оказывается, что умножение в алгебре К[[хи ...,хп\] определяет коумножение 8 в С/. Далее, подста- подстановка в ряды рядов F{ определяет отображение Щхи..., хп]\-*~К[[хи .. .,хп, у !,...,«/„]], порождающее ассо- 85
циативное умножение в U. Доказывается, что U — биалгебра относительно этих операций. Пусть g=/(n— касательная алгебра нашей формальной группы. Определим отображение т : д->£/ формулой где et= @,..., 1,..., 0). Проверяется, что т — гомоморфизм алгебры g в алгебру Ли L(U). Поэтому т продолжается до томоморфизма алгебр U(g)->[/, который мы также обозначим через т. Теорема 2.2. Если К—алгебра над Q (например, поле характеристики 0), то гомоморфизм t:U(g)->[/ является изоморфизмом биалгебр. Следствие. Если К—алгебра над Q, то функтор Ли и функтор д^СЩд) определяют эквивалентность категории фор- формальных групп над К и категории алгебр Ли над К, явля- являющихся свободными /(-модулями конечного ранга. § 3. Бесконечномерные группы Ли Наиболее непосредственным бесконечномерным обобщением групп Ли являются банаховы (в частности, гильбертовы) груп- группы Ли, на которые переносятся почти все основные утвержде- утверждения конечномерной теории. Однако банаховы группы Ли име- имеют довольно ограниченную область приложений и, в частно- частности, весьма редко выступают как группы преобразований конечномерных многообразий (например, неизвестны примеры транзитивных и эффективных действий бесконечномерных бана- банаховых групп Ли на компактных многообразиях). Существенно более широким (но зато и более трудным для изучения) яв- является класс групп Ли, моделированных на пространствах Фреше, к которому, в частности, относится группа всех диф- диффеоморфизмов любого компактного многообразия класса С°°. Изучение групп диффеоморфизмов привело также к определе- определению ILB- (или ILH-) групп Ли, т. е. топологических групп, представленных в виде предела обратного спектра банаховых (или гильбертовых) групп Ли (см. [21], [49]). По поводу бесконечномерных групп Ли и их физических при- приложений см. [21], а также статью (Milnor J., Remarks on in- infinite-dimensional Lie groups. Relativite, groupes et topol. II. Les BQiiches, Ec. d'ete phys. theor. Sess. 40, 1983. Amsterdam e. a., 1984, 1007—1058). В этом обзоре мы не касаемся теории псевдогрупп Ли пре- преобразований (т. е. «бесконечных групп преобразований» в смысле Ли и Картана) и связанной с ней теорией бесконечно- бесконечномерных фильтрованных алгебр Ли. 86
3.1. Банаховы группы Ли (см. [24], [32]). Пусть К — полное нормированное поле. Определение банаховой (гильбертовой) группы Ли G над К буквально повторяет определение обычной группы Ли, с той только разницей, что на G должна быть за- задана структура банахова (соответственно гильбертова) много- многообразия (подробности см. в [24], где теория групп Ли изложе- изложена именно в такой общности). Любая обычная группа Ли над К является, разумеется, банаховой (и гильбертовой) группой Ли. Приведем теперь некоторые бесконечномерные примеры. Примеры. 1. Пусть М и N — вещественные многообразия класса С°°, причем М компактно. Тогда для любого k^O мно- множество Ch(M,N) всех отображений M-+-N класса Ск снаб- снабжается структурой вещественного банахова многообразия клас- класса С°°. Чтобы описать ее, зададим на N какую-нибудь римано- ву структуру класса С°° и обозначим через Expj, соответству- соответствующее экспоненциальное отображение в точке y&N. Пусть «р : M-+N — некоторое отображение класса Ck. Рассмотрим векторное расслоение <p*T(N) класса Ск над М — обратный образ касательного расслоения над N при отображении <р; его <:лоем в точке xGM является касательное пространство T^X)(N). Тогда соответствие vy+<pv, где (pv(x)=Exp^x)v(x), инъективно отображает достаточно малую окрестность нуля в банаховом пространстве сечений класса Ск расслоения <р*Г(Л0 в множество Ck(M,N), причем фо=<р. Это и есть карта на Ск(М, N), покрывающая точку <р. Если N—G— некоторая вещественная группа Ли, то в мно- многообразии Ск(М, N) = Ck(M, G) имеется естественная струк- структура группы. Оказывается, что Ck(M,G)—банахова группа Ли. Аналогично определяются гильбертовы группы Ли HS(M,G) (s>-dimM) всех отображений M-+G Соболевского класса Hs (см. [51]). Группы Ck(M,G) и HS(M, G) иногда на- называют группами токов, а в случае M^S1 — группами пе- петель на G. 2. Обобщая пример 1, можно определить банахово и гиль- гильбертово многообразия Ск(Е) и HS(E), состоящие из сечений классов Ch и Hs соответственно некоторого расслоения Е-*~М класса С°° с компактной базой М. Если Е — расслоение на группы Ли (т. е. его слоем является группа Ли G, а структур- структурной группой — группа ее автоморфизмов AutG), то Ск(Е) и Н*(Е) (s>2"dimAl) являются банаховой (соответственно гильбертовой) группами Ли. Отметим следующий важный частный случай. Пусть Р->М — главное расслоенное пространство класса С°° со структурной группой G. Тогда можно построить расслоение £->М на группы Ли со слоем G. В качестве Е надо взять ас- ассоциированное с Р расслоение, соответствующее действию 87
группы G на себе при помощи внутренних автоморфизмов (см. п. 3.2 гл. 1 ст. II). Сечения расслоения Е можно рас- рассматривать как автоморфизмы расслоения Р, переводящие в себя каждый слой; они называются калибровочными преобра- преобразованиями. В итоге получаем группы Ли калибровочных пре- преобразований СЬ(Е) и HS(E) (s>^dimM). В приложениях обычно рассматривают естественное аффинное действие груп- группы калибровочных преобразований в пространстве связностей расслоения Р. 3. Пусть М — компактное вещественное многообразие клас- класса С°°. Тогда группа Diffft M всех диффеоморфизмов класса Ck(k^0) открыта в Ск(М,М) и, следовательно, обладает структурой вещественного банахова многообразия класса С™. Однако умножение Diffft M"XDillk Af-*-Diffft M является лишь непрерывным, но не дифференцируемым отображением. Таким образом, Diffft M не есть банахова группой Ли (см. в связи с этим п. 3.3). 4. Алгебра А над полным нормированным полем К назы- называется банаховой, если А — банахово пространство над К, нор- норма которого связана с умножением в А условием Нзд11<11*11№11 (х,уеА). Если А — ассоциативная банахова алгебра с единицей над К, то множество Лх ее обратимых элементов является банахо- банаховой группой Ли над К. В частности, группа GL(#) всех обра- обратимых непрерывных операторов любого банахова простран- пространства Я есть банахова группа Ли. 3.2. Соответствие между банаховыми группами Ли и бана- банаховыми алгебрами Ли (см. [24], [32], [7]). Пусть G — банахова группа Ли над полем К. Касательное пространство Q—Te(G) есть банахово пространство над К. Как и в конечномерном слу- случае, в пространстве g вводится операция [ , ] превращающая его в алгебру Ли. Эта алгебра Ли является банаховой. Если сЬаг/С=О, то каждой банаховой алгебре Ли g над К соответ- соответствует локальная банахова группа Ли СН(д), которая опреде- определяется в окрестности точки 0 пространства g при помощи ряда Кэмпбелла—Хаусдорфа (см. п. 3.3 гл. 3). Теорема 3.1. Пусть char/(=0. Определенные выше соот- соответствия Gf-*gn g^CH(g) задают эквивалентность между ка- категориями локальных банаховых групп Ли и банаховых алгебр Ли над полем К. Если поле К неархимедово, то, как и в конечномерном слу- случае, каждая банахова алгебра Ли над К является касательной алгеброй некоторой глобальной банаховой группы Ли. В архи- архимедовом случае это утверждение неверно, как показывает сле- следующий Пример ([29]). Пусть G=SU2XSU2. Рассмотрим веще- вещественную банахову группу Ли Q(G)=C1(S1, G) (см. при- 88
мер 1 п. 3.1). Ее касательной алгеброй является банахова ал- алгебра Ли Q(g) = C'(S',g) где g=3U2®5it2. Очевидно, Q(g) = —Q (sit2) ®Q EU2). Рассмотрим 2-коцикл алгебры Ли Q(su2) ca значениями в R, заданный формулой 2я где ф и ф интерпретируются как функции класса С1 на R,. имеющие период 2л. Тогда билинейная функция z на Щд), за- заданная формулой 2(!ф1©ф2, г|I©гЫ=20(ф1, ^i)+0zo(qJ, Ь) (ф<> Ф«ейEtt2)), где 0 — фиксированное вещественное число, является 2-ко- циклом алгебры Щд). Она определяет центральное расширение (см. т. 21). Легко видеть, что Q(g) — банахова алгебра Ли над R. Оказывается, что банахова группа Ли с касательной алгеб- алгеброй Q(g) существует тогда и только тогда, когда 06Q- Таким образом, если 0 иррационально, то локальная банахова группа Ли CH(Q(g)) не является ростком никакой глобальной группы Ли. Известны некоторые условия, достаточные для существова- существования глобальных групп Ли с заданной касательной алгеброй. В частности, справедлива Теорема 3.2 (см. [33]). Если д —банахова алгебра Ли с тривиальным центром, то существует банахова группа Ли с касательной алгеброй д. Как и в конечномерном случае, определяется экспоненци- экспоненциальное отображение ехр : %-^-G. Отметим следующий результат, представляющий интерес и в конечномерном случае. Теорема 3.3 ([43]). Пусть G— односвязная банахова группа Ли над полем R или С, g — ее касательная алгебра, || || — норма, превращающая g в банахову алгебру Ли. Тогда отображение ехр : g->-G инъективно и регулярно в открытом шаре{хед|||х||<2л}. 3.3. Действие банаховых групп Ли на конечномерных мно- многообразиях. Следующие результаты, полученные в [50], пока- показывают, что бесконечномерные вещественные банаховы группы Ли лишь в редких случаях могут нетривиально действовать на конечномерных многообразиях (все действия предполагаются дифференцируемыми). Теорема 3.4. Если связная вещественная банахова груп- группа Ли G эффективно и примитивно действует на конечномер- конечномерном дифференцируемом многообразии, то dim G<oo (О поня- понятии примитивности действия см. п. L4 гл. 2 ст. II.) Теорема 3.5. Если касательная алгебра g вещественной банаховой группы Ли G не содержит собственных замкнутых идеалов конечной коразмерности, то g не содержит и собствен- собственен
ных замкнутых подалгебр конечной коразмерности. В частно- частности, в этом случае любое действие группы G на конечномерном дифференцируемом многообразии тривиально. Можно проверить, что для группы GL(#), где Н—беско- Н—бесконечномерное вещественное банахово пространство, условие теоремы 3.4 выполнено. Поэтому имеем Следствие. Если Н — бесконечномерное вещественное банахово пространство, то группа GL(#) не допускает нетри- нетривиального действия на конечномерном дифференцируемом мно- многообразии. 3.4. Группы Ли—Фреше (см. [32]). Напомним, что про- пространством Фреше называется полное хаусдорфово локально выпуклое топологическое векторное пространство, топология в котором задается счетным семейством полунорм (последнее условие равносильно метризуемости). Мы будем предполагать, что основное поле есть поле R действительных чисел. Обобщая классическое понятие производной по направлению, можно развить дифференциальное исчисление для функций со значе- значениями в пространстве Фреше, определенных в открытом мно- множестве другого пространства Фреше. Очевидным образом оп- определяются дифференцируемые (класса С") многообразия Фреше и их дифференцируемые отображения, касательные про- пространства к многообразиям Фреше, дифференциалы отображе- отображений (см. [32]). Группой Ли—Фреше называется многоообразие Фреше G, снабженное структурой группы такой, что умножение (ё, h)^.gh и инверсия gt->-g~l дифференцируемы. Касательное пространство Te(G) в точке е группы Ли—Фреше G превра- превращается в алгебру Ли, например, при помощи естественного изоморфизма между Te(G) и пространством правоинвариант- ных векторных полей на G, которое является алгеброй Ли относительно операции коммутирования (или скобки Ли) (ср. п. 1.2 гл. 2). Эта алгебра Ли g называется касательной алгеб- алгеброй группы G. Примеры. 1. Пусть М и IV — вещественные многообразия класса С°°, причем М компактно. Тогда множество С°° {М, N) всех отображений M-+-N класса С°° превращается в многообра- многообразие Фреше, если определить на нем карты аналогично приме- примеру 1 п. 3.1. Многообразием Фреше является также множество всех сечений С°°(Е) класса С°° дифференцируемого расслоения Е с компактной базой. Если М компактно и G — (конечномер- (конечномерная) вещественная группа Ли, то группа C°°(M,G) является ?>уппой Ли—Фреше. Ее касательная алгебра — это алгебра Ли "('Af, g), где g — касательная алгебра труппы G. Группа се- сечений С°°(Е) любого дифференцируемого расслоения на груп- группы Ли с компактной базой (см. пример 2 п. 3.1) есть группа Ли—Фреше. Ее касательной алгеброй является алгебра Ли С" (г) сечений соответствующего раселоеия е на алгебры Ли. 90
С любым главным расслоением класса С°° связывается группа калибровочных преобразований класса С°°, являющаяся груп- группой Ли—Фреше. 2. Пусть М — компактное дифференцируемое многообразие. Тогда группа Diff A1 всех его диффеоморфизмов обладает есте- естественной структурой группы Ли—Фреше (см. [32]). Касатель- Касательной алгеброй этой группы является алгебра Ли V(M) всех векторных полей (класса С°°) на М с операцией коммутирова- коммутирования. Трудность изучения групп Ли—Фреше связана, в частности, с тем, что на дифференцируемые отображения многообразий Фреше не распространяется теорема об обратной функции, хо- хорошо известная для банаховых пространств и многообразий. Следующий пример показывает, что эта теорема не верна для «экспоненциального отображения», связанного с группой Diff A1 из примера 2. Пример 3 (см. [32]). Пусть М — компактное дифферен- дифференцируемое многообразие. Каждое векторное поле v&V(M) по- порождает поток a(t)=exptv на М с полем скоростей v (см. п. 2.1 гл. 1 ст. II). Отображение ехр : yt->-exp у=аA) простран- пространства V(M) в Diff A1 дифференцируемо и doexp=dd. Однако его образ exp V(M), вообще говоря, не содержит окрестности тож- тождественного диффеоморфизма е в Diff M. Действительно, пусть, например, M=Sl. Пусть диффеомор- диффеоморфизм / : S]-*-Sl имеет вид /=ехр ц, где yel^S1). Если / не имеет неподвижных точек, то v{x)*£Q для всех x&S1. Поэтому у переводится диффеоморфизмом окружности в векторное поле, инвариантное относительно поворотов, а / сопряжен повороту в группе Diff M." В то же время, легко построить диффеомор- диффеоморфизмы окружности, сколь угодно близкие к тождественному диффеоморфизму, но не сопряженные поворотам. Несколько лет назад была выделена категория многообра- многообразий Фреше и их дифференцируемых отображений, для которых справедлив ослабленный вариант теоремы об обратной функ- функции. Эти многообразия, моделирующие их пространства Фреше и допустимые отображения называются ручными. Не входя в подробности (см. {32}), заметим лишь, что в ручном простран- пространстве Фреше F, кроме топологии, фиксируется также некоторое определяющее ее семейство полунорм || ||ft (/f = 0, 1, 2,...)) та- такое, что II х||о^ 11*11 l^ltall^ ... Для любого xGF, а ручное отображение /, начиная с некоторого п, удовлетворяет условию ll/4*)lln<cn(l-f||x||n+r) для некоторого r^sO. Группа Ли—Фре- Ли—Фреше G называется ручной, если G — ручное многообразие и отображения (g,h)>-+gh и g>-*g~l являются ручными. Оказы- Оказывается, что все многообразия и группы Ли—Фреше, рассмот- рассмотренные выше в примерах 1, 2, являются ручными. Отметим некоторые результаты о группах диффеоморфизмов, получен- полученные этим методом [32]. 91
Пусть М — компактное дифференцируемое многообразие,. D(M)—ручное многообразие Фреше, состоящее из всех поло- положительных плотностей ц класса С™ на М (см. пример 5 п. 3.2, гл. 1 ст. II), удовлетворяющих условию /ц,= 1. Группа DiffM м допускает естественное дифференцируемое действие на D(M), причем стабилизатор точки nGD(M)—это группа Diffj.Af диф- диффеоморфизмов, сохраняющих плотность ц (или соответству- соответствующую меру на М). Теорема 3.6. Группа Diff Л! действует на D(M) транзи- тивно. Для любой \iGD(M) подгруппа Diffj.Af является ручной подгруппой Ли в DiffAf и отображение <р-мр(ц,) (<pGDiff Af) есть проекция ручного дифференцируемого главного расслоения с базой D(M) и структурной"группой Diff^Af. Известно также, что группа (Diff Л1)° транзитивно дей- действует на связных компонентах многообразия симплектических структур и многообразия контактных структур на компактном многообразии М, но, по-видимому, неизвестно, будут ли стаби- стабилизаторы этих действий подгруппами Ли в Diff M. 3.5. ILB- и ILH-группы Ли. Попытки построить обобщение теории групп Ли, влючающее бесконечномерные группы авто- автоморфизмов различных геометрических структур на многообра- многообразиях, привело к следующему понятию, введению и изучению которого посвящена книга [49]. Пусть дана последователь- последовательность банаховых (или гильбертовых) пространств Es (s = d, d-\-l,...), причем £s+1 линейно и плотно вложено в Es, и пусть пространство E = f|£s снабжено топологией предела обратного спектра. Топологическая группа1? G называется (сильной) ILB- (соответственно ILH-) группой Ли, если суще- существует последовательность топологических групп Gs (s^d), удовлетворяющая следующим условиям: Gs — многообразие класса С°°, моделированное на £>; Gs+l — плотная подгруппа в Gs, причем вложение имеет класс С°°; G = f|Gs совпадает (как топологическая группа) с пределом обратного спектра тополо- топологических групп Gs; умножение G^G-t-G и инверсия G-+G продолжаются до отображений Gs+JXGs-»-Gs и Gs+L-*-G* клас- класса С1; правые сдвиги в Gs суть преобразования класса С°° и индуцируют отображение класса С1 многообразия Te(Gs+l)xGs в касательное расслоение над Gs; локальные карты в окрестно- окрестностях точки е всех групп Gs можно согласованно задать с по- помощью локальной карты на Gd со значениями в Te(Gd). В окрестности единицы ILB- (или ILH-) группы Ли суще- существует карта со значениями в пространстве Фреше g=n7'e(Gs)^E, превращающая G в группу Ли—Фреше. В про- странстве g определяется операция, превращающая его в то- •> По поводу этого понятия см. § 4. 92
лологическую алгебру Ли, которая называется касательной алгеброй группы G. Оказывается, что в рассматриваемом случае справедливо некоторое обобщение теоремы 2.10 гл. 2. Из него вытекает Теорема 3.7. ([49]). Если касательные алгебры односвяз- ных ILB-групп Ли G и Н топологически изоморфны, то G и Н изоморфны как топологические группы. В [49] доказано также, что для любого компактного много- многообразия М класса С°° группа Diff A1 обладает естественными структурами ILB-группы Ли и ILH-группы Ли. Далее, струк- структурой ILB-группы Ли обладают следующие подгруппы в Diff Af: подгруппа всех диффеоморфизмов, сохраняющих некоторое дифференцируемое расслоение многообразия М; подгруппа всех диффеоморфизмов, переводящих в себя за- заданное замкнутое подмногообразие; подгруппа всех диффеоморфизмов, сохраняющих меру, оп- определяемую римановой метрикой, симплектическую или кон- контактную структуру на Af. § 4. Группы Ли и топологические группы Топологической группой называется группа G, снабженная такой топологией, что умножение (g, h)*-+gh и инверсия gi-+g~l являются непрерывными отображениями. Очевидно, любая группа Ли (вещественная или комплексная) является топологической группой. То же относится к группам Ли над полными нормированными полями, к банаховым группам Ли и группам Ли—Фреше. В то же время, легко привести приме- примеры топологических групп, не являющихся многообразиями в том или ином смысле и потому не допускающих структуры группы Ли. В этом параграфе мы коротко остановимся на следующем вопросе: какое место занимают группы Ли среди топологиче- топологических групп? Исследования в этом направлении в течение мно- многих лет стимулировались 5-й проблемой Гильберта, решенной в 50-е годы нашего века (обзоры результатов, связанных с этой проблемой, см. в [19] и [59]). 4.1. Непрерывные гомоморфизмы групп Ли. Следующая теорема показывает, что вещественные и р-адические группы Ли составляют полные подкатегории категории топологических групп. Теорема 4.1. Пусть f : G-*~H — непрерывный гомоморфизм вещественных или р-адических групп Ли G, Н. Тогда f анали- тичен. ■^ Рассмотрим график Г={#, h)GGX.H\h=f (g)} гомомор- гомоморфизма /. Очевидно, Г — замкнутая подгруппа "в G><#. В силу теоремы 3.6 гл. 2 (Картана) и теоремы 1.5 Г — подгруппа Ли 93
в GxH. Соответствующая касательная подалгебра есть график Гомоморфизма df : g-H). Поэтому проектирование (g, hI-* g определяет изоморфизм Y-+-G. Отсюда легко следует наше утверждение. ► Следствие. На вещественной (или р-адической) группе Ли G существует единственная структура аналитического мно- многообразия над полем R (соответственно Qp), относительно кото- которой умножение в G аналитично. •^ Теорема 4.1 применяется к тождественному изоморфиз- изоморфизму группы G на ту же группу, снабженную другой аналитиче- аналитической структурой. ► Таким образом, вещественные и р-адические группы Ли можно рассматривать как топологические группы специально- специального типа. 4.2. 5-я проблема Гильберта. В известном докладе Гильбер- Гильберта «Математические проблемы» был поставлен следующий вопрос. Предположим, что в определении конечной непрерыв- непрерывной группы преобразований пространства R", принадлежащем С. Ли (см. п. 1.3 гл. 1, ст. II), мы заменим требование диффе- ренцируемости или аналитичности функций требованием непрерывности. Можно ли ввести новые (локальные) коорди- координаты в Rn и новые локальные параметры в группе так, чтобы функции, определяющие группу преобразований, стали диф- дифференцируемыми или аналитическими? Можно ли это сделать при некоторых дополнительных предположениях? В дальнейшем из этой 5-й проблемы Гильберта была выде- выделена следующая проблема, представляющая собой как раз вопрос о характеризации групп Ли в классе всех топологиче- топологических групп: всякая ли локально евклидова топологическая группа (т. е. топологическая группа, являющаяся топологиче- топологическим многообразием) является группой Ли? На этот вопрос в 1952 г. был получен утвердительный ответ. Теорема 4.2. Всякая локально евклидова топологическая группа допускает структуру дифференцируемого многообразия, относительно который она является вещественной группой Ли. Доказательство этой теоремы было дано Глисоном, Монтго- Монтгомери и Зиппином в работах [31], [45]; их метод был усовер- усовершенствован в [57], [58] и [40] (изложение см. также в [46] и [6]). При этом была получена также следующая характериза- ция групп Ли: топологическая группа G является группой Ли тогда и только тогда, когда она локально компактна и не со- содержит малых подгрупп (т. е. существует окрестность едини- единицы е в G, не содержащая подгрупп, отличных от {е}). Л. С. Понтрягин (см. [16]) доказал, что компактная топо- топологическая группа является группой Ли тогда и только тогда, когда она конечномерна и локально связна. Общую проблему Гильберта о группах преобразований можно (в глобальной форме) сформулировать следующим об- 94
разом: всякое ли непрерывное действие локально евклидовой топологической группы на топологическом многообразии М яв- является дифференцируемым относительно некоторой дифферен- дифференцируемой структуры на Af? Ответ на этот вопрос, отрицатель- отрицательный в общем случае, оказывается положительным для тран- транзитивных и эффективных действий. Справедлива более общая Теорема 4.3 ([46]). Если локально компактная топологи- топологическая группа G транзитивно и эффективно действует на ко- конечномерном локально компактном и локально связном топо- топологическом пространстве X, то G обладает структурой группы Ли, а X — такой структурой вещественного аналитического многообразия, что действие аналитично. § 5. Аналитические лупы В этом параграфе речь пойдет о неассоциативных обобще- обобщениях групп Ли, впервые рассмотренных А. И. Мальцевым [14]. 5.1. Основные определения и примеры (см. [25]). Множе- Множество G с определенной на нем операцией умножения (a, b)>-*-ab называется лупой, если выполняются следующие условия: а) существует такой элемент eQG (единица лупы G), что еа=ае=а для всех aGG; б) для любых a, beG каждое из уравнений ах=Ь и уа=Ь имеет единственное решение. Условие б) позволяет ввести в лупе G операции левого де- деления {а, Ь)>-+а\Ь и правого деления (a,b)<-*a/b, облада- обладающие следующими свойствами: Лупа G называется лупой Боля, если она удовлетворяет условию в) а(Ь(ас)) = (а(Ьа))с для всех a, b,c&G, и лупой Муфанг, если выполнены в) и условие г) ((ca)b)a=c((ab)a) для всех a, b, cGG. Лупа G является лупой Муфанг тогда и только тогда, ког- когда она удовлетворяет любому из следующих трех тождеств: a{b(ac)) = ({ab)a)c; ((ca)b)a=c(a(ba)); (ab) {ca)=a{(bc)a). Лупа называется моноассоциативной, если любой ее элемент порождает ассоциативную подлупу, и дийссоциативной (или альтернативной), если любая пара ее элементов порождает ас- ассоциативную подлупу. В частности, любая лупа Боля моноас- моноассоциативна. Далее, лупа Боля диассоциативна тогда и только тогда, когда является лупой Муфанг. Аналитической лупой называется аналитическое многообра- многообразие (над полем /C=R или С), снабженное структурой лупы та- такой, что операция умножения является аналитической. Естест- Естественно определяются локальные аналитические лупы. 95
Примеры.Л. Если О — алгебра чисел Кэли (см. т. 11), то множество G = O\{0} с операцией умножения чисел Кэли есть диассоциативная аналитическая лупа. 2. Пусть М — аналитическое многообразие с заданной на нем аналитической линейной связностью, евМ — фиксирован- фиксированная точка. Обозначим через Ехра экспоненциальное отображе- отображение в точке аеМ, соответствующее данной связности (см. [34]). В окрестности точки е на М определим умножение формулой ab=Expa(te,a(Exp-1(b))), где хе,а — параллельный перенос касательных векторов вдоль отрезка геодезической из точки е в а. Оказывается, что это умножение определяет структуру локальной аналитической лу- лупы в окрестности точки е на М; она называется геодезической лупой данной связности. Если связность локально симметрична, то геодезическая лупа является лупой Боля. Всякая локальная аналитическая лупа Боля является геодезической лупой неко- некоторой линейной связности [18]. 5.2. Касательная алгебра аналитической лупы. Пусть G — локальная аналитическая лупа и пусть xt..., хп — локальная система координат на G в окрестности единицы е=@, ...,0). Пусть 2г = Й/(-«1' •■•■>хп, Уъ •••. J/я) (i = l. -.., я) — аналитические в точке @, 0) функции, выражающие координаты произведения z — xy через координаты сомножителей. В силу условия а) в определении лупы, функции nt, как и в случае групп Ли, обладают свойством -т Ц— =5 ^— I =0- Поэтому ряд Тейлора функции цг в точке (О, 0) имеет следую- следующий вид: ц, {х, у) = х, + yl -l 2 а)ьх#к + ik j.k.i .., A) l.f.l где b)ki = bkjf, Cjki — Ckji и многоточие заменяет члены порядка ^4. Напомним, что локальная группа Ли определяется, с точностью до изоморфизма, членами порядка 2 в формуле A). Для произвольных луп это свойство, разумеется, ие имеет мес- места. Однако локальные лупы Боля, как мы увидим далее, пол- полностью определяются членами порядков 2 и 3 в разложе- разложении A). Пусть % = Te(G). Введем в g бинарную и тернарную опера- операции [|, ц] и <|, ц, О следующим образом. Пусть a{t), ${t), "Y (t) — дифференцируемые пути в G, удовлетворяющие услови- условиям a(O)=p(O)=Y(O)=e, a'@) = |, р'@)=Ч, y'@)=£- Тогда •96
(jJ(t)a(t)) \ (a(t)(J (t)) = ( Если задавать вектор |GG его координатами |,-, соответствую- соответствующими выбранной выше локальной системе координат на G, то II. лЪ == 2в«5л*. < I. л. £ > i = 2°шБ/Л*Ь. ;.* j.k.i .. где v)k, = 2^« - 2c/w + ~ Таким образом, введенные операции линейны по каждому аргу- аргументу. Касательной алгеброй локальной аналитической лупы G назовем бинарно-тернарную алгебру g с операциями [, ] и <, , >. Заметим, что если G — локальная группа Ли, то <?, Ч, £> = 0 для всех |, т), £е9- Далее, в общем случае [1,11 = 0A69). • B) Пример ([2], см. также [18]). Пусть Q — геодезическая лупа некоторой линейной связности (см. пример 2 п. 5.1). Тогда структурные константы а' и vljk[ выражаются через тензоры кривизны R и кручения Т связности следующим образом: = у (/?//* (е)- 5.3. Касательная алгебра диассоциативной лупы. Для диас- социативных локальных аналитических луп тернарная операция в касательной алгебре выражается через бинарную (см. ниже формулу D)). Пэтому в этом пункте касательная алгебра рас- рассматривается как обычная алгебра с одной операцией умноже- умножения [,]. Алгебра называется бинарно лиевой, если любые два ее элемента порождают подалгебру, являющуюся алгеброй Ли. Теорема 5.1 ([14]). Если G — диассоциативная локальная аналитическая лупа над полем & = R или С, то ее касательная алгебра g является бинарно лиевой. При этом любая конечно- конечномерная бинарно лиева алгебра над R изоморфна касательной алгебре единственной (с точностью до изоморфизма) локальной аналитической диассоциативной лупы. Заметим, что на произвольные моноассоциативные аналити- аналитические лупы переносится теорема о существовании и единст- единственности однопараметрической подгруппы с заданным каса- касательным вектором (см. п. 3.1 гл. 2), что позволяет определить для такой лупы G экспоненциальное отображение g-*-G и кано- канонические координаты в окрестности единицы [11]. Если G 7—8731 23 97
диассоциативна, то умножение в G выражается в каноничес- канонических координатах через операцию [, ] в алгебре g при помощи обычной формулы Кэмпбелла—Хаусдорфа (см. ['14]). Пусть А — некоторая алгебра с операцией [, J* Положим П%, л> С) ЧП, л!, S] =K, 6L л1+Ил. И. 11 (I. л. &Ы) • Алгебра Л называется алгеброй Мальцева (или муфанг-лиевой алгеброй, см. [!14]), если выполнены условие B) и условие /F,л.[6.С]) = [/F,л,С),|]. C) Условие C) можно заменить следующим: К, л1, fe, «]=[№, л], £] Й+Шп, U, Й, *] + [[[£, 6], 6], л]- Например к алгебре Мальцева приводит операция коммути- коммутирования [|, г)] = ^т)—цЬ, в любой альтернативной алгебре с умножением (|, т|)»-*|т). "Обзор результатов об алгебрах Маль- Мальцева см. в [10]. Теорема 5.2 ([14], [11]). Локальная аналитическая лупа является лупой Муфанг тогда и только тогда, когда ее каса- касательная алгебра есть алгебра Мальцева. Заметим, что тернарная операция < , , > в касательной ал- алгебре к диассоциативной лупе выражается через бинарную по формуле <1,г\,О=ъШ,чЛ). D) 5.4. Касательная алгебра лупы Боля. Бинарно-тернарная ал- алгебра А с операциями [, ] и < , > называется алгеброй Боля, если выполнены следующие условия: л,£>, «]—KS, л, «>, £].+ < [S. л].х. £>- |, л, С)) = ((X, х, |), л,« + а (х, х, л), I) + -hi, л, (x,x,s)), где (|, л, S) = -2<S, Л- S>+'[R. Л]. S]. Теорема 5.3 ([1], [18]). Бинарно-тернарная касательная алгебра локальной аналитической лупы Боля является алгеб- алгеброй Боля. Всякая конечномерная алгебра Боля изоморфна ка- касательной алгебре единственной (с точностью до изоморфизма) локальной аналитической лупы Боля. Заметим, что в канонических координатах умножение в ана- аналитической лупе Боля выражается следующей формулой, где многоточие заменяет члены порядка 2^4: [х[ху]] 98 — \ {х, у, у) -fy {y,x,x) -f ...
ЛИТЕРАТУРА 1. Акивис М. А., О локальных алгебрах многомерной трн-тканн. Снб. мат. Ж., 1976, П. № 1, 5— II 2. —, О геодезических лупах н локальных тройных системах пространства аффинной связности. Снб. мат. ж., 1978, 19, № 2, 243—253 3. Алексеевский Д. В., Группы Лн и однородные пространства. Итоги науки н техн. ВИНИТИ. Алгебра. Топология. Геометрия, 1974, 11, 37—123 4. —, Группы Ли. Итоги науки н техн. ВИНИТИ. Алгебра. Топология. Гео- Геометрия, 1982, 20, 153—192 5. Винберг Э. Б., Группы Лн и однородные пространства. Итоги науки я техн. ВИНИТИ. Алгебра. Топология. 1962. М.: 1963, 5—32 6. ГЛушков В. М., Строение локально бикомпактных групп н пятая проб- проблема Гильберта. Успехи мат. наук, 1957, 12, № 2, 3—41 7. Дынкин Е. Б., Нормированные алгебры Лн и аналитические группы. Ус- Успехи мат. наук, 1950, 5, № 1, 135—186 8. —, Теория групп Лн, Математика в СССР за сорок лет, 1917—1957». т. 1. М.: Фнзматгнз, 1959, 213—227 9. Кириллов А. А., Элементы теории представлений. 2-е изд. М.: Наука, 1978, 343 с. 10. Кузьмин Е. И., Алгебры Мальцева н их представления. Алгебра и логика, 1968, 7, № 4,48—69 11. —, О связи между алгебрами Мальцева и аналитическими лупами Му- фанг. Алгебра н логика, 1971, 10, № 1, 3—22 12. Мальцев А. И., On the -theory of the Lie groups in the large. Мат. сб., 1945, 16, № 2, 163—190; 1946, 19, № 3, 523—524 (Пер. на рус. яз.: К теории групп Лн в целом. Избранные труды, т. 1. М.: Наука, 1976Г 177—200) 13. —, Топологическая алгебра и группы Лн. Математика в СССР за трид- тридцать лет. М.—Л.: Гостехнздат, 1948, 134—159 __ 14. —, Аналитические лупы. Мат. сб., 1955, 36, № 3, 69—573; Избранные труды, т. 1. М.: Наука, 1976, 340—345 15. Манин Ю. И., Теория коммутативных формальных групп над полями ко- конечной характеристики. Успехи мат. наук, 1963, 18, № 6, 3—90 16. Понтрягин Л. С, Непрерывные группы. 4-е нзд. М.: Наука, 1984, 520 с. 17. Постников М. М., Группы и алгебры Лн. М.: Наука, 1982, 447 с. 18. Сабинин Л. В., Михеев П. О., Теория гладких луп Бола. М.: Изд. Ун-та дружбы народов, 1985, 80 с. 19. Скляренко Е. Г., К пятой проблеме Гильберта. Проблемы Гильберта. М.г Наука, 1969, 101—115 20. Ширшов А. И., О представлении лиевых колец в ассоциативных кольцах. Успехи мат. наук, 1953, 8, № 5, 173—175 21. Adams M., Ratiu Т., Schmid R., The Lie group structure of diffeomorphisnr froups and invertible Fourier integral operators, with applications. Infinite- imensional groups with applications. New York e. a., 1985, 1—69 22. Bourbaki N. Topologie generate, ch. 5—8. Paris: Hermann, 1947, 132 pp~ (Пер. на рус. яз.: Бурбаки Н., Общая топология. Топологические группы. Числа и связанные с ними группы и пространства. М.: Наука, 1969, 392 с.) 23. —, Algebre commutative, ch. 5,, 6. Paris: Hermann, 1964, 207 pp. (Пер. на рус. яз.: Бурбаки Н., Коммутативная алгебра. М.: Мнр, 1971, 707 с.) 24. —, Groupes et algebres de Lie, ch. 1, 2, 3. Paris: Hermann, 1971, 146 pp.; 1972, 320 pp. (Пер. на рус. яз.: Бурбаки #., Группы и алгебры Лн. Гл. 1—III. M.: Мнр, 1976, 496 с.) 25. Bruck R. ft., A survey of binary systems. Berlin e. a.: Springer, 1958t 185 pp. 26. Chevaltey C, Theory. of Lie groups, I. Princeton: Princeton Univ. Press» 1946, 220 pp. (Пер. на рус. яз.: Шевалле К-, Теория групп Лн, I. M.: ИЛ, 1948, 315 е.) 7* 99
27. Dieudonne I., Foundations of modern analysis. New York, London: Acade- Academic Press, I960, 361 pp. (Пер. на рус. яз.: Дьедонне Ж., Основы совре- современного анализа. М.: Мнр, 1964, 430 с.) 2b.Dixm.ier /., Algebres enveloppantes. Paris e. a.: Gauthier-Villars, 1974, 349 pp. (Пер. на рус. яз.: Диксмье Ж-, Универсальные обертывающие ал- - гебры. М.: Мир, 1978, 407 с.) 29. Est W. Т. van, Korthagen Th. Г., Nonenlargible Lie algebras. Proc. Kon. ned. Akad. wetensch., 1964, A67, Na 1, 15—31 30. Gelfand I. M., Kfillov A. A., Sur les corps lies aux algebres enveloppan- tes des algebres de Lie. Publ. math. IHES, 1966, 31, 5—19 31. Gleason A., Groups without small subgroups. Ann. Math., 1952, 55, № 2, - 193—212 32. Hamilton R. S,, The inverse function theorem of Nash and Moser. Bull. - Amer. Math. Soc., 1982, 7, № 1, 65—222 33. Натре P. de la, Classical Banach-Lie algebras and Banach-Lie groups of operators in Hflbert space. Lect. Notes Math., 1972, 285, 160 pp. 34. Helgason S., Differential geometry and symmetric spaces. New York, Lon- London: Academic PreSs, 1962, 486 pp. (Пер. на рус. яз.: Хелгасон С, Диф- Дифференциальная геометрия н симметрические пространства. М.: Мнр, 1964, 533 с.) 35. Humphreys J. Е., Introduction to Lie algebras and representation theory. • 2nd ed. New York e. a.: Springer, 1972, 171 pp. 36. Jacobson N.. Lie algebras. New York, London: Interscience Publ., 1962, 331 pp. (Пер. на рус. яз.: Джекобсон Н., Алгебры Лн. М.: Мнр, 1964, 355 с.) 37. Jantzen J. С., Einhfillende Algebren halbeinfacher Lie-Algebren. Berlin e. a.: Springer, 1983, 298 S. 38. Joseph A., Proof of the Gelfand-Kirillov conjecture for solvable Lie algeb- algebras. Proc. Amer. Math. Soc., 1974, 45, № 1, 1—10 39. Kaplansky I., Lie algebras and Jocally compact groups. Chicago: Chicago Univ. Press, 1971, 148 pp. (Пер. на рус. яз.: Капланский И., Алгебры Ли н локально компактные группы. М.: Мир, 1974, 148 с.) 40. hazard M-, Sur les algebres enveloppantes universelles de certaines algeb- res de Lie. С. г. Acad. scl, 1952, 234, № 8, 788—791 41. —, Sur les groupes de Lie formels a un parametre. Bull. Soc. Math. Fran- ■ ce, 1955, 83, № 3, 251—274 42. —, Groupes analytiques p-adiques. Publ. math. IHES, 1965, 26, 389—594 43. —, Tits J-, Domaines d'injectivite de l'application exponentielle. Topology, 1965/66, № 4, 315—322 44. McConnell J. C, Representations of solvable Lie algebras and the Gelfand- Kirillov conjecture. Proc. London Math. Soc, 1974, 29, № 3, 453—484 45. Montgomery D., Zippin L., Small subgroups in finite dimensional groups. Ann. Math., 1952, 56, № 2, 213—241 46. —, —, Topological transformation groups. New York: Wiley, 1955, 282 pp. 47. Morinaga K-, Ndno Т., On the logarithmic functions of matrices; I, II. J. Sci. Hiroshima Univ, 1950, A14, № 2, 107—114; № 3, 171—179 48. Ndno Т., Sur l'application exponentielle dans les groupes de Lie. J. Sci. Hiroshima Univ., 1960, A23, 311—324 49. Omori H., Infinite dimensional Lie transformation groups. Lect. Notes Math., 1974, 427, 149 pp. 50. —, Натре Р. de la, About interaction between Banach-Lie groups and fi- finite dimensional manifolds. J. Math. Kyoto Univ., 1972, 12, № 3, 543—570 51. Palais R., Foundations of global non-linear .analysis. New York-Amster- York-Amsterdam: Benjamin, 1968, 131 pp. ... 52. Sagle A. A., Walde R.E., Introduction to Lie groups and Lie algebras. ' New York, London: Academic Press, 1973, 361 pp. 53. Serre I.-P., .Lie algebras and Lie groups. New York, Amsterdam: Benjamin, 1965, 247 pp. (Пер. на рус. нз.: Серр Ж.-Я., Алгебры Ли и группы Ли. М.: Мнр, 1969, 375 с.) 1Q0
54. Spanier E. H<, Algebraic topology. New York e. a.: McGraw Hill Bool Co., 1966, 528 pp. (Пер. на рус. яз.: Спеньер Э., Алгебраическая топо логия. М.: Мир, 1971, 680 с.) 55. Warner F. W., Foundations of differentiable manifolds and Lie groups New York e. a.: Springer, 1983, 272 pp. (Пер. на рус. яз.: Уорнер Ф., Ос новы теорнн гладких многообразий н групп Ли. М.: Мир, 1987, 302 с.) 56. Yamabe H., On an arcwise connected subgroup of a Lie group. Osaka Math J., 1950, 2, 13—14 57. —, On conjecture of Iwasawa and Gleason. Ann. Math., 1953, 58, № 1 48-54 58. —, A generalization of a theorem of Gleason. Ann. Math., 1953, 58, № 2 351—365 59. Yang С. Т., Hilbert's fifth problem and related problems on transforma^ tion groups. Mathematical developments arising from HiJbert problems Proc. symp. in pure math., 28. Providence: Amer. Math. Soc, 1976, 142— 14f
расслоенных пространств. В кн.: Расслоенные пространства н нх при- приложения. М.: ИЛ, 1958, 9—114) 119. —, CohomoJogie des groupes discrete. Ann. Math. Stud., Princeton: Prin- Princeton Univ. Press, 1971, № 70, 77—169 (Пер. на рус. яз.: Серр Ж.-П., Когомологнн дискретных групп. Математика. Сб. перев., 1974, 18, № 3,. 123—144; № 4, 3—33) 120. Steenrod N., The topology of fibre bundles. Princeton: Princeton Univ. Press, 1951, 224 p. (Пер. на рус. яз.: Стинрод Н., Топология косых про- произведений. М.: ИЛ, 1953, 275 с.) 121. Sternheimer D., Extensions et unifications d'algebres de Lie. J. math, pures et appl., 1968, 47, № 3, 247—287 122. Sulanke R., Wintgen P., Differentialgeometrie und Faserbimdel. Berlin: DVW, 1972, 299 S. (Пер. на рус. яз.: 3уланке Р., Винтген П., Диффе- Дифференциальная геометрия н расслоения. М.: Мнр, 1975, 348 с.) 123. Tits J., Espaces homogenes complexes compacts. Comment, math, helv., 1962, 37, № 2, 111—120 124. Wang H.-C, Closed manifolds with homogeneous complex structures. Amer. J. Math., 1954, 76, № 1, 1—32 125. —, Discrete subgroups of solvable Lie groups. Ann. Math., 1956, 69, № 1, 1—19 126. Warner F. W., Foundations of differentiable manifolds and Lie groups. New .York! ej. a.: Springer, 1983, 272 p. (Пер. на рус. яз.: Уорнер Ф., Основы теории гладких многообразий н групп Ли. М.: Мнр, 1987, 302 с.) 127. Wasserman A., Equivariant differential topology. Topology, 1969, 8, № 2, 127—150 128. Wells R. O., Differential analysis on complex manifolds. Englewood Cliffs: Prentice-Hall, 1973, 260 p. (Пер. на рус. яз.: Уэллс Р., Дифференциаль- Дифференциальное исчисление на комплексных многообразиях. М.: Мир, 1976, 284 с.) 129. Wolf J. A., Spaces of constant curvature. Berkley: Univ. of California Press, 1972, 408 p. (Пер. на рус. яз.: Вольф Дж., Пространства постоян- постоянной кривизны. М.: Наука, 1982, 480 с.)
ИМЕННОЙ УКАЗАТЕЛЬ Ауслендер (Auslander L.) 178 Бетти (Betti E.) 175 Бнркгоф (Birkhoff G.) 67 Боль (Bol G.) 95, 98 Борель (Borel A.) 160 Бохнер (Bochner S.) 121, 122, 155 Ван (Wang H.-C.) 178 Вейль (Weyl H.) 70, 135, 165 Внтт (Witt E.) 67 Гейзенберг (Heisenberg W.) 54 Гельфанд И. М. 69, 70, 71 Гильберт (Hilbert D.) 79, 93, 94, 165 Глнсон (Gleason A.) 94 Голдн (Goldie A. W.) 70 Грассман (Grassmann H. G.) 128 Дынкин Е. Б. 78 Дюфло (Duflo M.) 70 Зиппнн (Zippin L.) 94 Ивасава (Iwasawa К.) 169 Карпелевич Ф. И. 145, 146 Картан (Cartan E.) 52, 93, 229 Киллинг (Killing W.) 192 Кириллов А. А. 70, 71 Клейн (Klein F.) 129, 179 Козюль (Koszul J.-L.) 158 Кокстер (Coxeter H.) 136 Крек (Kreck M.) 196, 204 Кэлн (Cayley A.) 96 Кэмпбелл (Campbell J. Е.) 64, 77 Левн (Levi E. Е.) 147 Лн (Lie S.) 7, 9, 93, 106, 111, 119, 222, 224, 225 Лобачевский Н. И. 143 Майерс (Myers S. В.) 122 Мальцев А. И. 58, 95, 98, 170 Манн (Mann L. N.) 162 Мёбнус (Mobius A.) 173 Мнлованов М. В. 179 Мнхайлнченко Г. Г. 228 Монтгомери (Montgomery D.) 94. 121, 122, 155, 157, 159, 161, 188 Мостов (Mostow G. D.) 145, 146,. 157, 175, 230 Муфанг (Moufang Ruth) 95, 98 Ope (Ore 0.) 70 Островский (Ostrowski A.) 80 Палейс (Palais R. S.) 157 Петер (Peter F.) 165 Понтрягнн Л. С. 94, 178 Постников М. М. 33, 203 Пуанкаре (Poincare H.) 64, 67 Самельсон (Samelson H.) 147, 157, 188 Сельберг (Selberg A.) 200 Серр (Serre J.-P.) 211 Стннрод (Steenrod N.) 122 Тейлор (Taylor В.) 73 Тате (Tits J.) 183, 209 Унтнн (Whitney H.) 175 Фрете (Frechet M.) 90, 144 Фробениус (Frobenius F.) 140 Хаусдорф (Hausdorff F.) 64, 77 Хелгасон (Helgason S.) 51 Хирш (Hirsch К. А.) 211 Хопф (Hopf H.) 130 Штейн (Stein К.) 168 Штнфель (Stiefel E.) 128, 175 Якобн (Jacobi С.) .36 Янг (Yang С.-Т.) 158 ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ Абсолютное значение 79 Алгебра банахова 88 — Боля 98 — Вейля 70 — Гейэенберга 64 — ЛнЗб ннльпотентная 63 полупростая 62 разрешимая 61 свободная 76 — Мальцева 98 — (муфанг — лнева 98 — универсальная обертывающая 65 — Хопфа 71 Башня главных расслоений 172 Бналгебра 71 Векторное поле инвариантное 117 .полное 116 — — цравоннвариантное 36, 120 — — ^проектируемое 117 — — фундаментальное 119 Включение между действиями 109 — несобственное 109 собственное 109 Глобализация локального действия 111, 112 Гомоморфизм групп Лн 12 накрывающий 28 — формальных групп 84 241
Гомотопическая характеристика 137 Группа Вана 178 — виртуально свободная от круче- кручения 2'11 — внешних автоморфизмов алгебры Ли 54 — группы Ли 54 — внутренних автоморфизмов алгеб- алгебры Ли 54 группы Ли 54 — изотропии 112 линейная 1,13 — компонент группы Ли 25 — Ли 9 р-адическая 80 асферичная 215 банахова (гильбертова) 87 — — векторная 10 вещественная 9 гильбертова (банахова) 87 коммутативная 47 вещественная 48 комплексная 48 комплексная 9 линейная 11 локальная 14 нильпотеитная 63 односвязная накрывающая 31 иодуиростая 62 преобразований 108 — — разрешимая 61 стандартная 81 типа (I) 180 унимодулярная 144 — Л'И — Фреше 90 ручная 91 — накрытия 30 • — петель 87 — лолупростая 214 — преобразований 108 — токов 87 — топологическая 93 — формальная 83 ILB-группа (сильная) 92 ILH-группа (сильная) 92 Действие алгебры Ли 222 — — — локально примитивное 223 транзитивное 223 примитивное 223 ■ транзитивное 223 1 — эффективное 223 — группы 106 асистатическое 132 внутренними автоморфиамамн ПО — — двусторонними сдвигами 110 — — левое 107 — — левыми сдвигами 109 242 Ли 107 ■ — асистатическое 132 аффинное 16 лннейиое 15 — ; компактное 115 — локально эффективное 108 локальное 111 глобализуемое 111 — — — минимальное 232 — неприводимое 149 1 — правильное 206 примитивное 132, 133 собственное 157 ■ линейное 109 правое 107 правыми сдвигами НО примитивное 132 просто транзитивное 113 свободное 113 —: — систатическое 132 транзитивное 110 тривиальное 107 эффективное 108 Деформация пути 45 Диагональное отображение 71 Дифференциал гомоморфизма групп Ли 36 — действие группы Ли 38 — экспоненциального отображения 51 Дифференциальный оператор право- инвариантный 72 Дифференцирование алгебры 39 Ли внутреннее 66 Единица лупы 95 Замыкание Мальцева 58 Изоморфизм групп Лн 12 — действий групп 108 — однородных расслоений 139 Изоморфные действия 108 — локальные группы Ли 14 Калибровочное преобразование 88 Канонические координаты второго рода 50 первого рода 50 Касательная алгебры группы Ли 34, 82, 92 локальной аналитической лупы 97 формальной группы 85 Кольцо нормирования 80 Коммутант алгебры Лн 57 —• взаимный идеалов 60 нормальных подгрупп 60 — группы Ли 57 — кратный алгебры Ли 61 группы Ли 61 Коммутирование 118 Компонента однородного многообра- многообразия полушростая 213
почти односязная 213 : разрешимая 213 Кораиг многообразия 137 Коумножение 71 Линеаризация действия 109 Линейное представление группы Ли изотропии 113 Локализация действия 111 Локально изоморфные группы Ли 16 • действия алгебр Ли 223 локальные действия групп Ли 222 тройки групп Ли 150 — подобные действия алгебр Ли 223 локальные действия групп Лн 222 подалгебры алгебр Ли вектор- векторных полей 223 Лупа 95 — альтернативная 95 — аналитическая 95 — — локальная 96 — Боля 95 — геодезическая 96 — диассоциативная 95 — ,моноаосоциативная 95 — Муфанг 95 Матрица псевдоортогональная 27 — псавдоуннтарная 27 Многообразие Ивасавы 169 — однородно разложимое 231 ■— однородное 131 — разложимое 231 — флаговое 155 Многочлен Пуанкаре 135 Модель групповая 129 — Клейна 129 G-Модуль топологический 144 Морфизм действий 108 — локальный действий 111 — однородных расслоений 139 Наибольшая нильпотентная нормаль- нормальная подгруппа Ли 64 Наибольший нильпотентный идеал 63 Направляющий вектор однопарамет- рнчеокой подгруппы 49 Неподвижная точка 107 Ннльмногообразие 169 Норма 79 — веархимедова 80 — ультраметрнческая 80 Нормализатор подпространства в ал- алгебре 41 Нормированное поле 80 — — иеархимедово 80 Ограничение действия 111 — локальной группы Лн 14 Однопараметрнческая подгруппа 48 Одноевязное накрытие 30 Орбита 112 — главная 161 — исключительная 161 — особая 161 — сингулярная 161 Отображение эквиварнантное 108 Плотная обмотка тора 18 Подалгебра конечного порядка 122 — иримитивная 133 —' равномерная 184 — редуктивная 168 — стационарная 223 — треугольная 182 — эллиптическая 122 ^подалгебра 182 Подгруппа Ad-алгебраическая 181 — арифметическая 170 — кокомпактная 181 — компактная в группе Ли 186 —Ли 10 — — виртуальная 42 — максимального показателя 136 — примитивная 133 — равномерная 181 —стационарная (изотропии) 112 — треугольная 182 G-иодгруппа 191 f-подгруппа 182 Подобие действий групп 108 — локальных действий групп Ли 111 Подобные действия групп 108 Подъем действия 164 Показатель группы Ли 135 Поле скоростей действия 38 — f-проектируемое 117 Поток 109 — локальный 116 Представление индуцированное 140 ■— присоединенное алгебры Ли 40 группы Ли 40 Преобразование бесконечно малое 116 —: ннфиннтезнмальное 116 Примитивный элемент биалгебры 71 Проекция .расслоения 123 Произведение иолупрямое 24 — прямое групп Лн 10 — расслоенное 124 Производная Ли 116 Пространство Лобачевского 143 — однородное НО полупростое 214 ' разрешимое 215 радуктнвное 141 элементарное 220 — расслоения 123 — расслоенное 123 — Фреше 90 243
ручное 91 G-inpocxpaHCTBO 107 аналитическое 107 дифференцируемое 107 — — топологическое 107 эквиорбитное 159 Путь 41 Радикал алгебры Ли 62 — группы 210 Ли 62 Разложение алгебры Ли 150 — группы 148 — группы Ли 150 — глобальное 151 — — — максимальное 187 неприводимое 153 тривиальное 153 Размерность Гельфанда—Кириллова 70 — когомологическая 211 виртуальная 211 Ранг компактной группы Лн 135 — многообразия 137 Раослоение 122 — ассоциированное 124 — борелевекое 204 — главное 123 — индуцированное 127 — Карпелевича — Мостова 145 — локально тривиальное 19 — Мостова 177 — натуральное 200 — однородное 138 — положительных .плотностей 125 — реперов 124 — структурное 207 — Л-структур 126 — тавтологическое 128 — Титса 183 — тривиальное 19, 123 — универсальное 128 — Хопфа 130 G-расслоение 126 однородное 138 тривиальное 127 Расширение действия 108 естественное 148 радикальное 187 типа I 155 : типа II 155 — структурной грушпы 123 Редукция структурной группы 123 Ряд Пуанкаре 134 Свертка 74 Сечение расслоения 125 Система динамическая с непрерыв- непрерывным временем 109 — образующих свободная 76 Скобка Ли 118 Скорость пути в грудпе Ли 41 Слой расслоения 123 Соизмеримость пругап 208 слабая 209 Сокращение структурной группы 123 СолвМ'ИОгообразие 169 — комплексное 180 Срез 158 Стабилизатор точки 112 Л-структура 121 Сужение действия 108 — структурной группы 123 Сумма полупрямая 55 — шрямая алгебр Ли 56 Тело Ли 70 — обертывающее 70 Теорема Картаиа 52 — Мостова структурная 176 Тип орбит 113 — -•- главный 161 ' Тождество Якоби 36 Тор 10 Точка неподвижная 107 Умножение 71 Унификация 147 Факторгруппа Ли 21 Факторизации 19 — алгебры Ли 150 — группы 148 Ли 150 Формальный групповой закон 83 Функтор Лн 33, 85 Функция представляющая 114 — производящая 134 Центр алгебры Ли 45 — группы Ли 45 Централизатор подгруппы Ли 44 — подпространства в алгебре Ли 41 — элемента алгебры Лн 41 группы Ли в касательной ал- алгебре 40 Центральный ряд убывающий алгеб- алгебры Ли 63 группы Лн 63 Часть фундаментальной группы по- полупростая 210 — разрешимая 210 Число Кокстера 135 — концов группы 213 Эйлерова характеристика группы 212 многообразия 138 Экспоненциальное отображение 49, 83 Элемент инвариантный 107 — почти инвариантный 109 — представляющий 109 — регулярный касательной алгебры 161 = компактной группы Ли 161 — сингулярный 161 Ядро действия 107 — неэффективности 107
ОГЛАВЛЕНИЕ I. Основы теорнн групп Ли (Э. Б. Винберг, А. Л. Оншцик) ... 5 II. Группы Лн преобразований (В. В. Горбацевич, А. Л. Онищик) . 103 Имеиирй указатель 241 Предметный указатель 241 Технический редактор 3. А. ПРусакова Сдано в набор 25.09.87 Формат бумаги 6OX9O'/ie. Высокая печать. Тираж 1200 экз. Подписано в печать 08.04.88 Бум. тип. № 2 Литературная гарнитура. Усл. печ. л. 15,5 Усл. кр.-отт. 15,5 Уч.-нзд. л. 15,83 Заказ 8731 Цена 1 р. 80 к. Адрес редакция: 125219, Москва. Балтийская ул., 14, Тел. 155-43-29 Производствеиио-издательский комбинат ВИНИТИ 140010, Люберцы, 10, Московской обл.. Октябрьские просп., 403 Индекс 56858 ISSN 0233—6723. ИНТ, Современные проблемы математики. Фундаментальные направления, т. 20, 1988, 1—248
УДК 512.81 Э. Б. В и в б е р г, А, Л. О н н щ и к. Основы теории групп Ли. «Сов- «Современные проблемы математики. Фундаментальные направления. Т. 20 (Ито- (Итоги науки и техн. ВИНИТИ АН СССР)». М.. 1988. 5—101 Излагаются основные понятия и результаты теории групп Ли, включая соответствие между группами Ли и алгебрами Лн, универсальные оберты- обертывающие алгебры алгебр Ли и их приложения. В порядке обзора рассматри- рассматриваются некоторые обобщения этой теорию группы Ли над полными норми- нормированными полями, бесконечномерные группы Ли, аналитические лупы. Библ. 59. УДК 512.816 В. В. Г о р б а ц е в и ч, А. Л. О н и щ и к. Группы Ли преобразова- преобразовании. «Современные проблемы математики. Фундаментальные направления Т. 20 (Итоги науки и техн. ВИНИТИ АН СССР)». М., 1988. 103—240 Дается обзор общей теория групп Ли преобразований, теории однород- однородных пространств, основных фактов теории компактных групп Ли преобра- преобразований. Изложены результаты о транзитивных действиях разрешимых и иилытотентиых групп Ли и о транзитивных действиях на компактных одно- однородных пространствах. Библ. 129.
ВНИМАНИЮ ЧИТАТЕЛЕЙ! ВИНИТИ предлагает «Итоги науки и техники», серии АЛГЕБРА. ТОПОЛОГИЯ. ГЕОМЕТРИЯ. Том 24 C2 экз.) М., 1986. — 120 с. — 2543 библ. — 3 р. Том содержит три обзорные статьи: к. ф.-м. н. А. С. Кон- Кондратьев, к. ф.-м. и. А. А. Махнев, д. ф.-м. н. А. И. Ста- Старостин «Конечные группы»; к. ф.-м. н. Ю. П. Соловьев «Алгебраическая К-теория квадратичных форм»; к. ф.-м. н. С. А. Богатый, д. ф.-м. н. В. В. Федорчук «Теория ретрак- тов и бесконечномерные многообразия». Том 22 A9 экз.) М., 1984. — 265 с. — 2145 библ. — 2 р. 80 к. Содержит три обзорные статьи: К. И. Бейдар, В. Н. Латышев, В. Т. Марков, А. В. Михалев, Л. А. Скорняков, А. А. Туганбаев «Ассоциативные кольца»; Л. В. Кузьмин «Поля алгебраических чисел»; И. В. Чередник «Эллиптические кривые и матричные солитонные дифференциальные уравнения». Тома высылаются наложенным платежом. Заказы от организаций и индивидуальных подписчиков направлять по адресу: 140010, г. Люберцы, 10, Москов- Московской обл., Октябрьский просп., 403. Производственно-изда- Производственно-издательский комбинат ВИНИТИ, отдел распространения. Телефон 553-56-29.
БЛАНК-ЗАКАЗ Просим выслать наложенным платежом « » экз. ив формационного издания «Итоги науки и техники», сери: АЛГЕБРА. ТОПОЛОГИЯ. ГЕОМЕТРИЯ. Том (вписат нужный том, на каждый номер тома просим оформлять отдель ный заказ) Адрес заказчика Куда Кому 198—г. g А ц № 140010, Люберцы, Московской обл. 10 Ценная на Адрес заказчика Куда ЦЕННАЯ БАНДЕРОЛЬ НАЛОЖЕННЫМ ПЛАТЕЖОМ Наложенный платеж руб. коп. руб. коп. Кому- Вос . . . Весовой . Страховой кг. Р- Р- За иалож. платеж, р. Итого ... р. - к. ■ - к. ■ - к. - к. 140010, г. Люберцы, 10 Московской обл., Октябрьский проспект, 40: Производствонно-издательа комбинат ВИНИТИ
ОПЕЧАТКИ к ИНТ, «Совр. пробл. мат. Фундам. направл.» № 20, 1988 г. траница Строка Напечатано Следует читать 25 56 100 167 14 214 222 1 снизу 14 сиизу 9 сверху 8, 9 сверху 17 сиизу 21 сиизу 18 снизу -В Krillov = SpecF(G, C)g. Тогда G(C) является редук- тнвной линейной алгебр а : А-+-С такие, что аA) = 1. Положим G(C)=... классу компактных од- однородных многообразий с конечной фун- -В э Kirillov алгебр а : А-+-С такие, что аA)=1. Положим G(C)=SpecF(G, C)e. Тогда G(C) является редуктнвиои линей- линейной ... классу асферичных ком- компактных однородных пространств. Об- Ме К Зак. 8731