Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Group_theory_lecture

.pdf
Скачиваний:
158
Добавлен:
03.06.2015
Размер:
2 Мб
Скачать
☆

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

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]