Фермионы стандартной модели обычно представляются столбцами. Однако столбец может иметь различный смысл в зависимости от матричного оператора, действующего на него. Например, «столбец» спинора Дирака и «столбец» левого слабого дублета — это столбцы двух разных типов.
В свете этого, почему бы нам не визуализировать фермионы стандартной модели (все 3 поколения фермионов) как 5-мерную матрицу с различными матрицами, действующими в отдельных измерениях (рассматривая всю матрицу как единый «столбец» вдоль заданного измерения? , где каждый элемент «столбца» на самом деле является 4-мерной матрицей). Интересно отметить, что первые 3 измерения (спин, изоспин и цвет) являются калибровочными (при условии, что гравитация/общая теория относительности трактуются как локальная калибровочная теория Лоренца со спиновой связью в качестве калибровочного поля), тогда как последние 2 измерения (хиральность и поколения) нет .
Эти 5 измерений и соответствующие им операторные матрицы (The взаимодействие гиперзаряда не меняет местами столбцы и здесь не обсуждается. ):
Всего имеется
Мы уже делаем именно это. Как вы думаете, что еще такое обозначение индекса?
В информатике матрица представляет собой двумерный массив, A
элементы которого равны A[i][j]
. В физике ранг
тензор
, такой как тензор электромагнитного поля, является объектом, компоненты которого равны
.
Двумерный массив действительно хранится в памяти как одномерный массив, но наличие двух индексов может быть концептуально полезным. Точно так же мы могли бы определить «супериндекс» с 16 значениями, чтобы является гигантским вектором, но гораздо лучше придерживаться двух. Эти два слота сокращаются с другими индексами для формирования тензорных выражений.
По мере того, как наши поля получают больше свойств, мы просто добавляем больше индексов. Например, левые кварки Стандартной модели должны иметь индекс цвета, индекс положения, индекс спина, индекс изоспина и индекс генерации. Если бы мы хотели быть предельно явными, мы могли бы записать это кварковое поле как
Это хорошее упражнение — пройтись по лагранжиану Стандартной модели и вернуть все индексы, чтобы посмотреть, как все совпадет. Однако, как только вы сделаете это один раз, вы поймете, что это невероятно раздражает и совсем не стоит более явных обозначений. Например, вам никогда не понадобится индекс позиции, поскольку все термины являются локальными, поэтому все они имеют одинаковое значение. . Точно так же почти для всех терминов очевидно, как сокращаются индексы цвета и так далее. Нам редко приходится делать более одного или двух типов индексов явными одновременно.
Даже обзоры операторов размерности шесть в СМ, которые довольно сложны, ухитряются адаптировать свои обозначения, чтобы подавить большинство индексов. Формализм суперполя для SUSY был создан, чтобы скрыть еще больше индексов. Я рекомендую просто помнить, где находятся подводные камни (на самом деле их не так много, меньше 10 точно) и наслаждаться упрощенными обозначениями, которые создали поколения физиков до нас.