У математиці алгебра Лі — це векторний простір разом із операцією, яку називають дужкою Лі — антисиметричне білінійне відображення[en], , що задовольняє тотожність Якобі. Векторний простір з цією операцією не обов'язково є асоціативною алгеброю, тобто, дужка Лі не є обов'язково асоціативною.
Алгебри Лі тісно пов'язані з групами Лі, тобто групами, що також є гладкими многовидами: будь-якій групі Лі відповідає алгебра Лі, яка є її дотичним простором в одиниці. І навпаки, для будь-якої скінченновимірної алгебри Лі над дійсним або комплексним полем існує відповідна зв'язна група Лі, єдина з точністю до скінченних накриттів (третя теорема Лі[en]). Ця відповідність[en] дозволяє звести дослідження структури та класифікацію груп Лі відповідно до дослідження структури та класифікації алгебр Лі.
У фізиці групи Лі виникають як групи симетрії фізичних систем, а їх алгебри Лі можна розглядати як інфінітезимальні перетворення[en] симетрії з околу одиничного перетворення. Загалом, алгебри Лі та їх представлення широко використовуються у фізиці, зокрема в квантовій механіці та фізиці елементарних частинок.
Елементарним прикладом є тривимірний векторний простір з дужкою, визначеною як векторний добуток . Вона є антисиметричною, оскільки , і задовольняє тотожність Якобі:
Це алгебра Лі групи Лі обертань простору і кожен вектор може бути зображений як інфінітезимальний поворот навколо осі співнапрямленої з зі швидкістю, що дорівнює довжині . Також будь-який поворот комутує сам із собою, тому справедлива властивість альтернативності: . Значення дужки Лі двох поворотів рівне нулю тоді й лише тоді, коли такі повороти комутують. Тому говорять, що дужка Лі є мірою некомутативності поворотів.
Історія Редагувати
Алгебри Лі були запропоновані при дослідженні концепції інфінітезимальних перетворень[en] Маріусом Софусом Лі в 70-х роках XIX століття і незалежно перевідкриті Вільгельмом Кіллінгом[en] у 1880-х рр. Назва алгебра Лі була введена Германом Вейлем у 1930-х рр.; до цього використовувався термін інфінітезимальної групи.
Означення Редагувати
Означення алгебри Лі Редагувати
Алгебра Лі — це векторний простір над деяким полем разом із бінарною операцією , яка називається дужкою Лі, що задовольняє наступним аксіомам:
- Альтернативність[en]:
З використанням властивостей білінійності та альтернативності дужку Лі можна записати як для всіх елементів , з алгебри . Таким чином, з білінійності та альтернативності випливає
Якщо характеристика поля не дорівнює 2, то з антикомутативності випливає альтернативність, оскільки .
Алгебру Лі, як правило, позначають малими готичними літерами (фрактурами), наприклад, , , , . Якщо алгебра Лі пов'язана з групою Лі, то алгебра Лі позначається малими готичними літерами, що відповідають позначенням групи Лі, наприклад алгебра Лі групи Лі позначається як .
Генератори та розмірність Редагувати
Кажуть, що елементи алгебри Лі породжують[en] її, якщо вони утворюють найменшу підалгебру, яка містить ці елементи і співпадає з самою алгеброю . Розмірність алгебри Лі — це її розмірність як векторного простору над полем . Кардинальне число мінімальної породжувальної множини алгебри Лі завжди менша або дорівнює її розмірності.
Дивись класифікацію низькорозмірних дійсних алгебр Лі[en] для інших прикладів низькорозмірних алгебр Лі.
Підалгебри, ідеали та гомоморфізми Редагувати
Дужка Лі не обов’язково має бути асоціативною, тобто може і не дорівнювати . Однак, дужка Лі гнучка[en]. Тим не менш, значна частина термінології асоціативних кілець і алгебр зазвичай використовується в алгебрах Лі. Підалгебра Лі — підпростір , замкнений відносно дужки Лі. Ідеал — підалгебра, що задовольняє сильнішу умову:
Гомоморфізм алгебр Лі — це лінійне відображення базових векторних просторів, що узгоджене з відповідними дужками Лі:
для всіх . У випадку асоціативних кілець ядра гомоморфізмів є ідеалами. Також для заданої алгебри Лі та ідеалу в ній можна побудувати фактор-алгебру . Оскільки ядра гомоморфізмів є ідеалами, то для алгебр Лі має місце перша теорема про ізоморфізм.
Дужка Лі є різновидом інфінітезимального комутатора відповідної групи Лі, а тому два елементи називають комутуючими, якщо їх дужка Лі дорівнює 0: .
Централізатор підмножини — це множина комутуючих елементів з : тобто, . Централізатор є центром алгебри . Аналогічно, для підпростору нормалізатором множини є . Еквівалентно, якщо є підалгеброю Лі, то — це найбільша підалгебра така, що є ідеалом нормалізатора .
Приклади Редагувати
Розглянемо векторний простір матриць розміру з елементами з поля , . Комутатором двох матриць будемо називати матрицю , де позначає звичайний добуток матриць. Простір разом із комутатором утворює алгебру Лі.
Нехай є підмножиною , яка складається з діагональних матриць. Ця множина сама по собі є векторним підпростором простору і вона замкнена відносно комутатора, а значить є підалгеброю Лі . Комутатор двох елементів і має вигляд:
Отже, — підалгебра, але не ідеал. По суті, кожний одновимірний лінійний підпростір алгебри Лі має індуковану структуру абелевої алгебри Лі, яка у загальному випадку не є ідеалом. Для будь-якої простої алгебри Лі, усі її абелеві підалгебри Лі ніколи не є ідеалами.
Пряма сума та напівпрямий добуток Редагувати
Для двох алгебр Лі і їх пряма сума — векторний простір , що складається з усіх пар , , , з операцією
такою, що копії , комутують одна з одною: . Нехай — алгебра Лі, а — ідеал алгебри Лі . Якщо канонічне відображення розщеплюється (тобто допускає переріз), то алгебра називається напівпрямим добутком ідеалу і його доповнення, яке ізоморфне фактор-алгебрі ; записується як , де Дивись також параграф "Напівпряма сума алгебр Лі" нижче.
Згідно теореми Леві[en], скінченновимірна алгебра Лі є напівпрямим добутком її радикала і доповняльної підалгебри (підлгебра Леві[en]).
Диференціювання Редагувати
Диференціюванням в алгебрі Лі (або в будь-якій неасоціативній алгебрі[en] називається лінійне відображення , що задовольняє правилу Лейбніца[en], тобто,
для всіх . Внутрішнім диференціюванням, що пов'язане з будь-яким , є приєднане відображення , яке визначається наступним чином: . (Це диференціювання — наслідок тотожності Якобі). Зовнішні диференціювання — це диференціювання, які не можна отримати з приєднаного представлення алгебри Лі. Якщо алгебра — напівпроста, то всі диференціювання є внутрішніми.
Диференціювання утворюють векторний простір , який є підалгеброю алгебри , де дужка Лі — комутатор. Внутрішні диференціювання утворюють підалгебру алгебри .
Приклади Редагувати
Наприклад, на заданому ідеалі алгебри Лі приєднане представлення алгебри , де , діє як зовнішні диференціювання на ідеалі , оскільки для будь-якого і Ідеалом алгебри Лі верхньотрикутних матриць в є алгебра строго верхньотрикутних матриць (де ненульові елементи знаходяться лише вище діагоналі матриці). Оскільки комутатор довільних елементів з і дає
то звідси випливає, що існують внутрішні диференціювання алгебри , які є зовнішніми диференціюваннями алгебри
Розщеплені алгебри Лі Редагувати
Нехай — скінченновимірний векторний простір над полем , — алгебра Лі лінійних перетворень, — підалгебра Лі. Тоді алгебра Лі називається розщепленою, якщо корені характеристичних поліномів усіх лінійних перетворень в алгебрі належать базовому полю . У загальному випадку, скінченновимірна алгебра Лі називається розщепленою, якщо вона має підалгебру Картана, образ якої при приєднаному представленні є розщепленою алгеброю Лі. Розщеплена дійсна форма[en] комплексної напівпростої алгебри Лі (див. "Дійсна форма і комплексифікація" нижче) є прикладом розщепленої дійсної алгебри Лі. Дивись також статтю про розщеплені алгебри Лі[en] для додаткової інформації.
Базис векторного простору Редагувати
Для практичних обчислень пов'язаних із алгебрами Лі часто зручно вибирати явний базис векторного простору. Загальна конструкція для цього базису схематично описана в статті про структурні сталі[en].
Означення у рамках теоретико-категорного підходу Редагувати
Наведених вище означень достатньо для загальноприйнятого розуміння алгебр Лі. Але розгляд у формалізмі теорії категорій дозволяє детальніше дослідити властивості алгебр Лі. В рамках цього підходу алгебра Лі визначається в термінах лінійних відображень, тобто морфізмів категорії векторних просторів[en], без розгляду окремих елементів. (У цьому параграфі вважаємо, що поле, над яким визначається алгебра, має характеристику не рівну двом).
Для теоретико-категоріального означення алгебр Лі необхідні два завузлені ізоморфізми. Якщо — це векторний простір, то ізоморфізм перестановки визначається як
Циклічно-переставне завузлене відображення визначається як
де — тотожний морфізм. Еквівалентно, визначається як
За допомогою цього позначення алгебра Лі може бути визначена як об'єкт в категорії векторних просторів разом із морфізмом
що задовольняє два співвідношення для морфізму
Приклади Редагувати
Векторні простори Редагувати
Будь-який векторний простір з нульовою дужкою Лі є алгеброю Лі. Такі алгебри Лі називаються абелевими, див. нижче. Будь-яка одновимірна алгебра Лі над полем є абелевою з огляду на антисиметричність дужки Лі.
Асоціативна алгебра з комутативною дужкою Редагувати
- На асоціативній алгебрі над полем з множенням , дужка Лі може бути визначена за допомогою комутатора .
З цією дужкою алгебра є алгеброю Лі. Асоціативна алгебра називається обгортуючою алгеброю алгебри Лі . Будь-яку алгебру Лі можна вкласти в алгебру Лі, побудовану на асоціативній алгебрі (дивись про універсальну обгортуючу алгебру).
- Асоціативна алгебра ендоморфізмів[en] -векторного простору з наведеною вище дужкою Лі позначається як .
- Для скінченновимірного векторного простору , попередній приклад є саме алгеброю Лі матриць, яку позначають як або з дужкою , де — добуток матриць та .
Це алгебра Лі загальної лінійної групи, що складається із невироджених матриць.
Спеціальні матриці Редагувати
Двома важливими підалгебрами алгебри є:
- Матриці з нульовим слідом, що утворюють спеціальну лінійну алгебру Лі[en] — алгебра спеціальної лінійної групи .
- Косоермітові матриці утворюють унітарну алгебру Лі — алгебра Лі унітарної групи .
Матричні алгебри Лі Редагувати
Комплексна матрична група — група Лі, яка породжена матрицями , де множення в групі є множенням матриць. Відповідна алгебра Лі — це простір матриць, які є дотичними векторами до групи у лінійному просторі . Вона утворена похідними від гладких кривих в групі в одиничному елементі:
Дужка Лі алгебри визначається як комутатор матриць, . Для заданої алгебри Лі можна відновити відповідну групу Лі як образ матричної експоненти , яка визначається як що збігається для кожної матриці , тобто .
Нижче наведено приклади алгебр Лі матричних груп Лі:
- Спеціальна лінійна група , що складається з усіх матриць з визначником, який дорівнює 1.
Її алгебра Лі складається з усіх матриць з комплексними елементами і слідом, що рівний 0. Аналогічно можна визначити відповідну дійсну групу Лі і її алгебру Лі .
- Унітарна група складається з унітарних матриць, що задовольняє умову . Її алгебра Лі складається з косоермітових матриць, .
- Спеціальна ортогональна група утворена дійсними ортогональними матрицями з визначником, який дорівнює 1.
Її алгебра Лі складається з дійсних кососиметричних матриць, . Повна ортогональна група без умови рівності визначника 1 складається з групи і окремої зв'язної компоненти, тому вона має ту саму алгебру Лі як і група . Див. також інфінітезимальні обертання з кососиметричними матрицями. Аналогічно можна визначити версії цієї групи і алгебри над комплексним полем, дозволяючи матричним елементам бути комплексними числами.
Розмірність два Редагувати
- Над будь-яким полем існує, з точністю до ізоморфізму, єдина двовимірна неабелева алгебра Лі.
Для генераторів , їх дужка Лі визначається як . Вона породжує афінну групу розмірності один[en].
Цю групу можна реалізувати за допомогою матриць:
Оскільки
для будь-якого натурального числа і будь-якого числа , то отримані елементи групи Лі є верхньотрикутними матрицями з одиницею внизу діагоналі:
Розмірність три Редагувати
- Алгебра Гейзенберга[en] є тривимірною алгеброю Лі, породженою елементами , і з дужками Лі
Зазвичай, вона реалізується як простір строго верхньотрикутних матриць з базисом
Будь-який елемент групи Гейзенберга[en] має представлення у вигляді добутку групи генераторів, тобто експонент матриць відповідних генераторів алгебри Лі,
- Алгебра Лі групи — лінійна оболонка, що породжена трьома матрицями
Комутаційні відношення для цих генераторів наступні:
Тривимірний евклідів простір з дужкою Лі визначається векторним добутком векторів, що має ті самі комутаційні відношення, що й вище. Таким чином, він ізоморфний алгебрі . Ця алгебра Лі унітарно еквівалентна звичайним операторам спінових компонентів кутового моменту для частинок зі спіном 1 у квантовій механіці.
Нескінченновимірні алгебри Лі Редагувати
- У диференціальній топології виникає важливий клас нескінченновимірних дійсних алгебр Лі.
Простір гладких векторних полів на диференційовному многовиді утворює алгебру Лі, де дужка Лі визначається як комутатор векторних полів. Один зі способів представлення дужки Лі є використання похідних Лі, який ототожнює векторне поле з диференціальним оператором першого порядку , що діє на гладкі функції, тобто — похідна від функції за напрямком . Дужка Лі двох векторних полів — це векторне поле, визначене через його дію на функції за формулою
- Алгебри Каца-Муді — це великий клас нескінченновимірних алгебр Лі, структура яких дуже схожа на наведені вище скінченновимірні випадки.
- Алгебра Мояля — це нескінченновимірна алгебра Лі, що включає усі класичні алгебри Лі[en] як підалгебри.
- Алгебра Вірасора[en] має першочергове значення в теорії струн.
Представлення Редагувати
Основна стаття: Представлення алгебри Лі.
Означення Редагувати
Для заданого векторного простору через позначимо алгебру Лі, що складається з усіх лінійних ендоморфізмів простору , з дужкою Лі, визначеною як . Представлення алгебри Лі на векторному просторі — це гомоморфізм алгебри Лі
Представлення називається точним, якщо його ядро є нульовим. Відповідно до теореми Адо[en] будь-яка скінченновимірна алгебра Лі має точне представлення на скінченновимірному векторному просторі.
Приєднане представлення Редагувати
Для будь-якої алгебри Лі можна визначити представлення
що визначається як . Це представлення на векторному просторі називається приєднаним представленням.
Завдання теорії представлень Редагувати
Одним із важливих аспектів дослідження алгебр Лі (особливо для напівпростих алгебр Лі) є вивчення їх представлень. (Дійсно, більшість книг, представлених у списку літератури нижче, присвячують значну частину своїх сторінок теорії представлень.) Хоча теорема Адо є важливим результатом, але основне завдання теорії представлень не полягає в тому, щоб отримати точне представлення заданої алгебри Лі . Дійсно, для напівпростої алгебри Лі приєднане представлення вже є точним. Тому скоріше завдання полягає в тому, щоб зрозуміти всі можливі представлення алгебри з точністю до природного поняття еквівалентності. Згідно теореми Вейля[en], будь-яке скінченновимірне представлення напівпростої алгебри над полем характеристики 0 є прямою сумою незвідних представлень (тобто представлень, які не мають нетривіальних інваріантних підпросторів). У свою чергу, незвідні представлення класифікуються за допомогою теореми про найвищу вагу.
Теорія представлень у фізиці Редагувати
Теорія представлень алгебр Лі відіграє важливу роль у різних галузях теоретичної фізики, де розглядаються оператори на просторі станів, які задовольняють певним природним комутаційним співвідношенням. Ці комутаційні співвідношення зазвичай визначаються симетрією задач, зокрема, вони є співвідношеннями алгебри Лі відповідної групи симетрії. Прикладом можуть бути оператори кутового моменту, комутаційні співвідношення яких відповідають алгебрі Лі групи обертань . Як правило, простір станів дуже далекий від того, щоб бути незвідним відносно відповідних операторів, але можна спробувати розкласти його на незвідні частини. Для цього необхідно знати незвідні представлення заданої алгебри Лі. При дослідженні квантового атома водню, наприклад, підручники квантової механіки дають (не називаючи це так) класифікацію незвідних представлень алгебри Лі .
Структурна теорія та класифікація Редагувати
Алгебри Лі можна певною мірою класифікувати. Зокрема, така класифікація використовується при класифікації груп Лі.
Абелеві, нільпотентні і розв'язні алгебри Лі Редагувати
Аналогічно абелевим, нільпотентним і розв'язним групам, визначеним у термінах похідних підгруп, можна визначити абелеві, нільпотентні та розв'язні алгебри Лі.
Алгебра Лі називається абелевою, якщо дужка Лі нульова, тобто , для всіх і з алгебри . Абелеві алгебри Лі відповідають комутативним (або абелевим) зв'язним групам Лі, таким як векторні простори або тори , і всі простори вигляду , тобто -вимірні векторні простори з тривіальною дужкою Лі.
Більш загальний клас алгебр Лі визначається зануленням усіх комутаторів заданої довжини. Алгебра Лі називається нільпотентною, якщо нижній центральний ряд[en]
зрештою стає нульовим. За теоремою Енгеля, алгебра Лі нільпотентна тоді й лише тоді, коли для кожного з алгебри приєднаний ендоморфізм
є нільпотентним.
У більш загальному вигляді, алгебра Лі називається розв'язною, якщо похідний ряд
зрештою стає нульовим.
Будь-яка скінченновимірна алгебра Лі має єдиний максимальний розв'язний ідеал, який називається її радикалом[en]. З огляду на відповідність між групами і алгебрами Лі, нільпотентні (відповідно розв'язні) зв'язні групи Лі відповідають нільпотентним (відповідно розв'язним) алгебрам Лі.
Прості і напівпрості алгебри Лі Редагувати
Основна стаття: Напівпроста алгебра Лі
Алгебра Лі називається "простою[en]", якщо вона не має нетривіальних ідеалів і не є абелевою. (З цього випливає, що одновимірна (обов'язково абелева) алгебра Лі за означенням не є простою, навіть якщо вона не має нетривіальних ідеалів.) Алгебра Лі називається напівпростою, якщо вона ізоморфна прямій сумі простих алгебр. Існує декілька еквівалентних характеристик напівпростих алгебр, такі як відсутність ненульових розв'язних ідеалів.
Поняття напівпростоти для алгебр Лі тісно пов'язане з повною зведеністю (напівпростотою) їх представлень. Якщо основне поле має нульову характеристику, то будь-яке скінченновимірне представлення напівпростої алгебри Лі є напівпростим[en] (тобто прямою сумою незведених представлень). У загальному випадку, алгебру Лі називають редуктивною, якщо приєднане представлення є напівпростим. Таким чином, будь-яка напівпроста алгебра Лі є редуктивною.
Критерій Картана Редагувати
Критерій Картана[en] надає умови для того, щоб алгебра Лі була нільпотентною, розв'язною або напівпростою. Він базується на понятті форми Кіллінга, тобто симетричній білінійній формі на алгебрі , яка визначається за формулою
де — слід лінійного оператора. Алгебра Лі є напівпростою тоді й лише тоді, коли її форма Кіллінга є невиродженою[en]. Алгебра Лі розв'язна тоді й лише тоді, коли .
Класифікація Редагувати
Відповідно до розкладу Леві[en] довільну алгебру Лі можна представити майже канонічним способом як напівпряму суму її розв'язного радикала та напівпростої алгебри Лі. (Такий розклад існує для скінченновимірної алгебри Лі над полем характеристики 0.) Більш того, напівпрості алгебри Лі над алгебраїчно замкненим полем повністю прокласифіковано з використанням їх кореневих систем.
Зв'язок із групами Лі Редагувати
Основна стаття: Відповідність між групами Лі та алгебрами Лі[en]
Хоча алгебри Лі часто вивчаються самі по собі, історично вони виникли як інструмент дослідження груп Лі.
Нижче коротко розглянемо зв'язок між групами Лі та алгебрами Лі. Будь-яка група Лі породжує канонічно визначену алгебру Лі (точніше, дотичний простір в одиниці). І навпаки, для будь-якої скінченновимірної алгебри Лі існує відповідна зв'язна група Лі з алгеброю Лі . Цей зв'язок гарантує третя теорема Лі[en]; див. формулу Бейкера–Кемпбелла–Хаусдорфа[en]. Ця група Лі визначається неоднозначно; однак будь-які дві групи Лі з однаковою алгеброю Лі є локально ізоморфними і, зокрема, мають те ж саме універсальне накриття. Наприклад, спеціальна ортогональна група SO(3) і спеціальна унітарна група SU(2) породжують ту саму алгебру Лі, яка ізоморфна евклідовому простору з векторним добутком, але група є однозв'язним подвійним накриттям для .
Однак, якщо розглядати однозв'язні групи Лі, то отримаємо взаємно однозначну відповідність: для будь-якої (скінченновимірної дійсної) алгебри Лі існує єдина однозв'язна група Лі з алгеброю Лі .
Відповідність між алгебрами Лі та групами Лі використовується, зокрема, при класифікації груп Лі[en] та пов'язаними задачами теорії представлень груп Лі. За будь-яким представленням алгебри Лі однозначно будується відповідне представлення однозв'язної групи Лі, і навпаки, будь-яке представлення групи Лі індукує представлення алгебри Лі цієї групи; ця відповідність взаємно однозначна. Отже, знання представлень алгебри Лі розв'язує питання про представлення групи.
Щодо класифікації, можна показати, що будь-яка зв'язана група Лі із заданою алгеброю Лі ізоморфна універсальному накриттю за модулем дискретної центральної підгрупи. Таким чином, класифікація груп Лі стає просто питанням перебору дискретних підгруп центру, оскільки відома класифікація алгебр Лі (розв'язана Картаном та іншими у напівпростому випадку).
Якщо алгебра Лі є нескінченновимірною, то проблема є більш витонченою. У багатьох випадках експоненціальне відображення не є гомеоморфізмом навіть локально (наприклад, для можна знайти диффеоморфізми, як завгодно близькі до одиниці, які не належать образу відображення ). Більш того, деякі нескінченновимірні алгебри Лі не є алгебрами Лі жодної групи.
Дійсна форма і комплексифікація Редагувати
Нехай задано комплексну алгебру Лі[en] , дійсна алгебра Лі називається дійсною формою[en] , якщо комплексифікація є ізоморфною до~. Дійсна форма не обов'язково повинна бути єдиною; наприклад,