ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 29.06.2024
Просмотров: 1537
Скачиваний: 2
138 |
Глава 17. Перенормировка калибровочных теорий |
Поскольку мы предполагали, что алгебра Ли проста, структурная константа Cαβγ и генератор группы tα фиксированы групповой струк-
турой за исключением единственного общего множителя, равного неперенормированной калибровочной константе связи g. Таким образом, из формул (17.4.46) и (17.4.47) следует, что калибровочная константа связи gR â CR è tR перенормируется по правилу:
gR = g(1 + L |
A |
)−1/2 . |
(17.4.48) |
|
|
|
Этот результат показывает практическую ценность калибровки фонового поля. В произвольной калибровке мы бы имели независимые константы перенормировки для калибровочного поля и калибровоч- ной константы связи и должны были бы вычислить две разные амплитуды (например, поляризацию вакуума и вершинную функцию с тремя калибровочными полями), чтобы получить возможность их отсортировать. В фоновой калибровке калибровочная инвариантность по отношению к этому полю связывает эти две перенормировки благодаря требованию, чтобы бесконечные слагаемые в эффективном лагранжиане включали напряженность поля в исходном виде (17.4.31). В результате можно вычислить константу перенормировки заряда, рассматривая лишь одну амплитуду калибровочного поля.
17.5.Однопетлевое вычисление в калибровке фонового поля
Âкачестве примера мы хотим вычислить в однопетлевом приближении константу перенормировки для калибровочной константы связи в произвольной неабелевой калибровочной теории. Как мы увидим в следующей главе, это послужит существенным первоначальным вкладом в вычисления физических процессов при высоких энергиях методом так называемой «ренормализационной группы». Полученные здесь результаты буду использованы для демонстрации свойства асимптотической свободы неабелевых калибровочных теорий.
Используемый здесь метод содержит элементы новизны. Обыч- но рассматривают эффективное действие в зависящем от простран- ственно-временных координат фоновом калибровочном поле и вы- числяют слагаемые, квадратичные по этому полю, извлекая затем множитель (qμAαν – qνAαμ)2 (где q — 4-импульс калибровочного поля),
èтолько после этого изолируют логарифмическую расходимость,
17.5. Однопетлевое вычисление... |
139 |
полагая q = 0 в коэффициенте при этом множителе. Мы вместо этого будем следовать по значительно более простому пути, выбрав с самого начала калибровочное поле не зависящим от простран- ственно-временных координат. В этом случае квадратичные и кубичные по калибровочному полю слагаемые в эффективном действии, конечно, обращаются в нуль, но остается неисчезающее четвертичное ультрафиолетово расходящееся слагаемое, которое можно использовать для вычисления константы перенормировки (1 + LA)–1/2 для константы связи. При таком способе расчетов однопетлевое вычисление превращается в задачу простой алгебры матриц. Заметим, что описанная процедура может использоваться только в калибровке фонового поля. В других случаях независимые логарифмические расходимости возникали бы в квадратичных и четвертичных по калибровочному полю слагаемых эффективного действия.
С учетом сказанного перейдем к вычислению однопетлевого эффективного действия в фоновом поле, для которого Aαμ постоянно, а ψ = ω = ω* = 0. Для такого фонового поля полный моди-
фицированный лагранжиан имеет вид *
LMOD = L + L f + LGH , |
(17.5.1) |
L = − |
1 |
|
e |
|
|
|
+ |
|
|
|
|
A′ |
− |
|
|
A′ |
|
|
+ C A′ |
A′ |
2 |
|||||||||
|
F |
|
D |
D |
|
|
||||||||||||||||||||||||
|
|
|
|
|
||||||||||||||||||||||||||
|
4 |
|
|
αμν |
|
|
|
|
μ |
αν |
|
|
ν αμ |
|
|
αβγ |
βμ |
γν j |
||||||||||||
|
|
|
|
|
− it A/ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(17.5.2) |
||||||||
− ψ |
′( |
D/ |
′ + m |
ψ′ |
, |
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
α |
α |
) |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
≡ − |
1 |
fα fα = − |
1 |
|
d |
|
μ Aα′μ i2 |
|
|
|
||||||||||||||||
|
|
|
Lf |
|
D |
, |
|
(17.5.3) |
||||||||||||||||||||||
|
|
|
|
|
2ξ |
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
2ξ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
L |
|
|
|
|
= −( |
|
ω |
′* )( |
|
μω′ |
− |
|
|
|
ω′ A′μ ) . |
(17.5.4) |
||||||||||||||
GH |
D |
D |
C |
|
|
|||||||||||||||||||||||||
|
|
|
|
|
μ |
α |
|
|
α |
|
αβγ |
β γ |
|
|
Однопетлевые диаграммы для амплитуд перехода вакуум–вакуум вычисляется из той части действия, которая квадратична по квантовым полям A′, ψ′, ω′, ω*′, по которым производится интегрирова-
ние. Удерживая только эти квадратичные слагаемые, имеем:
* См. формулы (17.4.12), (17.4.4) и (17.4.23). Мы здесь рассматриваем специальный случай, когда поля материи образуют мультиплет фермионов спина 1/2. Квадрирование L и Lf подразумевает очевидные свертки по индексам.
140 |
Глава 17. Перенормировка калибровочных теорий |
L |
|
= − |
1 |
|
|
|
|
A′ |
− |
|
A′ |
|
2 |
|
− 1 |
FμνC A′ |
||||||
|
|
D |
D |
|
||||||||||||||||||
|
4 d |
|
|
|||||||||||||||||||
|
QUAD |
|
|
μ αν |
|
ν αμ i |
|
2 |
α |
αβγ |
βμ |
|||||||||||
|
|
− ψ′( |
|
+ m)ψ′ − |
1 |
|
|
A′ |
μ 2 |
− ( |
|
|
ω′* |
|||||||||
|
|
D/ |
D |
D |
||||||||||||||||||
|
|
2ξ d |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
μ α i |
|
μ |
α |
A′
γν
μω′ (17.5.5)
)(D α ) .
Соответствующее действие можно представить в виде общей квадратичной формы:
I |
|
|
|
≡ |
|
|
|
d4x L |
|
|
|
|
|
|
|
= − |
1 |
|
|
|
d4x d4yA′ |
μ |
(x)A′ |
ν (y)DA |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
QUAD |
|
z |
QUAD |
2 z |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
α |
|
|
|
|
|
|
|
β |
|
|
xαμ,yβν |
|
|
|
|
(17.5.6) |
|||||||||||||||||||||||||
|
|
|
|
− |
|
z |
d4x d4yψ′ (x)ψ′(y)Dψ |
|
|
|
|
− |
z |
d |
4x d4y ω′* (x)ω′ |
(y)Dω |
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
, |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
l |
|
|
|
xk,yl |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
α |
|
|
|
β |
|
|
|
|
|
xα,yβ |
|
|||||||||||
ãäå |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
DA |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xαμ,yβν |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
≡ ημν |
F |
−δγα |
|
|
∂ |
+ Cγδα Aδλ |
|
|
I F |
−δ |
|
|
|
|
∂ |
|
|
|
|
+ CγεβAελ |
|
|
I |
δ4 (x − y) |
|
|||||||||||||||||||||||||||||||||||||||
|
|
G |
|
|
|
|
|
|
|
(x) |
|
|
γβ |
|
|
|
|
|
|
|
|
|
(y) |
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
λ |
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
H |
|
|
|
|
|
|
|
|
∂xλ |
|
|
|
|
|
|
|
|
|
|
|
K H |
|
|
|
|
|
|
∂y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
K |
|
|
|
|
|
|
|
|||||||||||
|
|
|
F |
|
|
|
|
|
|
|
|
|
|
∂ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
I F |
|
|
|
|
|
|
|
∂ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
I |
|
4 |
|
|
|
|
|
|
||||
|
|
− |
H |
−δ |
|
|
|
|
|
|
|
|
|
|
|
+ C A (x) |
|
−δ |
|
|
|
|
|
|
|
|
|
|
+ C A (y) |
|
δ |
|
(x |
− y) |
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
∂ |
|
|
|
|
|
|
|
|
|
∂ |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
G |
|
|
|
|
γα |
|
x |
ν |
|
|
|
|
γδα |
δν |
|
|
J |
H |
|
|
|
γβ |
|
|
y |
μ |
|
|
|
|
|
|
γεβ |
|
εμ |
|
K |
|
|
|
|
|
|
|
(17.5.9) |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(17.5.7) |
||||||||
|
|
+ Fγμν (x)Cγαβδ4 (x − y) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
+ |
1 F |
−δ |
|
|
|
|
|
∂ |
|
|
|
+ C A |
|
|
|
I F |
−δ |
|
|
|
|
|
∂ |
|
|
|
|
+ C A |
|
|
|
I |
δ |
4 |
(x − y) , |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(y) |
|
||||||||||||||||||||||||||||||||||
|
|
ξ |
H |
|
|
|
∂ μ |
|
|
|
|
|
|
∂ |
|
|
|
ν |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
γα |
|
|
|
|
γδα δμ |
|
|
K G |
|
|
|
γβ |
|
|
|
|
|
|
|
|
|
γεβ |
|
εν |
|
|
J |
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
G |
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
J |
H |
|
|
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
K |
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Dψ |
|
|
|
≡ |
|
F |
−γ μ |
|
|
∂ |
|
|
− it A/ |
|
(y) + mI |
δ4 |
(x − y) , |
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
G |
|
|
|
μ |
|
|
|
(17.5.8) |
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xk,yl |
|
|
|
|
|
|
∂y |
|
|
|
|
α |
|
α |
|
|
|
|
|
|
|
|
|
|
|
J |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
H |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
K kl |
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
ω |
|
|
|
|
|
|
F |
|
|
|
|
|
|
|
|
|
∂ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
I F |
|
|
|
|
|
|
|
|
|
|
∂ |
|
|
|
|
|
|
|
|
λ |
|
|
I |
|
4 |
|
|
|||||
D |
|
|
≡ − |
|
|
|
−δ |
|
|
|
|
|
|
|
|
|
+ C A (x) |
|
|
−δ |
|
|
|
|
|
|
|
|
|
|
+ C A |
|
(y) |
δ |
|
(x − y) . |
||||||||||||||||||||||||||||||
|
|
H |
|
|
|
|
∂x |
λ |
|
|
|
|
|
|
|
∂y |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
xα,yβ |
|
|
|
|
|
|
|
|
γα |
|
|
|
γδα |
|
|
δλ |
|
|
|
K G |
|
|
|
γβ |
|
|
|
|
|
|
γεβ |
|
ε |
|
|
J |
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
G |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
J |
H |
|
|
|
|
|
|
|
|
λ |
|
|
|
|
|
K |
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(Знаки «минус» перед ∂/∂x è ∂/∂y исчезают после интегрирования
по частям.)
Однопетлевой вклад в эффективное действие дается (как в разделе 16.2) выражением:
17.5. Однопетлевое вычисление... |
141 |
expdiΓ(1LOOP)[A]i z |
b∏ dA′gb∏ dψ′gb∏ dψ′gb∏ dω′gd∏ dω′* i |
|
1PI |
|
|
× expdiIQUAD[A′, ψ′, ψ′, ω′, ω′* ; Ai |
(17.5.10) |
|
(DetDA )-1/2(DetDy )+1(DetDw )+1. |
|
(Показатели степени –1/2 и –1 возникают потому, что A′ — действительное бозонное поле, а ψ′, ψ′, ω′ è ω*′ – различные ферми-
онные поля.) В общем случае вычисление подобных детерминантов — далеко не простая задача. Однако она сильно упрощается для случая постоянных внешних полей, когда все D можно диагонализовать, перейдя в импульсное пространство.
Поэтому рассмотрим случай постоянного фонового поля Aαμ.
В неабелевых калибровочных теориях такое постоянное поле невозможно устранить калибровочным преобразованием, что видно по ненулевым значениям различных калибровочно ковариантных полей:
|
F |
|
= C |
|
A |
|
A |
gn |
, |
|
|
(17.5.11) |
||
|
amn |
abg |
|
bm |
|
|
|
|
|
|
||||
D F |
|
= |
C |
C |
|
A |
el |
A A |
gn |
, |
(17.5.12) |
|||
l dmn |
|
dea |
abg |
|
|
bm |
|
|
и т. д. Лоренцовская и калибровочная инвариантности указывают, как выразить слагаемое в Γ[A] данной размерности в виде интегра-
ла от конечного числа локальных функций от Fαμν, DλFαμ è ò. ä.
Коэффициенты при слагаемых в этом выражении можно найти, сравнив вклад этих слагаемых в Γ[A] при постоянном фоновом поле Aαμ с результатами разложения по теории возмущений.
С помощью обычного нормированного фурье-преобразования перейдем для каждой из «матриц» DA, Dψ è Dω к импульсному пред-
ставлению:
D |
= |
X |
d4x |
e-iq×x X |
d4 y |
eip×yD |
(17.5.13) |
|
|
||||||
q...,p... |
|
Y |
Y |
(2π)2 |
x...,y... |
||
|
|
Z (2π)2 |
Z |
|
|
При постоянном А имеем: |
|
|
|
D |
= δ4 (p − q)M |
(q) , |
(17.5.14) |
q...,p... |
...,... |
|
|
142 |
Глава 17. Перенормировка калибровочных теорий |
где ... означает дискретные индексы, а М — конечные зависящие от q матрицы
MαμA ,βν (q) = ημν e−iqλδγα + AδλCγδα jeiqλδγβ + Aε λCγεβ j |
|
|
− e−iqνδγα + AδνCγδα jeiqμδγβ + AεμCγεβ j |
|
|
+ FγμνCγαβ |
|
(17.5.15) |
+ e−iqμδγα + AδμCγδα jdiqνδγβ + Aε νCγεβ i / ξ |
||
+ слагаемые с ε, |
|
|
Mklψ (q) = biq/ − itα A/ α + mg |
+ слагаемые с ε, |
(17.5.16) |
|
kl |
|
Mαβω (q) = e−iqλδγα + AδλCγδα jeiqλδγβ + Aε |
λCγεβ j |
(17.5.17) |
+слагаемые с ε,
ñFαμν, определенными соотношением (17.5.11). Тогда из (17.5.10) имеем
iΓ(1LOOP) [A] = − 1 ln DetDA + ln 2
= − 1 Tr ln DA + Tr 2
= δ4 (p − p)XY d4qLM− 1 tr ln MA (q)
Z N 2
DetDψ + ln DetDω
ln Dψ + Tr ln Dω
+ tr ln Mψ (q) + tr ln Mω (q)OP .
(17.5.18)
Q
В последней строке (17.5.18) мы обозначили следы символом tr, а не Tr (и будем делать это в оставшейся части раздела), для того, чтобы подчеркнуть, что это обычные следы конечных матриц, а не интегральных операторов.
Так как нашей целью является вычисление бесконечного множителя LA, стоящего перед слагаемыми FF в эффективном действии, выделим в (17.5.18) слагаемое четвертой степени по фоновому полю А. Для этого удобно разбить каждую матрицу М на слагаемые Mn, содержащие n = 0, 1, 2 степеней А:
M = M0 + M1 + M2 . |
(17.5.19) |