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