Выбор крепления манометра для поля манометра A0A0A_0

Во многих ситуациях я видел, что автор делает выбор калибра А 0 "=" 0 , например Мэнтон в своей статье о силе между монополем 'т Хоофта Полякова.

Пожалуйста, не могли бы вы дать мне математическое обоснование этого? Как я могу всегда делать калибровочное преобразование так, чтобы А 0 "=" 0 ?

Калибровочное преобразование А я трансформируется как

А я г А я г 1 я г г 1 ,

где г находится в калибровочной группе.

Ответы (3)

Условие «фиксация манометра» А 0 "=" 0 называется временной калибровкой или калибровкой Вейля, см. следующую страницу Википедии ). Это условие является лишь частичным условием фиксирования калибровки, потому что лагранжиан Янга-Миллса остается калибровочно инвариантным при не зависящих от времени калибровочных преобразованиях:

А я г А я г 1 я г г 1 , я "=" 1 , 2 , 3

с г не зависит от времени.

Однако это еще не все: производная по времени от А 0 не появляется в лагранжиане Янга-Миллса. Таким образом, это не динамическая переменная. Это просто множитель Лагранжа. Его уравнение движения — это всего лишь закон Гаусса:

. Е "=" 0 .

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

Я не понял твоего последнего шага по закону Гаусса. Разве закон Гаусса не получается, если положить свободный индекс за нуль во втором уравнении движения (полученном путем варьирования А мю ? Почему вы говорите: «Нельзя получить это уравнение после установки A0 = 0. Поэтому оно должно быть добавлено в качестве ограничения, и должно требоваться, чтобы оно обращалось в нуль при каноническом квантовании физических состояний». Я думал, что это применимо ко всем А 0 s и не имеет ничего общего с тем, что он равен 0.
Но если заменить А 0 "=" 0 в лагранжиане до вычисления уравнений движения, то уравнение движения А 0 , а именно закон Гаусса будет потерян, потому что не будет А 0 в лагранжиане взять вариацию по нему. В этом случае приходится накладывать закон Гаусса «вручную».
(продолжение), см. следующий обзор: ANTTI SALMELA ethesis.helsinki.fi/julkaisut/mat/fysik/vk/salmela/gausssla.pdf
Кажется, ЭОМ 𝐴 0 является Дж А Дж "=" А "=" 0 --- не могли бы вы уточнить по этому поводу? physics.stackexchange.com/q/718090/310987 Большое спасибо!

I) Давайте выберем следующее соглашение

(1) А мю   "="   г 1 ( А мю + я г мю ) г

для неабелева калибровочного преобразования. Для конкретности предположим, что калибровочная группа г либо U ( Н ) или С U ( Н ) .

II) Тогда вопрос ОП становится

Существует ли глобально определенное калибровочное преобразование г е г так что А 0 "=" 0 ?

Или, что то же самое,

Существует ли глобально определенная временная шкала?

Ответ: Да, выберите, например, следующее калибровочное преобразование как упорядоченную по времени линию Вильсона .

г ( р , т )   "="   Т опыт [ я 0 т г т   А 0 ( р , т ) ] , т 0.

(Есть аналогичная формула для т 0 .) Это возможно, если правая часть хорошо определена, т. е. если прежний временной калибровочный потенциал А 0 интегрируема по времени.

+1, это было как раз то, что я искал. Некоторые вопросы, хотя; Почему часть "упорядоченная по времени"? Разве мы не можем запустить интеграл по времени от к т ? Спасибо.
1. Временной порядок необходим, когда калибровочная группа г неабелева. Формула неверна без упорядочения по времени. 2. Да, можно поставить начальное условие т 0 "=" .

В дополнение к предыдущим ответам, это совершенно очевидно в калибровочной теории решетки. Это показывает, что осевой и временной калибры хорошо определены, а также дает полное предписание по фиксации калибра, устраняя остаточные неоднозначности калибра. Это решетчатая версия ответа Qmechanic и Бар-Моше.

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

Сделайте эту позицию исходной и определите путь следующим образом:

следовать по оси x к координате x точки, затем следовать параллельно оси y к координатам x, y точки (все еще при z=0 t=0), затем следовать параллельно оси z к правильному z, затем параллельно оси t. Умножение всех элементов группы в порядке их появления. Затем поверните эту матрицу в этой точке.

Это устанавливает элемент калибровочной группы в t-направлении равным единице, это эквивалентно установке нулевого калибровочного поля континуума. Он также устанавливает калибровочное поле в направлении z равным нулю на поверхности t = 0, он устанавливает калибровочное поле в направлениях y и z равным нулю на плоскости xy и все калибровочное поле равным нулю вдоль оси x. .

Это полная и непертурбативная фиксация решеточной калибровки, она оставляет ненарушенной только глобальную калибровочную группу. Это соответствует осевому датчику, потому что он находится в мнимом времени, но эвристическая фиксация временного датчика без регулятора идентична объяснению Qmechanic, и нет никаких принципиальных проблем (хотя, как сказал Бар Моше, вы должны быть осторожны чтобы не отбрасывать уравнения связи движения, возникающие при изменении калибровочным полем направлений, нарушающих калибровочное условие).