Кроме того, при обсуждении теории групп единичная матрица ( I ) иногда включается в состав четырех гамма-матриц, а также существует вспомогательная, «пятая» бесследовая матрица, используемая совместно с обычными гамма-матрицами.
«Пятая матрица» не является полноценным членом основной группы из четырех человек; он используется для разделения номинальных левых и правых киральных представлений .
Гамма-матрицы имеют групповую структуру, гамма-группу , которая является общей для всех матричных представлений группы в любом измерении и для любой сигнатуры метрики. Например, матрицы Паули 2 × 2 представляют собой набор «гамма»-матриц в трехмерном пространстве с метрикой евклидовой сигнатуры (3, 0). В пяти измерениях пространства-времени четыре гаммы, представленные выше, вместе с пятой гамма-матрицей, представленной ниже, образуют алгебру Клиффорда.
Это определяющее свойство является более фундаментальным, чем числовые значения, используемые в конкретном представлении гамма-матриц. Ковариантные гамма-матрицы определяются формулой
Обратите внимание, что другое соглашение о знаках метрики (− + + +) требует либо изменения определяющего уравнения:
или умножение всех гамма-матриц на , что, конечно, меняет их свойства герметичности, подробно описанные ниже. В соответствии с альтернативным соглашением о знаках для метрики ковариантные гамма-матрицы затем определяются формулой
Алгебра Клиффорда в пространстве-времени V можно рассматривать как набор действительных линейных операторов из V в себя, End( V ) или, в более общем смысле, при комплексировании к как набор линейных операторов из любого четырехмерного комплексного векторного пространства в себя. Проще говоря, учитывая основу для V , представляет собой просто набор всех комплексных матриц размера 4×4 , но наделенных структурой алгебры Клиффорда. Предполагается, что пространство-время наделено метрикой Минковского η μν . пространство биспиноров Ux В каждой точке пространства-времени также предполагается , наделенное биспинорным представлением группы Лоренца . Биспинорные поля Ψ уравнений Дирака, вычисляемые в любой точке x пространства-времени, являются элементами U x (см. ниже). Предполагается, что алгебра Клиффорда действует на U x также (путем умножения матриц на вектор-столбцы Ψ( x ) в U x для всех x ). Это будет основной вид элементов в этой секции.
Для каждого линейного преобразования S U , x существует преобразование End( U x ) заданное SES −1 для E в Если S принадлежит представлению группы Лоренца, то индуцированное действие E ↦ SES −1 также будет принадлежать представлению группы Лоренца, см. Теория представлений группы Лоренца .
Если S(Λ) — биспинорное представление , действующее на U x , произвольного преобразования Лоренца Λ в стандартном (4-векторном) представлении, действующем на V , то существует соответствующий оператор на задано уравнением:
показывая, что количество γ м можно рассматривать как основу 4 пространства представления - векторного представления группы Лоренца, находящегося внутри алгебры Клиффорда. Последнее тождество можно признать определяющим соотношением для матриц, принадлежащих неопределенной ортогональной группе , которая есть записано в индексированной записи. Это означает, что величины вида
при манипуляциях следует рассматривать как 4 вектора. можно повышать и понижать Это также означает, что индексы на γ с помощью метрики η µν, как и в случае с любым 4-вектором. Эта запись называется косой чертой Фейнмана . отображает базис e µ V Операция косой черты или любого 4-мерного векторного пространства в базисные векторы γ µ . Правило преобразования для сокращенных величин просто
Следует отметить, что это отличается от правила преобразования для γ м , которые теперь рассматриваются как (фиксированные) базисные векторы. Обозначение 4-го кортежа поскольку вектор 4, иногда встречающийся в литературе, является небольшим неправильным употреблением. Последнее преобразование соответствует активному преобразованию компонент косой величины по базису γ м , а первый – к пассивному преобразованию базиса γ м сам.
Элементы образуют представление алгебры Ли группы Лоренца. Это спиновое представление. Когда эти матрицы и их линейные комбинации возводятся в степень, они являются биспинорными представлениями группы Лоренца, например, S (Λ) из вышеизложенного имеют такую форму. Шестимерное пространство σ примечание span — пространство представления тензорного представления группы Лоренца. Элементы высшего порядка алгебры Клиффорда в целом и правила их преобразования см. в статье « Алгебра Дирака» . Спиновое представление группы Лоренца кодируется в спиновой группе Spin(1, 3) (для вещественных незаряженных спиноров) и в комплексифицированной спиновой группе Spin(1, 3) для заряженных (Дираковских) спиноров.
Эта матрица полезна при обсуждении квантово-механической киральности . Например, поле Дирака можно спроецировать на его левые и правые компоненты следующим образом:
Алгебра Клиффорда в нечетных измерениях ведет себя как две копии алгебры Клиффорда на одну размерность меньше: левая копия и правая копия. [3] : 68 Таким образом, можно использовать небольшую хитрость, чтобы перепрофилировать i γ 5 как один из генераторов алгебры Клиффорда в пяти измерениях. В этом случае множество { γ 0 , с 1 , с 2 , с 3 , IC 5 } поэтому по двум последним свойствам (имея в виду, что i 2 ≡ −1 ) и «старых» гамм, составляет основу алгебры Клиффорда в 5 измерениях пространства-времени для метрической сигнатуры (1,4) . [а] . [4] : 97
В метрической сигнатуре (4,1) множество { γ 0 , с 1 , с 2 , с 3 , с 5 } используется, где γ м являются подходящими для сигнатуры (3,1) . [5] Этот шаблон повторяется для четного измерения пространства-времени 2 n и следующего нечетного измерения 2 n + 1 для всех n ≥ 1 . [6] : 457 Для получения более подробной информации см. гамма-матрицы более высокой размерности .
Следующие тождества следуют из фундаментального антикоммутационного соотношения, поэтому они справедливы в любом базисе (хотя последнее зависит от выбора знака для ).
One can make this situation look similar by using the metric :
( symmetric)
(expanding)
(relabeling term on right)
2.
Доказательство
Similarly to the proof of 1, again beginning with the standard commutation relation:
3.
Доказательство
To show
Use the anticommutator to shift to the right
Using the relation we can contract the last two gammas, and get
Finally using the anticommutator identity, we get
4.
Доказательство
(anticommutator identity)
(using identity 3)
(raising an index)
(anticommutator identity)
(2 terms cancel)
5.
Доказательство
If then and it is easy to verify the identity. That is the case also when , or .
On the other hand, if all three indices are different, , and and both sides are completely antisymmetric; the left hand side because of the anticommutativity of the matrices, and on the right hand side because of the antisymmetry of . It thus suffices to verify the identities for the cases of , , and .
6. где
Доказательство
For and both sides vanish. Otherwise, multiplying identity 5 by from the right gives that
(raising indices and using identity 1)
where since . The left hand side of this equation also vanishes since by property 3. Rearranging gives that
(since anticommutes with the gamma matrices)
Note that for (for , vanishes) by the standard anticommutation relation. It follows that
Multiplying from the left times and using that yields the desired result.
След любого произведения нечетного числа равен нулю
След раз произведение нечетного числа все еще ноль
Доказательство вышеизложенного предполагает использование трех основных свойств оператора трассировки :
тр( А + B ) = тр( А ) + тр( B )
тр( рА ) = р тр( А )
tr( ABC ) = tr( CAB ) = tr( BCA )
Доказательство 1
From the definition of the gamma matrices,
We get
or equivalently,
where is a number, and is a matrix.
(inserting the identity and using tr(rA) = r tr(A) .)
(from anti-commutation relation, and given that we are free to select )
(using tr(ABC) = tr(BCA))
(removing the identity)
This implies
Доказательство 2
To show
First note that
We'll also use two facts about the fifth gamma matrix that says:
So lets use these two facts to prove this identity for the first non-trivial case: the trace of three gamma matrices. Step one is to put in one pair of 's in front of the three original 's, and step two is to swap the matrix back to the original position, after making use of the cyclicity of the trace.
(using tr(ABC) = tr(BCA))
This can only be fulfilled if
The extension to 2n + 1 (n integer) gamma matrices, is found by placing two gamma-5s after (say) the 2n-th gamma-matrix in the trace, commuting one out to the right (giving a minus sign) and commuting the other gamma-5 2n steps out to the left [with sign change (-1)^2n = 1]. Then we use cyclic identity to get the two gamma-5s together, and hence they square to identity, leaving us with the trace equalling minus itself, i.e. 0.
Доказательство 3
If an odd number of gamma matrices appear in a trace followed by , our goal is to move from the right side to the left. This will leave the trace invariant by the cyclic property. In order to do this move, we must anticommute it with all of the other gamma matrices. This means that we anticommute it an odd number of times and pick up a minus sign. A trace equal to the negative of itself must be zero.
Доказательство 4
To show
Begin with,
Доказательство 5
For the term on the right, we'll continue the pattern of swapping with its neighbor to the left,
Again, for the term on the right swap with its neighbor to the left,
Eq (3) is the term on the right of eq (2), and eq (2) is the term on the right of eq (1). We'll also use identity number 3 to simplify terms like so:
So finally Eq (1), when you plug all this information in gives
The terms inside the trace can be cycled, so
So really (4) is
or
Доказательство 6
To show
,
begin with
(because )
(anti-commute the with )
(rotate terms within trace)
(remove 's)
Add to both sides of the above to see
.
Now, this pattern can also be used to show
.
Simply add two factors of , with different from and . Anticommute three times instead of once, picking up three minus signs, and cycle using the cyclic property of the trace.
So,
.
Доказательство 7
For a proof of identity 7, the same trick still works unless is some permutation of (0123), so that all 4 gammas appear. The anticommutation rules imply that interchanging two of the indices changes the sign of the trace, so must be proportional to . The proportionality constant is , as can be checked by plugging in , writing out , and remembering that the trace of the identity is 4.
Доказательство 8
Denote the product of gamma matrices by Consider the Hermitian conjugate of :
(since conjugating a gamma matrix with produces its Hermitian conjugate as described below)
(all s except the first and the last drop out)
Conjugating with one more time to get rid of the two s that are there, we see that is the reverse of . Now,
(since trace is invariant under similarity transformations)
(since trace is invariant under transposition)
(since the trace of a product of gamma matrices is real)
Гамма-матрицы могут быть выбраны с дополнительными условиями эрмитичности, которые, однако, ограничены указанными выше антикоммутационными соотношениями. Мы можем навязать
, совместим с
а для остальных гамма-матриц (для k = 1, 2, 3 )
, совместим с
Сразу проверяем, что эти соотношения эрмитичности справедливы для представления Дирака.
Вышеуказанные условия можно объединить в соотношении
Условия эрмитивности не инвариантны относительно действия преобразования Лоренца потому что не обязательно является унитарным преобразованием из-за некомпактности группы Лоренца. [ нужна цитата ]
Оператор зарядового сопряжения в любом базисе можно определить как
где обозначает транспонирование матрицы . Явная форма, которая принимает зависит от конкретного представления, выбранного для гамма-матриц, с точностью до произвольного фазового коэффициента. Это потому, что, хотя зарядовое сопряжение является автоморфизмом гамма -группы , оно не ( является внутренним автоморфизмом группы). Сопряжающие матрицы можно найти, но они зависят от представления.
Независимые от представления тождества включают в себя:
Оператор зарядового сопряжения также унитарен. , в то время как для он также утверждает, что для любого представительства. Учитывая представление гамма-матриц, произвольный фазовый коэффициент для оператора зарядового сопряжения также можно выбрать так, чтобы , как и в случае четырех представлений, приведенных ниже (Дирак, Майорана и оба киральных варианта).
Многие следуют непосредственно из расширения обозначения косой черты и сокращения выражений формы с соответствующим тождеством в терминах гамма-матриц.
Гамма-матрицы, которые мы написали до сих пор, подходят для воздействия на спиноры Дирака , записанные в базисе Дирака ; фактически базис Дирака определяется этими матрицами. Подводя итог, в базисе Дирака:
Существует также майорановский базис, в котором все матрицы Дирака мнимые, а спиноры и уравнение Дирака вещественные. Что касается матриц Паули , то базис можно записать как
где — матрица сопряжения зарядов, соответствующая версии Дирака, определенной выше.
Причина создания всех гамма-матриц мнимыми состоит исключительно в том, чтобы получить метрику физики элементарных частиц (+, −, −, −) , в которой квадраты масс положительны. Однако представление Майораны реально. Можно выделить чтобы получить другое представление с четырьмя компонентами действительных спиноров и вещественными гамма-матрицами. Последствия удаления заключается в том, что единственной возможной метрикой с реальными гамма-матрицами является (−, +, +, +) .
Базис Майораны можно получить из базиса Дирака, приведенного выше, как через унитарное преобразование
Эта статья может выиграть от сокращения за счет использования краткого стиля . Стиль резюме может включать разделение разделов текста на одну или несколько статей-подтем, которые затем суммируются в основной статье.
Кл 1,3 ( ) отличается от Cl 1,3 ( ): в Cl 1,3 ( ) допускаются только вещественные линейные комбинации гамма-матриц и их произведений.
Заслуживают внимания две вещи. В качестве алгебр Клиффорда Cl 1,3 ( ) и Cl 4 ( ) изоморфны, см. классификацию алгебр Клиффорда . Причина в том, что основная сигнатура метрики пространства-времени теряет свою сигнатуру (1,3) при переходе к комплексификации. Однако преобразование, необходимое для приведения билинейной формы к сложной канонической форме, не является преобразованием Лоренца и, следовательно, не «допустимо» (по крайней мере, непрактично), поскольку вся физика тесно связана с симметрией Лоренца, и предпочтительно сохранить ее. манифест.
Сторонники геометрической алгебры стремятся работать с реальными алгебрами везде, где это возможно. Они утверждают, что в целом возможно (и обычно полезно) определить наличие мнимой единицы в физическом уравнении. Такие единицы возникают из одной из многих величин в реальной алгебре Клиффорда, которые квадратичны до −1, и они имеют геометрическое значение из-за свойств алгебры и взаимодействия ее различных подпространств. Некоторые из этих сторонников также задаются вопросом, необходимо ли или даже полезно ли вводить дополнительную мнимую единицу в контексте уравнения Дирака. [11] : х – кси
В математике римановой геометрии принято определять алгебру Клиффорда Cl p,q ( ) для произвольных размерностей p,q . Спиноры Вейля преобразуются под действием спиновой группы . Комплексификация спиновой группы, называемой спин-группой. , это продукт спиновой группы с кругом Продукт просто обозначение для идентификации с Геометрический смысл этого подхода состоит в том, что он высвобождает действительный спинор, ковариантный относительно преобразований Лоренца, из компонент, который можно идентифицировать по волокно электромагнитного взаимодействия. запутывает четность и сопряжение зарядов способом, подходящим для связи состояний частицы/античастицы Дирака (эквивалентно киральным состояниям в базисе Вейля). Биспинор , поскольку он имеет линейно независимые левую и правую компоненты, может взаимодействовать с электромагнитным полем. В этом отличие от спинора Майораны и спинора ELKO (Eigenspinoren des Ladungskonjugationsoperators), которые не могут ( т.е. они электрически нейтральны), поскольку они явно ограничивают спинор, чтобы не взаимодействовать с часть происходит от комплексификации. Спинор ELKO — это спинор Lounesto класса 5. [12] : 84
Однако в современной физической практике алгебра Дирака, а не алгебра пространства-времени, продолжает оставаться стандартной средой, в которой «живут» спиноры уравнения Дирака.
Гамма-матрицы диагонализуемы с собственными значениями для и собственные значения для .
Доказательство
This can be demonstrated for and follows similarly for . We can rewrite
as
By a well-known result in linear algebra, this means there is a basis in which is diagonal with eigenvalues .
В частности, это означает, что является одновременно эрмитовым и унитарным, а являются одновременно антиэрмитовыми и унитарными.
При этом кратность каждого собственного значения равна двум.
Доказательство
If is an eigenvector of then is an eigenvector with the opposite eigenvalue.
Then eigenvectors can be paired off if they are related by multiplication by Result follows similarly for
В более общем смысле, если не равно нулю, имеет место аналогичный результат. Для конкретности ограничимся случаем положительной нормы с Отрицательный случай следует аналогично.
Доказательство
It can be shown
so by the same argument as the first result, is diagonalizable with eigenvalues
We can adapt the argument for the second result slightly. We pick a non-null vector which is orthogonal to
Then eigenvectors can be paired off similarly if they are related by multiplication by
Отсюда следует, что пространство решений (то есть ядро левой части) имеет размерность 2. Это означает, что пространство решений для плоских волновых решений уравнения Дирака имеет размерность 2.
Этот результат по-прежнему справедлив для безмассового уравнения Дирака. Другими словами, если ноль, тогда имеет недействительность 2.
Доказательство
If null, then
By generalized eigenvalue decomposition, this can be written in some basis as diagonal in Jordan blocks with eigenvalue 0, with either 0, 1, or 2 blocks, and other
diagonal entries zero. It turns out to be the 2 block case.
The zero case is not possible as if by linear independence of the we must have But null vectors are
by definition non-zero.
Consider and a zero-eigenvector of .
Note is also null and satisfies
If , then it cannot simultaneously be a zero eigenvector of by (*).
Considering , if we apply then we get
.
Therefore, after a rescaling, and give a Jordan block. This gives a pairing. There must be another zero eigenvector of
, which can be used to make the second Jordan block.
There is also a pleasant structure to these pairs. If left arrows correspond to application of , and right arrows to application of , and
is a zero
eigenvector of , up to scalar factors we have
Обратите внимание, что факторы были вставлены в пространственные гамма-матрицы так, что евклидова алгебра Клиффорда
появится. Также стоит отметить, что есть варианты, которые вместо этого вставляют на одной из матриц, например, в решеточных кодах КХД, использующих киральный базис.
В евклидовом пространстве
Используя антикоммутатор и учитывая, что в евклидовом пространстве , показано, что
Arc.Ask3.Ru Номер скриншота №: 5DABC7E5EE1780B0F56728DEDBEBA120__1719637380 URL1:https://en.wikipedia.org/wiki/Gamma_matrices Заголовок, (Title) документа по адресу, URL1: Gamma matrices - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть, любые претензии не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, денежную единицу можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)