Теорема Лі

Теорема Лі — твердження в теорії алгебр Лі про властивості розв'язних алгебр Лі ендоморфізмів скінченновимірного векторного простору.

Твердження

Нехай L — розв'язна підалгебра Лі в $𝔤𝔩(V)$, де простір V є скінченновимірним над алгебрично замкнутим полем характеристики 0 і не рівний нульовому простору. Тоді V містить спільний власний вектор для всіх ендоморфізмів з L. Як наслідок в деякому базисі простору матриці елементів з L є верхніми трикутними (чи, еквівалентно, L відображає в себе деякий повний прапор підпросторів V).

Доведення

Застосуємо індукцію по розмірності L. Випадок $\dim L=0$ є тривіальним.

Оскільки підалгебра L є розв'язною і її розмірність є додатною, L строго включає [L, L]. Алгебра L/[L, L] є комутативною і тому будь-який підпростір у ній є ідеалом. Візьмемо в ній підпростір корозмірності 1, тоді його прообраз К — ідеал корозмірності 1 в L (що містить [L, L]).

За припущенням існує спільний власний вектор $v\in V$ для К (зрозуміло, що ідеал К є розв'язним; якщо К = 0, то алгебра L є комутативною розмірності 1 і будь-який власний вектор для базисного елемента з L дозволяє завершити доведення). Це означає, що для $x\in K$ буде виконуватися рівність $xv=\lambda (x)v,$ де $\lambda :K\to F$ — деяка лінійна функція. Зафіксуємо x і позначимо через W (ненульовий) підпростір

$\{w\in W:xw=\lambda (x)w,\mathrm{\forall }x\in K\}.$

Підпростір W є інваріантним при дії алгебри L. Нехай $w\in W,x\in L$. Щоб перевірити, що xw належить W, візьмемо довільний елемент $y\in K$ і розглянемо вираз $yxw=xyw-[x,y]w=\lambda (y)xw-\lambda ([x,y])w$. Очевидно достатньо довести, що $\lambda ([x,y])=0$. Для цього зафіксуємо $w\in W,x\in L.$ Нехай n > 0 — найменше ціле число, для якого $w,xw,...,x^{n}w$ є лінійно залежними. Нехай $W_i$ — підпростір у V, породжений елементами $w,xw,...,x^{i-1}w$ (також $W_0=0$), так що $\dim W_n=n,W_n=W_{n+i}(i⩾0)$ і x відображає $W_n$ у $W_n.$ Легко перевірити, що будь-який елемент $y\in K$ залишає кожен підпростір $W_i$ інваріантним. В базисі $w,xw,...,x^{n-1}w$ простору $W_n$ елемент $y\in K$ представляється верхньою трикутною матрицею з $\lambda (y)$ на діагоналі. Це випливає з порівнянь

$y{x}^{i}w=\lambda (y)x^{i}wmod{W}_i,$,

які можна довести індукцією по i. Випадок i = 0 очевидний. Ми маємо $y{x}^{i}w=yx{x}^{i-1}w=xy{x}^{i-1}w-[x,y]x^{i-1}w.$ За припущенням індукції

$y{x}^{i-1}w=\lambda (y)x^{i-1}w+w^{\prime }(w^{\prime }\in W_{i-1})$.

Оскільки x відображає $W_{i-1}$ в $W_i$ порівняння є правильними для всіх i. Згідно з визначенням дії елемента $y\in K$ на просторі $W_n$, ми маємо ${\mathrm{Tr}}_{W_n}(y)=n\lambda (y).$ Зокрема, це є вірним для елементів з К виду [x, y] (Елемент x такий же, як вище, $y\in K$ ). Але як x, так і y зберігають $W_n,$ тому [x, y] діє на $W_n$ як комутатор двох його ендоморфізмів і тому його слід дорівнює нулю. Звідси випливає, що $n\lambda ([x,y])=0.$ Оскільки $\mathrm{char}F=0,$ то $\lambda ([x,y])=0,$ що завершує доведення інваріантності підпростору W щодо дії алгебри L.

Записавши $L=K+Fz$ і використовуючи алгебричну замкнутість поля F, знайдемо власний вектор $v_0\in W$ для z (що відповідає деякому його власному значенню). Тоді $v_0,$ очевидно, є власним вектором для всієї алгебри L і $\lambda$ можна продовжити до лінійної функції на L з умовою $x{v}_0=\lambda (x)v_0,x\in L.$

Наслідки

Нехай алгебра L є розв'язною. Тоді існує така послідовність ідеалів L, $0=L_0\subset L_1\subset ...\subset L_n=L,$ що $\dim L_i=i.$

Нехай L — довільна розв'язна алгебра Лі, $\rho :L\to 𝔤𝔩(V)$ — її скінченновимірне представлення. Тоді алгебра $\rho (L)$ теж є розв'язною і тому зберігає деякий прапор. Зокрема якщо розглядати приєднане представлення, то прапор підпросторів, інваріантних щодо L, це ланцюжок ідеалів в L, кожен з яких має корозмірність один в наступному.

Нехай алгебра L є розв'язною. Тоді з того, що $x\in [L,L]$ випливає, що відображення ${\mathrm{ad}}_x$ є нільпотентним. Як наслідок, підалгебра [L, L] є нільпотентною.

Виберемо прапор ідеалів, як в попередньому наслідку. В базисі $(x_1,x_2,...,x_n)$ алгебри L, в якому елементи $(x_1,x_2,...,x_i)$ породжують $L_i$ матриці з ${\mathrm{ad}}_L$ є верхніми трикутними. Тому матриці з $[{\mathrm{ad}}_L,{\mathrm{ad}}_L]={\mathrm{ad}}_{[L,L]}$ є верхніми трикутними із нульовими діагональними елементами. Тобто ендоморфізм ${\mathrm{ad}}_x$ є нільпотентним ендоморфізмом простору L при $x\in [L,L].$ Звідси він також є нільпотентним на інваріантному підпросторі [L, L], тож алгебра [L, L] є нільпотентною згідно теореми Енгеля.

Див. також

• Верхня трикутна матриця
• Розв'язна алгебра Лі
• Теорема Енгеля

Література

• Шаблон:Cite book
• Шаблон:Cite book
• Шаблон:Citation