Форма Киллинга

Форма Киллинга — симметричная билинейная форма на алгебре Ли определённого типа.

История

Форма Киллинга была введена  Картаном в его диссертации. Название «форма Киллинга» впервые ввёл Борель в 1951 году в честь Вильгельма Киллинга. В 2001 году он заявил, что не помнит, почему он выбрал именно это название и утверждает, что было бы более правильным называть её «формой Картана».

Определение

Рассмотрим алгебру Ли $𝔤$ над полем $K$. Каждый элемент $x$ из $𝔤$ определяет эндоморфизм ${\mathrm{a}\mathrm{d}}_x:𝔤\to 𝔤$

${\mathrm{a}\mathrm{d}}_x:z\mapsto [x,z],$

где $[*,*]$ — скобка Ли. Предположим, что $𝔤$ имеет конечную размерность. Тогда след композиции таких эндоморфизмов определяет симметричную билинейную форму

$B(x,y)=\mathrm{t}\mathrm{r}\mathrm{a}\mathrm{c}\mathrm{e}({\mathrm{a}\mathrm{d}}_x\circ {\mathrm{a}\mathrm{d}}_y)$

со значениями в $K$. Эта форма $B$ и называется формой Киллинга на $𝔤$.

Свойства

• Форма Киллинга является билинейной и симметричной.
• Форма Киллинга является инвариантной формой, то есть

  $B([x,y],z)=B(x,[y,z]),$

где $[*,*]$ — скобка Ли.

• Если $𝔤$ является простой алгеброй Ли, то любая инвариантная симметричная билинейная форма на $𝔤$ пропорциональна форме Киллинга.
• Форма Киллинга также инвариантна относительно автоморфизмов алгебры Ли, то есть

  $B(s(x),s(y))=B(x,y)$

где $s\in Aut(𝔤)$.

• В частности, левоинвариантное поле форм на соответствующей группе Ли, совпадающее с $B$ в единице, является также правоинвариантным, и значит биинвариантным.

• Критерий Картана гласит, что алгебра Ли полупроста тогда и только тогда, когда форма Киллинга является невырожденной.
• Форма Киллинга нильпотентной алгебры является тождественным нулем.
• Если $I$ и $J$ — два идеала в алгебре Ли $𝔤$ с нулевым пересечением, тогда $I$ и $J$  образуют ортогональные подпространства по отношению к форме Киллинга.
• Ортогональное дополнение относительно идеала по отношению к форме Киллинга также является идеалом.
• Если алгебра Ли является прямой суммой своих идеалов, то её форма Киллинга является прямой суммой форм Киллинга на отдельных слагаемых.

См. также

• Инвариант Казимира