Группы Ли |
---|
|
В математической области теории Ли , алгебра Ли Раскол является пара , где есть алгебра Ли и является расщепление подалгебра Картана , где «расщепление» означает , что для всех , является triangularizable . Если алгебра Ли допускает расщепление, она называется расщепляемой алгеброй Ли . [1] Обратите внимание, что для редуктивных алгебр Ли подалгебра Картана должна содержать центр.
Над алгебраически замкнутым полем, таким как комплексные числа , все полупростые алгебры Ли расщепляемы (действительно, подалгебра Картана не только действует с помощью триангулируемых матриц, но даже сильнее, она действует с помощью диагонализируемых матриц), и все расщепления сопряжены; таким образом, расщепленные алгебры Ли представляют наибольший интерес для неалгебраически замкнутых полей.
Расщепленные алгебры Ли представляют интерес как потому, что они формализуют расщепляемую вещественную форму комплексной алгебры Ли, так и потому, что расщепленные полупростые алгебры Ли (в более общем плане, расщепленные редуктивные алгебры Ли) над любым полем имеют много общих свойств с полупростыми алгебрами Ли над алгебраически замкнутыми полями - имеющий по существу ту же теорию представлений, например - расщепляющую подалгебру Картана, играющую ту же роль, что и подалгебра Картана над алгебраически замкнутыми полями. Таков подход, использованный, например, в ( Бурбаки 2005 ).
Свойства [ править ]
- Над алгебраически замкнутым полем все подалгебры Картана сопряжены. Над неалгебраически замкнутыми полями не все подалгебры Картана, вообще говоря, сопряжены; однако в расщепляемой полупростой алгебре Ли все расщепляющие алгебры Картана сопряжены.
- Над алгебраически замкнутым полем все полупростые алгебры Ли расщепляемы.
- Над неалгебраически замкнутым полем существуют нерасщепляемые полупростые алгебры Ли. [2]
- В расщепляемой алгебре Ли могут существовать нерасщепляющиеся подалгебры Картана. [3]
- Прямые суммы расщепляемых алгебр Ли и идеалы расщепляемых алгебр Ли расщепляемы.
Расщепить вещественные алгебры Ли [ править ]
Для реальной алгебры Ли расщепляемость эквивалентна любому из этих условий: [4]
- Реальный ранг равен комплексному рангу.
- На диаграмме Сатаке нет ни черных вершин, ни стрелок.
Каждая комплексная полупростая алгебра Ли имеет единственную (с точностью до изоморфизма) расщепляемую вещественную алгебру Ли, которая также полупроста и проста тогда и только тогда, когда комплексная алгебра Ли такова. [5]
Для вещественных полупростых алгебр Ли расщепленные алгебры Ли противоположны компактным алгебрам Ли - соответствующая группа Ли «насколько это возможно» не является компактной.
Примеры [ править ]
Расщепляемые вещественные формы комплексных полупростых алгебр Ли: [6]
- Исключительные алгебры Ли: раскололи реальные формы Е I, Е V, E VIII, F I, G .
Это алгебры Ли расщепляемых вещественных групп комплексных групп Ли.
Обратите внимание, что для и , действительная форма - это вещественные точки (алгебры Ли) той же алгебраической группы , в то время как для одного необходимо использовать расщепленные формы (максимально неопределенного индекса), поскольку группа SO компактна.
См. Также [ править ]
- Компактная алгебра Ли
- Реальная форма
- Сплит-комплексное число
- Расщепленная ортогональная группа
Ссылки [ править ]
- ^ ( Бурбаки 2005 , глава VIII, раздел 2: Система корней расщепленной полупростой алгебры Ли, стр.77 )
- ^ ( Бурбаки 2005 , Глава VIII, Раздел 2: корневая система Сплит Полупростых алгебр Ли, Упражнение 2 р 77. )
- ^ ( Бурбаки 2005 , Глава VIII, Раздел 2: Корневая система расщепленной полупростой алгебры Ли, Упражнение 2 b стр. 77 )
- ^ ( Онищик и Винберг 1994 , с. 157)
- ^ ( Онищик и Винберг 1994 , теорема 4.4, с. 158)
- ^ ( Онищик и Винберг 1994 , с. 158)
- Бурбаки, Николас (2005), "VIII: Расщепленные полупростые алгебры Ли" , Элементы математики: группы Ли и алгебры Ли: главы 7–9
- Онищик А.Л .; Винберг, Эрнест Борисович (1994), "4.4: Расщепленные вещественные полупростые алгебры Ли" , Группы Ли и алгебры Ли III: структура групп Ли и алгебр Ли , стр. 157–158