Приєднане представлення групи Лі

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

Визначення

Приєднане представлення груп Лі

Нехай $G$ — група Лі, а ${\mathfrak {g}}$ — відповідна їй алгебра Лі, яку можна ідентифікувати з дотичним простором в одиниці ${\mathfrak {g}}\simeq T_{e}G$ або з простором лівоінваріантних векторних полів на G.

Для кожного елемента $g\in G$ можна ввести відображення спряження $C_{g}\colon G\to G$ визначене як:

$C_{g}(h):=ghg^{-1}\ \forall \ h\in G.$

Це відображення є оборотним і гладким. Також очевидно що $C_{g}(e):=e,\ \forall \ g\in G.$

Тому визначений диференціал $d_{e}C_{g}\colon T_{e}G\rightarrow T_{e}G,$ який є оборотним лінійним відображенням на $T_{e}G.$ Відповідно існує відображення

$\mathrm {Ad} :G\to GL({\mathfrak {g}})$

визначене як

$\mathrm {Ad} (g)=d_{e}C_{g}.$

Воно є гомоморфізмом груп Лі і називається приєднаним представленням групи Лі G.

Приєднане представлення алгебр Лі

Оскільки Ad є гладким відображенням для нього теж можна визначити диференціал. Диференціал відображення Ad в одиниці

$\mathrm {ad} :=d_{e}\mathrm {Ad} \colon {\mathfrak {g}}\to End({\mathfrak {g}})$

називають приєднаним представленням алгебри Лі ${\mathfrak {g}}.$ Дане відображення набуває значень у множині $End({\mathfrak {g}})$ усіх лінійних відображень простору ${\mathfrak {g}}\simeq T_{e}G$ в себе. $End({\mathfrak {g}})$ є алгеброю Лі для групи Лі $GL({\mathfrak {g}}).$

Еквівалентно $\mathrm {ad}$ можна задати за допомогою комутатора відповідних лівоінваріантних векторних полів. Якщо $V_{X},V_{Y}$ лівоінваріантні векторні поля для яких $V_{X}(e)=X,\,\,V_{Y}(e)=Y$ то їх дужка Лі визначена як $[V_{X},V_{Y}]f=V_{X}(V_{Y}f)-V_{Y}(V_{X}f)$ буде теж лівоінваріантним векторним полем. Тоді за означенням $\mathrm {ad} (V_{X})(V_{Y})=[V_{X},V_{Y}]$.

Оскільки

$\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}$

то два означення є еквівалентні, зокрема якщо позначити $[X,Y]=\mathrm {ad} (X)(Y)$то $[V_{X},V_{Y}]=V_{[X,Y]}$. У рівностях позначено $r_{g},l_{g}$— відображення множення справа і зліва на елемент g і використано той факт, що $f(t,g)=g\exp(tX)$є потоком лівоінваріантного векторного поля $V_{X}$разом із еквівалентністю означень дужок Лі векторних полів через диференціальні оператори і потоки.

Матричні групи

Для загальної лінійної групи $GL(n,\mathbb {C} )$ алгеброю Лі ${\mathfrak {g}}$ є множина ${\mathfrak {g}}l(n,\mathbb {C} )\simeq M(n,\mathbb {C} )$ усіх квадратних матриць розмірності n. Для $g\in GL(n,\mathbb {C} ),\;X,Y\in M(n,\mathbb {C} )$ приєднане представлення $GL(n,\mathbb {C} )$ визначається рівністю:

$\mathrm {Ad} (g)(X)=gXg^{-1},$

а приєднане представлення алгебри Лі $M(n,\mathbb {C} )$ рівністю:

$\mathrm {ad} (X)(Y)=XY-YX=[X,Y].$

Властивості

Нижче використовуються також позначення $\mathrm {Ad} _{g}:=\mathrm {Ad} (g),\quad \mathrm {ad} _{X}:=\mathrm {ad} (X)$:

• Якщо $g,h\in G$ — елементи групи Лі, то $\mathrm {Ad} _{gh}=\mathrm {Ad} _{g}\mathrm {Ad} _{h},\;(\mathrm {Ad} _{g})^{-1}=\mathrm {Ad} _{g^{-1}}.$
• Для $g\in G,\;X\in {\mathfrak {g}},$ виконується рівність $\mathrm {Ad} _{g}\circ \mathrm {ad} (X)\circ \mathrm {Ad} _{g^{-1}}=\mathrm {ad} (\mathrm {Ad} _{g}X).$
• Для значення $\mathrm {ad} _{X}Y,\;X,Y\in {\mathfrak {g}}$ використовується позначення $[X,Y].$ Оператор $[X,Y]$ є білінійним, антисиметричним і задовольняє тотожності Якобі:

$\forall \,X,Y,Z\in {\mathfrak {g}}\;\colon [[X,Y],Z]+[[Y,Z],X]+[[Z,X],Y].$

• $\mathrm {Ad} _{g}[X,Y]=[\mathrm {Ad} _{g}X,\mathrm {Ad} _{g}Y],\quad \forall \,g\in G,\,X,Y\in {\mathfrak {g}},$ тобто $\mathrm {Ad} _{g}$ є автоморфізмом алгебри Лі.
• $\mathrm {ad} _{[X,Y]}=[\mathrm {ad} _{X},\mathrm {ad} _{Y}],\quad \forall \,X,Y\in {\mathfrak {g}},$ де дужки Лі в лівій частині рівності є дужками Лі в алгебрі Лі ${\mathfrak {g}},$ а справа — комутатор матриць.
• $\mathrm {ad} _{X}[Y,Z]=[\mathrm {ad} _{X}Y,Z]+[Y,\mathrm {ad} _{X}Z],\quad \forall \,X,Y,Z\in {\mathfrak {g}},$ тобто $\mathrm {ad} _{X}$ є диференціюванням в алгебрі Лі.
• Якщо $\gamma _{X}(t)$ — деяка гладка крива в групі G, що проходить через одиницю і в одиниці дотичним вектором якої є X (прикладом такої кривої є $\exp(tX)$). Тоді $\mathrm {ad} _{X}={\frac {\rm {d}}{{\rm {d}}t}}{\Bigg (}\mathrm {Ad} (\gamma _{X}(t)){\Bigg )}_{t=0}.$
• $g\exp Xg^{-1}=\exp(\mathrm {Ad} _{g}X),\quad \forall \,g\in G,\,X\in {\mathfrak {g}}.$
• $\mathrm {Ad} (\exp X)=\exp(\mathrm {ad} (X)),\quad \forall \,X\in {\mathfrak {g}},$ де зліва є експонента у групі Лі, а справа — звичайна експонента матриці.

Джерела

• Голод П. І., Клімик А. У. Математичні основи теорії симетрії. — К. : Наукова думка, 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. 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