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

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

Роль полупростоты в изучении алгебр ЛиПравить

Теорема Леви-Мальцева о разложении Леви^[en] утверждает, что любая алгебра Ли является полупрямой суммой разрешимого идеала (называемого радикалом алгебры Ли) и полупростой алгебры. В частности, ненулевая алгебра Ли не может быть одновременно разрешимой и полупростой. Для многих задач это позволяет рассматривать отдельно теорию разрешимых алгебр Ли и отдельно — полупростых.

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

СвойстваПравить

• Полупростота сохраняется при рассмотрении идеала, факторалгебры Ли, прямого произведения.
• (Критерий Картана) Алгебра Ли полупроста тогда и только тогда, когда её форма Киллинга невырождена.
• (Теорема Вейля) Конечномерное представление полупростой алгебры Ли вполне приводимо.
• Фактор $\mathfrak{g}/[\mathfrak{g},\mathfrak{g}]$${\mathfrak {g}}/[{\mathfrak {g}},{\mathfrak {g}}]$  полупрост, как фактор полупростой алгебры Ли, и абелев, как фактор по коммутанту. Тогда он равен нулевой алгебре Ли. Отсюда коммутант полупростой алгебры Ли равен ей же самой: $[\mathfrak{g},\mathfrak{g}]=\mathfrak{g}.$$[{\mathfrak {g}},{\mathfrak {g}}]={\mathfrak {g}}.$  В частности, любая линейная полупростая алгебра Ли лежит в $[{\mathfrak{g}\mathfrak{l}}_n,{\mathfrak{g}\mathfrak{l}}_n]={\mathfrak{s}\mathfrak{l}}_n$$[{\mathfrak {gl}}_{n},{\mathfrak {gl}}_{n}]={\mathfrak {sl}}_{n}$ .

СтруктураПравить

Пусть $\mathfrak{g}$$\mathfrak{g}$  — конечномерная полупростая алгебра Ли над алгебраически замкнутым полем характеристики 0. Рассмотрим подалгебру Картана $\mathfrak{h}$${\mathfrak {h}}$  — максимальную торическую подалгебру, где слово торическая означает, что она состоит из полупростых элементов, то есть таких элементов $x$$x$ , что $\mathrm{ad}<!--\; \; -->(x)$$\operatorname {ad} (x)$  диагонализуем. Можно рассмотреть действие $\mathfrak{h}$${\mathfrak {h}}$  на $\mathfrak{g}$$\mathfrak{g}$  при помощи присоединённого представления $\mathrm{ad}$$\operatorname {ad}$ . Для полупростой алгебры Ли подалгебра Картана оказывается абелевой, поэтому операторы $\mathrm{ad}$$\operatorname {ad}$ , соответствующие её элементам, можно одновременно диагонализовать.

Пусть $\mathrm{\alpha <!--\; \alpha \; -->}\in <!--\; \in \; -->{\mathfrak{h}}^{\ast <!--\; \ast \; -->}$$\alpha \in {\mathfrak {h}}^{\ast }$  — линейный функционал на $\mathfrak{h}$${\mathfrak {h}}$ . Тогда можно рассмотреть подпространство в $\mathfrak{g}$$\mathfrak{g}$  (возможно, нулевое), заданное формулой:

${\mathfrak{g}}_{\mathrm{\alpha <!--\; \alpha \; -->}}=\{x\in <!--\; \in \; -->\mathfrak{g}|[h,x]=\mathrm{\alpha <!--\; \alpha \; -->}(h)x\mathrm{\forall <!--\; \forall \; -->}h\in <!--\; \in \; -->\mathfrak{h}\}.$${\mathfrak {g}}_{\alpha }=\{x\in {\mathfrak {g}}|[h,x]=\alpha (h)x\quad \forall h\in {\mathfrak {h}}\}.$ 

Разложение на корневые подпространства Если $\mathfrak{h}$${\mathfrak {h}}$  — картановская подалгебра $\mathfrak{g}$$\mathfrak{g}$ , оказывается, что ${\mathfrak{g}}_0=\mathfrak{h}$${\mathfrak {g}}_{0}={\mathfrak {h}}$  и $\mathfrak{g}$$\mathfrak{g}$  раскладывается в прямую сумму (как $\mathfrak{h}$${\mathfrak {h}}$ -модуль): $\mathfrak{g}=\mathfrak{h}\oplus <!--\; \oplus \; -->\underset{\mathrm{\alpha <!--\; \alpha \; -->}\in <!--\; \in \; -->\mathrm{\Phi <!--\; \Phi \; -->}}{⨁<!--\; ⨁\; -->}{\mathfrak{g}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$${\mathfrak {g}}={\mathfrak {h}}\oplus \bigoplus _{\alpha \in \Phi }{\mathfrak {g}}_{\alpha }$  где $\mathrm{\Phi <!--\; \Phi \; -->}$$\Phi$  — множество всех ненулевых линейных функционалов $\mathrm{\alpha <!--\; \alpha \; -->}\in <!--\; \in \; -->{\mathfrak{h}}^{\ast <!--\; \ast \; -->}$$\alpha \in {\mathfrak {h}}^{\ast }$  таких, что ${\mathfrak{g}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\ne <!--\; \ne \; -->\{0\}$${\mathfrak {g}}_{\alpha }\neq \{0\}$ . Более того, для каждых $\mathrm{\alpha <!--\; \alpha \; -->},\mathrm{\beta <!--\; \beta \; -->}\in <!--\; \in \; -->\mathrm{\Phi <!--\; \Phi \; -->}$$\alpha ,\beta \in \Phi$  выполнены следующие свойства: $[{\mathfrak{g}}_{\mathrm{\alpha <!--\; \alpha \; -->}},{\mathfrak{g}}_{\mathrm{\beta <!--\; \beta \; -->}}]\subseteq <!--\; \subseteq \; -->{\mathfrak{g}}_{\mathrm{\alpha <!--\; \alpha \; -->}+\mathrm{\beta <!--\; \beta \; -->}}$$[{\mathfrak {g}}_{\alpha },{\mathfrak {g}}_{\beta }]\subseteq {\mathfrak {g}}_{\alpha +\beta }$ , при этом при $\mathrm{\alpha <!--\; \alpha \; -->}+\mathrm{\beta <!--\; \beta \; -->}\ne <!--\; \ne \; -->0$$\alpha +\beta \neq 0$  формула обращается в равенство. $[{\mathfrak{g}}_{\mathrm{\alpha <!--\; \alpha \; -->}},{\mathfrak{g}}_{-<!--\; -\; -->\mathrm{\alpha <!--\; \alpha \; -->}}]\oplus <!--\; \oplus \; -->{\mathfrak{g}}_{-<!--\; -\; -->\mathrm{\alpha <!--\; \alpha \; -->}}\oplus <!--\; \oplus \; -->{\mathfrak{g}}_{\mathrm{\alpha <!--\; \alpha \; -->}}\simeq <!--\; \simeq \; -->{\mathfrak{s}\mathfrak{l}}_2$$[{\mathfrak {g}}_{\alpha },{\mathfrak {g}}_{-\alpha }]\oplus {\mathfrak {g}}_{-\alpha }\oplus {\mathfrak {g}}_{\alpha }\simeq {\mathfrak {sl}}_{2}$ , где изоморфизм следует понимать как изоморфизм алгебр Ли. $\dim <!--\; \; -->{\mathfrak{g}}_{\mathrm{\alpha <!--\; \alpha \; -->}}=1$$\dim {\mathfrak {g}}_{\alpha }=1$ ; в частности, $\dim <!--\; \; -->\mathfrak{g}=\dim <!--\; \; -->\mathfrak{h}+\mathrm{\#<!--\; \#\; -->}\mathrm{\Phi <!--\; \Phi \; -->}$$\dim {\mathfrak {g}}=\dim {\mathfrak {h}}+\#\Phi$ . ${\mathfrak{g}}_{2\mathrm{\alpha <!--\; \alpha \; -->}}=\{0\}$${\mathfrak {g}}_{2\alpha }=\{0\}$ ; иными словами, $2\mathrm{\alpha <!--\; \alpha \; -->}\notin \mathrm{\Phi <!--\; \Phi \; -->}$$2\alpha \not \in \Phi$ . При $\mathrm{\alpha <!--\; \alpha \; -->}+\mathrm{\beta <!--\; \beta \; -->}\ne <!--\; \ne \; -->0$$\alpha +\beta \neq 0$  подпространства ${\mathfrak{g}}_{\mathrm{\alpha <!--\; \alpha \; -->}}$${\mathfrak {g}}_{\alpha }$  и ${\mathfrak{g}}_{\mathrm{\beta <!--\; \beta \; -->}}$${\mathfrak {g}}_{\beta }$  ортогональны друг другу по отношению к форме Киллинга. Ограничение формы Киллинга на $\mathfrak{h}$${\mathfrak {h}}$  невырождено.

Множество $\mathrm{\Phi <!--\; \Phi \; -->}$$\Phi$  называют системой корней алгебры $\mathfrak{g}$$\mathfrak{g}$ . Можно показать, что оно действительно удовлетворяет аксиомам системы корней. В ней можно выбрать базис так называемых простых корней ${\mathrm{\alpha <!--\; \alpha \; -->}}_1,\dots <!--\; \dots \; -->,{\mathrm{\alpha <!--\; \alpha \; -->}}_l$$\alpha _{1},\ldots ,\alpha _{l}$  так, что каждый элемент $\mathrm{\Phi <!--\; \Phi \; -->}$$\Phi$  представляется в виде целочисленной линейной комбинации простых корней, причём либо со всеми неотрицательными коэффициентами, либо со всеми неположительными. Из теории представлений ${\mathfrak{s}\mathfrak{l}}_2$${\mathfrak {sl}}_{2}$  следует, что для каждого из таких корней можно выбрать элементы $g_{\mathrm{\alpha <!--\; \alpha \; -->}}\in <!--\; \in \; -->{\mathfrak{g}}_{\mathrm{\alpha <!--\; \alpha \; -->}},f_{\mathrm{\alpha <!--\; \alpha \; -->}}\in <!--\; \in \; -->{\mathfrak{g}}_{-<!--\; -\; -->\mathrm{\alpha <!--\; \alpha \; -->}},h_{\mathrm{\alpha <!--\; \alpha \; -->}}=[e_{\mathrm{\alpha <!--\; \alpha \; -->}},f_{\mathrm{\alpha <!--\; \alpha \; -->}}]$$g_{\alpha }\in {\mathfrak {g}}_{\alpha },f_{\alpha }\in {\mathfrak {g}}_{-\alpha },h_{\alpha }=[e_{\alpha },f_{\alpha }]$ , нормировав их так, что $[h_{\mathrm{\alpha <!--\; \alpha \; -->}},e_{\mathrm{\alpha <!--\; \alpha \; -->}}]=2e_{\mathrm{\alpha <!--\; \alpha \; -->}}$$[h_{\alpha },e_{\alpha }]=2e_{\alpha }$  и $[h_{\mathrm{\alpha <!--\; \alpha \; -->}},f_{\mathrm{\alpha <!--\; \alpha \; -->}}]=-<!--\; -\; -->2f_{\mathrm{\alpha <!--\; \alpha \; -->}}.$$[h_{\alpha },f_{\alpha }]=-2f_{\alpha }.$  Оказывается, что выбранные так $3l$$3l$  элементов порождают $\mathfrak{g}$$\mathfrak{g}$  как алгебру Ли.

Обозначим $a_{ij}={\mathrm{\alpha <!--\; \alpha \; -->}}_j(h_i),$$a_{ij}=\alpha _{j}(h_{i}),$  тогда можно выписать явно все соотношения на эти порождающие (соотношения Серра):

$[h_i,h_j]=0,$$[h_{i},h_{j}]=0,$ 

$[e_i,f_i]=h_i,[e_i,f_j]=0,i\ne <!--\; \ne \; -->j,$$[e_{i},f_{i}]=h_{i},[e_{i},f_{j}]=0,i\neq j,$ 

$[h_i,e_j]=a_{ij}{e}_j,[h_i,f_j]=-<!--\; -\; -->a_{ij}{f}_j,$$[h_{i},e_{j}]=a_{ij}e_{j},[h_{i},f_{j}]=-a_{ij}f_{j},$ 

$\mathrm{ad}<!--\; \; -->(e_i{)}^{-<!--\; -\; -->a_{ij}+1}(e_j)=\mathrm{ad}<!--\; \; -->(f_i{)}^{-<!--\; -\; -->a_{ij}+1}(f_j)=0,i\ne <!--\; \ne \; -->j.$$\operatorname {ad} (e_{i})^{-a_{ij}+1}(e_{j})=\operatorname {ad} (f_{i})^{-a_{ij}+1}(f_{j})=0,i\neq j.$ 

Теорема Серра^[en] утверждает, что для любой матрицы $\{a_{ij}\}$$\{a_{ij}\}$ , являющейся матрицей Картана, или, что эквивалентно, для любой системы корней, существует единственная с точностью до изоморфизма полупростая конечномерная алгебра Ли. Одно из возможных доказательств существования — построение конструкции алгебры Каца-Муди^[en].

Таким образом, оказывается, что для классификации полупростых конечномерных алгебр Ли (над алгебраически замкнутым полем нулевой характеристики) достаточно классифицировать системы корней.

КлассификацияПравить

 

Простые алгебры Ли соответствуют неприводимым диаграммам Дынкина.

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

Диаграмма Дынкина с количеством вершин $n$$n$  соответствует системе корней ранга $n$$n$ , если она одна из следующих: $A_n,B_n,C_n,D_n,E_6,E_7,E_8,F_4,G_2$$A_{n},B_{n},C_{n},D_{n},E_{6},E_{7},E_{8},F_{4},G_{2}$ .

Алгебры, соответствующие сериям $A_n,B_n,C_n,D_n,$$A_{n},B_{n},C_{n},D_{n},$  называют классическими; это алгебры ${\mathfrak{s}\mathfrak{l}}_{n+1},{\mathfrak{s}\mathfrak{o}}_{2n+1},{\mathfrak{s}\mathfrak{p}}_{2n},{\mathfrak{s}\mathfrak{o}}_{2n}$${\mathfrak {sl}}_{n+1},{\mathfrak {so}}_{2n+1},{\mathfrak {sp}}_{2n},{\mathfrak {so}}_{2n}$  соответственно. Диаграммы этих серий при малых значениях $n$$n$  могут совпадать друг с другом, что порождает изоморфные алгебры, или раскладываться в сумму других, то есть не быть простыми; для исключения этих случаев из списка можно брать $A_n$$A_{n}$  при $n⩾<!--\; ⩾\; -->1$$n\geqslant 1$ , $B_n$$B_{n}$  при $n⩾<!--\; ⩾\; -->2$$n\geqslant 2$ , $C_n$$C_{n}$  при $n⩾<!--\; ⩾\; -->3$$n\geqslant 3$ , $D_n$$D_{n}$  при $n⩾<!--\; ⩾\; -->4$$n\geqslant 4$ .

Алгебры, соответствующие диаграммам $E_6$$E_{6}$ , $E_7$$E_7$ , $E_8$$E_8$ , $F_4$$F_{4}$ , $G_2$$G_{2}$  называют исключительными. Обычно соответствующие группы обозначают тем же символом, что и диаграмму, а алгебры — ${\mathfrak{e}}_6,{\mathfrak{e}}_7,{\mathfrak{e}}_8,{\mathfrak{f}}_4,{\mathfrak{g}}_2.$${\mathfrak {e}}_{6},{\mathfrak {e}}_{7},{\mathfrak {e}}_{8},{\mathfrak {f}}_{4},{\mathfrak {g}}_{2}.$ 

Для не алгебраически замкнутого поля несколько неизоморфных простых алгебр Ли могут соответствовать одной и той же простой алгебре Ли над алгебраическим замыканием, поэтому требуются дополнительные усилия. В случае поля вещественных чисел полная классификация даётся диаграммами Сатаке^[en], представляющими из себя диаграммы Дынкина с дополнительными метками.

ЛитератураПравить

• Хамфрис Дж. Введение в теорию алгебр Ли и их представлений = Introduction to Lie Algebras and Representation Theory (рус.) / пер. с англ. Б.Р. Френкина. — М.: МЦНМО, 2003. — 214 с. — ISBN 5-900916-79-0.
• Винберг Э.Б., Онищик А.Л. Семинар по группам Ли и алгебраическим группам (рус.). — Москва: Наука, 1988. — 344 с. — ISBN 5-02-013721-9.
• Serre J.-P. Complex semisimple Lie algebras (англ.). — Berlin: Springer, 2000. — 74 p.
• Knapp A.M. Lie groups beyond an introduction (англ.). — Birkhäuser, 2002.