Group_theory_lecture
.pdfгде числа tkij = fijk − fjik (tkij = −tkji) – называются структурными константами.
Определение Алгеброй Ли называется линейное(векторное)пространство L, элементы которого можно умножать друг на друга с помощью умножения [, ] : L L → L согласно правилу
ˆ |
ˆ |
k ˆ |
(3.2.4) |
li |
[Si, Sj ] = tij Sk , |
||||
ˆ |
|
|
|
|
где Si (i = 1, . . . , l) – образующие алгебры Ли( базисные векторы в пространстве |
|
|||
L),а константы tijk C называются структурными константами алгебры.Ли |
|
|||
Умножение(3.2.4)антисимметрично |
|
|
|
|
[Si, Sj ] = −[Sj , Si] , |
(3.2.5) |
anti |
||
билинейно |
|
|
|
|
[Si, α Sj + βSk] = α[Si, Sj] + β[Si, Sk] (α,β C) , |
(3.2.6) |
bilin |
||
и удовлетворяет тождеству Якоби |
|
|
|
|
[[Si, Sj ], Sk] + [[Sk, Si], Sj] + [[Sj, Sk], Si] = 0 . |
(3.2.7) |
jacob |
||
Последнее тождество проверяется раскрытием коммутатор.Соответственно,структурные константы tkij (явный вид которых зависит от выбора образу-
ющих ˆ ),как следует из(3.2.5)и(3.2.7),удовлетворяют тождествам
Si
tkij = −tkji , tmij tnmk + tmkitnmj + tmjktnmi = 0 .
Примеры.
1.Матрица i (3.1.12)является единственно й образующей абелевой группы SO(2). 2.Рассмотрим произвольный элемент g группы SL(2, ) близкий к единичному(с точностью до линейных членов малости)
g(φ |
) = * |
0 |
1 + |
+ * |
φ3 |
φ4 |
+ + . . . = * |
φ3 |
1 + φ4 |
+ + . . . , |
i |
|
1 |
0 |
|
φ1 |
φ2 |
|
1 + φ1 |
φ2 |
|
где параметры φi C - малы . Условие 1 = det(g) = 1 + (φ1 + φ4) + . . . дает связь φ4 = −φ1, т . е . группаSL(2, ) имеет только три независимых комплексных параметра.Согласно(3.2.2)положим
e+ = ∂φ1 g(φi)1φ=0 |
, e− = ∂φ2 g(φi)1φ=0 |
, H = ∂φ3 g(φi)1φ=0 . |
1 |
1 |
1 |
1 |
1 |
1 |
91
где три бесследовые матрицы |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
e+ = |
0 |
1 |
, |
e |
= |
0 |
0 |
, |
H = |
|
1 |
|
|
1 0 |
, |
(3.2.8) |
epmh |
|
0 0 |
1 0 |
2 |
|
0 −1 |
||||||||||||||
|
|
− |
|
|
|
|
|
|
|
|
|
|||||||
образуют базис в алгебре Ли группы SL(2, ). |
|
|
|
|
|
|
|
|
||||||||||
Итак,с каждой группой Ли |
G связана своя алгебра Ли L – алгебра инфини- |
|
||||||||||||||||
тезимальных образующих(3.2.2).Рассматривая левые |
|
|
|
|
|
|
|
|
||||||||||
|
|
|
g(φ)G |
и правые Gg(φ) ин- |
|
|||||||||||||
финитезимальные( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
φ → 0) сдвиги на группе G, мы приходим к заключению, что |
|
|||||||||||||||||
алгебра Ли задает векторные поля на группе Ли и определяет локальные свой- |
|
|||||||||||||||||
ства соответствующей группы Ли.Однако,с одной и той же алгеброй Ли могут |
|
|||||||||||||||||
быть связаны разные группы Ли,мног |
|
ообразия которых отличаются глобальными |
|
|||||||||||||||
свойствами. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
C формальной точки зрения( оставляя в стороне вопросы сходимости) множе- |
|
|||||||||||||||||
ство преобразований |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
g(φi) = exp |
φi Sˆi = |
∞ |
,φi Sˆi-k |
, |
|
(3.2.9) |
group |
||||||||
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
, |
|
- |
k=0 |
k! |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где Si – генераторы некоторой алгебры Ли L, образуют группу Ли. То , что мно- |
|
|||||||||||||||||
жество элементов(3.2.9)действительно образует группу следует из тождества |
|
|||||||||||||||||
Кембелла-Хаусдорфа(более подробно см.книгу[5]) |
|
|
|
|
|
|
|
|
||||||||||
|
|
|
eX eY |
= e(X+Y )+(1/2) [X,Y ]+(1/12) [X−Y,[X,Y ]]+... |
|
(3.2.10) |
cemb |
|||||||||||
где X, Y некоммутирующие операторы.Т.к.в правой части(3.2.10),в показателе |
|
|||||||||||||||||
экспоненты,появляются только комму |
таторы(относительно которых алгебра Ли |
|
||||||||||||||||
замкнута(3.2.4)),то для произведения |
|
элементов(3.2.9)мы формально имеем |
|
|||||||||||||||
групповое свойство |
exp ,φi Sˆi- exp ,ψi Sˆi- = exp ,χi(φk, ψm) Sˆi- |
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||||
где функции χi(φk, ψm) = φi + ψi + 21 tjki φjψk + . . . определяются из(3.2.10) (ср.с |
|
|||||||||||||||||
(3.2.3))и полностью опреде ляют структуру группы Ли. |
|
|
|
|
||||||||||||||
Замечание. Следует отметить,что не каждый элемент группы Ли(даже из связ- |
|
|||||||||||||||||
ной компоненты единичного элемента)может быть представлен в виде одной экс- |
|
|||||||||||||||||
поненты от элемента алгебры Ли.Д |
ействительно,элемент группы |
SL(2, R) |
|
|||||||||||||||
|
−1 λ |
, λ ̸= 0, λ R , |
0 −1 |
||
|
|
92 |
представляется только в виде произведения двух экспонент от элементов алгебры Ли sl(2).
Упражнения
1.Доказать,что размерности вещественных многообразий групп GL(n, R), SL(n, R), O(n, R), U(n) и SU(n) соответственно равны: n2, n2 − 1, n(n − 1)/2, n2 и n2 − 1.
2.Найти определяющие соотношения [e−, e+] =? , (3.2.8)алгебры Ли группы SL(2, C). 3.Доказать,что элемент группы SL(2, R):
|
−1 |
λ |
|
|
(3.2.11) elsl2 |
g = |
0 |
−1 |
|
λ ̸= 0, λ R , |
|
не представляется в виде одной экспоненты(3.2.9)от элемента алгебры Ли |
sl(2). |
||||
4.Найти представление элемента g SL(2, R) (3.2.11)в виде произведения двух экспонент от элементов алгебры Ли sl(2).
3.3Лекции10,11.Группа вращений в трехмерном простран-
стве O(3). Параметризации группы SO(3). Алгебра Ли группы SO(3). Универсальная накрывающая группа для группы SO(3).
В предыдущих лекциях мы рассматривали группы инвариантности T, W, P правильных многогранников(т етраэдра,куба и икосаэдра),которые очевидно можно вписать в двумерную сферу S2, вложенную в трехмерное евклидово пространство R3. В этой лекции мы будем изучать бесконечномерную группу инвариантности двумерной сферы.Эта группа называется группой вращения O(3) в трехмерном пространстве R3 и состоит из всевозможных вращений вокруг центра сферы O, а также из всевозможных отражений относительно плоскостей,проходящих через точку O. Подгруппа, включающая только вра щения(без отражений),называется группой собственных вращений в трехмерном пространстве SO(3). Зададим в R3 систему координат с началом в точке O. Тогда точки на сфере S2 радиуса R имеют координаты (x1, x2, x3), которые удовлетворяют уравнениям
x12 + x22 + x32 = R2 . |
(3.3.1) xxr |
93
Отметим,что точки сферы S2 удобно также параметризовать с помощью двух сферических координат (θ,φ ):
|
|
π |
|
π |
|
||
x1 = R cos θ cos φ , x2 = R cos θ sin φ , |
x3 = R sin θ , (0 ≤ φ ≤ 2π, − |
|
≤ θ ≤ |
|
) . |
|
|
2 |
2 |
sfercor |
|||||
|
|
|
|
(3.3.2) |
|||
Преобразования симметрии сферы,заданной соотношением(3.3.1),соответствуют |
|
||||||
преобразованиям координат |
|
|
|
|
|
|
|
xi → xi′ |
= xj Aji , |
(3.3.3) |
o3tr |
||||
при которых квадратичная форма(3.3.1)о |
стается неизменной(точки сферы пе- |
|
|||||
реходят снова в точки сферы) |
|
|
|
|
|
|
|
x1′ 2 + x2′ 2 + x3′ 2 = x12 + x22 + x32 = R2 . |
(3.3.4) |
sfera3 |
|||||
Напомним(см.пункт2,в Лекциях5,6),что и |
з уравнения(3.3.4) следует условие |
|
|||||
ортогональности на матрицы A преобразований(3.3.3): |
|
|
|
|
|||
(xi′)2 = xj AjixkAki = xj xj Aji Aki = δjk A AT = I . |
(3.3.5) |
uslort |
|||||
Т.о.,любая 3 × 3 ортогональная матрица A является представлением некоторого |
|
||||||
элемента группы вращений O(3). Из условия AAT = I следует,что det A = ±1 (см. |
|
||||||
Лекции5,6).Преобразования с det A = +1 образуют подгруппу в O(3). Действи- |
|
||||||
тельно,для всех ортогональных матриц |
A1, A2 таких,что det(A1) = +1 = det(A2), |
|
|||||
мы имеем det(A1A2) = det(A1) det(A2) = +1 и,следовательно,матрица |
A1 · A2 |
|
|||||
также принадлежит этой подгруппе.Эта |
подгруппа и есть группа собственных |
|
|||||
вращений SO(3). |
|
|
|
|
|
|
|
Компонента группы O(3), состоящая из несобственных вращений A, таких что det A = −1, обозначается O−(3). Все такие элементы могут быть построены как
(−I) · SO(3) и мы имеем O(3) = SO(3) (−I) · SO(3).
Параметризации группы SO(3).
Группу SO(3) собственных вращений удобно параметризовать следующимоб разом.Любое вращение 3в-х мерном прост ранстве можно представить как вращение на определенный угол ψ [−π,π ] вокруг некоторой оси,направление которой задается единичным вектором n R3. Т . о ., каждому вращению изSO(3) мы можем сопоставить вектор ψ · n, направление которого задается осью вращения, длина вектора равна ψ. В такой параметризации многообразие группы это шар в R3 с радиусом π, причем диаметрально противоположные точки граничной сферы
94
этого шара должны быть отождествлены, .к.повороты вокруг оси |
n на углы π |
и −π тождественны.Очевидно,что такое тре хмерное многообразие двух-связно. |
|
Направление n = (n1, n2, n3) можно задать с помощью двух сферических углов |
|
(см. (3.3.2)) |
|
n1 = cos θ cos φ , n2 = cos θ sin φ , n3 = sin θ . |
(3.3.6) napr |
Рассмотрим вращения из группы SO(3), которые близки к тождественному вращению.Для таких вращений 3 × 3 матрицу A, задающую преобразования (3.3.3),можно представить в виде
A = I + ψ a + ψ2 . . . Aij = δij + ψaij + ψ2 . . . (i, j = 1, 2, 3) , (3.3.7) infinit
где I – 3 ×3 единичная матрица, угол поворота ψ по модулю является малым по сравнению с 1: |ψ| << 1. При этом квадрат угла поворота ψ2 мы считаем пренебрежимо малым по сравнению с ψ. Преобразования с матрицами(3.3.7) называются инфинитезимальными.Условие ортогональн ости(3.3.5)для матрицы(3.3.7)принимает вид
I = (I + ψa + ψ2 . . .)(I + ψa + ψ2 . . .)T = I + ψa + ψaT + ψ2 . . . a + aT = 0 .
Т.о.,матрица a, задающая инфинитезимальные преобразования SO(3), является
антисимметричной |
aij |
= |
a12 |
0 |
a23 |
|
|
||||||
|| || |
|
0 |
a12 |
a13 |
|
|
−a13 |
a23 |
0 |
||||
|
|
|
− |
− |
|
|
и в случае поворота вокруг оси n (3.3.6)эта матрица выражается через параметры
(θ,φ ):
= cos θ cos φ |
|
|
||aij|| = n1S1 + n2S2 + n3S3 = |
+ sin θ |
|
|
|
. |
||||||
0 |
0 |
1 |
|
+ cos θ sin φ |
0 |
0 |
−0 |
|
1 |
0 |
0 |
|||
|
0 |
0 |
0 |
|
|
0 |
0 |
1 |
|
|
0 |
1 |
0 |
|
0 |
1 |
0 |
1 |
0 |
0 |
−0 |
0 |
0 |
||||||
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
(3.3.8) tro33
Действительно,повороты вокруг осей x1, x2, x3, ( которые соответствуют направлениям n: e1 = (1, 0, 0), e2 = (0, 1, 0), e3 = (0, 0, 1)) или , соответственно, в плоскостях (x2, x3), (x3, x1), (x1, x2) осуществляются матрицами S1, S2, S3, что следует из их явного вида и вида генератора двумерного поворота(3.1.12).Другими словами
при φ = 0 = θ поворот осуществляется вокруг оси x1, при φ = π/2, θ = 0 поворот
95
осуществляется вокруг оси x2 (здесь поворот против часовой стрелки в плоскости (x1, x3), как не трудно увидеть, осуществляется именно матрицей S2, с " непра - вильным"расположением ±1),при φ = 0, θ = π/2 поворот осуществляется вокруг оси x3. Этот же результат можно получить рассматривая следующий рисунок:
x3 |
|
|
|
|
|
|
|
n |
|
|
|
|
||
|
|
|
|
|
φ |
θ |
|
|
|
|
|
x2 |
||
|
||||
|
|
|
|
|
x1 |
|
|
|
|
Согласно этому рисунку,вектор n (сферические углы φ и θ) можно получить двумя последовательными поворотами единичного вектора e1, направленного вдоль оси x1: сначала поворот на угол θ вокруг оси x2, а затем на угол φ вокруг оси x3 (часто это преобразование получают сначала поворотом на угол φ вокруг x3, а затем на угол θ вокруг повернутой на угол φ оси x′2).Действительно,мы имеем
(1, 0, 0) |
|
|
0 |
1 |
0 |
|
|
sin φ |
cos φ |
0 |
= (1, 0, 0) T (g2(θ)) T (g3(φ)) = |
|
|
cos θ |
0 |
sin θ |
|
cos φ |
sin φ |
0 |
|
||
|
|
sin θ |
0 |
cos θ |
− |
0 |
0 |
1 |
|||
|
|
− |
|
|
|
|
|
|
|
|
|
= (cos θ cos φ, cos θ sin φ, sin θ) ,
что совпадает с вектором n (3.3.6).Соответственно вектор n переводится в векторe1 согласно обратному преобразованию e1 = n T (g3(−φ)) T (g2(−θ)). Произведем теперь поворот вокруг оси e1 на угол ψ, а затем вернем ось e1 на ее первоначальное место n. Тем самым мы получим матрицу поворота на угол ψ вокруг оси n:
Tn(ψ) = T (g3(−φ)) T (g2(−θ)) T (g1(ψ)) T (g2(θ)) T (g3(φ)) . |
(3.3.9) tvn |
Рассмотрим инфинитезимальную форму преобразования(3.3.9),т.е.поворот на угол ψ, который мал
1
T (g1(ψ)) = 0 0
cos ψ |
sin ψ |
= I + ψ |
||
|
0 |
0 |
|
|
|
sin ψ |
cos ψ |
|
|
− |
|
|
|
|
|
0 |
0 |
0 |
|
+ ψ2 . . . |
(3.3.10) tg1 |
0 |
1 |
0 |
||||
|
0 |
0 |
1 |
|
|
|
|
− |
|
|
|
Подставим в(3.3.9)представление(3.3.10)и формулу
T (g3(φ)) T (g2(θ)) = |
|
sin φ cos θ |
cos φ |
sin φ cos θ |
=: T(φ,θ) |
||
|
cos φ cos θ |
sin φ cos φ sin θ |
|
|
|||
− |
|
sin θ |
0 |
cos θ |
|
||
|
|
− |
|
|
|
|
|
96
Тогда для матрицы Tn(ψ) = T −1 |
T (g1(ψ)) T(φ,θ) |
(3.3.9)мы получаем |
|
||||||||
|
|
|
|
(φ,θ) |
|
|
|
|
|
|
|
= I + ψ |
|
Tn(ψ) = I + ψ T(−φ,1θ) S1 T(φ,θ) + ψ2 . . . = |
|
||||||||
sin θ |
|
|
0 |
|
−cos φ cos θ |
+ ψ2 . . . = I + ψ (ni Si) + ψ2 . . . |
|
||||
|
0 |
|
sin θ |
|
sin φ cos θ |
|
|
|
|||
sin−φ cos θ |
− |
cos φ cos θ |
|
0 |
|
|
|
||||
|
|
|
|
|
|
|
|
|
(3.3.11) |
tst |
|
что согласуется (3с .3.8). |
|
|
|
|
|
|
|
|
|
||
Найдем теперь явный вид матрицы A = Tn(ψ), задающей поворот на произ- |
|
||||||||||
вольный(не обязательно малый)угол |
ψ вокруг оси n. Из очевидной( см . (3.3.10)) |
|
|||||||||
формулы |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂k T (g1(ψ)) = Sk |
T (g1(ψ)) , |
|
|
||||
|
|
|
|
ψ |
|
|
1 |
|
|
|
|
и равенства(3.3.11),следует |
дифференциальное уравнение |
|
|||||||||
|
|
∂k Tn(ψ) = T |
−1 |
∂k T (g1(ψ)) T(φ,θ) = |
|
|
|||||
|
|
ψ |
|
(φ,θ) |
ψ |
|
|
|
|
||
|
= ,T(−φ,1θ) S1k T(φ,θ)-,T(−φ,1θ)T (g1(ψ)) T(φ,θ)- = (niSi)kTn(ψ) . |
|
|||||||||
В качестве решения этих уравнений мы имеем экспоненциальное представление |
|
||||||||||
для элементов группы SO(3) |
|
|
|
|
|
|
|
||||
Tn(ψ) = exp (ψ (niSi)) = exp (φi Si) =: T (g(φ1, φ2, φ3)) , |
(φi := ψni) , (3.3.12) |
ephis |
|||||||||
где φi называются параметрами, операторы |
Si – образующими( генераторами) |
|
|||||||||
группы SO(3). Заметим , что также как и в случае группы SO(2), см . формулу |
|
||||||||||
(3.1.14),мы можем определить генераторы группы SO(3) с помощью дифферен- |
|
||||||||||
цирования произвольного элемента группы вблизи единичного элемента.Действи- |
|
||||||||||
тельно,из формулы(3.3.12)следует,что |
|
|
|
|
|
|
|||||
|
|
|
|
∂φi T (g(φ1, φ2, φ3))|φ=0 = Si , |
(3.3.13) |
gen03 |
|||||
где T (g(φ1, φ2, φ3))|φi=0 = I. |
|
|
|
|
|
|
|
|
|||
Обсудим теперь другую удобную параметризацию элементов группы SO(3) c |
|
||||||||||
помощью углов Эйлера.Как мы видели любую точку x0 |
двумерной сферы SR2 |
|
|||||||||
можно перевести в любую другую точку x SR2 с помощью двух однопарамет- |
|
||||||||||
рических преобразований T (g2(θ)) и T (g3(φ)), т . еx. = x0T (g2(θ))T (g3(φ)). Отме - |
|
||||||||||
тим,однако,что преобразование T (g2(θ))T (g3(φ)) не есть общее вращение 3в-х |
|
||||||||||
мерном пространстве, .к.мы можем умножить |
T (g2(θ))T (g3(φ)) слева на любое |
|
|||||||||
97
преобразование T оставляющее вектор x0 на месте.Пусть |
x0 = (0, 0, R), тогда |
||||||||||||||
x0T (g3(ψ)) = x0 и,следовательно,произведение |
|
T (g3(ψ))T (g2(θ))T (g3(φ)): |
|
|
|||||||||||
g(ψ,θ,φ ) = |
|
sin ψ |
cos ψ |
0 |
|
0 |
1 |
− |
0 |
|
|
sin φ |
cos φ |
0 |
|
|
cos ψ |
sin ψ |
0 |
|
cos θ |
0 |
|
sin θ |
|
cos φ |
sin φ |
0 |
|
||
− |
0 |
0 |
1 |
sin θ |
0 |
cos θ |
− |
0 |
0 |
1 |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(3.3.14) |
ugeil |
однозначно задает практически каждый элемент SO(3), параметризуя его тремя |
|
||
углами (ψ,θ,φ ), которые называются углами Эйлера. |
|
|
|
Алгебра Ли группы SO(3). |
|
|
|
Вернемся теперь к обсуждению операторов(3.3.13).Легко получить следую- |
|
||
щие соотношения для Si: |
|
|
|
[S1, S2] = −S3 , ( 1 → 2 → 3) [Si, Sj] = −ϵijk Sk , |
(3.3.15) |
sss |
|
где ϵijk компоненты полностью антисимметричного тензора третьего ранга(см. |
|
||
Лекции5,6).Очевидно,что коммутаторы( |
3.3.15)удовлетворяют условию анти- |
|
|
симметричности(3.2.5),билинейности(3.2. |
6)и тождеству Якоби(3.2.7).Линейное |
|
|
пространство,базисные элементы Si (i = 1, 2, 3) которого удовлетворяют соотношениям(3.3.15) – (3.2.7),называется алгеброй Ли группы SO(3).
Универсальная накрывающая группы SO(3).
Рассмотрим общую эрмитову матрицу X† = X, с условием Tr(X) = 0:
*+
X := |
x1 |
x3 |
x1 − ix2 = x1σ1 + x2σ2 + x3σ3 |
(3.3.16) ermit |
|
+ ix2 |
−x3 |
|
где xi R и мы определили три базисные бесследовые эрмитовы матрицы
σ1 |
= |
* 1 |
0 + |
, |
σ2 |
= |
* i |
−0 |
+ , |
σ3 |
= |
* 0 |
1 + |
, |
|
|
0 |
1 |
|
|
|
0 |
i |
|
|
|
1 |
0 |
|
−
которые называются матрицами Паули и играют важнейшую роль в теории спина в квантовой механике.Заметим,что матрица X строится из координат вектораx = (x1, x2, x3) R3 и удовлетворяет соотношениям det(X) = x21 + x22 + x23 и
|
2 |
2 |
2 |
2 |
* |
1 |
0 |
+ . |
(3.3.17) x2 |
X |
|
= (x1 |
+ x2 |
+ x3) |
0 |
1 |
Рассмотрим линейное преобразование эрмитовой матрицы X:
X → X′ = V X U , |
(3.3.18) trX |
98
где V, U некоторые невырожденные матрицы такие,что преобразованная матрица X′ будет снова эрмитовой, .е.
*+
X′† = X′ |
|
X′ = |
|
x′ |
x′ |
ix′ |
= x1′ σ1 + x2′ σ2 + x3′ σ3 |
|
x′ |
3 |
1 − |
2 |
|||
|
|
+ ix′ |
x′ |
|
|||
|
|
|
1 |
2 |
− |
3 |
|
Кроме того потребуем,чтобы квадрат матрицы |
X сохранялся при преобразовании |
||||||
(3.3.18): (X′)2 = X2, т . е . линейное преобразование(3.3.18)является ортогональным преобразованием в R3. Тогда из(3.3.18)мы получаем, что ( X2 ̸= 0)
V X = X′U−1 X′(V X)X = X′(X′U−1)X X′V = U−1X
V −1X′V = V −1U−1X XUV = (UV )−1X ,
где при получении последнего равенства мы воспользовались первым равенством.
Из равенства XUV = (UV )−1X с учетом произвольности бесследовой эрмитовой матрицы X (3.3.16)следует условие
UV = ±I
Т.к.преобразование(3.3.18)вектора x = (x1, x2, x3) c условием UV = −I определяет преобразование из связной компоненты,включающей отражение x → −x, то мы ограничимся только случаем UV = +I. Т . о ., преобразование(3.3.18)сводится к преобразованию подобия
X → X′ = U−1 X U , |
(3.3.19) utr |
Из условия X′† = X′ мы получаем [UU†, X] = 0 и,т.к. X - произвольная эрмитова матрица,мы заключаем,что UU† I. Вид преобразования(3.3.19)дает нам право нормировать U так,что UU† = I (случай UU† = −I мы отбрасываем по тем же причинам,что и выше)и det(U) = 1, т . е . матрицаU является специальной унитарной матрицей и U SU(2). Напомним, что x′i2 = x2i . Это равенство, впрочем, следует и из тождеств
′ |
) = det(U |
−1 |
X U) = det(X) |
′2 |
2 |
det(X |
|
xi |
= xi . |
||
Т.о.преобразования(3.3.19),рассмат |
|
риваемые как линейные преобразования ко- |
|||
ординат (x1, x2, x3) трехмерного вектора x, сохраняют длинну вектора x и тем самым являются преобразованиями из группы SO(3). Т . к . преобразования(3.3.19) осуществляются с помощью матриц U SU(2), то мы построили гомоморфизм
99
групп SU(2) → SO(3), причем два разных элемента ±U группы SU(2) соответствуют одному и тому же элементу SO(3). В этом случае говорят, что группа SU(2) дважды накрывает группу SO(3) и мы имеем тождество SU(2)/Z2 = SO(3).
Данный факт является следствием общего утверждения о,чтотом n-связная группа накрывается некоторой односвязной группой ровно n раз.Односвязность группы SU(2) доказывается в следующей Лекции.Можно показать,что для любой
¯ |
|
многосвязной группы Ли G существует такая просто связная группа G, которая |
|
может быть гомоморфно отображена на G. Эта просто связная группа |
¯ |
G носит |
|
название универсальной накрывающей группы G. В этом случае группа |
¯ |
G содер- |
|
¯ |
|
жит такую инвариантную дискретную группу ∆, что G/∆ изоморфна G. Группы |
|
¯ |
|
G и G локально изоморфны и имеют одну и ту же алгебру,хотяЛи различаются |
|
своими глобальными свойствами. |
|
Пусть группа G m-связна.Ее универсальная накрывающая группа |
¯ |
G просто |
|
связна и m раз накрывает группу G. Поэтому каждому элементу G соответствует
различных элементов ее универсальной накрывающей ¯. Точное неприводимое m G
представление группы ¯ тогда даст нам -значное представление группы (см.
G m G
[13]).
Упражнения.
3.4Лекция12.Унитарная группа |
SU(2) и ее алгебра Ли. |
Связь алгебр Ли su(2) и sl(2). Алгебра Ли sl(2) и ее ко - |
|
нечномерные представления.Конечномерные представ- |
|
ления групп Ли SL(2) и SU(2). |
|
В предыдущей лекции мы показали, что группа |
SO(3) локально тождественна |
группе SU(2). Конечномерные представления группы SO(3) могут быть построены из конечномерных представлений SU(2). Поэтому в этой лекции мы сконцентрируемся на изучении группы SU(2) и ее представлений.
Отождествление SO(3) и SU(2) производится с помощью формулы(3.3.19), которая каждому элементу(3.3.12)группы SO(3) сопоставляет два элемента ±U из унитарной группы SU(2). Ниже мы опишем это отождествление более точно, предъявив явный вид матрицы U соответствующей элементу(3.3.12).
100
