В математике и физике n -мерное антидеситтеровское пространство (AdS n ) представляет собой максимально симметричное лоренцево многообразие с постоянной отрицательной скалярной кривизной . Антидеситтеровское пространство и пространство де Ситтера названы в честь Виллема де Ситтера (1872–1934), профессора астрономии в Лейденском университете и директора Лейденской обсерватории . Виллем де Ситтер и Альберт Эйнштейн тесно сотрудничали в Лейдене в 1920-х годах над пространственно-временной структурой Вселенной. Поль Дирак был первым человеком, который тщательно исследовал антидеситтеровское пространство, сделав это в 1963 году. [1] [2] [3] [4]
Многообразия постоянной кривизны наиболее известны в случае двух измерений, где эллиптическая плоскость или поверхность сферы является поверхностью постоянной положительной кривизны, плоская (т. е. евклидова ) плоскость является поверхностью постоянной нулевой кривизны, а гиперболическая плоскость является поверхностью постоянной отрицательной кривизны.
Общая теория относительности Эйнштейна ставит пространство и время на равные позиции, так что рассматривается геометрия единого пространства-времени, а не отдельное рассмотрение пространства и времени. Случаями пространства-времени постоянной кривизны являются пространство де Ситтера (положительное), пространство Минковского (нулевое) и анти-де Ситтера (отрицательное). Таким образом, они являются точными решениями уравнений поля Эйнштейна для пустой вселенной с положительной, нулевой или отрицательной космологической постоянной соответственно.
Пространство анти-де Ситтера обобщается на любое количество пространственных измерений. В более высоких измерениях оно наиболее известно своей ролью в соответствии AdS/CFT , которое предполагает, что можно описать силу в квантовой механике (например, электромагнетизм , слабое взаимодействие или сильное взаимодействие ) в определенном количестве измерений (например, четыре) с помощью теории струн , где струны существуют в пространстве анти-де Ситтера с одним дополнительным (некомпактным) измерением.
Максимально симметричное лоренцево многообразие — это пространство-время, в котором ни одна точка в пространстве и времени не может быть каким-либо образом отличена от другой, и (будучи лоренцевым) единственный способ, которым можно отличить направление (или касательную к траектории в точке пространства-времени), — это то, является ли оно пространственноподобным , светоподобным или времениподобным . Пространство специальной теории относительности ( пространство Минковского ) является примером.
Постоянная скалярная кривизна означает искривление пространства-времени, подобное гравитации в общей теории относительности, имеющее кривизну, описываемую одним числом, которое одинаково повсюду в пространстве-времени при отсутствии материи или энергии.
Отрицательная кривизна означает гиперболическую кривизну, подобную седловидной поверхности или поверхности рога Гавриила , подобной поверхности колокола трубы .
Общая теория относительности — это теория природы времени, пространства и гравитации, в которой гравитация — это искривление пространства и времени, возникающее из-за присутствия материи или энергии. Энергия и масса эквивалентны (как выражено в уравнении E = mc 2 ). Значения пространства и времени могут быть связаны соответственно с единицами времени и пространства путем умножения или деления значения на скорость света (например, секунды, умноженные на метры в секунду, равны метрам).
Распространенная аналогия включает в себя то, как провал в плоском листе резины, вызванный тяжелым предметом, лежащим на нем, влияет на путь, по которому катятся рядом небольшие предметы, заставляя их отклоняться внутрь от пути, по которому они бы двигались, если бы тяжелый предмет отсутствовал. Конечно, в общей теории относительности как небольшие, так и большие объекты взаимно влияют на кривизну пространства-времени.
Сила притяжения, создаваемая материей, обусловлена отрицательной кривизной пространства-времени, представленной в аналогии с резиновым листом отрицательно искривленной (похожей на трубу) впадиной на листе.
Ключевой особенностью общей теории относительности является то, что она описывает гравитацию не как традиционную силу, вроде электромагнетизма, а как изменение геометрии пространства-времени, возникающее в результате присутствия материи или энергии.
Аналогия, использованная выше, описывает кривизну двумерного пространства, вызванную гравитацией в общей теории относительности в трехмерном суперпространстве, в котором третье измерение соответствует эффекту гравитации. Геометрический способ мышления об общей теории относительности описывает эффекты гравитации в реальном мире четырехмерного пространства геометрически, проецируя это пространство в пятимерное суперпространство с пятым измерением, соответствующим кривизне в пространстве-времени, которая создается гравитацией и гравитационно-подобными эффектами в общей теории относительности.
В результате в общей теории относительности знакомое ньютоновское уравнение гравитации (т. е. гравитационное притяжение между двумя объектами равно гравитационной постоянной , умноженной на произведение их масс, деленное на квадрат расстояния между ними) является всего лишь приближением гравитационных эффектов, наблюдаемых в общей теории относительности. Однако это приближение становится неточным в экстремальных физических ситуациях, таких как релятивистские скорости (в частности, света) или очень большие и плотные массы.
В общей теории относительности гравитация вызвана искривлением («искажением») пространства-времени. Распространенным заблуждением является приписывание гравитации искривленному пространству; ни пространство, ни время не имеют абсолютного значения в теории относительности. Тем не менее, чтобы описать слабую гравитацию, как на Земле, достаточно рассмотреть искажение времени в определенной системе координат. Мы находим гравитацию на Земле очень заметной, в то время как релятивистское искажение времени требует точных приборов для обнаружения. Причина, по которой мы не осознаем релятивистские эффекты в нашей повседневной жизни, заключается в огромном значении скорости света ( c =примерно 300 000 км/с ), что заставляет нас воспринимать пространство и время как разные сущности.
Пространство Де Ситтера включает в себя вариацию общей теории относительности, в которой пространство-время слегка искривлено при отсутствии материи или энергии. Это аналогично соотношению между евклидовой геометрией и неевклидовой геометрией .
Внутренняя кривизна пространства-времени при отсутствии материи или энергии моделируется космологической постоянной в общей теории относительности. Это соответствует вакууму, имеющему плотность энергии и давление. Такая геометрия пространства-времени приводит к мгновенно параллельным времениподобным геодезическим [b], расходящимся, с пространственноподобными сечениями, имеющими положительную кривизну.
Анти-де-ситтеровское пространство в общей теории относительности похоже на пространство де Ситтера , за исключением того, что знак кривизны пространства-времени изменен. В анти-де-ситтеровском пространстве при отсутствии материи или энергии кривизна пространственноподобных сечений отрицательна, что соответствует гиперболической геометрии , и на мгновение параллельные времениподобные геодезические [b] в конечном итоге пересекаются. Это соответствует отрицательной космологической постоянной , где само пустое пространство имеет отрицательную плотность энергии, но положительное давление, в отличие от стандартной модели ΛCDM нашей собственной Вселенной, для которой наблюдения далеких сверхновых указывают на положительную космологическую постоянную, соответствующую (асимптотическому) пространству де Ситтера .
В антиде-ситтеровском пространстве, как и в де-ситтеровском пространстве, внутренняя кривизна пространства-времени соответствует космологической постоянной.
Анти-де-ситтеровское пространство AdS 2 также является де-ситтеровским пространством dS 2 посредством обмена времениподобными и пространственноподобными метками. [5] Такая перемаркировка меняет знак кривизны, который традиционно соотносится с направлениями, обозначенными как пространственноподобные.
Аналогия, использованная выше, описывает кривизну двумерного пространства, вызванную гравитацией в плоском окружающем пространстве на одно измерение выше. Аналогично, (искривленные) пространства де Ситтера и анти-де Ситтера четырех измерений могут быть вложены в (плоское) псевдориманово пространство пяти измерений. Это позволяет напрямую определять расстояния и углы во вложенном пространстве из расстояний и углов в пятимерном плоском пространстве.
Оставшаяся часть этой статьи объясняет детали этих концепций с гораздо более строгим и точным математическим и физическим описанием. Люди плохо приспособлены для визуализации вещей в пяти или более измерениях, но математические уравнения не испытывают подобных трудностей и могут представлять пятимерные концепции таким же подходящим способом, как и методы, которые математические уравнения используют для описания более простых для визуализации трех- и четырехмерных концепций.
Существует особенно важное следствие более точного математического описания, которое отличается от эвристического описания пространства де Ситтера и анти-де Ситтера, основанного на аналогии, приведенного выше. Математическое описание пространства анти-де Ситтера обобщает идею кривизны. В математическом описании кривизна является свойством конкретной точки и может быть отделена от некоторой невидимой поверхности, с которой сливаются искривленные точки в пространстве-времени. Так, например, такие концепции, как сингулярности (наиболее широко известная из которых в общей теории относительности — черная дыра ), которые не могут быть полностью выражены в геометрии реального мира, могут соответствовать конкретным состояниям математического уравнения.
Полное математическое описание также фиксирует некоторые тонкие различия, проводимые в общей теории относительности между пространственно-подобными измерениями и времени-подобными измерениями.
Подобно тому, как сферические и гиперболические пространства можно визуализировать изометрическим вложением в плоское пространство одного большего измерения (как сфера и псевдосфера соответственно), анти-де-ситтеровское пространство можно визуализировать как лоренцев аналог сферы в пространстве одного дополнительного измерения. Дополнительное измерение времениподобно. В этой статье мы принимаем соглашение, что метрика во времениподобном направлении отрицательна.
Анти-де-ситтеровское пространство сигнатуры ( p , q ) может быть затем изометрически вложено в пространство с координатами ( x 1 , ..., x p , t 1 , ..., t q +1 ) и метрикой
как квазисфера
где — ненулевая константа с размерностью длины ( радиус кривизны ). Это (обобщенная) сфера в том смысле, что она представляет собой набор точек, для которых «расстояние» (определяемое квадратичной формой) от начала координат постоянно, но визуально это гиперболоид , как на показанном изображении.
Метрика на анти-де-ситтеровском пространстве индуцирована из метрики окружения . Она невырождена и в случае q = 1 имеет лоренцеву сигнатуру.
При q = 0 эта конструкция дает стандартное гиперболическое пространство. Оставшаяся часть обсуждения применима при q ≥ 1 .
Когда q ≥ 1 , вложение выше имеет замкнутые времениподобные кривые ; например, путь, параметризованный и все остальные координаты равны нулю, является такой кривой. Когда q ≥ 2, эти кривые присущи геометрии (неудивительно, поскольку любое пространство с более чем одним временным измерением содержит замкнутые времениподобные кривые), но когда q = 1 , их можно устранить, перейдя к универсальному покрывающему пространству , эффективно «разворачивая» вложение. Похожая ситуация возникает с псевдосферой , которая закручивается вокруг себя, хотя гиперболическая плоскость этого не делает; в результате она содержит самопересекающиеся прямые линии (геодезические), в то время как гиперболическая плоскость их не делает. Некоторые авторы определяют пространство анти-де Ситтера как эквивалент самой вложенной квазисфере, в то время как другие определяют его как эквивалент универсального покрытия вложения.
Если универсальное покрытие не взято, то ( p , q ) анти-де-ситтеровское пространство имеет O( p , q + 1) в качестве своей группы изометрий . Если универсальное покрытие взято, то группа изометрий является покрытием O( p , q + 1) . Это проще всего понять, определив анти-де-ситтеровское пространство как симметричное пространство , используя конструкцию фактор-пространства , приведенную ниже.
Недоказанная «гипотеза нестабильности AdS», выдвинутая физиками Петром Бизоном и Анджеем Ростворовским в 2011 году, утверждает, что произвольно малые возмущения определенных форм в AdS приводят к образованию черных дыр. [6] Математик Георгиос Москидис доказал, что при наличии сферической симметрии эта гипотеза верна для конкретных случаев эйнштейновской нулевой пылевой системы с внутренним зеркалом (2017) и эйнштейновской безмассовой системы Власова (2018). [7] [8]
Координатный патч, покрывающий часть пространства, дает полупространственную координатизацию анти-де-ситтеровского пространства. Метрический тензор для этого патча равен
с указанием полупространства. Эта метрика конформно эквивалентна плоскому полупространству Минковского-пространству-времени.
Постоянные временные срезы этого патча координат являются гиперболическими пространствами в метрике полупространства Пуанкаре. В пределе, когда , эта метрика полупространства конформно эквивалентна метрике Минковского . Таким образом, пространство анти-де Ситтера содержит конформное пространство Минковского на бесконечности («бесконечность», имеющая нулевую y-координату в этом патче).
В пространстве AdS время периодично, а универсальное покрытие имеет непериодическое время. Координатный участок выше покрывает половину одного периода пространства-времени.
Поскольку конформная бесконечность AdS является времениподобной , задание начальных данных на пространственноподобной гиперповерхности не будет определять будущую эволюцию однозначно ( т.е. детерминировано), если только не будут определены граничные условия, связанные с конформной бесконечностью.
Другая часто используемая система координат, охватывающая все пространство, задается координатами t и гиперполярными координатами α , θ и φ .
Соседнее изображение представляет собой область "полупространства" анти-де-ситтеровского пространства и ее границу. Внутренняя часть цилиндра соответствует анти-де-ситтеровскому пространству-времени, а его цилиндрическая граница соответствует его конформной границе. Зеленая заштрихованная область внутри соответствует области AdS, охватываемой полупространственными координатами, и она ограничена двумя нулевыми, или светоподобными, геодезическими гиперплоскостями; зеленая заштрихованная область на поверхности соответствует области конформного пространства, охватываемой пространством Минковского.
Закрашенная зеленым область охватывает половину пространства AdS и половину конформного пространства-времени; левые концы зеленых дисков будут соприкасаться таким же образом, как и правые концы.
Точно так же, как 2-сфера
является частным двух ортогональных групп , анти-де Ситтера с четностью (отражательная симметрия) и симметрией обращения времени можно рассматривать как частное двух обобщенных ортогональных групп
тогда как AdS без P или C можно рассматривать как частное
спиновых групп .
Эта фактор-формулировка дает структуру однородного пространства . Алгебра Ли обобщенной ортогональной группы задается матрицами
где - кососимметричная матрица . Дополнительный генератор в алгебре Ли - это
Эти два удовлетворяют . Явное вычисление матриц показывает, что и . Таким образом, анти-де Ситтер является редуктивным однородным пространством и неримановым симметричным пространством .
представляет собой n -мерное вакуумное решение для теории гравитации с действием Эйнштейна–Гильберта с отрицательной космологической постоянной , ( ), т.е. теория, описываемая следующей плотностью лагранжиана :
где G ( n ) — гравитационная постоянная в n- мерном пространстве-времени. Следовательно, это решение уравнений поля Эйнштейна :
где - тензор Эйнштейна , а - метрика пространства-времени. Вводя радиус как , это решение можно погрузить в -мерное плоское пространство-время с метрикой в координатах с помощью следующего ограничения:
параметризуется в глобальных координатах параметрами как:
где параметризуем сферу, а в координатах это , и т . д. Метрика в этих координатах:
где и . Учитывая периодичность времени и для того, чтобы избежать замкнутых времениподобных кривых (ЗВК), следует взять универсальное покрытие . В пределе можно приблизиться к границе этого пространства-времени, обычно называемой конформной границей.
С помощью преобразований и мы можем получить обычную метрику в глобальных координатах:
где
По следующей параметризации:
метрика в координатах Пуанкаре равна:
в котором . Поверхность коразмерности 2 является горизонтом Пуанкаре-Киллинга и приближается к границе пространства-времени. Поэтому в отличие от глобальных координат, координаты Пуанкаре не покрывают все многообразие . Используя эту метрику можно записать следующим образом:
где . С помощью преобразования также можно записать как:
Последние координаты являются координатами, которые обычно используются в соответствии AdS/CFT , при этом граница AdS находится в точке .
Поскольку AdS максимально симметричен, его также можно привести к пространственно однородной и изотропной форме, подобной пространству-времени FRW (см. метрику Фридмана–Леметра–Робертсона–Уокера ). Пространственная геометрия должна быть отрицательно искривленной (открытой), а метрика —
где — стандартная метрика на -мерной гиперболической плоскости. Конечно, это не охватывает все AdS. Эти координаты связаны с глобальными координатами вложения соотношением
где параметризуем .
Позволять
где параметризуем . Тогда метрика читается как:
где
является метрикой размерного пространства де Ситтера с радиусом кривизны в открытых координатах среза. Гиперболическая метрика задается как:
Метрика AdS n с радиусом является одним из максимальных симметричных n -мерных пространств-времен. Она имеет следующие геометрические свойства: