CC BY
11
Класс моделей со спонтанной компактификацией типа Фройнда-Рубина и нетривиальным решением для векторного поля
Э. Р. Рахметов0, С. И. Кейзеров6
Научно-исследовательский институт ядерной физики имени Д. В. Скобельцина (НИИЯФ МГУ). Россия, 119991, Москва, Ленинские горы, д. 1, стр. 2.
E-mail: а rahmetov@theory.sinp.msu.ru, ь errar@www-hep.sinp.msu.ru Статья поступила 13.04.2011, подписана в печать 30.11.2011
Рассматривается теория взаимодействующих полей (гравитационного, векторного и антисимметричного тензорного поля третьего ранга), имеющих самосогласованные решения спонтанной компактификации (решения типа Фройнда-Рубина) в семимерном пространстве-времени. Изучается класс моделей, в которых возможен тот же тип компактификации и при этом имеются нетривиальные решения для векторного поля. Выделяется подкласс моделей с ненарушенной или слабо нарушенной четырехмерной лоренц-инвариантностью.
Ключевые слова: теории типа Калуцы-Клейна, спонтанная компактификация, решение Фройнда-Рубина, лоренц-инвариантность, реперный формализм, левоинвариантный репер.
УДК: 531.51. PACS: 04.50.+h.
Введение
В работе [1] показано, что в теории с одним дополнительным измерением добавление векторного поля, пятая компонента которого имеет нетривиальное (ненулевое) фоновое значение, позволяет получить нарушение киральной симметрии. Также в работе [2] демонстрируется, как нетривиальное фоновое значение векторного поля может приводить к нарушению СР-инвариантности. Аналогичные результаты справедливы и для большего числа дополнительных измерений. Подобные теории актуальны, например, в связи с попытками построения различных альтернативных сценариев нарушения лево-правой симметрии в Стандартной модели [3].
Таким образом, при построении физических теорий с нарушенной лево-правой симметрий, а также моделей, в которых СР-инвариантность нарушается в результате размерной редукции, естественным образом возникает задача отыскания решений спонтанной компактификации с нетривиальным значением векторного поля. Однако, в простейших случаях компоненты векторного поля в решениях спонтанной компактификации имеют тривиальные значения. Например, в моделях Калуцы-Клейна, бозонная часть которых состоит только из гравитационного и векторного полей (с лагранжианом — суммой эйнштейновского и максвелловского) самосогласованное решение спонтанной компактификации может быть только решением типа Х4 х 51 х 51 • • • 51 или тривиальным решением для векторного поля (где Х4 — некоторое четырехмерное пространство, а 51 х 51 •••51 — многомерный тор). Это приводит к тому, что получаемые после редукции безмассовые векторные поля обладают лишь ¿/(1) х ¿/(1) х ... х ¿/(1) симметрией. Исключением является случай двух дополнительных измерений, когда возможна спонтанная компактификация типа Х4 х 52 [4]. Чтобы получить компакти-фикацию других типов, нужно рассматривать более сложные модели. Здесь возможны различные варианты.
Во-первых, можно рассматривать лагранжианы гравитационного и векторного полей более сложные, чем сумма эйнштейновского и максвелловского, например введя неминимальное взаимодействие между этими полями. Во-вторых, вместо одного абелева векторного поля можно ввести янг-миллсовский мультиплет с некоторой группой б. В таких теориях возможно решение спонтанной компактификации типа Х4 х /д?„4, где I — однородное пространство, тип которого зависит от О [5, 6]. В-третьих, помимо векторного поля можно рассматривать и другие дополнительные бозонные поля [6, 7].
Если в рамках третьего подхода добавить в теорию антисимметричное тензорное поле третьего ранга Яавс . то можно получить спонтанную компактификацию типа Фройнда-Рубина [4, 7] — Х4 х 5д? (.V — число дополнительных измерений) либо Х4 х 52 х 5д^2 ■ В первом случае решение допускает только тривиальное (равное всюду нулю) векторное поле. Второй случай более интересен тем, что компоненты векторного поля в 52 нетривиальны, — собственно, в этом случае векторное поле также выступает в качестве поля Фройнда-Ру-бина, отвечающего за 52. Очевидно, в таком варианте условие нетривиальности согласуется только с однородными, но неизотропными компактифицированными пространствами. Если же обобщить модель, введя особого вида взаимодействия между векторным полем Уд и полем Фройнда-Рубина Яавс . т0 становится возможным получение изотропной компактификации Х4 х 5д?. Один из вариантов такого обобщения мы и рассмотрим в этой работе.
Мы изучаем теорию гравитационного, векторного и антисимметричного тензорного полей, для которой в семимерном пространстве возможны решения компактификации вида Х4 х 5з. Семимерное пространство-время (три дополнительных измерения) выбрано потому, что это минимальное число измерений, при котором возникает нетривиальное решение для векторного поля. В разделе 1 кратко воспроизводится решение типа Фройнда-Рубина при наличии
в теории векторного поля, введенного в лагранжиан минимальным способом. Решения спонтанной ком-пактификации типа Х4 х такой модели допускают только тривиальные значения для векторного поля. В разделе 2 мы строим более сложный лагранжиан для рассматриваемой системы полей. В качестве критериев для построения лагранжиана мы выбрали следующие: а) наличие решения спонтанной компак-тификации Х4 х Бз; б) наличие при этом для векторного поля нетривиального фонового решения (вакуум с ненулевым векторным полем); в) решения обладали бы четырехмерной лоренц-инвариантностью. В п. 2.2 рассматривается решение, которое таковой инвариантностью не обладает.
1. Решение типа Фройнда-Рубина с тривиальным значением векторного поля
Пусть Ор£ — метрическое (гравитационное), Ьд — векторное и Яавс — антисимметричное тензорное (Фройнда-Рубина) поля в семимерном пространстве-времени с сигнатурой (—,+,+,...,+). Индексы, обозначенные прописными латинскими буквами, пробегают значения 0, 1, 2, 3, 5, 6, 7; строчными латинскими — только 5, 6, 7, а строчными греческими — только 0, 1, 2, 3. Мы также будем использовать реперный формализм; реперные индексы будут обозначаться теми же буквами, но выделяться жирным шрифтом.
Кратко рассмотрим сначала обычное решение Фройнда-Рубина при наличии массивного векторного поля. Действие
S =
J_
2к
Ly/Gd1 х,
х7
где L — семимерный лагранжиан, имеющий вид
1 4
L = {R^2K)^-JABFAB^l-m2vVAVA^^PABCDPABCD, (1)
48
а А и к — семимерные скалярная кривизна, космологическая и гравитационная константы соответственно; ту — семимерная масса векторного поля, а Рю = д[АУв] и РАВСО = д1АЯВСО] - тензоры напряженности векторного и антисимметричного полей. Для удобства мы нормировали поля так, чтобы можно было вынести к в качестве общего множителя. Выпишем уравнения движения, следующие из действия (1):
= ^20ав1 + Кав ~ ~[2РАЯКРвр$к ~
1414 = 0, (2)
2к 5S ■s/Щ SQabc 2к 5S
= vdpdabc = о,
= VDFDA - m'yV = 0.
(3)
(4)
Нетрудно убедиться, что эта система допускает решение спонтанной компактификации Х4 х только если 1/д = 0.
2. Решения с нетривиальным значением векторного поля
2.1. Лоренц-инвариантное решение с нетривиальным значением векторного поля
Чтобы получить решение с Уч ф 0, обобщим модель, введя взаимодействие полиномиального вида между векторным и антисимметричным полями. Здесь возникает определенная техническая трудность. Добавление слагаемых третьего порядка не приводит к появлению удовлетворительных решений, а уже начиная с четвертого порядка число возможных ковариантных комбинаций исчисляется десятками. Поэтому упрощаем задачу, ограничившись взаимодействием специального вида, а именно такого, что лагранжиан можно переписать в виде
1 — —Ав
L = R^2A^-FabF -
1 9ТТ тт А 1
¿mfl/д!Г-^РМСОРАВ™, (5)
где Fab и VA — некоторые полиномиальные тензорные функции от VA, FAb, QAbc и Pabcd не выше второго порядка. Наиболее общий вид этих тензоров в семимерном пространстве-времени следующий:
Fab = Fab + kiQABc^C + ^PabcdF00 +
+ h^abcdefov0 PDEFG + k4 £AbcdefgFCDqEFG + + h £abcdefgqcdh phfg + keefaefgh qb]cdpefgh +
+ kj£G®EFGH Pb\cdeQfgh ,
rH Т«6Ь[Л
[А гв]шчет> (6)
VA = VA + kg Fj^bV0 + kg QAbcFBC + ¿10 PabcdQdcd +
+ kneabcdefgfBCPDEFG (7)
с некоторыми константами k\,... ,k\ \.
Подчеркнем, что фигурирующие в лагранжине VA и FAb не являются новыми динамическими переменными теории, а представляют собой лишь удобную форму записи некоторых комбинаций полей модели (подобно тензору напряженности в калибровочной теории или тензору кривизны в теории гравитации). На это указывает, в частности, тот факт, что далее уравнения движения мы получаем, варьируя действие по VA (без черты), а не по VA. Использование таких комбинаций позволяет не только существенно упростить выражения для лагранжиана теории, но и облегчить анализ следующих из (5) уравнений движения:
■ = ^ о gabl + &ав - 'qrpbpqr +
-s/Щ 50^ 2
1-=/>-= 1 217 17 1 SFpq-=;pq 25Vpj-p
■fAFBP-^VAVB-^-^F -tr^j^V =0,
V5GAB
(8)
2k 5S л/Щ SQabc
1 5FPq -=pq 2 SVP —P -r — m—-
v SQabc
2 Vй+ VDPDABC =0, (9)
2 SQabc
2k 5S = 1 SFpqtpq _ m2_Sjp_up = 0
^/\G\5VA 2 SVA V5VA ■
п SFpo -f;PQ
Под выражениями типа -щ-г подразумевается производная Лагранжа, например
SFpq^pq ^ dFpQ -pPQ _ / dFPQ^PQ\
5Va дУА B dFBÄ J '
Сравним эти уравнения с выписанными выше уравнениями (2)-(4). Если в (2)-(4) положить VA = 0 hFab = 0 (второе является следствием первого), а в (8)—(10) — гПуУд = 0 и FAB = 0 (отметим, что здесь второе уже не является следствием первого), то получившиеся уравнения будут попарно совпадать. Следовательно, при этих условиях обе системы будут иметь одинаковые решения для метрического и антисимметричного полей, в частности решение с одним и тем же типом спонтанной компактификации. Поэтому вместо системы (8)—(10) будем решать систему
- \gabl + rab - ^ppaqrpbpqr = 0, (11)
vdpdabc=0, (12)
m^VA = 0, Fab = 0. (13)
Подчеркнем, что мы использовали для VA и FAB выражения (6) и (7) исключительно для простоты, выбрав для потенциала взаимодействия полином четвертой степени по полям и их производным. Очевидно, что такой выбор не является обязательным. Можно рассматривать более сложное действие, используя любые другие функционалы от полевых переменных, которые на требуемых решениях (в части метрики и антисимметричного поля) при некоторых нетривиальных VA обращались бы в нуль, т. е. удовлетворяли бы уравнениям (13).
Решения для GAB и QABc, удовлетворяющие уравнениям (11)-(12) и дающие желаемую компактифика-цию, могут быть несовместимыми с требованиями (13). Ниже мы покажем, при каких наборах констант эти системы совместны, а также имеют решения с четырехмерной лоренц-инвариантностью.
Выберем следующие анзацы для полей.
Метрический тензор:
Gaß = rjaß (зависит только от xß), Gpq = hpq (зависит только от хч)
— метрика на Х4 (с постоянной скалярной кривизной К) и сфере S3 (радиуса г) соответственно; т.е. метрика r/aß такова, что Raß = jr/aß, a hpq — такая, что Rpq = 2r^2hpq. Смешанные компоненты метрического тензора gqa равны нулю тождественно.
Антисимметричное тензорное поле QABc ■
Qaßy = Zaß-ftiQ1* (зависит ТОЛЬКО ОТ xß), Qabc = SabcQ (ЗЭВИСИТ ТОЛЬКО ОТ X4).
Четырехмерную дивергенцию поля Q>1 обозначим как
= (14)
поскольку ниже мы покажем, что это просто константа, не зависящая от координат.
Для такого (2АВс нетривиальные компоненты тензора РАВсо имеют вид Рав^ = £аруб&> а остальные тождественно равны нулю. Анзац для векторного поля:
Уц = 0, Уа{х(}) = Уа(хч) (зависит только от координатх^).
Для этого анзаца нетривиальными являются следующие компоненты тензора РАВ :
Подставим эти анзацы в системы (11)—(13) и по-
лучим
^{4А — К — 12г~2 + a2}r/aß = 0, (15)
^■{4А — 2К — 4г^2 — a2}hat = 0, (16)
- e^V^a = 0, (17)
Faß = 0, (18)
Faß=l2k4FaQß = 0, (19)
Fab = eabl{Fl + 0hQ - 2Ща)У1} = 0, (20)
Va = 6kloaQa=0, (21)
туУа = тЦУа + к6еамурч + (2&,(? - Шпа)Ра} = 0.
(22)
Рассмотрим сначала уравнения (15), (16) и (17). Из (17) следует, что а от координат не зависит. А пара уравнений (15), (16) приводит к выражениям
а2 = 4г^2 - \-К, Л = 2г~2 + (23)
2 о
Теперь рассмотрим уравнения (18-20) и (21,22). Отметим, что четырехмерный вектор (211 явным образом нарушает инвариантность решения относительно четырехмерных преобразований Лоренца. Поэтому, чтобы решение могло выглядеть физически осмысленным, это поле либо должно быть очень слабым (что не так, потому что пропорциональная его дивергенции величина а имеет порядок г^1), либо константы взаимодействия с ним должны быть очень малыми. В частности, если все константы в выражениях (6) и (7) для УА и РАВ при слагаемых, в которых фигурирует непосредственно Яавс (а не Равсо)> т0 лагранжиан и решения уравнений движения инвариантны относительно преобразований вида
яавс яавс + с>[л£вс].
а нарушение лоренц-инвариантности становится ненаблюдаемым (поскольку с вектором (211 ничто не взаимодействует). Поэтому в дальнейшем будем полагать = = = = = = &10 = 0 ■ При этих константах мы можем переписать нетривиальные уравнения в следующем виде:
= 2ЩаУ1, (24)
ш|{1 - 1152Мца2} = 0. (25)
Из (25) следует, что либо Шу = 0, либо
1152^з^п а2 = 1.
Как видим, при этом Ф 0 и к\\ Ф 0. Выберем на сфере репер ^ такой, что
д\рдч] = -2г-1ерч1д1, др = ёрда (26)
(так называемый левоннварнантный репер) и перепишем уравнение (24) в виде
£аЬсдьУс + 2г^1Уа = 2Ак3аУа. (27)
Подействовав на правую и левую части этого уравнения оператором да, получим с учетом (26) и того, что 24^за Ф 0,
даУа = 0. (28)
С другой стороны, уравнение (27) можно переписать в виде
д1аУь] + 2Г1£аЬсУс = (24к3а - ШеаЬсУс. Подействовав на это уравнение оператором да, получим
РдаУь - дадьУа + 2Г1 еаЬсдаУс = (24к3а - №)еаЬсда\/с.
(29)
Поскольку в репере (26) д"даУь = А14, где А — оператор Лапласа на сфере, действующий на скаляры 14, а также дадьУа = д^дцУ + дьдаУа = = —2г~1£аьсдсУ + дьдаУ, то (29) принимает вид
АУь^дьдаУа = 24к3аеаЬсдаУс. (30)
Выразив из (27) величину еаЬсдаУс и подставив ее в (30), перепишем это уравнение в виде
{А + 24^за(24^за - 2Г1)Щ = дьдаУа,
или с учетом (28)
{А + 24к3а(24к3а — 2г~1)}Уь = 0. (31)
Система из уравнений (31) и (28) эквивалентна исходному уравнению (27). Уравнение (31) имеет всюду регулярные решения при
24к3а(24к3а ^2Г1) = п(п + 2)Г2, (32)
где « = 0,1,2,... При п = 0 решениями являются постоянные Ц,. Условие (32) при этом означает, что
24к3а = 2т""1, если п = 0. (33)
В итоге при к4 = 0 и ту ф 0 должно быть (33)
и Уа=ёаУц, где — левоинвариантный репер на сфере, а Уч — постоянные.
Итак, в семимерном пространстве-времени модель с лагранжианом (6), где У а и Рав имеют вид
РАВ = РАВ + ^РАВСОР00 + к3£АвсоЕРвУС РШР°,
Уа = УА + к6РАВУв + кпеАвсоЕРоРВСРШт
с произвольными константами к2 и к3, допускает решения со спонтанной компактификацией типа Фройн-да-Рубина вида Х4 х Б3 с нетривиальным вакуумным значением векторного поля У а, обладающие лоренц-инвариантностью.
2.2. Решение со слабо нарушенной лоренц-инвариантностью
В предыдущем подразделе мы рассмотрели решение, инвариантное относительно четырехмерных ло-ренцевых преобразований. Теперь рассмотрим другой случай, когда на константы к\, к4, к5, к&, к7, кд, к10 не накладывается условие равенства нулю. В этом случае четырехмерная лоренц-инвариантность может нарушаться.
Уравнение (19) при к4=/=0 перестает быть тривиальным, из него теперь следует
Ра = 0.
Это уравнение имеет решения вида
К = дах,
где х произвольная функция всех координат. Далее из уравнения (24) можно заключить, что Р1 = (24&за — к\0)У1, т.е.
к^ = 24к3а. (34)
Из уравнения (25) теперь видно, что решение возможно лишь при
т¥ = 0.
Обратим внимание, что для данного типа решения существенно, что константы к\ и к4 не равны нулю. При этом величина к4 может быть сколь угодно малой, не изменяя самого решения, а вот величина к\ по формуле (34) связана с к3 и фоновыми значениями С} и а, причем последняя величина приближенно равна 2г~1 (см. (23)). Величина же С} всегда встречается в комбинации кг<3, которая, как видим, имеет порядок 48к3г^г.
Заключение
В настоящей работе мы ограничились тензорами Рав> квадратично зависящими от У а, Рав> Яавс и Равсо> и убедились, что в семимерном пространстве-времени теория с лагранжианом (5) имеет самосогласованные решения со спонтанной компактификацией. Эти решения унаследовали все основные черты спонтанной компактификации Фройн-да-Рубина теории с лагранжианом (1), но при этом имеют нетривиальные векторные поля, которые могут не просто быть константами не равными нулю, но и сложным образом зависеть от дополнительных координат. В рассматриваемой теории векторное поле не является калибровочным, т. е. лагранжиан неинвариантен относительно фазовых преобразований У а У а + ■ Мы ограничились вариантом, при котором лагранжиан инвариантен относительно преобразований (Эавс Яавс + ЩаСвс] ■ В таком случае с фоновым значением (211, нарушающим четырехмерную лоренц-инвариантность, ни одно другое наблюдаемое поле явно не взаимодействует. Взаимодействие осуществляется только с Раруб = а£а@7б > т-е- с не зависящим от координат скаляром а. Это позволило нам получить решение с четырехмерной лоренц-инвариантностью.
В более общем случае, когда константы к\, к4, кд и к\о не равны нулю, теория становится неинвариантной относительно четырехмерных лоренцевых преобразований. Это может проявляться во взаимодействии (наблюдаемых) легких мод возмущений всех полей непосредственно с фоновым полем (211. Поскольку величина (211 связана с а по формуле (14), а та в свою очередь (см. (23)) имеет порядок л-1, то такое взаимодействие не давало бы сильного нарушения только в случае очень малых перечисленных констант. Малые колебания всех полей над полученными (фоновыми) решениями можно разложить по некоторому базису, зависящему от дополнительных
координат, и трактовать полученные моды как эффективные четырехмерные поля. Параметры и константы взаимодействий этих полей, очевидно, будут зависеть от первоначальных констант теории, в частности от к\ и . Поэтому, для того чтобы теория была физически интересной, хотя бы некоторые из этих констант не должны быть слишком малыми. Таким образом, при по-видимому, должно либо наблюдаться сильное нарушение лоренц-инвариантности, либо константы взаимодействий наблюдаемых четырехмерных полей должны быть очень малы.
Авторы благодарны профессору Э. Э. Боосу, доктору физ.-мат. наук И. П. Волобуеву и кандидату физ.-мат. наук М. Н. Смолякову за полезные обсуждения.
Работа выполнена при финансовой поддержке Программы поддержки ведущих научных школ (грант
НШ-4142.2010.2) и Министерства образования и науки РФ (ГК № 02.740.11.0244).
Список литературы
1. Salvio A., Shaposhnikov М. // arXiv:0707.2455vl [hep-th], 17 July 2007.
2. Thirring W. 11 Acta Phys. Austriaca Suppl. 1972. 9. P. 256.
3. Емельянов B.M. Стандартная модель и ее расширения. М., 2007.
4. DeWolfe О., Freedman D.Z., Gubser S.S. et al. // arXiv:hep-th/0105047v 1.
5. Cremmer E., Scherk I. // Nucl. Phys. B. 1977. 118, N 1/2. P. 61.
6. Волобуев И.П., Кубышин Ю.А. Дифференциальная геометрия и алгебры Ли и их приложения в теории поля. М., 1998.
7. Freund P.G., Rubin М.А. // Phys. Lett. В. 1980. 97. P. 233.
A class of models with a spontaneous compactification of Freund-Rubin type and nontrivial solution for the vector field
E.R. Rakhmetov0, S.I. Keizerovft
D. V. Skobeltsyn Institute of Nuclear Physics, M. V. Lomonosov Moscow State University, Moscow 119991, Russia.
E-mail: a rahmetov®theory.sinp.msu.ru, b errar@www-hep.sinp.msu.ru.
A theory of interacting gravity, vector and antisymmetric third-rank tensor field with a spontaneous compactification solution of Freund-Rubin type in seven-dimensional space-time is presented. A class of models is studied, which admit the same type of compactification and, at the same time, possess nontrivial solutions for the vector field. A class of models is isolated, in which the four-dimensional Lorentz-invariance is either unbroken or weakly broken.
Key words: Kaluza-Klein theories, spontaneous compactification, Freund-Rubin solution, Lorentz invariance, reference frame formalism, left-invariant frame. PACS: 04.50.+h. Received 13 April 2011.
English version: Moscow University Physics Bulletin 2(2012).
Сведения об авторах
1. Рахметов Эдуард Рустямович — мл. науч. сотрудник; тел.: (495) 939-58-81, e-mail: rahmetov@theory.sinp.rnsu.ru.
2. Кейзеров Сергей Иванович — мл. науч. сотрудник; тел.: (495) 939-58-81, e-mail: errar@www-hep.sinp.msu.ru.
