Академический Документы
Профессиональный Документы
Культура Документы
Ru
Общероссийский математический портал
Параметры загрузки:
IP: 185.97.201.164
7 июля 2020 г., 02:16:12
1955 г. т< X, вып. 2 (64)
УСПЕХИ МАТЕМАТИЧЕСКИХ HAVE
ТЕОРИЯ СПИНОРОВ
П. К. Р а ш е в с к и й
ПРЕДИСЛОВИЕ
§ 2. Поливекторы
pi1 P? . .. p?
.. p?
4i _
w pi' • (2.17)
l
?2 k
Pk Pk • • Pk
Для формулы (2.16) мы будем применять также и сокращённую запись
a = i>[p1P2...Pft]. (2.18)
Заметим, что строчные жирные буквы будут обозначать у нас в дальней
шем поливекторы, в частности векторы. Поливектор а мы будем называть
косым произведением векторов р 1? р 2 , . . ., pfe (заданных в данном порядке).
8 П . К. РАШЕВСКИЙ
§ 3. Клиффордова алгебра
и
В (Ь, #1, 6*1*2, . . . , # 1 * 2 . . . i»)
E
^ i . . . « rt E Pl ... prt = E a i + P l , . . . , « ^ ^ - ( - W • ( 3 -l 7 )
Здесь суммы а1 + $1, . . . , a77 -j- $n берутся по модулю 2, т. е. сумма двух
индексов, равных единицэ, считается разной нулю. Поэтому, если какой-
либо индекс встречается в обоих множителях (3.16), например ix = / 2 — т,
то в E a i . . . a и в Ер1ш..р на т-ы месте стоит 1, а следовательно, в правой
части (3.17) на т-м месте будет стоять 0, т. е. общий для множителей индекс т
в произведение не войдёт. Наоборот, если какой-либо индекс р встречается
14 П. К . Р А Ш Е В С К И Й
2 *£t = N- (3.18)
2 «*р*
E
« l . . . « n E P l . . . Pw = E
a i + Pi, . . . , a n + P n ( — l ) S > ' • (4-1)
Далее, произведение базисных поливекторов, снабжённых числовыми
коэффициентами, например aeilm..i и 6еу1#..у , мы определяем по формуле
E
P i ••• P n E v i . . . T.n = E P l + 1 f l . . . p n + T n ( - l)s>t .
aa = 2 2 ( a V ) ( e i e y ) . (4.6)
г j
aa = I ( a T ( e i e i ) = }:(« i ) 2 = | a | 2 .
i г
перестановке любых двух соседних индексов как правая, так и левая часть
(4.9) меняет знак (последнее вытекает из соотношений epeq=—eqep;
см. (4.7)). В силу косой симметрии е ^ . . . ! , по всем индексам альтерниро
вание (с делением на к\) не меняет этого поливектора. Вставляя теперь
(4.9) в (4.8) и альтернируя по множителям р х , . . . , pfe, получаем:
1
Y\ [Pi •' ' Pft] = P?P*2 ' ' ' Plkeni2... v
В правой части попреяшему происходит суммирование по iv i2, . . . , ife
от 1 до я, однако при условии, что все индексы i19 i2, . . . , ik различны.
Согласно (2.19) мы можем переписать наш результат в виде
Этим условие 5° проверено. Теперь мы можем под Р[р± . . . pfe] понимать как
альтернированное (с делением) произведение векторов р 1? . . ., pk, так и их
внешнее произведение.
Итак, введённое нами умножение агрегатов удовлетворяет всем усло
виям 1° —5°, но такое умножение, как было выяснено в конце § 3, будет
однозначно определённым и тем самым не зависящим от выбора базиса,
в котором мы проводили выкладки.
Совокупность всевозможных агрегатов в Rn, для которых определено
сложение, умножение и умноэюение на число указанным выше путем (§ 3),
называется клиффордовой алгеброй в пространстве Rn (умножение на число
можно рассматривать также как умножение на агрегат вида (а, 0, . . . , 0)).
Кдиффордову алгебру в R'n мы будем обозначать Сп.
Мы будем называть агрегат чётным (нечетным), если он содержит
поливекторы лишь чётных (нечётных) валентностей (к числу чётных валент
ностей мы относим и нулевую). Как видно из (3.4), всякий агрегат разлагается
на сумму чётного и нечётного.
Произведение базисных поливекторов е^... t в случае их одинаковой
чётности даёт всегда чётный, а в случае разной чётности — нечётный
базисный поливектор. Отсюда тот же результат получается вообще и для
чётных и нечётных агрегатов. В частности, произведения чётных агрегатов
будут всегда чётными; чётные агрегаты в Сп ^образуют подалгебру, изо
морфную, как мы увидим далее, Сп~\.
^ Успехи матем. наук, т. X, вып. 2
18 П. К . РАШЕВСКИЙ
А = а + 2 fl^en + 2 a i l i 2 ef,e i 2 + . . .
i\ ii<i2
е е е == е
1^2 ~ 21 12> I
е е е е е
1 2 2 = — 2 1 2 = 1» \ (5.4)
е
12е1 == е
1е12 = e
2»J
е* = е | = 1, e;s=-l. (5.5)
ij=—ji=k,
jk=-kj=i, i 2 = j 2 = k 2 = — 1. (5.8)
ki=—ik = j,
Обозначая
a>=l±i5i5fL, Ш '=±^1яз (5.13)
§ 6. Группа версоров
х = (ах) с а + { х - ( а х ) с а } . (6.3)
аа = а 0. (6.7.)
Обозначим
п (п — 1)
8=±Г~5~, (7.2)
так что
Г ±1 ( л = - 1 , 4, 5, 8, 9, 12, 13, . . . ) ,
£
I ±i (7i = 2, 3, 6, 7, 10, 11, ...).
Подсчитаем теперь размерность п клиффордовой алгебры С£, т. е. наиболь
шее возможное число линейно независимых агрегатов. В качестве таковых
можно взять базисные поливекторы е^ ... \ при & = 0, 1, 2, . . . , п (мы счи
таем, что при к = 0 базисный поливектор есть просто единица). При дан
ном к число линейно независимых^ базисных поливекторов равно числу
сочетаний из /2 по ^ а следовательно,
п = С°п + С1п+...+(% = (1 + 1)п = 2п. ( 7 .3)
Но, если бы здесь хотя бы в одном случае имел место знак < , мы всту
пили бы в противоречие с (7.16). Итак,
Л (1) = = / г (2) = ^ = 2п-1. (7.17)
Тем самым при гомоморфных отображениях {А"} на {А^1)} и {А^2^} размер
ность не снижается, а следовательно, они являются изоморфными отображе
ниями.
Итак, подалгебры (А^1)}, {А<2)} изоморфны {А"}, а следовательно, и Cn-i-
Этим наше утверждение полностью доказано.
§ 9. Алгебра аффиноров
Зтот параграф носит подготовительный характер: в нём мы рассмотрим
алгебру аффиноров (геометризированная форма алгебры матриц) с целью
доказать в § 10 основную теорему теории спиноров.
Рассмотрим комплексное аффинное пространство произвольного числа
измерений т (подробно об аффинном пространстве см. [1], §§ 21 — 24;
кратко - это множество точек и векторов, обладающих всеми теми свой
ствами, как и в евклидовом пространстве, за исключением одного: скалярное
произведение векторов не определено, и тем самым метрика отсутствует).
Мы будем интересоваться только векторами нашего пространства;
в этом случае мы его будем назыгать т-мерным комплексным векторным
пространством, В этом пространстве можно произвольным образом выбрать
базис, т. е. т линейно независимых векторов е А ( Х = 1 , 2, . . . , т ) , по кото
рым мы будем разлагать любой вектор | ;
§ = 1*еА. (9.1)
Будем называть аффинором закон, по которому каждому вектору |
ставится в соответствие определённый вектор YJ:
§-*Ч, (9-2)
ТЕОРИЯ СПИНОРОВ 33
А-+А (11.1)
некоторым определённым способом. Возьмём теперь другой экземпляр про
странства S9V — будем обозначать его S^ — и любым возможным способом
установим изоморфизм
А->1' (11.2)
А-+А' (11.3)
1, e lf (12.3)
ТЕОРИЯ СПИНОРОВ 41
ное ) умножаются на — 1.
Т Е О Р И Я СПИНОРОВ 45
А + В = А + В, |
^ _ (13.4)
аА = аА. J
Однако умножению агрегатов А отвечает умножение агрегатов А в обрат
ном порядке:
АВ-ВА. (13.5)
Ввиду того, что каждый агрегат разлагается по базисным поливекто
рам ei 1# ..iv, равенство (13.5) достаточно проверить для частного случая,
e
h ... ikeh ... j m — eJm ... heik ... il- (13.6)
Чтобы проверить это соотношение, перепишем его в виде
получаем:
Ат = LATL-\
откуда видно, что L перестановочна с А , т. е. с любой матрицей. Но таким
свойством обладают только матрицы вида al, где / — единичная матрица.
Итак, L = C~1C=aI, т. е. С — аС. Тем самым тензор сл^ вполне определён
с точностью до численного множителя а Ф 0.
Покажем теперь, что тензор сл^ (или, что равносильно, сМх) является
или симметрическим, или кососимметрическим.
Мы знаем, что дважды транспонированный агрегат совпадает с перво
начальным, А = А. Выпишем формулу (13.12)
А^САТС^ (13.16)
и применим её к агрегату А:
2^САТС-1, (13.17)
48 П. К . РАШЕВСКИЙ
АТ = (СТ) Х
АСГ;
получаем:
А = (СГС-1) 'А^С'1).
т
В результате матрица С С"1 оказывается перестановочной с любой матри
цей А, а следовательно,
СтС~1 = аГ, Ст = аС. (13.18)
Транспонируя матрицы в правой и левой части, имеем:
С = аСт. (13.19)
Вставляя (13.18) в (13.19), получаем, что
fl2 = l, а=±1. (13.20)
Теперь из (13.18) следует: в случае а = 1
с* = с** (cA|i = c M ), (13.21)
в случае а= —1
с^= -с^ (сАц=-см). (13.22)
Более глубокое исследование (§ 27) покажет, что
v(v-l)
2
с^ = (-1) с^Л, (13.23)
я
т. е. с ^ симметричен при /г = 2, 8, 10, 16, 18, . . . и кососимметричен при
/ 1 - 4 , 6, 12, 14, 20, 22, . . .
§ 14. Сшштензор е*
li = exva%. (14.13)
Так записывается автоморфизм А—>А* через введённый нами фунда
ментальный спинтензор е*.
4 Успехи матем. наук, т. X, вып. 2
50 П. К . РАШЕВСКИЙ
А* = (~ 1)" 2 А, (15.1)
Очевидно, при этом порядок наложения преобразований (13.2), (14.3) без
различен—эти преобразования перестановочны между собой. Поэтому
мы пишем просто:
А - > А * , где A* - ( A ) * = (А*). (15.2)
Перепишем (15.2) в спянорном представлении, пользуясь (13.16) и (14.11)
(напомним, что Е = Е~1): А* = ЕСАТСЛЕ = С(ЕАЕ)ТС\ или
х
) Преобразование А—> А —антиавтоморфизм, как мы знаем (§ 13); умножение
на С слева и на С~1 справа —автоморфизм, результат—антиавтоморфизм.
54 П. К . РАШЕВСКИЙ
1 0|
Повторяя те же рассуждения, как и в случае л = 2, мы ищем матрицу
С = \\с^\\ таким образом, чтобы антиавтоморфизм А—>СА С'1 переводил
все Е% снова в Еь. Тем самым это будет антиавтоморфизм А—>А.
Мы запишем это требование, учитывая, что
Е\ = Ev E2 = Е2 Ej=-Es, Ej=-EA. (16.12)
Получаем:
СЯ 1 С" 1 = ^ 1 , СЕ2С^ = Е2, •CEJC~1 = E*, -CEJC-1-. E,.
Другими словами, матрицу С нужно подобрать так, чтобы она коммутировала
с Е\ и Е2 и антикоммутировала с Е3 и Е±. В силу свойств матриц Е{
(см. (12.19)) очевидно, что такой матрицей будет Еи = Е3Е^, так что можно
положить (цользуясь (16.11)):
;о - 1 !
! А
1 о;
С: с М| = (16.13)
Т" 6""1
! - 1 01
Как всегда, найденную матрицу С можно домножить на любой числовой
множитель (ф0).
Инвариантным фактом является здесь косая симметрия тензора ся*\;
тем самым общее соотношение (13.23) доказано для частного случая п = 4.
Найдём теперь е* в том же спинбазисе. В силу (14,5) можно положить
е = 1 , ее = е1234 (так как п = 4).
Следовательно, согласно (14.12) и (12.18 х )
1 0!
0 1
= Е = Е12и = (16.14)
1
о
Т Е О Р И Я СПИНОРОВ 55
V* = ( - l ) 4 a 2 . . . a / l . (17-5)
Перемножая теперь агрегаты (17.2) и (17.5), получаем число
VV* = ( - l ) f t - a 1 a 1 . a 2 a 2 . . . а А , (17.6)
где a ^ j , а 2 а 2 , . . . совпадают, как мы знаем, со скалярными квадратами
векторов а1? а 2 , . . .
Очевидно, что при умножении V на какой-нибудь числовой множитель а
V* умножается на тот же числовой множитель, так что (17.6) умножается
на а 2 . Из числа версоров V, отвечающих одному и тому же вращению,
найдётся ровно два {отличающихся лишь знаком) версора, для которых
VV* = 1. (17.7)
Действительно, для этого необходимо и достаточно подобрать а2 равным
обратной величине (17.6), причём для а получатся два значения, отличаю
щихся лишь знаком.
В дальнейшем мы всегда предполагаем, что рассматриваемые версоры
пронормированы, т. е. удовлетворяют условию (17.7). Пронормированные
версоры попрежнему (§ 6) образуют группу, так как условие нормировки
х
) Мы позволим себе употреблять это неточное выражение, имея в виду «с точ
ностью до умножения на —1».
Т Е О Р И Я СПИНОРОВ 57
ед = ± * Х (17.16)
(-1)
где v\— матрица, обратная v\, а следовательно,
(-1) я (-*)
10 и\ 0 11 0 и\ Т 1 0 1 | 1 0 1|[
т. е. 0
1» 0 ' -1 0| v 0 -1 о| 1 - 1 Oil
;
и 0 1 0 1 \и 0 IT 10 0 11
v 1 11 0 uv 1
J° -1 0 1 0 v 1 - °| т. е. -uv 0 1 = -1 о|
1и 0| 0 и
V= + О 1 ! v= + 1 0
(18.9)
и 1
соответственно для случая собственных и несобственных вращений в R*2.
Здесь и — произвольное комплексное число, не равное нулю.
Посмотрим теперь, по какому закону спинвращениям (18.9) отвечают
вращения в R*2. Согласно (17.1) произвольный вектор а преобразуется
по закону
а - > VaV-\
а в матричной записи
A~±VAV-\
где А имеет вид (18.2). Элементарный подсчёт показывает, что в рассма
триваемых двух случаях:
1) ax-ia2-^u2{ax-ia2), a^ia2-
1
2) а1 — ia2 —> — и2 (a 1 -f ia2), а1 -\- ia2 - (а1 — ia2),
62 II. К . Р А Ш Е В С К И Й
1) 2)
uL — т ( »'
С л у ч а й п = 4. Задаёмся произвольным ортобазисом в i?+ и пользуемся
спинбазисом (12.18). Преимущество этого спинбазиса как раз то, что в нём
просто записываются версоры V.
Прежде всего всякий вектор & = аге{ будет представлен, очевидно,
матрицей A = alEi:
а1 — ia3, а 2 - ia*
3
a2-i- ia*, - a 1 - la 1 ° A'
А = (18.10)
ш*
A" 0
а2 + ш 4 , —. ш°
где i ' , A"— двухрядные матрицы. Как легко подсчитать,
А'А" = - D e t Л ' - / . (18.11)
При этом
ША' = Det А" ( = - а 2 = -а1'2-а2' -а-). (18.12)
Условие (18.11) не только необходимо, но, если Det Л' Ф 0, и доста-
0 А'
точно для того, чтобы матрица представляла некоторый неизо-
А" 0
тропный вектор. Действительно, нетрудно подобрать вектор а так, чтобы
матрица А' имела такую же запись, как в (18.10). Из условия (18.11)
матрица А" определяется единственным образом, а следовательно, должна
иметь ту же запись, как и в (18.10), поскольку в этой записи она заведомо
удовлетворяет условию (18.11).
Мы видим, что матрица А принадлежит к числу матриц вида
0 Р
(18.13)
Q 0
где Р, (? —двухрядные матрицы с одинаковыми определителями: Det P =
= Det Q. При перемножении любого числа таких матриц мы получаем,
очевидно, матрицу того же вида, если число множителей нечётное,
и матрицу вида
Р 0
(18.14)
0 Q
где также D e t P = Det(?, если число множителей чётное. Поэтому версор
(18.5) при к нечётном (вращение несобственное) представляется матрицей V
вида (18.13), а при к чётном (вращение собственное) — матрицей V вида
(18.14), причём
Det/> = D e t ( H - °> (18.15)
так как а2, . . ., а неизотроиные векторы.
Т Е О Р И Я СПИНОРОВ (13
°А'0
1р ° ! 1\ А" р-1 о о PA'Q-1
(18.18)
1 0 Q\ 1| о (t1 QA'P г
0
PRPT=DebPR, (18.21)
что проверяется элементарным подсчётом. Поэтому условие (18.20) сводится
к Det /> = Det <>=--!.
64 П. К . РАШЕВСКИЙ
1° р\ В 01 '0 Р\ Т i
\В 0
(18.22)
\Q o\ |о в\ Q о| 0 В\
Подсчитываем левую часть:
10, РВ О Q1 Р/?Р' о
QB, 0 рт О о, QBQT
после чего условие (18.22) сводится к Det Р = Det (? = 1.
Итак, всевозможные пронормированные версоры представляются в нашем
спинбазисе всевозможными матрицами (18.13), (18.14) при условии
Deti> = Det(? = l . (18.23)
При помощи этих же матриц записываются, следовательно, и всевозмож
ные спинвращения.
Согласно (18.18) при собственном вращении в 7?*
га* а2 - ш 4
А' PA'Q1, где А' =
a2 + ia*, ах ш*
Исходя отсюда, нетрудно явно записать матрицу произвольного (собственно)
ортогонального преобразования над а 1 , а 2 , а 3 , а 4 через элементы двух про
извольных унимодулярных матриц Р, Q как через параметры.
спинбазис {ел}.
Условимся каждому ортобазису { e j в Rn ставить в соответствие
спинбазис {ея} в S2V следующим образом: переводя начальный ортобазис
°
{еь} в ортобазис {е{} подходящим вращением в Rn , мы получаем спинбазис
о
{ej — ± { ° е , } ,
о
§ 2 1 . Сшштензор Щ
Если разложение агрегата А по произведениям векторов (20.3) обла
дает вещественными коэффициентами, то мы говорим, что А принадлежит/?^ .
Если же в этом разложении брать всевозможные комплексные коэффици
енты, то мы получим все агрегаты из Вп (так как это будет по существу
произвольное разложение по базисным поливекторам е^...!&)• Отсюда ясно,
что любой агрегат А можно однозначно представить в виде
А = А1+£А2, (21.1)
где Аг и А 2 принадлежат Bns\
Отображение
A->A-Ax-iA2 (21.2)
переводит Сп в себя, очевидно, взаимно однозначно и притом с сохране
нием операций сложения и умножения агрегатов; операция же умножения
агрегата на число переходит в операцию умножения на комплексно-сопря
жённое число х ).
Всякое отображение Сп на себя, обладающее перечисленными свой
ствами, мы будем называть псевдоавтоморфизмом. Итак, выделение R\? в Вп
влечёт за собой появление в Сп псевдоавтоморфизма А—>А. Очевидно, если
агрегат А б Rn\ то А = А, и обратно.
Будем считать теперь, что п = 2v, и рассмотрим . этот псевдоавтомор
физм в спинорном представлении, пользуясь каким-либо определённым
спинбазисом. Каждый агрегат А будет представлен при этом некоторой матри
цей А, псевдоавтоморфизм (21.2) примет вид псевдоавтоморфизма полной
матричной алгебры М( v
А-+А. (21.3)
С другой стороны, рассмотрим преобразование, при котором каждая матри
ца А заменяется матрицей комплексно-сопряжённой
А-»Ат (21.4)
Очевидно, это также есть некоторый псевдоавтоморфизм полной матричной
алгебры. Последовательное выполнение двух псевдоавтоморфизмов приво
дит, как нетрудно показать, к автоморфизму. Поэтому отображение М v на
себя по закону
А-->А,
полученное последовательным выполнением псевдоавтоморфизмов
А--+А, А-*А,
есть автоморфизм в полной матричной алгебре М v. Как мы знаем ([2],
х
) Всё сказанное вытекает из того, что переход от А к А означает замену всех
коэффициентов в разложении А по произведениям векторов (20.3) на комплексно-со
пряжённые.
Т Е О Р И Я СПИНОРОВ 71
Л^ШГП1 (21.5)
при любом выборе агрегата А.
Матрица 11 определена с точностью до произвольного числового мно
жителя, отличного от нуля (доказательство такое же, как в § 13 для
матрицы С). Сделаем важное для дальнейшего замечание.
Если нам удалось подобрать какую-то матрицу П так, что преобра
зование А—^ИА'Л1 переводит в себя матрицы iEv . . . , iEsi Es±v . . ., Еп,
то это преобразование совпадает с псевдоавтоморфизмом А—>А. Действи
тельно, преобразование А —> ПЛ'П" 1 сохраняет, очевидно, операции сложе
ния и умножения матриц А, а следовательно, и агрегатов А. Кроме того,
векторы iev . . ., zes, e s+1 , . . . , е п ортобазиса в В^ переходят при этом пре
образовании в себя, следовательно, переходят в себя их произведения, взятые
с любыми вещественными коэффициентами и вообще все агрегаты, принад
лежащие i?nS)*
Пусть Av А 2 6 Вп\ Поскольку Аг —-»Ах, А 2 ~* А 2 , то iA2 —» — 1А2
(если учесть, что (iA2)' = — iA'2), следовательно, Аг + z'A2 —*Ах — г*А2. Мы
получили псевдоавтоморфизм А—»А.
Итак, достаточно подобрать матрицу П такую, чтобы
U (iEJ П ' 1 =-- iEv . . . , П (iEsy П" 1 = iE3, ПЯ; + 1 П 1
= Я 8 + 1 , . . ., П ^ П " 1 = Еп,
т. е. чтобы
п£;п""!= -EV ..., n£;n _1 = -Е„
UE'Srl П " 1 = Е8П, . . . , ILEAIT 1 = Еп. (21.6)
ШГ = л/ (\Ф0). (21.7)
п-п = г/.
С! другой стороны, умножая (21.7) на П справа и сокращая затем на П
слева, получаем:
1ГП = Х/.
72 П. К. РАШЕВСКИЙ
нию как координаты спинтензора, то, учитывая, что а£, а\ также ведут
себя как спинтензоры, мы убеждаемся, что соотношение (21.12) остаётся
инвариантным.
Инвариантным остаётся и соотношение
П;:Щ=оя3, (21.13)
шение (21.8).П?(п£У=±8£.
Таким образом, в S v появляется новый фундаментальный спинтензор
я
IIjl (и «обратный» к нему П£), посредством которого записывается псевдо
автоморфизм А—> А.
Спинтензор П! определён с точностью до множителя вида e ie , В—веще
ственное,—соотношение (21.8) при этом не нарушается.
§ 22. Спинтензор П*х
а^е^Ща^Ще^. (22.4)
«il-n^ejn.^ (22.6>
(n^)* = n
V (22.11)
Итак, теперь П- —эрмитов спинтензор. Эрмитовым является, конечно,
и «обратный» спинтензор ГР 3 . Спинтензор П;: пронормирован теперь с точ-
р-
фа = 1Г.<|Л (23.1)
а
а
) Так как можно взять а-\-2к вместо а.
Т Е О Р И Я СПИНОРОВ 75
Фа = и: ^ = и: (Ш ^у = п : ( ± Щ) ^ = ± ф\ (2з.2>
ф а= ^е вр ;р = еврП!<|Л = П. ф\ (23.3)
ф.= - п £ ф . . (23.5)
П = Е,,
и\ п\\\ цо 1 (24.3)
п- п? || || 1 о
Мы знаем, что спинтензор П* можно пронормировать условием (21.8),
ПП' = + 1. Но оказывается, что мы получили П уже в пронормированном
виде: из (24.3) видно, что П2 = 1. Это согласуется в нашем частном слу
чае ( v = l , s = 0) с общим правилом (21.9). Найдём теперь спинтензор Щл-
Согласно (22.1)
11П-М|| = [ | | ^ | | - | | П ? | | ] Т . ' (24.4)
И-
Пользуясь (16.10) и (24.3), получаем:
ГЦ 00- 1 10 1 Т 11-1 0[
Щл| (24.5)
'Ч1|1 о 1 1 0 1' 1 0 1|
В § 22 мы проводили дополнительную нормировку спинтензора П
с тем, чтобы П^; оказался эрмитовым спинтензором. Здесь это излишне,,
так как П^я сразу получился эрмитовым.
2°. п = 2, s=A. Условия (21.6) теперь имеют вид
П ^ П " 1 = - Е19 П ^ П " 1 = Е2,
т. е.
П ^ П ' 1 = -Ег, - UEja"1 = Е2.
Легко подбираем
i 0
П = ЕгЕ2 =
0 - i
Очевидно, ПП" = -\-i, т- е. мы получили П уже в пронормированном
виде. Нормировка в нашем случае (v - 1 , s=l) соответствует общему пра
вилу (21.9). Находим, наконец, П^я согласно (24.4):
Г~ 1 0 -1 1 i 0 || 1 т 10 i
№11 = _ 1 о 1 0 — i || 1
1 i0
Пользуясь нашим правом домножать П на множители вида e9i, умножаем П
на — г, после чего окончательно
| 1 0 о 1
п- 1 = 0 Щ.я1! = 1 0 (24.6)
- 1
Мы добились в соответствии с общей теорией § 22 эрмитовости П^я
ТЕОРИЯ СПИНОРОВ 77
-1 0
Очевидно, Ш Г = 1, так что спинтензор П- уже пронормирован. (Матрица
(24.15), умноженная на — 1, обозначается в [4] через С\ знак здесь несу
щественен, так как П* определяется с точностью до умножения на — 1.)
Пользуясь (24.4) и (16.19), подсчитываем:
| :о - 1 1 ]
0 -11 Т I 1 0
10
1 1 0 |0 1
|П»иЦ = . (24.16)
р -1! 0 1 -10
1 0 | 1 -1 0 0 -1|
Мы получим эрмитову матрицу; дальнейшей нормировки не требуется. Эту
матрицу физики обычно обозначают через р. Она совпадает с 74> н о с о в ~
падение матриц |П ^я I и Е^ \aW* конечно, случайно и имеет место
лишь за счёт специального выбора спинбазиса (спинбазис (12.18) также
обладает этим свойством; см. (24.12)). При произвольном выборе спинба
зиса эти матрицы будут, вообще говоря, различны, так как представляют
спинтензоры с различными законами преобразования. К результатам этого
параграфа необходимо сделать одно общее замечание. Если исходный
ортобазис в Ш^ подвергнуть вращению, а спинбазис в S2V — соответствую
щему спинвращению, то матрицы Ei не меняются (§ 19), а следовательно,
не меняются и подобранные нами матрицы П. Однако можно ли сделать
отсюда вывод, что спинтензор П- будет сохранять постоянные координаты
во всех ортобазисах в /?(s) (т. е. в соответствующих спинбазисах)? Нет, так как,
по существу, матрица П после всех нормировок определена с точностью до
знака, а потому возможно, что координаты спинтензора П* умножатся на — 1
при том или ином вращении ортобазиса в R^\ Подробное исследование
вопроса дано в § 26. Пока укажем, что в R\ ) координаты П* сохраняются
при собственных (т. е. непрерывных) вращениях и «пространственных»
зеркальных отражениях ортобазиса, что весьма важно для физики. При
«временных» зеркальных отражениях координаты II- меняют знаки, но это
уже не создаёт неудобств, так как «временные» зеркальные отражения
в i?4 означают обращение течения времени и рассматриваются редко.
Именно, чтобы обеспечить сохранение координат П^ при «простран
ственных» зеркальных отражениях, в нашем изложении при нормировке
версоров (§ 17) сделан упор на спинтензор ея^, а не на ся*\ В связи
с этим и далее при окончательной нормировке спинтензора П- мы требуем
о о
0 i
E0 = iEt = (25.1)
-i 6
0 -i\
Фундаментальный спинтензор еЛ[Х будет иметь постоянные координаты (16.19):
0 111 [ ;о —1i
-10 jl 0
|еАМ| = б
Яи || = (25.2)
6 1 6 -1!
'-10 1 0:
равно как и фундаментальные спинтензоры П.- и П^д — постоянные коор
динаты (24.15), (24.16):
0 -11 |1 0 !
1 0 0 1
П- |Пм!'| = Р = (25.3)
0 1 -10
1-ю 0 -1|
(Допускаются лишь собственные вращения и «пространственные» зеркальные
отражения ортобазиса).
Каждому спинору фа отвечает согласно (23.1) сопряжённый спинор tya:
ф« = П;ф«, (25.4)
Т Е О Р И Я СПИНОРОВ 81
причём обратно
фа = П;ф«, (25.5)
так как сопряжённость спиноров — свойство взаимное (см. (23.2) и ниже).
Опустим в (25.4) индекс а при помощи е$а:
!~ г 0; 1 0;
0 i 1 0 1;
1а(1)яП 1 а (2)Лр. ||
i i 0 ;-i 0
о
;0 —i |
!° -1
г
i
1 '° 0
;~~ г
lfl(3) Ац1,= а,( O ) A j x И (15.8)
0 - i 0 -г!
-г 0 г 0 ;
Эти матрицы получены согласно (25.7) умножением матрицы \\еЛ[1\\ после
довательно на Ev Е2, Е3, Е0.
Далее, каждому агрегату A f i ? 4 можно сопоставить спинтензор
0>А
1Н|1Ь | О") А I— РТУ. (25.10)
или подробно
0
—i
*<1)М1 0 (2)М«
-1
—i OS
| -i 0 i 0!
0
(3)М|1 = L£J (О)М' (25.11)
-I 1 i 0
о JO i
Обратим внимание на то, что матрицы (25.7) — симметрические, а матрицы
(25.11) — антиэрмитовы, т. е. становятся эрмитовыми после умножения
на i. Из закона преобразования спинтензоров а м и а-л легко вытекает,
что эти свойства инвариантные (напротив, часто подчёркиваемый эрмитов
характер матриц 7г~ а (г)^ никакого инвариантного, а следовательно, и
физического смысла не имеет). Заметим, что в § 27 указаны общие зако
номерности, управляющие характером спинтензоров а^х, а-?, когда А —
поливектор.
Матрицы (25.10), умноженные на i, обозначаются в квантовой меха
нике через ay:
a,- = i \\ a(У) и-я i *Рту>
или подробно:
0 1 |
1 0 . i_
, а2 —
0 1 L 1 0 -i |
1 0 1| | i 01
1 0| -1 0
0 -1 | 0 -1
а
1 ~~6 Г ~ ' ! ° I -1
.1 о-1 1 о
Эрмитов характер матриц а, есть факт инвариантный в отличие от эрми
това характера матриц у4.
Для произвольного спинора фа можно составить инвариантную эрми
тову форму _
Если задаётся спинорное поле фя (х1, х2, х3, х°) в пространстве i?^1}, отне
сённом к ортобазису {ev е 2 , е 3 , е 0 }, то согласно (25.13)- одредёляется век
торное поле ]к(хг, х2, х3, х°) в R^\ Вектор /к (х1,'.%*}->%\х0^ (после умйё^
жения на ее, где е — заряд электрона, с — скорость света) принимается за
вектор плотности тока спинорного поля <|А
Пользуясь тем, что дифференциальные операторы, p V ^ , #~т» 'я~о
при преобразованиях ортобазиса преобразуются как ковариантные, коорди
наты вектора, можно составить, свёртывая —: с а£'к по i — 1, 2, 3, 0;
дх1
спинтензор В^ с операторными координатами
D = а(1)
* " ~дх^\ъ ^ + ъ
W"'"Тз ~ъ& ~~ То д&; ' (25.16)
Уравнение Дирака, накладываемое на спинорное поле свободного,
электрона, записывается тогда в виде
А
Л£<Г + з Ч = 0 ( л - 1 , 2, 3, 4), (25.17)
ян- ' h
(
Т а к к а к е1? е 2 , е 3 , e0^R ^\ то е 4 = е 4 , т. е.
а следовательно,
где iD%v.==a^-—:. В силу симметрии матриц (25.8) DXH. =D^X, кроме того,
4
дх1
в
^'=±'ё^ ф^: Наше уравнение принимает вид
дхк
До сих пор мы занимались построениями, инвариантными относительно
лоренцевых преобразований. Теперь рассмотрим фиксированную инерциаль-
ную систему, что равносильно фиксах и i сектора е 0 в R^ и выделению в R[1}
трехмерного собственно евклидова пространства R{®} J_e 0 .
Т Е О Р И Я СПИНОРОВ 85
УЧ. ^
и, в частности,
(25 27)
Ф* —V.*"- -
Таким образом, в (25.26) каждый из индексов при фЯ1Д2 • •• ЛР подвергается
преобразованию по схеме (25.27) и результаты складываются.
Если мы имеем поле спиытензора фЯ1Л2 ••• h (х1, х2, х3, х°), представ-
УЧ. УЧ. УЧ.
спинтензора <]><I--*P согласно (25.26), умножает фА1Л2 ••• h на -у, если Ху=1,
H-i P-s
2° Вращение несобственное
1-го рода нечётное чётное
3° Вращение [несобственное
2-го рода чётное нечётное
4° Вращение несобственное
3-го рода нечётное нечётное
Таблица 2
2° Вращение несобственное
1-го рода Aj+s нечётное k2-\-s чётное
3° Вращение несобственное k2-\-s нечёт
2-го рода /cj+s чётное ное
4° Вращение несобственное
3-го рода кх нечётное к2 нечётное
е;=± ( ~4 } «- (26-14)
Отсюда видно, что тензорный закон преобразования спинтензора П • при
переходе от старого спинбазиса к новому имеет вид
Р ( _ 1 )
Я 2 *
Обозначая Р , где
где аЬ — р-у = 1,, п о л у ч а е м :
1тЧ
-Ь т а р а р
= — т. е. (шх + РР = 1). (26.21)
8
°ч Т
Это значит, что Р (и аналогично (?) — не только унимодулярная, но и
унитарная матрица.
Для V чётного в правой части (26.18) нужно брать знак плюс, и,
как нетрудно проверить, получаются снова соотношения (26.20).
Итак, нормированные версоры над R^ имеют вид (26.17), где
матрицы Р, Q — произвольные унитарно-унимодулярные.
В случае R^y мы имеем согласно (24.8):
0 /|| 1 01
ГЬ гое 0 l!
Условие (26.18) даёт соответственно для V нечётного и для V чётного:
Р=±Р, Q=±Q.
Следовательно, нормированные версоры над R[2) имеют вид (26.17), где Р,
Q — упимодулярные матрицы одчовременно или вещественные, или чисто
мнимые. При этом из таблицы 2 нетрудно вывести следующую схему:
Р, Q вещ. — вращзние собственное,
V чёт.
\Р, Q мним. — » несобственное 3-го рода,
[Р, Q вещ. - » » 1-го рода,
V неч.
\Р, Q мним. — » » 2-го рода.
94 П. К. РАШЕВСКИЙ
Ст = ( - 1 Г т Л , т. е. ^ - ( - i r ^ c M . (27.4)
л
Это означает, что с ^ симметричен при п = 2, 8, 10, 16, 18, 24, 26, . . .
и кососимметричен при п=Л, 6, 12, 14, 20, 22, . . .
Согласно (13.12) матрица С=||с А 1 А || характеризуется тем, что с её
помощью записывается антиавтоморфизм А —> А:
А = САТС-1. (27.5)
Очевидно, при любом выборе неособенной матрицы С преобразование
^4 —> С А С"1 означает какой-то антиавтоморфизм в С^ (так как А —» А
— антиавтоморфизм, А —> С АС'1 — автоморфизм); если же при этом дополни
тельно потребовать, чтобы e t —> et (i — 1, 2, . . . , п), то это будет именно
интересующий нас антиавтоморфизм А —-> А (см. конец § 15).
Следовательно, достаточно подобрать матрицу С так, чтобы
CEjC'l^Et (i = l, 2, . . ., п). (27.6)
Запишем это требование отдельно для матриц 2?;- и E^+j ( / = 1 , 2, . . . , v),
пользуясь (27.2):
CEjC"1 = £ у , - CE^jC-1 = Ey+j. (27.7)
£Ъш v — нечётное, то мы легко подбираем матрицу С, полагая
С = ЕгЕ2 . . . Еу (С1 = ЕУ . . . Е2Ег).
Действительно, это произведение содержит нечётное число множителей,
а потому коммутирует со всеми входящими в него Ei и антикоммутирует
со всеми Ei, которые в него не входят. Это легко проверить, пользуясь
основными свойствами матриц Ei
EpEq=-EqEp (рфд), £ - = / . (27.8)
Подсчитываем далее:
гр гр гр гр гр
Далее:
T
C =(Ey+iE,+2 ...Еп)т=Етп... E*+zE*+i = (-En) . . . (-Е,+2) (-tfv+1) =
N(V-l) %(V-1)
2 2
= £ n . . . £ v + 2 ^v+i = ( - l ) £v+l^v+2...^n = ( - l ) ""С
Е'Т=(-1) 2
Е\ т. е. e^ = ( - l ) 2
е^я. (27.15)
х
Это означает, что е ^ симметричен при п — 6, 8, 14, 16, 22, 24, . . . и косо-
симметричен при п = 2, 4, 10, 12, 18, 20, . . .
Матрица £ " = ||е я Н| характеризуется тем, что согласно (15.5) с её
помощью записывается антиавтоморфизм
А* = Е'АТЕ"1 (27.Щ
ТЕОРИЯ СПИНОРОВ 97
E'T=(-l) 2
E'.
V(V-1)
Действительно, мы добавили v в показатель при (—1) 2 ; этим мы изме
нили знак выражения при v нечётном и ничего не изменили при v чётном.
Формула (27.15) доказана.
Переписываем (27.16) в виде
л = 0, 6 (mod 8) п = 2, 4 (mod 8)
а Р х= еща*. (27.26)
Действительно,
(27.27)
ауД: - П . а\ - ( П . а 3 ) \ (27.38)
[X. OX p . ХЗ
fe(fe+l)
2
где множитель (—1) компенсирует перестановку индексов у а?х ш ep[L*
fe(ft+i)
Вставляя в (27.38), получаем: ( — 1) ^ П ^ а » = (П;0а|1)#, или
fe(fe+0
( - 1 ) 2 а . = / а . ^ г д е а . = п . а?, (27.39) Х
VJLX Xp. JJ.X JJ.CJ
e?2...„o = ( - l ) 2 ^ L ) = ( - l ) v ( 2 v + 1 ) = ( - l ) v ,
то, обозначая е = + iv, мы имеем (se) 2 = l.
Базисные векторы {е1? . . . , е п } порождают RnCZRn+i- Клиффордова
алгебра Сп в Rn является подалгеброй Сп+\ и состоит из тех её агрегатов,
которые разлагаются по базисным поливекторам, не содержащим е 0 .
Разложение каждого агрегата А £ Сп+1 по базисным поливекторам можно
записать в виде
А = А1+А0,
где в А 0 объединены базисные поливекторы, содержащие е 0 , а в А1 —
не содержащие е 0 (так что А1^Сп)- При умножении А 0 на se множители е^
взаимно уничтожаются, так что seA 0 £ Сп- Обозначая seA 0 через А 2 и учи
тывая, что (ее)2 = 1, мы получаем А0 = ееА2. В результате
А = А 1 + ееА2, (28.1)
где Av А2£Сп. Отобразим теперь каждый агрегат A g ( 7 j + i в некоторый
агрегат из Сп по закону
A = A 1 + s e A 2 - » A 1 + A2. (28.2)
Мы утверждаем, что это отображение Cn+i —>Сп есть гомоморфизм.
Действительно, сохранение операций сложения агрегатов и умножения их
на число является очевидным. Проверим сохранение операции умножения
агрегатов. Пусть
А = Ах + ееА2, В = Вг + seB 2 . (28.3)
Тогда
АВ = (А 3 В 1 + А2В2) + ее (AXB2 + А&) -* (А& + А2В2) + ( А ^ + A2B2) =
= (А1 + А 2 )(В 1 + В2),
т. е. образ произведения равен произведению образов множителей в том же
порядке. В выкладке мы воспользовались перестановочностью se со всеми А,
а также тем, что ( s e ) 2 = l . Итак, (28.2) есть гомоморфизм.
Если, в частности, A —se, то Ах = 0, А 2 = 1 , так что
se—>1. (28.4)
Следовательно, все агрегаты вида Ах — seA x (и, как легко проверить, только
такие агрегаты) отображаются в нуль. Заметим, что это агрегаты одной
из двух подалгебр, в прямую сумму которых распадается Сп+\ (§ 7).
Агрегаты Аг^Сп отображаются, очевидно, в себя.
Итак, мы гомоморфно отобразили Cn+i на CndCn+i согласно (28.2),
а так как Сп' изоморфно отображается на алгебру аффиноров в спинорном
пространстве S2V (§ 10), то мы получаем гомоморфное отображение Сп+\
на алгебру аффиноров в S2y (спинорное представление СпЛ.\).
102 П. К. РАШЕВСКИЙ
е* = е.
Й * = ( - г е ) * = 1"е. (28.10)
к V принимают вид
V = uvn-\ )
если v — s — нечётное.
т. е.
р а
v. v-
Ег =
10 11 0 -i
= Я0 =
1 0
(28.23)
» -^9
1 0 i 0 0 - 1
Как и должно быть,
1 0
se = ie.
0 1
Так как v = l , то в соответствии с (28.13) в S2 вводится спинтензор ея*%
так же как ранее для Щ (см. (16.10)):
0
1 и 0 -1
(28.24)
е*Ч1 = И 1- Л0 II. 1К" = 1 0
Произвольный вектор а = а'-е.
71*
а ' е 2 ^ аие0 будет представлен
матрицей
а0 га*
Л = а1£1 + а2£2 + а°£0 = а1+ ш' (28.25)
— аи
т. е. в сущности произвольной матрицей второго порядка со следом нуль.
Если вектор а неизотропный, то добавляется условие невырожденности
этой матрицы, так как её определитель равен —(a 1 + a 2 + а ° ) .
Любую невырожденную матрицу второго порядка нетрудно получить
как произведение двух таких матриц; достаточно умножать всевозможные
.. 1 0 0 с
невырожденные (28.25) на матрицы вида где с — произ
1 1 0
вольное число, отличное от нуля.
Поэтому при составлении всевозможных чётных версоров достаточно
ограничиться версорами V = а 2 а 2 с двумя векторными множителями: соот
ветствующие матрицы V = А1А2 исчерпывают уже все невырожденные
матрицы второго порядка. Группа этих матриц и будет группой версо
ров в i?g в спинорном представлении в S2.
Мы нормируем версоры V = а 2 а 2 согласно (28.19) условием
VV* = a 1 a 2 a 2 a 1 = 1, т. е. | а 2 | 2 - | а 1 | 2 = 1.
Скалярные квадраты векторов а 2 , а2 лишь знаком отличаются от опреде
лителей соответствующих матриц Av A0i а потому наше условие сводится
к тому, что
DetF-1. (28.26)
Группа пронормированных версоров V представлена группой унимоду-
лярных матриц в S2 (которая, таким образом, дважды накрывает группу
собственных вращений ± V в Д*).
ТЕОРИЯ СПИНОРОВ 109
- 1 0 0 1
Е =\ п J
0 1! ' 1 1 0
то
0 _1 0
llft-l =
-1
1 ЦП. 11 = I Н >
(28.27)
И 0 -1
где П. = е Л о П - .
V — ak . . . а2а1? (28.28)
ЦИТИРОВАННАЯ ЛИТЕРАТУРА
[1] П. К. Р а га е в с к и и, Риманова геометрия и тензорный анализ, М.—Л., Гос-
техиздат, 1953.
[2] Ф. Д. М у р н а г а н, Теория представлений групп, М., ИЛ, 1950.
[3] J. A. S с h о u t e n, On the geometry of spin spaces, Indag. Math. XI, 3, 4, 5 (1949).
[4] А. И. A x и е в е р и В. Б. Б е р е с т е ц к и й, Квантовая электродинамика,
М.—Л., Гостехиздат, 1953.
[5] Ю. Ш в и н г е р , Квантовая электродинамика (в сборнике «Новейшее развитие
квантовой электродинамики», М., ИЛ, 1954).
[6] Э. К а р т а н, Теория спиноров, М., ИЛ, 1947.
[7] И. М. Г е л ь ф а н д и 3 . Я. Ш а п и р о , Представления группы вращений трёх
мерного пространства и их применения, УМН XII, вып. 1 (1952).
[8] R. B r a u e r , H. W e y l , Spinors in n dimensions, Amer. Journ. Math. 57 (1935),.
425—449.