Гамма-матрицы

редактировать

В математической физике, гамма матрицы, ${γ 0, γ 1, γ 2, γ 3} {\ displaystyle \ {\ gamma ^ {0}, \ gamma ^ {1}, \ gamma ^ {2}, \ gamma ^ {3} \}}$ $\ {\ gamma ^ {0}, \ gamma ^ {1}, \ gamma ^ {2}, \ gamma ^ { 3} \}$ , также известные как матрицы Дирака, представляют собой набор обычных матриц со специфическими антикоммутационными отношениями, которые гарантируют, что они генерируют матричное представление Алгебра Клиффорда Cℓ 1,3 (R). Также возможно определить гамма-матрицы более высокой размерности. При интерпретации как матрицы действия набора ортогональных базисных векторов для контрастных векторов в пространстве Минковского векторы-столбцы, на которые действуют матрицы, становятся пространством спиноров, на которое действует алгебра Клиффорда пространства-времени. Это, в свою очередь, позволяет представлять бесконечно малые пространственные вращения и повышения Лоренца. Спиноры в целом упрощают вычисления пространства-времени и, в частности, являются фундаментальными для уравнения Дирака для релятивистских частиц спина 1/2.

В представлении Дирака четыре контравариантных гамма-матрицы равны

γ 0 = (1 0 0 0 0 1 0 0 0 0 - 1 0 0 0 0 - 1), γ 1 = (0 0 0 1 0 0 1 0 0 - 1 0 0 - 1 0 0 0), γ 2 = (0 0 0 - i 0 0 i 0 0 i 0 0 - i 0 0 0), γ 3 = (0 0 1 0 0 0 0 - 1 - 1 0 0 0 0 1 0 0). {\ displaystyle {\ begin {align} \ gamma ^ {0} = {\ begin {pmatrix} 1 0 0 0 \\ 0 1 0 0 \\ 0 0 -1 0 \\ 0 0 0 -1 \ end {pmatrix}}, \ gamma ^ {1 } = {\ begin {pmatrix} 0 0 0 1 \\ 0 0 1 0 \\ 0 -1 0 0 \\ - 1 0 0 0 0 \ end {pmatrix}}, \\\ gamma ^ {2} = {\ begin {pmatrix} 0 0 0 -i \\ 0 0 i 0 \\ 0 i 0 0 \\ - i 0 0 0 \ end {pmatrix}}, \ gamma ^ {3} = {\ begin {pmatrix} 0 0 1 0 \\ 0 0 0 -1 \\ - 1 0 0 0 \\ 0 1 0 0} end {pmatrix}. \ end {align}}}

{\begin{aligned}\gamma ^{0}={\begin{pmatrix}1000\\0100\\00-10\\000-1\end{pmatrix}},\gamma ^{1}={\begin{pmatrix}0001\\0010\\0-100\\-1000\end{pmatrix}},\\\gamma ^{2}={\begin{pmatrix}000-i\\00i0\\0i00\\-i000\end{pmatrix}},\gamma ^{3}={\begin{pmatrix}0010\\000-1\\-1000\\0100\end{pmatrix}}.\end{aligned}}

$γ 0 {\ displaystyle \ gamma ^ {0}}$ $\ gamma ^ {0}$ - временная эрмитова матрица. Остальные три представляют собой пространственно-подобные антиэрмитовые матрицы. Более компактно, $γ 0 = σ 3 ⊗ I {\ displaystyle \ gamma ^ {0} = \ sigma ^ {3} \ otimes I}$ ${\ displaystyle \ gamma ^ {0} = \ sigma ^ {3} \ otimes I}$ и $γ j = i σ 2 ⊗ σ j {\ displaystyle \ gamma ^ {j} = i \ sigma ^ {2} \ otimes \ sigma ^ {j}}$ ${\ Displaystyle \ гамма ^ {J} = я \ си gma ^ {2} \ otimes \ sigma ^ {j}}$ , где $⊗ {\ displaystyle \ otimes}$ $\ otimes$ обозначает произведение Кронекера, а $σ j {\ displaystyle \ sigma ^ {j}}$ $\ sigma ^ {j}$ (для j = 1, 2, 3) обозначает Матрицы Паули.

Аналогичные наборы гамма-матриц могут быть определены в любом измерении и для любой сигнатуры метрики. Например, матрицы Паули представляют собой набор «гамма» -матриц в размерности 3 с метрикой евклидовой сигнатуры (3, 0). В пяти измерениях пространства-времени 4 гамма-матрицы выше вместе с пятой гамма-матрицей, которая будет представлена ниже, образуют алгебру Клиффорда.

Содержание

1 Математическая структура
2 Физическая структура
3 Выражение уравнения Дирака
4 Пятая «гамма-матрица», γ
5 Тождества
- 5.1 Разные идентичности
- 5.2 Тождества следов
- 5.3 Нормализация
- 5.4 Обозначения с косой чертой Фейнмана, используемые в квантовой теории поля
6 Другие представления
- 6.1 Базис Дирака
- 6.2 (киральный) базис Вейля
- 6.3 Базис Майорана
- 6.4 Cℓ 1,3 (C) и Cℓ 1,3 (R)
7 Евклидовы матрицы Дирака
- 7.1 Киральное представление
- 7.2 Нерелятивистское представление
8 См. Также
9 Ссылки
10 Внешние ссылки

Математическая структура

Определяющим свойством для гамма-матриц для генерации алгебры Клиффорда является антикоммутационное отношение

{γ μ, γ ν} знак равно γ μ γ ν + γ ν γ μ = 2 η μ ν I 4, {\ displaystyle \ {\ gamma ^ {\ mu}, \ gamma ^ {\ nu} \} = \ gamma ^ {\ mu} \ gamma ^ {\ nu} + \ gamma ^ {\ nu} \ gamma ^ {\ mu} = 2 \ eta ^ {\ mu \ nu} I_ {4},}

{\ displaystyle \ {\ gamma ^ {\ mu}, \ gamma ^ {\ nu} \} = \ gamma ^ {\ mu } \ gamma ^ {\ nu} + \ gamma ^ {\ nu} \ gamma ^ {\ mu} = 2 \ eta ^ {\ mu \ nu} I_ {4},}

где ${,} {\ displaystyle \ {, \}}$ $\ {, \}$ - это антикоммутатор, $η μ ν {\ displaystyle \ eta ^ {\ mu \ nu}}$ $\eta ^{\mu \nu }$ - это метрика Минковского с подписью (+ - - -), и $I 4 {\ displaystyle I_ {4}}$ $I_ {4}$ - это единичная матрица 4 × 4 .

Это определяющее свойство является более фундаментальным, чем числовые значения, используемые в конкретном представлении. гамма-матриц. Ковариантные гамма-матрицы определяются как

γ μ = η μ ν γ ν = {γ 0, - γ 1, - γ 2, - γ 3}, {\ displaystyle \ gamma _ {\ mu } = \ eta _ {\ mu \ nu} \ gamma ^ {\ nu} = \ left \ {\ gamma ^ {0}, - \ gamma ^ {1}, - \ gamma ^ {2}, - \ gamma ^ Предполагается, что {3} \ right \},}

{\ displaystyle \ gamma _ {\ mu} = \ eta _ {\ mu \ nu} \ gamma ^ {\ nu} = \ left \ {\ g amma ^ {0}, - \ gamma ^ {1}, - \ gamma ^ {2}, - \ gamma ^ {3} \ right \},}

и нотация Эйнштейна.

Обратите внимание, что другое соглашение о знаках для метрики (- + + +) требует либо изменения в определяющем уравнении:

{γ μ, γ ν} = - 2 η μ ν я 4 {\ displaystyle \ {\ gamma ^ {\ mu}, \ gamma ^ {\ nu} \} = - 2 \ eta ^ {\ mu \ nu} I_ {4}}

\{\gamma ^{\mu },\gamma ^{\nu }\}=-2\eta ^{\mu \nu }I_{4}

или умножение всех гамма-матриц на $i {\ displaystyle i}$ $я$ , что, конечно, изменяет их свойства герметичности, подробно описанные ниже. В соответствии с соглашением об альтернативных знаках для метрики ковариантные гамма-матрицы затем определяются как

γ μ = η μ ν γ ν = {- γ 0, + γ 1, + γ 2, + γ 3}. {\ Displaystyle \ gamma _ {\ mu} = \ eta _ {\ mu \ nu} \ gamma ^ {\ nu} = \ left \ {- \ gamma ^ {0}, + \ gamma ^ {1}, + \ гамма ^ {2}, + \ gamma ^ {3} \ right \}.}

{\ displaystyle \ gamma _ {\ mu} = \ eta _ {\ mu \ nu} \ gamma ^ {\ nu} = \ left \ {- \ gamma ^ {0}, + \ gamma ^ {1}, + \ gamma ^ {2}, + \ gamma ^ {3} \ вправо \}.}

Физическая структура

Алгебра Клиффорда Cl 1,3 (ℝ) в пространстве-времени V может рассматриваться как набор реальных линейных операторов от V к самому себе, End (V) или, в более общем смысле, когда комплексифицируется в Cl 1,3 (ℝ) ℂ, как набор линейных операторов из любого 4-мерного комплексного векторного пространства в себя. Проще говоря, учитывая основу для V, Cl 1,3 (ℝ) ℂ - это просто набор всех комплексных матриц 4 × 4, но наделенный структурой алгебры Клиффорда. Предполагается, что пространство-время наделено метрикой Минковского η μν. Пространство биспиноров, U x, также предполагается в каждой точке пространства-времени, наделенное биспинорным представлением группы группы Лоренца. Биспинорные поля Ψ уравнений Дирака, вычисленные в любой точке x в пространстве-времени, являются элементами U x, см. Ниже. Предполагается, что алгебра Клиффорда действует и на U x (путем умножения матриц на векторы-столбцы Ψ (x) в U x для всех x). Это будет основной вид элементов Cl 1,3 (ℝ) ℂ в этом разделе.

Для каждого линейного преобразования S U x существует преобразование End (U x), заданное SES для E в Cl 1,3 (ℝ) ℂ ≈ Конец (U x). Если S принадлежит представлению группы Лоренца, то индуцированное действие E ↦ SES также будет принадлежать представлению группы Лоренца, см. Теория представлений группы Лоренца.

Если S (Λ) является биспинорное представление, действующее на U x произвольного преобразования Лоренца Λ в стандартном (4-векторном) представлении, действующем на V, то на End имеется соответствующий оператор (U x) = Cl 1,3 (ℝ) ℂ определяется как

γ μ ↦ S (Λ) γ μ S (Λ) - 1 знак равно (Λ - 1) μ ν γ ν: знак равно Λ ν μ γ ν, {\ Displaystyle \ gamma ^ {\ mu} \ mapsto S (\ Lambda) \ gamma ^ {\ mu} S (\ Lambda) ^ { -1} = {(\ Lambda ^ {- 1}) ^ {\ mu}} _ {\ nu} \ gamma ^ {\ nu}: = {\ Lambda _ {\ nu}} ^ {\ mu} \ gamma ^ {\ nu},}

\gamma ^{\mu }\mapsto S(\Lambda)\gamma ^{\mu }S(\Lambda)^{-1}={(\Lambda ^{-1})^{\mu }}_{\nu }\gamma ^{\nu }:={\Lambda _{\nu }}^{\mu }\gamma ^{\nu },

показывая, что γ можно рассматривать как основу пространства представления 4-векторного представления группы Лоренца, сидящей внутри Клиффорда. алгебра. Это означает, что величины вида

a /: = a μ γ μ {\ displaystyle a \! \! \! /: = A _ {\ mu} \ gamma ^ {\ mu}}

{\ displaystyle a \ ! \! \! /: = a _ {\ mu} \ gamma ^ {\ mu}}

должны рассматриваться как 4-векторы в манипуляциях. Это также означает, что индексы можно повышать и понижать на γ с помощью метрики η μν, как и с любым 4-вектором. Обозначение называется косой чертой Фейнмана. Операция косой черты отображает базис e μ V или любого 4-мерного векторного пространства в базисные векторы γ μ. Правило преобразования для сокращенных величин просто

a / μ ↦ Λ μ ν a / ν. {\ displaystyle {a \! \! \! /} ^ {\ mu} \ mapsto {\ Lambda ^ {\ mu}} _ {\ nu} {a \! \! \! /} ^ {\ nu}. }

{a\!\!\!/}^{\mu }\mapsto {\Lambda ^{\mu }}_{\nu }{a\!\!\!/}^{\nu }.

Следует отметить, что это отличается от правила преобразования для γ, которые теперь рассматриваются как (фиксированные) базисные векторы. Обозначение 4-кортежа (γ) = (γ, γ, γ, γ) как 4-вектора, которое иногда встречается в литературе, является, таким образом, небольшим неправильным употреблением. Последнее преобразование соответствует активному преобразованию компонентов косой величины в терминах базиса γ, а первое - пассивному преобразованию самого базиса γ.

Элементы σ = γγ - γγ образуют представление алгебры Ли группы Лоренца. Это представление вращения. Когда эти матрицы и их линейные комбинации возведены в степень, они являются биспинорными представлениями группы Лоренца, например, S (Λ), приведенная выше, имеет эту форму. Шестимерное пространство σ span является пространством представления тензорного представления группы Лоренца. Об элементах высшего порядка алгебры Клиффорда в целом и правилах их преобразования см. Статью Алгебра Дирака. Но здесь отмечается, что алгебра Клиффорда не имеет подпространства, являющегося пространством представления спинового представления группы Лоренца в контексте, используемом здесь.

Выражение уравнения Дирака

В натуральных единицах уравнение Дирака может быть записано как

(i γ μ ∂ μ - m) ψ = 0 {\ displaystyle (i \ gamma ^ {\ mu} \ partial _ {\ mu} -m) \ psi = 0}

(i \ gamma ^ {\ mu} \ partial _ {\ mu} -m) \ psi = 0

где $ψ {\ displaystyle \ psi}$ $\ psi$ - спинор Дирака.

При переходе на нотацию Фейнмана уравнение Дирака имеет вид

(i ∂ / - m) ψ = 0. {\ displaystyle (i {\ partial \! \! \! / } -m) \ psi = 0.}

{\ displaystyle (i { \ partial \! \! \! /} - m) \ psi = 0.}

Пятая «гамма-матрица», γ

Полезно определить произведение четырех гамма-матриц как $γ 5 = σ 1 ⊗ I {\ displaystyle \ gamma ^ {5} = \ sigma _ {1} \ otimes I}$ ${\ displaystyle \ gamma ^ {5} = \ sigma _ {1} \ otimes I}$ , так что

γ 5: = i γ 0 γ 1 γ 2 γ 3 = (0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0) {\ Displaystyle \ gamma ^ {5}: = я \ gamma ^ {0} \ gamma ^ {1} \ gamma ^ {2} \ gamma ^ {3} = {\ begin {pmatrix} 0 0 1 0 \\ 0 0 0 1 \\ 1 0 0 0 \\ 0 1 0 0 \ end {pmatrix}}}

{\ displaystyle \ gamma ^ {5}: = i \ gamma ^ {0} \ gamma ^ {1} \ gamma ^ {2} \ gamma ^ {3} = {\ begin {pmatrix} 0 0 1 0 \\ 0 0 0 1 \\ 1 0 0 0 0 \\ 0 1 0 0 \ end {pmatrix}}}

(в базисе Дирака).

Хотя $γ 5 {\ displaystyle \ gamma ^ {5 }}$ $\ gamma ^ {5}$ использует буквенную гамму, это не одна из гамма-матриц Cℓ 1,3 (R). Число 5 является пережитком старых обозначений, в которых $γ 0 {\ displaystyle \ gamma ^ {0}}$ $\ gamma ^ {0}$ назывался « $γ 4 {\ displaystyle \ gamma ^ {4}}.$ $\ gamma ^ {4}$ ".

$γ 5 {\ displaystyle \ gamma ^ {5}}$ $\ gamma ^ {5}$ также имеет альтернативную форму:

γ 5 = i 4! ε μ ν α β γ μ γ ν γ α γ β {\ displaystyle \ gamma ^ {5} = {\ frac {i} {4!}} \ varepsilon ^ {\ mu \ nu \ alpha \ beta} \ gamma _ {\ mu} \ gamma _ {\ nu} \ gamma _ {\ alpha} \ gamma _ {\ beta}}

{\ Displaystyle \ gamma ^ {5} = {\ frac {i} {4!}} \ varepsilon ^ {\ mu \ nu \ alpha \ beta} \ gamma _ {\ mu} \ gamma _ {\ nu} \ gamma _ {\ альфа} \ gamma _ {\ beta}}

с использованием соглашения $ε 0123 = 1 {\ displaystyle \ varepsilon _ {0123} = 1 }$ ${\ displaystyle \ varepsilon _ {0123} = 1}$ или

γ 5 = - i 4! ε μ ν α β γ μ γ ν γ α γ β {\ displaystyle \ gamma ^ {5} = - {\ frac {i} {4!}} \ varepsilon ^ {\ mu \ nu \ alpha \ beta} \ gamma _ {\ mu} \ gamma _ {\ nu} \ gamma _ {\ alpha} \ gamma _ {\ beta}}

{\ displaystyle \ gamma ^ {5} = - {\ frac {i} {4!}} \ varepsilon ^ {\ mu \ nu \ alpha \ beta} \ gamma _ {\ mu } \ gamma _ {\ nu} \ gamma _ {\ alpha} \ gamma _ {\ beta}}

с использованием соглашения $ε 0123 = 1 {\ displaystyle \ varepsilon ^ {0123} = 1}$ $\varepsilon ^{0123}=1$ .

Доказательство

Это можно увидеть, используя тот факт, что все четыре гамма-матрицы антикоммутируют, поэтому

γ 0 γ 1 γ 2 γ 3 = γ [0 γ 1 γ 2 γ 3] = 1 4! δ μ ν ϱ σ 0123 γ μ γ ν γ ϱ γ σ {\ Displaystyle \ gamma ^ {0} \ gamma ^ {1} \ gamma ^ {2} \ gamma ^ {3} = \ gamma ^ {[0} \ гамма ^ {1} \ gamma ^ {2} \ gamma ^ {3]} = {\ frac {1} {4!}} \ delta _ {\ mu \ nu \ varrho \ sigma} ^ {0123} \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ varrho} \ gamma ^ {\ sigma}}

\gamma ^{0}\gamma ^{1}\gamma ^{2}\gamma ^{3}=\gamma ^{[0}\gamma ^{1}\gamma ^{2}\gamma ^{3]}={\frac {1}{4!}}\delta _{\mu \nu \varrho \sigma }^{0123}\gamma ^{\mu }\gamma ^{\nu }\gamma ^{\varrho }\gamma ^{\sigma }

где $δ μ ν ϱ σ α β γ δ {\ displaystyle \ delta _ {\ mu \ nu \ varrho \ sigma} ^ {\ alpha \ beta \ gamma \ delta}}$ $\delta _{\mu \nu \varrho \sigma }^{\alpha \beta \gamma \delta }$ - это тип (4,4) обобщенная дельта Кронекера в 4-х измерениях, полностью антисимметризация. Если $ε α… β {\ displaystyle \ varepsilon _ {\ alpha \ dots \ beta}}$ $\ varepsilon _ {\ alpha \ dots \ beta}$ обозначает символ Леви-Чивиты в n измерениях, мы можем использовать тождество $δ μ ν ϱ σ α β γ δ знак равно ε α β γ δ ε μ ν ϱ σ {\ displaystyle \ delta _ {\ mu \ nu \ varrho \ sigma} ^ {\ alpha \ beta \ gamma \ delta} = \ varepsilon ^ {\ alpha \ beta \ gamma \ delta} \ varepsilon _ {\ mu \ nu \ varrho \ sigma}}$ $\ delta _ {\ mu \ nu \ varrho \ sigma} ^ {\ alpha \ beta \ gamma \ delta} = \ varepsilon ^ {\ alpha \ beta \ gamma \ delta} \ varepsilon _ {\ mu \ nu \ varrho \ sigma}$ . Тогда мы получим, используя условное обозначение $ε 0123 = 1 {\ displaystyle \ varepsilon ^ {0123} = 1}$ $\varepsilon ^{0123}=1$ ,

γ 5 = i γ 0 γ 1 γ 2 γ 3 = i 4! ε 0123 ε μ ν ϱ σ γ μ γ ν γ ϱ γ σ = я 4! ε μ ν ϱ σ γ μ γ ν γ ϱ γ σ = - я 4! ε μ ν ϱ σ γ μ γ ν γ ϱ γ σ {\ Displaystyle \ gamma ^ {5} = i \ gamma ^ {0} \ gamma ^ {1} \ gamma ^ {2} \ gamma ^ {3} = { \ frac {i} {4!}} \ varepsilon ^ {0123} \ varepsilon _ {\ mu \ nu \ varrho \ sigma} \, \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ varrho} \ gamma ^ {\ sigma} = {\ frac {i} {4!}} \ varepsilon _ {\ mu \ nu \ varrho \ sigma} \, \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ varrho} \ gamma ^ {\ sigma} = - {\ frac {i} {4!}} \ varepsilon ^ {\ mu \ nu \ varrho \ sigma} \, \ gamma _ {\ mu} \ gamma _ {\ nu} \ gamma _ {\ varrho} \ gamma _ {\ sigma}}

\gamma ^{5}=i\gamma ^{0}\gamma ^{1}\gamma ^{2}\gamma ^{3}={\frac {i}{4!}}\varepsilon ^{0123}\varepsilon _{\mu \nu \varrho \sigma }\,\gamma ^{\mu }\gamma ^{\nu }\gamma ^{\varrho }\gamma ^{\sigma }={\frac {i}{4!}}\varepsilon _{\mu \nu \varrho \sigma }\,\gamma ^{\mu }\gamma ^{\nu }\gamma ^{\varrho }\gamma ^{\sigma }=-{\frac {i}{4!}}\varepsilon ^{\mu \nu \varrho \sigma }\,\gamma _{\mu }\gamma _{\nu }\gamma _{\varrho }\gamma _{\sigma }

Эта матрица полезна при обсуждении квантовой хиральности. Например, поле Дирака может быть спроецировано на его левую и правую компоненты следующим образом:

ψ L = 1 - γ 5 2 ψ, ψ R = 1 + γ 5 2 ψ {\ displaystyle \ psi _ { L} = {\ frac {1- \ gamma ^ {5}} {2}} \ psi, \ qquad \ psi _ {R} = {\ frac {1+ \ gamma ^ {5}} {2}} \ psi}

{\ displaystyle \ psi _ {L} = {\ frac {1- \ gamma ^ {5}} {2}} \ psi, \ qquad \ psi _ {R} = {\ frac {1+ \ gamma ^ {5}} {2}} \ psi}

Некоторые свойства:

Это эрмитово:
$(γ 5) † = γ 5. {\ displaystyle (\ gamma ^ {5}) ^ {\ dagger} = \ gamma ^ {5}.}$ $(\gamma ^{5})^{\dagger }=\gamma ^{5}.$
Его собственные значения равны ± 1, потому что:
$(γ 5) 2 = I 4. {\ displaystyle (\ gamma ^ {5}) ^ {2} = I_ {4}.}$ ${\ displaystyle (\ gamma ^ {5}) ^ {2} = I_ {4}.}$
Он антикоммутируется с четырьмя гамма-матрицами:
${γ 5, γ μ} = γ 5 γ μ + γ μ γ 5 знак равно 0. {\ Displaystyle \ left \ {\ gamma ^ {5}, \ gamma ^ {\ mu} \ right \} = \ gamma ^ {5} \ gamma ^ {\ mu} + \ gamma ^ { \ mu} \ gamma ^ {5} = 0.}$ $\left\{\gamma ^{5},\gamma ^{\mu }\right\}=\gamma ^{5}\gamma ^{\mu }+\gamma ^{\mu }\gamma ^{5}=0.$

Фактически, $ψ L {\ displaystyle \ psi _ {L}}$ ${\ displaystyle \ psi _ {L}}$ и $ψ R {\ displaystyle \ psi _ {R}}$ ${\ displaystyle \ psi _ {R}}$ являются собственными векторами $γ 5 {\ displaystyle \ gamma ^ {5}}$ $\gamma ^{5}$ , поскольку

γ 5 ψ L = γ 5 - (γ 5) 2 2 ψ = - ψ L {\ displaystyle \ gamma ^ {5} \ psi _ {L} = {\ frac {\ gamma ^ {5} - (\ gamma ^ {5}) ^ {2}} { 2}} \ psi = - \ psi _ {L}}

{\ displaystyle \ gamma ^ {5} \ psi _ {L} = {\ frac {\ gamma ^ {5} - (\ gamma ^ {5}) ^ {2}} {2}} \ psi = - \ psi _ {L }}

γ 5 ψ R = γ 5 + (γ 5) 2 2 ψ = ψ R. {\ Displaystyle \ gamma ^ {5} \ psi _ {R} = {\ frac {\ gamma ^ {5} + (\ gamma ^ {5}) ^ {2}} {2}} \ psi = \ psi _ {R}.}

{\ displaystyle \ gamma ^ {5} \ psi _ {R} = {\ frac {\ gamma ^ {5} + (\ gamma ^ {5}) ^ {2}} {2} } \ psi = \ psi _ {R}.}

Таким образом, набор {γ, γ, γ, γ, iγ} по двум последним свойствам (с учетом того, что i = −1) и свойствам старых гамм составляет основу Алгебра Клиффорда в пяти измерениях пространства-времени для метрической сигнатуры (1,4). В метрической сигнатуре (4,1) используется набор {γ, γ, γ, γ, γ}, где γ - подходящие для сигнатуры (3,1). Этот шаблон повторяется для четного пространственно-временного измерения 2n и следующего нечетного измерения 2n + 1 для всех n ≥ 1. Для получения более подробной информации см. Гамма-матрицы более высоких измерений.

Тождества

Следующие ниже тождества из фундаментального антикоммутационного отношения, поэтому они выполняются в любом базисе (хотя последнее зависит от выбора знака для $γ 5 {\ displaystyle \ gamma ^ {5}}$ $\ gamma ^ {5}$ ).

Разные идентичности

γ μ γ μ = 4 I 4 {\ displaystyle \ gamma ^ {\ mu} \ gamma _ {\ mu} = 4I_ {4}}

{\ displaystyle \ gamma ^ {\ mu} \ gamma _ {\ mu} = 4I_ {4}}

Доказательство

Взять стандартное антикоммутационное соотношение:

{γ μ, γ ν} = γ μ γ ν + γ ν γ μ = 2 η μ ν I 4. {\ displaystyle \ left \ {\ gamma ^ {\ mu}, \ gamma ^ {\ nu} \ right \} = \ gamma ^ {\ mu} \ gamma ^ {\ nu} + \ gamma ^ {\ nu} \ гамма ^ {\ mu} = 2 \ eta ^ {\ mu \ nu} I_ {4}.}

{\ displaystyle \ left \ {\ gamma ^ {\ mu}, \ gamma ^ {\ nu} \ right \} = \ gamma ^ {\ mu} \ gamma ^ {\ nu } + \ gamma ^ {\ nu} \ gamma ^ {\ mu} = 2 \ eta ^ {\ mu \ nu} I_ {4}.}

Можно сделать эту ситуацию похожей, используя метрику $η {\ displaystyle \ eta}$ $\ eta$ :

$γ μ γ μ знак равно γ μ η μ ν γ ν = η μ ν γ μ γ ν {\ displaystyle {\ begin {align} \ gamma ^ {\ mu} \ gamma _ {\ mu} \\ = {} \ gamma ^ {\ mu} \ eta _ {\ mu \ nu} \ gamma ^ {\ nu} = \ eta _ {\ mu \ nu} \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ end { выровнено}}}$ ${\ displaystyle {\ begin {align} \ gamma ^ {\ mu} \ gamma _ {\ mu} \\ = {} \ gamma ^ {\ mu} \ eta _ {\ mu \ nu} \ gamma ^ {\ nu} = \ eta _ {\ mu \ nu} \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ end {align}}}$
$= 1 2 (η μ ν + η ν μ) γ μ γ ν {\ displaystyle = {\ frac {1} {2}} \ left (\ eta _ {\ mu \ nu} + \ eta _ {\ nu \ mu} \ right) \ gamma ^ {\ mu} \ gamma ^ {\ nu}}$ ${\ displaystyle = {\ frac {1} {2 }} \ left (\ eta _ {\ mu \ nu} + \ eta _ {\ nu \ mu} \ right) \ gamma ^ {\ mu} \ gamma ^ {\ nu}}$	( $η {\ displaystyle \ eta}$ $\ eta$ симметрично)
$= 1 2 (η μ ν γ μ γ ν + η ν μ γ μ γ ν) {\ displaystyle = {\ frac {1} {2}} \ left (\ eta _ {\ mu \ nu} \ gamma ^ {\ mu } \ gamma ^ {\ nu} + \ eta _ {\ nu \ mu} \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ right)}$ ${\ displaystyle = {\ frac {1} {2}} \ left (\ eta _ {\ mu \ nu } \ gamma ^ {\ mu} \ gamma ^ {\ nu} + \ eta _ {\ nu \ mu} \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ right)}$	(раскрытие)
$= 1 2 (η μ ν γ μ γ ν + η μ ν γ ν γ μ) {\ displaystyle = {\ frac {1} {2}} \ left (\ eta _ {\ mu \ nu} \ gamma ^ {\ mu} \ gamma ^ {\ nu} + \ eta _ {\ mu \ nu} \ gamma ^ {\ nu} \ гамма ^ {\ mu} \ right)}$ ${\ displaystyle = {\ frac {1} {2}} \ left (\ eta _ {\ mu \ nu } \ gamma ^ {\ mu} \ gamma ^ {\ nu} + \ eta _ {\ mu \ nu} \ gamma ^ {\ nu} \ gamma ^ {\ mu} \ right)}$	(термин перемаркировки справа)
$= 1 2 η μ ν {γ μ, γ ν} {\ displaystyle = {\ frac {1} {2}} \ eta _ {\ mu \ nu} \ left \ {\ gamma ^ {\ mu}, \ gamma ^ {\ nu} \ right \}}$ ${\ displaystyle = {\ frac {1} {2}} \ eta _ { \ му \ ню} \ влево \ {\ гамма ^ {\ му}, \ гамма ^ {\ ню} \ право \}}$
$= 1 2 η μ ν (2 η μ ν I 4) = η μ ν η μ ν I 4 = 4 I 4. {\ displaystyle = {\ frac {1} {2}} \ eta _ {\ mu \ nu} \ left (2 \ eta ^ {\ mu \ nu} I_ {4} \ right) = \ eta _ {\ mu \ Nu} \ eta ^ {\ mu \ nu} I_ {4} = 4I_ {4}.}$ ${\ displaystyle = { \ frac {1} {2}} \ eta _ {\ mu \ nu} \ left (2 \ eta ^ {\ mu \ nu} I_ {4} \ right) = \ eta _ {\ mu \ nu} \ eta ^ {\ mu \ nu} I_ {4} = 4I_ {4}.}$

$γ μ γ ν γ μ = - 2 γ ν {\ displaystyle \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma _ {\ mu} = - 2 \ gamma ^ {\ nu}}$ ${\ displaystyle \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma _ {\ mu} = - 2 \ gamma ^ {\ nu}}$ Доказательство
Аналогично доказательству 1, снова начиная со стандартного коммутационного соотношения:
$γ μ γ ν γ μ = γ μ (2 η μ ν I 4 - γ μ γ ν) = 2 γ μ η μ ν - γ μ γ μ γ ν = 2 γ ν - 4 γ ν = - 2 γ ν. {\ Displaystyle {\ begin {align} \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma _ {\ mu} = \ gamma ^ {\ mu} \ left (2 \ eta _ {\ mu} ^ {\ nu} I_ {4} - \ gamma _ {\ mu} \ gamma ^ {\ nu} \ right) \\ = 2 \ gamma ^ {\ mu} \ eta _ {\ mu} ^ {\ nu } - \ gamma ^ {\ mu} \ gamma _ {\ mu} \ gamma ^ {\ nu} \\ = 2 \ gamma ^ {\ nu} -4 \ gamma ^ {\ nu} = - 2 \ gamma ^ {\ Nu}. \ конец {выравнивается}}}$ ${\ displaystyle {\ begin {align} \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma _ {\ mu} = \ gamma ^ {\ mu} \ left (2 \ eta _ {\ mu} ^ {\ nu} I_ {4} - \ gamma _ {\ mu} \ гамма ^ {\ nu} \ right) \\ = 2 \ gamma ^ {\ mu} \ eta _ {\ mu} ^ {\ nu} - \ gamma ^ {\ mu} \ gamma _ {\ mu} \ gamma ^ {\ nu} \\ = 2 \ gamma ^ {\ nu} -4 \ gamma ^ {\ nu} = - 2 \ gamma ^ {\ nu}. \ end {align}}}$

γ μ γ ν γ ρ γ μ = 4 η ν ρ I 4 {\ displaystyle \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma _ {\ mu} = 4 \ eta ^ {\ nu \ rho} I_ {4}}

{\ displaystyle \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma _ {\ mu} = 4 \ eta ^ {\ nu \ rho} I_ {4}}

Доказательство

Чтобы показать

γ μ γ ν γ ρ γ μ = 4 η ν ρ I 4. {\ displaystyle \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma _ {\ mu} = 4 \ eta ^ {\ nu \ rho} I_ {4}.}

{\ displaystyle \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma _ {\ mu} = 4 \ eta ^ {\ nu \ rho} I_ {4}.}

Используйте антикоммутатор, чтобы сдвинуть $γ μ {\ displaystyle \ gamma ^ {\ mu}}$ $\ gamma ^ {\ mu}$ вправо

γ μ γ ν γ ρ γ μ {\ displaystyle \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma _ {\ mu}}

\gamma ^{\mu }\gamma ^{\nu }\gamma ^{\rho }\gamma _{\mu }

= {γ μ, γ ν} γ ρ γ μ - γ ν γ μ γ ρ γ μ {\ displaystyle = \ left \ {\ gamma ^ {\ mu}, \ gamma ^ {\ nu} \ right \} \ gamma ^ {\ rho} \ gamma _ {\ mu} - \ gamma ^ {\ nu} \ gamma ^ {\ mu} \ gamma ^ {\ rho} \ gamma _ {\ mu}}

{\ displaystyle = \ left \ {\ gamma ^ {\ mu}, \ gamma ^ {\ nu} \ right \} \ gamma ^ {\ rho} \ gamma _ {\ mu} - \ gamma ^ {\ nu} \ gamma ^ {\ mu} \ gamma ^ {\ rho} \ gamma _ {\ mu}}

= 2 η μ ν γ ρ γ μ - γ ν {γ μ, γ ρ} γ μ + γ ν γ ρ γ μ γ μ. {\ displaystyle = 2 \ \ eta ^ {\ mu \ nu} \ gamma ^ {\ rho} \ gamma _ {\ mu} - \ gamma ^ {\ nu} \ left \ {\ gamma ^ {\ mu}, \ гамма ^ {\ rho} \ right \} \ gamma _ {\ mu} + \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma ^ {\ mu} \ gamma _ {\ mu}.}

=2\ \eta ^{\mu \nu }\gamma ^{\rho }\gamma _{\mu }-\gamma ^{\nu }\left\{\gamma ^{\mu },\gamma ^{\rho }\right\}\gamma _{\mu }+\gamma ^{\nu }\gamma ^{\rho }\gamma ^{\mu }\gamma _{\mu }.

Используя соотношение $γ μ γ μ = 4 I {\ displaystyle \ gamma ^ {\ mu} \ gamma _ {\ mu} = 4I}$ $\gamma ^{\mu }\gamma _{\mu }=4I$ , мы можем сжать последние две гаммы и получить

$γ μ γ ν γ ρ γ μ {\ Displaystyle \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma _ {\ mu}}$ $\gamma ^{\mu }\gamma ^{\nu }\gamma ^{\rho }\gamma _{\mu }$	$= 2 γ ρ γ ν - γ ν 2 η μ ρ γ μ + 4 γ ν γ ρ {\ displaystyle = 2 \ gamma ^ {\ rho} \ gamma ^ {\ nu} - \ gamma ^ {\ nu} 2 \ eta ^ {\ mu \ rho} \ gamma _ {\ mu} +4 \ gamma ^ {\ nu} \ gamma ^ {\ rho}}$ ${\ displaystyle = 2 \ gamma ^ {\ rho} \ gamma ^ {\ nu} - \ gamma ^ {\ nu} 2 \ eta ^ {\ mu \ rho} \ gamma _ {\ mu} +4 \ gamma ^ {\ nu} \ gamma ^ {\ rho}}$
	$= 2 γ ρ γ ν - 2 γ ν γ ρ + 4 γ ν γ ρ { \ Displaystyle = 2 \ гамма ^ {\ rho} \ gamma ^ {\ nu} -2 \ gamma ^ {\ nu} \ gamma ^ {\ rho} +4 \ gamma ^ {\ nu} \ gamma ^ {\ rho} }$ ${\ displaystyle = 2 \ gamma ^ {\ rho} \ gamma ^ {\ nu} -2 \ gamma ^ {\ nu} \ gamma ^ {\ rho} +4 \ gamma ^ {\ nu} \ gamma ^ {\ rho}}$
	$знак равно 2 (γ ρ γ ν + γ ν γ ρ) {\ displaystyle = 2 \ left (\ gamma ^ {\ rho} \ gamma ^ {\ nu} + \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ right)}$ ${\ displaystyle = 2 \ left (\ gamma ^ {\ rh o} \ gamma ^ {\ nu} + \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ right)}$
	$= 2 {γ ν, γ ρ}. {\ displaystyle = 2 \ left \ {\ gamma ^ {\ nu}, \ gamma ^ {\ rho} \ right \}.}$ ${\ displaystyle = 2 \ left \ {\ gamma ^ {\ nu}, \ gamma ^ {\ rho} \ right \}.}$

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

γ μ γ ν γ ρ γ μ = 4 η ν ρ I 4. {\ displaystyle \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma _ {\ mu} = 4 \ eta ^ {\ nu \ rho} I_ {4}.}

{\ displaystyle \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma _ {\ mu} = 4 \ eta ^ {\ nu \ rho} I_ {4}.}

γ μ γ ν γ ρ γ σ γ μ знак равно - 2 γ σ γ ρ γ ν {\ Displaystyle \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma ^ {\ sigma } \ gamma _ {\ mu} = - 2 \ gamma ^ {\ sigma} \ gamma ^ {\ rho} \ gamma ^ {\ nu}}

\gamma ^{\mu }\gamma ^{\nu }\gamma ^{\rho }\gamma ^{\sigma }\gamma _{\mu }=-2\gamma ^{\sigma }\gamma ^{\rho }\gamma ^{\nu }

Доказательство

$γ μ γ ν γ ρ γ σ γ μ {\ Displaystyle \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma ^ {\ sigma} \ gamma _ {\ mu}}$ ${\ displaystyle \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma ^ {\ sigma} \ gamma _ {\ mu}}$	$= (2 η μ ν - γ ν γ μ) γ ρ γ σ γ μ {\ Displaystyle = (2 \ eta ^ {\ mu \ nu} - \ gamma ^ {\ nu} \ gamma ^ {\ mu}) \ gamma ^ {\ rho} \ gamma ^ {\ sigma} \ gamma _ {\ mu} \,}$ ${\ displaystyle = (2 \ eta ^ {\ mu \ nu} - \ gamma ^ {\ nu} \ gamma ^ {\ mu}) \ gamma ^ {\ rho} \ gamma ^ {\ sigma} \ gamma _ {\ mu} \,}$ (тождество антикоммутатора)
	$= 2 η μ ν γ ρ γ σ γ μ - 4 γ ν η ρ σ {\ displaystyle = 2 \ eta ^ {\ mu \ nu} \ gamma ^ {\ rho} \ gamma ^ {\ sigma} \ gamma _ {\ mu} -4 \ gamma ^ {\ nu} \ eta ^ {\ rho \ sigma} \,}$ ${\ displaystyle = 2 \ eta ^ {\ mu \ nu} \ gamma ^ {\ rho} \ gamma ^ {\ sigma} \ gamma _ {\ mu} -4 \ gamma ^ {\ nu} \ eta ^ {\ rho \ sigma} \,}$ (с использованием идентификатора 3)
	$= 2 γ ρ γ σ γ ν - 4 γ ν η ρ σ {\ displaystyle = 2 \ gamma ^ {\ rho} \ gamma ^ {\ sigma} \ gamma ^ {\ nu} -4 \ gamma ^ {\ nu} \ eta ^ {\ rho \ sigma}}$ ${\ displaystyle = 2 \ gamma ^ {\ rho} \ gamma ^ {\ sigma} \ gamma ^ {\ nu} -4 \ gamma ^ {\ nu} \ eta ^ {\ rho \ sigma}}$ (повышение индекса)
	$= 2 (2 η ρ σ - γ σ γ ρ) γ ν - 4 γ ν η ρ σ {\ displaystyle = 2 \ left (2 \ eta ^ {\ rho \ sigma} - \ gamma ^ {\ sigma} \ gamma ^ {\ rho} \ right) \ gamma ^ {\ nu} -4 \ gamma ^ { \ Nu} \ eta ^ {\ rho \ sigma}}$ ${\ display style = 2 \ left (2 \ eta ^ {\ rho \ sigma} - \ gamma ^ {\ sigma} \ gamma ^ {\ rho} \ right) \ gamma ^ {\ nu} -4 \ gamma ^ {\ nu} \ eta ^ {\ rho \ sigma}}$ (тождество антикоммутатора)
	$= - 2 γ σ γ ρ γ ν {\ displaystyle = -2 \ gamma ^ {\ sigma} \ gamma ^ {\ rho} \ gamma ^ {\ nu}}$ ${\ displaystyle = -2 \ gamma ^ {\ sigma} \ gamma ^ {\ rho} \ gamma ^ {\ nu}}$ (2 члена сокращают)

$γ μ γ ν γ ρ = η μ ν γ ρ + η ν ρ γ μ - η μ ρ γ ν - я ϵ σ μ ν ρ γ σ γ 5 {\ Displaystyle \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} = \ eta ^ {\ mu \ nu} \ gamma ^ { \ rho} + \ eta ^ {\ nu \ rho} \ gamma ^ {\ mu} - \ eta ^ {\ mu \ rho} \ gamma ^ {\ nu} -i \ epsilon ^ {\ sigma \ mu \ nu \ rho} \ gamma _ {\ sigma} \ gamma ^ {5}}$ ${\ displaystyle \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} = \ eta ^ {\ mu \ nu} \ gamma ^ {\ rho} + \ eta ^ {\ nu \ rho} \ gamma ^ {\ mu} - \ eta ^ {\ mu \ rho} \ gamma ^ {\ nu} -i \ epsilon ^ { \ sigma \ mu \ nu \ rho} \ gamma _ {\ sigma} \ gamma ^ {5}}$ Доказательство
Если $μ = ν = ρ {\ displaystyle \ mu = \ nu = \ rho}$ $\mu =\nu =\rho$ тогда $ϵ σ μ ν ρ = 0 {\ displaystyle \ epsilon ^ {\ sigma \ mu \ nu \ rho} = 0}$ ${\ displaystyle \ epsilon ^ {\ sigma \ mu \ nu \ rho} = 0}$ , и идентичность легко проверить. Это также относится к случаю, когда $μ = ν ≠ ρ {\ displaystyle \ mu = \ nu \ neq \ rho}$ $\ mu = \ nu \ neq \ rho$ , $μ = ρ ≠ ν {\ displaystyle \ mu = \ rho \ neq \ nu}$ $\mu =\rho \neq \nu$ или $ν = ρ ≠ μ {\ displaystyle \ nu = \ rho \ neq \ mu}$ $\ nu = \ rho \ neq \ mu$ .

С другой стороны, если все три индекса различны, $η μ ν = 0 { \ displaystyle \ eta ^ {\ mu \ nu} = 0}$ ${\ displaystyle \ eta ^ { \ mu \ nu} = 0}$ , $η μ ρ = 0 {\ displaystyle \ eta ^ {\ mu \ rho} = 0}$ ${\ displaystyle \ eta ^ {\ mu \ rho} = 0}$ и $η ν ρ = 0 {\ displaystyle \ eta ^ {\ nu \ rho} = 0}$ $\eta ^{\nu \rho }=0$ и обе стороны полностью антисимметричны; с левой стороны из-за антикоммутативности матриц $γ {\ displaystyle \ gamma}$ $\ gamma$ , а с правой стороны из-за антисимметрии $ϵ σ μ ν ρ {\ displaystyle \ epsilon _ {\ sigma \ mu \ nu \ rho}}$ $\ epsilon _ {\ sigma \ mu \ nu \ rho}$ . Таким образом, достаточно проверить тождества для случаев $γ 0 γ 1 γ 2 {\ displaystyle \ gamma ^ {0} \ gamma ^ {1} \ gamma ^ {2}}$ $\gamma ^{0}\gamma ^{1}\gamma ^{2}$ , $γ 0 γ 1 γ 3 {\ Displaystyle \ gamma ^ {0} \ gamma ^ {1} \ gamma ^ {3}}$ $\ gamma ^ {0} \ gamma ^ {1} \ gamma ^ {3}$ , $γ 0 γ 2 γ 3 {\ displaystyle \ gamma ^ {0} \ gamma ^ {2} \ gamma ^ {3}}$ $\ gamma ^ {0} \ gamma ^ {2} \ gamma ^ {3}$ и $γ 1 γ 2 γ 3 {\ displaystyle \ gamma ^ {1} \ gamma ^ {2} \ gamma ^ {3}}$ $\gamma ^{1}\gamma ^{2}\gamma ^{3}$ .
$- i ϵ σ 012 γ σ γ 5 = - i ϵ 3012 (- γ 3) (i γ 0 γ 1 γ 2 γ 3) = - 3012 γ 0 γ 1 γ 2 = ϵ 0123 γ 0 γ 1 γ 2 - i ϵ σ 013 γ σ γ 5 = - i ϵ 2013 (- γ 2) (i γ 0 γ 1 γ 2 γ 3) = ϵ 2013 γ 0 γ 1 γ 3 = ϵ 0123 γ 0 γ 1 γ 3 - i ϵ σ 023 γ σ γ 5 = - i ϵ 1023 (- γ 1) (i γ 0 γ 1 γ 2 γ 3) = - ϵ 1023 γ 0 γ 2 γ 3 = ϵ 0123 γ 0 γ 2 γ 3 - i ϵ σ 123 γ σ γ 5 Знак равно - я ϵ 0123 (γ 0) (я γ 0 γ 1 γ 2 γ 3) = ϵ 0123 γ 1 γ 2 γ 3 {\ displaystyle {\ begin {align} -i \ epsilon ^ {\ sigma 012} \ gamma _ {\ sigma} \ gamma ^ {5} = - i \ epsilon ^ {3012} \ left (- \ gamma ^ {3} \ right) \ left (i \ gamma ^ {0} \ gamma ^ {1} \ gamma ^ {2} \ gamma ^ {3} \ right) = - \ epsilon ^ {3012} \ gamma ^ {0} \ gamma ^ {1} \ gamma ^ {2} = \ epsilo n ^ {0123} \ gamma ^ {0} \ gamma ^ {1} \ gamma ^ {2} \\ - i \ epsilon ^ {\ sigma 013} \ gamma _ {\ sigma} \ gamma ^ {5} = -i \ epsilon ^ {2013} \ left (- \ gamma ^ {2} \ right) \ left (i \ gamma ^ {0} \ gamma ^ {1} \ gamma ^ {2} \ gamma ^ {3} \ справа) = \ epsilon ^ {2013} \ gamma ^ {0} \ gamma ^ {1} \ gamma ^ {3} = \ epsilon ^ {0123} \ gamma ^ {0} \ gamma ^ {1} \ gamma ^ { 3} \\ - i \ epsilon ^ {\ sigma 023} \ gamma _ {\ sigma} \ gamma ^ {5} = - i \ epsilon ^ {1023} \ left (- \ gamma ^ {1} \ right) \ left (i \ gamma ^ {0} \ gamma ^ {1} \ gamma ^ {2} \ gamma ^ {3} \ right) = - \ epsilon ^ {1023} \ gamma ^ {0} \ gamma ^ {2 } \ gamma ^ {3} = \ epsilon ^ {0123} \ gamma ^ {0} \ gamma ^ {2} \ gamma ^ {3} \\ - i \ epsilon ^ {\ sigma 123} \ gamma _ {\ sigma } \ gamma ^ {5} = - i \ epsilon ^ {0123} \ left (\ gamma ^ {0} \ right) \ left (i \ gamma ^ {0} \ gamma ^ {1} \ gamma ^ {2 } \ gamma ^ {3} \ right) = \ epsilon ^ {0123} \ gamma ^ {1} \ gamma ^ {2} \ gamma ^ {3} \ end {align}}}$ ${\begin{aligned}-i\epsilon ^{\sigma 012}\gamma _{\sigma }\gamma ^{5}=-i\epsilon ^{3012}\left(-\gamma ^{3}\right)\left(i\gamma ^{0}\gamma ^{1}\gamma ^{2}\gamma ^{3}\right)=-\epsilon ^{3012}\gamma ^{0}\gamma ^{1}\gamma ^{2}=\epsilon ^{0123}\gamma ^{0}\gamma ^{1}\gamma ^{2}\\-i\epsilon ^{\sigma 013}\gamma _{\sigma }\gamma ^{5}=-i\epsilon ^{2013}\left(-\gamma ^{2}\right)\left(i\gamma ^{0}\gamma ^{1}\gamma ^{2}\gamma ^{3}\right)=\epsilon ^{2013}\gamma ^{0}\gamma ^{1}\gamma ^{3}=\epsilon ^{0123}\gamma ^{0}\gamma ^{1}\gamma ^{3}\\-i\epsilon ^{\sigma 023}\gamma _{\sigma }\gamma ^{5}=-i\epsilon ^{1023}\left(-\gamma ^{1}\right)\left(i\gamma ^{0}\gamma ^{1}\gamma ^{2}\gamma ^{3}\right)=-\epsilon ^{1023}\gamma ^{0}\gamma ^{2}\gamma ^{3}=\epsilon ^{0123}\gamma ^{0}\gamma ^{2}\gamma ^{3}\\-i\epsilon ^{\sigma 123}\gamma _{\sigma }\gamma ^{5}=-i\epsilon ^{0123}\left(\gamma ^{0}\right)\left(i\gamma ^{0}\gamma ^{1}\gamma ^{2}\gamma ^{3}\right)=\epsilon ^{0123}\gamma ^{1}\gamma ^{2}\gamma ^{3}\end{aligned}}$

Идентификаторы трассировки

Гамма-матрицы подчиняются следующим идентификаторам трасс :

$tr ⁡ (γ μ) = 0 {\ displaystyle \ operatorname {tr} \ left (\ gamma ^ {\ mu} \ right) = 0}$ $\operatorname {tr} \left(\gamma ^{\mu }\right)=0$
След любого произведения нечетного числа из $γ μ {\ displaystyle \ gamma ^ {\ mu}}$ $\ gamma ^ {\ mu}$ равно нулю
След $γ 5 {\ displaystyle \ gamma ^ {5}}$ $\ gamma ^ {5}$ умноженное на нечетное число $γ μ {\ displaystyle \ gamma ^ {\ mu}}$ $\ gamma ^ {\ mu}$ по-прежнему равно нулю
$tr ⁡ (γ μ γ ν) = 4 η μ ν {\ Displaystyle \ OperatorName {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ right) = 4 \ eta ^ {\ mu \ nu}}$ ${\ displaystyle \ operatorname {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ right) = 4 \ eta ^ {\ му \ ну}}$
$tr ⁡ (γ μ γ ν γ ρ γ σ) знак равно 4 (η μ ν η ρ σ - η μ ρ η ν σ + η μ σ η ν ρ) {\ displaystyle \ operatorname {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma ^ {\ sigma} \ right) = 4 \ left (\ eta ^ {\ mu \ nu} \ eta ^ {\ rho \ sigma} - \ eta ^ {\ mu \ rho} \ eta ^ {\ nu \ sigma} + \ eta ^ {\ mu \ sigma} \ eta ^ {\ nu \ rho} \ right)}$ ${\ displaystyle \ operatorname { tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma ^ {\ sigma} \ right) = 4 \ left (\ eta ^ {\ mu \ nu} \ eta ^ {\ rho \ sigma} - \ eta ^ {\ mu \ rho} \ eta ^ {\ nu \ sigma} + \ eta ^ {\ mu \ sigma} \ eta ^ {\ nu \ rho} \ right)}$
$tr ⁡ (γ 5) = tr ⁡ (γ μ γ ν γ 5) знак равно 0 {\ displaystyle \ operatorname {tr} \ left (\ gamma ^ {5} \ right) = \ operatorname {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ Nu} \ gamma ^ {5} \ right) = 0}$ ${\ displaystyle \ operatorname {tr} \ left (\ gamma ^ {5} \ right) = \ operatorname {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {5} \ right) = 0}$
$tr ⁡ (γ μ γ ν γ ρ γ σ γ 5) = - 4 я ϵ μ ν ρ σ {\ displaystyle \ operatorname {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma ^ {\ sigma} \ gamm a ^ {5} \ right) = - 4i \ epsilon ^ {\ mu \ nu \ rho \ sigma}}$ ${\ displaystyle \ operatorname {tr } \ left (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma ^ {\ sigma} \ gamma ^ {5} \ right) = - 4i \ epsilon ^ {\ mu \ ню \ ро \ сигма}}$
$tr ⁡ (γ μ 1… γ μ n) = tr ⁡ (γ μ n… γ μ 1) {\ displaystyle \ operatorname {tr} \ left (\ gamma ^ {\ mu _ {1}} \ dots \ gamma ^ {\ mu _ {n}} \ right) = \ operatorname {tr} \ left (\ gamma ^ {\ mu _ {n}} \ dots \ gamma ^ {\ mu _ {1}} \ right)}$ $\operatorname {tr} \left(\gamma ^{\mu _{1}}\dots \gamma ^{\mu _{n}}\right)=\operatorname {tr} \left(\gamma ^{\mu _{n}}\dots \gamma ^{\mu _{1}}\right)$

Доказательство вышеизложенного включает использование трех основных свойств оператора trace :

tr (A + B) = tr (A) + tr (B)
tr (rA) = r tr (A)
tr (ABC) = tr (CAB) = tr (BCA)

Доказательство 0

Из определения гамма-матриц

γ μ γ ν + γ ν γ μ = 2 η μ ν I {\ displaystyle \ gamma ^ {\ mu} \ gamma ^ {\ nu} + \ gamma ^ {\ nu} \ gamma ^ {\ mu} = 2 \ eta ^ {\ mu \ nu} I}

{\ displaystyle \ gamma ^ {\ mu} \ gamma ^ {\ nu} + \ гамма ^ {\ nu} \ gamma ^ {\ mu} = 2 \ eta ^ {\ mu \ nu} I}

Получаем

γ μ γ μ = η μ μ I {\ displaystyle \ gamma ^ {\ mu} \ gamma ^ {\ mu} = \ eta ^ {\ mu \ mu} I}

{\ displaystyle \ gamma ^ {\ mu} \ gamma ^ {\ mu} = \ eta ^ {\ mu \ mu} I}

или, что эквивалентно,

γ μ γ μ η μ μ = I { \ displaystyle {\ frac {\ gamma ^ {\ mu} \ gamma ^ {\ mu}} {\ eta ^ {\ mu \ mu}}} = I}

{\frac {\gamma ^{\mu }\gamma ^{\mu }}{\eta ^{\mu \mu }}}=I

где $η μ μ {\ displaystyle \ eta ^ {\ mu \ mu}}$ $\ eta ^ {\ mu \ mu}$ - это число, а $γ μ γ μ {\ displaystyle \ gamma ^ {\ mu} \ gamma ^ {\ mu}}$ $\gamma ^{\mu }\gamma ^{\mu }$ - матрица.

тр ⁡ (γ ν) знак равно 1 η μ μ тр ⁡ (γ ν γ μ γ μ) {\ displaystyle \ operatorname {tr} (\ gamma ^ {\ nu}) = {\ frac {1} {\ eta ^ {\ mu \ mu}}} \ operatorname {tr} (\ gamma ^ {\ nu} \ gamma ^ {\ mu} \ gamma ^ {\ mu})}

\operatorname {tr} (\gamma ^{\nu })={\frac {1}{\eta ^{\mu \mu }}}\operatorname {tr} (\gamma ^{\nu }\gamma ^{\mu }\gamma ^{\mu })

(вставка идентификатора и используя тр (rA) = р тр (A))

= - 1 η μ μ тр ⁡ (γ μ γ ν γ μ) {\ displaystyle = - {\ frac {1} {\ eta ^ {\ mu \ mu}}} \ operatorname {tr} (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ mu})}

= - {\ frac { 1} {\ eta ^ {\ mu \ mu}}} \ operatorname {tr} (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ mu})

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

μ ≠ ν {\ displaystyle \ mu \ neq \ nu}

\ му \ neq \ nu

)

= - 1 η μ μ tr ⁡ (γ ν γ μ γ μ) {\ displaystyle = - {\ frac {1} {\ eta ^ {\ mu \ mu}}} \ operatorname {tr} (\ gamma ^ {\ nu} \ gamma ^ {\ mu} \ gamma ^ {\ mu})}

= - {\ frac {1} {\ eta ^ { \ mu \ mu}}} \ operatorname {tr} (\ gamma ^ {\ nu} \ gamma ^ {\ mu} \ gamma ^ {\ mu})

(с использованием tr (ABC) = tr (BCA))

= - tr ⁡ (γ ν) {\ displaystyle = - \ operatorname {tr} (\ gamma ^ {\ nu})}

= - \ operatorname {tr} (\ gamma ^ {\ nu})

(удаление идентичности)

Это подразумевает $tr ⁡ (γ ν) = 0 {\ displaystyle \ operatorname {tr} (\ gamma ^ {\ nu}) = 0}$ $\ operatorname {tr} (\ gamma ^ {\ nu}) = 0$

Доказательство 1

Чтобы показать

тр ⁡ (нечетное число γ) знак равно 0 {\ Displaystyle \ Opera torname {tr} (\ mathrm {odd \ num \ of \} \ gamma) = 0}

{\ displaystyle \ operatorname {tr} (\ mathrm {odd \ num \ of \} \ gamma) = 0}

Сначала обратите внимание, что

tr ⁡ (γ μ) = 0. {\ displaystyle \ operatorname {tr} (\ gamma ^ {\ mu}) = 0.}

{\ displaystyle \ operatorname {tr} (\ gamma ^ {\ mu}) = 0.}

Мы также будем использовать два факта о пятой гамма-матрице $γ 5 {\ displaystyle \ gamma ^ {5}}$ $\gamma ^{5}$ , которые говорят:

(γ 5) 2 = I 4 и γ μ γ 5 = - γ 5 γ μ {\ displaystyle \ left (\ gamma ^ {5} \ right) ^ {2} = I_ {4}, \ quad \ mathrm {и} \ quad \ gamma ^ {\ mu} \ gamma ^ {5} = - \ gamma ^ {5} \ gamma ^ {\ mu}}

{\ displaystyle \ left (\ gamma ^ {5} \ right) ^ {2} = I_ {4}, \ quad \ mathrm {и} \ quad \ gamma ^ {\ mu} \ gamma ^ {5} = - \ gamma ^ {5} \ gamma ^ {\ mu}}

Итак, давайте используем эти два факта, чтобы доказать это тождество для первый нетривиальный случай: след трех гамма-матриц. Шаг первый: поставить одну пару $γ 5 {\ displaystyle \ gamma ^ {5}}$ $\gamma ^{5}$ перед тремя исходными $γ {\ displaystyle \ gamma}$ $\ gamma$ , а второй шаг - вернуть матрицу $γ 5 {\ displaystyle \ gamma ^ {5}}$ $\gamma ^{5}$ в исходное положение после использования цикличности след.

$тр ⁡ (γ μ γ ν γ ρ) {\ displaystyle \ operatorname {tr} (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho})}$ ${\ displaystyle \ operatorname {tr} (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho})}$	$= tr ⁡ (γ 5 γ 5 γ μ γ ν γ ρ) {\ displaystyle = \ operatorname {tr} \ left (\ gamma ^ {5} \ gamma ^ {5} \ gamma ^ {\ mu} \ gamma ^ {\ nu } \ gamma ^ {\ rho} \ right)}$ ${\ displaystyle = \ operatorname {tr} \ left (\ gamma ^ {5} \ gamma ^ {5} \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ right)}$
	$= - tr ⁡ (γ 5 γ μ γ ν γ ρ γ 5) {\ displaystyle = - \ operatorname {tr} \ left (\ gamma ^ {5} \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma ^ {5} \ right)}$ ${\ displaystyle = - \ operatorname {tr} \ left (\ gamma ^ {5} \ gamma ^ {\ mu } \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma ^ {5} \ right)}$
	$= - tr ⁡ (γ 5 γ 5 γ μ γ ν γ ρ) {\ displaystyle = - \ operatorname {tr} \ left (\ gamma ^ {5} \ gamma ^ {5} \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ right)}$ ${\ displaystyle = - \ operatorname {tr} \ left (\ g amma ^ {5} \ gamma ^ {5} \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ right)}$ (используя tr (ABC) = tr (BCA))
	$= - tr ⁡ (γ μ γ ν γ ρ) {\ displaystyle = - \ operatorname {tr} \ left (\ gamma ^ { \ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ right)}$ ${\ displaystyle = - \ имя оператора {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ right)}$

Это может быть выполнено, только если

tr ⁡ (γ μ γ ν γ ρ) = 0 {\ displaystyle \ operatorname {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ right) = 0}

{\ displaystyle \ operatorname {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho } \ right) = 0}

Расширение до 2n + 1 (n целых) гамма-матриц: найдено, поместив две гамма-5 после (скажем) 2-й гаммы -матрица в следе, коммутирующая одна вправо (со знаком минус) и коммутирующая другая гамма-5 2n выходит влево [со сменой знака (-1) ^ 2n = 1]. Затем мы используем циклическую идентичность, чтобы собрать две гамма-5 вместе, и, следовательно, они равняются квадрату к идентичности, оставляя нам след, равный самому минусу, т.е. 0.

Доказательство 2

Если появляется нечетное количество гамма-матриц в следе, за которым следует $γ 5 {\ displaystyle \ gamma ^ {5}}$ $\ gamma ^ {5}$ , наша цель - переместить $γ 5 {\ displaystyle \ gamma ^ {5}}$ $\ gamma ^ {5}$ справа налево. Это оставит след инвариантным по свойству цикличности. Чтобы сделать этот ход, мы должны антикоммутировать его со всеми другими гамма-матрицами. Это означает, что мы антикоммутируем его нечетное количество раз и получаем знак минус. След, равный самому себе отрицательному, должен быть нулевым.

Доказательство 3

Чтобы показать

tr ⁡ (γ μ γ ν) = 4 η μ ν {\ displaystyle \ operatorname {tr} (\ gamma ^ {\ mu} \ gamma ^ {\ nu}) = 4 \ eta ^ {\ mu \ nu}}

\ operatorname {tr} (\ gamma ^ {\ mu} \ gamma ^ {\ nu}) = 4 \ eta ^ {\ му \ ну}

Начнем с,

$tr ⁡ (γ μ γ ν) {\ displaystyle \ operatorname {tr} (\ gamma ^ {\ mu} \ gamma ^ { \ Nu})}$ ${\ displaystyle \ operatorname {tr} (\ gamma ^ {\ mu} \ gamma ^ {\ nu})}$	$= 1 2 (тр ⁡ (γ μ γ ν) + tr ⁡ (γ ν γ μ)) {\ displaystyle = {\ frac {1} {2}} \ left (\ operatorname { tr} (\ gamma ^ {\ mu} \ gamma ^ {\ nu}) + \ operatorname {tr} (\ gamma ^ {\ nu} \ gamma ^ {\ mu}) \ right)}$ ${\ displa ystyle = {\ frac {1} {2}} \ left (\ operatorname {tr} (\ gamma ^ {\ mu} \ gamma ^ {\ nu}) + \ operatorname {tr} (\ gamma ^ {\ nu} \ gamma ^ {\ mu}) \ right)}$
	$= 1 2 тр ⁡ (γ μ γ ν + γ ν γ μ) знак равно 1 2 тр ⁡ ({γ μ, γ ν}) {\ displaystyle = {\ frac {1} {2}} \ operatorname {tr} (\ gamma ^ {\ mu} \ gamma ^ {\ nu} + \ gamma ^ {\ nu} \ gamma ^ {\ mu}) = {\ frac {1} {2}} \ operatorname {tr} \ left (\ left \ { \ gamma ^ {\ mu}, \ gamma ^ {\ nu} \ right \} \ right)}$ ${\ displaystyle = {\ frac {1} {2}} \ имя оператора {tr} (\ gamma ^ {\ mu} \ gamma ^ {\ nu} + \ gamma ^ {\ nu} \ gamma ^ {\ mu}) = {\ frac {1} {2}} \ operatorname {tr } \ left (\ left \ {\ gamma ^ {\ mu}, \ gamma ^ {\ nu} \ right \} \ right)}$
	$= 1 2 2 η μ ν tr ⁡ (I 4) = 4 η μ ν {\ displaystyle = {\ frac {1} {2}} 2 \ eta ^ {\ mu \ nu} \ operatorname {tr} (I_ {4}) = 4 \ eta ^ {\ mu \ nu}}$ ${\ displaystyle = {\ frac {1} { 2}} 2 \ eta ^ {\ mu \ nu} \ operatorname {tr} (I_ {4}) = 4 \ eta ^ {\ mu \ nu}}$

Доказательство 4

тр ⁡ (γ μ γ ν γ ρ γ σ) {\ displaystyle \ operatorname {tr} (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma ^ {\ sigma}) }

{\ displaystyle \ operatorname {tr} (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma ^ {\ sigma})}

= tr ⁡ (γ μ γ ν (2 η ρ σ - γ σ γ ρ)) {\ displaystyle = \ operatorname {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ nu} (2 \ eta ^ { \ rho \ sigma} - \ gamma ^ {\ sigma} \ gamma ^ {\ rho}) \ right)}

=\operatorname {tr} \left(\gamma ^{\mu }\gamma ^{\nu }(2\eta ^{\rho \sigma }-\gamma ^{\sigma }\gamma ^{\rho })\right)

= 2 η ρ σ tr ⁡ (γ μ γ ν) - tr ⁡ (γ μ γ ν γ σ γ ρ) (1) {\ displaystyle = 2 \ eta ^ {\ rho \ sigma} \ operatorname {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ right) - \ operatorname { tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ sigma} \ gamma ^ {\ rho} \ right) \ quad \ quad (1)}

=2\eta ^{\rho \sigma }\operatorname {tr} \left(\gamma ^{\mu }\gamma ^{\nu }\right)-\operatorname {tr} \left(\gamma ^{\mu }\gamma ^{\nu }\gamma ^{\sigma }\gamma ^{\rho }\right)\quad \quad (1)

Для срока справа мы продолжим схему обмена местами $γ σ {\ displaystyle \ gamma ^ {\ sigma}}$ ${\ displaystyle \ gamma ^ {\ sigma}}$ со своим соседом слева,

tr ⁡ (γ μ γ ν γ σ γ ρ) {\ Displaystyle \ OperatorName {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ sigma} \ gamma ^ {\ rho} \ right)}

{\ displaystyle \ operatorname { tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ sigma} \ gamma ^ {\ rho} \ right)}

знак равно тр ⁡ (γ μ (2 η ν σ - γ σ γ ν) γ ρ) {\ displaystyle = \ operatorname {tr} \ left (\ gamma ^ {\ mu} (2 \ eta ^ {\ nu \ sigma} - \ gamma ^ {\ sigma} \ gamma ^ {\ nu}) \ gamma ^ {\ rho} \ right)}

=\operatorname {tr} \left(\gamma ^{\mu }(2\eta ^{\nu \sigma }-\gamma ^{\sigma }\gamma ^{\nu })\gamma ^{\rho }\right)

= 2 η ν σ tr ⁡ (γ μ γ ρ) - tr ⁡ (γ μ γ σ γ ν γ ρ) (2) {\ Displaystyle = 2 \ и т. д. a ^ {\ nu \ sigma} \ operatorname {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ rho} \ right) - \ operatorname {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ sigma} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ right) \ quad \ quad (2)}

{\ displaystyle = 2 \ eta ^ {\ nu \ sigma} \ operatorname {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ rho} \ right) - \ operatorname {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ sigma} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ right) \ quad \ quad (2)}

Опять же, для члена справа поменяйте местами $γ σ {\ displaystyle \ gamma ^ {\ sigma}}$ ${\ displaystyle \ gamma ^ {\ sigma}}$ со своим соседом слева,

tr ⁡ (γ μ γ σ γ ν γ ρ) {\ displaystyle \ operatorname {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ sigma} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ right)}

\operatorname {tr} \left(\gamma ^{\mu }\gamma ^{\sigma }\gamma ^{\nu }\gamma ^{\rho }\right)

= tr ⁡ ((2 η μ σ - γ σ γ μ) γ ν γ ρ) {\ displaystyle = \ operatorname {tr} \ left ((2 \ eta ^ {\ mu \ sigma} - \ gamma ^ {\ sigma} \ gamma ^ {\ mu}) \ gamma ^ {\ nu} \ гамма ^ {\ rho} \ right)}

=\operatorname {tr} \left((2\eta ^{\mu \sigma }-\gamma ^{\sigma }\gamma ^{\mu })\gamma ^{\nu }\gamma ^{\rho }\right)

= 2 η μ σ тр ⁡ (γ ν γ ρ) - тр ⁡ (γ σ γ μ γ ν γ ρ) (3) {\ displaystyle = 2 \ eta ^ {\ mu \ sigma} \ operatorname {tr} \ left (\ gamma ^ {\ nu} \ gamma ^ {\ rho} \ right) - \ operatorname {tr} \ left (\ gamma ^ {\ sigma} \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ right) \ quad \ quad (3)}

{\ displaystyle = 2 \ eta ^ {\ mu \ sigma} \ operatorname {tr} \ left (\ gamma ^ {\ nu} \ gamma ^ {\ rho} \ right) - \ operatorname {tr} \ left (\ gamma ^ {\ sigma} \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ right) \ quad \ quad (3)}

Уравнение (3) - это член справа от уравнения (2), а уравнение (2) - член справа в уравнении (1). Мы также будем использовать тождественный номер 3 для упрощения терминов, например:

2 η ρ σ tr ⁡ (γ μ γ ν) = 2 η ρ σ (4 η μ ν) = 8 η ρ σ η μ ν. {\ displaystyle 2 \ eta ^ {\ rho \ sigma} \ operatorname {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ right) = 2 \ eta ^ {\ rho \ sigma} ( 4 \ eta ^ {\ mu \ nu}) = 8 \ eta ^ {\ rho \ sigma} \ eta ^ {\ mu \ nu}.}

{\ displaystyle 2 \ eta ^ {\ rho \ sigma} \ operatorname {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ right) = 2 \ eta ^ {\ rho \ sigma} (4 \ eta ^ { \ mu \ nu}) = 8 \ eta ^ {\ rho \ sigma} \ eta ^ {\ mu \ nu}.}

Итак, наконец, уравнение (1), когда вы вставляете всю эту информацию в дает

тр ⁡ (γ μ γ ν γ ρ γ σ) = 8 η ρ σ η μ ν - 8 η ν σ η μ ρ + 8 η μ σ η ν ρ {\ displaystyle \ operatorname {tr} (\ гамма ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma ^ {\ sigma}) = 8 \ eta ^ {\ rho \ sigma} \ eta ^ {\ mu \ nu} -8 \ eta ^ {\ nu \ sigma} \ eta ^ {\ mu \ rho} +8 \ eta ^ {\ mu \ sigma} \ eta ^ {\ nu \ rho}}

{\ displaystyle \ operatorname {tr} (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma ^ { \ sigma}) = 8 \ eta ^ {\ rho \ sigma} \ eta ^ {\ mu \ nu} -8 \ eta ^ {\ nu \ sigma} \ eta ^ {\ mu \ rho} +8 \ eta ^ { \ mu \ sigma} \ eta ^ {\ nu \ rho}}

- tr ⁡ (γ σ γ μ γ ν γ ρ) (4) {\ displaystyle - \ \ operatorname {tr} \ left (\ gamma ^ {\ sigma} \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ справа) \ quad \ quad \ quad \ quad \ quad \ quad (4)}

{\ displaystyle - \ \ operatorname {tr } \ left (\ gamma ^ {\ sigma} \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ right) \ quad \ quad \ quad \ quad \ quad \ quad (4) }

Члены внутри трассы можно циклически перемещать, поэтому

tr ⁡ (γ σ γ μ γ ν γ ρ) = tr ⁡ ( γ μ γ ν γ ρ γ σ). {\ displaystyle \ operatorname {tr} \ left (\ gamma ^ {\ sigma} \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ right) = \ operatorname {tr} (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma ^ {\ sigma}).}

{\ displaystyle \ operatorname {tr} \ left (\ gamma ^ {\ sigma} \ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ right) = \ operatorname {tr} (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma ^ {\ sigma}).}

Так что на самом деле (4) равно

2 tr ⁡ (γ μ γ ν γ ρ γ σ) знак равно 8 η ρ σ η μ ν - 8 η ν σ η μ ρ + 8 η μ σ η ν ρ {\ displaystyle 2 \ \ operatorname {tr} (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma ^ {\ sigma}) = 8 \ eta ^ {\ rho \ sigma} \ eta ^ {\ mu \ nu} -8 \ eta ^ {\ nu \ sigma} \ eta ^ {\ mu \ rho} +8 \ eta ^ {\ mu \ sigma} \ eta ^ {\ nu \ rho}}

{\ displaystyle 2 \ \ operatorname {tr} (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma ^ { \ sigma}) = 8 \ eta ^ {\ rho \ sigma} \ eta ^ {\ mu \ nu } -8 \ eta ^ {\ nu \ sigma} \ eta ^ {\ mu \ rho} +8 \ eta ^ {\ mu \ sigma} \ eta ^ {\ nu \ rho}}

или

tr ⁡ (γ μ γ ν γ ρ γ σ) = 4 (η ρ σ η μ ν - η ν σ η μ ρ + η μ σ η ν ρ) {\ displaystyle \ operatorname {tr} (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ { \ rho} \ gamma ^ {\ sigma}) = 4 \ left (\ eta ^ {\ rho \ sigma} \ eta ^ {\ mu \ nu} - \ eta ^ {\ nu \ sigma} \ eta ^ {\ mu \ rho} + \ eta ^ {\ mu \ sigma} \ eta ^ {\ nu \ rho} \ right)}

{\ displaystyle \ operatorname {tr } (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma ^ {\ sigma}) = 4 \ left (\ eta ^ {\ rho \ sigma} \ eta ^ {\ mu \ nu} - \ eta ^ {\ nu \ sigma} \ eta ^ {\ mu \ rho} + \ eta ^ {\ mu \ sigma} \ eta ^{\nu \rho }\right)}

Доказательство 5

Чтобы показать

tr ⁡ (γ 5) = 0 {\ displaystyle \ operatorname {tr} \ left (\ gamma ^ {5} \ right) = 0}

\operatorname {tr} \left(\gamma ^{5}\right)=0

начинается с

$tr ⁡ (γ 5) {\ displaystyle \ operatorname {tr} \ l eft (\ gamma ^ {5} \ right)}$ ${\ displaystyle \ operatorname {tr} \ left ( \ gamma ^ {5} \ right)}$	$= tr ⁡ (γ 0 γ 0 γ 5) {\ displaystyle = \ operatorname {tr} \ left (\ gamma ^ {0} \ gamma ^ {0} \ gamma ^ {5} \ right)}$ ${\ displaystyle = \ operatorname {tr} \ left (\ gamma ^ { 0} \ gamma ^ {0} \ gamma ^ {5} \ right)}$	(потому что $γ 0 γ 0 = I 4 {\ displaystyle \ gamma ^ {0} \ gamma ^ {0} = I_ {4}}$ $\gamma ^{0}\gamma ^{0}=I_{4}$ )
	$= - тр ⁡ (γ 0 γ 5 γ 0) {\ displaystyle = - \ operatorname {tr} \ left (\ gamma ^ {0} \ gamma ^ {5} \ gamma ^ {0} \ right)}$ ${\ displaystyle = - \ operatorname {tr} \ left (\ gamma ^ {0} \ gamma ^ {5} \ gamma ^ {0} \ right)}$	( антикоммутировать $γ 5 {\ displaystyle \ gamma ^ {5}}$ $\ gamma ^ {5}$ с $γ 0 {\ displaystyle \ gamma ^ {0}}$ $\ gamma ^ {0}$ )
	$= - tr ⁡ (γ 0 γ 0 γ 5) {\ displaystyle = - \ operatorname {tr} \ left (\ gamma ^ {0} \ gamma ^ {0} \ gamma ^ {5} \ right)}$ ${\ displaystyle = - \ operatorname {tr} \ left (\ gamma ^ {0} \ gamma ^ {0} \ gamma ^ {5} \ right)}$	(вращать члены внутри трассировки)
	$= - тр ⁡ (γ 5) {\ displaystyle = - \ operatorname {tr} \ left (\ gamma ^ {5} \ right)}$ ${\ displaystyle = - \ operatorname {tr } \ left (\ gamma ^ {5} \ right)}$	(удалить $γ 0 {\ displaystyle \ gamma ^ {0}}$ $\ gamma ^ {0}$ )

Добавить $tr ⁡ (γ 5) {\ displaystyle \ operatorname {tr} \ left (\ gamma ^ {5} \ right)}$ ${\ displaystyle \ operatorname {tr} \ left ( \ gamma ^ {5} \ right)}$ в обе стороны от вышеуказанного, чтобы увидеть

2 tr ⁡ (γ 5) = 0 {\ displaystyle 2 \ operatorname {tr} \ left (\ gamma ^ {5} \ right) = 0}

2\operatorname {tr} \left(\gamma ^{5}\right)=0

Теперь этот шаблон также можно использовать для отображения

тр ⁡ (γ μ γ ν γ 5) знак равно 0 {\ displaystyle \ operatorname {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {5} \ right) = 0}

\operatorname {tr} \left(\gamma ^{\mu }\gamma ^{\nu }\gamma ^{5}\right)=0

Просто сложите два множителя $γ α {\ displaystyle \ gamma ^ {\ alpha}}$ ${\ displaystyle \ gamma ^ {\ alpha}}$ с $α {\ displaystyle \ alpha}$ $\alpha$ отличается от $μ {\ displaystyl e \ mu}$ $\mu$ и $ν {\ displaystyle \ nu}$ $\ ню$ . Антикоммутируйте три раза вместо одного, выбирая три знака минус, и выполняйте цикл, используя циклическое свойство трассировки.

Итак,

тр ⁡ (γ μ γ ν γ 5) = 0 {\ displaystyle \ operatorname {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {5} \ right) = 0}

\operatorname {tr} \left(\gamma ^{\mu }\gamma ^{\nu }\gamma ^{5}\right)=0

Доказательство 6

Для доказательства идентичности 6 тот же трюк все еще работает, если $(μ ν ρ σ) {\ displaystyle \ left (\ mu \ nu \ rho \ sigma \ right)}$ ${\ displaystyle \ left (\ mu \ nu \ rho \ sigma \ right)}$ - это некоторая перестановка (0123), так что появляются все 4 гаммы. Правила антикоммутации подразумевают, что перестановка двух индексов меняет знак следа, поэтому $tr ⁡ (γ μ γ ν γ ρ γ σ γ 5) {\ displaystyle \ operatorname {tr} \ left (\ gamma ^ { \ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma ^ {\ sigma} \ gamma ^ {5} \ right)}$ ${\ displaystyle \ operatorname {tr} \ left (\ gamma ^ {\ mu} \ gamma ^ {\ nu} \ gamma ^ {\ rho} \ gamma ^ {\ sigma} \ gamma ^ {5} \ right)}$ должно быть пропорционально $ϵ μ ν ρ σ {\ displaystyle \ epsilon ^ {\ mu \ nu \ rho \ sigma}}$ $\ epsilon ^ {{\ mu \ nu \ rho \ sigma}}$ $(ϵ 0123 = η 0 μ η 1 ν η 2 ρ η 3 σ ϵ μ ν ρ σ = η 00 η 11 η 22 η 33 ϵ 0123 = - 1) {\ displaystyle \ left (\ epsilon ^ {0123} = \ eta ^ {0 \ mu} \ eta ^ {1 \ nu} \ eta ^ {2 \ rho} \ eta ^ {3 \ sigma} \ epsilon _ {\ mu \ nu \ rho \ sigma} = \ eta ^ {00} \ eta ^ {11} \ eta ^ {22} \ eta ^ {33} \ epsilon _ {0123} = - 1 \ right)}$ ${\ displaystyle \ left (\ эпсилон ^ {0123} = \ eta ^ {0 \ mu} \ eta ^ {1 \ nu} \ eta ^ {2 \ rho} \ eta ^ {3 \ sigma} \ epsilon _ {\ mu \ nu \ rho \ sigma} = \ eta ^ {00} \ eta ^ {11} \ eta ^ {22} \ eta ^ {33} \ epsilon _ {0123} = - 1 \ right)}$ . Константа пропорциональности равна $4 i {\ displaystyle 4i}$ ${\ displaystyle 4i }$ , что можно проверить, подключив $(μ ν ρ σ) = (0123) {\ displaystyle (\ mu \ nu \ rho \ sigma) = (0123)}$ ${\ displaystyle (\ му \ ну \ rho \ sigma) = (0123)}$ , выписав $γ 5 {\ displaystyle \ gamma ^ {5}}$ $\ gamma ^ {5}$ , и помня, что след идентичности 4.

Доказательство 7

Обозначим произведение гамма-матриц $n {\ displaystyle n}$ $n$ как $Γ = γ μ 1 γ μ 2… γ μ n. {\ displaystyle \ Gamma = \ gamma ^ {\ mu 1} \ gamma ^ {\ mu 2} \ dots \ gamma ^ {\ mu n}.}$ $\ Gamma = \ gamma ^ {\ mu 1} \ gamma ^ {\ mu 2} \ dots \ gamma ^ {\ mu n}.$ Рассмотрим эрмитово сопряжение $Γ { \ displaystyle \ Gamma}$ $\ Гамма$ :

$Γ † {\ displaystyle \ Gamma ^ {\ dagger}}$ $\Gamma ^{\dagger }$	$= γ μ n †… γ μ 2 † γ μ 1 † {\ displaystyle = \ gamma ^ {\ mu n \ кинжал} \ dots \ gamma ^ {\ mu 2 \ dagger} \ gamma ^ {\ mu 1 \ dagger}}$ $= \ gamma ^ {\ mu n \ dagger} \ dots \ gamma ^ {\ mu 2 \ dagger} \ gamma ^ {\ mu 1 \ dagger}$
	$= γ 0 γ μ n γ 0… γ 0 γ μ 2 γ 0 γ 0 γ μ 1 γ 0 {\ displaystyle = \ gamma ^ {0} \ gamma ^ {\ mu n} \ gamma ^ {0} \ dots \ gamma ^ {0} \ gamma ^ {\ mu 2} \ gamma ^ {0} \ gamma ^ {0} \ gamma ^ {\ mu 1} \ gamma ^ {0}}$ $= \ gamma ^ {0} \ gamma ^ {\ mu n} \ gamma ^ {0} \ dots \ gamma ^ {0 } \ gamma ^ {\ mu 2} \ gamma ^ {0} \ gamma ^ {0} \ gamma ^ {\ mu 1} \ gamma ^ {0}$	(так как сопряжение гамма-матрицы с $γ 0 {\ displaystyle \ gamma ^ {0}}$ $\ gamma ^ {0}$ дает его эрмитово сопряжение, как описано ниже)
	$= γ 0 γ μ n… γ μ 2 γ μ 1 γ 0 {\ displaystyle = \ gamma ^ {0} \ gamma ^ {\ mu n} \ dots \ gamma ^ {\ mu 2} \ gamma ^ {\ mu 1} \ gamma ^ {0}}$ $= \ гамма ^ {0} \ гамма ^ {\ му п} \ точки \ гамма ^ {\ му 2} \ гамма ^ {\ му 1} \ гамма ^ {0}$	(все $γ 0 {\ displaystyle \ gamma ^ {0}}$ $\ gamma ^ {0}$ кроме первого и последний выпавший)

Спряжение с $γ 0 {\ displaystyle \ gamma ^ {0}}$ $\ gamma ^ {0}$ еще раз, чтобы избавиться от двух $γ 0 {\ displ aystyle \ gamma ^ {0}}$ $\ gamma ^ {0}$ s, которые есть, мы видим, что $γ 0 Γ † γ 0 {\ displaystyle \ gamma ^ {0} \ Gamma ^ {\ dagger} \ gamma ^ {0}}$ $\gamma ^{0}\Gamma ^{\dagger }\gamma ^{0}$ является противоположностью $Γ {\ displaystyle \ Gamma}$ $\ Гамма$ . Теперь

$тр ⁡ (γ 0 Γ † γ 0) {\ displaystyle \ operatorname {tr} \ left (\ gamma ^ {0} \ Gamma ^ {\ dagger} \ gamma ^ {0} \ right)}$ ${\ displaystyle \ operatorname {tr} \ left (\ gamma ^ {0} \ Gamma ^ {\ dagger } \ gamma ^ {0} \ right)}$	$= тр ⁡ (Γ †) {\ displaystyle = \ operatorname {tr} \ left (\ Gamma ^ {\ dagger} \ right)}$ ${\ displaystyle = \ operatorname {tr} \ left (\ Gamma ^ { \ dagger} \ right)}$	(поскольку след инвариантен относительно преобразований подобия)
	$= tr ⁡ (Γ ∗) {\ displaystyle = \ operatorname {tr} \ left (\ Gamma ^ {} \ right)}$ ${\ displaystyle = \ operatorname {tr} \ left (\ Gamma ^ {} \ right)}$	(поскольку след инвариантен при транспонировании)
	$= tr ⁡ (Γ) {\ displaystyle = \ operatorname {tr} \ left (\ Gamma \ right)}$ $=\operatorname {tr} \left(\Gamma \right)$	(так как след произведения гамма-матриц является действительным)

Нормализация

Гамма-матрицы могут быть выбраны с условиями экстраэрмитовости которые, однако, ограничены указанными выше антикоммутационными соотношениями. Мы можем наложить

(γ 0) † = γ 0 {\ displaystyle \ left (\ gamma ^ {0} \ right) ^ {\ dagger} = \ gamma ^ {0}}

{\ displaystyle \ left (\ gamma ^ {0} \ right) ^ {\ dagger} = \ gamma ^ {0}}

, совместимый с

(γ 0) 2 = I 4 {\ displaystyle \ left (\ gamma ^ {0} \ right) ^ {2} = I_ {4}}

{\ displaystyle \ left (\ gamma ^ {0} \ right) ^ {2} = I_ {4}}

и для других гамма-матриц (для k = 1, 2, 3)

(γ к) † = - γ к {\ displaystyle \ left (\ gamma ^ {k} \ right) ^ {\ dagger} = - \ gamma ^ {k}}

{\ displaystyle \ left (\ gamma ^ {k} \ right) ^ {\ dagger} = - \ gamma ^ {k}}

, совместимый с

(γ k) 2 = - I 4. {\ displaystyle \ left (\ gamma ^ {k} \ right) ^ {2} = - I_ {4}.}

{\ displaystyle \ left (\ gamma ^ {k} \ right) ^ {2} = - I_ {4}.}

Сразу проверяется, что эти отношения отрмитовости выполняются для представления Дирака.

Вышеупомянутые условия можно объединить в соотношение

(γ μ) † = γ 0 γ μ γ 0. {\ displaystyle \ left (\ gamma ^ {\ mu} \ right) ^ {\ dagger} = \ gamma ^ {0} \ gamma ^ {\ mu} \ gamma ^ {0}.}

{\ displaystyle \ left (\ gamma ^ {\ mu} \ right) ^ {\ dagger} = \ gamma ^ {0} \ gamma ^ {\ mu} \ gamma ^ {0}.}

Условия эрмитовости не инвариантен относительно действия $γ μ → S (Λ) γ μ S (Λ) - 1 {\ displaystyle \ gamma ^ {\ mu} \ to S (\ Lambda) \ gamma ^ {\ mu} {S ( \ Lambda)} ^ {- 1}}$ $\ gamma ^ {\ mu} \ to S (\ Lambda) \ gamma ^ {\ mu} {S (\ Lambda)} ^ {- 1}$ преобразования Лоренца $Λ {\ displaystyle \ Lambda}$ $\ Lambda$ , потому что $S (Λ) {\ displaystyle S (\ Lambda)}$ $S(\Lambda)$ не обязательно является унитарным преобразованием из-за некомпактности группы Лоренца.

Обозначение косой черты Фейнмана, используемое в квантовой теории поля

Обозначение косой черты Фейнмана определяется как

a /: = γ μ a μ {\ displaystyle {a \ ! \! \! /}: = \ gamma ^ {\ mu} a _ {\ mu}}

{\ displaystyle {a \! \! \! /}: = \ Gamma ^ {\ mu} a _ {\ mu}}

для любого 4-вектора a.

Вот некоторые идентичности, аналогичные приведенным выше, но с использованием косой черты:

$a / b / = a ⋅ b - ia μ σ μ ν b ν {\ displaystyle {a \! \! \ ! /} {b \! \! \! /} = a \ cdot b-ia _ {\ mu} \ sigma ^ {\ mu \ nu} b _ {\ nu}}$ ${\ displaystyle {a \! \! \! /} {b \! \! \! /} = a \ cdot b-ia _ {\ mu} \ sigma ^ {\ mu \ nu} b _ {\ nu}}$
$a / a / = a μ a ν γ μ γ ν знак равно 1 2 a μ a ν (γ μ γ ν + γ ν γ μ) = η μ ν a μ a ν = a 2 {\ displaystyle {a \! \! \! /} {a \ ! \! \! /} = a ^ {\ mu} a ^ {\ nu} \ gamma _ {\ mu} \ gamma _ {\ nu} = {\ frac {1} {2}} a ^ {\ mu } a ^ {\ nu} \ left (\ gamma _ {\ mu} \ gamma _ {\ nu} + \ gamma _ {\ nu} \ gamma _ {\ mu} \ right) = \ eta _ {\ mu \ nu} a ^ {\ mu} a ^ {\ nu} = a ^ {2}}$ ${a\!\!\!/}{a\!\!\!/}=a^{\mu }a^{\nu }\gamma _{\mu }\gamma _{\nu }={\frac {1}{2}}a^{\mu }a^{\nu }\left(\gamma _{\mu }\gamma _{\nu }+\gamma _{\nu }\gamma _{\mu }\right)=\eta _{\mu \nu }a^{\mu }a^{\nu }=a^{2}$
$tr ⁡ (a / b /) = 4 (a ⋅ b) {\ displaystyle \ operatorname {tr} \ left ( {a \! \! \! /} {b \! \! \! /} \ right) = 4 (a \ cdot b)}$ ${\ displaystyle \ operatorname {tr} \ left ({a \! \! \! /} {b \! \ ! \! /} \ right) = 4 (a \ cdot b)}$
$tr ⁡ (a / b / c / d /) = 4 [ (a ⋅ б) (с ⋅ d) - (a ⋅ с) (b ⋅ d) + (a ⋅ d) (b ⋅ c)] {\ displaystyle \ operatorname {tr} \ left ({a \! \! \! /} {b \! \! \! /} {c \! \! \! /} {d \! \! \! /} \ right) = 4 \ left [(a \ cdot b) (c \ cdot d) - (a \ cdot c) (b \ cdot d) + (a \ cdot d) (b \ cdot c) \ right]}$ $\operatorname {tr} \left({a\!\!\!/}{b\!\!\!/}{c\!\!\!/}{d\!\!\!/}\right)=4\left[(a\cdot b)(c\cdot d)-(a\cdot c)(b\cdot d)+(a\cdot d)(b\cdot c)\right]$
$tr ⁡ (γ 5 a / b /) = 0 { \ Displaystyle \ OperatorName {tr} \ left (\ gamma _ {5} {а \! \! \! /} {b \! \! \! /} \ right) = 0}$ ${\ displaystyle \ operatorname {tr} \ left (\ gamma _ {5} {a \! \! \! /} {b \! \! \! /} \ right) = 0}$
$tr ⁡ (γ 5 a / b / c / d /) = - 4 i ϵ μ ν ρ σ a μ b ν c ρ d σ {\ displaystyle \ operatorname {tr} \ left (\ gamma _ {5} {a \! \! \! /} {b \! \! \! /} {c \! \! \! /} {d \ ! \! \! /} \ right) = - 4i \ epsilon _ {\ mu \ nu \ rho \ sigma} a ^ {\ mu} b ^ {\ nu} c ^ {\ rho} d ^ {\ sigma} }$ ${\ displaystyle \ operatorname {tr} \ left (\ gamma _ {5} {a \! \! \! /} {B \! \! \! /} {C \! \! \! /} { d \! \! \! /} \ right) = - 4i \ epsilon _ {\ mu \ nu \ rho \ sigma} a ^ {\ mu} b ^ {\ nu} c ^ {\ rho} d ^ {\ sigma}}$
$γ μ a / γ μ = - 2 a / {\ displaystyle \ gamma _ {\ mu} {a \! \! \! /} \ Gamma ^ {\ mu} = - 2 {a \! \ ! \! /}}$ ${\ displaystyle \ gamma _ {\ mu} {a \! \! \! /} \ gamma ^ {\ mu} = - 2 {a \! \! \! /}}$
$γ μ a / b / γ μ = 4 (a ⋅ b) {\ displaystyle \ gamma _ {\ mu} {a \! \! \! /} {B \! \! \! /} \ gamma ^ {\ mu} = 4 (a \ cdot b)}$ ${\ displaystyle \ gamma _ {\ mu} {a \! \! \! /} {b \! \! \! /} \ gamma ^ {\ mu} = 4 (a \ cdot b)}$
$γ μ a / b / c / γ μ = - 2 c / b / a / {\ displaystyle \ gamma _ {\ mu} {a \! \! \! /} {b \! \! \! /} {c \! \! \! /} \ gamma ^ {\ mu} = - 2 {c \! \! \! /} {б \! \! \! /} {а \! \! \! /}}$ ${\ displaystyle \ gamma _ {\ mu} {a \! \! \! /} {b \! \! \! /} {c \! \! \! /} \ gamma ^ {\ mu} = - 2 {c \! \! \! /} {b \! \! \! /} {a \! \! \! /}}$
где $ϵ μ ν ρ σ {\ displaystyle \ epsilon _ {\ mu \ nu \ rho \ sigma }}$ $\epsilon _{\mu \nu \rho \sigma }$ - это символ Леви-Чивиты и $σ μ ν = i 2 [γ μ, γ ν]. {\ displaystyle \ sigma ^ {\ mu \ nu} = {\ frac {i} {2}} \ left [\ gamma ^ {\ mu}, \ gamma ^ {\ nu} \ right].}$ ${ \ displaystyle \ sigma ^ {\ mu \ nu} = {\ frac {i} {2}} \ left [\ gamma ^ {\ mu}, \ gamma ^ {\ nu} \ right].}$ На самом деле следы произведений с нечетным числом $γ {\ displaystyle \ gamma}$ $\ gamma$ равны нулю и, следовательно,
$tr ⁡ (a /) = tr ⁡ (a / b / c /) знак равно тр ⁡ (a / b / c / d / e /) = 0 {\ displaystyle \ operatorname {tr} \ left ({a \! \! \! /} \ right) = \ operatorname {tr} \ left ( {a \! \! \! /} {b \! \! \! /} {c \! \! \! /} \ right) = \ operatorname {tr} \ left ({a \! \! \! /} {b \! \! \! /} {c \! \! \! /} {d \! \! \! /} {e \! \! \! /} \ right) = 0}$ ${\ displaystyle \ operatorname {tr} \ left ({a \! \! \! /} \ Right) = \ operatorname {tr} \ left ({a \! \! \! /} {b \! \! \! /} {c \! \! \! /} \ right) = \ operatorname {tr} \ left ({a \! \! \! /} {b \! \! \! /} {c \! \! \! /} {d \! \! \! /} {e \! \! \! /} \ справа) = 0}$

Другие представления

Матрицы также иногда записываются с использованием единичной матрицы 2 × 2 , $I 2 {\ displaystyle I_ {2}}$ $I_ {2}$ и

γ К знак равно (0 σ К - σ К 0) {\ Displaystyle \ gamma ^ {k} = {\ begin {pmatrix} 0 \ sigma ^ {k} \\ - \ sigma ^ {k} 0 \ end {pmatrix}}}

\ gamma ^ {k} = {\ begin {pmatrix} 0 \ sigma ^ {k} \\ - \ sigma ^ {k} 0 \ end {pmatrix}}

где k изменяется от 1 до 3, а σ - матрицы Паули.

базис Дирака

Гамма-матрицы, которые мы написали до сих пор, подходят для воздействия на Спиноры Дирака, написанные в базисе Дирака; фактически базис Дирака определяется этими матрицами. Подводя итог, в базисе Дирака:

γ 0 = (I 2 0 0 - I 2), γ k = (0 σ k - σ k 0), γ 5 = (0 I 2 I 2 0). {\ displaystyle \ gamma ^ {0} = {\ begin {pmatrix} I_ {2} 0 \\ 0 -I_ {2} \ end {pmatrix}}, \ quad \ gamma ^ {k} = {\ begin {pmatrix } 0 \ sigma ^ {k} \\ - \ sigma ^ {k} 0 \ end {pmatrix}}, \ quad \ gamma ^ {5} = {\ begin {pmatrix} 0 I_ {2} \\ I_ {2} 0 \ end {pmatrix}}.}

\ gamma ^ {0} = {\ begin {pmatrix} I_ {2} 0 \\ 0 -I_ {2} \ end {pmatrix}}, \ quad \ гамма ^ {k} = {\ begin {pmatrix} 0 \ sigma ^ {k} \\ - \ sigma ^ {k} 0 \ end {pmatrix}}, \ quad \ gamma ^ {5} = {\ begin {pmatrix } 0 I_ {2} \\ I_ {2} 0 \ end {pmatrix}}.

(киральный) базис Вейля

Другой распространенный выбор - это базис Вейля или киральный базис, в котором $γ k {\ displaystyle \ gamma ^ {k}}$ $\ gamma ^ {k}$ остается прежним, но $γ 0 {\ displaystyle \ gamma ^ {0}}$ $\ gamma ^ {0}$ отличается, поэтому $γ 5 {\ displaystyle \ gamma ^ {5} }$ $\ gamma ^ {5}$ также отличается и диагональным,

γ 0 = (0 I 2 I 2 0), γ k = (0 σ k - σ k 0), γ 5 = (- I 2 0 0 I 2), {\ displaystyle \ gamma ^ {0} = {\ begin {pmatrix} 0 I_ {2} \\ I_ {2} 0 \ end {pmatrix}}, \ quad \ gamma ^ {k} = {\ begin {pmatrix} 0 \ sigma ^ {k} \\ - \ sigma ^ {k} 0 \ end {pmatrix}}, \ quad \ gamma ^ {5} = {\ begin {pmatrix} -I_ {2} 0 \ \ 0 I_ {2} \ end {pmatrix}},}

\ gamma ^ {0} = {\ begin {pmatrix} 0 I_ {2} \\ I_ {2} 0 \ end {pmatrix}}, \ quad \ gamma ^ {k} = {\ begin {pmatrix} 0 \ sigma ^ {k} \\ - \ sigma ^ {k} 0 \ end {pmatrix}}, \ q uad \ gamma ^ {5} = {\ begin {pmatrix} -I_ {2} 0 \\ 0 I_ {2} \ end {pmatrix}},

или в более компактной записи:

γ μ = (0 σ μ σ ¯ μ 0), σ μ ≡ (1, σ i), σ ¯ μ ≡ (1, - σ i). {\ displaystyle \ gamma ^ {\ mu} = {\ begin {pmatrix} 0 \ sigma ^ {\ mu} \\ {\ bar {\ sigma}} ^ {\ mu} 0 \ end {pmatrix}}, \ quad \ sigma ^ {\ mu} \ Equiv (1, \ sigma ^ {i}), \ quad {\ bar {\ sigma}} ^ {\ mu} \ Equiv (1, - \ sigma ^ {i}).}

\gamma ^{\mu }={\begin{pmatrix}0\sigma ^{\mu }\\{\bar {\sigma }}^{\mu }0\end{pmatrix}},\quad \sigma ^{\mu }\equiv (1,\sigma ^{i}),\quad {\bar {\sigma }}^{\mu }\equiv (1,-\sigma ^{i}).

Базис Вейля имеет то преимущество, что его киральные проекции принимают простую форму,

ψ L = 1 2 (1 - γ 5) ψ = (I 2 0 0 0) ψ, ψ R = 1 2 (1 + γ 5) ψ = (0 0 0 I 2) ψ. {\ displaystyle \ psi _ {L} = {\ frac {1} {2}} \ left (1- \ gamma ^ {5} \ right) \ psi = {\ begin {pmatrix} I_ {2} 0 \\ 0 0 \ end {pmatrix}} \ psi, \ quad \ psi _ {R} = {\ frac {1} {2}} \ left (1+ \ gamma ^ {5} \ right) \ psi = {\ begin { pmatrix} 0 0 \\ 0 I_ {2} \ end {pmatrix}} \ psi.}

{\ displaystyle \ psi _ {L} = {\ frac {1} {2}} \ left (1- \ gamma ^ {5} \ right) \ psi = {\ begin {pmatrix} I_ {2} 0 \\ 0 0 \ end {pmatrix}} \ psi, \ quad \ psi _ {R} = {\ frac {1} {2} } \ left (1+ \ gamma ^ {5} \ right) \ psi = {\ begin {pmatrix} 0 0 \\ 0 I_ {2} \ end {pmatrix}} \ psi.}

Идемпотентность киральных проекций очевидна. Слегка злоупотребляя обозначением и повторно используя символы $ψ L / R {\ displaystyle \ psi _ {L / R}}$ $\ psi _ {L / R}$ , мы можем идентифицировать

ψ = ( ψ L ψ R), {\ displaystyle \ psi = {\ begin {pmatrix} \ psi _ {L} \\\ psi _ {R} \ end {pmatrix}},}

{\ displaystyle \ psi = {\ begin {pmatrix } \ psi _ {L} \\\ psi _ {R} \ end {pmatrix}},}

где теперь $ψ L {\ displaystyle \ psi _ {L}}$ $\psi _{L}$ и $ψ R {\ displaystyle \ psi _ {R}}$ $\ psi _ {R}$ - двухкомпонентные компоненты Weyl для левшей и правшей спиноры. Базис Дирака может быть получен из базиса Вейля как $γ D μ = U γ W μ UT, ψ D = U ψ W {\ displaystyle \ gamma _ {D} ^ {\ mu} = U \ gamma _ { W} ^ {\ mu} U ^ {\ mathsf {T}}, \ psi _ {D} = U \ psi _ {W}}$ $\gamma _{D}^{\mu }=U\gamma _{W}^{\mu }U^{\mathsf {T}},\psi _{D}=U\psi _{W}$ через унитарное преобразование

U = 1 2 ( II - II). {\ displaystyle U = {\ frac {1} {\ sqrt {2 \,}}} {\ begin {pmatrix} II \\ - II \ end {pmatrix}}.}

{\ displaystyle U = {\ frac {1} {\ sqrt {2 \,}}} {\ begin {pmatrix} II \\ - II \ end {pmatrix}}.}

Другой возможный выбор базиса Вейля имеет

γ 0 = (0 - I 2 - I 2 0), γ k = (0 σ k - σ k 0), γ 5 = (I 2 0 0 - I 2). {\ displaystyle \ gamma ^ {0} = {\ begin {pmatrix} 0 -I_ {2} \\ - I_ {2} 0 \ end {pmatrix}}, \ quad \ gamma ^ {k} = {\ begin { pmatrix} 0 \ sigma ^ {k} \\ - \ sigma ^ {k} 0 \ end {pmatrix}}, \ quad \ gamma ^ {5} = {\ begin {pmatrix} I_ {2} 0 \\ 0 - I_ {2} \ end {pmatrix}}.}

\gamma ^{0}={\begin{pmatrix}0-I_{2}\\-I_{2}0\end{pmatrix}},\quad \gamma ^{k}={\begin{pmatrix}0\sigma ^{k}\\-\sigma ^{k}0\end{pmatrix}},\quad \gamma ^{5}={\begin{pmatrix}I_{2}0\\0-I_{2}\end{pmatrix}}.

хиральные проекции принимают несколько иную форму, чем другой вариант Вейля,

ψ R = (I 2 0 0 0) ψ, ψ L = (0 0 0 I 2) ψ. {\ displaystyle \ psi _ {R} = {\ begin {pmatrix} I_ {2} 0 \\ 0 0 \ end {pmatrix}} \ psi, \ quad \ psi _ {L} = {\ begin {pmatrix} 0 0 \ \ 0 I_ {2} \ end {pmatrix}} \ psi.}

{\ displaystyle \ psi _ {R} = {\ begin {pmatrix} I_ {2} 0 \\ 0 0 \ end {pmatrix}} \ psi, \ quad \ psi _ {L} = {\ begin {pmatrix} 0 0 \\ 0 I_ {2} \ end {pmatrix}} \ psi.}

Другими словами,

ψ = (ψ R ψ L), {\ displaystyle \ psi = {\ begin {pmatrix} \ psi _ { R} \\\ psi _ {L} \ end {pmatrix}},}

{\ displaystyle \ psi = {\ begin {pmatrix} \ psi _ {R} \\\ psi _ { L} \ end {pmatrix}},}

где $ψ L {\ displaystyle \ psi _ {L}}$ $\psi _{L}$ и $ψ R { \ displaystyle \ psi _ {R}}$ $\ psi _ {R}$ - левосторонние и правосторонние двухкомпонентные спиноры Вейля, как и раньше.

базис Майорана

Существует также базис Майорана, в котором все матрицы Дирака мнимые, а спиноры и уравнение Дирака действительны. Что касается матриц Паули, базис можно записать как

γ 0 = (0 σ 2 σ 2 0), γ 1 = (i σ 3 0 0 i σ 3), γ 2 = ( 0 - σ 2 σ 2 0), γ 3 = (- i σ 1 0 0 - i σ 1), γ 5 = (σ 2 0 0 - σ 2), C = (0 - i σ 2 - i σ 2 0), {\ displaystyle {\ begin {align} \ gamma ^ {0} = {\ begin {pmatrix} 0 \ sigma ^ {2} \\\ sigma ^ {2} 0 \ end {pmatrix}}, \ gamma ^ {1} = {\ begin {pmatrix} i \ sigma ^ {3} 0 \\ 0 i \ sigma ^ {3} \ end {pmatrix}}, \ gamma ^ {2} = {\ begin {pmatrix} 0 - \ sigma ^ {2} \\\ sigma ^ {2} 0 \ end {pmatrix}}, \\\ gamma ^ {3} = {\ begin {pmatrix} -i \ sigma ^ {1 } 0 \\ 0 -i \ sigma ^ {1} \ end {pmatrix}}, \ gamma ^ {5} = {\ begin {pmatrix} \ sigma ^ {2} 0 \\ 0 - \ sigma ^ { 2} \ end {pmatrix}}, C = {\ begin {pmatrix} 0 -i \ sigma ^ {2} \\ - i \ sigma ^ {2} 0 \ end {pmatrix}}, \ end {выравнивается}} }

{\ displaystyle { \ begin {align} \ gamma ^ {0} = {\ begin {pmatrix} 0 \ sigma ^ {2} \\\ sigma ^ {2} 0 \ end {pmatrix}}, \ ga mma ^ {1} = {\ begin {pmatrix} i \ sigma ^ {3} 0 \\ 0 i \ sigma ^ {3} \ end {pmatrix}}, \ gamma ^ {2} = {\ begin { pmatrix} 0 - \ sigma ^ {2} \\\ sigma ^ {2} 0 \ end {pmatrix}}, \\\ gamma ^ {3} = {\ begin {pmatrix} -i \ sigma ^ {1} 0 \\ 0 -i \ sigma ^ {1} \ end {pmatrix}}, \ gamma ^ {5} = {\ begin {pmatrix} \ sigma ^ {2} 0 \\ 0 - \ sigma ^ {2 } \ end {pmatrix}}, C = {\ begin {pmatrix} 0 -i \ sigma ^ {2} \\ - i \ sigma ^ {2} 0 \ end {pmatrix}}, \ end {align}}}

где $C {\ displaystyle C}$ $C$ - матрица зарядового сопряжения, определенная для удовлетворения $C † γ μ C = - (γ μ) T {\ displaystyle C ^ { \ dagger} \ gamma ^ {\ mu} C = - (\ gamma ^ {\ mu}) ^ {T}}$ ${\ displaystyle C ^ {\ dagger} \ gamma ^ {\ mu} C = - (\ gamma ^ {\ mu}) ^ {T}}$ .

(Причина, по которой все гамма-матрицы являются мнимыми, состоит исключительно в том, чтобы получить метрика физики элементарных частиц (+, -, -, -), в которой квадраты масс положительны. Однако представление Майораны вполне реально. Можно выделить i, чтобы получить другое представление с четырьмя компонентными реальными спинорами и вещественными гамма-матрицами. Следствием удаления $i {\ displaystyle i}$ $я$ является то, что единственная возможная метрика с вещественными гамма-матрицами - (-, +, +, +).)

Майорана базис можно получить из базиса Дирака, приведенного выше, как $γ M μ = U γ D μ UT, ψ M = U ψ D {\ displaystyle \ gamma _ {M} ^ {\ mu} = U \ gamma _ {D } ^ {\ mu} U ^ {\ mathsf {T}}, ~~ \ psi _ {M} = U \ psi _ {D}}$ ${\ displaystyle \ gamma _ {M} ^ {\ mu} = U \ gamma _ {D} ^ {\ mu} U ^ {\ mathsf {T}}, ~~ \ psi _ {M} = U \ psi _ {D}}$ через унитарное преобразование

U = 1 2 (I 2 σ 2 - σ 2 I 2). {\ displaystyle U = {\ frac {1} {\ sqrt {2 \,}}} {\ begin {pmatrix} I_ {2} \ sigma ^ {2} \\ - \ sigma ^ {2} I_ {2 } \ end {pmatrix}}.}

{\ displaystyle U = {\ frac {1} {\ sqrt {2 \,}}} {\ begin {pmatrix} I_ {2} \ sigma ^ {2} \\ - \ sigma ^ {2} I_ {2 } \ end {pmatrix}}.}

Cℓ1,3 (C) и Cℓ 1,3 (R)

Алгебру Дирака можно рассматривать как комплексификация вещественной алгебры Cℓ 1,3 (R), называемая алгеброй пространства-времени :

C l 1, 3 (C) = C l 1, 3 (R) ⊗ С {\ Displaystyle Cl_ {1,3} (\ mathbb {C}) = Cl_ {1,3} (\ mathbb {R}) \ otimes \ mathbb {C}}

Cl_ {1,3} (\ mathbb {C}) = Cl_ {1,3} (\ mathbb {R}) \ otimes \ mathbb {C}

Cℓ1,3 (R) отличается от Cℓ 1,3 (C): в Cℓ 1,3 (R) разрешены только реальные линейные комбинации гамма-матриц и их произведений.

Следует отметить две вещи. Поскольку алгебры Клиффорда, Cℓ 1,3 (C) и Cℓ 4(C) изоморфны, см. классификацию алгебр Клиффорда. Причина в том, что базовая сигнатура метрики пространства-времени теряет свою сигнатуру (3,1) при переходе к комплексификации. Однако преобразование, необходимое для приведения билинейной формы к комплексной канонической форме, не является преобразованием Лоренца и, следовательно, не является «допустимым» (по крайней мере, непрактичным), поскольку вся физика тесно связана с симметрией Лоренца, и предпочтительно ее сохранить. манифест.

Сторонники геометрической алгебры стремятся работать с реальными алгебрами везде, где это возможно. Они утверждают, что обычно возможно (и обычно поучительно) идентифицировать присутствие воображаемой единицы в физическом уравнении. Такие единицы возникают из одной из многих величин в реальной алгебре Клиффорда, квадратов к -1, и они имеют геометрическое значение из-за свойств алгебры и взаимодействия ее различных подпространств. Некоторые из этих сторонников также задаются вопросом, необходимо ли или даже полезно ли вводить дополнительную мнимую единицу в контексте уравнения Дирака.

Однако в современной практике продолжает использоваться алгебра Дирака, а не алгебра пространства-времени. в качестве стандартной среды «живут» спиноры уравнения Дирака.

Евклидовы матрицы Дирака

В квантовой теории поля можно Фитиль вращает ось времени для перехода из пространства Минковского в евклидово пространство. Это особенно полезно в некоторых процедурах перенормировки, а также в калибровочной теории решетки. В евклидовом пространстве обычно используются два представления матриц Дирака:

Киральное представление

γ 1, 2, 3 = (0 i σ 1, 2, 3 - i σ 1, 2, 3 0), γ 4 знак равно (0 я 2 я 2 0) {\ Displaystyle \ gamma ^ {1,2,3} = {\ begin {pmatrix} 0 я \ sigma ^ {1,2,3} \\ - я \ сигма ^ {1,2,3} 0 \ end {pmatrix}}, \ quad \ gamma ^ {4} = {\ begin {pmatrix} 0 I_ {2} \\ I_ {2} 0 \ end {pmatrix}}}

\gamma ^{1,2,3}={\begin{pmatrix}0i\sigma ^{1,2,3}\\-i\sigma ^{1,2,3}0\end{pmatrix}},\quad \gamma ^{4}={\begin{pmatrix}0I_{2}\\I_{2}0\end{pmatrix}}

Обратите внимание, что множители $i {\ displaystyle i}$ $я$ были вставлены в пространственные гамма-матрицы, так что евклидова алгебра Клиффорда

{γ μ, γ ν} = 2 δ μ появится ν I 4 {\ displaystyle \ left \ {\ gamma ^ {\ mu}, \ gamma ^ {\ nu} \ right \} = 2 \ delta ^ {\ mu \ nu} I_ {4}}

{\ displaystyle \ left \ {\ gamma ^ {\ mu}, \ gamma ^ {\ nu} \ right \ } = 2 \ дельта ^ {\ му \ ню} I_ {4}}

. Также стоит отметить, что существуют варианты этого, которые вставляют вместо $- i {\ displaystyle -i}$ $-i$ в одну из матриц, например, в кодах решеточной КХД, которые используют хиральный базис.

В евклидовом пространстве

γ M 5 = i (γ 0 γ 1 γ 2 γ 3) M = 1 i 2 (γ 4 γ 1 γ 2 γ 3) E = (γ 1 γ 2 γ 3 γ 4) E = γ E 5. {\ Displaystyle \ gamma _ {M} ^ {5} = я \ слева (\ gamma ^ {0} \ gamma ^ {1} \ gamma ^ {2} \ gamma ^ {3} \ right) _ {M} = {\ frac {1} {i ^ {2}}} \ left (\ gamma ^ {4} \ gamma ^ {1} \ gamma ^ {2} \ gamma ^ {3} \ right) _ {E} = \ left (\ gamma ^ {1} \ gamma ^ {2} \ gamma ^ {3} \ gamma ^ {4} \ right) _ {E} = \ gamma _ {E} ^ {5}.}

{\ displaystyle \ gamma _ {M} ^ {5} = i \ left (\ gamma ^ {0} \ gamma ^ {1} \ gamma ^ {2} \ gamma ^ {3} \ right) _ {M} = {\ frac {1} {i ^ {2}}} \ left (\ gamma ^ {4} \ gamma ^ {1} \ gamma ^ {2} \ gamma ^ {3} \ right) _ {E} = \ left (\ gamma ^ {1} \ gamma ^ {2} \ gamma ^ {3} \ gamma ^ {4} \ right) _ {E} = \ gamma _ {E} ^ {5}.}

Использование антикоммутатор и отмечая, что в евклидовом пространстве $(γ μ) † = γ μ {\ displaystyle \ left (\ gamma ^ {\ mu} \ right) ^ {\ dagger} = \ gamma ^ {\ mu} }$ $\left(\gamma ^{\mu }\right)^{\dagger }=\gamma ^{\mu }$ , один показывает, что

(γ 5) † = γ 5 {\ displaystyle \ left (\ gamma ^ {5} \ right) ^ {\ dagger} = \ gamma ^ {5}}

{\ displaystyle \ left (\ gamma ^ {5} \ right) ^ {\ dagger} = \ gamma ^ {5}}

В киральном базисе в евклидовом пространстве

γ 5 = (- I 2 0 0 I 2) {\ displaystyle \ gamma ^ {5} = {\ begin {pmatrix} -I_ {2} 0 \\ 0 I_ {2} \ end {pmatrix}}}

\gamma ^{5}={\begin{pmatrix}-I_{2}0\\0I_{2}\end{pmatrix}}

, который не изменился по сравнению с версией Минковского.

Нерелятивистское представление

γ 1, 2, 3 = (0 - i σ 1, 2, 3 i σ 1, 2, 3 0), γ 4 = (I 2 0 0 - I 2), γ 5 знак равно (0 - I 2 - I 2 0) {\ displaystyle \ gamma ^ {1,2,3} = {\ begin {pmatrix} 0 -i \ sigma ^ {1,2,3} \ \ i \ sigma ^ {1,2,3} 0 \ end {pmatrix}}, \ quad \ gamma ^ {4} = {\ begin {pmatrix} I_ {2} 0 \\ 0 -I_ {2} \ end {pmatrix}}, \ quad \ gamma ^ {5} = {\ begin {pmatrix} 0 -I_ {2} \\ - I_ {2} 0 \ end {pmatrix}}}

\gamma ^{1,2,3}={\begin{pmatrix}0-i\sigma ^{1,2,3}\\i\sigma ^{1,2,3}0\end{pmatrix}},\quad \gamma ^{4}={\begin{pmatrix}I_{2}0\\0-I_{2}\end{pmatrix}},\quad \gamma ^{5}={\begin{pmatrix}0-I_{2}\\-I_{2}0\end{pmatrix}}

См. также

физика портал

Литература

Halzen, Francis ; Мартин, Алан (1984). Кварки и лептоны: вводный курс современной физики элементарных частиц. Джон Вили и сыновья. ISBN 0-471-88741-2.
А. Зи, Квантовая теория поля в двух словах (2003), Princeton University Press: Princeton, New Jersey. ISBN 0-691-01019-6. См. Главу II.1.
M. Пескин, Д. Шредер, Введение в квантовую теорию поля (Westview Press, 1995) ISBN 0-201-50397-2 См. Главу 3.2.
W. Паули (1936). «Вклад в математику теории матриц Дирака». Annales de l'Institut Henri Poincaré. 6 : 109.
Вайнберг, С. (2002), Квантовая теория полей, 1, Cambridge University Press, ISBN 0-521-55001-7
Тонг, Дэвид (2007). «Квантовая теория поля». Дэвид Тонг из Кембриджского университета. п. 93. Проверено 7 марта 2015 г. CS1 maint: ref = harv (ссылка )
de Wit, B.; Smith, J. (1986). Теория поля в физике элементарных частиц. North-Holland Personal Библиотека. 1 . Северная Голландия. ISBN 978-0444869999. CS1 maint: ref = harv (ссылка )Приложение E
Дэвид Хестенес, Реальная теория Дирака, в J. Keller and Z. Oziewicz (Eds.), Theory of the Electron, UNAM, Facultad de Estudios Superiores, Куаутитлан, Мексика (1996)), стр. 1–50.

Внешние ссылки

Матрицы Дирака в mathworld, включая их групповые свойства
Матрицы Дирака как абстрактная группа в GroupNames
, Энциклопедия математики, EMS Press, 2001 [1994]

Последняя правка сделана 2021-05-21 11:20:43

Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).

Обратная связь: support@alphapedia.ru

Соглашение

О проекте