Подгруппа Бореля

Подгруппа Бореля (или борелевская подгруппа) алгебраической группы G — это максимальная замкнутая и связная (по Зарисскому) разрешимая алгебраическая подгруппа. Например, в группе GLn (обратимых n x n матриц), подгруппа обратимых верхнетреугольных матриц является подгуппой Бореля.

Для групп над алгебраически замкнутыми полями имеется единственный класс сопряжённости борелевских подгрупп.

Борелевские подгруппы являются одним из двух ключевых ингредиентов для понимания структуры простых (в более общих случаях, редуктивных) алгебраических групп в теории групп Жака Титса с парой (B,N). Здесь группа B — борелевская подгруппа, а N — нормализатор максимального тора, содержащегося в B.

Обозначение предложил Арман Борель, игравший лидирующую роль в развитии теории алгебраических групп.

Параболические подгруппы

Подгруппы между борелевской подгруппой B и содержащей её группой G называются параболическими подгруппами. Параболическая подгруппа P характеризуется среди алгебраических подгрупп условием, что G/P является полным многообразием. Над алгебраически замкнутыми полями борелевские подгруппы оказываются минимальными параболическими подгруппами в этом смысле. Таким образом, B является борелевской подгруппой, когда однородное пространство G/B является полным многообразием, которое является «как можно большим».

Для простой алгебраической группы G множество классов сопряжённости параболических подгрупп находится в биективном соответствии со множеством всех подмножеств узлов соответствующей диаграммы Дынкина. Борелевская подгруппа соответствует пустому множеству, а сама группа G соответствует множеству всех узлов. (В общем случае каждый узел диаграммы Дынкина определяет простой отрицательный корень и, тем самым, одномерную «группу корней» группы G --- подмножество узлов тогда образует параболическую подгруппу, образованную группой B и соответствующими группами отрицательных корней. Более того, любая параболическая подгруппа смежна такой параболической подгруппе).

Пример

Пусть . Подгруппой Бореля группы является множество верхних треугольных матриц

и максимальными собственными параболическими подгруппами группы , содержащими , будут

Максимальным тором в является

Ясно, что тор должен быть изоморфен алгебраическому тору .[1]

Алгебра Ли

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

См. также

Примечания

  1. Brion, Michel Lectures on the geometry of flag varieties.

Литература

  • Gary Seitz. Algebraic Groups // Finite and Locally Finite Groups / B. Hartley. — 1991. — С. 45–70.
  • Humphreys J. Linear Algebraic Groups. — New York: Springer, 1972. — ISBN 0-387-90108-6.
  • Borel A. Essays in the History of Lie Groups and Algebraic Groups. — Providence RI: AMS, 2001. — ISBN 0-8218-0288-7.

Ссылки

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.