Следуя соглашениям «Квантовой теории поля и стандартной модели» Шварца, мы имеем, что для теории Янга-Миллса бесконечно малое калибровочное преобразование действует как
дельтаαА = дα - я [ А , α ] .
Я пытаюсь вычислить коммутатор двух калибровочных преобразований, которые я ожидаю дать
[дельтаα,дельтаβ] А=ядельта[ а , р]А .
Однако это не то, что я нахожу. Проведя вычисления, я обнаружил, что
[дельтаα,дельтаβ] А=дельтаαдельтаβА —дельтаβдельтаαА =дельтаα( дβ− я [ А , β] ) -дельтаβ( дα - я [ А , α ] ) знак равно dα - я [ дβ− я [ А , β] , α ]− дβ+ я [ дα − я [ А , α ] , β] = да - дβ− я [ дβ, α ] − [ [ A , β] , α ] +я [ dа , р] + [ [ А , α ] , β]
Некоторые коммутаторы можно упростить, если понять, что
[ да , р] - [ дβ, α ] = dαβ _− βга - дβα + αd _β= д( α β) - д( βа ) = д[ а , р]
.
Мы также можем использовать тождество Якоби, чтобы увидеть, что
[ [ А , α ] , β] − [ [ А , β] , α ] = [ [ А , α ] , β] + [ [ β, А ] , α ] =− [ [ α , β] , А ]
.
Собрав все вместе, мы имеем это
[дельтаα,дельтаβ] А=да - дβ+ я д[ а , р] + [ А , [ α , β] ] =ядельта[ а , р]А + га - дβ
.
Мой вопрос в том, почему дополнительныйга - дβ
появился? Я неправильно выполняю какой-то шаг в вычислениях или что-то упускаю концептуально? Проверяя, я также вычислил коммутатор, начав с тождества
еядельтаαеядельтаβе− ядельтаαе− ядельтаβА = ( 1 - [дельтаα,дельтаβ] )А+ О (α2)
.
Здесь я применил конечные калибровочные преобразования в левой части, разложенные до второго порядка вα
иβ
, и сопоставил термины с правой частью. После этого я нашел[дельтаα,дельтаβ] А=ядельта[ а , р]А
, как и ожидалось, поэтому я вполне уверен, что дополнительныега - дβ
членов не должно быть, но я не понимаю, в чем моя ошибка, когда я начинаю с бесконечно малого случая.
Qмеханик