Визначення
ред.
Приєднане представлення груп Лі
ред.
Нехай
G
{\displaystyle G}
— група Лі, а
g
{\displaystyle {\mathfrak {g}}}
— відповідна їй алгебра Лі, яку можна ідентифікувати з дотичним простором в одиниці
g
≃
T
e
G
{\displaystyle {\mathfrak {g}}\simeq T_{e}G}
або з простором лівоінваріантних векторних полів на G .
Для кожного елемента
g
∈
G
{\displaystyle g\in G}
можна ввести відображення спряження
C
g
:
G
→
G
{\displaystyle C_{g}\colon G\to G}
визначене як:
C
g
(
h
)
:=
g
h
g
−
1
∀
h
∈
G
.
{\displaystyle C_{g}(h):=ghg^{-1}\ \forall \ h\in G.}
Це відображення є оборотним і гладким . Також очевидно що
C
g
(
e
)
:=
e
,
∀
g
∈
G
.
{\displaystyle C_{g}(e):=e,\ \forall \ g\in G.}
Тому визначений диференціал
d
e
C
g
:
T
e
G
→
T
e
G
,
{\displaystyle d_{e}C_{g}\colon T_{e}G\rightarrow T_{e}G,}
який є оборотним лінійним відображенням на
T
e
G
.
{\displaystyle T_{e}G.}
Відповідно існує відображення
A
d
:
G
→
G
L
(
g
)
{\displaystyle \mathrm {Ad} :G\to GL({\mathfrak {g}})}
визначене як
A
d
(
g
)
=
d
e
C
g
.
{\displaystyle \mathrm {Ad} (g)=d_{e}C_{g}.}
Воно є гомоморфізмом груп Лі і називається приєднаним представленням групи Лі G .
Приєднане представлення алгебр Лі
ред.
Оскільки Ad є гладким відображенням для нього теж можна визначити диференціал. Диференціал відображення Ad в одиниці
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}})}
називають приєднаним представленням алгебри Лі
g
.
{\displaystyle {\mathfrak {g}}.}
Дане відображення набуває значень у множині
E
n
d
(
g
)
{\displaystyle End({\mathfrak {g}})}
усіх лінійних відображень простору
g
≃
T
e
G
{\displaystyle {\mathfrak {g}}\simeq T_{e}G}
в себе.
E
n
d
(
g
)
{\displaystyle End({\mathfrak {g}})}
є алгеброю Лі для групи Лі
G
L
(
g
)
.
{\displaystyle GL({\mathfrak {g}}).}
Еквівалентно
a
d
{\displaystyle \mathrm {ad} }
можна задати за допомогою комутатора відповідних лівоінваріантних векторних полів . Якщо
V
X
,
V
Y
{\displaystyle V_{X},V_{Y}}
лівоінваріантні векторні поля для яких
V
X
(
e
)
=
X
,
V
Y
(
e
)
=
Y
{\displaystyle V_{X}(e)=X,\,\,V_{Y}(e)=Y}
то їх дужка Лі визначена як
[
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)}
буде теж лівоінваріантним векторним полем. Тоді за означенням
a
d
(
V
X
)
(
V
Y
)
=
[
V
X
,
V
Y
]
{\displaystyle \mathrm {ad} (V_{X})(V_{Y})=[V_{X},V_{Y}]}
.
Оскільки
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}}
то два означення є еквівалентні, зокрема якщо позначити
[
X
,
Y
]
=
a
d
(
X
)
(
Y
)
{\displaystyle [X,Y]=\mathrm {ad} (X)(Y)}
то
[
V
X
,
V
Y
]
=
V
[
X
,
Y
]
{\displaystyle [V_{X},V_{Y}]=V_{[X,Y]}}
. У рівностях позначено
r
g
,
l
g
{\displaystyle r_{g},l_{g}}
— відображення множення справа і зліва на елемент g і використано той факт, що
f
(
t
,
g
)
=
g
exp
(
t
X
)
{\displaystyle f(t,g)=g\exp(tX)}
є потоком лівоінваріантного векторного поля
V
X
{\displaystyle V_{X}}
разом із еквівалентністю означень дужок Лі векторних полів через диференціальні оператори і потоки.
Матричні групи
ред.
Для загальної лінійної групи
G
L
(
n
,
C
)
{\displaystyle GL(n,\mathbb {C} )}
алгеброю Лі
g
{\displaystyle {\mathfrak {g}}}
є множина
g
l
(
n
,
C
)
≃
M
(
n
,
C
)
{\displaystyle {\mathfrak {g}}l(n,\mathbb {C} )\simeq M(n,\mathbb {C} )}
усіх квадратних матриць розмірності n .
Для
g
∈
G
L
(
n
,
C
)
,
X
,
Y
∈
M
(
n
,
C
)
{\displaystyle g\in GL(n,\mathbb {C} ),\;X,Y\in M(n,\mathbb {C} )}
приєднане представлення
G
L
(
n
,
C
)
{\displaystyle GL(n,\mathbb {C} )}
визначається рівністю:
A
d
(
g
)
(
X
)
=
g
X
g
−
1
,
{\displaystyle \mathrm {Ad} (g)(X)=gXg^{-1},}
а приєднане представлення алгебри Лі
M
(
n
,
C
)
{\displaystyle M(n,\mathbb {C} )}
рівністю:
a
d
(
X
)
(
Y
)
=
X
Y
−
Y
X
=
[
X
,
Y
]
.
{\displaystyle \mathrm {ad} (X)(Y)=XY-YX=[X,Y].}
Властивості
ред.
Нижче використовуються також позначення
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)}
:
Якщо
g
,
h
∈
G
{\displaystyle g,h\in G}
— елементи групи Лі, то
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}}.}
Для
g
∈
G
,
X
∈
g
,
{\displaystyle g\in G,\;X\in {\mathfrak {g}},}
виконується рівність
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).}
Для значення
a
d
X
Y
,
X
,
Y
∈
g
{\displaystyle \mathrm {ad} _{X}Y,\;X,Y\in {\mathfrak {g}}}
використовується позначення
[
X
,
Y
]
.
{\displaystyle [X,Y].}
Оператор
[
X
,
Y
]
{\displaystyle [X,Y]}
є білінійним , антисиметричним і задовольняє тотожності Якобі :
∀
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}},}
тобто
A
d
g
{\displaystyle \mathrm {Ad} _{g}}
є автоморфізмом алгебри Лі.
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}},}
де дужки Лі в лівій частині рівності є дужками Лі в алгебрі Лі
g
,
{\displaystyle {\mathfrak {g}},}
а справа — комутатор матриць.
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}},}
тобто
a
d
X
{\displaystyle \mathrm {ad} _{X}}
є диференціюванням в алгебрі Лі .
Якщо
γ
X
(
t
)
{\displaystyle \gamma _{X}(t)}
— деяка гладка крива в групі G , що проходить через одиницю і в одиниці дотичним вектором якої є X (прикладом такої кривої є
exp
(
t
X
)
{\displaystyle \exp(tX)}
). Тоді
a
d
X
=
d
d
t
(
A
d
(
γ
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}},}
де зліва є експонента у групі Лі , а справа — звичайна експонента матриці .
Голод П. І. , Клімик А. У. Математичні основи теорії симетрії. — : Наукова думка, 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