Таблица групп Ли - Table of Lie groups

В этой статье приводится таблица некоторых распространенных Группы Ли и связанные с ними Алгебры Ли.

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

Дополнительные примеры групп Ли и другие связанные темы см. список простых групп Ли; в Классификация Бьянки групп до трех измерений; и список тем группы Ли.

Действительные группы Ли и их алгебры

Легенда столбца

Группа ЛиОписаниеCptUCЗамечанияАлгебра Литусклый /р
рпЕвклидово пространство с добавлениемN00абелевскийрпп
р×ненулевой действительные числа с умножениемNZ2абелевскийр1
р+положительные действительные числа с умножениемN00абелевскийр1
S1 = U (1)в круговая группа: сложные числа модуля 1 с умножением;Y0Zрабелева, изоморфна SO (2), Spin (2) и р/Zр1
Афф (1)обратимый аффинные преобразования из р к р.NZ20разрешимый, полупрямой продукт из р+ и р×2
ЧАС×ненулевой кватернионы с умножениемN00ЧАС4
S3 = Sp (1)кватернионы из абсолютная величина 1 с умножением; топологически 3-сфераY00изоморфен SU (2) и чтобы Отжим (3); двойная крышка из ТАК (3)Я(ЧАС)3
GL (п,р)общая линейная группа: обратимый п×п настоящий матрицыNZ2М (п,р)п2
GL+(п,р)п×п вещественные матрицы с положительными детерминантN0Z  п=2
Z2 п>2
GL+(1,р) изоморфна р+ и просто связаноМ (п,р)п2
SL (п,р)специальная линейная группа: реальные матрицы с детерминант 1N0Z  п=2
Z2 п>2
SL (1,р) является единственной точкой и, следовательно, компактным и односвязнымsl (п,р)п2−1
SL (2,р)Сохраняющие ориентацию изометрии Полуплоскость Пуанкаре, изоморфна SU (1,1), изоморфна Sp (2,р).N0ZВ универсальный чехол не имеет конечномерных точных представлений.sl (2,р)3
O (п)ортогональная группа: настоящий ортогональные матрицыYZ2Группа симметрии сфера (n = 3) или гиперсфера.так(п)п(п−1)/2
ТАК(п)специальная ортогональная группа: вещественные ортогональные матрицы с определителем 1Y0Z  п=2
Z2 п>2
Вращение(п)
п>2
SO (1) - единственная точка, а SO (2) изоморфна круговая группа, SO (3) - группа вращений сферы.так(п)п(п−1)/2
Вращение(п)вращательная группа: двойная крышка SO (п)Yп>1п>2Спин (1) изоморфен Z2 и не подключен; Spin (2) изоморфен группе окружностей, а не односвязентак(п)п(п−1)/2
Sp (2п,р)симплектическая группа: настоящий симплектические матрицыN0Zsp (2п,р)п(2п+1)
Sp (п)компактная симплектическая группа: кватернионный п×п унитарные матрицыY00sp (п)п(2п+1)
Мп (2n,р)метаплектическая группа: двойная крышка вещественная симплектическая группа Sp (2n,р)Y0ZМп (2,р) - группа Ли, не являющаяся алгебраическийsp (2n,р)п(2п+1)
U (п)унитарная группа: сложный п×п унитарные матрицыY0Zр× SU (п)За п= 1: изоморфен S1. Примечание: это нет комплексная группа / алгебра Литы (п)п2
SU (п)особая унитарная группа: сложный п×п унитарные матрицы с определителем 1Y00Примечание: это нет комплексная группа / алгебра Ливс (п)п2−1

Вещественные алгебры Ли

Легенда таблицы:

  • S: Эта алгебра проста? (Да или нет)
  • SS: Это алгебра полупростой ? (Да или нет)
Алгебра ЛиОписаниеSSSЗамечаниятусклый /р
рв действительные числа, скобка Ли равна нулю1
рпскобка Ли равна нулюп
р3скобка Ли - это перекрестное произведениеYY3
ЧАСкватернионы, со скобкой Ли коммутатор4
Я(ЧАС)кватернионы с нулевой действительной частью, коммутатор со скобкой Ли; изоморфен действительным 3-векторам,

с скобкой Ли перекрестное произведение; также изоморфен su (2) и so (3,р)

YY3
М (п,р)п×п матрицы, со скобкой Ли коммутаторп2
sl (п,р)квадратные матрицы с след 0, со скобкой Ли коммутаторYYп2−1
так(п)кососимметричный квадратные вещественные матрицы, коммутатор - скобка Ли.YYИсключение: so (4) полупростой, но нет просто.п(п−1)/2
sp (2п,р)реальные матрицы, удовлетворяющие JA + АТJ = 0 где J это стандарт кососимметричная матрицаYYп(2п+1)
sp (п)квадратные кватернионные матрицы А удовлетворение А = −А, со скобкой Ли коммутаторYYп(2п+1)
ты (п)квадратные комплексные матрицы А удовлетворение А = −А, со скобкой Ли коммутаторп2
вс (п)
п≥2
квадратные комплексные матрицы А со следом 0, удовлетворяющим А = −А, со скобкой Ли коммутаторYYп2−1

Комплексные группы Ли и их алгебры

Приведенные размеры превышают C. Обратите внимание, что каждую комплексную группу / алгебру Ли можно также рассматривать как реальную группу / алгебру Ли удвоенной размерности.

Группа ЛиОписаниеCptUCЗамечанияАлгебра Литусклый /C
Cпгрупповая операция сложениеN00абелевскийCпп
C×ненулевой сложные числа с умножениемN0ZабелевскийC1
GL (п,C)общая линейная группа: обратимый п×п сложный матрицыN0ZЗа п= 1: изоморфен C×М (п,C)п2
SL (п,C)специальная линейная группа: комплексные матрицы с детерминант

1

N00при n = 1 это одна точка и поэтому компактна.sl (п,C)п2−1
SL (2,C)Частный случай SL (п,C) за п=2N00Изоморфен Spin (3,C), изоморфная Sp (2,C)sl (2,C)3
PSL (2,C)Проективная специальная линейная группаN0Z2SL (2,C)Изоморфен Группа Мебиуса, изоморфная ограниченному Группа Лоренца ТАК+(3,1,р), изоморфная SO (3,C).sl (2,C)3
O (п,C)ортогональная группа: сложный ортогональные матрицыNZ2компактный для n = 1так(п,C)п(п−1)/2
ТАК(п,C)специальная ортогональная группа: комплексные ортогональные матрицы с определителем 1N0Z  п=2
Z2 п>2
SO (2,C) абелева и изоморфна C×; неабелевский для п> 2. ТАКИМ ОБРАЗОМ, 1,C) является единственной точкой и, следовательно, компактным и односвязнымтак(п,C)п(п−1)/2
Sp (2п,C)симплектическая группа: сложный симплектические матрицыN00sp (2п,C)п(2п+1)

Комплексные алгебры Ли

Приведенные размеры превышают C. Обратите внимание, что любую комплексную алгебру Ли также можно рассматривать как реальную алгебру Ли удвоенной размерности.

Алгебра ЛиОписаниеSSSЗамечаниятусклый /C
Cв сложные числа1
Cпскобка Ли равна нулюп
М (п,C)п×п матрицы со скобкой Ли коммутаторп2
sl (п,C)квадратные матрицы с след 0 со скобкой Ли

коммутатор

YYп2−1
sl (2,C)Частный случай sl (п,C) с п=2YYизоморфен su (2) C3
так(п,C)кососимметричный квадратные комплексные матрицы со скобкой Ли

коммутатор

YYИсключение: so (4,C) полупросто, но не просто.п(п−1)/2
sp (2п,C)комплексные матрицы, удовлетворяющие JA + АТJ = 0

куда J это стандарт кососимметричная матрица

YYп(2п+1)

Алгебра Ли аффинных преобразований размерности два, по сути, существует для любого поля. Пример уже был указан в первой таблице для реальных алгебр Ли.

Рекомендации

  • Фултон, Уильям; Харрис, Джо (1991). Теория представлений. Первый курс. Тексты для выпускников по математике, Чтения по математике. 129. Нью-Йорк: Springer-Verlag. Дои:10.1007/978-1-4612-0979-9. ISBN  978-0-387-97495-8. МИСТЕР  1153249. OCLC  246650103.