Как узнать, какой тип калибровочного поля добавить в теорию?

Я смотрел лекции Леонарда Сасскинда по физике элементарных частиц , и в одной из лекций он обсуждает очень простую калибровочную теорию. У нас есть комплексное скалярное поле ф ( Икс ) с лагранжианом

л "=" мю ф * мю ф В ( ф * ф )

и мы хотим сделать калибровочное преобразование ф ( Икс ) е я θ ( Икс ) ф ( Икс ) . Но производный член в лагранжиане не инвариантен, если θ варьируется от места к месту, поэтому мы добавляем новое векторное поле А мю и определите его для преобразования, как

А мю А мю + мю θ
при калибровочном преобразовании. Затем мы меняем лагранжиан, чтобы использовать ковариантные производные Д мю "=" мю + я А мю вместо обычных; теперь, когда калибровочное преобразование выполнено, все производные θ сокращаются, и результат остается инвариантным.

Мой вопрос: была ли какая-то свобода в выборе добавления векторного поля с этим конкретным законом калибровочного преобразования? Есть ли какие-то другие способы добиться здесь калибровочной инвариантности — используя другой закон преобразования или другой тип поля (скажем, скалярное, тензорное или спинорное) с каким-то другим законом преобразования?

В более общем смысле, как мы можем сказать, какой тип поля необходим и каким должен быть закон его калибровочного преобразования, чтобы какой-то конкретный лагранжиан был инвариантным относительно некоторого конкретного калибровочного преобразования?

Ответы (1)

У нас нет выбора.

Позволять г быть нашей калибровочной группой и Σ наше пространство-время. Тогда, чтобы теория действительно была калибровочно-инвариантной, каждое поле должно иметь на себе определенное действие калибровочной группы, т. е. каждое поле должно преобразовываться в представление этой группы:

ф : Σ В р  где имеется групповой морфизм  р : г г л ( В р )

Нам нужна производная д А : Ом к ( Σ ) Ом к + 1 ( Σ ) действующие на поля (в более общем случае на к -формы, производящие к + 1 -формы) такие, что для любого калибровочного преобразования г : Σ г у нас есть д А ( р ( г ) ф ) "=" р ( г ) д А ф , т.е. производная также должна преобразовываться в представлении.

Теперь формы поставляются только с двумя естественными операциями, производящими к + 1 - формировать из к -form: внешняя производная д , который с треском проваливается сам по себе, и клин-продукт к - форма с некоторыми 1 -форма. Поэтому единственным естественным способом поиска внешней производной является

д А ю "=" д ю + А ю

для некоторых 1 -форма (т.е. двойственное векторное поле) А . Следует подчеркнуть, что, хотя А является, как 1 -form, действительно (двойственное) векторное поле по отношению к группе Лоренца, оно не преобразуется в правильное линейное представление г , так как его закон преобразования (чтобы групповое действие и производная коммутировали)

А г А г 1 + г д г 1

Она называется формой связи и соответствует определенному выбору ортогонального подпространства касательного пространства основного расслоения . Отсюда также видно, что А должны принимать значения в алгебре Ли г (а также потому, что в противном случае приведенный выше закон преобразования не имел бы смысла). Для всех калибровочных теорий этот выбор подпространства (называемый связностью Эресмана ) находится в биекции с выбором 1 -форма А на связке, которая проецируется до (местного!) 1 - форма на Σ , снова давая векторное поле, которое мы эвристически нашли путем поиска ковариантной производной.


Однако следует отметить, что если мы ослабим наши представления о том, что такое калибровочная теория, то будут существовать «формы связности», которые не являются векторными полями. Лучшим примером (и единственным, который я знаю) являются символы Кристоффеля в ОТО, являющиеся сечениями касательного расслоения расслоения реперов, расслоения струй (в отличие от калибровочных полей, являющихся сечениями касательного расслоения главного расслоение), которые можно рассматривать как формы связности, определяющие связность Леви-Чивиты, аналогичные калибровочным полям, определяющим связность Эресмана.

Я все еще перевариваю это (вы сделали это в более общем виде, чем мне нужно :)), но дайте мне посмотреть, уловил ли я общую идею. Проблема в том, что потому г изменяется в пространстве-времени, производные члены в лагранжиане подхватывают нежелательные производные р ( г ) . Чтобы отменить их, мы должны использовать поле, которое преобразуется под действием группы Лоренца так же, как производные от р ( г ) делать, то есть как двойственный 4-вектор, компоненты которого являются членами р представление) алгебры Ли г . Это примерно так?
@ Натан Рид: Ага. :)