У теорії груп Лі приєднаним представленням групи Лі G називається представлення елементів групи, як лінійних відображень на відповідній алгебрі Лі. Дане представлення є гомоморфізмом груп Лі. Його диференціал є представленням алгебри Лі, що називається приєднаним представленням алгебри Лі.
Визначення
Приєднане представлення груп Лі
Нехай — група Лі, а — відповідна їй алгебра Лі, яку можна ідентифікувати з дотичним простором в одиниці або з простором лівоінваріантних векторних полів на G.
Для кожного елемента можна ввести відображення спряження визначене як:
Це відображення є оборотним і гладким. Також очевидно що
Тому визначений диференціал який є оборотним лінійним відображенням на Відповідно існує відображення
визначене як
Воно є гомоморфізмом груп Лі і називається приєднаним представленням групи Лі G.
Приєднане представлення алгебр Лі
Оскільки Ad є гладким відображенням для нього теж можна визначити диференціал. Диференціал відображення Ad в одиниці
називають приєднаним представленням алгебри Лі Дане відображення набуває значень у множині усіх лінійних відображень простору в себе. є алгеброю Лі для групи Лі
Еквівалентно можна задати за допомогою комутатора відповідних лівоінваріантних векторних полів. Якщо лівоінваріантні векторні поля для яких то їх дужка Лі визначена як буде теж лівоінваріантним векторним полем. Тоді за означенням .
Оскільки
то два означення є еквівалентні, зокрема якщо позначити то . У рівностях позначено — відображення множення справа і зліва на елемент g і використано той факт, що є потоком лівоінваріантного векторного поля разом із еквівалентністю означень дужок Лі векторних полів через диференціальні оператори і потоки.
Матричні групи
Для загальної лінійної групи алгеброю Лі є множина усіх квадратних матриць розмірності n. Для приєднане представлення визначається рівністю:
- а приєднане представлення алгебри Лі рівністю:
Властивості
Нижче використовуються також позначення :
- Якщо — елементи групи Лі, то
- Для виконується рівність
- Для значення використовується позначення Оператор є білінійним, антисиметричним і задовольняє тотожності Якобі:
- тобто є автоморфізмом алгебри Лі.
- де дужки Лі в лівій частині рівності є дужками Лі в алгебрі Лі а справа — комутатор матриць.
- тобто є (диференціюванням в алгебрі Лі).
- Якщо — деяка гладка крива в групі G, що проходить через одиницю і в одиниці дотичним вектором якої є X (прикладом такої кривої є ). Тоді
- де зліва є експонента у групі Лі, а справа — звичайна експонента матриці.
Джерела
- Голод П. І., Клімик А. У. Математичні основи теорії симетрії. — К. : Наукова думка, 1992. — 368 с. (укр.)
- Arvanitoyeorgos, Andreas: An introduction to Lie groups and the geometry of homogeneous spaces. Translated from the 1999 Greek original and revised by the author. Student Mathematical Library, 22. American Mathematical Society, Providence, RI, 2003.
- Hall, Brian C.: Lie groups, Lie algebras, and representations. An elementary introduction. Graduate Texts in Mathematics, 222. Springer-Verlag, New York, 2003.
- Knapp, Anthony W.: Lie groups beyond an introduction. Second edition. Progress in Mathematics, 140. Birkhauser Boston, Inc., Boston, MA, 2002.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
U teoriyi grup Li priyednanim predstavlennyam grupi Li G nazivayetsya predstavlennya elementiv grupi yak linijnih vidobrazhen na vidpovidnij algebri Li Dane predstavlennya ye gomomorfizmom grup Li Jogo diferencial ye predstavlennyam algebri Li sho nazivayetsya priyednanim predstavlennyam algebri Li ViznachennyaPriyednane predstavlennya grup Li Nehaj G displaystyle G grupa Li a g displaystyle mathfrak g vidpovidna yij algebra Li yaku mozhna identifikuvati z dotichnim prostorom v odinici g T e G displaystyle mathfrak g simeq T e G abo z prostorom livoinvariantnih vektornih poliv na G Dlya kozhnogo elementa g G displaystyle g in G mozhna vvesti vidobrazhennya spryazhennya C g G G displaystyle C g colon G to G viznachene yak C g h g h g 1 h G displaystyle C g h ghg 1 forall h in G Ce vidobrazhennya ye oborotnim i gladkim Takozh ochevidno sho C g e e g G displaystyle C g e e forall g in G Tomu viznachenij diferencial d e C g T e G T e G displaystyle d e C g colon T e G rightarrow T e G yakij ye oborotnim linijnim vidobrazhennyam na T e G displaystyle T e G Vidpovidno isnuye vidobrazhennya A d G G L g displaystyle mathrm Ad G to GL mathfrak g viznachene yak A d g d e C g displaystyle mathrm Ad g d e C g Vono ye gomomorfizmom grup Li i nazivayetsya priyednanim predstavlennyam grupi Li G Priyednane predstavlennya algebr Li Oskilki Ad ye gladkim vidobrazhennyam dlya nogo tezh mozhna viznachiti diferencial Diferencial vidobrazhennya Ad v odinici a d d e A d g E n d g displaystyle mathrm ad d e mathrm Ad colon mathfrak g to End mathfrak g nazivayut priyednanim predstavlennyam algebri Li g displaystyle mathfrak g Dane vidobrazhennya nabuvaye znachen u mnozhini E n d g displaystyle End mathfrak g usih linijnih vidobrazhen prostoru g T e G displaystyle mathfrak g simeq T e G v sebe E n d g displaystyle End mathfrak g ye algebroyu Li dlya grupi Li G L g displaystyle GL mathfrak g Ekvivalentno a d displaystyle mathrm ad mozhna zadati za dopomogoyu komutatora vidpovidnih livoinvariantnih vektornih poliv Yaksho V X V Y displaystyle V X V Y livoinvariantni vektorni polya dlya yakih V X e X V Y e Y displaystyle V X e X V Y e Y to yih duzhka Li viznachena yak V X V Y f V X V Y f V Y V X f displaystyle V X V Y f V X V Y f V Y V X f bude tezh livoinvariantnim vektornim polem Todi za oznachennyam a d V X V Y V X V Y displaystyle mathrm ad V X V Y V X V Y Oskilki a d X Y d e A d X Y d d t t 0 A d exp t X Y d d t t 0 d r exp t X d l exp t X Y d d t t 0 d r exp t X V Y exp t X V X V Y e displaystyle mathrm ad X Y d e mathrm Ad X Y d over dt Big t 0 mathrm Ad exp tX Y d over dt Big t 0 d r exp tX circ d l exp tX Y d over dt Big t 0 d r exp tX V Y exp tX V X V Y e to dva oznachennya ye ekvivalentni zokrema yaksho poznachiti X Y a d X Y displaystyle X Y mathrm ad X Y to V X V Y V X Y displaystyle V X V Y V X Y U rivnostyah poznacheno r g l g displaystyle r g l g vidobrazhennya mnozhennya sprava i zliva na element g i vikoristano toj fakt sho f t g g exp t X displaystyle f t g g exp tX ye potokom livoinvariantnogo vektornogo polya V X displaystyle V X razom iz ekvivalentnistyu oznachen duzhok Li vektornih poliv cherez diferencialni operatori i potoki Matrichni grupiDlya zagalnoyi linijnoyi grupi G L n C displaystyle GL n mathbb C algebroyu Li g displaystyle mathfrak g ye mnozhina g l n C M n C displaystyle mathfrak g l n mathbb C simeq M n mathbb C usih kvadratnih matric rozmirnosti n Dlya g G L n C X Y M n C displaystyle g in GL n mathbb C X Y in M n mathbb C priyednane predstavlennya G L n C displaystyle GL n mathbb C viznachayetsya rivnistyu A d g X g X g 1 displaystyle mathrm Ad g X gXg 1 a priyednane predstavlennya algebri Li M n C displaystyle M n mathbb C rivnistyu a d X Y X Y Y X X Y displaystyle mathrm ad X Y XY YX X Y VlastivostiNizhche vikoristovuyutsya takozh poznachennya A d g A d g a d X a d X displaystyle mathrm Ad g mathrm Ad g quad mathrm ad X mathrm ad X Yaksho g h G displaystyle g h in G elementi grupi Li to A d g h A d g A d h A d g 1 A d g 1 displaystyle mathrm Ad gh mathrm Ad g mathrm Ad h mathrm Ad g 1 mathrm Ad g 1 Dlya g G X g displaystyle g in G X in mathfrak g vikonuyetsya rivnist A d g a d X A d g 1 a d A d g X displaystyle mathrm Ad g circ mathrm ad X circ mathrm Ad g 1 mathrm ad mathrm Ad g X Dlya znachennya a d X Y X Y g displaystyle mathrm ad X Y X Y in mathfrak g vikoristovuyetsya poznachennya X Y displaystyle X Y Operator X Y displaystyle X Y ye bilinijnim antisimetrichnim i zadovolnyaye totozhnosti Yakobi X Y Z g X Y Z Y Z X Z X Y displaystyle forall X Y Z in mathfrak g colon X Y Z Y Z X Z X Y A d g X Y A d g X A d g Y g G X Y g displaystyle mathrm Ad g X Y mathrm Ad g X mathrm Ad g Y quad forall g in G X Y in mathfrak g tobto A d g displaystyle mathrm Ad g ye avtomorfizmom algebri Li a d X Y a d X a d Y X Y g displaystyle mathrm ad X Y mathrm ad X mathrm ad Y quad forall X Y in mathfrak g de duzhki Li v livij chastini rivnosti ye duzhkami Li v algebri Li g displaystyle mathfrak g a sprava komutator matric a d X Y Z a d X Y Z Y a d X Z X Y Z g displaystyle mathrm ad X Y Z mathrm ad X Y Z Y mathrm ad X Z quad forall X Y Z in mathfrak g tobto a d X displaystyle mathrm ad X ye diferenciyuvannyam v algebri Li Yaksho g X t displaystyle gamma X t deyaka gladka kriva v grupi G sho prohodit cherez odinicyu i v odinici dotichnim vektorom yakoyi ye X prikladom takoyi krivoyi ye exp t X displaystyle exp tX Todi a d X d d t A d g X t t 0 displaystyle mathrm ad X frac rm d rm d t Bigg mathrm Ad gamma X t Bigg t 0 g exp X g 1 exp A d g X g G X g displaystyle g exp Xg 1 exp mathrm Ad g X quad forall g in G X in mathfrak g A d exp X exp a d X X g displaystyle mathrm Ad exp X exp mathrm ad X quad forall X in mathfrak g de zliva ye eksponenta u grupi Li a sprava zvichajna eksponenta matrici DzherelaGolod P I Klimik A U Matematichni osnovi teoriyi simetriyi K Naukova dumka 1992 368 s ukr Arvanitoyeorgos Andreas An introduction to Lie groups and the geometry of homogeneous spaces Translated from the 1999 Greek original and revised by the author Student Mathematical Library 22 American Mathematical Society Providence RI 2003 ISBN 0 8218 2778 2 Hall Brian C Lie groups Lie algebras and representations An elementary introduction Graduate Texts in Mathematics 222 Springer Verlag New York 2003 ISBN 0 387 40122 9 Knapp Anthony W Lie groups beyond an introduction Second edition Progress in Mathematics 140 Birkhauser Boston Inc Boston MA 2002 ISBN 0 8176 4259 5