Интегрирование по калибровочному полю в абелевой теории Черна-Саймонса в формализме полевых интегралов

В настоящее время я пытаюсь изучить главу в Altland & Simons, «Теория поля конденсированного состояния» (2-е издание), и я застрял в конце раздела 9.5.2, страница 579.

Учитывая евклидово действие Черна-Саймонса для абелева калибровочного поля а µ который связан с током Дж µ

С [ а µ , Дж µ ] "=" г 3 Икс ( Дж µ а µ + я θ 4 ε µ ν λ а µ ν а λ )

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

Поскольку это калибровочное поле, мы должны позаботиться о лишней калибровочной степени свободы. Примечание Altland & Simons в середине стр. 579, что один из способов сделать это — ввести член, фиксирующий калибровку. α ( µ а µ ) 2 и разреши α в конце.

Однако, похоже, это не работает. В импульсном пространстве действие Черна-Саймонса плюс условия фиксации калибровки пропорциональны

г 3 д   а µ ( д ) ( α д 0 2 я д 2 я д 1 я д 2 α д 1 2 я д 0 я д 1 я д 0 α д 2 2 ) µ ν а ν ( д ) .

Чтобы получить эффективное действие для тока, мне просто нужно инвертировать эту матрицу, которую мы называем А µ ν , и отправить α . Но этого не может быть. Например, одна запись обратной матрицы читается

А 01 1 "=" д 0 д 1 я д 2 3 α д 1 2 д 2 2 д 0 2 α 3 α ( д 0 4 + д 1 4 + д 2 4 )

и это исчезает в пределе α . То же самое для других записей. Это плохо.

Мой вопрос, следовательно

Как правильно выполнить функциональный интеграл по калибровочному полю а µ с вкладом фиксации калибра α ( µ а µ ) 2 где α ?

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

На всякий случай, если люди не заметят (я заметил только из-за ответа @Moshe): ошибка, сделанная выше, заключается в том, что α ( мю а ν ) 2 "=" α ( мю а мю ) ( ν а ν ) , поэтому каждая матрица А мю ν запись должна содержать термин α д мю д ν . Сейчас это появляется только в диагональных компонентах.
Упс, действительно. Этот термин соответствует и должен соответствовать проекции л µ ν а ν "=" д µ д ν д 2 а ν на продольные степени свободы.

Ответы (1)

В данном случае я думаю, что удобнее выполнять вычисление пропагатора ковариантно (а не по компонентам).

Обратный пропагатор (в импульсном пространстве) можно прочитать из абелева действия Черна-Саймонса, включая член фиксации калибровки, как:

г мю ν 1 ( к ) "=" α д мю д ν + я θ 4 ϵ мю ν р д р

Для пропагатора мы используем анзац:

г о т ( к ) "=" β д о д т + я γ ϵ о т η д η

Параметры β и γ необходимо вычислить из условия:

г мю ν 1 ( к ) дельта ν о г о т ( к ) "=" дельта мю т

Обратите внимание, что пропагатор не может содержать член, пропорциональный дельта ν о , потому что этот член привел бы к члену, пропорциональному ϵ мю о т д т после сжатия с обратным пропагатором, которое не может быть отменено никаким другим членом.

Мы получаем:

( α β д 2 θ 4 γ ) д мю д т + θ 4 γ д 2 дельта мю т "=" дельта мю т

(Где использовалось следующее тождество: дельта ν о ϵ мю ν р ϵ о т η "=" дельта мю η дельта р т дельта мю т дельта р η )

Таким образом:

γ "=" 4 θ д 2

β "=" θ γ 4 α д 2 "=" 1 α д 4

Таким образом β исчезает в пределе α и у нас осталось эффективное действие:

1 θ г 3 д Дж о ( д ) ϵ о т η д η д 2 Дж т ( д )

Множитель 4 сокращается с аналогичным множителем, возникающим из-за завершения квадрата.

Спасибо! Теперь я также понимаю, почему метод α работает для любого калибровочно-инвариантного действия. Причина просто в том, что калибровочно-инвариантное действие проектируется на поперечные степени свободы, а выражение д ν д µ д 2 проекты по продольной степени свободы.
Я хотел бы спросить, что случилось с двумя (воображаемыми) перекрестными членами от оценки условия пропагатора г мю ν 1 ( к ) дельта ν о г о т ( к ) "=" дельта мю т , так как кажется, что в вашем выражении остались только два действительных члена ( α β д 2 θ 4 γ ) д мю д т + θ 4 γ д 2 дельта мю т "=" дельта мю т .
@dgwp Они тождественно равны нулю из-за симметрии ϵ мю ν р д мю д ν д р "=" 0