Элементы современной космологии и теории бран. Учебное пособие
.pdf
Список возможных объяснений
(Б) В самом деле, потенциалы, приводящие к таким странным решениям, едва ли могут быть получены в рамках квантовой теории поля и даже теории струн, а раз так, то и решения, нарушающие слабое энергетическое условие, не появляются в реальности.
Наверняка такое решение покажется удовлетворительным большинству космологов. Однако (Б) на самом деле сводится к (А). Действительно, рассмотрим систему уравнений Эйнштейна для вселенной с метрикой ФЛРУ — при условии, что вселенная заполнена самодействующим скалярным полем. Если считать, что плотность и давление связаны (алгебраическим) уравнением состояния, то можно исключить обе величины, сведя задачу к одному, сильно нелинейному дифференциальному уравнению второго порядка для масштабного фактора, которое мы обозначим U(a) . Другими словами, зная
масштабный фактор как функцию времени, можно найти плотность, давление, а значит, функциональную зависимость полевой переменной и потенциала от времени и, следовательно, зависимость потенциала от поля. Что же до масштабного фактора, то он определяется (i) формой уравнения и (ii) начальными условиями. В свою очередь форма уравнения U(a) зависит от формы (алгебраического) уравнения состоя-
ния. Итак, на этом этапе мы свели вопрос о форме потенциала к вопросам об уравнении состояния и начальным условиям.
Что можно сказать об уравнении состояния? На самом деле мы можем использовать любое (алгебраическое) уравнение состояния, если оно не нарушает энергетических условий. Но
у нас как раз проблема с энергетическими условиями. Точнее
втечение некоторого времени все энергетические условия выполняются и лишь потом начинают нарушаться. Но форма уравнения состояния подразумевается не меняющейся со временем. Следовательно, проблема вовсе не в необычном виде уравнения состояния. Ведь вначале это уравнение приводило к динамике, согласованной с энергетическими условиями. Отсюда следует, что все неприятности связаны только с необычными начальными условиями, т. е. (Б) сводится к (А).
51
Глава 2
(В) Описанные решения основаны на некоторых идеализациях, которые в действительности не могут быть реализованы на 100 процентов. В частности, реальная вселенная заполнена не только скалярным полем, но и множеством других полей. Возможно, что учет этих полей принципиально изменит характер решения, так что слабое энергетическое условие не будет нарушаться.
На первый взгляд, идея выглядит здраво, но на самом деле она может быть раскритикована так же, как и (A). В самом деле, несложно представить ситуацию, в которой другие поля (скажем, поля материи) присутствуют вместе со скалярным, но их суммарный вклад в тензор энергии-импульса много меньше, чем вклад скалярного поля. В этом случае дополнительные поля не способны существенно повлиять на ситуацию. Значит, нам необходимо не только ввести поля материи в лагранжиан, но и потребовать, чтобы их вклад был сравним со вкладом φ. С другой стороны, величина этого вклада разная
на разных стадиях расширения вселенной. Нам нужно, чтобы этот вклад был существенен при малых скоростях изменения поля, а это означает, что начальные условия, накладываемые на поля материи, должны быть весьма специальными. Другими словами, мы опять приходим к (A).
(Г) Возможно, мы не учитываем важности других физических эффектов вблизи φ& ≈ 0 . В частности, не может
ли случиться так, что при φ& ≈ 0 должно происходить ин-
тенсивное рождение частиц из вакуума скалярным полем? Если так, то будет ясно, что нам действительно необходимо учитывать наличие других полей кроме скалярного.
Отличие этого варианта от двух предыдущих в том, что здесь мы не предполагаем наличия специальных начальных условий, а пытаемся все объяснить эффектами, сопутствующими стремлению производной поля φ к нулю. Однако эту
возможность нельзя принимать всерьез. Во-первых, производная скалярного поля может обнуляться при весьма малых плотностях энергии самогó скалярного поля — недостаточных, чтобы привести к рождению множества частиц. Во-вто-
52
Список возможных объяснений
рых, интенсивность процесса рождения частиц при фактически постоянном φ будет также стремиться к нулю.
(Д) Когда φ = const, вселенная становится вселенной Де-
ситтера. С другой стороны, модель Деситтера является стационарной (преобразованием координат метрика может быть записана в стационарном виде, с компонентами, не зависящими, от времени). Не может ли быть так, что вселенная становится деситтеровской и остается в этом состоянии навечно?
Идея, безусловно, интригующая, однако выглядит она, по нашему мнению, весьма неправдоподобно. Ясно, что если это действительно так, то происходит нечто странное: в некоторый момент времени t смысл пространственно-временных координат полностью меняется, причем происходит это с точки зрения наблюдателя, живущего в этой вселенной. В частности, время t , измеренное по его часам, перестает быть временем при t > t1 . С нашей точки зрения, такая ситуация выгля-
дит просто нелепо. Тем не менее эту идею, может быть, и не стоит сразу отбрасывать, ибо не исключено, что в будущем ее удастся как-то осмыслить.
(Е) Коль скоро у нас нет никаких указаний на существование особой физики, управляющей начальными условиями, то, может быть, кроме начальных условий следует задавать какую-то дополнительную информацию? Например, не окажется ли более правильным использовать граничные условия не только в прошлом, но и в будущем?
Хотя такая точка зрения может показаться очень странной и экстравагантной, есть определенное указание на то, что в ряде случаев действительно следует задавать финальные, а не начальные условия! Например, так обстоит дело с горизонтами, динамика которых задается именно граничными условиями в будущем (такие условия называют телеологичными). Излучение Хокинга тоже происходит из за наличия горизонта, который с точки зрения наблюдателя в шварцшильдовских координатах находится в бесконечно далеком будущем. Тем не менее это излучение должно фиксироваться наблюдателем,
53
Глава 2
падающим на черную дыру, а значит, и удаленным наблюдателем тоже! На первый взгляд все это не имеет отношения к космологии, но такое заключение просто неверно. В самом деле, космология описывает динамику всей вселенной. Если выбрана система координат, в которой наблюдатель всегда удален от черных дыр, то в слово «вселенная» включается все пространство (вместе с его содержимым) вплоть до горизонтов черных дыр, поскольку внутренние области этих дыр принципиально ненаблюдаемы в этой системе. Значит, в любом случае горизонты черных дыр входят в круг того, что должны описывать космологические уравнения, а следовательно, телеологические граничные условия должны играть определенную роль в космологии. Тем не менее пока совершенно не ясно, как использовать (и можно ли вообще использовать?) телеологические граничные условия, связанные с наличием во вселенной черных дыр, для того, чтобы исключить решения, нарушающие слабое энергетическое условие, о которых шла речь в предыдущем разделе.
(Ж) Возможно, следует использовать метод сшивки, предложенный авторами, и изложенный в предыдущих разделах?
Использование метода сшивки, на первый взгляд, решает все проблемы. К сожалению, решая одни проблемы, этот метод порождает другие. Предположим, что динамика вселенной такова: слабое энергетическое условие нарушается на интервалах [ t1 , t2 ], [ t3 , t4 ], причем t1 < t2 < t3 < t4 . Мы можем сшить точки t1 c t2 и t3 с t4 . Если t3 много больше t2 , то мы полу-
чим модель с двумя фазами инфляции (случай I). С другой стороны, ничто не мешает нам сшить t1 c t4 . В этом случае
вселенная испытает лишь одну инфляцию (случай II). Проблема заключается в том, что в обоих случаях эволюции вселенных I и II полностью совпадают до момента t1 . Как отли-
чить одно от другого до точки t1 ? Создается впечатление, что
здесь возникает некоторая неоднозначность. В любом случае, этот вопрос требует дополнительных исследований.
54
Список возможных объяснений
(З) Что, если уравнения Эйнштейна, которые допускают такие странные решения, просто неверны? Может быть, в простейшем варианте следует дополнить их ка- кими-то слагаемыми, которые существенны лишь при ρ+ p ≈ 0 и малы в остальных случаях?
Идея о том, что уравнения Эйнштейна должны быть как-то дополнены, является в определенном смысле общепризнанной. Согласно современным представлениям, гравитация — один из секторов моделей супергравитации, которая, в свою очередь, является низкоэнергетическим пределом теории струн (в идеале
— всеобъемлющей М-теории). Однако поправки к уравнениям Эйнштейна возникают в однопетлевом приближении и существенны при больших энергиях (например, на планковских масштабах). У нас совершенно другая ситуация: если и в самом деле решения, о которых идет речь, нефизичны из-за того, что мы используем неправильные уравнения, то эти уравнения неправильны уже при низких энергиях. Другими словами, мы неправильно понимаем не физику высоких энергий, а низкоэнергетическую физику. Это выглядит странно и неправдоподобно. Тем не менее такую возможность нельзя исключить на основе одних лишь логических рассуждений. Более того, в современной литературе достаточно широко обсуждается возможность того, что уравнения Эйнштейна следует модифицировать уже на классическом уровне. Наиболее популярны две причины для такой модификации:
1)предполагается, что одна или несколько фундаментальных постоянных меняется со временем;
2)предполагается, что мы живем на бране; при этом скалярное поле не является физическим полем, наподобие электромагнитного, а связано с расстоянием D до соседней браны.
Вторая идея тесно связана с теорией струн и теорией Ди- рихле-бран (D-бран), хотя в чрезвычайно обширной литературе по этой теме обычно используются феноменологические браны, связь которых с D-бранами совершенно неочевидна.
Ктеории бран (феноменологических) мы теперь и обратимся.
55
Глава 3. Теория бран
Постановка задачи
В работах, посвященных космологическим приложениям теории бран, часто рассматривается модель, описывающая семейство параллельных 3-бран, погруженных в объемлющее пятимерное пространство, заполненное гравитацией и скалярным полем. Действие системы имеет вид:
S=∫d |
|
|
|
|
1 |
|
( φ |
2 |
) |
|
|
|
|
~b |
|
σb (φ), |
|
4 |
x dy |
g |
|
R− |
|
|
|
4 |
x |
|
(3.1) |
||||||
|
|
2 |
2 |
|
|
−V(φ) −∑∫d |
|
g |
|
||||||||
|
|
|
|
|
|
|
|
|
b yb |
|
|
|
|
|
|
||
где пятимерные координаты |
(xμ, y) |
для |
0 ≤ μ ≤ 3; b-я брана |
||||||||||||||
расположена в точке y = yb , gab — пятимерная метрика, |
~b |
||||||||||||||||
gμν |
|||||||||||||||||
— метрика, заданная на b-й бране; и используется система единиц, в которой гравитационная константа связи κ =1. Натяжение на b-й бране обозначается σb , а потенциал V(φ) счи-
тается функцией от внешнего (bulk) скалярного поля φ = φ(y) .
Решение полевых уравнений, получающихся варьированием (3.1), ищется в виде:
ds2 = dy2 + A(y)(−dt2 +e2Htδikdxidxk ), |
(3.2) |
где A(y) — «масштабный фактор», подлежащий определе-
нию, а H = const — эффективный параметр Хаббла на бране. Если H = 0, то брана стационарна, а если H > 0, то имеем брану, расширяющуюся в режиме Деситтера.
56
Постановка задачи
Отметим, что если наблюдаемое космологическое ускоренное расширение порождается ненулевым космологическим членом, то четырехмерная метрика в выражении (3.2) вполне может описыватьнашувселеннуювдостаточнодалекомбудущем.
Получаемая из (3.1) система уравнений может быть записана в «суперсимметричном» виде, если ввести суперпотен-
циал W(φ) , определенный соотношением φ& ≡ W′(φ) / 2 , где
точка обозначает производную по y, а штрих — производную по φ. Если H = 0 , то справедлива формула
V(φ) = W'2 /8 − W2 / 6 . |
(3.3) |
Используя это соотношение, некоторые авторы развили простой способ построения точных решений полевых уравнений, суть которого заключается в следующем:
—(i) выбираем V(φ) и W(φ) так, чтобы выполнялось уравнение (3.3);
—(ii) интегрируем уравнение φ& ≡ W′(φ) / 2 и находим зависимость φ = φ(y) ;
— (iii) |
при |
H = 0 |
выполняется |
равенство |
A& (y)/A(y)=−W(φ(y)) / 3.
Подставляя в явное выражение для W(φ) найденную функцию φ(y) и интегрируя, получаем искомый A(y) . Знаменитым решениям RS (Randall — Sundrum) соответствует вы-
бор W(φ) = ±a2 = const .
Достоинство описанного метода — в его простоте. Так, в рамках данного подхода легко понять принцип построения несингулярных решений. Рассмотрим случай одной браны,
локализованной при y = y0 . Из уравнения φ& ≡ W′(φ) / 2 можно выразить y как функцию полевой переменной φ:
φ |
~ |
|
|
|
y(φ) = y0 + ∫ |
dφ~ |
, |
(3.4) |
|
φ |
0 |
W'(φ) |
|
|
где φ0 = φ(y0 ) — величина скалярного поля на бране.
57
Глава 3
Из (3.4) следует, что наличие нулей у функции W′(φ) ( φ = φ± = const, φ± < ∞ ) приводит, вообще говоря, к расходя-
щемуся интегралу. Другими словами, φ→φ± при y → ±∞. Это означает, что если выбрать суперпотенциал таким образом, чтобы он имел по крайней мере два нуля при φ > φ0 , φ< φ0 , в которых W′ достаточно быстро стремится к нулю, то поле φ остается конечным во всем bulk-пространстве. С дру-
гой стороны, скалярная кривизна при H = 0 может быть выражена через суперпотенциал и его производную:
R(φ) = 2(W'(φ))2 / 3 −5W2 (φ)/ 9 , |
(3.5) |
откуда следует, что для несингулярного суперпотенциала, удовлетворяющего описанным свойствам, скалярная кривизна остается конечной при всех значениях y. Конкретные примеры несингулярных решений для четных, нечетных и показательных суперпотенциалов можно найти в работах из списка рекомендуемой литературы. Там же дано обобщение описанной техники на нестационарные браны ( H ≠ 0 ) и кратко рассмотрено применение этого метода для возможного решения проблемы малости космологической постоянной и проблемы иерархий. Очевидным недостатком описанного метода является его «феноменологический» характер. Суперпотенциал W(φ) с
требуемыми свойствами должен быть фактически «угадан». Разумеется, совсем не трудно «угадать» множество подхо-
дящих W(φ) , однако хотелось бы иметь регулярную процедуру построения W(φ) . В данной главе мы описываем именно такую
процедуру построения точных несингулярных решений для уравнений, получаемых из (3.1). Основная идея нашего подхода может быть сформулирована следующим образом: суперсимметричная связь между V(φ) и W(φ) типична для формули-
ровки суперсимметричной квантовой механики (ССКМ). В свою очередь ССКМ может быть реализована с помощью преобразований Дарбу (ПД) для уравнения Шредингера, использование которых позволяет строить интегрируемые несин-
58
Постановка задачи
гулярные потенциалы, если опорные функции, входящие в крамовские определители, имеют перемежающиеся нули. Поэтому совершенно естественной выглядит попытка написать непосредственно ПД для полевых уравнений и использовать их для генерации точных решений. Наличие простых алгебраических связей между скалярной кривизной и суперпотенциалом (3.5) показывает, что правильное применение ПД для построения несингулярных потенциалов в ССКМ позволит развить и систематическую процедуру для построения несингулярных решений ( R ≠ ∞ ) в теории бран, которая тем самым будет носить регулярный характер — в отличие от «феноменологического подхода», описанного выше. В частности, для построения бесконечного семейства точных несингулярных решений методом ПД требуется знание лишь одного точного решения такого вида, которое служит «затравкой» для построения всего семейства. Например, в данной работе в качестве «затравочного» решения используется решение RS. Другой способ использования ПД — построение цепочек дискретных симметрий и изучение их замыканий. Применение такой техники позволяет строить новые точные решения, которые выражаются через трансценденты Пенлеве и их высшие обобщения.
Глава организована следующим образом: в следующем параграфе мы рассмотрим преобразования Дарбу и их совместность с условиями сшивки Израэля на бране. Далее мы предъявим некоторые новые точные решения, полученные однократным Дарбу-одеванием решений RS. Обсуждаются двукратные ПД, роль форм-инвариантности и одевающие цепочки. В частности мы покажем, что четные, нечетные и показательные суперпотенциалы, изученные ранее, являются частными примерами форм-инвариантных относительно ПД потенциалов. В следующем параграфе, используя метод Адлера, мы построим нетривиальное обобщение моделей с нечетным суперпотенциалом. Будут вычислены спектр и натяжение на бране. Мы предъявим другое нетривиальное обобщение моделей с нечетным суперпотенциалом: точные решения полевых уравнений, выраженные через четвертую трансценденту Пенлеве.
59
Глава 3
В рамках данного пособия мы ограничимся изучением стационарных бран. Более реалистичные модели, содержащие космологическое расширение (на бране), требуют и более тонкого математического аппарата. В частности, необходимо знание теории орбиобразий. Мы отсылаем заинтересованного читателя к списку рекомендуемой литературы.
Преобразование Дарбу и условия сшивки
|
& |
|
|
|
|
|
|
|
|
|
Если H = 0 и u ≡ A / A , то из (3.1) и (3.2) мы находим сле- |
||||||||||
дующую систему уравнений: |
|
|
|
|
|
|||||
|
& |
2 |
|
2 |
|
|
|
|
|
|
& |
2φ |
− |
|
∑σb (φ)δ(y − yb ) , |
||||||
u = − |
3 |
|
3 |
|
||||||
|
|
|
|
|
b |
|
|
|
||
|
|
|
|
&2 |
|
2 |
|
|
||
|
u2 = |
φ |
− |
V(φ) . |
(3.6) |
|||||
|
3 |
3 |
||||||||
|
|
|
|
|
|
|
||||
Третье уравнение имеет вид: |
|
|
|
|
|
|||||
&φ&+ 2uφ& = ∂V(φ) + ∑∂σb (φ) |
δ(y − yb ) |
|||||||||
|
|
∂φ |
|
|
|
b |
|
∂φ |
|
|
|
|
|
|
|
|
|
|
|
|
|
и не является независимым, поскольку может быть получено из системы (3.6). В случае единственной браны, расположен-
ной в точке y = 0, имеем σ(φ(y))δ(y) = σ0δ(y) , где σ0 = σ(φ(0))
(предполагается, |
|
|
что |
|
φ(0) ≠ 0 ). Несложно |
проверить, |
что |
||||
функция ψ = ψ(y) = A2 |
удовлетворяет уравнениям |
|
|||||||||
|
d |
2 |
|
8 |
|
|
|
|
|
||
|
|
|
|
+ |
V(φ(y))+βδ(y) A2 (y) |
= 0 |
(3.7) |
||||
|
|
|
2 |
|
|||||||
|
|
|
|
3 |
|
|
|
|
|
||
dy |
|
|
|
|
|
|
|
||||
или |
|
|
|
ψ = (v(y) −βδ(y) −λ)ψ , |
|
(3.8) |
|||||
|
|
|
|
|
|
||||||
|
|
|
|
|
&& |
|
|
|
|
|
|
где |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
V(φ(y)) = |
3 |
(λ0 − v(y)) . |
|
(3.9) |
||
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
8 |
|
|
|
|
60 |
|
|
|
|
|
|
|
|
|
|
|
