Матриця Картана

Матрицями Картана називаються матриці, що мають широке застосування у теорії алгебр Лі зокрема у класифікації напівпростих алгебр Лі.

Матриця Картана алгебри Лі

Нехай $L$ скінченновимірна напівпроста алгебра Лі над алгебрично замкнутим полем характеристики 0, $H$ її підалгебра Картана. Для $x\in L$ використовується стандартне позначення приєднаного представлення

$\mathrm{a}\mathrm{d}x:L\to L,y\mapsto [x,y]$.

Симетрична, невироджена білінійна форма $⟨x,y⟩:=\mathrm{T}\mathrm{r}((\mathrm{a}\mathrm{d}x)(\mathrm{a}\mathrm{d}y))$ називається формою Кіллінга. Її обмеження на підалгебру Картана $H$ є додатноозначеною білінійною формою. Можна ввести лінійний функціонал $\alpha \in H^{*}$ як

${\alpha }_x:H\to 𝔽,y\mapsto ⟨x,y⟩$

для елемента $x\in H$. Звідси одержується ізоморфізм векторних просторів $\iota :H\to H^{*},x\mapsto {\alpha }_x$ і скалярний добуток на $H^{*}$, визначений як $⟨\alpha ,\beta ⟩:=⟨{\iota }^{-1}(\alpha ),{\iota }^{-1}(\beta )⟩$.

Існує однозначно визначена скінченна множина $\mathrm{\Phi }\subset H^{*}\setminus \{0\}$ лінійних функціоналів $\alpha :H\to 𝔽$ таких що

$L=H\oplus \sum _{\alpha \in \mathrm{\Phi }}{L}_{\alpha }$

де

$L_{\alpha }:=\{x\in L|\mathrm{\forall }h\in H:\mathrm{\exists }n\in \mathbb{N}:(\mathrm{a}\mathrm{d}h-\alpha (h){\mathrm{i}\mathrm{d}}_H{)}^{n}x=0\}$

і $L_{\alpha }$ є підпросторами розмірності 1. Елементи множини $\mathrm{\Phi }$ називаються коренями. Існують підмножини ${\mathrm{\Phi }}_0\subset \mathrm{\Phi }$ такі, що всі корені $\alpha \in \mathrm{\Phi }$ є лінійними комбінаціями елементів із ${\mathrm{\Phi }}_0$ із цілими коефіцієнтами і до того ж для кожного кореня або всі коефіцієнти у лінійній комбінації є додатними або всі відємними. Множина ${\mathrm{\Phi }}_0=\{{\alpha }_1,\dots ,{\alpha }_l\}$ називається множиною простих або фундаментальних коренів і її елементи утворюють базис простору двоїстого до підалгебри Картана $H$.

Матриця Картана алгебри Лі за означенням є матрицею із коефіцієнтами $A_{i,j}:=2\frac{⟨{\alpha }_i,{\alpha }_j⟩}{⟨{\alpha }_i,{\alpha }_i⟩},i,j=1,\dots l$.

Дві матриці Картана називаються еквівалентними, якщо одна одержується з іншої перестановкою фундаментальних коренів. Клас еквівалентності матриці Картана напівпростої алгебри Лі не залежить від вибору підалгебри Картана чи вибору підмножини ${\mathrm{\Phi }}_0\subset \mathrm{\Phi }$ фундаментальних коренів.

Приклади

• $(2)$ є єдиною матрицею Картана розмірності $1\times 1$.
• $\left(\begin{array}{cc}2& -1\\ -1& 2\end{array}\right)$ є матрицею Картана двовимірної спеціальної лінійної алгебра Лі.

Інші приклади є у розділі класифікації матриць Картана напівпростих Алгебр Лі.

Властивості

Нехай $A=(A_{i,j}{)}_{i,j}$ матриця Картана напівпростої алгебри Лі. Тоді:

• $A_{i,i}=2$   для всіх   $i$.
• $A_{i,j}=0$   тоді і тільки тоді, коли   $A_{j,i}=0$
• $A_{i,j}\in \{0,-1,-2,-3\}$   для всіх   $i=j$
• Якщо $A_{i,j}\in \{-2,-3\}$   то   $A_{j,i}=-1$

• $A$ є невиродженою і обернена матриця має невід'ємні раціональні коефіцієнти.
• Існують діагональна матриця $D$ і симетрична матриця $B$ для яких $A=DB$.

Нерозкладні матриці Картана

Якщо матриця Картана алгебри Лі $L$ є еквівалентною матриці виду

$\left(\begin{array}{cc}{A}_1& 0\\ 0& A_2\end{array}\right)$

для деяких матриць $A_1$ і $A_2$ меншої розмірності, то матриця Картана називається розкладною. Матриці $A_1$ і $A_2$ є матрицями Картана і алгебра Лі $L$ є прямою сумою ідеалів $L=L_1\oplus L_2$ де $A_i$ є матрицею Картана $L_i$.

Нерозкладні матриці Картана відповідають простим алгебрам Лі. Більш точно скінченновимірні прості алгебри Лі мають еквівалентні нерозкладні матриці Картана і вони відповідають ізоморфним простим алгебрам Лі.

Класифікація нерозкладних матриць Картана

Для нерозкладних матриць Картана над алгебрично замкнутим полем характеристики 0 відома вичерпна класифікація із якої одержується також класифікація скінченновимірних простих алгебр Лі над такими ж полями.

Класифікація розбиває всі такі матриці на 4 послідовності A_n, B_n, C_n, D_n, і пять окремих матриць:

$A_n=\left(\begin{array}{ccccccccc}2& -1& & & & & & & \\ -1& 2& -1& & & & & & \\ & -1& 2& -1& & & & & \\ & & -1& \cdot & \cdot & & & & \\ & & & \cdot & \cdot & \cdot & & & \\ & & & & \cdot & \cdot & -1& & \\ & & & & & -1& 2& -1& \\ & & & & & & -1& 2& -1\\ & & & & & & & -1& 2\end{array}\right)n\ge 1$

$B_n=\left(\begin{array}{ccccccccc}2& -1& & & & & & & \\ -1& 2& -1& & & & & & \\ & -1& 2& -1& & & & & \\ & & -1& \cdot & \cdot & & & & \\ & & & \cdot & \cdot & \cdot & & & \\ & & & & \cdot & \cdot & -1& & \\ & & & & & -1& 2& -1& \\ & & & & & & -1& 2& -1\\ & & & & & & & -2& 2\end{array}\right)n\ge 2$

$C_n=\left(\begin{array}{ccccccccc}2& -1& & & & & & & \\ -1& 2& -1& & & & & & \\ & -1& 2& -1& & & & & \\ & & -1& \cdot & \cdot & & & & \\ & & & \cdot & \cdot & \cdot & & & \\ & & & & \cdot & \cdot & -1& & \\ & & & & & -1& 2& -1& \\ & & & & & & -1& 2& -2\\ & & & & & & & -1& 2\end{array}\right)n\ge 3$

$D_n=\left(\begin{array}{cccccccccc}2& -1& & & & & & & & \\ -1& 2& -1& & & & & & & \\ & -1& 2& -1& & & & & & \\ & & -1& \cdot & \cdot & & & & & \\ & & & \cdot & \cdot & \cdot & & & & \\ & & & & \cdot & \cdot & -1& & & \\ & & & & & -1& 2& -1& & \\ & & & & & & -1& 2& -1& -1\\ & & & & & & & -1& 2& \\ & & & & & & & -1& & 2\end{array}\right)n\ge 4$

$E_6=\left(\begin{array}{cccccc}2& -1& & & & \\ -1& 2& -1& & & \\ & -1& 2& -1& -1& \\ & & -1& 2& & \\ & & -1& & 2& -1\\ & & & & -1& 2\end{array}\right)$

$E_7=\left(\begin{array}{ccccccc}2& -1& & & & & \\ -1& 2& -1& & & & \\ & -1& 2& -1& & & \\ & & -1& 2& -1& -1& \\ & & & -1& 2& & \\ & & & -1& & 2& -1\\ & & & & & -1& 2\end{array}\right)$

$E_8=\left(\begin{array}{cccccccc}2& -1& & & & & & \\ -1& 2& -1& & & & & \\ & -1& 2& -1& & & & \\ & & -1& 2& -1& & & \\ & & & -1& 2& -1& -1& \\ & & & & -1& 2& & \\ & & & & -1& & 2& -1\\ & & & & & & -1& 2\end{array}\right)$

$F_4=\left(\begin{array}{cccc}2& -1& & \\ -1& 2& -1& \\ & -2& 2& -1\\ & & -1& 2\end{array}\right)$

$G_2=\left(\begin{array}{cc}2& -1\\ -3& 2\end{array}\right)$

Визначники відповідних матриць Картана наведені у таблиці:

$A_n$	$B_n$, $n\ge 2$	$C_n$, $n\ge 2$	$D_n$, $n\ge 4$	$E_n$, $n\ge 5$	$F_4$	$G_2$
n+1	2	2	4	9-n	1	1

Теорема про існування

Для кожної матриці Картана $A=(A_{i,j}{)}_{i,j}$ із наведеного вище списку існує єдина (з точністю до ізоморфізму) скінченновимірна проста алгебра Лі. Це твердження часто називається теоремою про існування. Її можна отримати із вільної алгебри Лі із генераторами $\{e_1,\dots ,e_n,h_1,\dots ,h_n,f_1,\dots ,f_n\}$ із додаванням співвідношень:

$[h_i,h_j]$

$[h_i,e_j]-A_{i,j}{e}_j$

$[h_i,f_j]+A_{i,j}{f}_j$

$[e_i,f_i]-h_i$

$[e_i,f_j]$   для   $i=j$

$[e_i,[e_i[\dots [e_i,e_j]]]]$   для $i=j$ і для $1-A_{i,j}$ входжень елемента $e_i$ у формулі

$[f_i,[f_i[\dots [f_i,f_j]]]]$   для $i=j$ і для $1-A_{i,j}$ входжень елемента $f_i$ у формулі.

Дані співвідношення називаються співвідношеннями Серра. Для кожного класу еквівалентності нерозкладних матриць Картана побудована за такими співвідношеннями алгебра Лі буде скінченновимірною простою і вихідна матриця буде її матрицею Картана.

Для загальної матриці Картана внаслідок такої побудови одержується напівпроста алгебра Лі.

Більш загально якщо матриця (яку теж часто називають матрицею Картана) задовольняє лише перші дві властивості зі списку, а замість двох наступних вимагається лише те, що всі недіагональні елементи є недодатними цілими числами, то для неї теж можна побудувати алгебру Лі за тою ж схемою із породжуючими елементами і співвідношеннями. Одержана внаслідок такої побудови алгебра Лі буде скінченновимірною тоді і лише тоді, коли вихідна матриця є матрицею Картана напівпростої алгебри Лі.

Зв'язок із діаграмами Динкіна

зв'язані діаграми Динкіна

Матриці Картана можна класифікувати за допомогою діаграм Динкіна. Для будь-якої матриці Картана $A=(A_{i,j}{)}_{i,j}$ розмірності $n$ будується граф із $n$ вершинами $\{x_1,\dots ,x_n\}.$ Дві вершини $x_i$ і $x_j$ сполучаються $A_{i,j}{A}_{j,i}$ ребрами. Якщо $x_i$ і $x_j$ пов'язуються більш ніж одним ребром, то додатково малюється стрілка > у напрямку вершини $x_j$ для якої $|A_{j,i}|>|A_{i,j}|$.

З діаграми Дінкіна можна однозначно відновити матрицю Картана. На малюнку зображені всі зв'язані діаграми Динкіна для нерозкладних матриць Картана $A_n,B_n,C_n,D_n,E_6,E_7,E_8,F_4,G_2$.

Див. також

• Напівпроста алгебра Лі
• Система коренів