Борелевская подалгебра

В математике, особенно в теории представлений , борелевская подалгебра алгебры Ли. ${\mathfrak {g}}$ является максимальной разрешимой подалгеброй. Понятие названо в честь Армана Бореля .

Если алгебра Ли ${\mathfrak {g}}$ — алгебра Ли комплексной группы Ли , то борелевская подалгебра — это алгебра Ли борелевской подгруппы .

Подалгебра Бореля, связанная с флагом

Позволять ${\mathfrak {g}}={\mathfrak {gl}}(V)$ — алгебра Ли эндоморфизмов конечномерного векторного пространства V над комплексными числами. Затем, чтобы указать борелевскую подалгебру ${\mathfrak {g}}$ суммы для флага V указания ; дали флаг $V=V_{0}\supset V_{1}\supset \cdots \supset V_{n}=0$, подпространство ${\mathfrak {b}}=\{x\in {\mathfrak {g}}\mid x(V_{i})\subset V_{i},1\leq i\leq n\}$ является борелевской подалгеброй, и наоборот, каждая борелевская подалгебра имеет такой вид по теореме Ли . Следовательно, борелевские подалгебры классифицируются по многообразию флагов V .

Подалгебра Бореля относительно основания корневой системы

Позволять ${\mathfrak {g}}$ — комплексная полупростая алгебра Ли , ${\mathfrak {h}}$ и подалгебра Картана R связанная с ними корневая система . Выбор основания R дает понятие положительных корней. Затем ${\mathfrak {g}}$ имеет разложение ${\mathfrak {g}}={\mathfrak {n}}^{-}\oplus {\mathfrak {h}}\oplus {\mathfrak {n}}^{+}$ где ${\mathfrak {n}}^{\pm }=\sum _{\alpha >0}{\mathfrak {g}}_{\pm \alpha }$. Затем ${\mathfrak {b}}={\mathfrak {h}}\oplus {\mathfrak {n}}^{+}$ является подалгеброй Бореля относительно приведенной выше установки. (Она разрешима, поскольку производная алгебра $[{\mathfrak {b}},{\mathfrak {b}}]$ является нильпотентным. Она максимально разрешима по теореме Бореля–Морозова о сопряженности разрешимых подалгебр. )

Учитывая ${\mathfrak {g}}$-модуля V примитивный элемент V — это (ненулевой) вектор, который (1) является весовым вектором для ${\mathfrak {h}}$ и что (2) аннулируется ${\mathfrak {n}}^{+}$. Это то же самое, что ${\mathfrak {b}}$-весовой вектор (Доказательство: если $h\in {\mathfrak {h}}$ и $e\in {\mathfrak {n}}^{+}$ с $[h,e]=2e$ и если ${\mathfrak {b}}\cdot v$ это линия, то $0=[h,e]\cdot v=2e\cdot v$.)

См. также

• Подгруппа Бореля
• Параболическая алгебра Ли

Ссылки

• Крисс, Нил; Гинзбург, Виктор (2009) [1997], Теория представлений и комплексная геометрия , Springer, ISBN  978-0-8176-4938-8 .
• Хамфрис, Джеймс Э. (1972), Введение в алгебры Ли и теорию представлений , Springer-Verlag , ISBN  978-0-387-90053-7 .
• Серр, Жан-Пьер (2000), полупростые Комплексные алгебры Ли , перевод Джонса, Джорджия, Спрингер, ISBN  978-3-540-67827-4 .