Русская Википедия:Антидеситтеровское пространство

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Пространство анти-де Ситтера — псевдориманово многообразие постоянной отрицательной кривизны. Его можно считать псевдоримановым аналогом <math>n</math>-мерного гиперболического пространства. Названо как противопоставление пространству де Ситтера, обозначается обычно <math>AdS_n</math>

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

<math>R_{\mu\nu}-\frac{1}{2}g_{\mu\nu}R-\Lambda g_{\mu\nu}=0</math>

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

Пространство <math>AdS_{d+1}</math> можно вложить в плоское пространство <math>\mathbb {R}^{2,d}</math> . Данное вложение выглядит как однополостный гиперболоид, задаваемый уравнением: Шаблон:NumBlk где метрика в объемлющем пространстве <math>\mathbb {R}^{2,d}</math> задана как:

<math>ds^2=-(dy_{0})^2+\sum_{i=1}^d (dy_{i})^2-(dy_{d+1})^2=\eta_{\mu\nu}dy^{\mu}dy^{\nu},</math>

<math>\eta_{\mu\nu}=\text{diag}(-1,+1,...,+1,-1),</math>

а константа R является радиусом пространства <math>AdS_{d+1}</math>. Она выражается через космологическую постоянную <math>\Lambda</math> в уравнении Эйнштейна: Шаблон:NumBlk Приведённое вложения в <math>\mathbb{R}^{2,d}</math> служит стандартным определением пространства <math>AdS_{d+1}</math>, которое подразумевается далее в тексте . Уравнение (Шаблон:EquationNote) сохраняется при вращениях в объемлющем пространстве. Вследствие этого группа <math>SO(2,d)</math> изоморфна группе изометрий (преобразований, не меняющих расстояние) пространства <math>AdS_{d+1}</math>. Данное свойство играет весьма важную роль в AdS/CFT соответствии в теории струн, поскольку группа <math>SO(2,4)</math> является группой конформных преобразований в четырёхмерном пространстве Минковского.

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

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

<math>S^2 = \frac{O(3)}{O(2)}</math>.

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

<math>AdS_{d+1} = \frac{O(2,d)}{O(1,d)}</math>.

Общие свойства метрики пространства AdS

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

<math>ds^2=f(x^2)\eta_{\mu\nu}dx^{\mu}dx^{\nu}</math>,

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

<math>y^0=R \frac{R^2+x^2}{R^2-x^2}</math>,

<math>y^{\mu}=R \frac{2R x^{\mu}}{R^2-x^2}</math>,

где

<math>x^2=(x^1)^2+...(x^d)^2-(x^{d+1})^2\neq R^2</math>,

<math>\mu=1,...,d+1</math>,

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

<math>ds^2=\frac{4\eta_{\mu\nu}dx^{\mu}dx^{\nu}}{(1+K_0\eta_{\mu\nu}x^{\mu}x^{\nu})^2}.</math>

Здесь

<math>K_0=-\frac{1}{R^2}</math>

есть постоянная секционная кривизна. Через <math>K_0</math> по Лемме Шура (Риманова геометрия) выражается тензор Римана пространств постоянной кривизны:

<math>R_{\mu\nu\rho\sigma}=K_0 (g_{\mu\rho}g_{\nu\sigma}-g_{\nu\rho}g_{\mu\sigma}).</math>

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

<math>R_{\mu\nu}=g^{\rho \sigma}R_{\rho\mu\sigma\nu}=(K_0d)g_{\mu\nu},</math>

<math>{\cal R}=g^{\mu\nu}R_{\mu\nu}=d(d+1)K_0.</math>

Как видно из (Шаблон:EquationNote), ненулевая кривизна <math>K_0</math> у <math>(d+1)</math>-мерного пространства возникает вследствие ненулевой космологической постоянной <math>\Lambda</math> в уравнениях Эйнштейна:

<math>\Lambda=\frac{d(d-1)}{2}K_0</math>.

Можно показать, что тензор Вейля пространства AdS обращается в ноль . Для размерностей <math>d\geq 4</math> это является необходимым и достаточным условием для того, чтобы пространство было конформно-плоским. В вышеприведённом представлении метрика имеет координатную особенность, в итоге данная координатная сетка покрывает не всё многообразие. Подобное свойство имеет место и для большинства других покрытий. Наиболее известные покрытия пространства AdS приведены ниже.

Глобальные координаты на AdS_d+1

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

<math>y^0=\sqrt{\rho^2+R^2}\cdot \sin\frac{t}{R},</math>

<math>y^i=\rho\cdot\hat{n_i},</math>

где <math>\hat{n_i}</math> выражает угловую часть гиперсферических координат, определённых условием:

<math>\sum_{i=1}^d (y^i)^2=\rho^2 \Rightarrow \sum_{i=1}^d (\hat{n_i})^2=1</math>.

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

<math>y^1=\rho\cdot \cos\theta</math>,

<math>y^2=\rho\cdot \sin\theta \cos\phi</math>,

<math>y^3=\rho\cdot \sin\theta \sin\phi</math>.

В терминах координат вложения (Шаблон:EquationNote) метрика пространства <math>AdS_{d+1}</math> принимает вид: Шаблон:NumBlk=\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,</math>|Шаблон:EquationRef}} где <math>d\Omega_{d-1}^2</math> есть квадрат дифференциала телесного угла на <math>S^{d-1}</math>. Например, для d=3:

<math>d\Omega_{2}^2=d\theta^2+\sin^2\theta d\phi^2.</math>

В общем виде, в силу <math>\sum\limits_{i=1}^d\hat{n_i} d\hat{n_i}=0</math>, можно записать:

<math>d\Omega_{d-1}^2=\sum\limits_{i=1}^d d\hat{n_i}^2.</math>

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

Файл:AdS HyperP.jpg

Рис.1. Пространство <math>AdS_{d+1}</math> как однополостный гиперболоид в <math>\mathbb{R}^{2,d}</math>. Оси <math>y^0</math> и <math>y^{d+1}</math> расположены в плоскости симметрии вращения. Ось, перпендикулярная им, условно изображает оси <math>y^i</math>. Вложенная поверхность содержит замкнутую времениподобную переменную.

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

<math>t\rightarrow tR,</math>

<math>\frac{\rho}{R}=\operatorname{tg}\chi,</math>

<math>0\leqslant \chi < \frac{\pi}{2},</math>

метрика (Шаблон:EquationNote) принимает вид: Шаблон:NumBlk=\frac{R^2}{\cos^2\chi}\left( dt^2-d\chi^2-\sin^2\chi d\Omega_{d-1}^2 \right)</math>.|Шаблон:EquationRef}} Здесь изменён знак метрики объемлющего пространства (вместе со знаком уравнения (Шаблон:EquationNote)). В метрике (Шаблон:EquationNote) появляется компактификация пространства <math>AdS_{d+1}</math> по радиальной координате, т.к. новая радиальная координата <math>\chi</math> пробегает конечный интервал значений:

<math>\frac{\rho}{R}\rightarrow\infty,</math>

<math>\chi\rightarrow\frac{\pi}{2}.</math>

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

<math>\frac{\rho}{R}=\chi,</math>

и рассматривать метрику: Шаблон:NumBlk=\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).</math>|Шаблон:EquationRef}} Здесь <math>\frac{\rho}{R}</math> не связана с <math>\frac{\rho}{R}</math> в метрике (Шаблон:EquationNote). Метрика (Шаблон:EquationNote), при условии <math>\frac{\rho}{R} \in [0;\frac{\pi}{2})</math>, <math>t\in (-\infty;\infty)</math>, полностью эквивалентна метрике (Шаблон:EquationNote). Метрику вида (Шаблон:EquationNote) называют глобальной . В данной параметризации удобно положить <math>R=1</math> и изображать <math>AdS_{d+1}</math> (локально) в виде цилиндра с осью симметрии, совпадающей с осью времени и радиальной координатой <math>\rho \in [0;\frac{\pi}{2})</math>, как это показано на Рис.2.

Файл:AdSGlobal.jpg

Рис.2. Условное изображение локальной структуры пространства <math>AdS_{d+1}</math> как цилиндра в глобальных координатах (изображенный цилиндр является границей пространства <math>AdS_{3}</math>).

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

<math>y^0=R\frac{\cos t}{\cos(\frac{\rho}{R})},</math>

<math>y^i=R\;\operatorname{tg}(\frac{\rho}{R})\cdot\hat{n_i}.</math>

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

Часто оказывается удобна другая формулировка глобальной метрики на <math>AdS_{d+1}</math>, получаемая следующей заменой координат в (Шаблон:EquationNote):

<math>

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

</math> которая приводит (Шаблон:EquationNote) к виду:

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

Также данный вид можно прямо получить из координат вложения (Шаблон:EquationNote). Это выражение есть глобальная метрика <math>AdS_{d+1}</math> в гиперболической форме, при этом точка <math>k=0</math> в этой метрике особенной не является, и <math>k\in[0;\infty)</math>

Координаты Пуанкаре на AdS

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

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

Сделаем поворот Вика для координаты <math>y^{d+1}:y^{d+1}\rightarrow iy^{d+1}</math> и введём координаты светового конуса в евклидовой сигнатуре: Шаблон:NumBlk

<math>V=y^0-y^{d+1}.</math>

Назовём евклидовой версией <math>AdS_{d+1}</math> геометрическое место точек: Шаблон:NumBlk

<math>\overline{y}^2=\sum\limits_{i=1}^d(y^i)^2.</math>

Это означает, что <math>AdS_{d+1}^\text{(E)}</math> при фиксированном <math>\overline{y}</math> можно представлять как двуполостный гиперболоид в плоскости <math>(y^0,y^{d+1})</math> . Далее рассмотрим следующую замену координат: Шаблон:NumBlk{U}, \; (\alpha=1..d),</math>|Шаблон:EquationRef}}

<math>\overline{\zeta}^2=\sum_{\alpha=1}^d (\zeta^{\alpha})^2.</math>

Такая замена при <math>U \neq 0</math> позволяет записать уравнение вложения (Шаблон:EquationNote) в виде:

<math>y^2_E=UV-\overline{y}^2=UV-U^2\overline{\zeta}^2=R^2,</math>

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

<math>dV=2U\zeta^{\alpha} d\zeta^{\alpha} +\zeta^2dU-\frac{R^2dU}{U^2},</math>

Шаблон:NumBlk Метрика в объемлющем пространстве в терминах <math>(U,\zeta^{\alpha})</math>, с учётом (Шаблон:EquationNote), запишется в виде:

<math>ds^2_\text{emb}=dUdV-(d\overline{y})^2=(dy^0)^2-(dy^{d+1})^2-(d\overline{y})^2.</math>

А индуцированная метрика <math>AdS_{d+1}^\text{(E)}</math> стандартно получается из (Шаблон:EquationNote) с учётом связи (Шаблон:EquationNote) и заменой знака: Шаблон:NumBlk=\frac{R^2(dU)^2}{U^2}+U^2d\overline{\zeta}^2.</math>|Шаблон:EquationRef}} А также метрика (Шаблон:EquationNote) примет вид:

<math>dS^2=\frac{1}{(\zeta^0)^2}(R^2(d\zeta^0)^2+d\overline{\zeta}^2).</math>

Последующие замены <math>\zeta^i=\frac{r^i}{R}</math> и <math>\zeta^0=\frac{z}{R^2}</math> приводят к метрике: Шаблон:NumBlk Метрика (Шаблон:EquationNote) есть выражение метрики <math>AdS_{d+1}^\text{(E)}</math> в координатах Пуанкаре - так называемый Euclidean Poincare Patch (EPP) - и является универсальном накрытием пространства <math>AdS_{d+1}^\text{(E)}</math>. Нетрудно установить связь между глобальными координатами в евклидовой сигнатуре, координатами Пуанкаре и координатами объемлющего пространства. Пользуясь уравнениями (Шаблон:EquationNote), (Шаблон:EquationNote) и (Шаблон:EquationNote), с учётом проделанных замен, находим:

<math>y^i=\frac{r^i}{z}R, \; (i=1..d),</math>

<math>y^0+y^{d+1}=\frac{R^2}{z},</math>

<math>y^0-y^{d+1}=\frac{r^2}{z}+z.</math>

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

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

<math>y^i=R\;\operatorname{tg}\left(\frac{\rho}{R}\right)\cdot\hat{n_i}=\frac{R}{z}r^i. \; (z>0)</math>

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

Файл:AdSE like hyp.jpg

Рис.3. Иллюстрация соотношений (Шаблон:EquationNote). На рисунке изображён срез AdS<math>^\text{(E)}</math> как двуполостный гиперболоид при постоянном <math>\overline{y}^2</math>. Постоянные поверхности <math>z</math> начинаются с <math>z\to \pm \infty</math>, а области <math>z>0</math> и <math>z<0</math> описывают верхнюю и нижнюю полы гиперболоида соответственно. При этом <math>z\to \pm 0</math> соответствует <math>U\to \infty</math>.

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

Координаты Пуанкаре в AdS_d+1

Координаты Пуанкаре для <math>AdS_{d+1}</math> определяются также, как для AdS<math>^\text{(E)}</math>. Немного меняя обозначения и записывая уравнение вложения в виде: Шаблон:NumBlk можно, следуя рассуждениям предыдущего пункта, ввести аналоги координат светового конуса <math>U</math> и <math>V</math> и переписать (Шаблон:EquationNote) в виде: Шаблон:NumBlk где <math>g_{\mu\nu}=\text{diag}(-1,1,..,1)</math>, а индексы пробегают значения <math>{\mu,\nu}=0,1,..,d-1</math>. Введем новые координаты:

<math>\zeta^{\alpha}=\frac{y^{\alpha}}{U}, \; (\alpha=0,...,d-1),</math>

<math>\overline{\zeta^2}=\sum_{\alpha=1}^{d-1} (\zeta^{\alpha})^2-(\zeta^{0})^2=g_{\mu\nu}\zeta^{\mu}\zeta^{\nu}.</math>

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

<math>x^{\mu}x_{\mu}=g_{\mu\nu}x^{\mu}x^{\nu}=\sum_{i=1}^{d-1} (x^{i})^2-t^2,</math>

<math>(z>0),</math>

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

<math>y^{0}=R\frac{\sin\tau}{\cos(\frac{\rho}{R})}=\frac{R}{z}x^0=\frac{R}{z}t,</math>

<math>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),</math>

<math>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).</math>

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

<math>t=R\frac{\sin\tau}{\hat{n_d}\sin\rho-\cos\tau},</math>

<math>x^i=R\frac{\hat{n_i}\sin\rho}{\hat{n_d}\sin\rho-\cos\tau}.</math>

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

Файл:PPADS.jpg

Рис.4. Иллюстрация соотношений (Шаблон:EquationNote). На этом рисунке выделена область, соответствующая участку координат Пуанкаре, с секущими гиперплоскостями, соответствующими постоянным t. Координаты Пуанкаре не охватывают все пространство <math>AdS_{d+1}</math> (в отличие от Eвклидова случая).

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

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

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

<math>z\to z^{\prime}=z-2(b^{\nu}x_{\nu})z.</math>

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

Конформная граница пространства AdS

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

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

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

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

<math>y^{\mu}=\widetilde{y^{\mu}}b,</math>

<math>U=\widetilde{U}b,</math>

<math>V=\widetilde{V}b.</math>

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

<math>\widetilde{U}\widetilde{V}-g_{\mu\nu}\widetilde{y^{\mu}}\widetilde{y^{\nu}}=0.</math>

Это уравнение инвариантно относительно скейлинга <math>b\rightarrow lb</math>, где <math>l</math> есть любое положительное вещественное число. Поэтому граничное многообразие следует рассматривать как классы (проективной) конформной эквивалентности: Шаблон:NumBlk

<math>(U,V,y)\sim l(U,V,y).</math>

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

<math>(y^0)^2+(y^{d+1})^2=\sum_{i=1}^{d-1}(y^i)^2+(y^d)^2=1.</math>

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

Граница AdS в координатах Пуанкаре

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

Горизонт Пуанкаре

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

Важной особенностью горизонта Пуанкаре является то, что при <math>z\rightarrow \infty</math>, из связи с глобальными координатами (Шаблон:EquationNote) получаем <math>x^{\mu<d},t\rightarrow \infty</math> и уравнение на секущую гиперплоскость в глобальных координатах вида: Шаблон:NumBlk Переходя в (Шаблон:EquationNote) к пределу <math>\rho \rightarrow \frac{\pi}{2}</math>, т.е. рассматривая глобальную границу AdS (Шаблон:EquationNote), видно, что существуют решения вида: Шаблон:NumBlk Из уравнения (Шаблон:EquationNote) следует, что горизонт Пуанкаре включает в себя не только части глобальной границы (при <math>\rho \rightarrow \frac{\pi}{2}</math>), но и подмногообразия балка глобального AdS. С другой стороны, из (Шаблон:EquationNote) следует, что в балке Пуанкаре-патча присутствуют подмногообразия глобальной конформной границы, поскольку уравнение (Шаблон:EquationNote) может быть выполнено и в случае <math>0<z<\infty</math>.

Тем не менее горизонт Пуанкаре отчасти может быть рассмотрен как конформное многообразие, поскольку в пределе <math>0<z<\infty</math> можно получить, репараметризовав метрику (Шаблон:EquationNote) заменой <math>\frac{1}{z}=e^r</math>, следующий вид метрики: Шаблон:NumBlk Т.е. области горизонта <math>z\rightarrow \infty</math> соответствует <math>r\rightarrow - \infty</math> и горизонт сводится к <math>M^d\times R^1</math>. Следует помнить, однако, что горизонт Пуанкаре является сингулярной особенностью лишь в координатах Пуанкаре, т.е. в него все же входят области глобального балка, а потому он не может рассматриваться в терминах конформной границы .

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

Метрика (Шаблон:EquationNote) имеет сингулярность. При устремлении <math>z\rightarrow 0</math>, из соотношений (Шаблон:EquationNote) следует <math>y^{\mu}\rightarrow \infty</math> (что является лишь частью глобальной границы), а метрика (Шаблон:EquationNote) при <math>r\rightarrow + \infty</math> преобразуется к виду: Шаблон:NumBlk Присутствие сингулярного конформного множителя означает, что метрика (Шаблон:EquationNote) является конформно-плоской. Таким образом видна локальная структура границы пространства <math>AdS_{d+1}</math> в координатах Пуанкаре - топологически это конформное многообразие Минковского <math>M^d</math> размерности <math>d</math>.

Конечное время распространения света до границы в AdS

Пространство AdS имеет одно особое свойство, сильно влияющее на физику в этом пространстве, по крайней мере, на макроскопических расстояниях. Рассмотрим движение светового луча в координатах Пуанкаре, описываемое светоподобными векторами в терминах метрики (Шаблон:EquationNote) и найдем время распространения светового луча вдоль <math>z</math> из точки <math>z_0</math> до границы <math>z\to 0</math>. Метрика (Шаблон:EquationNote) при постоянных <math>x_i,(i=1...d-1)</math> для светоподобных векторов (<math>ds^2=0</math>) имеет вид:

<math>ds^2=R^2(dr^2-e^{2r}dt^2)=0.</math>

Отсюда видно, что Пуанкаре-время распространения светового сигнала вдоль <math>r</math> от источника, расположенного в точке <math>r_0</math>, до границы <math>r\to\infty</math>, т.е. вдоль координаты <math>z</math> до границы <math>z\to 0</math>, оказывается конечным:

<math>t=\int{dt}=R^2\int\limits_{r_0=-\ln z_0}^{\infty}e^{-r}dr=e^{-r_0}<\infty.</math>

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

Связь границы и балка для динамики в AdS

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

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

Диаграмма Пенроуза

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

Файл:Penrose AdS Diagramm.jpg

Рис.5. Диаграмма Пенроуза для пространства <math>AdS_{d+1}</math>. Область, описываемая в координатах Пуанкаре <math>z>0</math> заштрихована, ее площадь равна половине площади всей диаграммы, что согласуется с произволом выбора знака при введении <math>z</math>. Горизонтальная линия <math>\tau=0</math> служит границей смены знака Пуанкаре-времени. Точке B соответствует пространственная бесконечность в глобальных координатах и <math>t=-\infty,z=0</math>. Точки A отождествлены вследствие цикличности глобального времени (см.(Шаблон:EquationNote)). Линии <math>\rho=\pi/2, \hat{n}_d=-1</math> соответствует <math>t\in (-\infty, \infty),\; z=0</math>, а линиям AB <math>t=\pm \infty,\;z=\infty</math>. Для описания любой физической системы в закрашенном треугольнике AAB необходимо задание граничных условий на каждой из его границ.

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

Известным примером появления пространства AdS в гравитации является решение для метрики вблизи горизонта экстремальной заряженной черной дыры Рейснера-Нордстрёма. Общий вид сферически симметричной метрики для черной дыры: Шаблон:NumBlk где <math>d\Omega^2</math> есть квадрат телесного угла, а функция <math>f(r)</math> для решения статической, сферически симметричной, заряженной черной дыры Рейснера-Нордстрёма в четырехмерном пространстве: Шаблон:NumBlk Обобщением (Шаблон:EquationNote) на случай <math>D</math> измерений служит следующая замена : Шаблон:NumBlk Здесь <math>r_0 \approx 2M</math>, <math>M</math>- масса черной дыры, а <math>r_Q</math> - заряд черной дыры в метрах. Корни уравнения <math>f(r)=0</math> являются точками сингулярности метрики (Шаблон:EquationNote). Если <math>r_Q=0</math>, т.е. черная дыра является незаряженной, то это уравнение имеет один корень, а метрика имеет горизонт событий на радиусе Шварцшильда <math>r_0</math>. В случае же решения Рейсснера-Нордстрёма имеется два корня <math>r_+</math> и <math>r_-</math>:

<math>r_\pm=\frac{r_0 \pm \sqrt{r_0^2-4r_Q^2}}{2}.</math>

Рассмотрим случай <math>r_+ = r_-=\frac{r_0}{2}</math>, когда метрика (Шаблон:EquationNote) имеет всего одну точку сингулярности и переходит в метрику так называемой экстремальной черной дыры Рейсснера-Нордстрёма:

<math>f(r)=\left( 1-\frac{r_0}{2r} \right)^2.</math>

Можно разложить функцию <math>f(r)</math> вблизи этой сингулярности <math>r=\frac{r_0}{2}</math>, вводя: Шаблон:NumBlk Подставляя разложение в (Шаблон:EquationNote) и удерживая ведущий порядок, вблизи черной дыры получается следующая метрика: Шаблон:NumBlk Метрика (Шаблон:EquationNote) имеет топологическую структуру <math>AdS_2\times S^2</math>, где AdS-часть записана в координатах Пуанкаре. Данная метрика известна как метрика Бертотти-Робинсона. Горизонтом Пуанкаре в этой метрике является <math>z\to \infty</math>, как и обсуждалось ранее, что соответствует горизонту событий экстремальной черной дыры и следует из (Шаблон:EquationNote) при <math>u\to 0</math>. Обратно, конформной границе <math>AdS_2</math> (<math>z\to +0</math>) соответствует бесконечно удаленная от черной дыры область пространства <math>u\to +\infty</math>.

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

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

<math>ds^2=-g_{tt}(r)dt^2+g_{rr}dr^2+r^2d\Omega_{D-2}^2.</math>

В этом случае, как показано, например, в , температура Хокинга принимает вид: Шаблон:NumBlk}{2\pi\sqrt{g_{rr}}},</math>|Шаблон:EquationRef}} что в обозначениях (Шаблон:EquationNote) можно переписать как: Шаблон:NumBlk{2\pi\sqrt{f^{-1}(r)}}=\frac{f^{\prime}(r_s)}{4\pi},</math>|Шаблон:EquationRef}} где <math>r_s</math> есть сингулярная точка <math>f(r_s)=0</math>. Рассмотрим статическую незаряженную черную дыру на <math>AdS_5</math> фоне, являющуюся сингулярным решением уравнений Эйнштейна с отрицательной космологической постоянной (используя(Шаблон:EquationNote) и (Шаблон:EquationNote)): Шаблон:NumBlk=-\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.</math>|Шаблон:EquationRef}} Здесь <math>r_0</math> есть параметр, связанный с массой черной дыры М и пятимерной постоянной Ньютона <math>G_5</math> соотношением:

<math>r_0=2MG_5.</math>

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

<math>f(r)=\left(1+\frac{r^2}{R^2}-\frac{r_0^2}{r^2}\right).</math>

Сингулярная точка (горизонт) есть решение уравнения <math>f(r_s)=0</math>: Шаблон:NumBlk-1\right)>0.</math>|Шаблон:EquationRef}} Поскольку масштаб <math>R</math> фиксирован, <math>r_s</math> имеет две асимптотики:

<math>r_0\ll R\Rightarrow r_s\sim r_0,</math>

<math>r_0 \gg R\Rightarrow r_s\sim \sqrt{r_0 R}.</math>

Радиус горизонта <math>r_s</math> ограничен радиусом Шварцшильда: Шаблон:NumBlk+1}\leq 1.</math>|Шаблон:EquationRef}} Асимптотическое поведение <math>r_s</math> является качественной характеристикой для массивности черной дыры в пространстве AdS. Черную дыру, для которой <math>r_0\ll R</math>, называют малой. Для таких черных дыр соотношение (Шаблон:EquationNote) стремится к единице. Обратно, черные дыры, для которых выполнено <math>r_o\gg R</math>, называют большими. Для них из (Шаблон:EquationNote) получаем <math>r_s\gg R</math>.

Подстановка выражений (Шаблон:EquationNote) и (Шаблон:EquationNote) в (Шаблон:EquationNote) позволяет получить температуру Хокинга черной дыры на <math>AdS_5</math> фоне: Шаблон:NumBlk Данная температура имеет две асимптотики, соответствующих большой и малой черной дыре:

<math>r_s\ll R \Rightarrow T_H \approx \frac{1}{2\pi r_s},</math>

<math>r_s\gg R\Rightarrow T_H\approx \frac{r_s}{\pi R^2}.</math>

Видно, что температура Хокинга растет и в пределе большой массы и в пределе малой массы черной дыры. Таким образом, пространство <math>AdS_5</math> поддерживает существование относительно стабильных черных дыр с радиусом <math>r_s\approx R</math>. При этом температура Хокинга для малых черных дыр в <math>AdS_5</math> ведет себя как у черных дыр в пространстве Минковского (чем меньше, тем горячее). Это означает, что для малых черных дыр можно пренебречь кривизной пространства R. Приведенные результаты для термодинамики черных дыр в <math>AdS_5</math> можно обобщить на <math>AdS_{d+1}</math>. Для этого нужно вывести температуру Хокинга (Шаблон:EquationNote) в общем случае. Эта температура извлекается из анализа так называемой конической сингулярности в евклидизированной метрике вблизи горизонта (см., например, ). После евклидизации (совершив поворот Вика <math>t\to -it_E</math>) температурой излучения называют период замыкания евклидова времени в квантовой теории поля при конечной температуре.

Рассмотрим пространство <math>AdS_{d+1}</math> в глобальных координатах с вложенной сингулярностью типа черной дыры: Шаблон:NumBlk\right)dt^2+\left(1+\frac{r^2}{R^2}-\frac{w_d M}{r^{d-2}}\right)^{-1}dr^2+r^2 d\Omega_{d-1}^2,</math>|Шаблон:EquationRef}} где <math>G_N</math> есть постоянная Ньютона, <math>M</math> - масса вложенной сингулярности, а <math>w_d</math> - радиус Шварцшильда для вложенной сингулярности: Шаблон:NumBlk{(d-2)\Omega_{d-1}}.</math>|Шаблон:EquationRef}} Далее, определяя внешний горизонт <math>r_+</math> как наибольшее решение уравнения на сингулярный множитель, Шаблон:NumBlk=0,</math>|Шаблон:EquationRef}} можно выполнить поворот Вика и одновременно рассмотреть метрику вблизи <math>r_+</math>, перейдя к радиальной координате вида <math>r=r_++\rho^2</math> при <math>\rho\to 0</math>: Шаблон:NumBlk \right)} \left( d\rho^2+\rho^2 \frac{dt^2}{4} \left( \frac{2r_+}{R^2}+\frac{(d-2)w_d M}{r_+^{d-1}} \right)^2 \right)+r_+^2d\Omega_{d-1}^2.</math>|Шаблон:EquationRef}}

При рассмотрении теории поля при конечной температуре на этом фоне, евклидово время необходимо положить замкнутым с периодом <math>\beta</math>, тогда континуальный интеграл, определяющий теорию, сводится к статистической сумме системы с конечной температурой <math>T=\frac{1}{\beta}</math>:

<math>Z[\beta]=Tr[e^{-\beta \hat{H}}]=\int_{\phi(\overline{x},t_E)=\phi(\overline{x},t_E+\beta)} D\phi \; e^{-S_E[\phi]}.</math>

Такое же определение температуры используется и при анализе метрики вблизи черной дыры. Первое слагаемое в (Шаблон:EquationNote) при замыкании евклидова времени <math>\tau\in[0,2\pi-\Delta]</math>, где Шаблон:NumBlk \right),</math>|Шаблон:EquationRef}} определяет метрику двумерного <math>(\rho,\tau)</math> многообразия в полярных координатах, имеющего коническую сингулярность при <math>\Delta\neq 0</math> в точке <math>\rho=0</math>. Отсюда находим, что период евклидова времени равен <math>\beta_{\tau}= 2\pi</math>, так как иначе присутствие конической сингулярности на горизонте <math>r_+</math> ведет к потере гладкости метрики. Поэтому можно определить <math>\beta_t=\beta</math>, используя (Шаблон:EquationNote), как:

<math>\beta=\beta_t=\frac{4 \pi}{ \frac{2r_+}{R^2}+\frac{(d-2)w_d M}{r_+^{d-1}} }=\frac{4 \pi}{\frac{d\cdot r_+}{R^2}+\frac{d-2}{r_+}}.</math>

Таким образом, температурой черной дыры, вложенной в <math>AdS_{d+1}</math>, является: Шаблон:NumBlk Данный результат обобщает (Шаблон:EquationNote).

Черная дыра стабильна, если ее удельная теплоемкость <math>C_BH=\partial M/\partial T</math> положительна, т.е. когда система черная дыра - поле становится равновесной. Уравнение (Шаблон:EquationNote) параметризует некоторую кривую <math>T(M)</math>, минимум которой находится из условия:

<math>\frac{\partial T}{\partial M}=\frac{d T}{d r_+}\frac{d r_+}{d M}=0.</math>

Однако, дифференцирование (Шаблон:EquationNote) дает:

<math>\frac{dr_+}{dM}\left(\frac{d\cdot r_+^{d-1}}{R^2}+(d-2)r_+^{d-3}\right)=w_d,</math>

откуда следует, что <math>{dr_+}/{dM}>0</math>, т.е. минимум <math>T(M)</math> определяется из <math>dT/dr_+=0</math>:

<math>r_+^\text{min}=R\sqrt{\frac{d-2}{d}},</math>

которое и приводит к выражению для минимальной температуры:

<math>T_\text{min}=\frac{d\cdot r_+}{2\pi R}=\frac{\sqrt{d(d-2)}}{2\pi R}.</math>

Черные дыры малой массы, чья температура больше минимальной, оказываются термодинамически нестабильны (как черные дыры в пространстве Минковского). При увеличении массы черной дыры выше определенного критического значения, для которого температура падает до минимальной, черная дыра оказывается термодинамически стабильной. Таким образом, пространство <math>AdS_{d+1}</math> способно поддерживать существование стабильных вложенных черных дыр.

Переход к координатам Пуанкаре

В случае черных дыр, асимптотически вложенных в <math>AdS_5</math> и описываемых метрикой (Шаблон:EquationNote), можно рассмотреть переход к координатам Пуанкаре и получить аналог (Шаблон:EquationNote). Этот переход будет означать рассмотрение лишь части глобального <math>AdS_5</math> и диктоваться физическими соображениями.

Переход к координатам Пуанкаре для общего случая <math>AdS_{d+1}</math> с вложенной черной дырой описан в работе . В пределе <math>r\gg R</math> метрика (Шаблон:EquationNote) в евклидовой сигнатуре принимает вид:

<math>ds^2\simeq\left(\frac{r}{R}dt\right)^2+\left(\frac{R}{r}dr\right)^2+r^2 d\Omega_{d-1}^2.</math>

Отсюда видно, что при введении температуры евклидово время должно быть свернуто в окружность радиуса <math>\rho_1=\frac{r}{RT}</math> (при фиксированном <math>r</math>), а <math>(d-1)</math>-мерная сфера в последнем слагаемом имеет радиус <math>\rho_2=r</math>. При этом в пределе <math>r\to \infty</math> получаем <math>\rho_1\sim \rho_2\sim r</math>. Так как предел <math>r \to \infty</math> соответствует конформной границе, на которой живет конформная теория поля (CFT), общий масштабный фактор <math>r</math> после взятия предела может быть отброшен (поскольку смысл имеют лишь относительные масштабы) и топология конформной границы принимает вид <math>S^{d-1}\times S^1</math>. Однако, как и после перехода к координатам Пуанкаре в <math>AdS_{d+1}</math>, нужно получить конформную границу с топологией <math>\mathbb R^{d-1}\times S^1</math>, поскольку стремимся получить CFT при конечной температуре в плоском пространстве, а не на сфере. Это означает, что тогда нужно рассматривать бесконечный предел отношения <math>\rho_2/\rho_1</math>, который позволяет пренебречь топологией пространственной части,

<math>\frac{\rho_2}{\rho_1}=RT\to \infty.</math>

Таким образом, нужный предел достигается при <math>T\to \infty</math>, что возможно только при <math>M\to \infty</math>. В этом пределе необходимо перемасштабировать координаты так, чтобы член <math>r^2dt^2</math> оставался конечным при <math>M\to \infty</math>. Так как <math>M\sim r^d</math>, нужное перемасштабирование выглядит следующим образом: Шаблон:NumBlk\right)^{1/d}\rho,</math>|Шаблон:EquationRef}} Шаблон:NumBlk\right)^{-1/d}\tau.</math>|Шаблон:EquationRef}} Метрика (Шаблон:EquationNote) после замены (Шаблон:EquationNote), (Шаблон:EquationNote), а также евклидизации в пределе <math>M\to \infty</math>, соответственно, принимает вид:

Шаблон:NumBlk{\rho^{d-2}}\right)d\tau^2+\left(\frac{\rho^2}{R^2}-\frac{R^{d-2}}{\rho^{d-2}}\right)^{-1}d\rho^2+\rho^2\sum\limits_{i=1}^{d-1}dx_i^2,</math>|Шаблон:EquationRef}}

где <math>dx_i=(w_dM/R^{d-2})^2d\Omega_i</math>. Для нахождения периода <math>\tau</math> можно заметить, что в пределе больших <math>M</math> уравнение (Шаблон:EquationNote) сводится к виду:

<math>\frac{r^2}{R^2}-\frac{w_dM}{r^{d-2}}=0 \; \Rightarrow \; r_+=(w_dMR^2)^{1/d}.</math>

Откуда, в том же в пределе больших <math>M</math>, из (Шаблон:EquationNote) получаем:

<math>\beta=\frac{4\pi R^2}{d(w_dMR^2)^{1/d}}.</math>

Далее, из (Шаблон:EquationNote) следует, что период евклидова времени в (Шаблон:EquationNote) выражается как:

<math>\beta_1=\beta\left(\frac{w_dM}{R^{d-2}}\right)^{1/d}=\frac{4\pi R}{d}.</math>

Таким образом, рассмотрение CFT на конформной границе пространства <math>AdS_{d+1}</math> с вложенной черной дырой в пределе бесконечной массы черной дыры, <math>M\to \infty</math>, приводит к описанию CFT при конечной температуре, линейно зависящей от числа пространственных измерений <math>d</math>.

При <math>d=4</math>, т.е. рассматривая черную дыру в пространстве <math>AdS_5</math>, метрика (Шаблон:EquationNote) примет вид:

<math>ds^2=\frac{\rho^2}{R^2}\left[\left(1-\frac{R^4}{\rho^4}\right)d\tau^2+R^2\overline{x}^2\right]+\frac{R^2d\rho^2}{\rho^2(1-\frac{R^4}{\rho^4})}.</math>

После замен <math>\rho/R=z_0/z</math>, <math>\tau=-itR/z_0</math>, <math>\overline{x}=\overline{y}/z_0</math>, получаем при <math>z>0</math>: Шаблон:NumBlk Метрика (Шаблон:EquationNote) описывает пространство <math>AdS_5</math> c вложенной черной дырой в координатах Пуанкаре (иногда эту метрику называют плоской черной дырой). Более точно, данная метрика описывает AdS-часть пространства вблизи так называемых неэкстремальных D3-бран. Метрика (Шаблон:EquationNote) обладает особенностью в точке <math>z=z_0</math>, эта точка выступает аналогом радиуса Шварцшильда для черной дыры, вложенной в пространство Минковского (при проходе через эту точку, происходит смена сигнатуры метрики - время и пространство в радиальном направлении меняются местами). Следует еще раз подчеркнуть, что данный переход совершен в пределе <math>M\to \infty</math> (диктуемом физическими соображениями!), когда уравнение (Шаблон:EquationNote) имеет единственное решение, при этом на конформной границе <math>z\to 0</math>, имеющей топологию <math>\mathbb R^{4,1}</math>, можно определить CFT при конечной температуре, равной

<math>T=\frac{1}{\pi z_0}.</math>

Вследствие использованного предела <math>M\to \infty</math>, это есть температура большой черной дыры в <math>AdS_5</math> (которая чем больше, тем горячее, в противоположность малой черной дыре, чья термодинамика аналогична черной дыре в плоском пространстве). Малые черные дыры в <math>AdS_5</math> полностью исчезают при переходе к метрике (Шаблон:EquationNote).

AdS в теории струн

Пространство <math>AdS_5</math> начало играть огромную роль в теории струн и смежных областях после появления гипотезы AdS/CFT соответствия в 1997 г. Это пространство асимптотически возникает вблизи стопки большого количества D3-бран в десятимерной супергравитации типа IIB, являющейся, в свою очередь, низкоэнергетическим приближением к теории суперструн типа IIB. Соответствующее решение для метрики, создаваемой стопкой из <math>N</math> штук D3-бран, имеет следующий вид: Шаблон:NumBlk

<math>dx^{\beta}dx_{\beta}=-dt^2+\sum \limits_{i=1}^3(dx^i)^2,</math>

<math>r^2=\sum \limits_{a=4}^9(x^a)^2,</math>

где функции <math>f(r)</math> и <math>h(r)</math> были найдены в работе , Шаблон:NumBlk,</math>|Шаблон:EquationRef}} Шаблон:NumBlk Здесь <math>g_s</math> - струнная константа связи, <math>\alpha^{\prime}</math> - натяжение струны.

При <math>r\to \infty</math> метрика (Шаблон:EquationNote) становится асимптотически плоской, однако при <math>r\to 0</math> имеем: Шаблон:NumBlk Первые два слагаемых в (Шаблон:EquationNote) описывают пространство <math>AdS_5</math> в координатах Пуанкаре (подстановка <math>r= \frac{R^2}{z}</math> приводит к (Шаблон:EquationNote)). Таким образом, метрика (Шаблон:EquationNote) описывает пространство <math>AdS_5\times S^5</math>, где сфера <math>S^5</math> имеет постоянный радиус <math>R</math>, т.е. метрика (Шаблон:EquationNote) вокруг стопки D3-бран в супергравитации типа IIB в окрестности источника (расстояние до стопки <math>r\approx 0</math>) имеет горловину с асимптотически постоянным радиусом (каждая окружность воронки есть сфера <math>S^5</math>).

Возникновение топологической структуры <math>AdS_5\times S^5</math> у метрики (Шаблон:EquationNote)-(Шаблон:EquationNote) вблизи сингулярности <math>r=0</math> имеет видимое сходство с появлением топологической структуры <math>AdS_2\times S^2</math> у метрики (Шаблон:EquationNote) вблизи горизонта заряженной черной дыры в 4-х мерном, асимптотически плоском пространстве Минковского.

Область горловины определена условием <math>r\ll R</math>. Применимость классического гравитационного описания требует рассмотрение пределов <math>r\gg \sqrt{\alpha^{\prime}}</math> и <math>g_s\to 0</math>, иначе оказываются существенными струнные поправки. Отсюда следует Шаблон:NumBlk в пределе <math>g_s\to 0</math>, т.е. число D3 бран в стопке <math>N\to \infty</math> (приближение бесконечно массивной стопки). При этом источник <math>r=0</math> бесконечно удален от любой точки горловины (Шаблон:EquationNote), а значит метрика (Шаблон:EquationNote) может рассматриваться как фоновая для любой области внутри горловины.

В теории суперструн типа IIB, в которой струны изначально замкнуты, динамически возникают открытые струны, оканчивающихся на бранах (также возникающих динамически). Динамика концов струн задает на этих бранах определенную теорию поля в плоском пространстве-времени. В случае D3 бран, это <math>{\cal N}=4</math> суперсимметричная теория Янга-Миллса с калибровочной группой <math>SU(N)</math>, являющаяся конформной теорией поля с константой связи <math>g\sim\sqrt{g_s}</math>. Динамика этой теории, как упоминалось выше (в параграфе Связь границы и балка для динамики в AdS), будет полностью определяться супергравитацией типа IIB на фоне <math>AdS_5\times S^5</math>, и наоборот. Грубо говоря, в этом и состоит суть гипотезы AdS/CFT соответствия.

Важно отметить, что в силу (Шаблон:EquationNote), гравитационное описание конформной теории поля применимо при <math>g^2N\gg1</math>, т.е. в пределе сильной связи, что потенциально открывает широкие возможности для непертурбативного описания сильной связи в калибровочной теории поля с помощью гравитации в пространстве AdS большей размерности. Развитие этой идеи сыграло огромную роль в современной теоретической физике, а также привело к построению многочисленных феноменологических моделей для описания различных физических явлений в режиме сильной связи, особенно в теории сильных взаимодействий (см. АдС/КХД соответствие).

Литература

• S. Kobayashi and K. Nomizu,"Foundations of Differential Geometry", Volume 1. A Wiley Publication in Applied Statistics, Wiley, 1996.
• T. Koda, "An introduction to the geometry of homogeneous spaces", 2009.
• L. P. EISENHART, "Riemannian Geometry", p. 84-85. Princeton UniversityPress, 1949.
• M. P. d. Carmo, "Riemannian geometry" / Manfredo do Carmo ; translated by Francis Flaherty. Mathematics. Theory and applications, Boston: Birkhäuser, 1992.
• P. Petersen, "Riemannian Geometry". Graduate Texts in Mathematics, Springer New York, 2006.
• J. Penedones, "TASI lectures on AdS/CFT", in Theoretical Advanced Study Institute in Elementary Particle Physics: New Frontiers in Fields and Strings, 8 2016.
• C. A. Bayona and N. R. F. Braga, "Antide Sitter boundary in Poincare coordinates", Gen. Rel. Grav., vol. 39, p. 1367-1379, 2007.
• B. Zwiebach, "A first course in string theory". Cambridge University Press, 7 2006.
• P. P. Avelino, A. J. S. Hamilton, C. A. R. Herdeiro, and M. Zilhão, "Mass inflation in a ddimensional reissnernordström black hole: A hierarchy of particle accelerators?",Physical Review D, vol. 84, Jul 2011.
• S. W. Hawking, "Particle creation by black holes", Communications in Mathematical Physics, vol. 43, no. 3, p. 199-220, 1975.
• C. Kiefer, "Towards a full quantum theory of black holes", Lecture Notes in Physics, p. 416–450, Jul 2003.
• Z. Z. Ma, "Hawking temperature of kerr–newman–ads black hole from tunneling", Physics Letters B, vol. 666, p. 376-381, Sep 2008. 36
• H. Năstase, "Introduction to the AdS/CFT Correspondence". Cambridge University Press, 2015.
• E. Witten, "Antide sitter space, thermal phase transition, and confinement in gauge theories", 1998.
• G. T. Horowitz and A. Strominger, "Black strings and Pbranes", Nucl. Phys. B, vol. 360, p. 197-209, 1991.

Ссылки

• Пространство-время отрицательной кривизны. // Хуан Малдасена. Иллюзия гравитации. — Элементы (Перепечатка из журнала «В мире науки» №2, 2006)
• Лекция 8. Вселенная Фридмана. Пространство (анти-)де Ситтера // М. О. Катанаев, д. ф.-м. н.. Спецкурс «Общая теория относительности и геометрическая теория дефектов» — М.: МИАН, 2015.