Файл: Вайнберг С. Квантовая теория полей. Том 2 (2001).pdf

Как и планировалось, член ∂μεβ в преобразовании Aβμ из второго слагаемого в (15.1.10) сокращается с членом, пропорциональным ∂μεβ,

в преобразовании первого слагаемого, так что

Таким образом Dμψ преобразуется как само ψ.

Следует также позаботиться о производных калибровочного поля. Чтобы устранить слагаемое ∂ν∂μεβ в преобразовании ∂νAβμ, произведем, как и в электродинамике, антисимметризацию по μ è ν. Однако в законе преобразования ∂νAβμ − ∂μAβν остаются слагаемые, пропорциональные первым производным от ε(x), происходя-

щие от второго слагаемого в выражении (15.1.9). Простейший способ построения «ковариантного ротора» Fγνμ, в законе преобразования которого все подобные производные от ε(x) сокращаются, заключа-

ется в рассмотрении коммутатора двух ковариантных производных, действующих на поле материи ψ:

* Как обсуждается в следующем разделе, при получении формулы (15.1.10) мы молчаливо предполагаем, что любые множители — константы связи типа электрического заряда включены в tβ, а следовательно и в струк-

турные константы.

Из формулы (15.1.12) очевидно, что Fγνμ должно преобразовываться

в точности как поле материи, принадлежащее присоединенному представлению:

Читатель может убедиться прямым вычислением (с учетом соотношения (15.1.5)), что определенная в (15.1.13) величина Fανμ действи-

тельно преобразуется по простому закону (15.1.14).

В ряде случаев полезно знать, что эти бесконечно малые калибровочные преобразования можно расширить до конечных преобразований. Групповой элемент можно параметризовать множеством действительных функций Λα(x), так что он действует на произвольное поле материи ψl(x) матричным преобразованием

Мы хотим, чтобы ковариантная производная преобразовывалась точно так же:

поэтому должны потребовать для Aαμ такого закона преобразования Aμα → AμΛα , чтобы

∂μ expditβΛβ i − itβ expditα Λα iAμΛβ = −i expditα Λα itβ Aβ

откуда

t Aα = expdit Λβ it Aα expd−it Λβ i − i ∂ expdit Λβ i expd−it Λβ i .

α μΛ β α μ β μ β β

(15.1.17) Формулы (15.1.15) и (15.1.17) сводятся к предыдущим правилам преобразования (15.1.1) и (15.1.9) в пределе, когда Λα(x) равна εα(x).

Из формулы (15.1.17) следует, что подходящим выбором Λβ(x) всегда возможно обратить в нуль AαμΛ(x) в одной точке, например x = z. (Достаточно потребовать, чтобы Λα(z) равнялось нулю, а производная ∂Λα(x)/∂xμ = –Aαμ(x) при x = z.) Кроме того, всегда возможно выбрать Λβ(x) так, чтобы одна пространственно-временная

8 Глава 15. Неабелевы калибровочные теории

компонента AαμΛ(x) äëÿ âñåõ α обращалась бы в нуль по крайней

мере в конечной области в окрестности любой данной точки. Например, чтобы обратить в нуль Aα3Λ(x), следует решить следующую

систему обыкновенных дифференциальных уравнений первого порядка для параметров Λβ(x):

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

Однако в общем случае невозможно выбрать Λα(x) так, чтобы обратить в нуль все четыре компоненты AαμΛ(x) в конечной области.

Чтобы это стало возможным, должны быть разрешимы дифференциальные уравнения в частных производных

что возможно лишь при выполнении определенных условий интегрируемости. В частности, если AαμΛ(x) обращаются в нуль везде, то

это же верно и для FαμνΛ(x), но так как напряженность поля преобразуется однородно, FαμνΛ(x) может обращаться в нуль только,

если в нуль обращается Fαμν(x). Если существует калибровочное преобразование, везде обращающее калибровочное поле Aαμ(x) â íóëü,

то такое поле называют «чистой калибровкой». Нетрудно показать, что условие, что Fαμν везде обращается в нуль, есть не только необходимое, но и достаточное условие того, что Aαμ(x) может

быть представлено в любой односвязной области как чистая калибровка 6.

* * *

Существует глубокая аналогия между описанным здесь построением объектов, простым образом преобразующихся под действием калибровочных преобразований, и построением объектов в общей теории относительности, ковариантных относительно общекоординатных преобразований. Мы использовали калибровочное поле для построения ковариантных производных Dμψl полей мате-

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

аффинную связность Gμνλ(x) для построения ковариантных произ-

водных тензоров Tρσ...κλ...:

Tρ...κ...; ν ≡ ∂νTρ...κ... + ΓρνλTλ...κ... + . . . − Γμ νκTρ...μ... − . . . ,

которые сами являются тензорами. Кроме того, из производных калибровочного поля мы построили напряженность поля Fαμν, закон

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

называемую тензором кривизны Римана–Кристоффеля. Коммутатор двух калибровочно-инвариантных производных Dμ è Dν можно выразить через тензор напряженности поля Fαμν. Аналогично, коммутатор двух ковариантных производных по xν è xκ можно выра-

зить через тензор кривизны:

Tλ... μ...; ν; κ − Tλ... μ...; κ; ν = Rλ σνκTσ. .. μ... + . . . − RσμνκTλ... σ.. . − L.

Необходимым и достаточным условием существования калибровки, в которой калибровочное поле исчезает в конечной односвязной области, является обращение в нуль тензора напряженности поля. Необходимым и достаточным условием существования координатной системы, в которой аффинная связность обращается в нуль в конечной односвязной области, является обращение в нуль тензора кривизны Римана–Кристоффеля. Аналогия нарушается в одном важном пункте: в общей теории относительности аффинная связность сама построена из первых производных метрического тензора, а в калибровочных теориях калибровочные поля не выражаются через более фундаментальные поля.

15.2.Лагранжианы калибровочных теорий

èпростые группы Ли

Законы преобразования тензора калибровочного поля Fαμν и полей материи ϕ и их калибровочно-инвариантных производных не

включают производных от параметров преобразования εα(x). Следо-

вательно, если лагранжиан построен только из этих величин и инвариантен относительно глобальных преобразований с постоянными εα, то этот лагранжиан инвариантен и относительно калибровоч-

ных преобразований с произвольными зависящими от положения параметрами εα(x). Мы поэтому предполагаем, что лагранжиан удов-

летворяет указанным условиям, т. е.

С другой стороны, лагранжиан может не зависеть от самого калибровочного поля, не считая того, что это поле входит в Fαμν и калибровочно-инвариантные производные Dμ. В частности, исклю- чается массовый член –m2αβAαμAβμ/2.

Сосредоточимся на тех слагаемых в лагранжиане, которые зависят только от Fαμν. Как и в электродинамике, для любой безмас-

совой частицы со спином 1 лагранжиан должен содержать описывающее свободную частицу квадратичное по ∂μAαν – ∂νAαμ слагаемое.

Тогда калибровочная инвариантность требует, что это слагаемое должно входить как часть слагаемого, квадратичного по тензору поля Fαμν. Требования лоренц-инвариантности и сохранения четно-

сти определяют лагранжиан в виде

с постоянной матрицей gαβ. Если отказаться от требования сохране-

ния четности (или СР, или Т), то в лагранжиан можно добавить слагаемое