Поля модулей CY

Когда кто-то делает струнную компактификацию на 3-кратном Калаби-Яу. Параметры в модулях Кэлера и комплексных модулях дают скалярные поля в 4-х измерениях. Утверждается, что кэлеровы потенциалы пространства модулей CY дают кинетические члены скалярных полей в 4d. Может ли кто-нибудь сообщить мне, почему?

Я знаю, что последовательное соединение мультиплета SUSY, содержащего скаляры, с супергравитацией требует, чтобы скалярный кинетический член исходил из потенциала Кэлера. Но я не уверен, почему именно этот кэлеров потенциал совпадает с потенциалом для пространств модулей CY в случае струнной компактификации. Может ли кто-нибудь объяснить это мне? Спасибо!

К сожалению, я не знаю ответа, но я попытался поделиться этим вопросом, и, надеюсь, кто-то еще наткнется на него. Добро пожаловать на биржу стека физики!

Ответы (1)

Чтобы описать физику 4-х мерного пространства-времени, начиная с 10-ти мерного пространства, мы считаем, что дополнительное 6-ти мерное пространство имеет очень маленький размер (около планковской длины). В теории струн это называется комопактификацией. Тогда симметрия теории требует, чтобы это внутреннее пространство было плоским Риччи:

р я Дж "=" 0
где я и Дж бег от 0 до 6.

Поскольку многообразия CY имеют структуру комплексных многообразий, целесообразно использовать индексы комплексных многообразий, т.е. я , Дж "=" 1 , 2 , 3 . Метрика на многообразиях CY имеет тип (1,1) г я , Дж ¯ и получаем замкнутую (1,1)-форму из метрики

ю "=" 1 г я Дж ¯ г г я г г ¯ Дж ¯ .
И нигде не существует исчезающей голоморфной 3-формы Ом к л м так как тензор Риччи равен нулю.

В дальнейшем мы будем рассматривать модули многообразий CY. Если геометрический объект можно непрерывно деформировать с сохранением его геометрических свойств, мы называем параметр этого модуля деформации. Предположим, что метрика г я Дж ( у ) задается на коллекторе CY М где у является местной координатой М . И предположим, что изменение метрики г я Дж + г я Дж и эта новая метрика также дает RIcci квартиру. Тогда, взяв первый порядок деформации метрики, имеем

Δ 6 г я Дж ( у ) "=" 0
где Δ 6 является 6-мерным лапласианом. Таким образом, деформация метрики, сохраняющая определение CY-многообразий, задается собственной функцией лапласиана с нулевым собственным значением. В общем случае собственные значения Δ 6 принимать нулевые и положительные значения:
Δ 6 ф я Дж α ( у ) "=" м α 2 ф я Дж α ( у ) , α "=" 1 , 2 , .
Рассмотрим случай, когда деформация метрики г я Дж имеет тип (1,1), дельта г я Дж ¯ , и типа (2,0) , дельта г я Дж , соответственно. В общем случае метрика на кэлеровом многообразии имеет тип (1, 1) и г я Дж ¯ дает деформацию, сохраняющую этот тип. Это называется деформацией келеровой структуры. Деформация келеровой структуры описывается решением уравнения
Δ 6 ю я Дж ( у ) "=" 0 ,
т.е. задается гармонической (1,1)-формой. Номер гармонической (1,1)-формы определяется числом Ходжа час 1 , 1 коллектора М . С другой стороны, деформация метрики типа (2,0) подразумевает деформацию сложной структуры на комплексном многообразии. Используя комплексное сопряжение Ом ¯ из Ом , мы получаем
х я Дж ¯ к ¯ дельта г я Дж г Дж к ¯ Ом ¯ к ¯ л ¯ м ¯ .
Поэтому деформация сложной структуры описывается гармонической (1,2)-формой, а степень свободы деформации становится числом Ходжа час 1 , 2 "=" час 2 , 1 . Как видим, CY-многообразия имеют два вида параметров деформации, кэлеровы параметры и параметры сложной структуры, называемые модулями, причем кэлеровы параметры соответствуют степени изменения размера и параметры сложной структуры соответствуют параметрам деформации формы. Метрика пространства комплексных структурных модулей есть
г α β ¯ м о г "=" я х α х ¯ β ¯ я Ом Ом ¯
Напомним, что показатель г α β ¯ м о г пространства комплексных структурных модулей можно получить из кэлеровского потенциала К
г α β ¯ м о г "=" α β ¯ К   ,
обнаруживается, что потенциал Кэлера может быть записан как
К "=" бревно ( я Ом Ом ¯ )   .

Давайте выберем основу С а ( а "=" 1 , , час 1 , 1 ) 4-цикла как двойственные гармонической (1,1)-формы ю а ю я Дж ¯ а г г я г г Дж ¯ ( а "=" 1 , , час 1 , 1 ) . Тогда мы можем расширить

* С + 1 ю "=" т а ю а
где ю является келеровой формой и С является 4-м антисимметричным тензорным полем, которое является партнером гравитационного поля. Тогда коэффициенты разложения равны
т а "=" С а ( С + 1 * ю ) .
Это параметры комплексифицированных келеровых модулей.

Аналогично выберем основу А а и Б а ( а "=" 0 , 1 , , час 1 , 2 ) 3-цикла так, что числа пересечений удовлетворяют А а Б б "=" дельта а б , А а А б "=" Б а Б б "=" 0 . При этом известно, что в качестве параметров принимаются модули деформации сложной конструкции

г а "=" А а Ом , а "=" а , , час 1 , 2 .
А также известно, что интеграл от Ом по циклу Б а можно написать
Ф г а "=" Б а Ом , а "=" а , , час 1 , 2
где Ф является голоморфной функцией г а и называется препотенциалом.

При компактификации многообразия CY поля 10-мерной теории могут быть расширены по собственным функциям 6-мерного лапласиана

ф я Дж ( Икс , у ) "=" α ф α ( Икс ) ф я Дж α ( у ) .
Тогда волновая функция 10-мерной теории сводится к 4-мерному уравнению поля:
Δ 10 ф я Дж ( Икс , у ) "=" ( Δ 4 + Δ 6 ) α ф α ( Икс ) ф я Дж α ( у ) "=" 0   ( Δ 4 м α 2 ) ф α ( Икс ) "=" 0.
Отсюда скалярное поле ф α с массой м α появляется в 4-мерном пространстве, соответствующем собственному значению м α 2 шестимерного лапласиана. В частности, масса скалярного поля, соответствующего модулям многообразия, становится равной нулю, и в четырехмерной эффективной теории появляется безмассовая скалярная частица, модульная частица. Тогда математическое ожидание вакуума, соответствующее параметру { т а , г а } . Поскольку ненулевое собственное значение м α лапласиана обратно пропорциональна квадрату размера пространства М и приобретают очень большую массу, ими можно пренебречь.

Н о т е   А г г е г : После компактификации теории струн типа II на многообразии Калаби-Яу М , 4d низкоэнергетическая эффективная теория описывается формулой Н "=" 2 супергравитация. Содержимое поля Н "=" 2 супергравитация состоит из мультиплета Вейля (гравитации), векторных мультиплетов и гипермультиплетов. Эффективные действия для векторных мультиплетов и гипермультиплетов описываются нелинейной сигма-моделью с целевыми пространствами, пространством модулей векторных мультиплетов и пространством модулей гипермультиплетов соответственно. В частности, кинетические члены скаляров ф я в векторных мультиплетах и ​​гипермультиплетах можно записать как

М 4 г 4 Икс г г я Дж мю ф я мю ф Дж +
где г я Дж является метрикой пространства модулей. В компактификациях типа IIA пространство векторных мультиплетных модулей совпадает с комплексными модулями Кэлера, а пространство гипермультиплетных модулей является пространством комплексных структурных модулей. В типе IIB наоборот. В компактификациях типа IIB низкоэнергетическое эффективное действие векторные мультиплеты диктуются препотенциалом Ф из-за суперсимметрии. Благодаря зеркальной симметрии мы можем ограничиться одной из двух теорий типа II.

Это очень хороший +1, но он не отвечает на вопрос, который касается потенциала Кэлера скаляров, зависимости кинетических членов от поля или производных членов в уравнении движения. Это не вопрос, почему модули соответствуют безмассовым полям, и не вопрос, что дает сверхпотенциал для массивного случая. Вопрос полностью ограничивается безмассовыми скалярами, параметризующими модули Кэлера, — он спрашивает, почему кинетический член этих полей совпадает с потенциалом Кэлера пространства модулей. Возможно, это верно только в приближении SUGRA.
Спасибо за ответ Сатоши. Но на самом деле мой вопрос заключается в том, почему кинетический член этих полей совпадает с метрикой Кэлера пространства модулей CY.
Я добавил комментарии. Надеюсь, это ответит на ваш вопрос.
@SatoshiNawata: Ваш комментарий является утверждением, но он хочет знать, почему метрика в 4d-полях такая же, как метрика в пространстве модулей. Интуитивно понятно, что они должны быть одинаковыми, поскольку постоянные значения полей соответствуют разным многообразиям, а локальная пружинная константа «должна быть» метрическим расстоянием между многообразиями. Но это требует аргумента, почему это не G плюс кривизна Риччи пространства модулей? То, что два понятия метрики совпадают, вероятно, легко вывести в SUGRA путем подсчета производных, но я этого не сделал.
@Ron Maimon Это потому, что низкоэнергетическая эффективная теория представляет собой нелинейную сигма-модель с целевым многообразием в пространстве модулей CY.
@SatoshiNawata: Он хочет знать, почему метрика сигма-модели равна нормальной метрике в пространстве модулей. Вы говорите «потому что это так» по-разному. Только сразу видно, что абстрактное многообразие то же самое, почему метрика не должна измениться? Может быть очевидно, что метрика — это то, чем она является, исходя из количества производных в действии SUGRA. Почему метрика сигма-модели должна быть равна метрике, полученной из соображений модуля. Это, вероятно, тривиально в SUGRA, от масштабирования/производного подсчета самого низкого порядка, и, вероятно, ложно с исправлениями строки более высокого порядка.