Спиновые представления группы Лоренца

В контексте классической теории поля мы знаем, что неприводимые представления помечаются значениями двух операторов Казимира группы Пуанкаре: у нас могут быть массивные поля п 2 "=" м 2 > 0 с определенным вращением с , Вт 2 "=" м 2 с ( с + 1 ) , или безмассовые поля п 2 "=" м 2 "=" 0 с определенной спиралью час , Вт мю "=" час п мю .

Теперь я хочу получить все иррепрезентации группы Лоренца (представления Пуанкаре индуцируются ими) для различных значений м и с , час как проективные представления, то есть используя представление спиновой группы, которое покрывает С О ( 1 , 3 ) . После некоторых шагов (см. это ) мы понимаем, что ищем комплексные представления С л ( 2 , С ) × С л ( 2 , С ) (то есть тензорное произведение двух копий одного и того же представления, и они действуют на биспинор, спинор и антиспинор), чтобы получить неприводимые унитарные представления группы Лоренца для разных типов полей (разные значения массы и спина /спиральность).

как нам это сделать?

Например:

  1. Я хочу представление со спином 0 ( м > 0 и с "=" 0 ), поэтому я ожидаю, что, поскольку спина нет, представление спина тривиально р 0 ( я мю ν ) "=" 0 ( я мю ν являются 6 образующими группы Лоренца), которые действуют на «тривиальный биспинор», который представляет собой просто однокомпонентное вещественное поле (скалярное поле). Это легко
  2. Я хочу спин- 1 2 представление ( м > 0 и с "=" 1 2 ), поэтому я ожидаю, что, поскольку 1 2 -спинор имеет 2 компонента, представление спина 4 × 4 сложная матрица р 1 2 ( я мю ν ) "=" о мю ν которые действуют на биспинор с 4 комплексными значениями (спинорное поле). Это тоже легко, поскольку мы знаем, что (Вейлевское) представление С л ( 2 , С ) × С л ( 2 , С ) в данном случае является лишь определяющим представлением С л ( 2 , С ) × комплексное сопряжение определяющего представления С л ( 2 , С ) .
  3. Я хочу представление спина-1 ( м > 0 и с "=" 1 ), поэтому, используя те же аргументы, я ожидаю биспинор с 6 компонентами. Это верно? Как я могу сказать, что это четырехвекторное комплексное поле? Являются ли они двумя разными представлениями одного и того же поля (как представление Вейля и Дирака для 1 2 -спиновые поля)?

Конечно, я знаю, что это четырехвекторное поле, но мне было интересно, есть ли «простой способ» сказать это, используя своего рода эвристический аргумент, подобный тому, который я использовал в предыдущих примерах.

Ответы (1)

Я бы посоветовал взглянуть на первую главу Streater, RF, & Wightman, AS (1989). PCT, спин и статистика, и все такое. Издательство Принстонского университета. Там отмечается, что все неприводимые конечномерные комплексные представления СЛ ( 2 , С ) имеют форму Д ( Дж / 2 , к / 2 )

ξ α 1 α Дж β ˙ 1 β ˙ к А α 1 р 1 А α Дж р Дж А ¯ β ˙ 1 о ˙ 1 А ¯ β ˙ к о ˙ к ξ р 1 р Дж о ˙ 1 о ˙ к ,
где ξ α 1 α Дж β ˙ 1 β ˙ к симметричен относительно перестановок пунктирных и непунктирных индексов по отдельности.

Теперь перейдем к вашим примерам:

  1. Спин 0 представительство Д ( 0 , 0 ) . В ней спиноры не имеют индексов ξ и они тривиально трансформируются под СЛ ( 2 , С ) , так что они скаляры.
  2. У нас есть два представления со спином 1/2. Д ( 1 / 2 , 0 ) и Д ( 0 , 1 / 2 ) соответствующие спинорам Вейля ξ α и антивейлевские (?) спиноры ξ ¯ α ˙ . Тогда поле Дирака находится, например, в Д ( 1 / 2 , 0 ) Д ( 0 , 1 / 2 ) со спинорами Дирака ψ мю "=" ( ξ α , ξ ¯ α ˙ ) .
  3. Представления спина 1 Д ( 1 , 0 ) , Д ( 1 / 2 , 1 / 2 ) , и Д ( 0 , 1 ) . Средний — стандартное векторное представление. Д ( 1 / 2 , 1 / 2 ) "=" Д ( 1 / 2 , 0 ) Д ( 0 , 1 / 2 ) состоящая из спиноров вида ξ α β ˙ . То, что они 4-векторы, видно из стандартного изоморфизма Икс α β ˙ Икс мю "=" Икс α β ˙ о мю β ˙ α , где о мю "=" ( 1 , о Икс , о у , о г ) . Действительно, с помощью этого изоморфизма видно, что четыре вектора несут представление СЛ ( 2 , С ) . Чтобы увидеть это, мы сначала заметим, что обратный этому изоморфизму просто Икс α β ˙ "=" Икс мю о α β ˙ мю , где о мю "=" ( 1 , о Икс , о у , о г ) . Индексация в этих сигма-матрицах отличается от индексации для предыдущих, поскольку предполагается, что они представляют обратную матрицу. Так уж получилось, что матрица, обратная матрице Паули, есть она сама. Тогда представление на 4-векторах есть Икс мю А α р А ¯ β ˙ о ˙ Икс ν о р о ˙ ν о мю β ˙ α , т.е. вектор Икс мю меняется через матрицу Λ мю ν "=" о мю β ˙ α А α р о р о ˙ ν А ¯ β ˙ о ˙ . Можно показать, что это находится в компоненте связности тождества в преобразованиях Лоренца. Более подробную информацию об этом можно найти у Haag, R. (1996). Локальная квантовая физика (2-е изд.). Спрингер Берлин Гейдельберг. https://doi.org/10.1007/978-3-642-61458-3 . Однако появляются и другие представления со спином 1. Например, представление Д ( 1 , 0 ) задается антисимметричными самодуальными тензорами Б мю ν . Используя тот факт, что любой 2-тензор Ф мю ν можно разложить на самодуальную и антисамодуальную части, можно видеть, что, например, тензор напряженности поля Максвелла преобразуется в Д ( 1 , 0 ) Д ( 0 , 1 ) .

Еще одним интересным источником для этого является Ramond, P. (1990). Теория поля: современный учебник для начинающих (второй). Вествью Пресс.

У меня все еще есть некоторые проблемы с представлением спина-1. Вы говорите, что спиноры в Д ( 1 / 2 , 1 / 2 ) изоморфны 4-векторам, но для представления группы Лоренца вам не нужно тензорное произведение двух представлений? Например, в спин- 1 / 2 представление, где вы используете прямую сумму двух представлений, чтобы получить неприводимое представление, которое вам нужно для представления преобразования Лоренца на спин- 1 / 2 поле. Я не понимаю, как вы делаете это в спине-1.
Д ( 1 / 2 , 1 / 2 ) действительно является тензорным произведением представлений Д ( 1 / 2 , 0 и Д ( 0 , 1 / 2 ) . Я добавлю больше деталей о том, как это приводит к векторному представлению группы Лоренца. Это не связано (по крайней мере, насколько мне известно) с процедурой построения дираковского представления. Представления Д ( 1 / 2 , 0 ) и Д ( 0 , 1 / 2 ) сами по себе дают совершенно хорошие спиновые 1/2 поля. Они обычно объединяются в поле Дирака, потому что массовые члены обычно их смешивают.
Однако вполне нормально рассматривать любую теорию с фермионами Дирака в терминах фермионов Вейля. Я думаю, например, что это делает стандартную модель более понятной. Поля в одном из представлений взаимодействуют посредством слабого взаимодействия, а поля в другом нет. Может быть, вы можете немного уточнить свой вопрос, чтобы я мог помочь вам лучше.