ПРАВИТЕЛЬСТВО РОССИЙСКОЙ ФЕДЕРАЦИИ
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ
ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО
ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ
«САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ»
(СПбГУ)
Кафедра физики высоких энергий и элементарных частиц
Направление «Физика»
Неабелевы струны в 𝒩 = 2 суперсимметричной
квантовой хромодинамике, деформированной
массой присоединённой материи
Магистерская диссертация студента
Иевлева Евгения Альбертовича
Научный руководитель:
д.ф.-м.н., проф. Юнг А.В.
Рецензент:
канд.ф.-м.н. Кудрявцев В.А.
Санкт–Петербург
2016
Содержание
Введение
3
1 Основная модель
5
2 Бозонные решения в четырёхмерной теории
7
3 Фермионные ноль-моды: суперориентационный
3.1 Решения недеформированной теории . . . . . . .
3.2 Разложение по малому параметру 𝜇 . . . . . . . .
3.3 Квазинулевые моды . . . . . . . . . . . . . . . . .
сектор
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
9
10
13
18
4 Эффективное действие в ориентационном секторе
21
5 Фермионные ноль-моды: супертрансляционный
5.1 Супертрансляционные ноль-моды 𝒩 = 2 теории
5.2 Ненарушенные генераторы . . . . . . . . . . . . .
5.3 𝒩 = 1 супертрансляционный сектор . . . . . . . .
5.3.1 Преобразования суперсимметрии . . . . .
5.3.2 Область промежуточных значений r . . .
5.3.3 Область малых r . . . . . . . . . . . . . . .
.
.
.
.
.
.
23
23
24
25
26
26
28
6 Эффективное действие в пределе больших 𝜇
6.1 Фермионная часть трансляционного сектора . . . . . . . . . . . . .
6.2 Полное эффективное действие для струны . . . . . . . . . . . . . .
28
28
29
Заключение
30
Приложение
A.1 Уравнения для супертрансляционных компонент . . . . . . . . . .
31
31
2
сектор
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Введение
Хорошо известно, что сильные взаимодействия обладают феноменом конфайнмента. Этот факт следует из реальных экспериментальных наблюдений, а также
из численных расчётов, но до сих пор никому не удалось вывести это свойств
из первых принципов теории сильных взаимодействии. Существует мнение, что
этот эффект существенно непертурбативный. В случае суперсимметричных теорий, однако, кое-что может быть вычислено в режиме сильной связи даже если
полная теория нерешаема. Это происходит, когда в теории есть БПС сектор.
Примером такой теории является SU(𝑁 )×U(1) 𝒩 = 2 квантовая хромодинамика, и изучение этой теории помогает проникнуть в суть несуперсимметричной
квантовой хромодинамики и других теорий.
Общая идея следует из рассмотрения эффекта Мейснера в сверхпроводнике. Вообще говоря, сверхпроводник выталкивает электромагнитное поле из себя. Однако, если приложить сильное магнитное поле перпендикулярно тонкой
сверхпроводящей пластине, то в ней возникнут тонкие потоковые трубки (Абрикосовские струны). Эффективно эти трубки связывают между собой монополи,
сидящие на поверхности сверхпроводника. Такие вихри живут в (Хиггсоподобном) вакууме сверхпроводника. Замечательно, что если (гипотетически) сделать
сверхпроводящую пластину толще, то потоковые трубки не рвутся; вместо этого
они удлиняются, и их энергия пропорциональна их длине.
Несложно увидеть некоторое сходство с ситуацией в квантовой хромодинамике, где энергия трубки хромоэлектрического потока между кварками примерно пропорциональна её длине. И действительно, т’ Хофт [1] и Мандельштам [2]
предложили гипотезу дуального эффекта Мейснера, которая могла бы объяснить цветовой конфайнмент в неабелевых калибровочных теориях. Неабелевы
струны естественно связываются с удержанием монополей [3, 4].
Решение Зайберга-Виттена [5] 𝒩 = 2 суперсимметричной теории Янга-Миллса
показало, что в этой теории присутствуют безмассовые монополи, и что добавление небольшой (𝒩 = 2 )-нарушающей деформации ведёт к их конденсации, образуя струны, несущие хромоэлектрический поток. Однако оказывается, что эти
струны являются абелевыми, и что детали конфайнмента в этой теории далеки
от реальной хромодинамики. Нужна была модель с неабелевым конфайнментом.
Одна из таких моделей описана, к примеру, в обзоре [3, 4]. Авторы рассматривают четырёхмерную 𝒩 = 2 теорию Янга-Миллса с калибровочной группой SU(𝑁 )×U(1) (далее — основная теория, теория в балке) с 𝐹 -членом ФайеИлиопулоса (ФИ) и 𝑁𝑓 = 𝑁 ароматами фундаментальной материи. В этой теории образуются монополи, подверженные конфайнменту; они «дуальны кваркам
в том же смысле, что трубки магнитного потока дуальны трубкам электрического потока». Эти монополи соединены неабелевыми струнами, которые обладают,
кроме трансляционных (и супертрансляционных) также и ориентационными (и
суперориентационными) степенями свободы, связанными с вращениями цвето3
вых потоков внутри неабелевой группы, см. [6, 7, 8, 9] и обзоры [3, 4, 10, 11, 12].
В работе [13] была рассмотрена похожая модель с ФИ 𝐷-членом и нулевыми
массами кварков для случая калибровочной группы 𝑈 (2), в [14] — для 𝑈 (𝑁 ) при
произвольном 𝑁 . Однако главная особенность этой работы в том, что авторы
рассматривают деформацию теории, нарушающую 𝒩 = 2 до 𝒩 = 1 . Главный
результат заключается в выражении для эффективного действии в низкоэнергетическом пределе на мировой поверхности струны: полученная модель получила
название «гетеротическая 𝒩 = 2 сигма-модель с CP(𝑁 − 1) пространством с
бозонными полями и дополнительным правым фермионным полем, взаимодействующим специальным образом с фермионными полями 𝒩 = (2, 2) CP(𝑁 − 1)
модели.»
Задача, рассмотренная в последней работе, носит в некотором смысле академический характер, так как в ней ФИ 𝐷-член был введён искусственно. Кроме того, при такой постановке задачи было бы невозможно ввести массы кварков, так
как иначе в теории не существовали бы 1/2 БПС-решения. Напротив, в настоящей работе я рассматриваю SU(𝑁 )×U(1) теорию с ненулевыми массами кварков,
деформируя её введением массового члена для присоединённой материи с параметром деформации 𝜇. Оказывается, что этот случай существенно отличается от
рассмотренного в [14]. Больше всего это различие проявляется в эффективной
теории: ориентационный и трансляционный секторы полностью расщепляются,
в то время как суперориентационный сектор «поднимается» (становится массивным) и вовсе уходит из эффективной теории.
Из физических соображений рассматривается только деформация массовым
членом присоединённой материи. В 𝒩 = 2 квантовую хромодинамику помимо
кварков и глюонов входят также присоединённые поля фермионов 𝜆1 , скалярные кварки, а также дополнительный присоединённый мультиплет полей 𝑎, 𝑎𝑎
и 𝜆2 (более подробно это объяснено в главах 1 и 3). При деформации теория переходит в 𝒩 = 1 КХД, в которой присоединённый мультиплет уже отсутствует.
Более того, за счёт конденсации скалярных полей 𝑎, 𝑎𝑎 теория 𝒩 = 2 абелизуется,
так что отщепление этих полей ведёт к настоящей неабелевой теории. Разумеется, 𝒩 = 1 КХД является более близкой к реальной квантовой хромодинамике,
нежели 𝒩 = 2 , и её изучение в непертурбативном режиме имеет большое теоретическое значение для понимания физики самой квантовой хромодинамики. Это
является важнейшей мотивацией данной работы.
Основные результаты, полученные в данной работе, следующие:
1. Выведены суперориентационные моды неабелевой струны. Показано, что
они становятся ненулевыми модами при введении 𝜇- деформации.
2. Выведена низкоэнергетическая эффективная двумерная теория для суперориентационных мод при малых деформациях.
3. Полечены супертрансляционные моды струны в пределе больших деформаций.
4
4. Выведена низкоэнергетическая эффективная двумерная теория на неабелевой струне в пределе больших деформаций. Показано, что её фермионный
сектор сводится к супертрансляционному.
Структура данной работы следующая. В главе 1 рассматривается основная
𝒩 = 2 модель. В главе 2 представлено решение для неабелевой бозонной струны.
Эти две главы содержат в большей степени уже ранее полученные результаты. В
главе 3 я вывожу суперориентационные нулевые моды, начиная с 𝒩 = 2 теории
и переходя затем к деформированному 𝒩 = 1 случаю; эффективное действие на
мировом листе представлено в главе 4. Глава 5 посвящена выводу супертрансляционных нулевых мод, снова начиная с недеформированной теории и затем
включая деформацию. Эффективное действие в супертрансляционном секторе
выводится в главе 6. В конце этой главы представлен также основной результат:
эффективное действие в пределе большого параметра деформации 𝜇. Выводы
представлены в Заключении. Некоторые детали вычислений суперориентационных нулевых мод приведены в Приложении.
1
Основная модель
Основной моделью, с которой начинается работа, является 𝒩 = 2 суперсимметричная теория Янга-Миллса с калибровочной группой SU(𝑁 )×U(1). В данной
главе я представлю лишь необходимые сведения, за деталями ссылаясь на [3, 4].
Бозонная часть действия рассматриваемой теории выглядит следующим образом: 1
∫︁
𝑆bos =
⎧
(︀ SU(𝑁 ) )︀2
1 (︀ U(1) )︀2
⎪ 1
+ 2 𝐹𝜇𝜈
+
𝑑 𝑥⎪
⎩ 2 Tr 𝐹𝜇𝜈
2𝑔2
𝑔1
4
(1.1)
⃒2
⃒
⃒
⃒
⃒
⃒
4 ⃒⃒ U(1) ⃒⃒2
2
⃒
SU(𝑁 ) ⃒2
𝐴⃒
𝐴 ⃒2
⃒
⃒
Tr ∇𝜇 𝑎
+ 2 𝜕𝜇 𝑎
+ ∇𝜇 𝑞
+ ⃒∇𝜇 𝑞̃︀ ⃒ +
𝑔22
𝑔1
⎫
𝑉 (𝑞 𝐴 , 𝑞̃︀𝐴 , 𝑎SU(𝑁 ) , 𝑎U(1) )⎭ .
Здесь ∇𝜇 есть ковариантная производная в соответствующем представлении:
∇adj
= 𝜕𝜇 − 𝑖 [𝐴𝑎𝜇 𝑇 𝑎 , · ] ,
𝜇
∇fund
= 𝜕𝜇 − 𝑖 𝐴U(1)
− 𝑖 𝐴𝑎𝜇 𝑇 𝑎 ,
𝜇
𝜇
1
2
2
Здесь и далее используется евклидова нотация, в которой 𝐹𝜇𝜈
= 2𝐹0𝑖
+ 𝐹𝑖𝑗2 , (𝜕𝜇 𝑎)2 =
2
2
𝛼𝛼
˙
(𝜕0 𝑎) +(𝜕𝑖 𝑎) , и т.д. Кроме того, сигма-матрицы определяются как 𝜎 = (1, −𝑖⃗𝜏 ), 𝜎
¯𝛼𝛼
𝜏 ),
˙ = (1, 𝑖⃗
где ⃗𝜏 есть набор из трёх матриц Паули. Поднятие и опускание индексов производится при
помощи антисимметричного тензора 𝜀12 = 𝜀1̇2̇ = 1, 𝜀12 = 𝜀1̇2̇ = −1. Такие же правила поднятия
и опускания индексов распространяются и на SU(𝑁 ) индексы ароматов 𝑓 , 𝑔 и т.д.
5
и нормировка генераторов группы SU(𝑁 ) выбрана в соответствии с правилом
)︀
(︀
Tr 𝑇 𝑎 𝑇 𝑏 = (1/2) 𝛿 𝑎𝑏 .
Потенциал 𝑉 в действии выводится из суперпотенциала
}︁
√ {︁
𝒲𝒩 =2 =
2 𝑞̃︀𝐴 𝒜U(1) 𝑞 𝐴 + 𝑞̃︀𝐴 𝒜𝑎 𝑇 𝑎 𝑞 𝐴 + 𝑚𝐴 𝑞̃︀𝐴 𝑞 𝐴 ,
(1.2)
включающего в себя присоединённые 𝒜U(1) и 𝒜SU(𝑁 ) = 𝒜𝑎 𝑇 𝑎 , являющиеся 𝒩 =
2 суперпартнёрами U(1) и SU(𝑁 ) калибровочных мультиплетов. 𝑞 𝐴 и 𝑞̃︀𝐴 есть
мультиплеты кварков.
Массовый член для присоединённых полей, нарушающий суперсимметрию,
происходит от суперпотенциала
√
)︀2
(︀
𝜇2 𝑎 2
+
2𝑁 𝜇1 𝒜U(1)
𝒲𝒩 =1 =
(𝒜 ) .
(1.3)
2
Нашей целью является предел, когда значения параметров 𝜇1 и 𝜇2 велики.
Потенциал 𝑉 в (1.1) даётся суммой 𝐹 и 𝐷 членов,
𝑉 (𝑞 𝐴 , 𝑞̃︀𝐴 , 𝑎SU(𝑁 ) , 𝑎U(1) ) =
=
𝑔22
2
(︂
1 𝑎𝑏𝑐 𝑏 𝑐
𝑓 𝑎 𝑎 + 𝑞 𝐴 𝑇 𝑎 𝑞 𝐴 − 𝑞̃︀𝐴 𝑇 𝑎 𝑞̃︀𝐴
𝑔22
)︂2
𝑔12
(𝑞 𝐴 𝑞 𝐴 − 𝑞̃︀𝐴 𝑞̃︀𝐴 )2
(1.4)
8
⃒
1 𝜕𝒲𝒩 =1 ⃒⃒2
1 𝜕𝒲𝒩 =1 ⃒⃒2
𝑔12 ⃒⃒
2⃒
𝑎 𝐴
𝐴
+ 2𝑔2 ⃒𝑞̃︀𝐴 𝑇 𝑞 + √
⃒𝑞̃︀𝐴 𝑞 + √
⃒ +
⃒
2
2 𝜕𝑎𝑎
2 𝜕𝑎U(1)
{︃⃒(︂
)︂ ⃒2
𝑁
∑︁
⃒ U(1)
⃒
𝑚𝐴
𝑎 𝑎
⃒
+ 2
+ √ + 𝑎 𝑇 𝑞 𝐴 ⃒⃒ +
⃒ 𝑎
2
𝐴=1
+
⃒(︂
)︂ ⃒2 }︃
⃒ U(1)
⃒
𝑚𝐴
𝑎 𝑎
𝐴⃒
⃒ 𝑎
√
+
+
𝑎
𝑇
𝑞
̃︀
,
⃒
⃒
2
где подразумевается суммирование по повторяющимся флейворным значкам 𝐴.
Некоторые поля имеют ненулевое вакуумное среднее значение:
√︂ ⎛ 1 0 ...⎞
𝜉⎝
... ... ...⎠ = ⟨̃︀
𝑞 𝑘𝐴 ⟩
⟨𝑞 𝑘𝐴 ⟩ =
2
... 0 1
𝑘 = 1, ... 𝑁 ,
6
𝐴 = 1, ... 𝑁 ,
(1.5)
⎛
⎞
𝑚1 . . . 0
1
⟨Φ⟩ = − √ ⎝ . . . . . . . . . ⎠ ,
2
0 . . . 𝑚𝑁
(1.6)
где матрица присоединённых скалярных полей определена как
Φ = 𝑎 + 𝑇 𝑎 𝑎𝑎 .
(1.7)
Для простоты я рассматриваю случай одинаковых ненулевых масс кварков
𝑚1 = 𝑚2 = ... = 𝑚𝑁 ≡ 𝑚.
(1.8)
На протяжении данной работы также для простоты часто подразумевается
выполнение следующего тождества:
√︀
𝜇2 = 𝜇1 2/𝑁 ≡ 𝜇 ,
(1.9)
так что
𝒲𝒩 =1 = 𝜇Tr (Φ2 )
(1.10)
а параметр в уравнении (1.5) есть
𝜉 = 2𝜇𝑚 .
(1.11)
Ненулевое среднее (1.5) приводит к спонтанному нарушению как калибровочной, так и SU(𝑁 ) симметрий, но таким образом, что ненарушенной остаётся
их диагональная глобальная подгруппа:
U(𝑁 )gauge × SU(𝑁 )flavor → SU(𝑁 )𝐶+𝐹 .
(1.12)
Таким образом, в вакууме теории имеет место сцепление цвета и аромата.
2
Бозонные решения в четырёхмерной теории
В этой главе рассматривается четырёхмерная теория в пределе малых значений параметра 𝜇. В этом пределе массовый член для присоединённой материи
сводится к ФИ 𝐹 -члену (в лидирующем порядке по 𝜇) и не нарушает суперсимметрию. Решения для вихрей в этом случае совпадают с приведёнными в [3, 4],
и здесь я снова лишь приведу необходимые результаты.
Для полей скалярных кварков может быть использован следующий анзац:
1
𝑞 𝑘𝐴 = 𝑞¯˜𝑘𝐴 = √ 𝜙𝑘𝐴 ,
2
7
(2.1)
тогда как присоединённые поля 𝑎, 𝑎𝑎 могут быть положены равными их вакуумным средним (1.7). В таких обозначениях исходное бозонное действие приобретает черезвычайно простой вид:
{︂
∫︁
1
1 (︀ 𝑎 )︀2
4
𝐹𝜇𝜈 + 2 (𝐹𝜇𝜈 )2
𝑆= d𝑥
2
4𝑔2
4𝑔1
+ |∇𝜇 𝜙𝐴 |2 +
)︀2 𝑔 2 (︀
)︀2
𝑔22 (︀
𝜙¯𝐴 𝑇 𝑎 𝜙𝐴 + 1 |𝜙𝐴 |2 − 𝑁 𝜉 ,
2
8
Решение для струны в этом случае идентично выведенному в [3, 4] и может
быть записано как
(︀
)︀
𝜙 = 𝜑2 + 𝑛𝑛 𝜑1 − 𝜑2
⎫
)︀
(︀
)︀ ⎧
1 (︀
⎩
=
𝜑1 + (𝑁 − 1)𝜑2 + 𝜑1 − 𝜑2
𝑛𝑛 − 1/𝑁 ⎭ ,
𝑁
⎧
⎫
𝑥𝑗
SU(𝑁 )
⎩
= 𝜀𝑖𝑗 2 𝑓𝑁 (𝑟) 𝑛𝑛 − 1/𝑁 ⎭ ,
𝐴𝑖
(2.2)
𝑟
U(1)
𝐴𝑖
=
𝑥𝑗
1
𝜀𝑖𝑗 2 𝑓 (𝑟) .
𝑁
𝑟
Здесь индекс 𝑖 пробегает значения 1, 2, а 𝑛𝑙 есть ориентационные переменные,
параметризующие вращения матрицами из SU(𝑁 ). Если, скажем,
⎧
⎫
𝜑2 (𝑟) 0
...
0 ⎪
⎪
⎪
⎪
⎪
⎪ ... ... ...
⎪
... ⎪
⎪
⎪
⎪
𝜙 = 𝑈 ⎪
𝑈 −1 ,
(2.3)
⎪
⎪
⎪
⎪
0
.
.
.
𝜑
(𝑟)
0
2
⎪
⎪
⎩
⎭
0
0
. . . 𝜑1 (𝑟)
тогда 𝑛𝑙 определяются при помощи соотношения
⎧
⎫
1 ... 0
0
⎪
⎪
⎪
⎪
⎪
⎪
⎪
⎪
1
1
.
.
.
.
.
.
.
.
.
.
.
.
⎪
⎪
⎪
𝑈 ⎪
· 1𝑖 𝑙 ,
𝑈 −1 = − 𝑛𝑖 𝑛𝑙 +
⎪
⎪
⎪
0
.
.
.
1
0
𝑁 ⎪
𝑁
⎪
⎪
⎩
⎭
0 0 . . . −(𝑁 − 1)
(2.4)
где в левой части использованы матричные обозначения. Эти параметры удовлетворяют ограничениям
𝑛𝑙 · 𝑛𝑙 = 1 ,
(2.5)
которые есть не что иное как CP(𝑁 -1) условие.
Функции 𝜑1 (𝑟) и 𝜑2 (𝑟) определяют профили скалярных кварков в плоскости,
ортогональной струне в состоянии покоя, в то время как 𝑓 (𝑟) и 𝑓𝑁 𝐴 (𝑟) есть профили калибровочных полей. Они удовлетворяют уравнениям первого порядка,
8
слеующим из уравнений БПС после подстановки вышеуказанного
⎫
1 ⎧
⎩
𝜕𝑟 𝜑1 (𝑟) −
𝑓 (𝑟) + (𝑁 − 1)𝑓𝑁 (𝑟)⎭ 𝜑1 (𝑟) = 0,
𝑁𝑟
⎫
1 ⎧
⎩
𝜕𝑟 𝜑2 (𝑟) −
𝑓 (𝑟) − 𝑓𝑁 (𝑟)⎭ 𝜑2 (𝑟) = 0,
𝑁𝑟
⎫
𝑁 𝑔12 ⎧
⎩(𝑁 − 1)𝜑2 (𝑟)2 + 𝜑1 (𝑟)2 − 𝑁 𝜉 ⎭ =
𝜕𝑟 𝑓 (𝑟) − 𝑟
4
⎫
𝑔22 ⎧
2
2⎭
⎩
𝜕𝑟 𝑓𝑁 (𝑟) − 𝑟
𝜑1 (𝑟) − 𝜑2 (𝑟)
= 0.
2
Граничные условия выбираются следующим образом:
√︀
𝜉,
𝜑2 (∞) =
𝜑1 (0) = 0,
𝜑2 (0) ̸= 0,
𝜑1 (∞) =
𝑓𝑁 (0) = 1,
𝑓 (0) = 1,
𝑓𝑁 (∞) = 0,
𝑓 (∞) =
анзаца:
0,
(2.6)
√︀
𝜉,
0.
(2.7)
Предположим теперь что ориентационные модули 𝑛𝑙 больше не являются
постоянными параметрами решения, а слабо зависят от координат 𝑥0 , 𝑥3 на мировом листе струны. Тогда вертексное решение поменяется: компоненты 0, 3 калибровочного поля SU(𝑁 ), обращающиеся до этого в ноль, теперь будут принимать
нетривиальные значения:
)
𝐴SU(𝑁
= 𝑖 [ 𝑛𝑛, 𝜕𝜇 (𝑛𝑛) ] 𝜌(𝑟) ,
𝜇
𝜇 = 0, 3 .
Здесь 𝜌(𝑟) есть соответствующая профильная функция, которая может быть
определена при помощи процедуры минимизации [3, 4] и равняется
𝜌(𝑟) = 1 −
𝜑1
.
𝜑2
Подставляя бозонные анзацы в действие (1.1) и интегрируя по координатам
𝑥1 , 𝑥2 (координаты в ортогональной к струне плоскости), приходим к двумерной
CP(𝑁 -1) модели:
∫︁
}︁
{︁ ⃒ ⃒2
1+1
𝑆bos = 2𝛽
(2.8)
𝑑𝑡 𝑑𝑧 ⃒𝜕𝑛𝑙 ⃒ + (𝑛𝜕𝑘 𝑛)2
с константой взаимодействия
𝛽 =
3
2𝜋
.
𝑔22
(2.9)
Фермионные ноль-моды: суперориентационный
сектор
В данной главе я рассматриваю нулевые моды, которые будут нужны для построения эффективного действия. Сперва рассматривается случай 𝒩 = 2 , затем
𝒩 = 1 теории в пределе малых значений параметра деформации.
9
3.1
Решения недеформированной теории
Для того, чтобы вывести фермионную часть эффективной теории, необходимо
получить ноль-моды исходной четырёхмерной теории. В случае числа цветов
𝑁 = 2 это было сделано в работе [6], и здесь я представляю обобщение на случай
произвольного 𝑁 .
Фермионная часть теории (1.1) записывается следующим образом:
4𝑖 U(1)
2𝑖
SU(𝑁 )
Tr 𝜆𝑓
𝒟𝜆
/ 𝑓 SU(𝑁 ) + 2 𝜆𝑓 𝜕/ 𝜆𝑓 U(1) + Tr 𝑖 𝜓 ∇𝜓
/ + Tr 𝑖 𝜓̃︀∇
/ 𝜓̃︀
2
𝑔2
𝑔1
⎧
⎫
√
U(1) 𝑓
U(1) 𝑓
U(1) ̃︀⎭
𝑓 U(1)
𝑓
̃︀
⎩
+ 𝑖 2 Tr 𝑞 𝑓 𝜆
𝜓 + 𝜓𝜆𝑓 𝑞 + 𝜓𝜆𝑓 𝑞 + 𝑞 𝜆𝑓 𝜓
ℒ4d =
⎫
⎧
√
̃︀ SU(𝑁 ) 𝑞 𝑓 + 𝜓𝜆SU(𝑁 ) 𝑞 𝑓 + 𝑞 𝑓 𝜆SU(𝑁 ) 𝜓̃︀⎭
+ 𝑖 2 Tr ⎩𝑞 𝑓 𝜆𝑓 SU(𝑁 ) 𝜓 + 𝜓𝜆
𝑓
𝑓
𝑓
(3.1)
)︂
(︂
)︂
(︂
√
√
𝑚
𝑚
𝐴
𝐴
U(1)
U(1)
SU(𝑁
)
SU(𝑁
)
+ √ + 𝑎
𝜓 + 𝑖 2 Tr 𝜓 𝑎
+ √ + 𝑎
+ 𝑖 2 Tr 𝜓̃︀ 𝑎
𝜓̃︀
2
2
√︂
⎧(︀
⎧
)︁2 ⎫
)︁2 ⎫
(︁
(︁
)︀
𝑁 ⎪(︀ 2 U(1) )︀2
U(1)
SU(𝑁 )
2 SU(𝑁 ) 2
⎪
⎪
⎪
⎭
⎩
⎭.
⎩
− 𝜇2 Tr
𝜇1
𝜆
− 2
𝜆
+ 𝜆2
+ 𝜆2
2
Производные с чертой, такие как ∇,
/̄ означают свёртку с 𝜎 𝜇𝛼𝛼
а не с 𝜎𝜇𝛼𝛼˙ . Для
˙
фермионов в пространстве цвет-флейвор используются матричные обозначения,
и следы берутся по соответствующим значкам. Индекс 𝑓 есть SU(2)𝑅 индекс
̃︀ Стоит отметить, что нарушающий суперсимметрию
𝒩 = 2 теории, и 𝑞 𝑓 = (𝑞, 𝑞).
массовы член присутствует только для 𝑓 = 2 калибровочных суперпартнёров.
Свёртка спинорных значков производится по следующим правилам:
𝜆𝜓 = 𝜆𝛼˙ 𝜓 𝛼˙ .
𝜆𝜓 = 𝜆𝛼 𝜓 𝛼 ,
10
Соответствующие уравнения Дирака записываются следующим образом:
√︂
⎧
⎫
√
𝑁
4𝑖 (︁ 𝑓 U(1) )︁
𝑈 (1)
𝑓
𝜕/ 𝜆
+ 𝑖 2 Tr ⎩𝜓𝑞 𝑓 + 𝑞 𝑓 𝜓̃︀⎭ − 4 𝛿2
𝜇1 𝜆2
= 0,
2
𝑔1
2
⎧
⎫
√
𝑖 (︁ 𝑓 SU(𝑁 ) )︁𝑎
)
⎩𝜓𝑇 𝑎 𝑞 𝑓 + 𝑞 𝑓 𝑇 𝑎 𝜓̃︀⎭ − 𝛿2𝑓 𝜇2 𝜆𝑎SU(𝑁
𝒟𝜆
/
2
Tr
= 0,
+
𝑖
2
𝑔22
⎧
{︂
}︂⎫
←
−
√ ⎪ {︀ 𝑓 U(1)
}︀
𝑚
⎪
𝐴
𝑓
SU(𝑁
)
U(1)
SU(𝑁
)
⎪
− 𝑖 𝜓∇
+ 𝜓̃︀ 𝑎
/ + 𝑖 2⎪
+𝜆
+ √ + 𝑎
⎩𝑞 𝑓 𝜆
⎭ = 0,
2
⎧
{︂
}︂ ⎫
}︁
√ ⎪{︁ U(1)
𝑚𝐴
⎪
SU(𝑁 )
𝑓
U(1)
SU(𝑁 )
̃︀
⎪
+ 𝜆𝑓
𝑞 + 𝑎
𝜓⎪
+ √ + 𝑎
𝑖∇
/ 𝜓 + 𝑖 2 ⎩ 𝜆𝑓
⎭ = 0,
2
(3.2)
⎫
⎧{︁
}︂
{︂
}︁
√ ⎪ U(1)
𝑚𝐴
⎪
SU(𝑁 )
⎪
𝑖∇𝜓
/ + 𝑖 2 ⎩ 𝜆𝑓
+ 𝜆𝑓
𝑞 𝑓 + 𝑎U(1) + √ + 𝑎SU(𝑁 ) 𝜓̃︀⎪
⎭ = 0,
2
⎧
{︂
}︂⎫
}︁
√ ⎪ 𝑓 {︁ U(1)
←
−
𝑚𝐴
SU(𝑁 )
U(1)
SU(𝑁 ) ⎪
̃︀
⎪
⎪
− 𝑖 𝜓∇
/ + 𝑖 2 ⎩𝑞 𝜆𝑓
+ 𝜓 𝑎
+ 𝜆𝑓
+ √ + 𝑎
⎭ = 0.
2
Рассматриваемое решение для струны есть 1/2 БПС; это означает, что половина суперзарядов в этой теории обнуляет решение (2.2). Оставшиеся суперзаряды генерируют нетривиальные моды (супертрансляционные моды), являющиеся
суперпартнёрами двух трансляционных мод.
Преобразования суперсимметрии четырёх мерной теории выглядят следующим образом:
𝛿𝜆𝛼𝑓 =
1
(𝜎𝜇 𝜎
¯𝜈 𝜖𝑓 )𝛼 𝐹𝜇𝜈 + 𝜖𝛼𝑝 𝐹 𝑚 (𝜏 𝑚 )𝑓𝑝 + . . . ,
2
1
𝑎
(𝜎𝜇 𝜎
¯𝜈 𝜖𝑓 )𝛼 𝐹𝜇𝜈
+ 𝜖𝛼𝑝 𝐹 𝑎𝑚 (𝜏 𝑚 )𝑓𝑝 + . . . ,
2
√
𝑘𝐴 𝛼𝑓
¯/𝛼𝛼
= 𝑖 2∇
+ ··· ,
˙ 𝑞𝑓 𝜖
𝛿𝜆𝑎𝛼𝑓 =
𝛿 𝜓¯˜𝛼𝑘𝐴
˙
√
¯/𝛼𝛼
𝛿 𝜓¯𝛼𝐴𝑘
= 𝑖 2∇
¯𝑓 𝐴𝑘 𝜖𝛼𝑓 + · · · .
˙
˙ 𝑞
(3.3)
ФИ 𝐹 -члены в этом выражении есть
𝐹 1 + 𝑖𝐹 2 = − 𝑖
)︀
𝑔12 (︀
Tr |𝜙|2 − 𝑁 𝜉 ,
4
𝐹3 = 0
(3.4)
для полей U(1), и
¯ 𝑎 𝜙) ,
𝐹 𝑎1 + 𝑖𝐹 𝑎2 = − 𝑖 𝑔22 Tr (𝜙𝑇
11
𝐹 𝑎3 = 0
(3.5)
для полей SU(𝑁 ). Точки в (3.3) обозначают слагаемые с присоединёнными скалярными полями и равны нулю на нашем решении для струны (в пределе равных
масс кварков), так как присоединённые поля равны своим вакуумным средним
(1.6).
Как уже было упомянуто выше, четыре суперзаряда этой теории действую
тривиально на статическое решение для струны. Для того чтобы сгенерировать
суперориентационные моды я следую работе [6]. Рассмотрим ориентационные
модули 𝑛𝑙 и предположим, что они слабо зависят от координат на мировом листе
струны. Тогда ориентационные ноль-моды могут быть сгенерированы преобразованиями суперсимметрии, ассоциированным с параметрами, подчиняющимися
условиям
𝜖21 = 𝜖22 ,
𝜖11 = −𝜖12 .
При помощи уравнений для профилей (2.6) легко приходим к
𝜓 𝛼𝐴𝑘
=
˙
2𝑖 𝛿𝛼˙2̇
𝜑21 − 𝜑22
· 𝑛𝑛 𝜕𝐿 (𝑛𝑛) · 𝜖21 ,
𝜑2
2
2
1̇ 𝜑1 − 𝜑2
𝜓̃︀𝑘𝐴
· 𝜕𝑅 (𝑛𝑛) 𝑛𝑛 · 𝜖12 ,
=
−
2𝑖
𝛿
𝛼˙
𝛼˙
𝜑2
𝜆11
SU(𝑁 )
= −2
𝜑1
𝑥1 − 𝑖 𝑥2
𝑓𝑁
· 𝑛𝑛 𝜕𝐿 (𝑛𝑛) · 𝜖21
2
𝜑2
𝑟
𝜆22
SU(𝑁 )
=
𝜑1
𝑥1 + 𝑖 𝑥2
𝑓𝑁
· 𝜕𝑅 (𝑛𝑛) 𝑛𝑛 · 𝜖12
𝜑2
𝑟2
𝜆12
SU(𝑁 )
= 𝜆11
2
SU(𝑁 )
𝜆21
,
SU(𝑁 )
= − 𝜆22
SU(𝑁 )
где верхние значки записаны в порядке 𝜆𝛼𝑓 , а производные
𝜕𝐿 = 𝜕0 − 𝑖 𝜕3 .
𝜕𝑅 = 𝜕0 + 𝑖 𝜕3 ,
В терминах двумерной суперсимметрии,
√
1
¯,
𝑖 2𝜕𝑅 (𝑛¯
𝑛)𝑛¯
𝑛 √ (𝜖12 − 𝜖11 ) = 𝜉𝑅 𝑛
2
√
1
𝑛)𝜕𝐿 𝑛¯
𝑛 √ (𝜖21 + 𝜖22 ) = 𝑛𝜉¯𝐿 ,
𝑖 2(𝑛¯
2
12
,
и ноль-моды могут быть переписаны в виде
𝜑21 − 𝜑22
· 𝑛𝜉¯𝐿 ,
𝜑2
𝜓 2̇𝐴𝑘 =
𝜑21 − 𝜑22
𝜓̃︀𝑘𝐴
=
−
· 𝜉𝑅 𝑛
¯,
1̇
𝜑2
𝜆11
SU(𝑁 )
=
𝑖
𝜑1
𝑥1 − 𝑖 𝑥2
𝑓𝑁
· 𝑛𝜉¯𝐿
𝜑2
𝑟2
𝜆22
SU(𝑁 )
= −𝑖
𝑥1 + 𝑖 𝑥2
𝜑1
𝑓𝑁
· 𝜉𝑅 𝑛
¯
𝜑2
𝑟2
𝜆12
SU(𝑁 )
= 𝜆11
SU(𝑁 )
𝜆21
,
SU(𝑁 )
(3.6)
= − 𝜆22
SU(𝑁 )
,
Переменные 𝜉𝑅,𝐿 подчинены условиям, являющимися суперсимметричным обобщением CP(𝑁 − 1) условия |𝑛|2 = 1:
𝑛𝑙 𝑛𝑙 = 1 ,
𝑛𝑙 𝜉 𝑙 = 𝜉 𝑙 𝑛𝑙 = 0 ,
(3.7)
Разумеется, полученные моды должны удовлетворять уравнениям Дирака
(3.2). Используя уравнения для профильных функций (2.6), после громоздких
вычислений мне удалось убедиться, что это действительно так.
3.2
Разложение по малому параметру 𝜇
При включении массового члена для 𝑓 = 2 калибровочных суперпартнёров (см.
последнюю строчку в (3.1)), теория становится 𝒩 = 1 суперсимметричной, и половина супер зарядов теряется. Больше не остаётся суперпреобразований, действующих тривиально на статическое решение для струны (эти суперпреобразования были использованы в выводе суперориентационных мод в предыдущей
главе). Струна больше не является БПС-решением. Поэтому, вообще говоря, для
нахождения ноль-мод нужно решать уравнения Дирака. Упрощающим обстоятельством является то, что в пределе малых значений параметра 𝜇 можно воспользоваться теорией возмущений. Сейчас мы ограничимся рассмотрением именно этого предела.
По аналогии с методом, использованным в [14], попытаемся угадать подходящий анзац:
𝜆1𝑓
𝜆2𝑓
𝑥1 − 𝑖𝑥2 1𝑓
𝜆+ (𝑟) 𝑛𝜉𝐿 + 2 𝜆1𝑓
− (𝑟) 𝜉𝐿 𝑛 ,
𝑟
SU(𝑁 )
= 2
SU(𝑁 )
𝑥1 + 𝑖𝑥2 2𝑓
= 2
𝜆+ (𝑟) 𝜉𝑅 𝑛 + 2 𝜆2𝑓
− (𝑟) 𝑛𝜉 𝑅 ,
𝑟
13
(3.8)
𝑥1 − 𝑖𝑥2 ̃︀
𝜓̃︀1̇ = 2 𝜓̃︀1̇+ (𝑟) 𝜉𝑅 𝑛 + 2
𝜓 1̇− (𝑟) 𝑛𝜉 𝑅 .
𝑟
𝑥1 + 𝑖𝑥2 ̃︀
𝜓̃︀2̇ = 2 𝜓̃︀2̇+ (𝑟) 𝑛𝜉𝐿 + 2
𝜓 2̇− (𝑟) 𝜉𝐿 𝑛 .
𝑟
𝜓 1̇
(3.9)
𝑥1 − 𝑖𝑥2
= 2 𝜓 1̇+ (𝑟) 𝜉𝑅 𝑛 + 2
𝜓 1̇− (𝑟) 𝑛𝜉 𝑅 .
𝑟
𝑥1 + 𝑖𝑥2
𝜓 2̇− (𝑟) 𝜉𝐿 𝑛 .
𝑟
Здесь 𝜆+ (𝑟) и 𝜓+ (𝑟) представляют собой «недеформированные» профильные
функции в том смысле, что только они присутствуют в случае 𝒩 = 2 теории.
Функции 𝜆− (𝑟) и 𝜓− (𝑟) есть «возмущения», возникающие при разрушении суперсимметрии. Разумеется, эти названия имеют смысл только в пределе малых
𝜇, когда «-» -компоненты действительно малы (порядка 𝜇).
Для того чтобы вывести уравнения для введённых фермионных профильных функций, следует подставить этот анзац в уравнения Дирака (3.2). Эта задача является всего лишь технической и не представляет особого труда; результат
в виде 16 уравнений приведёт в Приложении A.1.
Решения для «+» -компонент могут быть найдены (с точностью до членов
порядка 𝑂(𝜇2 )) из (3.6):
𝜓 2̇ = 2 𝜓 2̇+ (𝑟) 𝑛𝜉𝐿 + 2
𝜓 1̇+ = 0,
𝜓̃︀2̇+ = 0,
𝜓 2̇+ =
𝜑21 − 𝜑22
,
2𝜑2
𝜑2 − 𝜑22
𝜓̃︀1̇+ = − 1
,
2𝜑2
11 SU(𝑁 )
=
𝑖
𝜑1
𝑓𝑁
2𝑟𝜑2
22 SU(𝑁 )
= −𝑖
𝜑1
𝑓𝑁
2𝑟𝜑2
12 SU(𝑁 )
= 𝜆+
𝜆+
𝜆+
𝜆+
11 SU(𝑁 )
(3.10)
(3.11)
21 SU(𝑁 )
,
𝜆+
22 SU(𝑁 )
= − 𝜆+
.
Это действительно так, потому что бозонные профильные функции приобретают поправки только порядка 𝑂(𝜇2 ). Легко проверить, что функции (3.11) действительно удовлетворяют соответствующим уравнениям, приведённым в Приложении.
14
Рассмотрим теперь уравнения для поправочных «-» -компонент. Половина
из них очень похожа на найденные в [14] профили. Скажем, если обозначить
21
𝜆22
− − 𝜆− ≡ 𝜆− ,
то соответствующие уравнения с функцией 𝜆− (в пределе малых 𝜇) выглядят
следующим образом:
𝜕𝑟 𝜓̃︀1̇− (𝑟) +
1 ̃︀
1
(𝑓 + 𝑓𝑁 (𝑁 − 1)) 𝜓̃︀1̇− (𝑟) + 𝑖𝜑2 𝜆− = 0
𝜓 1̇− (𝑟) −
𝑟
𝑁𝑟
− 𝜕𝑟 𝜆− −
𝑓𝑁
𝑖 𝑓𝑁 𝜑1
𝜆− + 𝑖 𝑔22 𝜑2 𝜓̃︀1̇− (𝑟) − 𝜇2 𝑔22
𝑟
2 𝑟 𝜑2
= 0
(3.12)
(3.13)
Эти уравнения с точностью до числовых коэффициентов совпадают с написанными в [14]. В самом деле, можно взять решения, полученные в этой работе, и
лишь немного их изменить:
)︀
𝑟 (︀ 2
𝜑1 − 𝜑22 + 𝑂(𝜇3 ) ,
𝜓̃︀1̇− = − 𝜇2 𝑔22
8𝜑1
⎧
⎫
𝜑2
𝜑1 ⎪
22
21
2𝑖 ⎪
⎭ + 𝑂(𝜇3 ) ,
𝜆− = 𝜆− − 𝜆− = − 𝜇2 𝑔2 ⎩(𝑓𝑁 − 1)
+
(3.14)
4
𝜑1
𝜑2
так что они удовлетворяют уравнениям (3.12) и (3.13). Такой же трюк проходит
для ещё одной пары уравнений, и
)︀
𝑟 (︀ 2
𝜑1 − 𝜑22 + 𝑂(𝜇3 ) ,
8𝜑1
⎧
⎫
𝜑2
𝜑1 ⎪
2𝑖 ⎪
⎭ + 𝑂(𝜇3 ) .
= 𝜇2 𝑔2 ⎩(𝑓𝑁 − 1)
+
4
𝜑1
𝜑2
𝜓 2̇− = 𝜇2 𝑔22
11
𝜆12
− + 𝜆−
(3.15)
Но для оставшихся уравнений всё уже не так просто. Обозначая
21
𝜆22
− + 𝜆− ≡ 𝜆(1) ,
получим:
𝜕𝑟 𝜓 1̇− (𝑟) +
− 𝜕𝑟 𝜆(1)
1
1
𝜓 1̇− (𝑟) +
(𝑓 − 𝑓𝑁 ) 𝜓 1̇− (𝑟) + 𝑖𝜑1 𝜆(1) = 0 ,
𝑟
𝑁𝑟
𝑓𝑁
𝑖 𝑓𝑁 𝜑1
−
𝜆(1) + 𝑖 𝑔22 𝜑1 𝜓 1̇− (𝑟) − 𝜇2 𝑔22
𝑟
2 𝑟 𝜑2
(3.16)
= 0.
И здесь начинаются сложности. До сих пор наши решения представляли собой
некоторые алгебраические комбинации бозонных профильных функций. Однако,
для компонент 𝜓 1̇− и 𝜆(1) это уже не будет так, и скоро мы в этом убедимся.
15
После подстановки
1
Ψ(𝑟),
𝑟𝜑2 (𝑟)
𝜆(1) (𝑟) = 𝑖𝑔22 Λ(𝑟)
𝜓 1̇− (𝑟) =
уравнения (3.16) приводятся к
1
𝜕𝑟 Ψ
𝑟𝑔22 𝜑1 𝜑2
= Λ,
𝜑1
𝑟𝜕𝑟 Λ + 𝑓𝑁 Λ −
Ψ =
𝜑2
𝜇2 𝑓𝑁 𝜑1
−
,
2 𝜑2
(3.17)
откуда, в свою очередь, нетрудно получить уравнение второго порядка для Ψ:
(︂
)︂
2
𝜇2 𝑓 𝑁 2 2
1
2
1 +
(𝑓 − 𝑓𝑁 ) 𝜕𝑟 Ψ − 𝑔22 𝜑21 Ψ = −
𝑔 𝜑 .
(3.18)
𝜕𝑟 Ψ −
𝑟
𝑁
2 2 1
При попытке найти решение системы (3.16) в виде алгебраической комбинации функций 𝜑1 , 𝜑2 , 𝑓𝑁 неизбежно следует, что такое решение существует лишь
для однородной версии (3.16). Это решение может быть представлено в виде
𝑓𝑁
,
𝑟𝜑2
)︂
𝜑2
−
.
𝜑1
𝜓 1̇− = 𝑐
𝜆(1)
𝑖𝑔 2
= 𝑐 2
2
(︂
𝜑1
𝜑2
с произвольной постоянной 𝑐. Этому соответствует Ψ = 𝑓𝑁 ; и действительно,
такая функция есть решение однородной версии уравнения (3.18). С его помощью
можно свести это уравнение к уравнению первого порядка. Пусть
⎛ 𝑟
⎞
∫︁
Ψ(𝑟) = 𝜇2 𝑓𝑁 (𝑟) ⎝ d𝑥 𝜒(𝑥) + 𝑐1 ⎠ ,
0
с некоторой константой 𝑐1 , тогда из (3.18) следует, что
(︂
)︂
2
1
1 1 2 2 2
2
𝑟 𝑔2 (𝜑1 − 𝜑2 ) − 1 −
(𝑓 − 𝑓𝑁 ) 𝜒 = − 𝑔22 𝜑21 .
𝜕𝑟 𝜒 +
𝑟 𝑓𝑁
𝑁
2
(3.19)
Решить получившееся уравнение первого порядка не составляет труда; его решение есть
⎛ 𝑟
⎞
∫︁
2
2
2
𝑔 𝑟𝜑
d𝑦 𝜑1 2
𝜒 = − 2 22 ⎝
𝑓 + 𝑐2 ⎠ .
(3.20)
2𝑓𝑁
𝑦 𝜑22 𝑁
0
16
Собирая всё вместе, получим:
⎞
⎞
⎛ 𝑟
⎛ 𝑥
∫︁
∫︁
2
2
𝑓𝑁 (𝑟) ⎝
𝑥𝜑 (𝑥) ⎝ d𝑦 𝜑1 (𝑦) 2
𝑓 (𝑦) + 𝑐2 ⎠ + 𝑐1 ⎠ .
𝜓 1̇− (𝑟) = − 𝜇2 𝑔22
d𝑥 22
𝑟𝜑2 (𝑟)
2𝑓𝑁 (𝑥)
𝑦 𝜑22 (𝑦) 𝑁
0
0
(3.21)
с некоторой новой постоянной 𝑐1 .
Для того, чтобы это решение вело себя удовлетворительно в нуле (несингулярно), следует положить 𝑐1 = 0. Для убывания на бесконечности необходимо
также положить
∫︁∞
d𝑦 𝜑21 (𝑦) 2
𝑓 (𝑦).
𝑐2 = −
𝑦 𝜑22 (𝑦) 𝑁
0
так что
𝜓 1̇− (𝑟) =
𝜇2 𝑔22 𝑓𝑁 (𝑟)
2 𝑟𝜑2 (𝑟)
∫︁𝑟
0
𝑥𝜑22 (𝑥)
d𝑥 2
𝑓𝑁 (𝑥)
∫︁∞
𝑥
d𝑦 𝜑21 (𝑦) 2
𝑓 (𝑦).
𝑦 𝜑22 (𝑦) 𝑁
(3.22)
Их уравнений для бозонных профилей может быть получено их асимптотическое поведение:
√︀
ln 𝑓𝑁 (𝑟) ∼ − 𝑟 𝑔2 𝜉, 𝑟 → ∞,
из которого следует, что при больших 𝑟 решение (3.22) спадает экспоненциально.
Запишем решение для калибровочных суперпартнёров:
21
𝜆(1) (𝑟) ≡ 𝜆22
=
− + 𝜆−
(︃ (︂
)︂ ∫︁𝑟
∫︁∞
2
2
𝜑2
𝑥𝜑22 (𝑥)
d𝑦 𝜑21 (𝑦) 2
𝑖 𝜇2 𝑔2 𝑔2 𝜑1
−
d𝑥 2
𝑓 (𝑦)
=
2
2 𝜑2
𝜑1
𝑓𝑁 (𝑥)
𝑦 𝜑22 (𝑦) 𝑁
0
𝑥
)︃
∫︁∞
𝜑2
d𝑦 𝜑21 (𝑦) 2
+
𝑓 (𝑦) .
𝜑1 𝑓𝑁
𝑦 𝜑22 (𝑦) 𝑁
(3.23)
𝑟
Прямой подстановкой мне удалось проверить, что моды (3.22) и (3.23) в самом
деле удовлетворяют уравнениям (3.16). Заметим, что решение (3.23) убывает на
бесконечности, тогда как в нуле оно сингулярно как 1/𝑟.
17
Следуя точно так же, получаем для двух оставшихся мод
∫︁𝑟
∫︁∞
2
2
𝜇
𝑔
(𝑥)
𝑓
(𝑟)
𝑥𝜑
d𝑦 𝜑21 (𝑦) 2
2
𝑁
2
2
𝑓 (𝑦) ,
𝜓̃︀2̇− (𝑟) = −
d𝑥 2
2 𝑟𝜑2 (𝑟)
𝑓𝑁 (𝑥)
𝑦 𝜑22 (𝑦) 𝑁
0
𝜆12
−
−
𝜆11
−
𝑖 𝜇2 𝑔22
= −
2
(︃
𝑔22
2
(︃
𝑥
𝜑1
𝜑2
−
𝜑2
𝜑1
)︃ ∫︁𝑟
0
𝑥𝜑2 (𝑥)
d𝑥 22
𝑓𝑁 (𝑥)
∫︁∞
𝑥
𝜑2
+
𝜑1 𝑓𝑁
d𝑦 𝜑21 (𝑦) 2
𝑓 (𝑦)
𝑦 𝜑22 (𝑦) 𝑁
∫︁∞
𝑟
)︃
d𝑦 𝜑21 (𝑦) 2
𝑓 (𝑦) .
𝑦 𝜑22 (𝑦) 𝑁
(3.24)
3.3
Квазинулевые моды
21
12
11
Так комбинации (𝜆22
− + 𝜆− ) и (𝜆− − 𝜆− ) ведут себя в окрестности нуля как 1/𝑟,
они не нормируемы. Это означает, что фермионных нулевых мод больше нет.
Вместо этого они могут быть «подняты», то есть, они являются собственным
функциями оператора Дирака с ненулевыми собственными значениями. Изучим
подробнее эту возможность. Для этого рассмотрим уравнение на собственные
состояния оператора Дирака:
(︃
←
−
√
{︀
}︀
𝛿ℒ4d
= −𝑖 𝜓 ∇
/ + 𝑖 2 𝑞 𝑓 𝜆𝑓 U(1) + 𝜆𝑓 SU(𝑁 )
𝛿𝜓
}︂ )︃
{︂
𝑚𝐴
= −𝜇2 𝛼 𝜓̃︀ , (3.25)
+ 𝜓̃︀ 𝑎U(1) + √ + 𝑎SU(𝑁 )
2
𝛿ℒ4d
𝛿 𝜓̃︀
(︃
}︁
√ {︁ U(1)
SU(𝑁 )
= 𝑖∇
/ 𝜓̃︀ + 𝑖 2
𝑞𝑓
𝜆𝑓
+ 𝜆𝑓
{︂
+
𝑎U(1)
}︂ )︃
𝑚𝐴
+ √ + 𝑎SU(𝑁 ) 𝜓
= −𝜇2 𝛽 𝜓 . (3.26)
2
где константы 𝛼, 𝛽 будут определены из условия нормируемости полученных решений.
Действуя так же, как в предыдущей главе, приходим к уравнениям
𝜕𝑟 𝜓 1̇− (𝑟) +
1
1
𝜑2 − 𝜑22
𝜓 1̇− (𝑟) +
(𝑓 − 𝑓𝑁 ) 𝜓 1̇− (𝑟) + 𝑖𝜑1 𝜆(1) = 𝜇2 𝛼 1
,
𝑟
𝑁𝑟
2𝜑2
− 𝜕𝑟 𝜆(1) −
𝑖 𝑓𝑁 𝜑1
𝑓𝑁
𝜆(1) + 𝑖 𝑔22 𝜑1 𝜓 1̇− (𝑟) − 𝜇2 𝑔22
𝑟
2 𝑟 𝜑2
= 0.
(3.27)
18
Для решения этих уравнений рассмотрим некоторое обобщения системы
(3.27), а именно:
1
𝜕𝑟 Ψ = Λ + 𝐹 ,
2
𝑟𝑔2 𝜑1 𝜑2
(3.28)
𝜑1
𝑟𝜕𝑟 Λ + 𝑓𝑁 Λ −
Ψ = 𝐺,
𝜑2
где 𝐹 (𝑟), 𝐺(𝑟) — некоторые заданные функции. Из этой системы получается уравнение второго порядка для Ψ:
(︂
)︂
2
1
2
(3.29)
1 +
(𝑓 − 𝑓𝑁 ) 𝜕𝑟 Ψ − 𝑔22 𝜑21 Ψ = 𝐻 .
𝜕𝑟 Ψ −
𝑟
𝑁
где 𝐻 = 𝑔22 𝜑1 𝜑2 (𝐺 + 𝑓𝑁 𝐹 + 𝑟𝐹 ′ ), штрих обозначает производную по 𝑟. После
подстановки
⎛
⎞
∫︁𝑟
Ψ = 𝑓 𝑁 ⎝ 𝑐1 +
d𝑥 𝜒(𝑥)⎠
(3.30)
0
это уравнение сводится к
(︂ ′
(︂
)︂)︂
𝑓𝑁
1
2
𝐻
𝜕𝑟 𝜒 + 2
−
1 +
(𝑓 − 𝑓𝑁 )
𝜒 =
.
𝑓𝑁
𝑟
𝑁
𝑓𝑁
Решение может быть написано в виде
⎞
⎛
∫︁∞
2
𝑟𝜑2 ⎝
𝐻𝑓𝑁 ⎠
𝜒 =
,
𝑐2 −
d𝑦
2
𝑓𝑁
𝑦𝜑22
(3.31)
(3.32)
𝑟
откуда легко получается решение исходного уравнения:
⎛
⎛
⎞⎞
∫︁𝑟
∫︁∞
2
𝑓𝑁 (𝑟) ⎝
𝑥𝜑 (𝑥) ⎝
𝑓𝑁 (𝑦)
𝜓 1̇− (𝑟) =
𝑐1 +
d𝑥 22
𝑐2 −
d𝑦 2 𝐻(𝑦)⎠⎠
𝑟𝜑2 (𝑟)
𝑓𝑁 (𝑥)
𝑦𝜑2 (𝑦)
0
(3.33)
𝑥
В нашем случае,
𝜇2 𝜑1
𝑓𝑁 ,
2
𝜑2
(︂
)︂
𝜇2 𝛼 𝜑 1
𝜑2
=
−
,
2𝑔22 𝜑2
𝜑1
(︂
)︂
𝑔22
𝑓𝑁 𝜑21 .
= 𝜇2 𝛼 −
2
𝐺 = −
𝐹
𝐻
19
(3.34)
Для того, чтобы обеспечить нужное поведение функции 𝜓 1̇− (𝑟) в нуле и на бесконечности, нужно положить 𝑐1 = 𝑐2 = 0, так что
(︂
)︂
∫︁𝑟
∫︁∞
𝑔22 𝑓𝑁 (𝑟)
𝑥𝜑22 (𝑥)
𝑓 2 (𝑦)𝜑2 (𝑦)
𝜓 1̇− (𝑟) = −𝜇2 𝛼 −
d𝑥 2
d𝑦 𝑁 2 1
2 𝑟𝜑2 (𝑟)
𝑓𝑁 (𝑥)
𝑦𝜑2 (𝑦)
0
(3.35)
𝑥
Легко вычислить после этого 𝜆(1) :
𝑖
Ψ′
𝜆(1) (𝑟) = −𝑖𝑔22 𝐹 (𝑟) +
𝑟𝜑)︂
1 𝜑2
(︂
(︂
)︂ (︂
)︂
𝜇2 𝛼 𝜑 1
𝜑2
𝑔22 1 𝜑1
𝜑2
2
= −𝑖
−
− 𝑖𝑔2 𝜇2 𝛼 −
−
×
2
𝜑2
𝜑1
2 2 𝜑2
𝜑1
(︂
)︂
∫︁𝑟
∫︁∞
∫︁∞
𝑔22
𝑥𝜑22 (𝑥)
𝑓𝑁2 (𝑦)𝜑21 (𝑦)
𝜑2
𝑓𝑁2 (𝑦)𝜑21 (𝑦)
−
𝑖𝜇
𝛼
−
d𝑥 2
d𝑦
d𝑦
2
𝑓𝑁 (𝑥)
𝑦𝜑22 (𝑦)
2 𝑓𝑁 𝜑 1
𝑦𝜑22 (𝑦)
0
𝑥
(3.36)
𝑟
Можно заметить, что первое и последнее слагаемые в этой формуле расходятся
в нуле как 1/𝑟. Следует выбрать значение параметра 𝛼 так, чтобы эта расходимость сократилась. Подставляя явные выражения для функций 𝐹, 𝐻 и извлекая
расходящуюся часть, получаем, что для сокращения расходимости должно быть
выполнено следующее соотношение:
(︂
)︂ ∫︁∞
𝑔22
𝑓 2 (𝑦)𝜑2 (𝑦)
𝛼 − 2 𝛼−
d𝑦 𝑁 2 1
2
𝑦𝜑2 (𝑦)
= 0,
(3.37)
.
(3.38)
0
откуда следует, что
𝑔22
𝛼 = −
∫︁∞
d𝑦
0
∫︁∞
1 − 2
0
𝑓𝑁2 (𝑦)𝜑21 (𝑦)
𝑦𝜑22 (𝑦)
𝑓 2 (𝑦)𝜑2 (𝑦)
d𝑦 𝑁 2 1
𝑦𝜑2 (𝑦)
Рассматривая уравнение (A.14) и (A.20) минус (A.12), можно пройти через те же
шаги и получить
1 ̃︀
1
𝜑2 − 𝜑22
𝜓 2̇− (𝑟) +
(𝑓 − 𝑓𝑁 ) 𝜓̃︀2̇− (𝑟) + 𝑖𝜑1 𝜆(2) = 𝜇2 𝛽 1
,
𝑟
𝑁𝑟
2𝜑2
(3.39)
𝑓𝑁
𝑖 𝑓𝑁 𝜑1
−
𝜆(2) + 𝑖 𝑔22 𝜑1 𝜓̃︀2̇− (𝑟) − 𝜇2 𝑔22
= 0,
(3.40)
𝑟
2 𝑟 𝜑2
𝜕𝑟 𝜓̃︀2̇− (𝑟) +
− 𝜕𝑟 𝜆(2)
20
11
где 𝜆(2) = 𝜆12
− − 𝜆− . Легко видеть, что полученные уравнения идентичны
уравнениям (3.27), так что из решения те же самые:
𝛽 = 𝛼,
(3.41)
(︂
)︂
∫︁𝑟
∫︁∞
2
2
𝑔
𝑓
(𝑟)
𝑥𝜑
(𝑥)
𝑓 2 (𝑦)𝜑2 (𝑦)
𝑁
𝜓̃︀2̇− (𝑟) = −𝜇2 𝛼 − 2
,
d𝑥 22
d𝑦 𝑁 2 1
2 𝑟𝜑2 (𝑟)
𝑓𝑁 (𝑥)
𝑦𝜑2 (𝑦)
0
(3.42)
𝑥
(︂
)︂ (︂
)︂
𝜇2 𝛼 𝜑1
𝜑2
𝑔22 1 𝜑1
𝜑2
2
𝜆(2) (𝑟) = −𝑖
−
− 𝑖𝑔2 𝜇2 𝛼 −
−
×
2
𝜑2
𝜑1
2 2 𝜑2
𝜑1
(︂
)︂
∫︁𝑟
∫︁∞
∫︁∞
(3.43)
𝑔22
𝑥𝜑22 (𝑥)
𝑓𝑁2 (𝑦)𝜑21 (𝑦)
𝜑2
𝑓𝑁2 (𝑦)𝜑21 (𝑦)
− 𝑖𝜇2 𝛼 −
.
d𝑥 2
d𝑦
d𝑦
𝑓𝑁 (𝑥)
𝑦𝜑22 (𝑦)
2 𝑓𝑁 𝜑1
𝑦𝜑22 (𝑦)
(︂
0
)︂
𝑥
𝑟
Тот факт, что нижние по энергии фермионные моды удовлетворяют уравнениям (3.25) и (3.26) а не исходным уравнениям Дирака, говорит о том, что
после нарушения суперсимметрии эти моды поднимаются. Как будет показано в
следующей главе, это обстоятельство приведёт к появлению массового члена в
эффективном действии.
4
Эффективное действие в ориентационном секторе
В этой главе я выведу эффективное двумерное действие в ориентационном секторе в первом порядке по параметру 𝜇. С этой целью подставим сперва анзац
(3.8), (3.9) в лагранжиан теории (3.1). Кинетические члены для четырёхмерных
фермионов (то есть их часть с производными 𝜕0 и 𝜕3 ) даст кинетический член
для двумерных фермионов; получим:
¯
¯
ℒ2d
kin = 𝛾1 (𝜉𝐿 𝑖𝜕𝑅 𝜉𝐿 + 𝜉𝑅 𝑖𝜕𝐿 𝜉𝑅 ),
(4.1)
Здесь подразумевается, что в действии фермионные множители могут быть переставлены друг с другом по следующим правилам:
𝜉𝑅 𝑖𝜕𝐿 𝜉¯𝑅 = 𝜉¯𝑅 𝑖𝜕𝐿 𝜉𝑅 ,
(4.2)
𝜉𝑅 𝜉¯𝐿 = −𝜉¯𝐿 𝜉𝑅
(4.3)
В первом порядке по 𝜇,
𝛾1 =
8
𝑔22
∫︁
2
2
𝑑𝑥1 𝑑𝑥2 |𝜆1𝑓
+ | + 4|𝜓 2̇+ | ,
21
(4.4)
суммирование по 𝑓 подразумевается. После подстановки явных решений для
фермионных профилей этот коэффициент может быть сведён к интегралу от
полной производной, что даёт
𝛾1 =
4𝜋
.
𝑔22
(4.5)
Как и следовало ожидать, это выражение совпадает с результатом, приведённым
в [14] (см. формулу (3.11) и перед (4.12)). Слагаемые с калибровочными бозонами
𝐴𝜇 , 𝜇 = 0, 3 дают нулевой вклад.
Массовый член получается из остальной части четырёхмерного действия.
Чтобы упростить вычисления, перегруппируем слагаемые в (3.1). Несложно убедится в справедливости следующего равенства:
ℒ4d =
1 𝛿ℒ4d 𝑓 U(1)
1 U(1) 𝛿ℒ4d
𝜆𝑓
+
𝜆
U(1)
2
2 𝛿𝜆𝑓 U(1)
𝛿𝜆
(4.6)
𝑓
1
1
𝛿ℒ4d
SU(𝑁 ) 𝛿ℒ4d
+ Tr 𝜆𝑓
+ Tr 𝑓 SU(𝑁 ) 𝜆𝑓 SU(𝑁 )
SU(𝑁
)
2
2
𝛿𝜆
𝛿𝜆𝑓
𝛿ℒ4d
1
𝛿ℒ4d
1
𝛿ℒ4d
1
𝛿ℒ4d ̃︀
1
𝜓
+ Tr
𝜓 + Tr 𝜓̃︀
+ Tr
+ Tr 𝜓
2
2
𝛿𝜓
2
2
𝛿𝜓
̃︀
𝛿 𝜓̃︀
𝛿𝜓
(4.7)
(4.8)
Производные 𝜕0 , 𝜕3 были учтены при выводе кинетического члена двумерной
теории, поэтому теперь для вывода массового члена эффективного действия они
должны быть опущены. Подставим в правую часть последней формулы уравнения Дирака для полей 𝜆 (первые две сточки в (3.2)) и уравнения для квазину̃︀ Таким
левых мод (3.25) для 𝜓, (3.26) для 𝜓̃︀ и сопряжённые уравнения для 𝜓, 𝜓.
образом можно найти, что
⃒
⃒
̃︀
(4.9)
ℒ4d ⃒𝜕0 =0 = 0 + 0 + 0 + 0 − 𝜇2 Tr (𝛽 𝜓 𝜓̃︀ + 𝛼 𝜓𝜓).
𝜕3 =0
Подставляя сюда решения для кварковых полей, интегрируя по переменным
𝑥1 , 𝑥2 и комбинируя это с (4.1), получим двумерное действие в первом порядке
по 𝜇:
∫︁
4𝜋
𝒮2d =
𝑑𝑡𝑑𝑧 2 (𝜉¯𝐿 𝑖𝜕𝑅 𝜉𝐿 + 𝜉¯𝑅 𝑖𝜕𝐿 𝜉𝑅 ) + 𝜇2 𝛾2 (𝜉¯𝑅 𝜉𝐿 + 𝜉¯𝐿 𝜉𝑅 ),
(4.10)
𝑔2
где 𝑡, 𝑧 есть координаты на мировом листе 𝑥0 , 𝑥3 , и коэффициент
∫︁
∫︁
̃︀
𝛾2 = −4 𝛼
𝑑𝑥1 𝑑𝑥2 𝜓 1̇+ 𝜓 2̇+ = 4 𝛼 𝑑𝑥1 𝑑𝑥2 |𝜓 2̇+ |2 .
(4.11)
Главная особенность действия (4.10) заключается в том, что в нйм все фермионы являются массивными, что приводит к их полному отщеплению в пределе
22
больших 𝜇. Это является важным отличием настоящей теории от теории с ФИ
𝐷-членом, исследованной в [14], где эти самые ориентационные фермионы были
безмассовыми и взаимодействовали с остальными бозонными и фермионными
степенями свободы.
5
5.1
Фермионные ноль-моды: супертрансляционный
сектор
Супертрансляционные ноль-моды 𝒩 = 2 теории
Супертрансляционные моды исходной 𝒩 = 2 теории связаны с преобразованиями суперсимметрии (3.3), параметры которых отождествляются с фермионными
координатами на мировом листе:
𝜁𝐿 =
1
√ (𝜖11 + 𝜖12 ),
2
𝜁𝑅 =
1
√ (𝜖22 − 𝜖21 ) .
2
(5.1)
Эти моды могут быть найдены прямой подстановкой решения для бозонной струны в преобразования (3.3). После некоторых вычислений с использованием уравнений (2.6) можно придти к
√ 𝑥1 + 𝑖𝑥2 ⎧
1
𝑁 −1
⎪
⎩ 𝜑1 (𝑓 + (𝑁 − 1)𝑓𝑁 ) +
𝜓 2̇ = − 2 2
𝜑2 (𝑓 − 𝑓𝑁 )
2
𝑁𝑟
𝑁
𝑁
{︁
}︁ ⎫
+ (𝑛𝑛 − 1/𝑁 ) 𝜑1 (𝑓 + (𝑁 − 1)𝑓𝑁 ) − 𝜑2 (𝑓 − 𝑓𝑁 ) ⎭ 𝜁𝐿 ,
(5.2)
√ 𝑥1 − 𝑖𝑥2 ⎧
𝑁
−
1
1
⎪
⎩ 𝜑1 (𝑓 + (𝑁 − 1)𝑓𝑁 ) +
𝜓̃︀1̇ = 2 2
𝜑2 (𝑓 − 𝑓𝑁 )
𝑁 𝑟2
𝑁
𝑁
{︁
}︁ ⎫
+ (𝑛𝑛 − 1/𝑁 ) 𝜑1 (𝑓 + (𝑁 − 1)𝑓𝑁 ) − 𝜑2 (𝑓 − 𝑓𝑁 ) ⎭ 𝜁𝑅 ,
11 U(1)
𝜆
𝜆22
U(1)
𝜆11
SU(𝑁 )
𝜆22
SU(𝑁 )
𝜆12
𝜆12
⎫
𝑖𝑔12 ⎧
2
2
⎩
= − √
(𝑁 − 1)𝜑2 + 𝜑1 − 𝑁 𝜉 ⎭ 𝜁𝐿 ,
2 2
⎫
𝑖𝑔 2 ⎧
= + √1 ⎩(𝑁 − 1)𝜑22 + 𝜑21 − 𝑁 𝜉 ⎭ 𝜁𝑅 ,
2 2
⎧
⎫
𝑖𝑔22
2
2⎭
⎩
= − √ (𝑛𝑛 − 1/𝑁 ) 𝜑1 − 𝜑2 𝜁𝐿 ,
2
⎧
⎫
𝑖𝑔 2
= + √2 (𝑛𝑛 − 1/𝑁 ) ⎩𝜑21 − 𝜑22 ⎭ 𝜁𝑅 ,
2
U(1)
= 𝜆11
U(1)
SU(𝑁 )
= 𝜆11
SU(𝑁 )
𝜆21
,
U(1)
𝜆21
,
23
= − 𝜆22
SU(𝑁 )
U(1)
= − 𝜆22
(5.3)
,
SU(𝑁 )
,
где написаны только моды, не обращающиеся тождественно в ноль.
5.2
Ненарушенные генераторы
Следующим шагом естественно было бы включить деформацию с малым значением параметра 𝜇 и исследовать поведение деформированных фермионных мод.
Оказывается, однако, что это весьма сложная задача в силу технических трудностей: на этом пути я натолкнулся на систему из четырёх дифференциальных
уравнений первого порядка, решить которую не удалось.
Вместо этого, оказывается возможным прямо перейти к пределу больших
𝜇. Сделать это позволяет тот факт, что, хотя при переходе к 𝒩 = 1 теории
исчезают суперзаряды, связанные с параметрами 𝜖𝛼,𝑓 =2 , суперориентационные
моды тем не менее могут быть сгенерированы при помощи суперпреобразований
с параметрами 𝜖𝛼,𝑓 =1 . Сперва проверим, что это может быть сделано в исходной
𝒩 = 2 теории.
Для полей 𝜆 преобразования (3.3) в явном виде записываются следующим
образом:
(︀
)︀
U(1)
𝜆11 U(1) =
𝑖𝐹12 𝜖11 + 𝐹 1 U(1) + 𝑖𝐹 2 U(1) 𝜖12 ,
(︀
)︀
U(1)
𝜆12 U(1) =
𝑖𝐹12 𝜖12 + 𝐹 1 U(1) − 𝑖𝐹 2 U(1) 𝜖11 ,
(5.4)
(︀
)︀
U(1)
𝜆21 U(1) = −𝑖𝐹12 𝜖21 + 𝐹 1 U(1) + 𝑖𝐹 2 U(1) 𝜖22 ,
(︀
)︀
U(1)
𝜆22 U(1) = −𝑖𝐹12 𝜖22 + 𝐹 1 U(1) − 𝑖𝐹 2 U(1) 𝜖21 ,
𝜆11
SU(𝑁 )
12 SU(𝑁 )
𝜆
𝜆21
SU(𝑁 )
𝜆22
SU(𝑁 )
= 𝑖
(︁
= 𝑖
(︁
SU(𝑁 ) 11
𝐹12
𝜖
SU(𝑁 ) 12
𝐹12
𝜖
SU(𝑁 ) 21
)︁
+
(︀ 1 SU(𝑁 )
)︀
𝐹
+ 𝑖𝐹 2 SU(𝑁 ) 𝜖12 ,
SU(𝑁 ) 22
𝐹𝐿
𝜖
)︁
+
(︀ 1 SU(𝑁 )
)︀
𝐹
− 𝑖𝐹 2 SU(𝑁 ) 𝜖11 ,
+ 𝐹𝐿
+
𝜖
(︁
)︁
(5.5)
(︀
)︀
SU(𝑁 ) 21
SU(𝑁 ) 11
= 𝑖 −𝐹12
𝜖 + 𝐹𝑅
𝜖
+ 𝐹 1 SU(𝑁 ) + 𝑖𝐹 2 SU(𝑁 ) 𝜖22 ,
(︁
)︁
(︀
)︀
SU(𝑁 ) 22
SU(𝑁 ) 12
= 𝑖 −𝐹12
𝜖 + 𝐹𝑅
𝜖
+ 𝐹 1 SU(𝑁 ) − 𝑖𝐹 2 SU(𝑁 ) 𝜖21 ,
где введены обозначения
SU(𝑁 )
𝐹𝐿
SU(𝑁 )
𝐹𝑅
SU(𝑁 )
= (𝐹01
=
SU(𝑁 )
(𝐹01
SU(𝑁 )
− 𝑖 𝐹31
+
SU(𝑁 )
) − 𝑖(𝐹02
SU(𝑁 )
𝑖 𝐹31
)
+
SU(𝑁 )
𝑖(𝐹02
SU(𝑁 )
− 𝑖 𝐹32
+
),
SU(𝑁 )
𝑖 𝐹32
)
(5.6)
.
Здесь учтено, что 𝐹 3 U(1) = 𝐹 3 SU(𝑁 ) = 0, и включены только ненулевые компоU(1)
SU(𝑁 )
ненты тензоров напряжённости 𝐹𝜇𝜈 и 𝐹𝜇𝜈
.
24
Исходно суперориентационные моды были сгенерированы суперзарядами,
связанными с (5.1):
1
1
𝜁𝐿 = √ (𝜖11 + 𝜖12 ),
𝜁𝑅 = √ (𝜖22 − 𝜖21 ) .
(5.7)
2
2
Однако из (5.4) и (5.5) видно, что эти моды могут быть сгенерированы только
при помощи параметров 𝜖11 и 𝜖21 (стоит отметить, что это неверно для суперориентационных мод). В таком случае найдём (держа в голове явные выражения
для 𝐹 -членов (3.5) и компонент тензоров напряжённостей):
U(1)
𝜆11
U(1)
=
𝜆12
U(1)
=
𝑖𝐹12 𝜖11 ,
𝜆22
U(1)
= −𝜆21
U(1)
= −𝑖𝐹12 𝜖21 ,
(5.8)
U(1)
SU(𝑁 ) 11
,
SU(𝑁 ) 21
.
𝜆11
SU(𝑁 )
=
𝜆12
SU(𝑁 )
=
𝜆22
SU(𝑁 )
= −𝜆21
SU(𝑁 )
= −𝑖𝐹12
𝑖𝐹12
𝜖
𝜖
(5.9)
где подразумевается, что ориентационные модули 𝑛𝑙 есть константы.
Всё это также верно и для кварковых мод. Для них преобразования суперсимметрии в явном виде записываются как
(︀
)︀
𝜓 𝛼𝐴𝑘
= 𝑖 (𝜖11 + 𝜖12 )∇
/̄ 𝛼1
+ (𝜖21 + 𝜖22 )∇
/̄ 𝛼2
𝜙𝐴𝑘 ,
(5.10)
˙
˙
˙
(︀
)︀ 𝑘𝐴
𝜓̃︀𝑘𝐴
= 𝑖 (𝜖11 − 𝜖12 )∇
/̄ 𝛼1
+ (𝜖21 − 𝜖22 )∇
/̄ 𝛼2
𝜙 .
𝛼˙
˙
˙
(5.11)
Если мы снова рассмотрим преобразования только с параметрами 𝜖11 и 𝜖21 , мы
придём к
/̄ 2̇1 𝜙𝐴𝑘 ,
𝜓 2̇𝐴𝑘 = 𝑖𝜖11 ∇
(5.12)
𝜓̃︀𝑘𝐴
= 𝑖𝜖21 ∇
/̄ 1̇2 𝜙𝑘𝐴 .
1̇
(5.13)
Заметим, что, как и в предыдущем случае, суперориентационные моды не могут
быть сгенерированы подобным образом.
Все найденные моды будут такими же, как (5.2) и (5.3), если фермионные
координаты ввести как
1
1
𝜁𝐿 = √ 𝜖11 ,
𝜁𝑅 = − √ 𝜖21 .
(5.14)
2
2
5.3
𝒩 = 1 супертрансляционный сектор
В предыдущей главе было установлено, что в недеформированном случае супертрансляционные моды могут быть сгенерированы только при помощи 𝒩 = 1
суперзарядов, которые связаны с параметрами 𝜖11 и 𝜖21 в (3.3). Этот факт позволяет сразу перейти к пределу больших 𝜇, где остаются только упомянутые
суперзаряды.
25
5.3.1
Преобразования суперсимметрии
Когда массовый параметр 𝜇 велик, присоединённые поля 𝑎, 𝑎𝑎 и 𝜆𝑓 =2 становятся
тяжёлыми и отщепляются. Если проинтегрировать по этим полям, то в итоге
останется следующий суперпотенциал:
)︁
𝛼
1 (︁
(˜
𝑞𝐴 𝑞 𝐵 )(˜
𝑞𝐵 𝑞 𝐴 ) − (˜
𝑞𝐴 𝑞 𝐴 )2 + 𝑚(˜
𝑞𝐴 𝑞 𝐴 ) ,
(5.15)
− 𝑖𝒲(𝑞, 𝑞˜) = −
2𝜇2
𝑁
где
√︂
𝑁 𝜇2
,
(5.16)
𝛼=1−
2 𝜇1
Преобразования суперсимметрии больше не даются выражениями (3.3). Суперпотенциал (5.15) генерирует новые 𝐹 -члены, которые добавляются к суперпреобразованиям кварковых полей. Эти 𝐹 -члены даются производными суперпотенциала:
)︁
𝜕𝒲
𝛼
𝑖 (︁
𝐶
𝐶
¯
𝐹𝐴𝑘 = − 𝑘𝐴 =
𝑞˜𝐶𝑘 (˜
𝑞𝐴 𝑞 ) − (˜
𝑞𝐶 𝑞 )˜
𝑞𝐴𝑘 + 𝑚˜
𝑞𝐴𝑘
𝜕𝑞
𝜇2
𝑁
(5.17)
)︁
𝛼
𝑖 (︁
𝜙𝐶𝑘 (𝜙𝐴 𝜙𝐶 ) − (𝜙𝐶 𝜙𝐶 )𝜙𝐴𝑘 + 𝑚𝜙𝐴𝑘 ,
=
𝜇2
𝑁
)︁
𝜕𝒲
𝑖 (︁ 𝑘𝐶
𝛼
𝐹¯˜ 𝑘𝐴 = −
=
𝑞 (˜
𝑞𝐶 𝑞 𝐴 ) − (˜
𝑞𝐶 𝑞 𝐶 )𝑞 𝑘𝐴 + 𝑚𝑞 𝑘𝐴
𝜕 𝑞˜𝐴𝑘
𝜇2
𝑁
(5.18)
(︁
)︁
𝛼
𝑖
𝑘𝐶
𝐴
𝐶
𝑘𝐴
𝑘𝐴
𝜙 (𝜙𝐶 𝜙 ) − (𝜙𝐶 𝜙 )𝜙
+ 𝑚𝜙 .
=
𝜇2
𝑁
С этим можно написать новые преобразования суперсимметрии:
𝛿𝜆𝛼 =
1
(𝜎𝜇 𝜎
¯𝜈 𝜖)𝛼 𝐹𝜇𝜈 ,
2
1
𝑎
(𝜎𝜇 𝜎
¯𝜈 𝜖)𝛼 𝐹𝜇𝜈
,
2
√
√
𝑘𝐴 𝛼
¯/𝛼𝛼
= 𝑖 2∇
+ 2 𝜖¯𝛼 𝐹¯˜ 𝑘𝐴 ,
˙ 𝑞 𝜖
𝛿𝜆𝑎𝛼 =
𝛿 𝜓¯˜𝛼𝑘𝐴
˙
√
√
¯/𝛼𝛼
𝛿 𝜓¯𝛼𝐴𝑘
= 𝑖 2∇
¯𝐴𝑘 𝜖𝛼 + 2 𝜖¯𝛼 𝐹¯𝑘𝐴 .
˙
˙ 𝑞
(5.19)
Параметры преобразований обозначены как 𝜖𝛼 ≡ 𝜖𝛼, 𝑓 =1 , и калибровочные суперпартнёры 𝜆𝛼 ≡ 𝜆𝛼, 𝑓 =1 и 𝜆𝑎𝛼 ≡ 𝜆𝑎𝛼, 𝑓 =1 .
5.3.2
Область промежуточных значений r
Для вывода эффективного действия нужно знать явные выражения для фермионных ноль-мод в области 𝑅𝑔 . 𝑟 . 1/𝑚𝐿 , где
√︀
1
𝜉
𝑅𝑔 ∼
ln(𝑚𝑊 /𝑚𝐿 ), 𝑚𝑊 = 𝑔2 𝜉, 𝑚𝐿 =
.
(5.20)
𝑚𝑊
|𝜇2 |
26
Величина 𝑅𝑔 имеет смысл размера центра струны, где сконцентрированы калибровочные поля [15]. Как будет показано в дальнейшем, в этой область фермионные ноль-моды ведут себя как 1/𝑟. В эффективной теории это приведёт
к логарифмическим вкладам в нормировку кинетического члена. Наш главный
интерес именно в этих логарифмических вкладах.
Вычислим фермионные моды в этом пределе. Для больших значений параметра 𝜇 струна перестаёт быть БПС, и уравнения для бозонных профильных
функций становятся не уравнениями первого порядка как (2.6), а второго. Эти
уравнения были написаны и решены моим научным руководителем Алексеем
Юнгом. Найденные им асимптотические решения в интересующей области записываются следующим образом:
⎛
⎞
1
ln
√︀ ⎜
𝑟𝑚𝐿 ⎟
⎜
√ ⎟,
𝜉 ⎝1 −
𝜑1 ≈
𝑔2 𝜉 ⎠
ln
(5.21)
𝑚𝐿
√︀
𝜑2 ≈
𝜉,
𝑓 ≈ 𝑓𝑁 ≈ 0 .
Для того, чтобы вычислить фермионные моды, следует подставить эти решения в преобразования (5.19). Легко увидеть, что все поля 𝜆 есть нули. Рассмотрим кварковые профили. В выражении (5.19) первый член третьей строки даёт
1/𝑟 вклад, тогда как 𝐹 -член даёт константу и некоторые логарифмические добавки, которые однако подавлены множителем 1/𝜇2 . Пренебрегая последними вкладами, запишем приближённо ненулевые фермионные моды (𝜁𝐿 = √12 𝜖1 , 𝜁𝑅 = − √12 𝜖2 )
𝜓 1̇𝐴𝑘 =
𝜓 2̇𝐴𝑘 =
𝜓̃︀𝑘𝐴
1̇
=
𝜓̃︀𝑘𝐴
=
2̇
√
𝑥1 − 𝑖 𝑥2 1
𝜉
√
(𝑛𝑛)
𝑔
𝜉
2
𝑟
𝑟 ln
𝑚𝐿
√
𝑥1 + 𝑖 𝑥2 1
𝜉
√
(𝑛𝑛)
𝑔
𝜉
2
𝑟
𝑟 ln
𝑚𝐿
√
𝑥1 − 𝑖 𝑥2 1
𝜉
√
(𝑛𝑛)
𝑔
𝜉
2
𝑟
𝑟 ln
𝑚𝐿
√
𝑥1 + 𝑖 𝑥2 1
𝜉
√
(𝑛𝑛)
𝜉
𝑔
2
𝑟
𝑟 ln
𝑚𝐿
𝜁𝑅 ,
𝜁𝐿 ,
(5.22)
𝜁𝑅 ,
𝜁𝐿
Легко увидеть что они, как и ожидалось, пропорциональны 1/𝑟.
27
5.3.3
Область малых r
Для полноты рассмотрим область 𝑟 . 𝑅𝑔 . Используем снова асимптотические
решения, полученные Алексеем Юнгом:
𝜑1 ≈ 0 ,
√︀
𝜑2 ≈
𝜉,
𝑓
≈ 𝑓𝑁
𝑟2
≈ 1 − 2.
𝑅𝑔
(5.23)
С помощью (5.19) легко можно получить приближённые выражения для фермионных мод:
√
2 2
1 U(1)
𝜆
= 𝑖
𝜁𝐿 ,
𝑁 𝑅𝑔2
√
(5.24)
2 2
2 U(1)
𝜁𝑅 ,
𝜆
= −𝑖
𝑁 𝑅𝑔2
(︂
)︂ √
1 2 2
1 SU(𝑁 )
𝜆
= 𝑖 𝑛𝑛 −
𝜁𝐿 ,
𝑁 𝑁 𝑅𝑔2
(5.25)
(︂
)︂ √
1 2 2
2 SU(𝑁 )
𝜆
= −𝑖 𝑛𝑛 −
𝜁𝑅 ,
𝑁 𝑁 𝑅𝑔2
Кварковые моды зануляются в рассматриваемой области.
6
Эффективное действие в пределе больших 𝜇
Это финальная глава данной работы. Здесь выводится главный результат — эффективное действие на мировом листе струны в низкоэнергетическом пределе.
6.1
Фермионная часть трансляционного сектора
Для построения эффективного действия следует подставить решения (5.22) в
четырёхмерное действие (3.1) и проинтегрировать по координатам 𝑥1 , 𝑥2 . При
этом всё эффективное действие будет состоять только из кинетического члена,
и задача состоит в вычислении нормировочного коэффициента.
Область интегрирования разбивается на три части. Основной вклад даётся
интегрированием по промежуточным значениям переменной 𝑟: 𝑅𝑔 . 𝑟 . 1/𝑚𝐿 ,
или, пренебрегая двойным логарифмическим вкладомя, 1/𝑚𝑊 . 𝑟 . 1/𝑚𝐿 . Находим:
ℒ2d = 2𝜋𝜉 𝐼𝜉 (𝜁¯𝐿 𝑖𝜕𝑅 𝜁𝐿 + 𝜁¯𝑅 𝑖𝜕𝐿 𝜁𝑅 ) ,
(6.1)
28
где нормировочная постоянная
𝐼𝜉 =
2𝑁
.
𝑊
ln 𝑚
𝑚𝐿
(6.2)
При этом вклад от 𝐹 -членов (5.17) и (5.18) есть порядка (𝑚𝑊 /𝑚𝐿 )2 ln(𝑚𝑊 /𝑚𝐿 )
и подавлен как степень.
Диапазон больших значений переменной 𝑟 & 1/𝑚𝐿 даёт малый вклад в нормировочный множитель, так как в этой области фермионные профили спадают
экспоненциально как exp(−𝑟𝑚𝐿 ). В интегрирование по промежутку 0 6 𝑟 . 𝑅𝑔
дают вклад только профили 𝜆 (5.24) и (5.25); соответствующая добавка к нормировочному множителю
)︂
(︂ (︂
)︂
1
1
2𝑁
16
малые r
1−
+ 2
𝐼𝜉
=
𝑁 2 𝜉𝑅𝑔2 𝑔22
𝑁
𝑔1
(6.3)
(︂ (︂
)︂
)︂
2
1
1
2𝑁
16𝑔2
1−
+ 2 .
∼
𝑁 2 (ln(𝑚𝑊 /𝑚𝐿 ))2 𝑔22
𝑁
𝑔1
Видно, что этот вклад подавлен логарифмически по сравнению с (6.2).
6.2
Полное эффективное действие для струны
Полное эффективное действие состоит из трансляционного сектора, который
есть просто кинетический член для трансляционных полей 𝑥𝑖0 , 𝑖 = 1, 2; ориентационного сектора (2.8); супертрансляционного сектора (6.1). Суперориентационный сектор является тяжёлым в пределе больших 𝜇 и поэтому может быть
отброшен при построении действия в низкоэнергетическом пределе.
Канонически нормируя (6.1) и включая бозонные степени свободы, приходим к
(︂
(︂
)︂
)︂
∫︁
(︀
)︀
1
2
𝑖 2
2
2
𝑆1+1 =
𝑑 𝑥 2𝜋𝜉
(𝜕𝑥0 ) + 𝜁¯𝐿 𝑖𝜕𝑅 𝜁𝐿 + 𝜁¯𝑅 𝑖𝜕𝐿 𝜁𝑅 + 2𝛽 |𝜕𝑛| + (¯
𝑛𝜕𝑘 𝑛)
.
2
(6.4)
2
2
2
𝑖
Нормировочная постоянная 𝛽 ∼ 2𝜋/𝑔2 ×𝑚𝑊 /𝑚𝐿 . Поля 𝑥0 , 𝑖 = 1, 2 есть трансляционные модули, зависящие от координат 𝑡, 𝑧 на мировом листе. Трансляционный
сектор тривиален и отщепляется, ток что в пределе больших 𝜇 остаётся бозонная
CP(𝑁 -1) модель без фермионов.
29
Заключение
Главной целью данной работы был вывод эффективного действия для струны в
низкоэнергетическом пределе, и результат даётся формулой (6.4):
(︂
(︂
)︂
)︂
∫︁
(︀
)︀
1
2
2
2
2
𝑆1+1 =
𝑑 𝑥 2𝜋𝜉
(𝜕𝑥0 ) + 𝜁¯𝐿 𝑖𝜕𝑅 𝜁𝐿 + 𝜁¯𝑅 𝑖𝜕𝐿 𝜁𝑅 + 2𝛽 |𝜕𝑛| + (¯
𝑛𝜕𝑘 𝑛)
.
2
На основании этого результата можно сказать, что эффективная теория может быть решена методом Виттена [16] разложением по 1/𝑁 . Это поможет понять
физику явления (конфайнмент монополей) в пределе, когда теория становится
𝒩 = 1 квантовой хромодинамикой.
Одним из возможных направлений для дальнейшей работы может быть отказ от условия (1.8) и переход к случаю неравных масс кварков. Другой путь
обобщения полученного результата заключается в рассмотрении теории с числом ароматов 𝑁𝑓 , превышающим число 𝑁 для калибровочной группы SU(𝑁 ).
В соответствии с главной мотивацией данной работы — попытка понять конфайнмент в реальной квантовой хромодинамике — в будущем мы планируем ещё
больше приблизиться к последней, то есть продвигаться к теории с полностью
нарушенной суперсимметрией.
30
Приложение
A.1
Уравнения для супертрансляционных компонент
Подставляя (3.8) и (3.9) в уравнения Дирака (3.2), можно получить (с учётом
того что профильные функции 𝜆 получатся чисто мнимыми)
)︁
1 22
𝑓𝑁 22
𝑔 2 (︁
𝜆+ +
𝜆+ + 𝑖 2 𝜑2 𝜓 1̇+ (𝑟) + 𝜑1 𝜓̃︀1̇+ (𝑟) +
𝑟
𝑟
2
)︁
𝑓𝑁 22
𝑔 2 (︁
−
𝜆− + 𝑖 2 𝜑1 𝜓 1̇− (𝑟) + 𝜑2 𝜓̃︀1̇− (𝑟) + 𝜇2 𝑔22 𝜆22
+
𝑟
2
)︁
𝑓𝑁 12
𝑔22 (︁
1 12
̃︀
− 𝜆+ +
𝜆 + 𝑖
𝜑1 𝜓 2̇+ (𝑟) + 𝜑2 𝜓 2̇+ (𝑟) −
𝑟
𝑟 +
2
)︁
𝑔22 (︁
𝑓𝑁 12
̃︀
−
𝜆− + 𝑖
𝜑2 𝜓 2̇− (𝑟) + 𝜑1 𝜓 2̇− (𝑟) − 𝜇2 𝑔22 𝜆12
+
𝑟
2
− 𝜕𝑟 𝜆22
+ −
− 𝜕𝑟 𝜆22
−
− 𝜕𝑟 𝜆12
+
− 𝜕𝑟 𝜆12
−
= 0,
𝜇2 𝑔22 𝜆22
−
= 0,
(A.1)
= 0,
𝜇2 𝑔22 𝜆12
−
= 0,
)︁
𝑓𝑁 21
𝑔 2 (︁
1 21
= 0,
𝜆+ +
𝜆+ + 𝑖 2 𝜑2 𝜓 1̇+ (𝑟) − 𝜑1 𝜓̃︀1̇+ (𝑟)
𝑟
𝑟
2
)︁
𝑓𝑁 21
𝑔22 (︁
̃︀
−
= 0,
(A.2)
𝜆 + 𝑖
𝜑1 𝜓 1̇− (𝑟) − 𝜑2 𝜓 1̇− (𝑟)
𝑟 −
2
)︁
1 11
𝑓𝑁 11
𝑔22 (︁
̃︀
− 𝜆+ +
= 0,
𝜆 + 𝑖
𝜑1 𝜓 2̇+ (𝑟) − 𝜑2 𝜓 2̇+ (𝑟)
𝑟
𝑟 +
2
)︁
𝑓𝑁 11
𝑔 2 (︁
−
= 0.
𝜆− + 𝑖 2 𝜑2 𝜓 2̇− (𝑟) − 𝜑1 𝜓̃︀2̇− (𝑟)
𝑟
2
− 𝜕𝑟 𝜆21
+ −
− 𝜕𝑟 𝜆21
−
− 𝜕𝑟 𝜆11
+
− 𝜕𝑟 𝜆11
−
Для кварков,
1
21
(𝑓 − 𝑓𝑁 ) 𝜓̃︀1̇+ (𝑟) + 𝑖𝜑1 (𝜆22
+ − 𝜆+ ) = 0 ,
𝑁𝑟
1
1
21
𝜕𝑟 𝜓̃︀1̇− (𝑟) + 𝜓̃︀1̇− (𝑟) −
(𝑓 + 𝑓𝑁 (𝑁 − 1)) 𝜓̃︀1̇− (𝑟) + 𝑖𝜑2 (𝜆22
− − 𝜆− ) = 0 ,
𝑟
𝑁𝑟
1
11
𝜕𝑟 𝜓̃︀2̇+ (𝑟) +
(𝑓 + 𝑓𝑁 (𝑁 − 1)) 𝜓̃︀2̇+ (𝑟) + 𝑖𝜑2 (𝜆12
(A.3)
+ − 𝜆+ ) = 0 ,
𝑁𝑟
1
1
11
𝜕𝑟 𝜓̃︀2̇− (𝑟) + 𝜓̃︀2̇− (𝑟) +
(𝑓 − 𝑓𝑁 ) 𝜓̃︀2̇− (𝑟) + 𝑖𝜑1 (𝜆12
− − 𝜆− ) = 0 ,
𝑟
𝑁𝑟
𝜕𝑟 𝜓̃︀1̇+ (𝑟) −
31
1
21
(𝑓 + 𝑓𝑁 (𝑁 − 1)) 𝜓 1̇+ (𝑟) + 𝑖𝜑2 (𝜆22
+ + 𝜆+ ) = 0 ,
𝑁𝑟
1
1
21
𝜕𝑟 𝜓 1̇− (𝑟) + 𝜓 1̇− (𝑟) +
(𝑓 − 𝑓𝑁 ) 𝜓 1̇− (𝑟) + 𝑖𝜑1 (𝜆22
− + 𝜆− ) = 0 ,
𝑟
𝑁𝑟
1
11
𝜕𝑟 𝜓 2̇+ (𝑟) −
(𝑓 − 𝑓𝑁 )𝜓 2̇+ (𝑟) + 𝑖𝜑1 (𝜆12
(A.4)
+ + 𝜆+ ) = 0 ,
𝑁𝑟
1
1
11
(𝑓 + 𝑓𝑁 (𝑁 − 1)) 𝜓 2̇− (𝑟) + 𝑖𝜑2 (𝜆12
𝜕𝑟 𝜓 2̇− (𝑟) + 𝜓 2̇− (𝑟) −
− + 𝜆− ) = 0 .
𝑟
𝑁𝑟
Теперь можно упростить эти уравнения в пределе малых значений параметра 𝜇. Опуская слагаемые порядка 𝑂(𝜇2 ), получаем:
𝜕𝑟 𝜓 1̇+ (𝑟) +
1 22
𝑓𝑁 22
𝑔2
𝜆+ +
𝜆+ + 𝑖 2 𝜑1 𝜓̃︀1̇+ (𝑟) = 0 ,
𝑟
𝑟
2
)︁
𝑓𝑁 22
𝑔 2 (︁
−
𝜆− + 𝑖 2 𝜑1 𝜓 1̇− (𝑟) + 𝜑2 𝜓̃︀1̇− (𝑟) + 𝜇2 𝑔22 𝜆22
= 0,
+
𝑟
2
− 𝜕𝑟 𝜆22
+ −
− 𝜕𝑟 𝜆22
−
(A.5)
1 12
𝑓𝑁 12
𝑔2
𝜆+ +
𝜆+ + 𝑖 2 𝜑1 𝜓 2̇+ (𝑟) = 0 ,
𝑟
𝑟
2
)︁
(︁
𝑓𝑁 12
𝑔22
̃︀
= 0,
−
𝜆− + 𝑖
𝜑2 𝜓 2̇− (𝑟) + 𝜑1 𝜓 2̇− (𝑟) − 𝜇2 𝑔22 𝜆12
+
𝑟
2
− 𝜕𝑟 𝜆12
+ −
− 𝜕𝑟 𝜆12
−
1 21
𝑓𝑁 21
𝑔2
𝜆+ +
𝜆+ − 𝑖 2 𝜑1 𝜓̃︀1̇+ (𝑟) = 0 ,
𝑟
𝑟
2
)︁
𝑓𝑁 21
𝑔 2 (︁
−
= 0,
𝜆− + 𝑖 2 𝜑1 𝜓 1̇− (𝑟) − 𝜑2 𝜓̃︀1̇− (𝑟)
𝑟
2
− 𝜕𝑟 𝜆21
+ −
− 𝜕𝑟 𝜆21
−
(A.6)
1 11
𝑓𝑁 11
𝑔2
𝜆+ +
𝜆+ + 𝑖 2 𝜑1 𝜓 2̇+ (𝑟) = 0 ,
𝑟
𝑟
2
(︁
)︁
𝑓𝑁 11
𝑔22
̃︀
−
= 0.
𝜆 + 𝑖
𝜑2 𝜓 2̇− (𝑟) − 𝜑1 𝜓 2̇− (𝑟)
𝑟 −
2
− 𝜕𝑟 𝜆11
+ −
− 𝜕𝑟 𝜆11
−
Для кварков,
1
21
(𝑓 − 𝑓𝑁 ) 𝜓̃︀1̇+ (𝑟) + 𝑖𝜑1 (𝜆22
+ − 𝜆+ ) = 0 ,
𝑁𝑟
1
1
21
𝜕𝑟 𝜓̃︀1̇− (𝑟) + 𝜓̃︀1̇− (𝑟) −
(𝑓 + 𝑓𝑁 (𝑁 − 1)) 𝜓̃︀1̇− (𝑟) + 𝑖𝜑2 (𝜆22
− − 𝜆− ) = 0 ,
𝑟
𝑁𝑟
1
1
11
(𝑓 − 𝑓𝑁 ) 𝜓̃︀2̇− (𝑟) + 𝑖𝜑1 (𝜆12
𝜕𝑟 𝜓̃︀2̇− (𝑟) + 𝜓̃︀2̇− (𝑟) +
(A.7)
− − 𝜆− ) = 0 ,
𝑟
𝑁𝑟
𝜕𝑟 𝜓̃︀1̇+ (𝑟) −
32
1
1
21
𝜓 1̇− (𝑟) +
(𝑓 − 𝑓𝑁 ) 𝜓 1̇− (𝑟) + 𝑖𝜑1 (𝜆22
− + 𝜆− ) = 0 ,
𝑟
𝑁𝑟
1
11
𝜕𝑟 𝜓 2̇+ (𝑟) −
(𝑓 − 𝑓𝑁 )𝜓 2̇+ (𝑟) + 𝑖𝜑1 (𝜆12
(A.8)
+ + 𝜆+ ) = 0 ,
𝑁𝑟
1
1
11
(𝑓 + 𝑓𝑁 (𝑁 − 1)) 𝜓 2̇− (𝑟) + 𝑖𝜑2 (𝜆12
𝜕𝑟 𝜓 2̇− (𝑟) + 𝜓 2̇− (𝑟) −
− + 𝜆− ) = 0 . .
𝑟
𝑁𝑟
𝜕𝑟 𝜓 1̇− (𝑟) +
Для «-» -компонент находим:
− 𝜕𝑟 𝜆22
−
− 𝜕𝑟 𝜆12
−
)︁
𝑓𝑁 22
𝑔22 (︁
̃︀
−
𝜆− + 𝑖
𝜑1 𝜓 1̇− (𝑟) + 𝜑2 𝜓 1̇− (𝑟) + 𝜇2 𝑔22 𝜆22
= 0,
+
𝑟
2
)︁
𝑓𝑁 12
𝑔22 (︁
̃︀
−
𝜆− + 𝑖
𝜑2 𝜓 2̇− (𝑟) + 𝜑1 𝜓 2̇− (𝑟) − 𝜇2 𝑔22 𝜆12
= 0,
+
𝑟
2
)︁
𝑔 2 (︁
𝑓𝑁 21
= 0,
𝜆− + 𝑖 2 𝜑1 𝜓 1̇− (𝑟) − 𝜑2 𝜓̃︀1̇− (𝑟)
𝑟
2
)︁
𝑓𝑁 11
𝑔 2 (︁
−
= 0.
𝜆− + 𝑖 2 𝜑2 𝜓 2̇− (𝑟) − 𝜑1 𝜓̃︀2̇− (𝑟)
𝑟
2
(A.9)
(A.10)
− 𝜕𝑟 𝜆21
− −
(A.11)
− 𝜕𝑟 𝜆11
−
(A.12)
For quarks,
𝜕𝑟 𝜓̃︀1̇− (𝑟) +
1 ̃︀
1
21
(𝑓 + 𝑓𝑁 (𝑁 − 1)) 𝜓̃︀1̇− (𝑟) + 𝑖𝜑2 (𝜆22
𝜓 1̇− (𝑟) −
− − 𝜆− ) = 0 ,
𝑟
𝑁𝑟
(A.13)
𝜕𝑟 𝜓̃︀2̇− (𝑟) +
1 ̃︀
1
11
𝜓 2̇− (𝑟) +
(𝑓 − 𝑓𝑁 ) 𝜓̃︀2̇− (𝑟) + 𝑖𝜑1 (𝜆12
− − 𝜆− ) = 0 ,
𝑟
𝑁𝑟
(A.14)
1
1
21
(𝑓 − 𝑓𝑁 ) 𝜓 1̇− (𝑟) + 𝑖𝜑1 (𝜆22
(A.15)
𝜓 1̇− (𝑟) +
− + 𝜆− ) = 0 ,
𝑟
𝑁𝑟
1
1
11
𝜕𝑟 𝜓 2̇− (𝑟) + 𝜓 2̇− (𝑟) −
(𝑓 + 𝑓𝑁 (𝑁 − 1)) 𝜓 2̇− (𝑟) + 𝑖𝜑2 (𝜆12
− + 𝜆− ) = 0 .
𝑟
𝑁𝑟
(A.16)
𝜕𝑟 𝜓 1̇− (𝑟) +
Подставляя
𝜆12
+ (𝑟) =
𝑖 𝑓𝑁 𝜑 1
+ 𝑂(𝜇22 ),
2 𝑟 𝜑2
𝜆22
+ (𝑟) = −
𝑖 𝑓𝑁 𝜑 1
+ 𝑂(𝜇22 ) :
2 𝑟 𝜑2
33
(A.17)
(A.18)
из (3.11), можно записать:
− 𝜕𝑟 𝜆22
− −
)︁
𝑖 𝑓𝑁 𝜑1
𝑓𝑁 22
𝑔 2 (︁
𝜆− + 𝑖 2 𝜑1 𝜓 1̇− (𝑟) + 𝜑2 𝜓̃︀1̇− (𝑟) − 𝜇2 𝑔22
𝑟
2
2 𝑟 𝜑2
= 0,
(A.19)
− 𝜕𝑟 𝜆12
−
)︁
𝑔22 (︁
𝑖 𝑓𝑁 𝜑1
𝑓𝑁 12
̃︀
𝜆− + 𝑖
𝜑2 𝜓 2̇− (𝑟) + 𝜑1 𝜓 2̇− (𝑟) − 𝜇2 𝑔22
−
𝑟
2
2 𝑟 𝜑2
= 0.
(A.20)
34
Список литературы
[1] G. ’t Hooft, Nucl. Phys. B190, 455 (1981).
[2] S. Mandelstam, Phys. Rept. 23, 245 (1976).
[3] M. Shifman and A. Yung, Rev. Mod. Phys 79, 1139 (2007), hep-th/0703267.
[4] M. Shifman and A. Yung, Supersymmetric Solitons (Cambridge Monographs on
Mathematical Physics, 2009), Hardback.
[5] N. Seiberg and E. Witten,
Erratum: B430, 485 (1994).
Nucl. Phys. B426, 19 (1994), hep-th/9407087,
[6] M. Shifman and A. Yung, Phys. Rev. D 70, 045004 (2004), hep-th/0403149.
[7] A. Hanany and D. Tong, JHEP 0307, 037 (2003), hep-th/0306150.
[8] A. Hanany and D. Tong, JHEP 0404, 066 (2004), hep-th/0403158.
[9] R. Auzzi, S. Bolognesi, J. Evslin, K. Konishi, and A. Yung, Nucl. Phys. B 673,
187 (2003), hep-th/0307287.
[10] D. Tong, Tasi lectures on solitons, hep-th/0509216.
[11] D. Tong, Quantum Vortex Strings: A Review, hep-th/0809.5060.
[12] M. Eto, Y. Isozumi, M. Nitta, K. Ohashi, and N. Sakai, J. Phys. A 39, R315
(2006), hep-th/0602170.
[13] M. Shifman and A. Yung, Phys. Rev. D 77, 125016 (2008), hep-th/0803.0158.
[14] P. A. Bolokhov, M. Shifman, and A. Yung, Phys. Rev. D 79, 085015 (2009),
hep-th/0901.4603, Erratum: 80, 049902 (2009).
[15] A. Yung, Nucl. Phys. B 562, 191 (1999), hep-th/9906243.
[16] E. Witten, Nucl. Phys. B 149, 285 (1979).
35
Отзывы:
Авторизуйтесь, чтобы оставить отзыв