Критерий Картанса - Википедия - Cartans criterion

В математика, Критерий Картана дает условия для Алгебра Ли в характеристике 0 быть разрешимый, откуда следует родственный критерий того, что алгебра Ли полупростой. Он основан на понятии Форма убийства, а симметричная билинейная форма на определяется формулой

где tr обозначает след линейного оператора. Критерий был введен Эли Картан  (1894 ).[1]

Критерий разрешимости Картана

Критерий Картана гласит:

Подалгебра Ли эндоморфизмов конечномерного векторного пространства над поле из характеристика ноль разрешимо тогда и только тогда, когда в любое время

Дело в том, что в разрешимом случае следует из Теорема Ли это ставит в верхнем треугольнике над алгебраическим замыканием основного поля (след можно вычислить после расширения основного поля). Обратное можно вывести из критерий нильпотентности на основе Разложение Жордана – Шевалле (для доказательства перейдите по ссылке).

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

Конечномерная алгебра Ли через поле из характеристика ноль разрешимо тогда и только тогда, когда (где K - форма Киллинга).

Критерий Картана полупростоты

Критерий Картана для полупростоты утверждает:

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

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

Наоборот, из критерия разрешимости Картана легко следует, что полупростая алгебра (в характеристике 0) имеет невырожденную форму Киллинга.

Примеры

Критерии Картана не имеют характеристики ; Например:

  • алгебра Ли просто, если k имеет характеристику, отличную от 2, и имеет исчезающую форму Киллинга, хотя имеет ненулевую инвариантную билинейную форму, заданную формулой .
  • алгебра Ли с базисом за и скобка [ая,аj] = (яj)ая+j просто для но не имеет ненулевой инвариантной билинейной формы.
  • Если k имеет характеристику 2, то полупрямое произведение gl2(k).k2 является разрешимой алгеброй Ли, но форма Киллинга не является тождественно нулевой на производной алгебре sl2(k).k2.

Если конечномерная алгебра Ли нильпотентна, то форма Киллинга тождественно равна нулю (и вообще форма Киллинга равна нулю на любом нильпотентном идеале). Обратное неверно: существуют ненильпотентные алгебры Ли, у которых форма Киллинга равна нулю. Примером является полупрямое произведение абелевой алгебры Ли V с одномерной алгеброй Ли, действующей на V как эндоморфизм б такой, что б не является нильпотентным и Tr (б2)=0.

В характеристике 0 любая редуктивная алгебра Ли (представляющая собой сумму абелевой и простой алгебр Ли) имеет невырожденную инвариантную симметрическую билинейную форму. Однако обратное неверно: алгебра Ли с невырожденной инвариантной симметрической билинейной формой не обязательно должна быть суммой простых и абелевых алгебр Ли. Типичный контрпример: грамм = L[т]/тпL[т] куда п>1, L простая комплексная алгебра Ли с билинейной формой (,), а билинейная форма на грамм дается как коэффициент при тп−1 из C[т] -значная билинейная форма на грамм индуцированный формой на L. Билинейная форма невырождена, но алгебра Ли не является суммой простых и абелевых алгебр Ли.

Примечания

  1. ^ Картан, Чапитр IV, Теорема 1

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

  • Картан, Эли (1894), Sur la structure des groupes de transformations finis et continus, Диссертация, Nony
  • Дьедонне, Жан (1953), "О полупростых алгебрах Ли", Труды Американского математического общества, 4: 931–932, Дои:10.2307/2031832, ISSN  0002-9939, JSTOR  2031832, МИСТЕР  0059262
  • Серр, Жан-Пьер (2006) [1964], Алгебры Ли и группы Ли, Конспект лекций по математике, 1500, Берлин, Нью-Йорк: Springer-Verlag, Дои:10.1007/978-3-540-70634-2, ISBN  978-3-540-55008-2, МИСТЕР  2179691

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