Group_theory_lecture
.pdf
3.10Лекция18. D- мерная алгебра Клиффорда ClD и ее представления.Группы Spin(D). Алгебра Клиффорда Cl(D−1,1) и ее представления. Группы Spin(D − 1, 1).
Алгебра Клиффорда ClD и ее представления. Группы Spin(D).
Рассмотрим алгебру Клиффорда ClD для D-мерного евклидова пространства:
ΓmΓn + ΓnΓn = 2δmn |
(3.10.1) cl1 |
где m, n = 1, 2, . . . , D. Эта алгебра является конечномерной.Пусть пространство является четномерным D = 2ν (случай нечетномерной алгебры Cl2ν+1 получается из Cl2ν добавлением одного генератора ΓD+1, который является аналогом матрицы γ5 для4-х мерного случая,см.ниже).Построим для алгебры(3.10.1)базис,кото-
рый очевидно должен состоять из единичного элемента 1, самих D образующих Γm и всех возможных антисимметричных комбинаций образующих Γm
ΓA = {1, |
Γm, Γmn, Γmnk, Γm1m2m3m4 , . . . , Γm1...mD−1 |
ΓmΓD+1, |
ΓD+1} , |
(3.10.2) |
clbas |
||||||||||
где Γm1...mk |
– антисимметричная( для дальнейш его удобства нормированная неко- |
|
|||||||||||||
торым образом)комбинация произведения |
k образующих Γm, например |
|
|
||||||||||||
|
1 |
(ΓmΓn |
− ΓnΓm) , ΓD+1 = (−i)ν Γ1Γ2 · · ·ΓD . |
|
|
||||||||||
|
Γmn = |
|
|
|
|||||||||||
|
4 |
|
|
||||||||||||
Используя определяющие соотношения(3.10.1),набор образующих(3.10.2),после |
|
||||||||||||||
соответствующей перенормировки,можно представить в виде |
|
|
|
|
|||||||||||
ΓA = {I, Γm1 , Γm1 Γm2 , Γm1 Γm2 Γm3 , Γm1 Γm2 Γm3 Γm4 , . . . , Γ1Γ2 · · ·ΓD} |
(3.10.3) |
clbas2 |
|||||||||||||
где в каждом мономе индексы упорядочены согласно правилу: |
0 ≤ m1 |
< m2 < |
|
||||||||||||
m3 < . . . ≤ D − 1 (т.е.мономы упорядочены лексикографически ).Теперь вы- |
|
||||||||||||||
|
|
|
|
|
|
|
|
||||||||
числим размерность алгебры(3 |
.10.1).Число элементов типа Γm1...mk равно числу |
|
|||||||||||||
|
|
|
|
|
|
12 |
|
|
|
|
|
|
|
|
|
сочетаний k элементов из D, т . е . мы получаем |
|
|
|
|
|
|
|
||||||||
|
|
|
dim{Γm1...mk } = CDk |
= |
|
D! |
|
. |
|
|
|
|
|||
|
|
|
k!(D |
− |
k)! |
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
12Действительно,в качестве первого индекса |
|
m1 можно взять любой индекс из D |
|
||||||||||||
индексов 1, . . . , D, в качестве второго m2 – любой из оставшихся D − 1 индексов,и |
|
||||||||||||||
так далее.На последнее место– |
mk остается D − k + 1 возможных индексов.Т.о.мы |
|
|||||||||||||
имеем D(D − 1) ··· (D − k + 1) возможностей расставить D индексов на k местах. |
|
||||||||||||||
Учитывая лексикографическое упорядочение k индексов,мы должны поделить число
(DD!k)! на число всех их перестановок k!.
−
161
Т.о.полная размерность |
D-мерной алгебры Клиффорда ΓD равна |
|
|||||||
|
|
D |
− |
|
|
|
|
|
|
|
|
k) |
|
|
|
|
|
|
|
|
|
dim(ClD) = |
D! |
|
|
|
= 2D . |
|
|
|
|
k!(D |
k)! |
|
|||||
|
|
=0 |
|
|
|
|
|
|
|
Это значит,что если бы мы строили матричное представление для |
ClD, в котором |
||||||||
все базисные элементы(3. |
10.2)были бы независимы,т |
о такое минимальное мат- |
|||||||
ричное представление реализовывалось бы 2D/2-мерными матрицами 2D/2 ×2D/2 = |
|||||||||
2ν × 2ν . Раз представление такой размерности минимально,то оно автоматически |
|||||||||
будет неприводимым. |
|
|
|
|
|
|
|
|
|
Построим явно это 2D/2-мерное неприводимое представление алгебры(3.10.1). |
|||||||||
Для этого разобьем все множество образующих {Γm} на2группы,скажем на |
|||||||||
группы с четными и нечетными индексами, рассмотрим следующий набор опе- |
|||||||||
раторов {zα, zα} (α = 1, . . . , D/2 = ν) |
|
|
|
|
|
|
|
||
1 |
(Γ2α−1 + i Γ2α) , |
|
1 |
(Γ2α−1 |
− i Γ2α) . |
(3.10.4) closc |
|||
zα = |
|
zα = |
|
|
|||||
2 |
2 |
||||||||
Эти операторы,в силу соотношений(3.10.1),образуют |
D/2-мерную алгебру фер- |
||
мионных осцилляторов |
|
|
|
[zα, zβ ]+ = 0 , |
[zα, zβ]+ = 0 ( α,β ) , [zα, zβ]+ = δαβ . |
(3.10.5) cl3 |
|
Займемся построением представления ρ для алгебры(3.10.5).Наиболее естественный способ–это построение пространства Фока для алгебры(3.10.5),когда опе-
раторы zα мы рассматриваем как операторы уничтожения,а |
zα – как операторы |
рождения.Пусть |0 – вакуумный вектор, т . е . |
|
zα |0 = 0 ( α = 1, . . . ,ν ) , |
|
тогда все пространство представления Фока для алгебры(3.10.5)порождается векторами (k = 0, 1, . . . ,ν ):
|α1, . . . ,α k = zα1 · · ·zαk |0 (1 ≤ α1 < α2 < . . . <α k ≤ ν) |
(3.10.6) fock |
Число таких независимых векторов вычисляется также как и размерность алгебры Клиффорда и в результате это число равно 2ν = 2D/2, что совпадает с размерностью минимального точного матричного представления алгебры Клиффорда Cl2ν , указанной выше.
Определение. Вектора в пространстве Фока(3.10.6)называются |
D = 2νмер - |
ными спинорами. |
|
162
В случае ν = 1 представление для(3.10.5)двум |
ерно,т.к.в качестве базисных |
|||||||
элементов мы имеем v1 = |0 , v2 = z |0 . Далее |
|
|
|
|
|
|
||
zv1 = 0 , zv2 = v1 , zv1 = v2 , zv2 = 0 , |
|
|
|
|||||
т.е.в базисе v1, v2 мы имеем матричное представление: |
|
|
|
|||||
zvi = vkρki(z) , zvi = vkρki(z) |
|
ρ(z) = |
|
0 1 |
, ρ(z) = |
|
0 0 |
, |
|
|
|
0 0 |
|
|
1 0 |
|
|
(в дальнейшем для простоты мы не будем писать знак гомоморфизма ρ).Соот- |
||||||||
ветствующие двумерные гамма-матрицы имеют вид |
|
|
|
|
||||
Γ1 = σ1 , Γ2 = σ2 , Γ3 = (−i)Γ1Γ2 = σ3 , |
|
|
(3.10.7) cld2 |
|||||
где Γ3 = σ3 является двумерным аналогом γ5-матрицы,а3матрицы Паули |
(σ1, σ2, σ3) |
|||||||
являются3-х мерными гамма-матрицами. |
|
|
|
|
|
|
|
|
Для произвольного числа ν это представление обобщается следующим образом
|
|
|
|
|
|
|
|
|
|
0 |
1 |
|
|
|
|
|
|
|
|
(3.10.8) 4 |
zα = σ3 |
|
σ3 |
· · · |
σ3 |
|
0 |
0 |
|
|
1 |
· |
ν· |
1 , |
|||||||
|
|
α−1 |
|
|
|
−·α |
|
|||||||||||||
8 |
|
|
|
9: |
|
|
|
; |
|
|
|
|
|
8 |
|
|
9: |
|
; |
|
|
|
|
|
zα = σ3 |
|
σ3 |
· · · |
σ3 |
|
0 |
0 |
|
1 |
·ν· |
|
1 , |
|
|
|
(3.10.9) |
5 |
|||||||||||||||||||||
|
|
|
|
|
1 0 |
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
α−1 |
|
|
|
−·α |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
8 |
|
|
|
|
9: |
|
|
|
|
|
|
|
; |
|
|
|
|
|
|
|
8 |
|
|
9: |
|
|
|
; |
|
|
|
|
|
|
|
|||
|
|
1 |
0 |
1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где |
σ3 = *0 |
−1+, 1 = *0 |
1+. Данное представление, |
как и ожидалось, |
является |
|
||||||||||||||||||||||||||||||||||||
2D/2-мерным.Пользуясь условием(3.10.4) |
|
, гаммаматрицы могут быть выражены |
|
|||||||||||||||||||||||||||||||||||||||
через матрицы zα, zα и соответственно записываются в виде |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
Γ2α−1 = zα + zα = σ3 σ3 |
· · · σ3 |
*1 0+ |
1 · · · 1 , |
|
|
(3.10.10) |
cl7 |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
1 |
|
|
8 |
|
|
|
9: |
|
|
|
; |
|
|
|
|
|
|
||
|
|
|
|
|
|
8 |
|
|
|
|
|
9: |
|
|
|
|
; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
α |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
ν−α |
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
*i |
−0 |
+ |
1 ··· 1 . |
|
|
|
|
|||||||||||||||
|
|
Γ2α = i(zα − zα) = σ3 σ3 |
· · · σ3 |
|
(3.10.11) |
cl8 |
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
i |
|
8 |
|
|
|
9: |
|
|
; |
|
|
|
|
|
|||||
|
ν |
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
ν |
|
|
|
|
|
|
|||||||||
Это 2 -мерное представление8 |
|
|
α |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
ν−α |
|
|
|
|
|
|
||||||||||||||||
неприводимо9: ;все; |
другие |
|
|
|
|
2 -мерные представления |
|
|||||||||||||||||||||||||||||||||||
получаются из него преобразованиями эквивалентности(включая всевозможные |
|
|
||||||||||||||||||||||||||||||||||||||||
перестановки Γ-матриц?).Заметим,что в этом представлении |
|
Γ-матрицы уни- |
|
|||||||||||||||||||||||||||||||||||||||
тарны Γ† Γn |
= 1, т . кΓ.† |
= Γn. |
Кроме того мы имеем Γ |
|
|
− |
|
= ΓT |
|
= Γ2α |
1, |
|
||||||||||||||||||||||||||||||
|
|
n |
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
− |
1 |
|
− |
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2α |
2α |
|
|
||||||||
2α |
|
2α |
2α, что можно записать единым образом |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
Γ |
= ΓT = |
Γ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Γm = ΓTm = (−)m+1 Γm .
163
Аналог4-х мерной матрицы Γ5 (3.9.38)имеет вид (ν = D/2) |
|
||
ΓD+1 |
= (−i)ν Γ1 · · ·ΓD = (−i)ν (Γ1Γ2)(Γ3Γ4) · · ·(ΓD−1ΓD) = 5α=1((−i)Γ2α−1Γ2α) = |
|
|
|
|
ν |
|
|
|
= (σ3 1 · · ·) (1 σ3 1 · · ·) · · ·(1 ··· σ3) = σ3 σ3 · · · σ3 , |
|
|
|
(3.10.12) |
g5 |
|
|
ΓD2 +1 = 1 , [ΓD+1, Γm]+ = 0 ( m = 1, . . . , D) . |
|
|
Рассмотрим теперь алгебру Клиффорда (3.10.1)в нечетномерном случае D = |
|
|
2ν +1. В этом случае мы можем предъявить нетривиальный центральный элемент |
|
||
/ |
в C |
2ν+1: |
|
Γ |
l |
|
|
/ |
1 · · · |
|
2ν |
|
2ν+1 |
/ |
− |
Γ = Γ |
|
Γ |
|
Γ |
|
, Γ2 |
= ( 1)ν = eiπν . |
T.о.неприводимые представления Cl2ν+1 характеризуются двумя возможными соб-
ственнvми значениями оператора |
Γ |
eiπν/ 2 |
|
Γ2 |
= 1 |
|
|||
соответствующем представлении |
/: |
± |
|
|
|
. Причем ( |
т . к .m |
|
) мы имеем в |
|
|
|
iπν |
|
|
|
(3.10.13) |
||
Γ2ν+1 = exp( |
|
|
) Γ1 · · ·Γ2ν . |
|
|
||||
|
2 |
|
|
||||||
T.о.,в представлении последний генератор |
Γ2ν+1 всегда строится из предыдущих и |
||||||||
следовательно матричное представление для нечетномерной алгебры Cl2ν+1 получается из матричного представления для Cl2ν добавлением еще одной образующей (3.10.12), (3.10.13)Отсюда. следует,что размерность алгебры ClD для всех D равна 2[D/2], где [D/2] – целая часть числа D/2.
Напомним,что все 2ν - мерные представления алгебы Клиффорда эквивалентны.В частности эквивал ентность представлений ρ(Γm) и ±ρ(Γm) обслуживается специальными матрицами C, C′. Введем в рассмотрение две (2ν × 2ν )-матрицы
C = *i |
−0 |
+ |
*1 |
0+ |
*i |
−0 + |
*1 |
|
0+ |
· · · = σ2 σ1 σ2 σ1 · · · , C |
|
= 1 , |
||||
0 |
i |
|
0 |
1 |
0 |
|
i |
|
0 |
|
1 |
|
2 |
|
|
|
C′ = *1 |
0+ |
*i |
−0 + *1 0+ |
|
*i |
−0 |
|
(3.10.14) |
||||||||
+· · · = σ1 σ2 σ1 σ2 ··· , (C |
′) |
|
= 1 , |
|||||||||||||
0 |
1 |
|
0 |
|
i |
0 1 |
|
0 |
|
i |
|
|
2 |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
(3.10.15) |
|||
которые,как легко проверить,удовлетворяют соотношениям |
|
|
|
|||||||||||||
g5d
cl9
cl10
|
C C′ = (−1)ν C′ C , C′ = (−1)k (i)ν ΓD+1 C (ν = 2k, 2k + 1) . |
||||||
Матрицы C, C′ связаны с гамма-матрицами(3.10. |
10), (3.10.11)следующим образом |
||||||
Γ2 |
Γ4 |
· · · |
Γ2ν = |
(i)k |
σ1 σ2 σ1 . . . σ2 = (i)k C′ , ν = 2k; |
||
|
|
|
(i) |
σ2 σ1 |
σ2 . . . |
σ2 = (i) C , ν = 2k + 1; |
|
|
|
|
|
k |
|
|
k |
|
|
|
|
|
|
|
|
164
Γ1Γ3 |
· · · |
Γ2ν |
− |
1 |
= |
(−i)k σ2 σ1 σ2 . . . σ1 = (−i)k C , ν = 2k; |
|
|
|||||||
|
|
|
|
( i) |
σ1 |
σ2 |
σ1 . . . |
|
σ1 = ( i) C′ , ν = 2k + 1. |
|
|||||
|
|
|
|
|
Мы |
|
k |
|
|
|
|
k |
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
− |
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|||||
Предложение. |
|
|
имеем следующие соотношения |
|
|
||||||||||
|
|
|
|
|
|
− C Γm C = C′ Γm C′ = (−)m+1 Γm = Γm = ΓmT , |
(3.10.16) |
cl11 |
|||||||
|
|
|
|
|
|
|
C ΓD+1 C = C′ ΓD+1 C′ |
= (−1)ν ΓD+1 . |
(3.10.17) |
cl12 |
|||||
Доказательство. Действительно,рассмотрим равенства(3.10.16)для случая мат- |
|
||||||||||||||
рицы C (для случая матрицы C′ рассуждения аналогичны).При коммутировании |
|
||||||||||||||
матрицы Γ2α−1 |
c C мы имеем два возможных случая.Когда фактор σ1 |
из Γ2α−1 |
|
||||||||||||
попадает1.)на фактор |
σ1 из(в этом случае σ1 из Γ2α−1 при проносе через C знак |
|
|||||||||||||
не меняет)и2.)на фактор |
σ2 из(в этом случае |
σ1 из Γ2α−1 при проносе через C |
|
||||||||||||
знак меняет).В первом случае число σ3 в Γ2α−1 нечетно,а во втором случае четно. |
|
||||||||||||||
T.o.в обоих случаях мы имеем |
Γ2α−1 |
= −Γ2α−1. Аналогично рассуждая, мы по - |
|
||||||||||||
лучаем Γ2α |
= Γ2α, что и доказывает(3.10.16)в случае матрицы C. Соотношение |
|
|||||||||||||
(3.10.17)очевидно. |
|
|
|
|
|
|
|
|
|
• |
|
||||
Отметим,что если ρ(Γm) – 2ν -мерное матричное представление алгебры ClD, |
|
||||||||||||||
то и ρ(Γm) , ρ(Γm)T , ρ(Γm)† (включая все перестановки матриц ρ(Γ1), . . . ,ρ (ΓD+1)) |
|
||||||||||||||
также являются матричными представлениями ClD, причем все они эквиваленнт- |
|
||||||||||||||
ны,что в частности отражено в соотношении(3.10.16). |
|
|
|||||||||||||
Определим элементы Γmn = 41 (ΓmΓn − ΓnΓm). Элементы Γmn удовлетворяют |
|
||||||||||||||
коммутационным соотношениям для алгебры Ли группы SO(D) (в коммутацион- |
|
||||||||||||||
ных соотношениях(3.8.15)необходимо заменить |
|
gmn → δmn) |
|
|
|||||||||||
|
|
|
|
|
|
[Γnm, Γkl] = δmkΓnl − δlnΓkm − δnkΓml + δlmΓkn . |
(3.10.18) |
lilo6 |
|||||||
Действительно,это соотношение следует из тождеств |
|
|
|||||||||||||
|
|
|
|
|
[Γnm, |
Γk] = δmkΓn − δnkΓm , |
|
ΓnΓl = 2 Γnl + δnl , |
(3.10.19) |
cl33 |
|||||
которые легко проверяются с помощью(3.10.1).
Пусть X = xmΓm = X†, тогда X2 = x2 I. Рассмотрим преобразованияc помо - щью унитарных матриц A:
X → X′ = A X A−1 = A X A† X′ = X′† |
(3.10.20) prspin |
такие,что если X = xmΓm, то X′ снова представима в виде X′ = x′mΓm. В этом случае мы имеем x2 = x′2. Такие преобразования образуют группу, которая называется Spin(D) и очевидно дважды накрывает SO(D) (±A обслуживают одно и тоже линейное преобразование координат xm, определяющих матрицу X).
165
Рассмотрим совокупность матриц вида |
|
|
|
|
|
|
|||||
|
|
|
|
A = exp(ωmnΓmn) , |
|
|
(3.10.21) |
prspin1 |
|||
где ωmn = −ωmn – вещественные параметры. В силу эрмитовости |
Γ-матриц мы |
|
|||||||||
имеем |
mn |
− |
mn и следовательно |
A† = A−1 |
, т . е . – унитарные матрицы. С дру- |
|
|||||
|
Γ† |
= Γ |
|
|
A |
|
|
|
|||
гой стороны соотношения(3.10.19)гарантируют,что в результате преобразований |
|
||||||||||
(3.10.20) cматрицами(3.10.21) будет выполняться свойство X′ = x′mΓm. Следова- |
|
||||||||||
тельно матрицы(3.10.21)принадлежат группе |
|
Spin(D). Т . к . алгебра(3.8.15) (для |
|
||||||||
gmn = δmn) и (3.10.18)совпадают, то группы |
SO(D) и Spin(D) локально изоморф- |
|
|||||||||
ны. |
|
|
|
|
|
|
|
|
|
|
|
Замечание. Имеется другой индуктивный способ построения представлений -ал |
|
||||||||||
гебры Клиффорда(3.10.1),который приво |
дит к представлениям отличающим- |
|
|||||||||
ся от(3.10.10), (3.10.11)Этот. |
способ |
заключается в том,что если задано 2ν - |
|
||||||||
мерное представление алгебры Cl2ν с образующими {Γ1, . . . , Γ2ν }, то образующие |
|
||||||||||
{Γ1′ , . . . , Γ2′ ν+2} алгебры Cl2ν+2 могут быть реализованы в виде 2ν+1-мерных матриц |
|
||||||||||
следующим образом |
|
|
|
|
|
|
|
|
|||
Γm′ = τ2 Γm |
(m = 1, . . . , 2ν) , Γ2′ ν+1 = τ2 ΓD+1 , |
Γ2′ ν+2 = τ1 I2ν , (3.10.22) |
cldn |
||||||||
где операторы τi должны образовывать2-мерную алгебру Клиффорда |
|
||||||||||
|
|
|
τiτj + τj τi = 2δij |
(i, j = 1, 2) , |
|
|
|||||
(например, |
τi могут бать реализованы в виде 2 ×2 матриц Паули τ1 = σ1, τ2 = σ2). |
|
|||||||||
Если в качестве представления исходной алгебры Клиффорда для ν = 1 мы вы- |
|
||||||||||
берем эрмитово представление(3.10.7),то в результате для всех |
ν мы получаем |
|
|||||||||
по индукции эрмитово представление(3.10.22) |
|
m |
m. С точностью до пере- |
|
|||||||
|
|
|
|
|
|
|
(Γ′ |
)† |
= Γ′ |
|
|
становки образующих и умножения некоторых из них на i это представление(для ν = 1) эквивалентно представлению4- х м ерной алгебры Клиффорда,приведен-
ному в(3.9.33).
Алгебра Клиффорда Cl(D−1,1). Спинорная группа Spin(D − 1, 1).
Перейдем к рассмотрению псевдоевклидовой метрики gmn = diag(+, −, . . . , −). Для этого введем матрицы
γ0 = Γ1 , γk = iΓk+1 |
(k = 1, . . . , D − 1) , |
(3.10.23) |
Gaga |
для которых имеем |
|
|
|
γmγn + γnγm = 2gmn |
(m, n = 0, . . . , D − 1) , |
(3.10.24) |
clg |
166
γm = (−)m gmm γm = (−)m γ0γmγ0 , |
γmT = (−)mγm , |
(3.10.25) |
12 |
||||
γm† = gmmγm = γ0γmγ0 , −C γm C = C′ γm C′ = (−)m γm , (m = 0, 1, . . . , D − 1) . |
|
||||||
|
|
|
|
|
|
(3.10.26) |
13 |
Т.о.из соотношений(3.10.25), (3.10.26)мы имеем равенства |
|
|
|||||
γmT = −C γm C = C′ γm C′ , |
(3.10.27) |
13a |
|||||
γm = −BγmB−1 , |
B = Cγ0 . |
(3.10.28) |
14 |
||||
Из соотношения(3.10.28)и его комплексно сопряженного аналога легко вывести |
|
||||||
равенство γm = B Bγm(B B)−1 откуда следует,что |
|
|
|||||
B B = BB = ϵ1 , |
(3.10.29) |
mc1 |
|||||
(т.к.представление γm неприводимо).Константа ϵ является вещественной и мас- |
|
||||||
штабным преобразованием матрицы B может быть приведена к ϵ = ±1. Отметим, |
|
||||||
что в представлении(3.10.10), (3.10.11), (3.10.14)мы имеем |
|
|
|||||
B = C Γ1 = (−i)σ3 σ1 σ2 σ1 . . . , |
B B = (−1)k+1 1 ϵ = (−1)k+1 , (3.10.30) |
mc |
|||||
где k определяется из соотношений ν = 2k − 1, 2k. |
|
|
|||||
Группа Spin(D −1, 1) определяется также как и группа Spin(D) (см. (3.10.21)) |
|
||||||
а именно как множество матриц вида |
|
|
|
||||
A = exp( |
1 |
ωmnγmn) , |
(3.10.31) |
prspin10 |
|||
|
|||||||
|
|
2 |
|
|
|
|
|
где ωmn = −ωmn – вещественные параметры, совпадающие с параметрами группы |
|
||||||
Лоренца,а образующие Γmn алгебры Ли группы Spin(D − 1, 1) имеют вид |
|
||||||
1 |
(γmγn − γnγm) , |
(3.10.32) |
prspin11 |
||||
γmn = |
|
||||||
4 |
|||||||
и удовлетворяют соотношениям |
|
|
|
|
|
|
|
[γnm, γkl] = gmkγnl − glnγkm − gnkγml + glmγkn , |
(3.10.33) |
ggmn |
|||||
которые следуют из тождеств |
|
|
|
|
|
|
|
[γnm, γk] = gmkγn − gnkγm , |
γnγl = 2 γnl + gnl . |
(3.10.34) |
cl331 |
||||
В силу свойств(3.10.26)эрмитова сопряжения |
γ-матриц мы имеем γmn† |
= −γ0Γmnγ0 |
|
||||
и следовательно условие унитарности для матриц A (3.10.31)переписывается в ви- |
|
||||||
де |
|
|
|
|
|
|
|
A†γ0A = Aγ0A† = γ0 A−1 = γ0A†γ0 . |
(3.10.35) |
unit31 |
|||||
167
Т.е., 2D/2 ×2D/2- мерные матрицы A принадлежат некомпактной унитарной группе SU(2D/2−1, 2D/2−1). Доказать! С другой стороны соотношения(3.10.34)гарантируют,что в результате преобразований
|
|
X′ → AXA−1 , |
|
(3.10.36) |
dmersp |
||||
c матрицами(3.10.31),где |
|
X = xmγm, будет выполняться свойство X′ = x′mγm, где |
|
||||||
автоматически мы получим инвариантность x′mgmnx′n = xmgmnxn. Следовательно |
|
||||||||
матрицы(3.10.31)принадлежат группе,которая обозначается |
Spin(D − 1, 1) и |
|
|||||||
которая(в силу преобразования(3.10.36))дважды накрывает группу |
SO(D−1, 1). |
|
|||||||
Т.к.алгебры Ли(3.8.15)и(3.10.33)совпадают,то группы |
SO(D −1, 1) и Spin(D − |
|
|||||||
1, 1) локально изоморфны. |
|
|
|
|
|
|
|||
Пользуясь соотношением(3.10.35)мы |
определим дираковское сопряжение |
|
|
|
|||||
ψ |
|
||||||||
для многомерных спиноров.Инфинитези |
мальные реобразования спиноров ψ при |
|
|||||||
лоренцевских вращениях,опреде ляемых матрицами(3.10.31), ( ωmn = −ωnm R) |
|
||||||||
имеют вид |
1 |
|
|
|
|
|
|
|
|
δψ = |
ωmn γmn ψ , γ |
mn = (γmγn − γnγm)/4 , |
(3.10.37) |
20 |
|||||
|
|||||||||
2 |
|||||||||
|
|
γmn† = −γ0 γmn γ0 , |
|
(3.10.38) |
20a |
||||
что соответствует преобразованиям γ-матриц |
|
|
|
|
|
||||
|
δγk = −[ωmn γmn, γk] = ωkm γm . |
|
(3.10.39) |
20b |
|||||
Ком.соотношения для генераторов γmn (3.10.37)были вычислены (3в .10.33) (ср. с формулой(3.10.18))Из. (3.10.37)следует,что сопряженный по Дираку спинор ψ = ψ†γ0 преобразуется в виде
|
|
|
|
|
(3.10.40) 21 |
δψ |
= ψ(−ωmn Lmn) |
||||
и соответственно величины типа ψ(γm . . .)ψ преобразуются как тензоры,а преобразования ψ → exp(ωmn Lmn)ψ являются унитарным по отношению к скалярному произведению ψ1ψ2 = ψ1†γ0ψ2, что следует из(3.10.35)и (3.10.38).
168
3.11Лекция19.Уравнение Дирака и многомерные спино- ры.Зарядово-сопряженные,вейлевские и майорановские спиноры в многомерии.Ковариантность уравнения Дирака.
Если спинорное поле ψ(x) удовлетворяет уравнению Дирака( M –масса частицы)
((i∂m − eAm)γm − M) ψ = 0 , |
(3.11.1) 15 |
(согласованному с выбором метрики gmn = (+, −, . . . , −)) то спинорное поле
|
|
ψC = B−1ψ |
(3.11.2) |
positr |
||
(эта формула,как нетрудно увидеть,эквивалентна(3.9.41) cточностью до заме- |
|
|
||||
ны B → −B; полная эквивалентность достигается при замене спиноров ψ → iψ) |
|
|||||
соответствует античастице и подчиняется уравнению Дирака(3.11.1),в котором e |
|
|||||
заменено на −e. Действительно, комплексно сопрягая уравнение(3.11.1) и умно - |
|
|||||
жая его слева на B−1, с учетом(3.10.28)мы получаем |
|
|
||||
B−1 ((−i∂m − eAm)γ m − M) ψ = ((i∂m + eAm)γm − M) B−1 ψ = 0 . |
(3.11.3) |
15C |
||||
Спинор ψC называется зарядово-сопряженным спинором , а матрица C- матрицей |
|
|||||
|
|
|
|
|||
зарядового сопряжения(т.к.с ее помощью определяется зарядово-с пряженный |
|
|||||
¯T |
, ср . с (3.11.2)).Уравнение(3.11.1),описывающее частицу со |
|
||||
спинор ψC = −Cψ |
|
|||||
спином,было открыто П.Дираком.Он же |
заметил,что если у нас есть реше- |
|
||||
ние(3.11.1),описывающий частицу с зарядом |
e, то с помощью преобразования |
|
||||
(3.11.2)доказывается существование нетривиального решения уравнения(3.11.3), |
|
|||||
описывающего античастицу с зарядом −e. На основании этого наблюдения Дирак |
|
|||||
предположил,что у каждой спиновой частицы должен быть партнер,соответству- |
|
|||||
ющий античастице с противоположным зарядом.Например для электрона должна |
|
|||||
обязательно существовать античастица–позитрон.Вскоре эта,предсказанная им |
|
|||||
теоретически,частица была на йдена экспериментально. |
|
|
||||
По определению майорановский спинор(мы ввели эти спиноры при |
D = 4 |
|
||||
выше в(3.9.42))описывает частицы совпадающие со своими античастицами |
ψ = |
|
||||
ψC , т . е . |
|
|
|
|
|
|
|
|
ψ = B−1ψ , |
(3.11.4) |
major |
||
169
(при этом из(3.11.1)и(3.11.3)следует e = 0).Из уравнения(3.11.4))и его комплексно сопряженного аналога легко выводится соотношение ψ = BB ψ = ϵψ, ко - торое означает,что для существования майо рановских спиноров необходимо иметь BB = +1, или ϵ = +1. Вычислим ϵ для матрицы B (3.10.28).Имеем
γ0 = γ0 = γ0T , C 0γ= −γ0C , C = (−)k C = CT (ν = 2k − 1, 2k) , (3.11.5) 16
откуда сразу следует,что BB = (−)kCγ0Cγ0 = (−)k+1 Т.о. ϵ = +1 если k нечетно k = 2l + 1 (l = 0, 1, . . .) и 2 + 8l, 4 + 8l. Во всех остальных четномерных случаях(
ϵ = −1.
Эаметим,что параметр ϵ можно записать в виде
ϵ = −√2 cos |
2 |
4 (D + 1)3 . |
||
|
|
|
|
π |
Замечание1. Имеют место равенства
= ϵ (сравните с(3.10.30)).
соответственно D = 2ν =
D = 0, 6 mod(8)) имеем
|
|
BT = ϵB , BB† = 1 . |
|
(3.11.6) |
BB |
|||
Действительно,пользуясь(3.10.25), (3. |
10.26), (3.10.27), (3.10.30)и(3.11.5),мы по- |
|
||||||
лучаем |
|
|
|
|
|
|
||
(C γm1 · · ·γmp )T = γmT p · · ·γmT 1 CT = (−)k+p C γmp · · ·γm1 = |
(3.11.7) |
CG |
||||||
= ϵ (−)p−1 (−) |
(p−1)p |
C γm1 · · ·γmp |
= ϵ (−) |
(p−1)(p−2) |
C γm1 · · ·γmp , |
|||
|
|
|||||||
2 |
2 |
|
|
|||||
где m1 < m2 < .... < mp. В частности мы имеем (Cγm)T = ϵCγ m, откуда с учетом |
|
|||||||
определения матрицы B (3.10.28)мы получаем первое равенство (3из.11.6) |
|
|||||||
|
|
BT = (C γ0)T = ϵ Cγ 0 = ϵ B . |
|
|
||||
Пользуясь этим равенством(3и.10.29)мы легко выводим второе равенство из |
|
|||||||
(3.11.6). |
|
|
|
|
|
|
|
|
Замечание2. При преобразовании подобия для образующих алгебры Клиф- |
|
|||||||
форда γm′ = UγmU−1 матрица B, согласно (3.10.28), преобразуется по правилу |
|
|||||||
B′ = U BU−1. Условие приведения матрицы B к единице U B = U (чисто мнимое |
|
|||||||
представление для γm и вещественность майорановских спиноров ψ = Bψ = ψ, |
|
|||||||
см. (3.11.4))самосогласовано лишь в случае,когда |
ϵ = +1. Очевидно, что матрица |
|
||||||
U определена с точностью до домножения слева на произвольную невырожденную |
|
|||||||
вещественную матрицу R: U → RU. Разлагая матрицу B на мнимую и действи- |
|
|||||||
тельную части B = B1 + iB2, где B1,2 |
вещественны и симметричны( |
ϵ = +1),из |
|
|||||
170
