Почему темная энергия создает положительную кривизну пространства-времени?

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

WMAP обнаружил, что пространство кажется «плоским» и что нет никаких признаков положительной кривизны. ИМХО правильное понимание GR означает, что это не должно удивлять. Посмотрите, где Эйнштейн описал гравитационное поле как пространство, которое не было ни однородным, ни изотропным , а затем посмотрите на метрику FLRW , которая «начинается с предположения об однородности и изотропии пространства» .
Ответ Кристофа кажется хорошим, но я бы остановился на том, что кажется фундаментальной концептуальной ошибкой, которая привела к путанице ОП. ОТО описывает кривизну пространства-времени, а не просто кривизну пространства. Если разрезать по плоскости xt, то изначально параллельные линии впоследствии разойдутся, и это связано с космологической постоянной. Пространственная кривизна будет срезом вдоль плоскости, такой как xy. Текущие свидетельства того, что в этом типе плоскости, геометрия близка к евклидовой.

Ответы (2)

Положительная космологическая постоянная по определению приводит к положительной скалярной кривизне. Просто проследите уравнение Эйнштейна, и вы получите

р знак равно 4 Λ 8 π Т
что просто
р знак равно 4 Λ > 0
в вакууме.

Неявные, но более интересные вопросы, вероятно, следующие:

Почему мы можем интерпретировать космологическую постоянную как темную энергию?

Моделирование материи как жидкости в равновесии , т.е.

Т мю ν знак равно ( р + п ) ты мю ты ν + п грамм мю ν
уравнение Эйнштейна гласит
р мю ν 1 2 р грамм мю ν знак равно 8 π ( р + п ) ты мю ты ν + ( 8 π п Λ ) грамм мю ν
Теперь, если мы хотим свернуть Λ термин в терминах вопроса, мы требуем
р Λ + п Λ знак равно 0 8 π п Λ знак равно Λ
который
р Λ знак равно п Λ знак равно Λ 8 π
положительная плотность энергии с отрицательным давлением.

Обратите внимание, что это давление не несет прямой ответственности за какое-либо ускорение или замедление космологического расширения: оно однородно в пространстве и остается постоянным во времени, а при отсутствии градиента не создает никаких сил. Его эффект носит чисто гравитационный характер — в конце концов, это всего лишь замаскированная космологическая постоянная.

Действительно ли положительная кривизна пространства-времени приводит к схождению параллельных геодезических?

Не обязательно из-за лоренцевской сигнатуры метрики. Возьмем пространство 1+1 де Ситтера, которое может быть реализовано как гиперболоид в пространстве Минковского и будет выглядеть так (рисунок взят из Викисклада ):

гиперболоид

Мы получаем геодезические из пересечений плоскостей через начало объемлющего пространства Минковского с гиперболоидом, а времениподобные из тех, которые наклонены под углом менее 45° к оси времени.

Таким образом, вертикальные линии соответствуют времениподобным геодезическим и явно не сходятся.

Вот здесь-то и появляется нарезка гиперповерхностей, подобных пространству: в космологии FLRW предпочтительным является нарезка, при которой галактическая жидкость является однородной. В пространстве де Ситтера нет материи и, следовательно, нет предпочтительного разделения, но тем не менее мы можем использовать его для иллюстрации различных особенностей космологической стандартной модели.

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

г с 2 знак равно г т 2 + α 2 чушь 2 ( т α ) г Ом 2
куда г Ом является метрикой евклидовой сферы и α знак равно 3 / Λ .

Наклоняя наши плоскости, мы также можем создавать плоские срезы с соответствующей метрикой.

г с 2 знак равно г т 2 + е 2 т / α г у 2
и открытые срезы с метрикой
г с 2 знак равно г т 2 + α 2 грех 2 ( т α ) г ЧАС 2
куда г ЧАС является метрикой евклидова гиперболического пространства.

В то время как показанные выше светоподобные геодезические, соответствующие покоящимся частицам в случае замкнутого среза, расходятся, пространственная кривизна будет определять, что происходит с частицами при параллельном движении в пространстве. Однако это не то, что можно показать на нашей картине пространства-времени 1+1.

Как это приводит к ускоренному расширению Вселенной?

Глядя на пространственную часть метрики, все три среза в конечном итоге приводят к экспоненциальному расширению пространства, что в случае вселенной де Ситтера является просто вопросом геометрии. Однако в закрытом случае ускоренное расширение происходит только после замедления коллапса до некоторого минимального размера, определяемого значением космологической постоянной.

В моделях Фридмана, пока космологическая постоянная доминирует над содержанием материи, мы в конечном итоге придем к геометрии де Ситтера и, таким образом, к экспоненциальному расширению.

Спасибо, @Christoph, это выглядит великолепно! Второй вопрос меня озадачил. Если я правильно прочитал ваш ответ, то круги постоянного времени на гиперболоиде не являются геодезическими, поскольку они не образованы плоскостями, проходящими через начало координат. Правильный?
Также я не знаком с уравнением Т мю ν знак равно ( р + п ) ты мю ты ν + п грамм мю ν . Не могли бы вы определить р , п а также ты .
Фактически р а также п ясны из последующих уравнений. Является ты скорость жидкости? Я предполагаю, что это тензорная форма уравнения Бернулли.
@DanielMahler: ваше предположение для ты верно, и я добавил ссылку на соответствующую страницу в Википедии; вы также правы в том, что горизонтальные круги не являются геодезическими, но мы можем использовать их для моделирования замкнутой вселенной, которая сжимается в нижней половине и расширяется в верхней.
Большой. Спасибо. Еще одна путаница - это знак минус в р Λ знак равно п Λ знак равно Λ 8 π . Это говорит о том, что ускорение расширения вызвано отрицательным давлением, что кажется нелогичным.
@DanielMahler: я добавил примечание об этом; см. также en.wikipedia.org/wiki/…
@DanielMahler: я только что добавил недостающие части
Спасибо @Кристоф. Это действительно отличный ответ и отличный ресурс для других в будущем.

Это действительно комментарий, но он получился немного длинным для поля комментария. Это комментарий, потому что я собирался пойти и исследовать это как следует, но не нашел времени (и, вероятно, никогда не найду). Итак, я опубликую свои первоначальные мысли, но рассматриваю это как предложения для рассмотрения, а не как окончательный ответ.

Когда вы говорите, что я также понимаю, что параллельные геодезические сходятся, когда кривизна положительна , держу пари, у вас есть мысленный образ 2-сферы (извините, если я вас клевещу, но это определенно мой непосредственный мысленный образ положительной кривизны). Дело в том, что двумерная сфера является римановым многообразием, т.е. метрика положительно определена. Напротив, многообразия, которые мы используем в теории относительности, являются псевдоримановыми, т. е. метрика не является положительно определенной и действительно имеет сигнатуру (-+++) или (+---) в зависимости от вашего предпочтительного соглашения. Это важно, потому что скалярная кривизна:

р знак равно грамм α β р α β

Таким образом, положительная скалярная кривизна пространства де Ситтера не означает, что оно похоже на сферу. Это было бы, если бы метрика была положительно определенной, но это не так.

Да, мое главное недоразумение заключалось в том, что я не знал, что связь между скалярной кривизной и геодезическими не применима к неопределенным метрикам. Однажды я видел объяснение кривизны в терминах геодезических в книге и подумал, что оно должно быть универсальным.