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

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 29.06.2024

Просмотров: 1386

Скачиваний: 1

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

23.3. Монополи

595

теориях 18 в ранний момент времени t размер горизонта составляет величину порядка t d (GNT4)–1/2 (ãäå GN g (1019 ÃýÂ)–2 — ньютонова постоянная), так что плотность числа монополей, родившихся в этот момент, было бы порядка t–3 d (GNM4)3/2, что меньше плотности числа фотонов M3 при Т d М на множитель порядка (GNM2)3/2. Ïðè Ì d 1015 ГэВ этот множитель порядка 10–12. Если монополи не находят друг друга и не аннигилируют, то это отношение должно оставаться примерно тем же до сегодняшнего дня, но при этом на каждый нуклон сегодня приходится примерно 109 фотонов микроволнового излучения, следовательно, на нуклон должно приходиться по меньшей мере 10-3 монополей. Это находится в разительном противоречии с наблюдениями. Указанный потенциальный парадокс был одной из причин появления инфляционных космологических моделей 19, в рамках которых существует период экспоненциального расширения Вселенной. Если это расширение произошло до образования монополей, оно очень сильно увеличило бы размер горизонта, если же оно произошло после образования монополей (но до периода вторичного нагревания), то резко уменьшилась бы плотность монополей.

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

* * *

Выше мы рассматривали только монополи, связанные со спонтанным нарушением односвязной калибровочной группы G. Возникает следующий вопрос. Для каждой группы Ли G, односвязна она или нет, существует односвязная группа`G с той же алгеброй Ли,

известная как накрывающая группа группы G. (Примеры см. в разделе 2.7.) Всякая неодносвязная группа имеет меньше представлений, чем ее накрывающая группы (например, двусвязные группы SO(n) имеют только скалярные, векторны и тензорные представления, в то время, как их накрывающие группы Spin(n) имеют вдобавок спинорные представления). Если дело обстоит так, что теория не содержит полей, принадлежащих дополнительным представле-


596

Глава 23. Протяженные полевые конфигурации

ниям накрывающей группы, можем ли мы по желанию рассматривать в качестве калибровочной группы теории либо неодносвязную группу G, либо ее накрывающую группу`G? В частности, зависит

ли список возможных монополей от того, содержит ли теория только поля, преобразующиеся как представления неодносвязной группы G, или дополнительные поля, реализующие представления ее накрывающей группы`G? Например, в оригинальной модели Джор-

джи–Глешоу 12 содержались только скалярные поля, принадлежавшие три-векторному представлению SO(3), но в модель входили и фермионы, принадлежавшие спинорным представлениям накрывающей группы Spin(3) = SU(2). Изменятся ли разрешенные значения магнитного заряда монополя, если добавить скалярные поля, принадлежащие спинорным представлениям SU(2)? Изменятся ли эти значения, если убрать фермионы?

Ответ заключается в том, что список возможных монополей не зависит от того, говорим ли мы, что калибровочной группой является неодносвязная группа G или ее накрывающая группа`G, è

поэтому он не изменяется, если мы добавим или уберем поля, принадлежащие представлениям`G, которые не являются представле-

ниями G. Как мы видели в разделе 23.1, в общем случае топологически стабильные подобные монополям конфигурации классифицируются по элементам группы π2(G/H). Согласно приведенным

âприложении В к этой главе результатам, когда H погружена в G,

эта гомотопическая группа состоит из тех элементов π1(H), которые отвечают тривиальному элементу π1(G). Но если мы заменяем G ее накрывающей группой `G, мы также заменяем Н другой подгруппой`Н, поскольку, когда Н погружено в`G, некоторые из петель в

Н не возвращаются в базовую точку. Это как раз те петли, которые

не становятся тривиальными при погружении Н в G, так что π2(G/ H) = π1(H). Таким образом, до тех пор, пока речь идет о монополях,

мы можем с тем же успехом говорить, что калибровочной группой является не G, а`G.

Например, пока рассматриваются скалярные поля, можно счи- тать, что калибровочной группой модели Джорджи–Глешоу является двусвязная группа SO(3), а не ее односвязная накрывающая группа SU(2). Тогда ненарушенной подгруппой является SO(2),

âкоторой мы отождествляем преобразования, отличающиеся вра-

щением на 360°. Таким образом, группа π1(SO(2)) включает петли, идущие от единичного элемента к вращению на 360°. Однако, если


23.3. Монополи

597

SO(3) погружена в SU(2), подобные пути уже не будут петлями. Но группа π2(SO(3)/SO(2)) отличается от группы π1(SO(2)):

когда SO(3) погружается в SU(2), эта группа исключает гомотопи- чески нетривиальные петли, т. е. как раз те петли, которые идут от единичного элемента к вращению на 360°. Таким образом, π2(SO(3)/

SO(2)) есть U(1) подгруппа группы SU(2), так, как будто с самого начала калибровочной группой теории была группа SU(2).

Всегда удобно считать, что калибровочная группа G, связанная с любой полупростой калибровочной алгеброй, является односвязной накрывающей группой, так что можно использовать простой результат: π2(G/H) = π1(H). Как мы только что видели, в этом

случае свойства связности Н фиксируются ее погружением в G, или, точнее, погружением алгебры Ли группы Н в алгебру Ли группы G. Например, калибровочная алгебра SU(3) может быть спонтанно нарушена либо в подалгебру SU(2), относительно которой фундаментальное представление SU(3) преобразуется как дублет плюс синглет, либо в подалгебру SO(3), относительно которой фундаментальное представление SU(3) преобразуется как три-вектор. В первом случае у нас нет возможности считать, что ненарушенная подгруппа есть SO(3); так как π1(SU(2)) = 0, монополей в данном

случае нет. Во втором случае, в качестве ненарушенной калибровочной группы следует рассматривать не SU(2), а SO(3), так что в теории есть конфигурации типа монополей, которые классифицируются согласно элементам группы π1(SO(3)) = Z2. На природу не-

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

В частности, рассуждения, которые привели к условию квантования Дирака, показывают, что в любой теории, в которой алгебра Ли спонтанно нарушена до подалгебры, включающей оператор электрического заряда, разрешенные магнитные заряды являются целыми кратными обратной величины наименьшего электрического заряда, появляющегося в представлениях накрывающей группы G, независимо от того, существуют ли частицы такого заряда в теории на самом деле. Если алгебра G сама содержит генератор U(1), то мы должны рассматривать накрывающую группу этой U(1), которая является некомпактной группой трансляций вдоль


598

Глава 23. Протяженные полевые конфигурации

действительной оси. Если такой U(1) генератор возникает как слагаемое в операторе электрического заряда, как это имеет место в стандартной электрослабой теории, то в представлениях накрывающей группы нет минимального электрического заряда, а следовательно, нет и монополей.

23.4. Интегральный инвариант Картана–Маурера

Большую помощь в понимании топологии различных компактных многообразий оказывает то, что часто существует топологи- чески инвариантная величина, которую можно записать как интеграл по многообразию. Это окажется важными при обсуждении инстантонов в следующем разделе, кроме того, мы уже использовали этот факт при изучении членов Весса–Зумино–Виттена в разделах 19.8 и 22.7.

Рассмотрим отображение произвольного компактного многообразия S нечетной размерности d с координатами q1, q2, ..., qd на многообразие М матриц g(q1, q2, ..., qd) ñ Det g ¹ 0. (Для интересую-

щих нас приложений обычно S является сферой Sd, а g — элементами группы Ли G в некотором представлении.) Определим функционал g(q), известный как форма Картана–Маурера:

I [g] = z dq1dq2Kdqd ei1i2Kid

R

¶g(q)

1(q)

¶g(q)

´ TrSg

1(q)

g

 

¶qi2

T

 

¶qi1

 

 

1(q)

¶g(q) U

(23.4.1)

Kg

V ,

 

 

¶qid W

 

ãäå ei1i2Kid — полностью антисимметричная величина с e12...d = 1. Èç

òîãî, ÷òî ε i1i2Kid = −(1)d ε i2Kid i1 , следует, что I [g] обращается в нуль,

когда S четномерно, поэтому ограничимся рассмотрением случая нечетного d. Полезность формы Маурера–Картана вытекает из ряда ее примечательных свойств.

Во-первых, этот интеграл не зависит от координатной системы, использованной для параметризации многообразия S. Это довольно очевидно следует из того, что ei1i2Kid есть контравариантная

тензорная плотность, в том смысле, что


∂θi1
∂θi2

23.4. Интегральный инвариант Картана–Маурера

599

i i

Ki

∂θ′j1 ∂θ′j2

 

∂θ′jd

F

∂θ′ I

j j

Kj

d .

ε 1 2

 

d

K

 

= DetG

J

ε 1 2

 

 

 

∂θi1 ∂θi2

 

∂θid

H

∂θ K

 

 

 

Во-вторых, интеграл (23.4.1) инвариантен также относительно малых деформаций отображения S ¬ M. используя свойства следа, видим, что в результате инфинитезимального изменения g g + δg функции g(θ) изменение в каждом множителе g–1g/∂θi â (23.4.1)

вносит один и тот же вклад в изменение I [g]:

δI [g] = dz dθ1dθ2Kdθd εi1i2Kid

× TrR 1(θ) g(θ) 1(θ) g(θ)

Sg g

T

F

1

 

g(θ)I U

KδG g

 

(θ)

 

J V ,

 

 

H

 

 

∂θid K W

Далее, последний множитель в следе равен

F

1

 

g(θ) I

 

1

 

1

 

g(θ)

 

1

 

∂δg(θ)

δG g

 

(θ)

 

J

= −g

 

(θ)δg(θ)g

 

(θ)

 

+ g

 

(θ)

 

 

 

 

 

 

 

 

H

 

 

∂θid K

 

 

 

 

 

∂θid

 

 

 

∂θid

= g1(θ)

dδg(θ)g1(θ)i g(θ) .

 

∂θid

 

 

После интегрирования по частям производная ∂θid при действии на частные производные g(θ)∂θin не дает вклада, поскольку εi1i2Kid антисимметрична. Остающиеся d – 1 членов, в которых @ действует на g–1(θ), все равны друг другу, не считая переменного

знака, поэтому, поскольку их четное число, сумма этих членов равна нулю.

Наконец, обратимся к частному случаю, когда S есть сфера Sd. Поскольку I[g] инвариантен относительно малых вариаций g(θ),

этот инвариант можно рассматривать как функцию I(с) только гомотопического класса с, которому принадлежит g(θ). Интегралы I(c)

(или, строго говоря, exp{I(c)}) реализуют представление гомотопи- ческой группы πd(M) в том смысле, что

I bca × cb g = I (ca ) + I (cb ) .

(Åñëè ga(θ) è gb(θ) — элементы гомотопических классов ca è cb соответственно, то гомотопический класс ca × cb состоит из отображе-

ний, гомотопически эквивалентных отображению