WikiDer > Полупростая алгебра Ли

Группы Ли
Классические группы Общие линейные GL (п) Специальная линейная SL (п) Ортогональный O (п) Специальные ортогональные ТАК(п) Унитарный U (п) Специальный унитарный SU (п) Симплектический Sp (п)
Простые группы Ли Список простых групп Ли Классический Ап Bп Cп Dп Исключительный грамм2 F4 E6 E7 E8
Другие группы Ли Круг Лоренц Пуанкаре Конформная группа Диффеоморфизм Петля Евклидово
Алгебры Ли Соответствие группы Ли и алгебры Ли Экспоненциальная карта Присоединенное представительство Форма убийства Индекс Симметрия точки Ли Простая алгебра Ли
Полупростая алгебра Ли Диаграммы Дынкина Подалгебра Картана Корневая система Группа Вейля Реальная форма Комплексификация Расщепленная алгебра Ли Компактная алгебра Ли
Теория представлений Представление группы Ли Представление алгебры Ли Теория представлений полупростых алгебр Ли Теорема старшего веса Теорема Бореля – Вейля – Ботта.
Группы Ли в физика Физика элементарных частиц и теория представлений Представления группы Лоренца Представления группы Пуанкаре Представления галилеевой группы
Ученые Софус Ли Анри Пуанкаре Вильгельм Киллинг Эли Картан Герман Вейль Клод Шевалле Хариш-Чандра Арман Борель
Глоссарий Таблица групп Ли
v т е

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

На протяжении всей статьи, если не указано иное, алгебра Ли - это конечномерная алгебра Ли над полем характеристика 0. Для такой алгебры Ли ${ displaystyle { mathfrak {g}}}$, если не ноль, то следующие условия эквивалентны:

• ${ displaystyle { mathfrak {g}}}$ полупростой;
• то Форма убийства, κ (x, y) = tr (ad (Икс)объявление(y)), является невырожденный;
• ${ displaystyle { mathfrak {g}}}$ не имеет ненулевых абелевых идеалов;
• ${ displaystyle { mathfrak {g}}}$ не имеет ненулевого разрешимый идеалы;
• то радикальный (максимальный разрешимый идеал) ${ displaystyle { mathfrak {g}}}$ равно нулю.

Значимость

Значение полупростоты исходит прежде всего из Разложение Леви, который утверждает, что всякая конечномерная алгебра Ли является полупрямым произведением разрешимого идеала (его радикала) и полупростой алгебры. В частности, не существует ненулевой алгебры Ли, одновременно разрешимой и полупростой.

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

Далее теория представлений полупростых алгебр Ли намного чище, чем для общих алгебр Ли. Например, Разложение Жордана в полупростой алгебре Ли совпадает с разложением Жордана в своем представлении; для алгебр Ли это не так.

Если ${ displaystyle { mathfrak {g}}}$ полупросто, то ${ displaystyle { mathfrak {g}} = [{ mathfrak {g}}, { mathfrak {g}}]}$. В частности, любая линейная полупростая алгебра Ли является подалгеброй ${ displaystyle { mathfrak {sl}}}$, то специальная линейная алгебра Ли. Изучение структуры ${ displaystyle { mathfrak {sl}}}$ составляет важную часть теории представлений полупростых алгебр Ли.

История

Полупростые алгебры Ли над комплексными числами впервые были классифицированы Вильгельм Киллинг (1888–90), хотя его доказательству не хватало строгости. Его доказательство было сделано строго Эли Картан (1894) в его докторской степени. докторскую диссертацию, который также классифицировал полупростые вещественные алгебры Ли. Впоследствии это было уточнено, и нынешняя классификация диаграмм Дынкина была дана тогдашним 22-летним. Евгений Дынкин в 1947 году. Были внесены некоторые незначительные изменения (в частности, Дж. П. Серром), но доказательство не изменилось по существу и может быть найдено в любой стандартной ссылке, такой как (Хамфрис 1972).

Основные свойства

• Каждый идеал, фактор и произведение полупростых алгебр Ли снова полупросты.^[1]
• Центр полупростой алгебры Ли ${ displaystyle { mathfrak {g}}}$ тривиально (поскольку центр - абелев идеал). Другими словами, присоединенное представительство ${ displaystyle operatorname {ad}}$ инъективно. Причем изображение получается^[2] быть ${ displaystyle operatorname {Der} ({ mathfrak {g}})}$ из производные на ${ displaystyle { mathfrak {g}}}$. Следовательно, ${ displaystyle operatorname {ad}: { mathfrak {g}} { overset { sim} { to}} operatorname {Der} ({ mathfrak {g}})}$ является изоморфизмом.^[3] (Это частный случай Лемма Уайтхеда.)
• Поскольку присоединенное представление инъективно, полупростая алгебра Ли является линейная алгебра Ли при присоединенном представлении. Это может привести к некоторой двусмысленности, поскольку каждая алгебра Ли уже линейна относительно некоторого другого векторного пространства (Теорема Адо), хотя и не обязательно через присоединенное представление. Но на практике такая двусмысленность встречается редко.
• Если ${ displaystyle { mathfrak {g}}}$ полупростая алгебра Ли, то ${ displaystyle { mathfrak {g}} = [{ mathfrak {g}}, { mathfrak {g}}]}$ (потому что ${ displaystyle { mathfrak {g}} / [{ mathfrak {g}}, { mathfrak {g}}]}$ полупростой и абелевой).^[4]
• Конечномерная алгебра Ли ${ displaystyle { mathfrak {g}}}$ над полем k нулевой характеристики полупросто тогда и только тогда, когда базовое расширение ${ displaystyle { mathfrak {g}} otimes _ {k} F}$ полупросто для каждого расширения поля ${ Displaystyle F supset k}$.^[5] Так, например, конечномерная вещественная алгебра Ли полупроста тогда и только тогда, когда ее комплексификация полупроста.

Разложение Жордана

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

${ Displaystyle х = s + п }$

такой, что s и п ездить друг с другом. Более того, каждый из s и п является многочленом от Икс. Это Разложение Жордана из Икс.

Вышесказанное относится к присоединенное представительство ${ displaystyle operatorname {ad}}$ полупростой алгебры Ли ${ displaystyle { mathfrak {g}}}$. Элемент Икс из ${ displaystyle { mathfrak {g}}}$ называется полупростым (соответственно нильпотентным), если ${ displaystyle operatorname {ad} (x)}$ - полупростой (соответственно нильпотентный) оператор.^[6] Если ${ displaystyle x in { mathfrak {g}}}$, то абстрактное разложение Жордана утверждает, что Икс можно записать однозначно как:

${ Displaystyle х = s + n}$

куда ${ displaystyle s}$ полупростой, ${ displaystyle n}$ нильпотентен и ${ displaystyle [s, n] = 0}$.^[7] Более того, если ${ displaystyle y in { mathfrak {g}}}$ ездит с Икс, то он коммутирует с обоими ${ displaystyle s, n}$ также.

Абстрактное разложение Жордана пропускает через любое представление ${ displaystyle { mathfrak {g}}}$ в том смысле, что для любого представления ρ

${ Displaystyle ро (х) = ро (s) + ро (п) ,}$

- разложение Жордана функции ρ (Икс) в алгебре эндоморфизмов пространства представления.^[8] (Это доказано как следствие Теорема Вейля о полной сводимости; видеть Теорема Вейля о полной сводимости # Применение: сохранение разложения Жордана.)

Структура

Позволять ${ displaystyle { mathfrak {g}}}$ - (конечномерная) полупростая алгебра Ли над алгебраически замкнутым полем нулевой характеристики. Структура ${ displaystyle { mathfrak {g}}}$ можно описать сопряженное действие некоторой выделенной подалгебры на нем Подалгебра Картана. По определению,^[9] а Подалгебра Картана (также называется максимальным торальная подалгебра) ${ displaystyle { mathfrak {h}}}$ из ${ displaystyle { mathfrak {g}}}$ - максимальная подалгебра такая, что для каждого ${ displaystyle h in { mathfrak {h}}}$, ${ displaystyle operatorname {ad} (h)}$ является диагонализуемый. Как выясняется из, ${ displaystyle { mathfrak {h}}}$ абелев, поэтому все операторы в ${ displaystyle operatorname {ad} ({ mathfrak {h}})}$ находятся одновременно диагонализуемый. Для каждого линейного функционала ${ displaystyle alpha}$ из ${ displaystyle { mathfrak {h}}}$, позволять

${ displaystyle { mathfrak {g}} _ { alpha} = {x in { mathfrak {g}} | [h, x] = alpha (h) x , { text {для всех} } ч ин { mathfrak {h}} }}$.

(Обратите внимание, что ${ displaystyle { mathfrak {g}} _ {0}}$ это централизатор из ${ displaystyle { mathfrak {h}}}$.) Потом

(Сложнее всего показать ${ displaystyle dim { mathfrak {g}} _ { alpha} = 1}$. Все стандартные доказательства используют некоторые факты из теория представлений ${ displaystyle { mathfrak {sl}} _ {2}}$; например, Серр использует тот факт, что ${ displaystyle { mathfrak {sl}} _ {2}}$-модуль с примитивным элементом отрицательного веса бесконечномерен, что противоречит ${ displaystyle dim { mathfrak {g}} < infty}$.)

Позволять ${ displaystyle h _ { alpha} in { mathfrak {h}}, e _ { alpha} in { mathfrak {g}} _ { alpha}, f _ { alpha} in { mathfrak {g }} _ {- alpha}}$ с коммутационными соотношениями ${ displaystyle [е _ { alpha}, f _ { alpha}] = h _ { alpha}, [h _ { alpha}, e _ { alpha}] = 2e _ { alpha}, [h _ { alpha}, f _ { alpha}] = - 2f _ { alpha}}$; т.е. ${ displaystyle h _ { alpha}, e _ { alpha}, f _ { alpha}}$ соответствуют стандартной основе ${ displaystyle { mathfrak {sl}} _ {2}}$.

Линейные функционалы в ${ displaystyle Phi}$ называются корни из ${ displaystyle { mathfrak {g}}}$ относительно ${ displaystyle { mathfrak {h}}}$. Корни охватывают ${ displaystyle { mathfrak {h}} ^ {*}}$ (поскольку если ${ Displaystyle альфа (ч) = 0, альфа в Phi}$, тогда ${ displaystyle operatorname {ad} (h)}$ - нулевой оператор; т.е. ${ displaystyle h}$ находится в центре, который равен нулю.) Более того, из теории представлений ${ displaystyle { mathfrak {sl}} _ {2}}$, выводятся следующие симметрии и интегральные свойства ${ displaystyle Phi}$: для каждого ${ displaystyle alpha, beta in Phi}$,

Обратите внимание, что ${ displaystyle s _ { alpha}}$ обладает свойствами (1) ${ Displaystyle с _ { альфа} ( альфа) = - альфа}$ и (2) множество неподвижных точек ${ displaystyle { gamma in { mathfrak {h}} ^ {*} | gamma (h _ { alpha}) = 0 }}$, что обозначает ${ displaystyle s _ { alpha}}$ - отражение относительно гиперплоскости, соответствующее ${ displaystyle alpha}$. Выше сказано, что ${ displaystyle Phi}$ это корневая система.

Из общей теории корневой системы следует, что ${ displaystyle Phi}$ содержит основу ${ displaystyle alpha _ {1}, dots, alpha _ {l}}$ из ${ displaystyle { mathfrak {h}} ^ {*}}$ такой, что каждый корень представляет собой линейную комбинацию ${ displaystyle alpha _ {1}, dots, alpha _ {l}}$ с целыми коэффициентами одного знака; корни ${ displaystyle alpha _ {я}}$ называются простые корни. Позволять ${ Displaystyle е_ {я} = е _ { альфа _ {я}}}$и т. д. Тогда ${ displaystyle 3l}$ элементы ${ displaystyle e_ {i}, f_ {i}, h_ {i}}$ (называется Генераторы Chevalley) генерировать ${ displaystyle { mathfrak {g}}}$ как алгебру Ли. Более того, они удовлетворяют соотношениям (называемым Отношения Серра): с ${ displaystyle a_ {ij} = alpha _ {j} (h_ {i})}$,

${ displaystyle [h_ {i}, h_ {j}] = 0,}$

${ displaystyle [e_ {i}, f_ {i}] = h_ {i}, [e_ {i}, f_ {j}] = 0, i neq j,}$

${ displaystyle [h_ {i}, e_ {j}] = a_ {ij} e_ {j}, [h_ {i}, f_ {j}] = - a_ {ij} f_ {j},}$

${ displaystyle operatorname {ad} (e_ {i}) ^ {- a_ {ij} +1} (e_ {j}) = operatorname {ad} (f_ {i}) ^ {- a_ {ij} + 1} (f_ {j}) = 0, i neq j}$.

Обратное также верно: т.е.алгебра Ли, порожденная генераторами и отношениями, подобными приведенным выше, является (конечномерной) полупростой алгеброй Ли, которая имеет разложение корневого пространства, как указано выше (при условии, что ${ Displaystyle [а_ {ij}] _ {1 leq я, j leq l}}$ это Матрица Картана). Это теорема Серра. В частности, две полупростые алгебры Ли изоморфны, если у них одна и та же система корней.

Из аксиоматической природы корневой системы и теоремы Серра следует, что можно перечислить все возможные корневые системы; отсюда «всевозможные» полупростые алгебры Ли (конечномерные над алгебраически замкнутым полем нулевой характеристики).

В Группа Вейля группа линейных преобразований ${ displaystyle { mathfrak {h}} ^ {*} simeq { mathfrak {h}}}$ генерируется ${ displaystyle s _ { alpha}}$с. Группа Вейля - важная симметрия проблемы; например, веса любого конечномерного представления ${ displaystyle { mathfrak {g}}}$ инвариантны относительно группы Вейля.^[11]

Пример разложения корневого пространства в sl_п(С)

За ${ Displaystyle { mathfrak {g}} = { mathfrak {sl}} _ {n} ( mathbb {C})}$ и подалгебра Картана ${ displaystyle { mathfrak {h}}}$ диагональных матриц, определим ${ displaystyle lambda _ {i} in { mathfrak {h}} ^ {*}}$ к

${ Displaystyle лямбда _ {я} (д (а_ {1}, ldots, а_ {п})) = а_ {я}}$,

куда ${ Displaystyle d (а_ {1}, ldots, а_ {п})}$ обозначает диагональную матрицу с ${ displaystyle a_ {1}, ldots, a_ {n}}$ по диагонали. Тогда разложение дается формулой

${ displaystyle { mathfrak {g}} = { mathfrak {h}} oplus left ( bigoplus _ {я neq j} { mathfrak {g}} _ { lambda _ {i} - lambda _ {j}} right)}$

куда

${ displaystyle { mathfrak {g}} _ { lambda _ {i} - lambda _ {j}} = { text {Span}} _ { mathbb {C}} (e_ {ij})}$

для вектора ${ displaystyle e_ {ij}}$ в ${ Displaystyle { mathfrak {sl}} _ {п} ( mathbb {C})}$ со стандартным (матричным) базисом, т.е. ${ displaystyle e_ {ij}}$ представляет базисный вектор в ${ displaystyle i}$-й ряд и ${ displaystyle j}$-й столбец. Это разложение ${ displaystyle { mathfrak {g}}}$ имеет связанную корневую систему:

${ displaystyle Phi = { lambda _ {i} - lambda _ {j}: i neq j }}$

сл₂(С)

Например, в ${ Displaystyle { mathfrak {sl}} _ {2} ( mathbb {C})}$ разложение

${ displaystyle { mathfrak {sl}} _ {2} = { mathfrak {h}} oplus { mathfrak {g}} _ { lambda _ {1} - lambda _ {2}} oplus { mathfrak {g}} _ { lambda _ {2} - lambda _ {1}}}$

и соответствующая корневая система

${ displaystyle Phi = { lambda _ {1} - lambda _ {2}, lambda _ {2} - lambda _ {1} }}$

сл₃(С)

В ${ Displaystyle { mathfrak {sl}} _ {3} ( mathbb {C})}$ разложение

${ displaystyle { mathfrak {sl}} _ {3} = { mathfrak {h}} oplus { mathfrak {g}} _ { lambda _ {1} - lambda _ {2}} oplus { mathfrak {g}} _ { lambda _ {1} - lambda _ {3}} oplus { mathfrak {g}} _ { lambda _ {2} - lambda _ {3}} oplus { mathfrak {g}} _ { lambda _ {2} - lambda _ {1}} oplus { mathfrak {g}} _ { lambda _ {3} - lambda _ {1}} oplus { mathfrak {g}} _ { lambda _ {3} - lambda _ {2}}}$

и соответствующая корневая система определяется как

${ displaystyle Phi = { pm ( lambda _ {1} - lambda _ {2}), pm ( lambda _ {1} - lambda _ {3}), pm ( lambda _ {2} - lambda _ {3}) }}$

Примеры

Как отмечено в #Структура, полупростой Алгебры Ли над ${ Displaystyle mathbb {C}}$ (или, в более общем смысле, алгебраически замкнутое поле характеристики нуль) классифицируются по корневой системе, связанной с их подалгебрами Картана, а корневые системы, в свою очередь, классифицируются по их диаграммам Дынкина. Примеры полупростых алгебр Ли, классические алгебры Ли, с обозначениями из их Диаграммы Дынкина, находятся:

• ${ displaystyle A_ {n}:}$ ${ displaystyle { mathfrak {sl}} _ {n + 1}}$, то специальная линейная алгебра Ли.
• ${ displaystyle B_ {n}:}$ ${ displaystyle { mathfrak {so}} _ {2n + 1}}$, нечетномерная специальная ортогональная алгебра Ли.
• ${ displaystyle C_ {n}:}$ ${ displaystyle { mathfrak {sp}} _ {2n}}$, то симплектическая алгебра Ли.
• ${ displaystyle D_ {n}:}$ ${ displaystyle { mathfrak {so}} _ {2n}}$, четномерная специальная ортогональная алгебра Ли (${ displaystyle n> 1}$).

Ограничение ${ displaystyle n> 1}$ в ${ displaystyle D_ {n}}$ семья нужна потому что ${ displaystyle { mathfrak {so}} _ {2}}$ одномерна и коммутативна, а значит, не полупроста.

Эти алгебры Ли пронумерованы так, чтобы п это классифицировать. Почти все эти полупростые алгебры Ли на самом деле простые, и почти все члены этих семейств различны, за исключением некоторых коллизий малого ранга. Например ${ displaystyle { mathfrak {so}} _ {4} cong { mathfrak {so}} _ {3} oplus { mathfrak {so}} _ {3}}$ и ${ displaystyle { mathfrak {sp}} _ {2} cong { mathfrak {so}} _ {5}}$. Эти четыре семейства вместе с пятью исключениями (E₆, E₇, E₈, F₄, и грамм₂), на самом деле Только простые алгебры Ли над комплексными числами.

Классификация

Простые алгебры Ли классифицируются связными Диаграммы Дынкина.

Всякая полупростая алгебра Ли над алгебраически замкнутым полем характеристики 0 является прямая сумма из простые алгебры Ли (по определению), а конечномерные простые алгебры Ли делятся на четыре семейства: A_п, B_п, С_п, а D_п - за пятью исключениямиE₆, E₇, E₈, F₄, и грамм₂. Простые алгебры Ли классифицируются связными Диаграммы Дынкина, показанный справа, а полупростые алгебры Ли соответствуют необязательно связным диаграммам Дынкина, где каждая компонента диаграммы соответствует слагаемому разложения полупростой алгебры Ли на простые алгебры Ли.

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

Эта классификация широко считается одним из самых элегантных результатов в математике - краткий список аксиом дает через относительно короткое доказательство полную, но нетривиальную классификацию с удивительной структурой. Это следует сравнить с классификация конечных простых групп, что значительно сложнее.

Перечисление четырех семейств неизбыточно и состоит только из простых алгебр, если ${ Displaystyle п geq 1}$ для_п, ${ Displaystyle п geq 2}$ для B_п, ${ Displaystyle п geq 3}$ для C_п, и ${ Displaystyle п geq 4}$ для D_п. Если один начинает нумерацию ниже, перечисление является избыточным, и один имеет исключительные изоморфизмы между простыми алгебрами Ли, которые отражаются в изоморфизмы диаграмм Дынкина; E_п также можно удлинить вниз, но ниже E₆ изоморфны другим неисключительным алгебрам.

Над неалгебраически замкнутым полем классификация более сложна - сначала классифицируются простые алгебры Ли над алгебраическим замыканием, а затем для каждой из них классифицируются простые алгебры Ли над исходным полем, которые имеют эту форму (над замыканием). Например, чтобы классифицировать простые вещественные алгебры Ли, классифицируют вещественные алгебры Ли с заданной комплексификацией, которые известны как реальные формы комплексной алгебры Ли; это может быть сделано Диаграммы сатаке, представляющие собой диаграммы Дынкина с дополнительными данными («украшения»).^[12]

Теория представлений полупростых алгебр Ли

Позволять ${ displaystyle { mathfrak {g}}}$ - (конечномерная) полупростая алгебра Ли над алгебраически замкнутым полем нулевой характеристики. Тогда, как в #Структура, ${ textstyle { mathfrak {g}} = { mathfrak {h}} oplus bigoplus _ { alpha in Phi} { mathfrak {g}} _ { alpha}}$ куда ${ displaystyle Phi}$ это корневая система. Выберите простые корни в ${ displaystyle Phi}$; корень ${ displaystyle alpha}$ из ${ displaystyle Phi}$ затем называется положительный и обозначается ${ displaystyle alpha> 0}$ если это линейная комбинация простых корней с неотрицательными целыми коэффициентами. Позволять ${ textstyle { mathfrak {b}} = { mathfrak {h}} oplus bigoplus _ { alpha> 0} { mathfrak {g}} _ { alpha}}$, которая является максимальной разрешимой подалгеброй в ${ displaystyle { mathfrak {g}}}$, то Подалгебра Бореля.

Позволять V быть (возможно, бесконечномерным) простым ${ displaystyle { mathfrak {g}}}$-модуль. Если V случайно признает ${ displaystyle { mathfrak {b}}}$-вес вектор ${ displaystyle v_ {0}}$,^[13] то он уникален до масштабирования и называется вектор наибольшего веса из V. Это также ${ displaystyle { mathfrak {h}}}$-весовой вектор и ${ displaystyle { mathfrak {h}}}$-вес ${ displaystyle v_ {0}}$, линейный функционал от ${ displaystyle { mathfrak {h}}}$, называется самый высокий вес из V. Основные, но нетривиальные факты^[14] то (1) к каждому линейному функционалу ${ displaystyle mu in { mathfrak {h}} ^ {*}}$, существует простой ${ displaystyle { mathfrak {g}}}$-модуль ${ Displaystyle V ^ { mu}}$ имея ${ displaystyle mu}$ поскольку его наибольший вес и (2) два простых модуля с одинаковым наибольшим весом эквивалентны. Короче говоря, существует взаимное соответствие между ${ displaystyle { mathfrak {h}} ^ {*}}$ и множество классов эквивалентности простых ${ displaystyle { mathfrak {g}}}$-модули, допускающие борелевский вектор.

Для приложений часто интересуют конечномерные простые ${ displaystyle { mathfrak {g}}}$-модуль (конечномерное неприводимое представление). Это особенно актуально, когда ${ displaystyle { mathfrak {g}}}$ является алгеброй Ли Группа Ли (или их усложнение), поскольку через Ложная переписка, представление алгебры Ли может быть интегрировано в представление группы Ли, когда препятствия преодолены. Следующий критерий удовлетворяет эту потребность: положительная камера Вейля ${ Displaystyle С подмножество { mathfrak {h}} ^ {*}}$, мы имеем в виду выпуклый конус ${ displaystyle C = { mu in { mathfrak {h}} ^ {*} | mu (h _ { alpha}) geq 0, alpha in Phi> 0 }}$ куда ${ displaystyle h _ { alpha} in [{ mathfrak {g}} _ { alpha}, { mathfrak {g}} _ {- alpha}]}$ уникальный вектор такой, что ${ Displaystyle альфа (ч _ { альфа}) = 2}$. Тогда критерий гласит:^[15]

• ${ Displaystyle тусклый V ^ { mu} < infty}$ тогда и только тогда, когда для каждого положительного корня ${ displaystyle alpha> 0}$, (1) ${ Displaystyle му (ч _ { альфа})}$ является целым числом и (2) ${ displaystyle mu}$ лежит в ${ displaystyle C}$.

Линейный функционал ${ displaystyle mu}$ удовлетворяющее вышеуказанному эквивалентному условию, называется доминантным целым весом. Таким образом, существует биекция между доминирующими целочисленными весами и классами эквивалентности конечномерных простых ${ displaystyle { mathfrak {g}}}$-modules, результат, известный как теорема наивысшего веса. Характер конечномерного простого модуля по очереди вычисляется Формула характера Вейля.

В теорема Вейля говорит, что над полем нулевой характеристики каждое конечномерное модуль полупростой алгебры Ли ${ displaystyle { mathfrak {g}}}$ является полностью сводимый; т.е. это прямая сумма простых ${ displaystyle { mathfrak {g}}}$-модули. Следовательно, приведенные выше результаты применимы к конечномерным представлениям полупростой алгебры Ли.

Вещественная полупростая алгебра Ли

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

Позволять ${ displaystyle { mathfrak {g}}}$ - конечномерная вещественная полупростая алгебра Ли и ${ Displaystyle { mathfrak {g}} ^ { mathbb {C}} = { mathfrak {g}} otimes _ { mathbb {R}} mathbb {C}}$ его комплексификация (что опять-таки полупросто). Настоящая алгебра Ли ${ displaystyle { mathfrak {g}}}$ называется реальная форма из ${ Displaystyle { mathfrak {g}} ^ { mathbb {C}}}$. Действительная форма называется компактной, если форма Киллинга на ней отрицательно определена; это обязательно алгебра Ли компактной группы Ли (отсюда и название).

Компактный корпус

Предполагать ${ displaystyle { mathfrak {g}}}$ компактная форма и ${ Displaystyle { mathfrak {h}} subset { mathfrak {g}}}$ максимальное абелево подпространство. Можно показать (например, по факту ${ displaystyle { mathfrak {g}}}$ является алгеброй Ли компактной группы Ли), что ${ displaystyle operatorname {ad} ({ mathfrak {h}})}$ состоит из косоэрмитовых матриц, диагонализируемых над ${ Displaystyle mathbb {C}}$ с мнимыми собственными значениями. Следовательно, ${ displaystyle { mathfrak {h}} ^ { mathbb {C}}}$ это Подалгебра Картана из ${ Displaystyle { mathfrak {g}} ^ { mathbb {C}}}$ и это приводит к разложению корневого пространства (см. #Структура)

${ Displaystyle { mathfrak {g}} ^ { mathbb {C}} = { mathfrak {h}} ^ { mathbb {C}} oplus bigoplus _ { alpha in Phi} { mathfrak {g}} _ { alpha}}$

где каждый ${ displaystyle alpha in Phi}$ ценится на ${ Displaystyle я { mathfrak {h}}}$; таким образом, можно отождествить с вещественно-линейным функционалом на вещественном векторном пространстве ${ Displaystyle я { mathfrak {h}}}$.

Например, пусть ${ Displaystyle { mathfrak {g}} = { mathfrak {су}} (п)}$ и возьми ${ Displaystyle { mathfrak {h}} subset { mathfrak {g}}}$ подпространство всех диагональных матриц. Примечание ${ Displaystyle { mathfrak {g}} ^ { mathbb {C}} = { mathfrak {sl}} _ {n} mathbb {C}}$. Позволять ${ displaystyle e_ {i}}$ - линейный функционал на ${ displaystyle { mathfrak {h}} ^ { mathbb {C}}}$ данный ${ displaystyle e_ {i} (H) = h_ {i}}$ за ${ displaystyle H = operatorname {diag} (h_ {1}, dots, h_ {n})}$. Тогда для каждого ${ displaystyle H in { mathfrak {h}} ^ { mathbb {C}}}$,

${ displaystyle [H, E_ {ij}] = (e_ {i} (H) -e_ {j} (H)) E_ {ij}}$

куда ${ displaystyle E_ {ij}}$ матрица, имеющая 1 на ${ displaystyle (я, j)}$-е место и ноль в других местах. Следовательно, каждый корень ${ displaystyle alpha}$ имеет форму ${ displaystyle alpha = e_ {i} -e_ {j}, i neq j}$ а разложение корневого пространства - это разложение матриц:^[16]

${ Displaystyle { mathfrak {g}} ^ { mathbb {C}} = { mathfrak {h}} ^ { mathbb {C}} oplus bigoplus _ {я neq j} mathbb {C} E_ {ij}.}$

Некомпактный корпус

Предполагать ${ displaystyle { mathfrak {g}}}$ не обязательно является компактной формой (т. е. подпись формы Киллинга не всегда отрицательная). Предположим, кроме того, у него есть Инволюция Картана ${ displaystyle theta}$ и разреши ${ Displaystyle { mathfrak {g}} = { mathfrak {k}} oplus { mathfrak {p}}}$ быть разложением собственного подпространства ${ displaystyle theta}$, куда ${ displaystyle { mathfrak {k}}, { mathfrak {p}}}$ - собственные подпространства для 1 и -1 соответственно. Например, если ${ displaystyle { mathfrak {g}} = { mathfrak {sl}} _ {n} mathbb {R}}$ и ${ displaystyle theta}$ отрицательное транспонирование, затем ${ Displaystyle { mathfrak {k}} = { mathfrak {so}} (п)}$.

Позволять ${ Displaystyle { mathfrak {а}} subset { mathfrak {p}}}$ - максимальное абелево подпространство. Сейчас же, ${ displaystyle operatorname {ad} ({ mathfrak {p}})}$ состоит из симметричных матриц (относительно подходящего внутреннего продукта) и, следовательно, операторов в ${ displaystyle operatorname {ad} ({ mathfrak {a}})}$ одновременно диагонализуемы с действительными собственными значениями. Повторяя рассуждения для алгебраически замкнутого базового поля, можно получить разложение (называемое разложение по ограниченному корневому пространству):^[17]

${ displaystyle { mathfrak {g}} = { mathfrak {g}} _ {0} oplus bigoplus _ { alpha in Phi} { mathfrak {g}} _ { alpha}}$

куда

• элементы в ${ displaystyle Phi}$ называются ограниченные корни,
• ${ displaystyle theta ({ mathfrak {g}} _ { alpha}) = { mathfrak {g}} _ {- alpha}}$ для любого линейного функционала ${ displaystyle alpha}$; особенно, ${ displaystyle - Phi subset Phi}$,
• ${ displaystyle { mathfrak {g}} _ {0} = { mathfrak {a}} oplus Z _ { mathfrak {k}} ({ mathfrak {a}})}$.

Более того, ${ displaystyle Phi}$ это корневая система но не обязательно сокращенный (т.е. может случиться ${ displaystyle alpha, 2 alpha}$ оба корня).

Случай ${ Displaystyle mathrm {sl} (п, mathbb {C})}$

Если ${ Displaystyle { mathfrak {g}} = mathrm {sl} (п, mathbb {C})}$, тогда ${ displaystyle { mathfrak {h}}}$ можно принять за диагональную подалгебру в ${ displaystyle { mathfrak {g}}}$, состоящий из диагональных матриц, сумма диагональных элементов которых равна нулю. С ${ displaystyle { mathfrak {h}}}$ имеет размер ${ displaystyle n-1}$, Мы видим, что ${ Displaystyle mathrm {sl} (п; mathbb {C})}$ имеет звание ${ displaystyle n-1}$.

Корневые векторы ${ displaystyle X}$ в этом случае можно принять за матрицы ${ displaystyle E_ {i, j}}$ с ${ displaystyle i neq j}$, куда ${ displaystyle E_ {i, j}}$ матрица с единицей в ${ displaystyle (я, j)}$ пятно и нули в другом месте.^[18] Если ${ displaystyle H}$ диагональная матрица с диагональными элементами ${ displaystyle lambda _ {1}, ldots, lambda _ {n}}$, то имеем

${ displaystyle [H, E_ {i, j}] = ( lambda _ {i} - lambda _ {j}) E_ {i, j}}$.

Таким образом, корни для ${ Displaystyle mathrm {sl} (п, mathbb {C})}$ линейные функционалы ${ displaystyle alpha _ {я, j}}$ данный

${ displaystyle alpha _ {i, j} (H) = lambda _ {i} - lambda _ {j}}$.

После определения ${ displaystyle { mathfrak {h}}}$ с двойственным, корни становятся векторами ${ displaystyle alpha _ {i, j}: = e_ {i} -e_ {j}}$ в пространстве ${ displaystyle n}$-наборы, сумма которых равна нулю. Это корневая система известный как ${ displaystyle A_ {n-1}}$ в обычной маркировке.

Отражение, связанное с корнем ${ displaystyle alpha _ {я, j}}$ действует на ${ displaystyle { mathfrak {h}}}$ путем транспонирования ${ displaystyle i}$ и ${ displaystyle j}$ диагональные записи. Тогда группа Вейля - это просто группа перестановок на ${ displaystyle n}$ элементов, действуя путем перестановки диагональных элементов матриц в ${ displaystyle { mathfrak {h}}}$.

Обобщения

Полупростые алгебры Ли допускают некоторые обобщения. Во-первых, многие утверждения, которые верны для полупростых алгебр Ли, верны в более общем случае для редуктивные алгебры Ли. Абстрактно, редуктивная алгебра Ли - это алгебра, присоединенное представление которой полностью сводимый, а конкретно редуктивная алгебра Ли представляет собой прямую сумму полупростой алгебры Ли и абелева алгебра Ли; Например, ${ displaystyle { mathfrak {sl}} _ {n}}$ полупростой, а ${ displaystyle { mathfrak {gl}} _ {n}}$ редуктивен. Многие свойства полупростых алгебр Ли зависят только от сводимости.

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

Полупростые и редуктивные группы

Связная группа Ли называется полупростой, если ее алгебра Ли является полупростой алгеброй Ли, т. Е. Прямой суммой простых алгебр Ли. Это называется редуктивный если его алгебра Ли представляет собой прямую сумму простых и тривиальных (одномерных) алгебр Ли. Редуктивные группы возникают естественным образом как симметрии ряда математических объектов в алгебре, геометрии и физике. Например, группа ${ Displaystyle GL_ {п} ( mathbb {R})}$ симметрий п-размерный реальный векторное пространство (эквивалентно, группа обратимых матриц) редуктивна.

Смотрите также

• Алгебра Ли
• Корневая система
• Представление алгебры Ли
• Компактная группа
• Простая группа Ли
• Подалгебра Бореля
• Теорема Якобсона – Морозова.

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