Для спинора Дирака , его киральные проекции равны определяются как
Поскольку проекционные операторы киральности являются матрицы, они могут действовать только на проецировать и . Однако обозначение и , для двухкомпонентных спиноров и соответственно, предполагает, что существует также понятие киральный оператор. Если такого оператора нет, в чем смысл и ?
Важно различать саму алгебру Клиффорда и матричное представление алгебры Клиффорда. Сама алгебра Клиффорда представляет собой абстрактную ассоциативную алгебру, порожденную базисными векторами удовлетворяющий . Матрицы Дирака обеспечивают матричное представление алгебры Клиффорда, , что является точным в том смысле, что различные элементы алгебры Клиффорда представлены различными матрицами. В четырехмерном пространстве-времени наименьшие матрицы, способные достичь такого результата, имеют размер .
Спинор Дирака — это вещь, на которую действует это точное матричное представление всей алгебры Клиффорда.
Четная часть алгебры Клиффорда порождается произведениями . Это собственная подалгебра полной алгебры Клиффорда. При ограничении этой подалгеброй матричное представление Дирака приводимо: с использованием проекционных матриц , мы можем расщепить спинор Дирака на две части которые не смешиваются друг с другом под действием четной части этого представления алгебры Клиффорда.
Вообще не ссылаясь на спиноры Дирака, спиноры Вейля (также известные как киральные спиноры) могут быть определены непосредственно как вещи, которые преобразуются в соответствии с неприводимым представлением четной части алгебры Клиффорда. Имеются два неэквивалентных (взаимно сопряженных) представления четной части, которые часто отличаются друг от друга нижними индексами независимо от того, были ли они построены с применением к спинору Дирака.
Когда спиноры Вейля определяются непосредственно таким образом, оператор киральности по-прежнему определен: он по-прежнему (пропорционален) матричному представлению . Однако неприводимое представление четной части алгебры Клиффорда неверно : матрица, представляющая пропорциональна единичной матрице. Два неэквивалентных представления отличаются друг от друга знаком матрицы, которая представляет . Таким образом, оператор киральности по-прежнему определен, но он просто умножает спинор Вейля на или , в зависимости от того, какое из двух неэквивалентных представлений используется.
ФродКуб
СРС
ФродКуб
СРС
Космас Захос