Math-Net.

Ru
Общероссийский математический портал

В. А. Желнорович, Представление спиноров веще-

ственными и комплексными тензорными агрегатами,
ТМФ, 1970, том 2, номер 1, 87–102

[Link]

Использование Общероссийского математического портала [Link]

подразумевает, что вы прочитали и согласны с пользовательским соглаше-
нием
[Link]

Параметры загрузки:
IP: [Link]
2 августа 2025 г., 09:30:51
 ТЕОРЕТИЧЕСКАЯ
И МАТЕМАТИЧЕСКАЯ
Ф И З И К А
Том 2, № 1
январь
1970

ПРЕДСТАВЛЕНИЕ СПИНОРОВ ВЕЩЕСТВЕННЫМИ

И КОМПЛЕКСНЫМИ ТЕНЗОРНЫМИ АГРЕГАТАМИ
В. А. Желнорович
Для спиноров в n-мерном (вообще комплексном) евклидовом про­
странстве устанавливаются все независимые комплексные и веществен­
ные характеристики скалярной и тензорной природы. Устанавливается
взаимно-однозначная связь между компонентами спинора и предлагае­
мого специального комплексного тензорного агрегата С, определяемого
спинором. В вещественных евклидовых пространствах дается гомоморф­
ная связь между компонентами спинора и компонентами вещественного
тензорного агрегата Д определяемого спинором. Все формулы и соотно­
шения между спинором и агрегатами С, D специально даются для четы­
рехмерного пространства Минковского. Развитая теория позволяет сде­
лать вывод о возможности метрического описания взаимодействия фер-
мионных и гравитационного полей.

ВВЕДЕНИЕ
Работа посвящена исследованию геометрических и алгебраических
свойств спиноров в тг-мерном (вообще говоря, комплексном) евклидовом
пространстве /?+. В разделе 1 даются основные определения и некото­
рые сведения о спинорных представлениях ортогональных групп преобра­
зований пространства Д*, необходимые для дальнейшего изложения.
В разделах 2, 3 для спиноров в й ^ устанавливаются все независимые
комплексные и вещественные характеристики скалярной и тензорной при­
роды, инвариантные относительно полной аффинной группы преобразо­
ваний пространства Rvn. Показано, что в евклидовом тг-мерном простран­
стве спинор с комплексными компонентами, определенными с точностью
до знака, эквивалентен комплексному тензорному агрегату С, состоящему
из антисимметрических тензоров специального вида, компоненты
Qam.... «ft которых суть билинейные алгебраические функции компонент
спинора, и устанавливается взаимно-однозначная связь между компонен­
тами спинора и тензорным агрегатом С. В соответствии с последним ока­
зывается возможным записывать спинорные уравнения эквивалентным
образом как тензорные уравнения в компонентах агрегата С.
В вещественных евклидовых (псевдоевклидовых) пространствах из
компонент спинора фА и из комплексно-сопряженных компонент if>A мож­
но образовать вещественный тензорный агрегат Z), состоящий из вещест­
венных антисимметрических тензоров специального вида. В разделе 3 по­
казано, что вещественный агрегат D определяет компоненты спинора с
87
точностью до одновременного умножения всех компонент спинора на
ехр(г'ф) и установлена гомоморфная связь между компонентами спинора
и компонентами тензоров D. Все общие формулы и соотношения между
спинорами и тензорными агрегатами С, D, между тензорными агрегатами
С, D конкретизированы в важном для приложений случае четырехмерно­
го пространства Минковского.
Теория, развитая в работе, представляет интерес, в частности для вы­
яснения и углубления физического смысла основных посылок и для обоб­
щения на неевклидово пространство различных физических теорий. Сле­
дует отметить также, что распространено ошибочное мнение о возможно­
сти описания взаимодействия фермионных полей с гравитационным полем
только посредством введения тетрад (т. е. неголономных ортонормирован-
ных систем координат). Развитая нами теория показывает, что взаимодей­
ствие фермионных полей с гравитационным полем может быть описано
и в рамках метрического формализма. Этот вывод позволяет, в частности,
решить в положительном смысле вопрос о возможности построения гео-
метродинамики для частиц с полуцелым спином. В связи с этим следует
отметить, что геометродинамика для электромагнитного поля считалась
неудовлетворительной из-за принципиальной неясности возможности по­
строения такой теории для частиц, описываемых спинорными уравнения­
ми (см., например, [ 3 ] ) .
Существенное отличие результатов настоящей работы от работ других
авторов [4—7] состоит в указании в ?г-мерном пространстве тензорных
агрегатов, полностью эквивалентных спинору, и в установлении взаимно­
однозначной связи между ними, тогда как раньше рассматривался случай
только четырехмерного пространства и, что важно, не было установлено
взаимно-однозначной связи между компонентами спиноров и тензоров.
Многие видные специалисты сомневались в существовании взаимно­
однозначной связи между компонентами тензоров и спиноров и высказы­
вали по этому поводу ошибочные утверждения (Уиллер [3], Иваненко
[9], Меллер [10] и др.).
В нашей работе развиты методы замены спинорных уравнений экви­
валентными тензорными уравнениями, применимые к произвольным спи-
норным уравнениям, тогда как в работах других авторов некоторые част­
ные преобразования уравнений Дирака в четырехмерном псевдоевклидо­
вом пространстве оказывались возможными только в силу специального
вида уравнений Дирака, поэтому излагаемые в них частные методы не
применимы к более общим уравнениям (эквивалентной тензорной записи
даже уравнений Дирака ранее получено не было) [1, 2 ] .

1. СПИНОРНОЕ ПРЕДСТАВЛЕНИЕ ОРТОГОНАЛЬНЫХ ГРУПП

Рассмотрим сначала четномерное комплексное евклидово простран­

ство Rn+, п = 2v, отнесенное к ортонормированному базису еа (а =
= 1, 2, . . . , 2v). Пусть уа = II \лав II — матрицы размерности 2V, по опре­
делению удовлетворяющие уравнению
Yo-YP + YP'Y« = 2б а р/. (1.1)
Здесь 6ар — символ Кронекера, / — единичная матрица размерности 2V.

88
Введем обозначение

Уаха2... afe и ' Aaia 2 ... a^ II ' ' [ai'a 2 ' ' ' '«&]" ^ * '

Как обычно, по индексам, помещенным в квадратные скобки, произ­

водится альтернирование. Из определений (1.1), (1.2) следует, что квад­
рат матриц 7оы«2... afc пропорционален единичной матрице и след матриц
Ya,a«...afc равен нулю

(у ) 2 = ( —1) 2
/, try - 0 . (1.3)

Пользуясь (1.3), легко показать, что система матриц

/
'Ya'Yaia2---Yaia2...(xn (1Л>

линейно независима.
Как известно, всякие два решения уа, у а уравнения (1.1) связаны ра­
венством
уа'=ТуаТ-\ йе1ТФ0. (1.5)

Если уа — некоторое решение уравнения (1.1), то очевидно, что транс­

понированные матрицы уат также являются решением (1.1), поэтому из
(1.5) следует, что существует матрица С = \\ САв II такая, что

Уат = СуаС-\ det С ф 0. (1.6)

Определим также матрицу Е
Е = || еАВ || = V«n-W(ynyn-i • • • yi)TC (1.7)
Так как матрицы уа, С не вырождены, то из определения (1.7) сле­
дует, что матрица Е также не вырождена. Компоненты обратной матри­
цы Z?-1 будем обозначать еАВ так, что еАВеВс = &сА-
Из (1.6), (1.7) следует [12]
Ст = (—1)*<У-№С, Ет = ( — iy<y+WE. (1.8)
Пользуясь (1.7), (1.8), получим: также
у(у+1)+£(/г+1)
(Еу )т = ( — 1) 2
Еу . (1.9)

Так как матрица Е не вырождена и матрицы / , yaia2... ак линейно-не­

зависимы, то и система матриц
Е, Еу , Еу , . . ., Еу (1.10)
?
ia' iaia 2 ' ' «aia 2 ...a n \ •? J
также линейно-независима.
Рассмотрим теперь группу L = || Ц || собственных ортогональных пре­
образований пространства Rn+
ev' = lafiea. (1.11)
Множество унимодулярных матриц S, определяемых из уравнения
y^ = l«SyaS-K (1.12)

89
образует группу, осуществляющую представленные группы L, называе­
мое спинорным представлением группы L.
Геометрический объект гр с контрвариантными компонентами \|)А, опре­
деленными с точностью до знака, преобразующийся по представлению S,
называется спинором первого ранга в пространстве Rn+-
По определению ковариантные компоненты tyB спинора ф даются ра­
венством
Ув = еВАЦА1 (1.13)
где евл — компоненты матрицы (1.7). Очевидно, я|зА = eABtyB-
Из уравнения (1.12) следует, что компоненты у^а в матрицы уа мож­
но рассматривать как компоненты инвариантного при преобразованиях
(1.11) спинтензора с одним контрвариантным и одним ковариантыым ин­
дексом. Аналогично компоненты еАв(евл) являются ковариантными
(контрвариантными) компонентами инвариантного спинора второго ранга.
Выделим в пространстве i? n + псевдоевклидово пространство И*® ин­
декса S, фиксировав в пространстве Rn+ базис ieu ie2,..., ies, e s +i,. . . , en.
Введем матрицу п = || П^ определяемую уравнениями
Ya = ±Пу а П" 1 , П1Г = ( - 1 ) ( ^ - ^ 2 Л (1.14)
Здесь знак (—) принимается для а = 1 , 2, . . . , 5 , знак ( + ) для а =
= s + 1 , . . . , п. Точка над буквой означает комплексное сопряжение. Из
определения (1.14), следует
(ЕПУ= (E1L)9,

i(mTyaia2^/ = (-if(k+m (i.i5)

Так как матрица (ЕП)Т не вырождена, а система матриц (1.10) линей­
но-независима, то и система матриц
(ЕЩт,{ЕЩтУа,...,(Ш)туа1 ... an (1-16)
также линейно-независима.
Спинор г|)+ с контрвариантными компонентами г|)+А

^+A = UJ^'B (1.17)

называется сопряженным по отношению к г[\ Ковариантные компоненты
i|U+ сопряженного спинора определяются при помощи метрического спи­
нора еАв
Й
*Л=«АВ(П^ )=П Й У. (1.18)
+
Рассмотрим теперь нечетномерные пространства Rn , п = 2v + 1. Обо­
значим 72v+i = JvYiY2 • • • Y2v. В этом случае матрицы с четным числом ин­
дексов
/, у а д , . . . , у*хъ... a2V ak = 1, 2 , . . . , 2v + 1 (1.19)
являются линейно-независимыми. Спинорное представление собственной
ортогональной группы преобразований пространства R£,+i з а Д а е т с я груп­
пой матриц S, определяемой из уравнения (1.12), индексы a, p в котором
90
пробегают значения от 1 до 2v + 1. Ковариантные компоненты спинора г|и
определяются метрическим спинором Е = || еАв II
(-i)vyaT = EyaE-K

Сопряженный спинор г|)+ в пространстве R(2v\-i определяется при по­

мощи инвариантного спинора Ц = [| ц 4 ц

±Уа = (-1Г8ПУаП-1.

Здесь знак (—) принимается для а = 1, 2 , . . . , S.

2. ПРЕДСТАВЛЕНИЕ СПИНОРОВ СИСТЕМОЙ

КОМПЛЕКСНЫХ ТЕНЗОРОВ

Рассмотрим комплексную матрицу W = || г|)АВ || размерности г. Оче­

видно, что если компоненты tyAB представляются в виде
^АВ _ ^АфВ^ (2.1)

то г|эАВ удовлетворяют равенствам

^AB^CD _ tyAC^BD _ ^AD^BC^ ^AB _ ^ B A e (2.2)

Среди уравнений (2.2) в качестве независимых можно взять г (г— 1)

уравнений
^АВ==^ВА^ ' (2.3)

^АА^ВС ^^АВ^АС^ фАА^О, В, С ФА. (2.4)

Действительно, все уравнения (2.2) могут быть получены из уравне­

ний (2.3), (2.4). В предположении tyEE ф 0 имеем
^ЕА^ЕВ OpEC^ED ^ ^EA^EC ^EB^ED
^ЕЕ ^ЕЕ ^ЕЕ ^Е1

^ ^ фЬЪ' уЕЕ уЕЕ ^ЕЕ V Н '

Обратно, если некоторые компоненты "фАВ удовлетворяют уравнениям

(2.3), то существует система г компонент г|)А, определенных с точностью
до знака, и таких, что ф А В = г|)А"фв. В самом деле, если все диагональные
элементы матрицы || ф А В || равны нулю (г|звв = 0 для всех В), то из (2.3)
следует, что *фАВ = 0 для всех значений индексов А, В. В этом случае
полагаем г|зА = 0.
Если существует хотя бы один диагональный элемент матрицы || г|)АВ ||,
не равный нулю i[)BB Ф 0, то положим
0|) БА

В силу (2.3) такое определение компонент я|эА не зависит от значения

индекса В. Действительно, если \|) в в Ф 0, tyEE Ф0 (Е ФВ), то, имея в
виду равенства (2.3), получим
^ВА ^ЕЕ^ВА У^ВЕ^ЕА ^ЕА

± у^ВВ ± у^ЕЕ^ЕЕ^ВВ ± ^ВЕ у^ЕЕ ± |/\|,ЕЕ '

91
 Предположим теперь, что г|;АБ являются компонентами объекта Wr
преобразующегося по представлению S X S, где S — любое представление
некоторой группы, и пусть уравнения (2.3), (2.4) инвариантны относи­
тельно группы S X S. Тогда компоненты г|)А, определенные согласно (2.5),
преобразуются по представлению S. Действительно, из (2.5) следует, что
преобразование г|зА определяется преобразованием -фАВ единственным обра­
зом. Очевидно, инвариантность уравнений (2.3), (2.4) сохраняется, если
г|)А преобразуются по представлению S, следовательно, в силу единствен­
ности г|зА могут преобразовываться только по представлению S. Таким
образом, объект W = || tyAB ||, преобразующийся по представлению S X S,
удовлетворяющий инвариантным уравнениям (2.3), (2.4), функционально
эквивалентен двузначному объекту \|з = {г|)А}, преобразующемуся по пред­
ставлению S.
В частности, из изложенного следует, что спинор второго ранга с ком­
понентами г|зАВ, удовлетворяющими инвариантным уравнениям (2.3) г
(2.4), функционально эквивалентен спинору я|)А.
Ввиду полноты и линейной независимости систем матриц (1.4), (1.19)
любая матрица размерности 2V, в частности матрица г|)АВ может быть
представлена в виде линейной комбинации матриц (1.4) или матриц
(1.19);

**" = ЦСеЛВ + 1 , ( - ')*ж c°'°""°v.«...<.J • <2-6«>

^.^[C^+I^tf--- T -...J. (2.6Ц
Здесь Ya 1 a 2 ...a 2/2 = "^ C Yca 1 a 2 ...a r B
формуле (2.6а) по индексам ак
производится суммирование от 1 до 2v, в формуле (2.66) — суммирование
от 1 до 2v + 1.
Для того чтобы определить коэффициенты С, входящие в равенство
(2.6а), умножим равенства (2.6а) на у "]l~- 'V = е АГусв 'л '" Р г и просум­
мируем по индексам А, В от 1 до 2v. В результате получим

У%-ЧАВ = у [СИМ-РГ + | ^ # ^ " Х . ^ ; ^ ] . (2.7>

Заметим теперь, что из свойств (1.3) и определений (1.2) спинтензо-
ров уа1а2...ак следует 1 )
*> Соотношения (2.8) можно получить также, сворачивая по индексам А, В ра­
венство
Л р (2к-р-\)
д_ J) \П / л\ 2 k\l\ с с ч/
VD a i ...a^Pi-.^~"2j ^~l> p\ (k - р)\ (I -р)\ °^" °ррр
Р Р
Y S О, с °ps °p+l * ° £ * Pt X ?рк р+1 & 1 у

Х7Йаа р + 1 ••• a ^ P p + i

выполняющееся в силу (1.1), (1.2). Числа К, 9 здесь определяются формулами к ••

= min (к, /);о: k + / — 2v + 1

92
 Ч . . а Х Т Р г = °.
х
6СЛИ к
Фг'
к АВ

С . . . Л - "* = (- ^ 2'*! 6 « • • • *&• (2-8)

Из равенства (2.7) с учетом (2.8) определим коэффициенты С

С = ( - l ) v ( v + 1 ) / ^ A B i | ) A B , С 0 1 * - " * - YAB • " a V B . (2-9)

Таким же образом найдем, что коэффициенты С в разложении (6.26)
также определяются формулами (2.9).
Очевидно, что если компоненты ф А В являются контрвариантными ком­
понентами спинора второго ранга в пространстве i?2v + (i?^ + 1 ), то С яв­
ляется инвариантом., а компоненты Caia2-ak образуют в пространстве
R2v+(R$~V^ ) компоненты тензора ранга к, антисимметрические по всем
индексам ai, ct2, . . . , а&. Поэтому из (2.6а) следует, что спинор второго
ранга в пространстве i?2v+ эквивалентен тензорному агрегату С

C = {C,Ca,CeiV..,Ca,a,,"aav} (2.10)
Из (26) также следует, что спинор второго ранга в пространстве i?2v+
эквивалентен тензорному агрегату, состоящему из антисимметрических
тензоров четного ранга
a,c aav
с = {с, с™\...,c "- }.
АВ
Если компоненты спинора \р удовлетворяют инвариантным уравне­
ниям (2.3), то из определений (2.9) и свойств симметрии (1.9) следует
v(v+l)
С = 0, если —-—г нечетно,
Си

a^.-.cu, V(V + 1) + к (к -1- 1)

k
С = 0, если - ^ — — Ц ^ — - — : — - нечетно.
Если компоненты спинора tyAB удовлетворяют инвариантным уравне­
ниям (2.4), то компоненты С, Caia2---ak удовлетворяют 2 V (2 V — 1) незави­
симым билинейным инвариантным уравнениям, которые можно получить,
перемножая уравнения (2.6), написанные для индексов АВ, CD, и свора­
чивая затем результат со спинтензором y°i-~?pyai~-aq с учетом ра­
+
венств (2.4) (для /?2v )

2 2vk=Q
6n£',
1=0
кт

X(yAB yCD y^-?Py°l--aq) (2.11)

и для 2v + 1-мерного пространства

a a
rh-hpr°l-°2q _ 1 V V 1 r l- 2krPl-<>2l w

X (yZ-^-^ohp^a-aiq)- (2-12)
Здесь нулевые индексы опускаются (Са° = СРо = С) и считается, что
., АВ РАВ л, CD „CD
е
уа 0 — е , ура —
93
 Таким образом, объект W={tyAB}, с одной стороны, эквивалентен
тензорному агрегату С, а с другой,—спинору я|)= {о|г4}. Отсюда следует
теорема.
Т е о р е м а . Спинор ф = {tyAB} в пространстве R2v+(R^+1) эквива­
лентен комплексному тензорному агрегату С, состоящему из антисиммет­
рических тензоров (2.9), (2.10), удовлетворяющих 2V(2V —1) независи­
мым билинейным инвариантным уравнениям (2.11) — (2.12).
Из этой теоремы, в частности, следует, что любое спинорное уравне­
ние может быть записано эквивалентным образом как уравнение в ком­
понентах тензоров С, Са,а2 ••• аА.

3. ПРЕДСТАВЛЕНИЕ СПИНОРОВ
СИСТЕМАМИ ВЕЩЕСТВЕННЫХ ТЕНЗОРОВ

Рассмотрим r-мерную комплексную матрицу ф = || г|)АВ ||. Предполо­

жим, что компоненты tyAB представимы в виде
^АВ = tyA^B, (3.1)
Тогда г|)АБ удовлетворяют уравнениям
tyAB^CD = ^AD^CB^ (.фАВ)' = у^ВА^ (3.2)

среди которых независимыми являются (г — I) 2 уравнений (считая комп­

лексные уравнения два раза)
(ЦАВ) = ^А, (3.3)
у^АА^ВС ^ЦАС^ВА, (3.4)

Действительно, все уравнения (3.2) являются следствием уравнений

(3.3), (3.4)
*XB*CD = ^У* ФЕ**п = ^kD^E ****** = ^ ф й в .
«фЁЯ ^ЕЕ ^ЕЕ tyEE

Очевидно, если компоненты г|?А определяют матрицу Ф, то компоненты

А
•ф ехр г'ф (ср — произвольное вещественное число) и только они опреде­
ляют ту же матрицу Ф.
Обратно, если некоторые компоненты г|)АВ удовлетворяют уравнениям
(3.3), (3.4), то существует система компонент я|)А, определенных с точ­
ностью до фазы ехр г'ф таких, что я|)АВ = я|)Аг|)в.
В самом деле, если все диагональные элементы матрицы Ф равны
нулю (г|)ББ = 0 для всех В), то из (3.3), (3.4) следует, что и, вообще, все
элементы матрицы Ф равны нулю tyAB = 0. В этом случае полагаем
t|?A = 0.
Если существует хотя бы один диагональный элемент матрицы Ф, не
равный нулю tyBB -ф 0, то положим
yhBA
•tyA = ]. ехр (г'ф). (3.5)
У^вв
94
 В силу (3.3), (3.4) такое определение множества {tyA} не зависит от
значения индекса В. В самом деле, предполагая, что \рвв Ф О, if)cc =7^ О
{В ф С), получим

tyA = ехр (гф) = ехр (гср) =

у^вв У^сс^сс^вв
— ' ехр^ф . (3.6)
У^сс \У^вс^св

Поскольку mod \\>ВС/У ^с^св — 1, то можно положить ^ВС/У у^вс^св —

= ёхрг'ф' и равенство (3.6) можно продолжить:
,hCA
ФА = - £ = = - е х р i(<P + <p')- (3.7)
у ^сс
Предположим теперь, что компоненты г|)АВ являются компонентами
объекта, преобразующего по представлению S' X S, где £ — любое пред­
ставление некоторой группы, и пусть уравнения (3.3), (3.4) инвариантны
относительно группы S' X S. Тогда, очевидно, можно указать такой закон
преобразования <р, что компоненты \рА будут преобразовываться по пред­
ставлению S.
Таким образом, задание компонент объекта г|эАВ, преобразующихся по
представлению S' X S и удовлетворяющих инвариантным уравнениям
(3.3), (3.4), и задание фазы ф одной из компонент г|зА полнос!ью опре­
деляют объект -фА, преобразующийся по представлению S.
В силу полноты и линейной независимости системы матриц (1.16)
любая матрица г|)АБ размерности г может быть представлена в виде

^ = _L ( дп вА + д ^ ^ ^ - Xi... J . (3-8а)
*** = 1- (ЯП- + | , - ^ ^ ^ ^ - " « Ч Й . . . J . (3.86)
г
Д е У%м.--ак = 'асеСВу£>а1а*...ак' В формуле (3.8а) индексы ак принимают
значения от 1 до 2v, в формуле (3.86) — от 1 до 2v + 1. Производя вычис­
ления, аналогичные (2.6) —(2.9), можно однозначным образом определить
коэффициенты D, Da&2 '•• ak в разложениях (3.8а), (3.86):
D = П Ав Ч>Ч (3.9)
а^г... ak .^(Лг+1)/2 a t a 2 . . . ak AB
D
=l УАВ * •
Здесь Y « - - a * = , C D n | Y c — f e .
Из формул (3.8), (3.9) следует, что объект я|)АВ, преобразующийся по
представлению S' X S, в пространстве /? ^ эквивалентен агрегату Z):

Я = {Я, D\ /> a ' a \ . .., D

aia
*"a*>}, (3.10)
95
а в пространстве R(2^+1 — агрегату D:

£ = {/>, D™\ . . . , / > a i a 2 - a 2 v } . (3.11)

АБ
Если компоненты -ф удовлетворяют равенствам (3.3), то из свойств
эрмитовости матриц \\ya.ia2'"ak\\ (1.15) следует, что коэффициенты/),
АВ
^a t a 2 ... ak вещественны.
Очевидно, что если компоненты tyAB преобразуются но прямому произ­
ведению спинорных представлений S' X S, то D является инвариантом,
а компоненты pai...ak образуют в пространстве Ri^(Ji^li) компоненты
тензора ранга к, антисимметрического по всем индексам ai, oi2, . . . , а&.
Если компоненты \рАВ удовлетворяют равенствам (3.4), то компонен­
ты Z), Z>°№ •• afe удовлетворяют (2V — I ) 2 вещественным уравнениям, кото­
рые можно получить, перемножив уравнения (3.8), написанные для ин-
дексов АВ, CD и свернув результат тат со сшштензором ^ 1 '}'"~Q
уу"' } ' " * vy 1
'" Л
учтя (3.4) (в пространстве Ri^}),
k(k—3)+l(l—3)
1 p(p+ 1 )+g(«+i) 2v 2v

Dh -V - 22v
i
i
ft! l\
X

l'"akjy9l-- DC
(3.12)
XD° \ ' ax ... ..pZIAJD

и в пространстве #2?+i
• ft(2*-3)+J(2i-3)
if1'" Ь 2 р ^ '22
а
1 - - ' ®2q 1 ^p(2p+D+^(2g+i;
o2v X
(2ft)! (2/)!

х/1"-
a
2kDPl-?2l( BA
•НУ % )-
DC
^ vYa1...ai Р
Vs.1-
X
(3.13)
П AD

Для простотьiзаписи здесь полагается Yao == n B i .

Из изложенного ясно, что задание агрегата 23, удовлетворяющего би­
линейным уравнениям (3.12), и аргумента ф одной из компонент i|)A пол­
ностью определяет спинор. Отсюда следует, что спинорные уравнения
можно записать эквивалентным образом в компонентах агрегата D и <р.
Исключая из таких уравнений фазу ф, можно получить замкнутую систе­
му уравнений в компонентах агрегата D.
Очевидно, что если компоненты ф А В , tyAB удовлетворяют уравнениям
(2.2), (3.2), то г|)АБ, tyAB удовлетворяют также и уравнениям
^AB^CD = tyAC^BD = ^ADtyBC^ (3. 14)

ПОЭТОМУ компоненты агрегатов С, D, удовлетворяющие билинейным урав­

нениям (2.11), (3.12), связаны также перекрестными уравнениями, кото­
рые можно получить, перемножая уравнения (2.6), (3.8) и сворачивая
результат со спинтензорами у,
р(р-И) 2v
2v 2v
2v / ;
Pi • • • Pp / Л • • • % _ '' , 2 'V V '""" ' *
k=Q 1=3

VYa1...a/2rPl...pzrAD Y^c / V /

96
 Уравнения другого типа получаются перемножением уравнения (2.6)
с комплексно-сопряженным уравнением (2.6) и с последующей сверткой
со спинтензором у." vyG.x '"aQi
, P(P+D+g(g+D 2v 2v ш

x ^-V-^.X.^-SSr-'). НИ)
Аналогичные уравнения можно написать и в пространстве Rffi+i»
Для записи спинорных уравнений в тензорной форме, помимо формул
(2.5), (3.5), можно также пользоваться формулой

ЦА = / (3.17)
B
±Y№ )
и формулами (2.6), (3.8), определяющими компоненты *фАВ, «фАВ через
компоненты тензорных агрегатов С, /Л
В силу уравнений (2.3), (2.4), (3.3), (3.4) правая часть формулы
(3.10) не зависит от фиксированного значения индекса В. Эта формула
позволяет получить замкнутую систему тензорных уравнений в компо­
нентах агрегатов С, D. Как следует из предыдущего, такая тензорная си­
стема уравнений будет эквивалентна исходной системе спинорных урав­
нений,
4. СПИНОРЫ В ПРОСТРАНСТВЕ МИНКОВСКОГО
В пространстве Минковского (четырехмерное псевдоевклидово про­
странство индекса три) матрицы уа, удовлетворяющие уравнению (1.1),
имеют размерность четыре и называются в этом случае матрицами Дира­
ка. Полагая, что эрмитовы матрицы 72, Y4 симметричны, а матрицы Yb
Y3 антисимметричны:

(ya)T=Y«, У2Т = У2, 74 т = 74, YiT = —Yb Y3T = — Ys, (4.1)

получим, что спинтензоры Е, П, введенные формулами (1.7), (1.14),
в рассматриваемом случае можно определить равенствами 2 )
Е = Y4Y2, П = JY1Y3Y4, (4.2)
причем матрица Е антисимметрична, матрица Eli эрмитова. Из (1.12),
(1.21) получим также
Ет = -Е, (Еуа)т = Еуа, (Еуад т
= Еуаь
(Еуа&а) Т = — Еуа$а, (Еуа&ое) Т = ~Еу^аг, (4.3)
т r т Т
(EU) = (EU) \ [ (EU) Ya] = - [ (ЯП) У*\ \
1(ЕП)ТУа*]Т=-[(Е11)Туа*]\
[ (EU) Туа$с] Т = [ (EU) *у а р а ] \ i (EU.) г 7а Р ае] Т = [ (ЯП) *\«0ав] \

2)
В псевдоевклидовом пространстве i?4(1) индекса один спинтензоры Е, П со­
гласно (1.14) определяются равенствами Е = уА'г, П = у2 (если уа удовлетворяют
равенствам (4.1)).
7 Теоретическая и математическая физика, т. 2, № 1 97
где согласно (1.2)
Y«P = Y[«YPb Y«P<r = YtaYPYa], Уароь = Y[«YPYoYe]. (4.4)

В качестве матриц уа, в частности, можно взять матрицы

— i И | -гО 10
—г -1 1 Ог 01
Yx = , Y2 , Ys = i 0 . Y4
10
-1
1 0-г 101
(4.5)
В этом случае имеем

0-1 — I

1 О
Е =
0 1
L п= — I
(4.6>
-1 0

Из свойств симметрии (4.3) следует, что тензорный агрегат С состоит;

из вектора и антисимметричного тензора второго ранга, компоненты ко­
торых даются формулами
(4.7);
или в матричной форме
Са = \ртЕу^, CaP = a[)T#Ya4-

Пользуясь тождествами (2.11), можно показать, что компоненты С\

а
С Р удовлетворяют следующим инвариантным равенствам:
CaCa = 0, СарСа* = 0, С№С™1 = 0,
(4.8>,
CafiCa = 0, O-"CW = 0, С«СР + СуаС^ = 0.

Таким образом, спинор в пространстве Минковского эквивалентен тен­

зорному агрегату {Са,Са&}, удовлетворяющему шести независимым инва­
риантным уравнениям (4.8).
Связь компонент спинора я|)А и компонент тензоров С а , С аР даетсж
формулами

Вещественный тензорный агрегат D для пространства Минковского*

состоит из скаляра Q вектора / а и антисимметричных тензоров il/aP, S^6^
Na$oe, компоненты которых даются формулами

Q = П А в ^ ^ в , f = гуаАв^В, Ма* = iyfB^B,

(4.10>
или в матричной форме

(4.11)
£арс _ -ф+у а Р^г|) ? ДГаРае _ я|)+^ а Р а 8 ф,

где ф+ = {фА+} = . (ЕЩ)Т.

Из (2.1) можно получить, что компоненты тензоров (4.8) удовлетво­
ряют следующим инвариантным уравнениям:

M Cap M ae] = 1 QNa^0S, M„ p f = ~ NatpfiSa'p. (4.12)

Связь между компонентами спинора ф А и тензорным агрегатом D в

рассматриваемом случае дается формулами

4>A = - ? = e x p ( i q > ) , (4.13)

= = У 1 1
V Х'( "~~* ^ Y« + " 9 ~ ^ Yap — " с - ^ Yapa+-o7r^v Y«pas)«

Между тензорными агрегатами С, Z) также существуют алгебраические

связи. В частности, имеют место следующие равенства:

4Q* = СаСа - i C ap C ap , 4Q/ a = i (CpCap - C^Ca%

QJYapa. = ^ a P ^ iVapa£iVaPae = - 6 ( C X + у Q C a P ) s

/PC«p = JQCa, S*e°C«p = -2QC*. (4.14)

Из уравнений (4.9), (4.10) следует, в частности, что четыре вектора
/ , iSa = _еара85рае, Re Са, Im О образуют ортогональный четырехгран-
a
6
НИК, еСЛИ — Q2 + - 1 N a p a e A W * 8 =7^ 0.

Как известно [8], в четномерных пространствах спинор if распадается

на два полуспинора с равным числом компонент, независимо преобразую­
щихся на собственной ортогональной группе. В частности, в пространстве
Минковского при выборе матриц уа в виде (4.5) спинор я|) распадается на
два двухкомпонентных спинора if1, if>2 и i|>3, if4.
Все соотношения, данные выше для четырехкомпонентных спиноров.,
справедливы и для двухкомпонентных. Переход в формулах от одного спи­
нора к другому может быть совершен, если положить я|з3 = г|)4 = 0.
Эти дополнительные условия приводят к значительному упрощению
связи между спинором и тензорами, так как в этом случае компоненты
вектора Са тождественно равны нулю, а тензор С ар принимает" специаль-
7* 99
ный вид, удовлетворяя дополнительному условию

с «р = __|.в«р«с.ое> ( 4 Л 5 )

где еар(Т8 — единичный антисимметричный по всем индексам псевдотензор

(тензор Леви — Чивита).
В силу (4.15) выполняются все уравнения (4.8) за исключением урав­
нения
стс°* = 0. (4.16)
Таким образом, двухкомпонентный спинор в пространстве Минковско-
го эквивалентен антисимметрическому тензору Са|?, удовлетворяющему
равенствам (4.15), (4.16). Агрегат D для двухкомпонентных спиноров со­
стоит только из изотропного вектора / а . Уравнения (4.10), (4.14) перехо­
дят в уравнения
/а/ а = 0, /аСаР = 0. (4.17)

5. СПИНОР КАК ГЕОМЕТРИЧЕСКИЙ ОБЪЕКТ

В РИМАНОВОМ ПРОСТРАНСТВЕ

При введении спиноров в риманово пространство приходится сталки­

ваться с тем, что компоненты спинора г|)А не могут быть определены в про­
извольной криволинейной системе координат при условии сохранения ли­
нейности преобразования этих компонент [8]. Возможны два различных
подхода к преодолению этой трудности.
Во-первых, в римановом пространстве можно вводить в каждой точке
локальные ортонормированные реперы еа и вводить компоненты спинора
1|)А как компоненты объекта, преобразующегося по спинорному представ­
лению группы вращений этих реперов, т. е. можно вводить компоненты
спинора "фА в неголономных ортонормированных системах координат. Соот­
ветствующий формализм называется тетрадным.
Принципиальным недостатком тетрадного формализма является то, что
выбор системы ортонормированных реперов не может быть фиксирован
однозначным образом без дополнительных условий. Выбор системы орто­
нормированных реперов не связан с геометрическими свойствами риманова
пространства и требует дополнительно введения двухвалентного тензора
с п(п—1)/2 компонентами, определяющими тетрады.
Во-вторых, ясно, что всякий геометрический объект как объект, не за­
висящий от выбора системы координат, можно в одной и той же системе
координат определять различными наборами компонент, по-разному пре­
образующихся при переходе к новым системам координат, но взаимно од­
нозначно связанных друг с другом. В частности, как было показано выше,
в декартовой системе координат в Rn+ спинор может быть определен 2V
комплексными компонентами СА или же 22v тензорными комплексными
компонентами С, С06»062-06 к с 2V(2V — 1) инвариантными алгебраическими
связями между ними. Однако в отличие от компонент "фА, тензорные ком­
поненты спинора С, Caia2-aii могут быть определены в римановом простран­
стве в любой криволинейной системе координат. Поэтому для рассмотрев
100
ния спинора как геометрического объекта в римановом пространстве вве­
дение неголономных систем координат необязательно. Тензорные компо­
ненты С, Caia2-ak спинора г|) можно определить и в неголономных системах
координат еа- В таких системах координат (и, вообще говоря, только в
них) можно определить для спинора также и компоненты о[)А.
Таким образом, спинор как геометрический объект в римановом прост­
ранстве может быть определен тензорными компонентами С, C,aiCC2-ak
в произвольной системе координат или спинорными компонентами *фА
в неголономных ортонормированных системах координат еа. Однако, по­
скольку введение компонент спинора г|зА связано с введением дополни­
тельно п(п — 1) / 2 компонент двухвалентного тензора, определяющего
неголономную систему координат еа, и эти ортонормированные системы
являются внешними и посторонними для риманова пространства с точки
зрения его геометрических свойств, то в теоретических исследованиях оче­
видно преимущество рассмотрения тензорных компонент спинора 3 ). Тем
не менее, иногда (в частности, при использовании вариационных методов)
оказывается полезной формулировка теории и с помощью компонент а|)А.

Институт механики Поступила в редакцию

Московского государственного 10 июня 1969 г.
университета
Литература

[1] В. А. Ж е л н о р о в и ч. ДАН СССР, 169, 225, 1966.

[2]. В. А. Ж е л н о р• о в и ч. ПММ, 30, 1087, 1966.
[3] Д. У и л л ер. Гравитация, нейтрино и Вселенная. ИЛ, 1962.
[4] L. S с h m i d. Spinor formulation of magnetogas dynamics, Goddard space fleight
center, Greenbelt, Maryland, 1964.
[5] Г. A. 3 а й ц е в. ЖЭТФ, вып. 6, 653, 667, 675, 1953.
[6] J. R. К1 a u d e r. J. Math. Phys., 5, 1204, 1966.
[7] R. P e n г о s e. Phys. Rev. Letters, 10, 66, 1963.
[8] Э. К а р т а н. Теория спиноров, ГИИЛ, 1947.
[9] Д. Д. И в а н е н к о . Вступительная статья в сб.: «Гравитация и топология»,
«Мир», 1966.
[10] X. М ё л л е р . Законы сохранения в тетрадной теории гравитации. В сб.: Грави­
тация и топология, «Мир», 1966.
[И] С. Ш в е б е р . Введение в релятивистскую квантовую теорию поля, ИЛ, 1963
[12] П. К. Р а ш е в с к и и. УМН, 10, 3, 1954.
[13] Ю. Б. Р у м е р . Исследования по 5-оптике, гл. 5, Гостехиздат, 1956.
[14] В. А. Ф о к. J. Phys. Radium, 10, 1929.
[15] В. А. Ф о к. Z. Phys., 57, 216, 1929.
[16] В. А. Ф о к, Д. Д. И в а н е н ко. Compt. Rend, 188, 1470, 1929.

3
) Кажущееся усложнение, заключающееся в возникновении нелинейности в из­
вестных линейных спинорных уравнениях при их записи в тензорных компонентах
спинора, является, вообще, несущественным ввиду полной эквивалентности обеих
форм записи. Следует отметить также, что линейные спинорные уравнения специаль­
ной теории относительности при их записи в ковариантном виде в рамках общей
теории относительности также становятся нелинейными.

101
 THE REPRESENTATION OF SPINORS BY REAL
AND COMPLEX TENSOR AGGREGATES
V. A, Zhelnorovich
All independent real and complex, as well as scalar and tensor characteristics are
found for spinors in тг-dimensional (complex, in general case) Euclidian space. The
one-to-one correspondence is established between the components of a spinor and of a
certain complex tensor aggregate C, defined by the spinor. For real Euclidian spaces
the homomorphism is deduced between the components of the spinor and of the real
tensor aggregate Д defined by the spinor. All relationships between the spinor and
the aggregates С and D are written out separately in the case of Minkowski space.
The results obtained open the possibility of metrical description of the interaction
between fermion and gravitation fields.