Антидеситтеровское пространство

Пространство анти-де Ситтера — псевдориманово многообразие постоянной отрицательной кривизны. Его можно считать псевдоримановым аналогом ${\displaystyle n}$-мерного гиперболического пространства. Названо как противопоставление пространству де Ситтера, обозначается обычно ${\displaystyle AdS_{n}}$

Пространство AdS играет весьма важную роль в общей теории относительности, поскольку возникает как максимально симметричное решение уравнений Эйнштейна в вакууме с отрицательной космологической постоянной ${\displaystyle \Lambda }$:

${\displaystyle R_{\mu \nu }-{\frac {1}{2}}g_{\mu \nu }R-\Lambda g_{\mu \nu }=0}$

Определение AdS как поверхности вложения[править | править код]

Пространство ${\displaystyle AdS_{d+1}}$ можно вложить в плоское пространство ${\displaystyle \mathbb {R} ^{2,d}}$ ^[1]. Данное вложение выглядит как однополостный гиперболоид, задаваемый уравнением:

${\displaystyle -y_{0}^{2}+\sum _{i=1}^{d}y_{i}^{2}-y_{d+1}^{2}=-R^{2}}$,

(1)

где метрика в объемлющем пространстве ${\displaystyle \mathbb {R} ^{2,d}}$ задана как:

${\displaystyle ds^{2}=-(dy_{0})^{2}+\sum _{i=1}^{d}(dy_{i})^{2}-(dy_{d+1})^{2}=\eta _{\mu \nu }dy^{\mu }dy^{\nu },}$

${\displaystyle \eta _{\mu \nu }={\text{diag}}(-1,+1,...,+1,-1),}$

а константа R является радиусом пространства ${\displaystyle AdS_{d+1}}$. Она выражается через космологическую постоянную ${\displaystyle \Lambda }$ в уравнении Эйнштейна:

${\displaystyle \Lambda =-{\frac {d(d-1)}{2R^{2}}}.}$

(2)

Приведённое вложения в ${\displaystyle \mathbb {R} ^{2,d}}$ служит стандартным определением пространства ${\displaystyle AdS_{d+1}}$, которое подразумевается далее в тексте ^[2]. Уравнение (1) сохраняется при вращениях в объемлющем пространстве. Вследствие этого группа ${\displaystyle SO(2,d)}$ изоморфна группе изометрий (преобразований, не меняющих расстояние) пространства ${\displaystyle AdS_{d+1}}$. Данное свойство играет весьма важную роль в AdS/CFT соответствии в теории струн, поскольку группа ${\displaystyle SO(2,4)}$ является группой конформных преобразований в четырёхмерном пространстве Минковского.

Определение AdS как однородного пространства[править | править код]

Существует также топологический способ определения пространства ${\displaystyle AdS_{d+1}}$ как однородного пространства, т.е. множества точек с выделенным транзитивным действием некоторой группы ${\displaystyle G}$ на нем. В случае максимально симметричных пространств (т.е. однородных и изотропных пространств), ${\displaystyle G}$ является группой изометрий, которая полностью определяет топологию таких пространств ^[3] Например, в случае двумерной сферы ${\displaystyle S^{2}}$ имеется естественное вложение в ${\displaystyle \mathbb {R} ^{3}}$. Ограничивая действие группы вращений ${\displaystyle O(3)}$ в ${\displaystyle \mathbb {R} ^{3}}$ на ${\displaystyle S^{2}}$ видно, что для каждой точки ${\displaystyle x\in S^{2}}$ стабилизатором является группа ${\displaystyle {\text{Stab}}(x)=O(2)}$, т.е. вращения в плоскости, касательной к ${\displaystyle S^{2}}$ в точке ${\displaystyle x}$, не меняют положения точки ${\displaystyle x}$. Отсюда следует, что пространство двумерной сферы можно определить как отношение двух ортогональных групп^[4]:

${\displaystyle S^{2}={\frac {O(3)}{O(2)}}}$.

Рассуждая аналогично при вложении пространства ${\displaystyle AdS_{d+1}}$ в ${\displaystyle \mathbb {R} ^{2,d}}$, можно определить пространство AdS как отношение двух обобщённых ортогональных групп:

${\displaystyle AdS_{d+1}={\frac {O(2,d)}{O(1,d)}}}$.

Общие свойства метрики пространства AdS[править | править код]

Существует много способов записи (параметризаций) метрики пространства AdS. Все они являются различными решениями уравнения вложения (1). Для пространств с постоянной кривизной общим является возможность представить метрику в конформно-плоском виде ^[5]:

${\displaystyle ds^{2}=f(x^{2})\eta _{\mu \nu }dx^{\mu }dx^{\nu }}$,

где ${\displaystyle f(x^{2})}$, ${\displaystyle x^{2}=\eta _{\mu \nu }x^{\mu }x^{\nu }}$, есть некоторая знакопостоянная функция. Например, уравнение вложения (1) можно решить, вводя на AdS локальные координаты ${\displaystyle x^{1},...,x^{d+1}}$, соответствующие отображению (стереографическая проекция):

${\displaystyle y^{0}=R{\frac {R^{2}+x^{2}}{R^{2}-x^{2}}}}$,

${\displaystyle y^{\mu }=R{\frac {2Rx^{\mu }}{R^{2}-x^{2}}}}$,

где

${\displaystyle x^{2}=(x^{1})^{2}+...(x^{d})^{2}-(x^{d+1})^{2}\neq R^{2}}$,

${\displaystyle \mu =1,...,d+1}$,

что приводит к известной параметризации метрики пространства AdS как типичного гиперболического пространства (см., например,^[5]):

${\displaystyle ds^{2}={\frac {4\eta _{\mu \nu }dx^{\mu }dx^{\nu }}{(1+K_{0}\eta _{\mu \nu }x^{\mu }x^{\nu })^{2}}}.}$

Здесь

${\displaystyle K_{0}=-{\frac {1}{R^{2}}}}$

есть постоянная секционная кривизна^[6]. Через ${\displaystyle K_{0}}$ по Лемме Шура (Риманова геометрия) выражается тензор Римана пространств постоянной кривизны:

${\displaystyle R_{\mu \nu \rho \sigma }=K_{0}(g_{\mu \rho }g_{\nu \sigma }-g_{\nu \rho }g_{\mu \sigma }).}$

Отсюда можно получить выражения для тензора Риччи ${\displaystyle R_{\mu \nu }}$ и скалярной кривизны ${\displaystyle {\cal {R}}}$ пространства ${\displaystyle AdS_{d+1}}$:

${\displaystyle R_{\mu \nu }=g^{\rho \sigma }R_{\rho \mu \sigma \nu }=(K_{0}d)g_{\mu \nu },}$

${\displaystyle {\cal {R}}=g^{\mu \nu }R_{\mu \nu }=d(d+1)K_{0}.}$

Как видно из (2), ненулевая кривизна ${\displaystyle K_{0}}$ у ${\displaystyle (d+1)}$-мерного пространства возникает вследствие ненулевой космологической постоянной ${\displaystyle \Lambda }$ в уравнениях Эйнштейна:

${\displaystyle \Lambda ={\frac {d(d-1)}{2}}K_{0}}$.

Можно показать, что тензор Вейля пространства AdS обращается в ноль ^[7]. Для размерностей ${\displaystyle d\geq 4}$ это является необходимым и достаточным условием для того, чтобы пространство было конформно-плоским. В вышеприведённом представлении метрика имеет координатную особенность, в итоге данная координатная сетка покрывает не всё многообразие. Подобное свойство имеет место и для большинства других покрытий. Наиболее известные покрытия пространства AdS приведены ниже.

Глобальные координаты на AdS_d+1[править | править код]

В физических приложениях более удобным является общее решение уравнения (1) в следующем виде:

${\displaystyle y^{0}={\sqrt {\rho ^{2}+R^{2}}}\cdot \sin {\frac {t}{R}},}$

${\displaystyle y^{d+1}={\sqrt {\rho ^{2}+R^{2}}}\cdot \cos {\frac {t}{R}},}$

(3)

${\displaystyle y^{i}=\rho \cdot {\hat {n_{i}}},}$

где ${\displaystyle {\hat {n_{i}}}}$ выражает угловую часть гиперсферических координат, определённых условием:

${\displaystyle \sum _{i=1}^{d}(y^{i})^{2}=\rho ^{2}\Rightarrow \sum _{i=1}^{d}({\hat {n_{i}}})^{2}=1}$.

Например, для d=3:

${\displaystyle y^{1}=\rho \cdot \cos \theta }$,

${\displaystyle y^{2}=\rho \cdot \sin \theta \cos \phi }$,

${\displaystyle y^{3}=\rho \cdot \sin \theta \sin \phi }$.

В терминах координат вложения (3) метрика пространства ${\displaystyle AdS_{d+1}}$ принимает вид:

${\displaystyle ds_{AdS_{d+1}}^{2}={\frac {d\rho ^{2}}{1+{\frac {\rho ^{2}}{R^{2}}}}}+\rho ^{2}d\Omega _{d-1}^{2}-\left(1+{\frac {\rho ^{2}}{R^{2}}}\right)dt^{2},}$

(4)

где ${\displaystyle d\Omega _{d-1}^{2}}$ есть квадрат дифференциала телесного угла на ${\displaystyle S^{d-1}}$. Например, для d=3:

${\displaystyle d\Omega _{2}^{2}=d\theta ^{2}+\sin ^{2}\theta d\phi ^{2}.}$

В общем виде, в силу ${\displaystyle \sum \limits _{i=1}^{d}{\hat {n_{i}}}d{\hat {n_{i}}}=0}$, можно записать:

${\displaystyle d\Omega _{d-1}^{2}=\sum \limits _{i=1}^{d}d{\hat {n_{i}}}^{2}.}$

Из уравнения (4) видно, что введённая метрика имеет характерный масштаб длин ${\displaystyle R}$, т.е. радиус пространства ${\displaystyle AdS_{d+1}}$ определяет не только кривизну, но и масштаб расстояний рассматриваемого пространства. При этом из (3) видно, что топологически ${\displaystyle AdS_{d+1}\approx S^{1}\times R^{d}}$, что соответствует однополостному гиперболоиду (Рис.1).

После замены переменных:

${\displaystyle t\rightarrow tR,}$

${\displaystyle {\frac {\rho }{R}}=\operatorname {tg} \chi ,}$

${\displaystyle 0\leqslant \chi <{\frac {\pi }{2}},}$

метрика (4) принимает вид:

${\displaystyle ds_{AdS_{d+1}}^{2}={\frac {R^{2}}{\cos ^{2}\chi }}\left(dt^{2}-d\chi ^{2}-\sin ^{2}\chi d\Omega _{d-1}^{2}\right)}$.

(5)

Здесь изменён знак метрики объемлющего пространства (вместе со знаком уравнения (1)). В метрике (5) появляется компактификация пространства ${\displaystyle AdS_{d+1}}$ по радиальной координате, т.к. новая радиальная координата ${\displaystyle \chi }$ пробегает конечный интервал значений:

${\displaystyle {\frac {\rho }{R}}\rightarrow \infty ,}$

${\displaystyle \chi \rightarrow {\frac {\pi }{2}}.}$

Часто удобнее ввести радиальную координату в (5) обратной подстановкой,

${\displaystyle {\frac {\rho }{R}}=\chi ,}$

и рассматривать метрику:

${\displaystyle ds_{AdS_{d+1}}^{2}={\frac {R^{2}}{\cos ^{2}\left({\frac {\rho }{R}}\right)}}\left(dt^{2}-{\frac {d\rho ^{2}}{R^{2}}}-\sin ^{2}\left({\frac {\rho }{R}}\right)d\Omega _{d-1}^{2}\right).}$

(6)

Здесь ${\displaystyle {\frac {\rho }{R}}}$ не связана с ${\displaystyle {\frac {\rho }{R}}}$ в метрике (4). Метрика (6), при условии ${\displaystyle {\frac {\rho }{R}}\in [0;{\frac {\pi }{2}})}$, ${\displaystyle t\in (-\infty ;\infty )}$, полностью эквивалентна метрике (5). Метрику вида (6) называют глобальной ^[8]. В данной параметризации удобно положить ${\displaystyle R=1}$ и изображать ${\displaystyle AdS_{d+1}}$ (локально) в виде цилиндра с осью симметрии, совпадающей с осью времени и радиальной координатой ${\displaystyle \rho \in [0;{\frac {\pi }{2}})}$, как это показано на Рис.2.

Из того факта, что метрика (6) является индуцированной в ${\displaystyle \mathbb {R} ^{d,2}}$ (изменён знак метрики объемлющего пространства), можно установить связь с координатами вложения:

${\displaystyle y^{0}=R{\frac {\cos t}{\cos({\frac {\rho }{R}})}},}$

${\displaystyle y^{d+1}=R{\frac {\sin t}{\cos({\frac {\rho }{R}})}},}$

(7)

${\displaystyle y^{i}=R\;\operatorname {tg} ({\frac {\rho }{R}})\cdot {\hat {n_{i}}}.}$

В терминах глобальных координат в правых частях (7), глобальные симметрии ${\displaystyle AdS_{d+1}}$ видны следующим образом симметрии: имеется ${\displaystyle {\frac {1}{2}}d(d-1)}$ вращений вокруг ${\displaystyle y^{i},\;1\leqslant i\leqslant d}$, 1 вращение во времениподобной плоскости ${\displaystyle (y^{0},y^{d+1})}$, и наконец ${\displaystyle 2d}$ бустов, соответствующих комбинациям ${\displaystyle y^{0}}$ и ${\displaystyle y^{d+1}}$ c ${\displaystyle d}$ пространственно-подобными осями ${\displaystyle y^{i}}$. При этом вместе эти преобразования образуют группу ${\displaystyle SO(2,d)}$.

Часто оказывается удобна другая формулировка глобальной метрики на ${\displaystyle AdS_{d+1}}$, получаемая следующей заменой координат в (6):

${\displaystyle dk={\frac {d({\frac {\rho }{R}})}{\cos({\frac {\rho }{R}})}},\;\Rightarrow k=\int {\frac {d({\frac {\rho }{R}})}{\cos({\frac {\rho }{R}})}},}$

которая приводит (6) к виду:

${\displaystyle ds^{2}=R^{2}\left(\operatorname {ch} ^{2}(k)dt^{2}-dk^{2}-\operatorname {sh} ^{2}(k)d\Omega _{d-1}^{2}\right)}$.

Также данный вид можно прямо получить из координат вложения (3). Это выражение есть глобальная метрика ${\displaystyle AdS_{d+1}}$ в гиперболической форме, при этом точка ${\displaystyle k=0}$ в этой метрике особенной не является, и ${\displaystyle k\in [0;\infty )}$ ^[9]

Координаты Пуанкаре на AdS[править | править код]

Рассмотрение пространства AdS в глобальных координатах осложнено с физической точки зрения, т.к. время в глобальных координатах циклично, как видно из (7). На самом деле, когда под AdS имеется ввиду соответствующее решение уравнений Эйнштейна в пустом пространстве, всегда должно подразумеваться, что временная координата размотана, иначе возникают проблемы с причинностью (существование замкнутых временных циклов). Данная тонкость отличает физический подход к пространству AdS от чисто математического. Эту тонкость можно обойти, если пользоваться специальными накрытиями глобальных координат, которые описывают только часть пространства AdS. Наиболее используемым универсальным накрытием глобальных координат в AdS является переход к координатам Пуанкаре (Poincare Patch). Особая роль этих координат состоит в том, что именно в такой параметризации пространство AdS возникает в широко известном AdS/CFT соответствии в теории струн.

Координаты Пуанкаре пространства AdS^(E)_d+1 (Евклидова версия)[править | править код]

Сделаем поворот Вика для координаты ${\displaystyle y^{d+1}:y^{d+1}\rightarrow iy^{d+1}}$ и введём координаты светового конуса в евклидовой сигнатуре:

${\displaystyle U=y^{0}+y^{d+1},}$

(8)

${\displaystyle V=y^{0}-y^{d+1}.}$

Назовём евклидовой версией ${\displaystyle AdS_{d+1}}$ геометрическое место точек:

${\displaystyle y_{E}^{2}=(y^{0})^{2}-(y^{d+1})^{2}-{\overline {y}}^{2}=UV-{\overline {y}}^{2}=R^{2},}$

(9)

${\displaystyle {\overline {y}}^{2}=\sum \limits _{i=1}^{d}(y^{i})^{2}.}$

Это означает, что ${\displaystyle AdS_{d+1}^{\text{(E)}}}$ при фиксированном ${\displaystyle {\overline {y}}}$ можно представлять как двуполостный гиперболоид в плоскости ${\displaystyle (y^{0},y^{d+1})}$ . Далее рассмотрим следующую замену координат:

${\displaystyle \zeta ^{\alpha }={\frac {y^{\alpha }}{U}},\;(\alpha =1..d),}$

(10)

${\displaystyle {\overline {\zeta }}^{2}=\sum _{\alpha =1}^{d}(\zeta ^{\alpha })^{2}.}$

Такая замена при ${\displaystyle U\neq 0}$ позволяет записать уравнение вложения (9) в виде:

${\displaystyle y_{E}^{2}=UV-{\overline {y}}^{2}=UV-U^{2}{\overline {\zeta }}^{2}=R^{2},}$

${\displaystyle \Rightarrow V={\overline {\zeta }}^{2}U+{\frac {R^{2}}{U}}.}$

(11)

Таким образом, можно параметризовать всё пространство ${\displaystyle AdS_{d+1}^{\text{(E)}}}$ с помощью ${\displaystyle (U,\zeta ^{\alpha })}$:

${\displaystyle dV=2U\zeta ^{\alpha }d\zeta ^{\alpha }+\zeta ^{2}dU-{\frac {R^{2}dU}{U^{2}}},}$

${\displaystyle dy^{\alpha }=Ud\zeta ^{\alpha }+{\overline {\zeta }}^{\alpha }dU.}$

(12)

Метрика в объемлющем пространстве в терминах ${\displaystyle (U,\zeta ^{\alpha })}$, с учётом (9), запишется в виде:

${\displaystyle ds_{\text{emb}}^{2}=dUdV-(d{\overline {y}})^{2}=(dy^{0})^{2}-(dy^{d+1})^{2}-(d{\overline {y}})^{2}.}$

А индуцированная метрика ${\displaystyle AdS_{d+1}^{\text{(E)}}}$ стандартно получается из (12) с учётом связи (11) и заменой знака:

${\displaystyle ds_{AdS_{d+1}^{\text{(E)}}}^{2}={\frac {R^{2}(dU)^{2}}{U^{2}}}+U^{2}d{\overline {\zeta }}^{2}.}$

(13)

А также метрика (13) примет вид:

${\displaystyle dS^{2}={\frac {1}{(\zeta ^{0})^{2}}}(R^{2}(d\zeta ^{0})^{2}+d{\overline {\zeta }}^{2}).}$

Последующие замены ${\displaystyle \zeta ^{i}={\frac {r^{i}}{R}}}$ и ${\displaystyle \zeta ^{0}={\frac {z}{R^{2}}}}$ приводят к метрике:

${\displaystyle dS_{\text{EPP}}^{2}={\frac {R^{2}}{z^{2}}}(dz^{2}+d{\overline {r}}^{2}).}$

(14)

Метрика (14) есть выражение метрики ${\displaystyle AdS_{d+1}^{\text{(E)}}}$ в координатах Пуанкаре - так называемый Euclidean Poincare Patch (EPP) - и является универсальном накрытием пространства ${\displaystyle AdS_{d+1}^{\text{(E)}}}$. Нетрудно установить связь между глобальными координатами в евклидовой сигнатуре, координатами Пуанкаре и координатами объемлющего пространства. Пользуясь уравнениями (8), (10) и (11), с учётом проделанных замен, находим:

${\displaystyle y^{i}={\frac {r^{i}}{z}}R,\;(i=1..d),}$

${\displaystyle y^{0}+y^{d+1}={\frac {R^{2}}{z}},}$

${\displaystyle y^{0}-y^{d+1}={\frac {r^{2}}{z}}+z.}$

Искомая связь:

${\displaystyle y^{0}=R{\frac {\operatorname {ch} \tau }{\cos({\frac {\rho }{R}})}}={\frac {1}{2}}\left({\frac {z^{2}+r^{2}+R^{2}}{z}}\right),}$

${\displaystyle y^{d+1}=R{\frac {\operatorname {sh} \tau }{\cos({\frac {\rho }{R}})}}={\frac {1}{2}}\left({\frac {z^{2}+r^{2}-R^{2}}{z}}\right),}$

(15)

${\displaystyle y^{i}=R\;\operatorname {tg} \left({\frac {\rho }{R}}\right)\cdot {\hat {n_{i}}}={\frac {R}{z}}r^{i}.\;(z>0)}$

В евклидово время ${\displaystyle \tau =it}$ не циклично уже в глобальных координатах, однако данные координаты Пуанкаре могут быть аналитически продолжены на Лоренцеву сигнатуру объемлющего пространства, что показано ниже. Из первого уравнения в (15) видно, что ${\displaystyle y^{0}>0}$, а точке ${\displaystyle z=0}$ соответствует граница ${\displaystyle AdS_{d+1}^{\text{(E)}}}$. Схематически соотношения (15) проиллюстрированы на Рис.3.

В евклидовой сигнатуре координаты Пуанкаре, с учётом части ${\displaystyle z<0}$, описывают всё пространство AdS${\displaystyle ^{\text{(E)}}}$ и в этом смысле эквивалентны глобальным координатам. Как показано ниже, для Лоренцевой сигнатуры характерно сужение области, описываемой в координатах Пуанкаре. Это вызвано тем, что время в глобальных координатах циклично, в отличие от евклидова времени ${\displaystyle \tau }$.

Координаты Пуанкаре в AdS_d+1[править | править код]

Координаты Пуанкаре для ${\displaystyle AdS_{d+1}}$ определяются также, как для AdS${\displaystyle ^{\text{(E)}}}$. Немного меняя обозначения и записывая уравнение вложения в виде:

${\displaystyle (y^{d+1}-y^{d})(y^{d+1}+y^{d})-\sum _{i=1}^{d-1}(y^{i})^{2}+(y^{0})^{2}=R^{2},}$

(16)

можно, следуя рассуждениям предыдущего пункта, ввести аналоги координат светового конуса ${\displaystyle U}$ и ${\displaystyle V}$ и переписать (16) в виде:

${\displaystyle y_{L}^{2}=UV-g_{\mu \nu }y^{\mu }y^{\nu }=R^{2},}$

(17)

где ${\displaystyle g_{\mu \nu }={\text{diag}}(-1,1,..,1)}$, а индексы пробегают значения ${\displaystyle {\mu ,\nu }=0,1,..,d-1}$. Введем новые координаты:

${\displaystyle \zeta ^{\alpha }={\frac {y^{\alpha }}{U}},\;(\alpha =0,...,d-1),}$

${\displaystyle {\overline {\zeta ^{2}}}=\sum _{\alpha =1}^{d-1}(\zeta ^{\alpha })^{2}-(\zeta ^{0})^{2}=g_{\mu \nu }\zeta ^{\mu }\zeta ^{\nu }.}$

Далее, полностью повторяя рассуждения (11)-(14) и выбирая ${\displaystyle \zeta ^{i}={\frac {x^{i}}{R}};\;(i<d)}$, ${\displaystyle \zeta ^{0}={\frac {x^{0}}{R}}={\frac {t}{R}}}$, приходим к метрике ${\displaystyle AdS_{d+1}}$ в координатах Пуанкаре:

${\displaystyle ds_{\text{PP}}^{2}={\frac {R^{2}}{z^{2}}}(dz^{2}+dx^{\mu }dx_{\mu }),}$

(18)

${\displaystyle x^{\mu }x_{\mu }=g_{\mu \nu }x^{\mu }x^{\nu }=\sum _{i=1}^{d-1}(x^{i})^{2}-t^{2},}$

${\displaystyle (z>0),}$

где ${\displaystyle t}$ теперь обозначает время в координатах Пуанкаре. Далее, чтобы не путать ${\displaystyle t}$ с временем в глобальных координатах, будет обозначать последнее как ${\displaystyle \tau }$. Соотношения между глобальными координатами вложения и координатами Пуанкаре для ${\displaystyle AdS_{d+1}}$, аналогичные соотношениям (15), запишутся как:

${\displaystyle y^{0}=R{\frac {\sin \tau }{\cos({\frac {\rho }{R}})}}={\frac {R}{z}}x^{0}={\frac {R}{z}}t,}$

${\displaystyle y^{i<d}=R\;\operatorname {tg} ({\frac {\rho }{R}})\cdot {\hat {n_{i}}}={\frac {R}{z}}x^{i},}$

(19)

${\displaystyle y^{d}=R\;\operatorname {tg} ({\frac {\rho }{R}})\cdot {\hat {n_{d}}}={\frac {z}{2}}\left(1-{\frac {R^{2}-x^{\mu }x_{\mu }}{z^{2}}}\right),}$

${\displaystyle y^{d+1}=R{\frac {\cos \tau }{\cos({\frac {\rho }{R}})}}={\frac {z}{2}}\left(1+{\frac {R^{2}+x^{\mu }x_{\mu }}{z^{2}}}\right).}$

Эти уравнения решаются относительно ${\displaystyle (t,z,x^{i})}$ в терминах ${\displaystyle (\tau ,\rho ,{\hat {n_{i}}})}$, в которых удобно сделать замену (${\displaystyle {\frac {\rho }{R}}\rightarrow \rho }$):

${\displaystyle t=R{\frac {\sin \tau }{{\hat {n_{d}}}\sin \rho -\cos \tau }},}$

${\displaystyle z=R{\frac {\cos \rho }{{\hat {n_{d}}}\sin \rho -\cos \tau }},}$

(20)

${\displaystyle x^{i}=R{\frac {{\hat {n_{i}}}\sin \rho }{{\hat {n_{d}}}\sin \rho -\cos \tau }}.}$

Из этих соотношений следует, что при ${\displaystyle t\rightarrow \pm \infty }$, глобальное время ${\displaystyle \tau }$ теперь принимает значения на конечном интервале (см. Рис.4).

Важно отметить, что в евклидовой сигнатуре координаты Пуанкаре покрывают все пространство AdS${\displaystyle ^{\text{(E)}}}$ как и глобальные координаты (это видно из присутствия гиперболических функций в соотношениях (15). Однако в Лоренцевой сигнатуре координаты Пуанкаре покрывают только небольшую подобласть всего AdS, ограниченную причинным ромбом, обернутым вокруг AdS-цилиндра (см. Рис.4). Вообще говоря, глобальные координаты для ${\displaystyle AdS_{d+1}}$ преобразуются (изометрически) по представлениям подгруппы ${\displaystyle SO(2)\times SO(d)}$ группы ${\displaystyle SO(2,d)}$, а в координатах Пуанкаре (18) становятся очевидны ${\displaystyle d}$-мерная группа Пуанкаре и дилатации (растяжение всех координат одновременно на одну величину).

Специальные конформные преобразования в координатах Пуанкаре[править | править код]

Кроме дилатаций ${\displaystyle (x^{\mu },z)\to (\lambda x^{\mu },\lambda z)}$, являющихся очевидной симметрией метрики (18), в алгебре изометрий (18) существуют менее очевидные инфенитизимальные преобразования координат:

${\displaystyle x^{\mu }\to x^{\prime \mu }=x^{\mu }+(x^{\nu }x_{\nu }-z^{2})b^{\mu }-2(b^{\nu }x_{\nu })x^{\mu },}$

(21)

${\displaystyle z\to z^{\prime }=z-2(b^{\nu }x_{\nu })z.}$

Здесь ${\displaystyle b^{\mu }}$ есть малый вектор, лежащий в Пуанкаре-подпространстве (т.е. координата вектора ${\displaystyle b}$ в направлении ${\displaystyle z}$ равна нулю: ${\displaystyle b_{z}=0}$) ${\displaystyle AdS_{d+1}}$ в координатах Пуанкаре. Изометричность данного преобразования может быть проверена прямой подстановкой. Пуанкаре-часть преобразования (21) совпадает с определением специального конформного преобразования на конформном многообразии размерности ${\displaystyle d}$, однако преобразования, связанные с координатой ${\displaystyle z}$, а также число компонент вектора ${\displaystyle b^{\mu }}$ не позволяют определить их как специальные конформные преобразования в Пуанкаре-патче ${\displaystyle AdS_{d+1}}$. Данный патч для ${\displaystyle AdS_{d+1}}$ является, таким образом, римановым многообразием с несколько более сложной алгеброй изометрий, чем пространство Минковского.

Конформная граница пространства AdS[править | править код]

Вопрос о границе пространства AdS требует отдельного обсуждения. Пространство AdS не является многообразием с краем в стандартном смысле (когда окрестности границы диффеоморфны окрестностям точек на границе некоторого евклидова полупространства). Граница, упоминаемая далее, - это так называемая конформная граница, полученная посредством конформной компактификации пространства-времени.

В конструкции конформной компактификации рассматриваемое многообразие ${\displaystyle (N,g)}$ отображается на внутренность компактного многообразия ${\displaystyle (M,g)}$ с краем, а затем граница ${\displaystyle \partial \Phi (N,g)}$ этого отображения именуется конформной границей исходного многообразия ${\displaystyle N}$. В прикладном плане, метрика умножается на общий фактор такой, чтобы в новой метрике расстояние от любой точки до всех граничных точек являлось конечным. У плоского пространства, конформная граница сводится просто к точке. В случае же гиперболических пространств, к каким принадлежит и AdS, конформная граница нетривиальна и содержит важную информацию.

Граница AdS в глобальных координатах[править | править код]

Вернемся к уравнению (17) и введем новые координаты:

${\displaystyle y^{\mu }={\widetilde {y^{\mu }}}b,}$

${\displaystyle U={\widetilde {U}}b,}$

${\displaystyle V={\widetilde {V}}b.}$

Переходя к пределу ${\displaystyle b\rightarrow \infty }$, получаем уравнение вложения границы ${\displaystyle AdS_{d+1}}$ в ${\displaystyle \mathbb {R} ^{2,d}}$:

${\displaystyle {\widetilde {U}}{\widetilde {V}}-g_{\mu \nu }{\widetilde {y^{\mu }}}{\widetilde {y^{\nu }}}=0.}$

Это уравнение инвариантно относительно скейлинга ${\displaystyle b\rightarrow lb}$, где ${\displaystyle l}$ есть любое положительное вещественное число. Поэтому граничное многообразие следует рассматривать как классы (проективной) конформной эквивалентности:

${\displaystyle UV-g_{\mu \nu }y^{\mu }y^{\nu }=0,}$

(22)

${\displaystyle (U,V,y)\sim l(U,V,y).}$

Нетрудно увидеть, что из классов эквивалентности можно, перемасштабировав (22), выбрать:

${\displaystyle (y^{0})^{2}+(y^{d+1})^{2}=\sum _{i=1}^{d-1}(y^{i})^{2}+(y^{d})^{2}=1.}$

В итоге границей пространства ${\displaystyle AdS_{d+1}}$ в глобальных координатах является конформное многообразие с топологией ${\displaystyle S^{1}\times S^{d-1}}$. Размерность конформной границы на единицу меньше размерности исходного многообразия, что аналогично случаю обычной границы многообразия с краем.

Граница AdS в координатах Пуанкаре[править | править код]

Рассуждения о границе AdS в координатах Пуанкаре несколько осложнено тем, что координаты Пуанкаре описывают лишь часть пространства AdS, поэтому граница в координатах Пуанкаре имеет дополнительные области, соответствующие балку^[10] глобальных координат.

Горизонт Пуанкаре[править | править код]

Из уравнений (17) и (19) видно, что параметризация ${\displaystyle z>0}$ в координатах Пуанкаре фактически разделяет пространство AdS на две равные половины:

${\displaystyle {\frac {y^{d+1}-y^{d}}{R^{2}}}={\frac {1}{z}}={\frac {U}{R^{2}}}.}$

(23)

Уравнение (23) трактуется следующим образом. При выборе параметризации ${\displaystyle z>0}$ описывается лишь половина гиперболоида вложения в ${\displaystyle \mathbb {R} ^{2,d}}$, координаты которой подчинены условию ${\displaystyle y^{d+1}>y^{d}}$. Обратно, параметризация ${\displaystyle z<0}$ определяет в глобальных координатах условие ${\displaystyle y^{d+1}<y^{d}}$. Таким образом ${\displaystyle AdS_{d+1}}$ как гиперболоид вложения в ${\displaystyle \mathbb {R} ^{2,d}}$ (3) рассечен гиперплоскостью ${\displaystyle y^{d+1}=y^{d}}$, каждая половина которого описывается в координатах Пуанкаре. Кроме того, из уравнения (23) следует, что гиперплоскость ${\displaystyle y^{d+1}=y^{d}}$ есть часть границы AdS в координатах Пуанкаре, которая не сингулярна в глобальных координатах и соответствует пределу ${\displaystyle z\rightarrow \infty }$ в координатах Пуанкаре. Данный предел называется горизонтом Пуанкаре.

Важной особенностью горизонта Пуанкаре является то, что при ${\displaystyle z\rightarrow \infty }$, из связи с глобальными координатами (20) получаем ${\displaystyle x^{\mu <d},t\rightarrow \infty }$ и уравнение на секущую гиперплоскость в глобальных координатах вида:

${\displaystyle \cos \tau ={\hat {n_{d}}}\sin \rho .}$

(24)

Переходя в (25) к пределу ${\displaystyle \rho \rightarrow {\frac {\pi }{2}}}$, т.е. рассматривая глобальную границу AdS (6), видно, что существуют решения вида:

${\displaystyle \cos \tau ={\hat {n_{d}}}.}$

(25)

Из уравнения (25) следует, что горизонт Пуанкаре включает в себя не только части глобальной границы (при ${\displaystyle \rho \rightarrow {\frac {\pi }{2}}}$), но и подмногообразия балка глобального AdS. С другой стороны, из (25) следует, что в балке Пуанкаре-патча присутствуют подмногообразия глобальной конформной границы, поскольку уравнение (25) может быть выполнено и в случае ${\displaystyle 0<z<\infty }$.

Тем не менее горизонт Пуанкаре отчасти может быть рассмотрен как конформное многообразие, поскольку в пределе ${\displaystyle 0<z<\infty }$ можно получить, репараметризовав метрику (18) заменой ${\displaystyle {\frac {1}{z}}=e^{r}}$, следующий вид метрики:

${\displaystyle ds_{\text{PP}}^{2}={\frac {R^{2}}{z^{2}}}(dz^{2}+dx^{\mu }dx_{\mu })=R^{2}(dr^{2}+e^{2r}dx^{\mu }dx_{\mu }).}$

(26)

Т.е. области горизонта ${\displaystyle z\rightarrow \infty }$ соответствует ${\displaystyle r\rightarrow -\infty }$ и горизонт сводится к ${\displaystyle M^{d}\times R^{1}}$. Следует помнить, однако, что горизонт Пуанкаре является сингулярной особенностью лишь в координатах Пуанкаре, т.е. в него все же входят области глобального балка, а потому он не может рассматриваться в терминах конформной границы ^[11].

Конформная граница AdS в координатах Пуанкаре[править | править код]

Метрика (18) имеет сингулярность. При устремлении ${\displaystyle z\rightarrow 0}$, из соотношений (19) следует ${\displaystyle y^{\mu }\rightarrow \infty }$ (что является лишь частью глобальной границы), а метрика (26) при ${\displaystyle r\rightarrow +\infty }$ преобразуется к виду:

${\displaystyle ds_{\text{PP}}^{2}=e^{2r}dx^{\mu }dx_{\mu }.}$

(27)

Присутствие сингулярного конформного множителя означает, что метрика (27) является конформно-плоской. Таким образом видна локальная структура границы пространства ${\displaystyle AdS_{d+1}}$ в координатах Пуанкаре - топологически это конформное многообразие Минковского ${\displaystyle M^{d}}$ размерности ${\displaystyle d}$.

Конечное время распространения света до границы в AdS[править | править код]

Пространство AdS имеет одно особое свойство, сильно влияющее на физику в этом пространстве, по крайней мере, на макроскопических расстояниях. Рассмотрим движение светового луча в координатах Пуанкаре, описываемое светоподобными векторами в терминах метрики (26) и найдем время распространения светового луча вдоль ${\displaystyle z}$ из точки ${\displaystyle z_{0}}$ до границы ${\displaystyle z\to 0}$. Метрика (26) при постоянных ${\displaystyle x_{i},(i=1...d-1)}$ для светоподобных векторов (${\displaystyle ds^{2}=0}$) имеет вид:

${\displaystyle ds^{2}=R^{2}(dr^{2}-e^{2r}dt^{2})=0.}$

Отсюда видно, что Пуанкаре-время распространения светового сигнала вдоль ${\displaystyle r}$ от источника, расположенного в точке ${\displaystyle r_{0}}$, до границы ${\displaystyle r\to \infty }$, т.е. вдоль координаты ${\displaystyle z}$ до границы ${\displaystyle z\to 0}$, оказывается конечным:

${\displaystyle t=\int {dt}=R^{2}\int \limits _{r_{0}=-\ln z_{0}}^{\infty }e^{-r}dr=e^{-r_{0}}<\infty .}$

Массивная частица, при движении по геодезической, не достигнет границы и за конечное время вернется в точку, откуда начала движение. В итоге, свободные частицы в пространстве AdS находятся как бы в гравитационном ящике.

Связь границы и балка для динамики в AdS[править | править код]

Вышеупомянутое свойство тесно связано с отсутствием глобальной гиперболичности у пространства AdS: для описания эволюции любой физической системы в пространстве AdS, кроме начальных условий на поверхности Коши, оказывается необходимым задание граничных условий на всей конформной границе. Это является следствием того, что данная граница содержит временное направление. Отсюда следует важный вывод: при задании динамики в балке пространства AdS, однозначно задается и динамика на его конформной границе, и наоборот. В определенном смысле, именно это свойство лежит в основе широко известного голографического соответствия в теории струн (AdS/CFT-соответствия). Грубо говоря, гравитация в балке AdS однозначно задаёт конформную теорию поля на его границе. В итоге динамика, скажем, частицы на границе допускает два эквивалентных описания - гравитационное и квантово-полевое.

Интуитивно, однозначная голографическая связь динамики частиц на границе некоторого пространства и в его объеме (в балке) может показаться парадоксальной, поскольку граница имеет меньшую размерность, что, казалось бы, должно вести к более ограниченной динамике. Однако, эти интуитивные представления оказываются неверны в случае пространства AdS. В связи с этим, полезно упомянуть о соотношении площади и объема в пространстве AdS. В плоском пространстве, отношение площади ${\displaystyle S}$ некоторой области пространства с линейным размером ${\displaystyle L}$ к его объему ${\displaystyle V}$ ведет себя как ${\displaystyle S/V\sim 1/L}$. В пространстве AdS радиуса ${\displaystyle R}$, это отношение ведет себя по-другому - можно показать, что при достаточно большом ${\displaystyle L}$ оно ведет себя как ${\displaystyle S/V\sim 1/R}$, т.е. не зависит от линейного размера ${\displaystyle L}$ (см., например, ^[12]). Поэтому, устремляя ${\displaystyle L}$ к бесконечности, становится понятно, что граница AdS способна уместить столько же физических степеней свободы (например, частиц в виде волновых пакетов), сколько и весь объем этого пространства.

Диаграмма Пенроуза[править | править код]

Структуру границ удобно иллюстрировать с помощью диаграммы Пенроуза. Для построения этой диграммы в координатах (7) нужно помнить, что глобальное время циклично, т.е. можно построить только причинную область, например ${\displaystyle \tau \in [-\pi ,\pi ]}$. Произведем замену ${\displaystyle \rho /R\to \rho \in (0,\pi /2]}$ в метрике (6). Из (20) ясно, что удобнее изучать локальное ${\displaystyle (\tau ,\rho )}$ сечение ${\displaystyle AdS_{d+1}}$ цилиндра в плоскости, для которой ${\displaystyle {\hat {n}}_{d}\in [-1,1]}$. Процесс компактификации временной и пространственной части, описанный ранее для определения метрики в глобальных координатах, приводит к появлению конформного множителя, а значит сохраняет светоподобные кривые, для которых ${\displaystyle ds^{2}=0}$. Таким образом, все прямые на ${\displaystyle (\tau ,\rho )}$-плоскости диаграммы Пенроуза, находящиеся под углом в ${\displaystyle \pi /4}$ относительно ${\displaystyle \rho }$ или ${\displaystyle \tau }$, соответствуют световым сигналам. В такой параметризации диаграмма Пенроуза пространства ${\displaystyle AdS_{d+1}}$ является плоской симметричной проекцией глобального ${\displaystyle AdS_{d+1}}$-цилиндра, изображенного на Рис.4, а каждая точка диаграммы является фактически сферой ${\displaystyle S^{d-1}}$. Данная диаграмма изображена на Рис.5

AdS как решение Шварцшильда для заряженной черной дыры[править | править код]

Известным примером появления пространства AdS в гравитации является решение для метрики вблизи горизонта экстремальной заряженной черной дыры Рейснера-Нордстрёма. Общий вид сферически симметричной метрики для черной дыры:

${\displaystyle ds^{2}=-f(r)dt^{2}+{\frac {dr^{2}}{f(r)}}+r^{2}d\Omega ^{2},}$

(28)

где ${\displaystyle d\Omega ^{2}}$ есть квадрат телесного угла, а функция ${\displaystyle f(r)}$ для решения статической, сферически симметричной, заряженной черной дыры Рейснера-Нордстрёма в четырехмерном пространстве:

${\displaystyle f(r)=1-{\frac {r_{0}}{r}}+{\frac {r_{Q}^{2}}{r^{2}}}.}$

(29)

Обобщением (29) на случай ${\displaystyle D}$ измерений служит следующая замена ^[13]:

${\displaystyle f(r)=1-\left({\frac {r_{0}}{r}}\right)^{D-3}+\left({\frac {r_{Q}^{2}}{r^{2}}}\right)^{D-3}.}$

(30)

Здесь ${\displaystyle r_{0}\approx 2M}$, ${\displaystyle M}$- масса черной дыры, а ${\displaystyle r_{Q}}$ - заряд черной дыры в метрах. Корни уравнения ${\displaystyle f(r)=0}$ являются точками сингулярности метрики (28). Если ${\displaystyle r_{Q}=0}$, т.е. черная дыра является незаряженной, то это уравнение имеет один корень, а метрика имеет горизонт событий на радиусе Шварцшильда ${\displaystyle r_{0}}$. В случае же решения Рейсснера-Нордстрёма имеется два корня ${\displaystyle r_{+}}$ и ${\displaystyle r_{-}}$:

${\displaystyle r_{\pm }={\frac {r_{0}\pm {\sqrt {r_{0}^{2}-4r_{Q}^{2}}}}{2}}.}$

Рассмотрим случай ${\displaystyle r_{+}=r_{-}={\frac {r_{0}}{2}}}$, когда метрика (28) имеет всего одну точку сингулярности и переходит в метрику так называемой экстремальной черной дыры Рейсснера-Нордстрёма:

${\displaystyle f(r)=\left(1-{\frac {r_{0}}{2r}}\right)^{2}.}$

Можно разложить функцию ${\displaystyle f(r)}$ вблизи этой сингулярности ${\displaystyle r={\frac {r_{0}}{2}}}$, вводя:

${\displaystyle r={\frac {r_{0}}{2}}+u,\qquad u\ll r_{0},\qquad u={\frac {r_{Q}^{2}}{z}}.}$

(31)

Подставляя разложение в (28) и удерживая ведущий порядок, вблизи черной дыры получается следующая метрика:

${\displaystyle ds^{2}={\frac {r_{Q}^{2}}{z^{2}}}(dz^{2}-dt^{2})+r^{2}d\Omega ^{2}.}$

(32)

Метрика (32) имеет топологическую структуру ${\displaystyle AdS_{2}\times S^{2}}$, где AdS-часть записана в координатах Пуанкаре. Данная метрика известна как метрика Бертотти-Робинсона. Горизонтом Пуанкаре в этой метрике является ${\displaystyle z\to \infty }$, как и обсуждалось ранее, что соответствует горизонту событий экстремальной черной дыры и следует из (31) при ${\displaystyle u\to 0}$. Обратно, конформной границе ${\displaystyle AdS_{2}}$ (${\displaystyle z\to +0}$) соответствует бесконечно удаленная от черной дыры область пространства ${\displaystyle u\to +\infty }$.

Термодинамика черных дыр в пространстве AdS[править | править код]

Как известно, черные дыры излучают, поэтому им можно приписать определенную температуру, называемую температурой Хокинга. Это излучение является квантовым эффектом вблизи горизонта событий черных дыр. Весьма упрощенно, данный эффект можно описать следующим образом. При рассмотрении квантовых полей в области горизонта сферически-симметричной черной дыры (на фоне искривленной геометрии), операторы полей могут быть эффективно разложены (см., например,^[14]) на моды, уходящие за горизонт, и моды, покидающие область горизонта и излучаемые во внешнее пространство. Таким образом, радиальное направление на сферически-симметричном искривленном сингулярном фоне становится выделенным. Физическая интерпретация этого эффекта состоит в том, что гравитационные поля у горизонта черной дыры, рассматриваемые как фон для полей материи, приводят к рождению пар частиц, одна из которых попадает в черную дыру, а другая излучается как физическая частица на массовой поверхности. Это излучение имеет тепловой спектр и носит имя излучения Хокинга^[15]. Его температура может быть вычислена в достаточно общем случае для сферически симметричных решений типа Шварцшильда:

${\displaystyle ds^{2}=-g_{tt}(r)dt^{2}+g_{rr}dr^{2}+r^{2}d\Omega _{D-2}^{2}.}$

В этом случае, как показано, например, в ^[16], температура Хокинга принимает вид:

${\displaystyle T_{H}=\lim _{r\to r_{s}}{\frac {\partial _{r}{\sqrt {g_{tt}}}}{2\pi {\sqrt {g_{rr}}}}},}$

(33)

что в обозначениях (28) можно переписать как:

${\displaystyle T_{H}=\lim _{r\to r_{s}}{\frac {\partial _{r}{\sqrt {f(r)}}}{2\pi {\sqrt {f^{-1}(r)}}}}={\frac {f^{\prime }(r_{s})}{4\pi }},}$

(34)

где ${\displaystyle r_{s}}$ есть сингулярная точка ${\displaystyle f(r_{s})=0}$. Рассмотрим статическую незаряженную черную дыру на ${\displaystyle AdS_{5}}$ фоне, являющуюся сингулярным решением уравнений Эйнштейна с отрицательной космологической постоянной (используя(4) и (30)):

${\displaystyle ds_{AdS_{5}}^{2}=-\left(1+{\frac {r^{2}}{R^{2}}}-{\frac {r_{0}^{2}}{r^{2}}}\right)dt^{2}+\left(1+{\frac {r^{2}}{R^{2}}}-{\frac {r_{0}^{2}}{r^{2}}}\right)^{-1}dr^{2}+r^{2}d\Omega _{3}^{2}.}$

(35)

Здесь ${\displaystyle r_{0}}$ есть параметр, связанный с массой черной дыры М и пятимерной постоянной Ньютона ${\displaystyle G_{5}}$ соотношением:

${\displaystyle r_{0}=2MG_{5}.}$

Сингулярный множитель, как и в случае (29), равен:

${\displaystyle f(r)=\left(1+{\frac {r^{2}}{R^{2}}}-{\frac {r_{0}^{2}}{r^{2}}}\right).}$

Сингулярная точка (горизонт) есть решение уравнения ${\displaystyle f(r_{s})=0}$:

${\displaystyle r_{s}^{2}={\frac {R^{2}}{2}}\left({\sqrt {1+{\frac {4r_{0}^{2}}{R^{2}}}}}-1\right)>0.}$

(36)

Поскольку масштаб ${\displaystyle R}$ фиксирован, ${\displaystyle r_{s}}$ имеет две асимптотики:

${\displaystyle r_{0}\ll R\Rightarrow r_{s}\sim r_{0},}$

${\displaystyle r_{0}\gg R\Rightarrow r_{s}\sim {\sqrt {r_{0}R}}.}$

Радиус горизонта ${\displaystyle r_{s}}$ ограничен радиусом Шварцшильда:

${\displaystyle {\frac {r_{s}^{2}}{r_{0}^{2}}}={\frac {2}{{\sqrt {1+{\frac {4r_{0}^{2}}{R^{2}}}}}+1}}\leq 1.}$

(37)

Асимптотическое поведение