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

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

Матриця Картана алгебри Лі Редагувати

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

Симетрична, невироджена білінійна форма називається формою Кіллінга. Її обмеження на підалгебру Картана є додатноозначеною білінійною формою. Можна ввести лінійний функціонал як

для елемента . Звідси одержується ізоморфізм векторних просторів і скалярний добуток на , визначений як .

Існує однозначно визначена скінченна множина лінійних функціоналів таких що

де

і є підпросторами розмірності 1. Елементи множини називаються коренями. Існують підмножини такі, що всі корені є лінійними комбінаціями елементів із із цілими коефіцієнтами і до того ж для кожного кореня або всі коефіцієнти у лінійній комбінації є додатними або всі відємними. Множина називається множиною простих або фундаментальних коренів і її елементи утворюють базис простору двоїстого до підалгебри Картана .

Матриця Картана алгебри Лі за означенням є матрицею із коефіцієнтами .

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

Приклади Редагувати

є єдиною матрицею Картана розмірності .
є матрицею Картана двовимірної спеціальної лінійної алгебра Лі.

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

Властивості Редагувати

Нехай матриця Картана напівпростої алгебри Лі. Тоді:

для всіх .
тоді і тільки тоді, коли
для всіх
Якщо то

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

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

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

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

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

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

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

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

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

	,	,	,	,
n+1	2	2	4	9-n	1	1

Теорема про існування Редагувати

Для кожної матриці Картана із наведеного вище списку існує єдина (з точністю до ізоморфізму) скінченновимірна проста алгебра Лі. Це твердження часто називається теоремою про існування. Її можна отримати із вільної алгебри Лі із генераторами із додаванням співвідношень:

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

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

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

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

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

Матриці Картана можна класифікувати за допомогою діаграм Динкіна. Для будь-якої матриці Картана розмірності будується граф із вершинами Дві вершини і сполучаються ребрами. Якщо і пов'язуються більш ніж одним ребром, то додатково малюється стрілка > у напрямку вершини для якої .

З діаграми Дінкіна можна однозначно відновити матрицю Картана. На малюнку зображені всі зв'язані діаграми Динкіна для нерозкладних матриць Картана .

Примітки Редагувати

Roger Carter: Lie Algebras of Finite and Affine Type, Cambridge studies in advanced mathematics 96 (2005), ISBN 978-0-521-85138-1, Розділ 6.1: The Cartan matrix
Roger Carter: Lie Algebras of Finite and Affine Type, Cambridge studies in advanced mathematics 96 (2005), ISBN 978-0-521-85138-1, Теорема 10.18
Roger Carter: Lie Algebras of Finite and Affine Type, Cambridge studies in advanced mathematics 96 (2005), ISBN 978-0-521-85138-1, Розділ 6.4: Classification of Cartan matrices
Roger Carter: Lie Algebras of Finite and Affine Type, Cambridge studies in advanced mathematics 96 (2005), ISBN 978-0-521-85138-1, Розділ 7.5: The existence theorem
Roger Carter: Lie Algebras of Finite and Affine Type, Cambridge studies in advanced mathematics 96 (2005), ISBN 978-0-521-85138-1, Розділ 6.4: Classification Cartan matrices

Див. також Редагувати

[1] Roger Carter: Lie Algebras of Finite and Affine Type, Cambridge studies in advanced mathematics 96 (2005), ISBN 978-0-521-85138-1, Розділ 6.1: The Cartan matrix

[2] Roger Carter: Lie Algebras of Finite and Affine Type, Cambridge studies in advanced mathematics 96 (2005), ISBN 978-0-521-85138-1, Теорема 10.18

[3] Roger Carter: Lie Algebras of Finite and Affine Type, Cambridge studies in advanced mathematics 96 (2005), ISBN 978-0-521-85138-1, Розділ 6.4: Classification of Cartan matrices

[4] Roger Carter: Lie Algebras of Finite and Affine Type, Cambridge studies in advanced mathematics 96 (2005), ISBN 978-0-521-85138-1, Розділ 7.5: The existence theorem

[5] Roger Carter: Lie Algebras of Finite and Affine Type, Cambridge studies in advanced mathematics 96 (2005), ISBN 978-0-521-85138-1, Розділ 6.4: Classification Cartan matrices