ЛИ ПОЛУПРОСТАЯ АЛГЕБРА


ЛИ ПОЛУПРОСТАЯ АЛГЕБРА

- алгебра Ли, не имеющая ненулевых разрешимых идеалов (см. Ли разрешимая алгебра). В дальнейшем рассматриваются конечномерные Ли п. а. над полем kхарактеристики 0 (о Лн п. а. над полем ненулевой характеристики см. Ли алгебра).

Полупростота конечномерной алгебры Ли равносильна выполнению любого из следующих условий:

1) не содержит ненулевых абелевых идеалов;

2) Киллинга форма алгебры невырождена (к р и т е р и й К а р т а н а);

3) разлагается в прямую сумму неабелевых простых идеалов;

4) всякое конечномерное линейное представление алгебры вполне приводимо (иначе: всякий конечномерный -модуль полупрост);

5) одномерные когомолопш алгебры со значениями в любом конечномерном -модуле тривиальны.

Любой идеал и любая факторалгебра Ли п. а. также полупросты. Разложение Ли п. а., указанное в условии 3), единственно. Частным случаем свойства 5) является следующее утверждение: все дифференцирования Ли п. а. являются внутренними. Свойство полупростоты алгебры Ли сохраняется как при расширении, так и при сужении основного поля.

Пусть - Ли п. а. над алгебраически замкнутым полем k. Присоединенное представление изоморфно отображает алгебру на линейную алгебру Ли к-рая является алгеброй Ли алгебраич. группы всех автоморфизмов алгебры и тем самым Ли алгебраической алгеброй. Элемент наз. полупростым (н и л ь п о т е н т н ы м), если ad X полупрост (соответственно нильпотентен). Это свойство элемента Xсохраняется при любом гомоморфизме алгебры в другую Ли п. а. Связная компонента единицы совпадает с группой внутренних автоморфизмов алгебры т. е. порождается автоморфизмами вида exp (ad X),

При изучении Ли п. а. над алгебраически замкнутым полем kсущественную роль играют корни Ли п. а., к-рые определяются следующим образом. Пусть - подалгебра Картана алгебры Для ненулевой линейной функции через обозначается линейное подпространство в заданное условием:

Если то а наз. корнем алгебры относительно Множество всех ненулевых корней наз. корневой системой, или системой корней, алгебры Имеет место корневое разложение:

Корневая система и корневое разложение Ли п. а. обладают следующими свойствами:

1) порождает и является приведенной корневой системой в абстрактном смысле (в линейной оболочке системы над полем действительных чисел). Система неприводима тогда и только тогда, когда проста.

2) Для любого

Существует единственный элемент такой, что

3) Для каждого ненулевого существует единственный такой, что причем

Кроме того,

где ( , ) - скалярное произведение, индуцированное формой Киллинга.

4) Если ортогональны относительно формы Кпллинга и

Базис корневой системы наз. также системой простых корней алгебры

Пусть - система положительных корней относительно данного базиса и пусть Тогда элементы

составляют базис алгебры наз. базисом К а р т а н а. С другой стороны, элементы

составляют систему образующих алгебры причем определяющие соотношения имеют следующий вид:

Из свойства 4) следует равенство

где Элементы можно выбрать таким образом, чтобы

где р - наибольшее целое число такое, что Соответствующий базис Картана наз. базисом Ш е в а л л е. Структурные константы алгебры в этом базисе являются целыми, что позволяет связать с алгебры Ли и алгебраич. группы (см. Шевалле группа).над полями произвольной характеристики. Если то линейная оболочка над векторов

является компактной вещественной формой алгебры

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

Простые алгебры Ли, отвечающие корневым системам типов А - D, наз. классическими и имеют следующий вид.

Тип - алгебра линейных преобразований пространства kn+1 со следом 0;


Тип - алгебра линейных преобразований пространства k2n+1, кососимметрических относительно заданной невырожденной симметрической билинейной формы;

Тип - алгебра линейных преобразований пространства k2n, кососимметрических относительно заданной невырожденной кососимметрической билинейной формы;

Тип - алгебра линейных преобразований пространства k2n, кососимметрических относительно заданной невырожденной симметрической билинейной формы;

Простые алгебры Ли, отвечающие корневым системам типов E6, E7, Е 8, F4, G2, наз. особыми, или исключительными (см. Ли особая алгебра).

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

Классификация расщепляемых Ли п. а. над произвольным полем kхарактеристики 0 (расщепляемой наз. Ли п. а. обладающая такой подалгеброй Картана что все характеристич. корни операторов ad X,лежат в k).выглядит аналогично случаю алгебраически замкнутого поля. А именно, каждой неприводимой приведенной корневой системе соответствует единственная расщепляемая Ли п. а. В частности, расщепляемые Ли п. а. типов А -D имеют указанный выше вид с той разницей, что в случаях Ви Dнужно рассматривать невырожденные симметрические билинейные формы индекса Витта п.

Проблема классификации произвольных Ли п. а. над kсводится к следующей задаче: перечислить с точностью до изоморфизма все k-формы т. е. такие k-подалгебры Здесь К - алгебраически замкнутое расширение поля k, а - заданная Ли п. а. над К. Решение этой задачи также можно получить в терминах корневых систем (см. Форма алгебраической группы). В случае, когда - классическая простая алгебра Ли над k(отличная от D4), существует другой метод классификации k-форм в основанный на рассмотрении простых ассоциативных алгебр (см. [3]).

В случае, когда классификация Ли п. а. выглядит следующим образом (см. [6], [7],[8]). Всякая простая неабелева алгебра Ли над R либо является простой алгеброй Ли над (рассматриваемой как алгебра над ), либо есть вещественная форма простой алгебры Ли над Классификация вещественных форм

в простых классич. алгебрах Ли над С имеет следующий вид. "I. Тип

четно, - подалгебра элементов из сохраняющих нек-рую кватернионную структуру.

- подалгебра элементов из кососимметрических относительно невырожденной эрмитовой формы положительного индекса р, II. Тип

- алгебра линейных преобразований пространства кососимметрических относительно невырожденной симметрической билинейной формы положительного индекса р, III. Тип

- алгебра линейных преобразований пространства кососимметрических относительно невырожденной кососимметрической билинейной формы.

- подалгебра в состоящая из преобразований, сохраняющих нек-рую кватернионную структуру. IV. Тип

- алгебра линейных преобразований пространства кососимметрических относительно невырожденной билинейной симметрич. формы положительного индекса р,

-подалгебра в

состоящая из преобразований, сохраняющих нек-рую кватернионную структуру. Ли п. а. над полем были впервые рассмотрены в работах В. Киллинга [1], к-рый дал их классификацию, хотя в его доказательствах имелись пробелы, восполненные Э. Картаном [2]. Уже в работах В. Киллинга и Э. Картана появились корни алгебры Ля как характеристич. корни оператора ad X. Э. Картан дал также классификацию вещественных Л. п. а., установив глубокую связь между этими алгебрами и глобально симметрическими римановыми пространствами.

Лит.:[1] Killing W., "Math. Ann.", 1888, Bd 31, S. 252 - 90; 1889, Bd 3,3, S. 1 - 48, Bd 34, S. 57-122; 1890, Bd 36, S. 161-89; [2] С а г t a n E., CEuvres completes, pt. 1, t. 1, P., 1952, p. 137-287; [3] Д ж е к о б с о н Н., Алгебры Ли, пер. с англ., М., 1964; [4] С е р р Ж.-П., Алгебры Ли и группы Ли, пер. с англ. и франц., М., 1969; [5] Стейнберг Р., Лекции о группах Шевалле, пер. с англ., М., 1975; [6] X е л г а с о н С., Дифференциальная геометрия и симметрические пространства, пер. с англ., М., 1964; [7] Helgason S., Differential geometry, Lie groups, and symmetric spaces, N. Y.- San Francisco - L., 1978; [8] Араки Ш., "Математика", 1966, т. 10, № 1, c. 90 - 126. А. Л. Онищик.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ЛИ ПОЛУПРОСТАЯ АЛГЕБРА" в других словарях:

  • ПОЛУПРОСТАЯ АЛГЕБРА — относительно радикала r алгебра, являющаяся r полупростым кольцом (см. Полупростое кольцо). В нек рых классах алгебр при подходящем выборе радикала rудается описать строение П. а. (см. Классически полупростое кольцо, Альтернативные кольца и… …   Математическая энциклопедия

  • АЛГЕБРА ФУНКЦИИ — полупростая коммутативная банахова алгебра А , реализованная в виде алгебры непрерывных функций на пространстве максимальных идеалов. Если и f нек рая функция, определенная на спектре элемента а(т. е. на множестве значений функции есть нек рая… …   Математическая энциклопедия

  • Алгебра Хопфа — Алгебра Хопфа  алгебра, являющаяся унитарной ассоциативной коалгеброй и, таким образом, биалгеброй c антигомоморфизмом специального вида. Названа в честь Х. Хопфа. Алгебры Хопфа встречаются в алгебраической топологии, где они возникли в… …   Википедия

  • АЛГЕБРА — часть математики, посвященная изучению алгебраических операций. Исторический очерк. Простейшие алгебраич. операции арифметич. действия над натуральными и положительными рациональными числами встречаются в самых ранних математич. текстах,… …   Математическая энциклопедия

  • ПОЛУПРОСТАЯ АЛГЕБРАИЧЕСКАЯ ГРУППА — связная линейная алгебраич. группа положительной размерности, содержащая лишь тривиальные разрешимые (или, что равносильно, абелевы) связные замкнутые нормальные подгруппы. Факторгруппа связной неразрешимой линейной алгебраич. группы по радикалу… …   Математическая энциклопедия

  • ПОЛУПРОСТАЯ МАТРИЦА — квадратная матрица над полем F, подобная матрице вида diag [d1, ..., dl], где dj матрица над Fс неприводимым в F[х]характеристическим многочленом, j=1, ..., k. Для матрицы Анад полем Fследующие три утверждения эквивалентны: (1) Аполупроста; (2)… …   Математическая энциклопедия

  • ЛИ ПОЛУПРОСТАЯ ГРУППА — связная группа Ли, не содержащая нетривиальных связных разрешимых (или, что равносильно, связных абелевых) нормальных делителей. Связная группа Ли пелупроста тогда и только тогда, когда ее алгебра Ли полупроста. Связная группа Ли Gназ. п р о с т… …   Математическая энциклопедия

  • ЛИ АЛГЕБРА — лиева алгебра, унитарный k модуль Lнад коммутативным кольцом k с единицей, к рый снабжен билинейным отображением прямого произведения в L, обладающим следующими двумя свойствами: 1) [ х, х] = 0 (откуда вытекает антикоммутативность 2) ( х,[ у,… …   Математическая энциклопедия

  • ЛИ ОСОБАЯ АЛГЕБРА — простая алгебра Ли (см. Ли полупростая алгебра), не являющаяся классической. Над алгебраически замкнутым полем нулевой характеристики существует всего 5 Ли о. а.: Е 6, Е 7, E8, F4 н G2 размерностей 78, 133, 248, 52 и 14 соответственно. Индексы в… …   Математическая энциклопедия

  • ЙОРДАНОВА АЛГЕБРА — алгебра, в к рой справедливы тождества 4 Такие алгебры впервые возникли в работе П. Йордана [1], посвященной аксиоматизации основ квантовой механики (см. также [2]), а затем нашли применения в алгебре, анализе и геометрии. Пусть А ассоциативная… …   Математическая энциклопедия