Подсчет массивных степеней свободы после фиксации калибра

Рассмотрим теорию скалярной КЭД с лагранжианом

(1) л "=" 1 4 Ф мю ν Ф мю ν + ( Д мю ф ) * ( Д мю ф ) м 2 ф * ф
где ф представляет собой комплексное скалярное поле с массой м . Считая степени свободы, имеем

  • две безмассовые реальные степени свободы от А мю
  • две массивные реальные степени свободы от ф

Теперь, несмотря на то, что здесь не происходит нарушения симметрии, мы все же можем выбрать унитарную калибровку, т.е. зафиксировать калибровку так, чтобы ф реально. Теперь у нас есть лагранжиан с фиксированной калибровкой

(2) л "=" 1 4 Ф мю ν Ф мю ν + ( Д мю ф ) ( Д мю ф ) 1 2 м 2 ф 2
где ф является канонически нормированным вещественным скалярным полем и не имеет калибровочной симметрии. Тогда у нас есть

  • три действительные степени свободы от А мю
  • одна массивная реальная степень свободы от ф

где я знаю, что есть три реальные степени свободы в А мю , потому что фиксация манометра всегда удаляет единицу, а здесь фиксация манометра отсутствует.

Что меня смущает, так это то, что должны быть две массивные степени свободы, как и в исходной теории. Так что это каким-то образом означает, что одна из степеней свободы в А мю массивен, а два других нет, но как это может быть? Там нет массового термина для А мю понимание.

Примечание. Я видел этот вопрос , который частично совпадает, хотя я не думаю, что ответ касается моего вопроса. В частности, я не понимаю, как массовый член для продольной части А мю происходит.
по теме: Почему реальный скаляр не может соединиться с электромагнитным полем? . Во втором лагранжиане связь между А и ф не через сохраняющийся ток, поэтому продольная мода не развязана, и подсчет степеней свободы не является прямым.
@AccidentalFourierTransform Действительно есть продольная мода, но мне трудно понять, почему она имеет массу м !

Ответы (2)

Что можно удалить с помощью переопределения поля (в виде U ( 1 ) калибровочное преобразование) является фазой ф . Но общее число степеней свободы (степеней свободы) не изменится, поскольку полученный лагранжиан больше не является калибровочно-инвариантным. Новый подсчет 3 + 1 где 3 Доф пришел из А мю (с ковариантным ограничением, см. ниже, так что действительно 3 "=" 4 1 ), а 1 степенями свободы вместо этого является скалярная радиальная мода ф .

Более подробно, напишите

ф ( Икс ) "=" е я е π ( Икс ) час ( Икс ) 2
(с обоими π и час ( Икс ) вещественные скалярные поля) и ковариантная производная Д мю ф "=" ( мю я е А мю ) ф становится
Д мю ф "=" е я е π [ я е ( мю π А мю ) + 1 2 мю час ]
так что лагранжиан читается
л "=" 1 4 Ф мю ν Ф мю ν + е 2 2 час 2 ( мю π А мю ) 2 + 1 2 ( мю час ) 2 м 2 2 час 2 .
Теперь, определяя новую переменную А мю "=" А мю мю π (что является калибровочно-инвариантной комбинацией), лагранжиан становится
л "=" 1 4 Ф мю ν Ф мю ν + е 2 2 час 2 А мю 2 + 1 2 ( мю час ) 2 м 2 2 час 2
полностью аналогичен абелеву механизму Хиггса, за исключением того, что час имеет исчезающее вакуумное математическое ожидание. Теперь этот последний лагранжиан зависит от полей А мю и час : сколько степеней свободы есть? Ну, час ( Икс ) определенно считается 1. А мю с другой стороны считает 3 и ни 4 (Несмотря на то мю "=" 0 , 1 , 2 , 3 ) ни 2 . Действительно, из уравнений движения мю Ф мю ν "=" е 2 час 2 А ν мы видим ковариантное ограничение
мю ( А мю час 2 ) "=" 0
который отправляет нас из 4 к 3 . Но заметьте, что нет калибровочной инвариантности для А мю в его лагранжиане выше (т. е 2 час 2 А мю 2 -term нарушает его), и поэтому никакая продольная мода не может быть удалена таким образом: А мю отличается физической конфигурацией, чем, скажем, А мю мю Ом (в частности, один решает уравнение движения, а другой нет). Таким образом, на этом подсчет заканчивается, и он соответствует массивному спину-1 плюс действительный скаляр, то есть 3 + 1 как и ожидалось. Обратите внимание, однако, что частица со спином 1 не является массивной, и вся эта гимнастика просто искусственная, поскольку вы хотели переместиться на одну скалярную степень свободы. π внутри А мю .

Но почему новый компонент А мю массивный? Я нигде не вижу массового термина для этого, но мы должны сохранить количество массивных степеней свободы.
@knzhou Пожалуйста, внимательно прочитайте то, что я написал, и все подробности, которые я предоставил. Опять же, бозон со спином 1 не является массивным, хотя подсчет степеней свободы идет так же, как если бы он был массивным, поскольку калибровочная инвариантность в новых переменных ( А мю и час ) теряется, точно так же, как это происходит для массивного спина-1. Но опять же, здесь нет массивной частицы со спином 1, и число степеней свободы сохраняется, 4 .
Я не говорил, что все три компонента А мю массивны. Дело в том, что в исходном лагранжиане явно присутствуют две массивные степени свободы, две составляющие ф . Если вы заявляете все три компонента А мю безмассовые, то мы потеряли одну массивную степень свободы.
@knzhou Подсчет степеней свободы в начале равен 1 + 1 + 2 = 4, и после некоторых манипуляций его можно переписать как 1 + 3 = 4. Но количество и состав безмассовых и массивных частиц не меняется, какие бы манипуляции вы ни производили. В исходном лагранжиане было две безмассовые частицы со спином 0 (следовательно, 2 степени свободы) и одна безмассовая частица со спином 1 (следовательно, еще 2 степени свободы). В новом лагранжиане по-прежнему 4 степени свободы; они перемешаны в новых полях скрученным образом. Однако они соответствуют трем безмассовым частицам: двум безмассовым частицам со спином 0 и одной безмассовой частице со спином 1.
«В исходном лагранжиане было две безмассовые частицы со спином 0 (следовательно, 2 степени свободы)». Нет, ф поле имеет массу. Весь смысл моего вопроса в том, куда идут его две массивные степени свободы.
@knzhou Я думаю, вы очень запутались: это поле ф была или нет масса ничего не меняет. Массивное или безмассовое скалярное поле (или частица со спином 0) не меняет числа степеней свободы. Безмассовый пион или массивный пион имеют одинаковые степени свободы.
Я не говорю о простом подсчете степеней свободы. Я говорю о подсчете количества степеней свободы с массой. Например, стандартная КЭД имеет 2 безмассовые степени свободы (фотон) и 4 массивные степени свободы (электрон). Здесь мы начинаем с 2 безмассовых степеней свободы в А мю и 2 огромные степени свободы в ф . Вы утверждаете, что мы получаем 3 безмассовые степени свободы в А мю и 1 огромная степень свободы в ф . Но 3 2 . Весь смысл моего вопроса в том, чтобы исправить это.
@knzhou Я просто говорю (ну, более того: на самом деле доказываю с помощью простой математики), что поле А мю несет 3 ДОФ и поле час ( Икс ) еще один. Но эта теория по-прежнему соответствует одной безмассовой *частице* со спином-1 (связанной с А мю , не к А мю ) и две массивные частицы со спином 0 (связанные с ф и ф * , нет час ). А мю Поле порождает частицы двух разных спинов, безмассового спина-1 и массивного спина-0, когда они воздействуют на вакуум. Это не создание непреодолимой репутации, а скорее две и две разные маленькие группы.
Извините за повтор, но еще раз, мой вопрос в том , как А мю поле порождает массивную частицу со спином 0. Из лагранжиана совсем не ясно, где должен быть массовый член.
Один из массивных бозонов со спином 0 содержится в А мю так как мы видели это А мю "=" А мю мю π и π содержит часть массивных скалярных степеней свободы ф и ф * которые создают массивные частицы со спином 0. Это отношение весьма нелокально, т. А мю "=" А мю 1 2 мю бревно ( ф / ф * ) , так что действие А на вакууме сложно. Я не думаю, что есть простой способ описать это, не заканчивая только исходным лагранжианом, в котором все степени свободы были хорошо разделены. Но подсчет степеней свободы, который я дал вам в ответе, в порядке.
@knzhou: «Проблема в том, что в исходном лагранжиане явно есть две массивные степени свободы, две составляющие ф " На самом деле нет, тайно есть только один массивный компонент ф . Возьмите первое уравнение TwoBs в ответе и расширьте его для малых π ( Икс ) ; ты увидишь это π ( Икс ) не имеет массового члена. Это связано с тем, что массовый член для ф является м 2 | ф | 2 , который заботится только о его абсолютном значении, а не о его фазе.
@RonakMSoni Но я буквально только что записал стандартный массовый член для сложного скалярного поля. Вы можете проверить в главе 1 любой книги по КТП, что это дает две массивные частицы.
Теперь, в странной параметризации в этом ответе, это не похоже на π имеет массовый член, но преобразование здесь сингулярно вблизи ф "=" 0 , так кто знает, что на самом деле происходит? Дело в том, что масса должна как-то выйти, потому что она действительно есть в любой хорошей параметризации.
@RonakMSoni, как говорит knzhou, явно существуют две массивные частицы со спином 0. «Странная» параметризация скрывает этот тривиальный факт. (Кстати, «странная» параметризация - это не что иное, как то, что на самом деле требовал ОП, когда требуется исправить датчик, взяв ф real, который на самом деле удаляет фазу на U ( 1 ) калибровочное преобразование.

Прежде чем мы сможем сравнить второй лагранжиан (2), первый лагранжиан (1) должен включать член, фиксирующий калибровку л г ф , например л г ф "=" λ   я м ( ф ) , где λ является множителем Лагранжа. После интеграции λ и я м ( ф ) лагранжиан (1) становится лагранжианом (2).

Почему нам нужно рассматривать лагранжианы с фиксированной калибровкой (а не с фиксированной калибровкой), например, обсуждается в моем ответе Phys.SE здесь . .

Для обоих лагранжианов скалярное поле эффективно индуцирует массовый член для А мю -поле.

Таблица 1: Реальная степень свободы лагранжианов OP.

лагранжиан DOF вне оболочки 1 Глубина свободы на оболочке 2 ( 1 ) 2 + 4 1 "=" 5 2 + 3 1 "=" 4 ( 2 ) 1 + 4 0 "=" 5 1 + 3 0 "=" 4

1 DOF вне оболочки = # (компоненты) - # (калибровочные преобразования).

2 Степень свободы на оболочке = # (состояния спиральности) = (классическая степень свободы)/2, где классическая степень свободы = # (начальные условия).