Кривизна пространства-времени в космологических моделях Фридмана

Краткая версия моего вопроса такова: Что такое кривизна пространства-времени (а не пространства) в космологических моделях Фридмана?

Теперь длинная версия, включая эволюцию моих мыслей и предысторию вопроса:

Совсем недавно я прочитал в твиттере журнала Quanta Magazine: «Если плотность Вселенной эквивалентна 5,7 атомам на кубический метр, Вселенная будет плоской, как лист бумаги. Если это число возрастет до 6, она будет искривляться, как сфера». ".

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

Затем я обнаружил, что довольно пустая Вселенная описывается моделью Милна, и понял, что кривизна пространства — это кривизна пространства-времени — две разные вещи. И что пространство-время является плоским (естественным выбором является геометрия Минковского).

Я предполагаю, что модели Фридмана (без темной энергии) имеют нулевую кривизну пространства-времени (неважно, модель Милна) или положительную (материя с гравитацией). Я прав?

Ответы (2)

Модели FLRW имеют ненулевую кривизну пространства-времени, потому что именно так общая теория относительности описывает гравитацию, и в них гравитация присутствует. (Исключением является пустая вселенная Милна.)

Модели FLRW могут иметь либо нулевую, либо ненулевую пространственную кривизну.

«Модели FLRW имеют ненулевую кривизну пространства-времени». Под ненулевым вы подразумеваете положительное, верно?
Он может быть как положительным, так и отрицательным, в зависимости от того, меньше или больше нуля 1-Ωt=Ωk. Если это ровно 0, то кривизна равна 0. Если общая пространственная кривизна плоская, однажды она останется плоской навсегда, но локально вы можете замкнуть ее на себя, создав черные дыры, внутреннюю часть которых также можно описать как замкнутую вселенную FLRW. в крахе Оппенгеймера-Снайдера.
@LeosOndra: Под ненулевым значением вы подразумеваете положительное, верно? Тензор Римана представляет собой тензор ранга 4 с 20 независимыми компонентами. Тензоры не бывают положительными или отрицательными. Это похоже на векторы (которые являются тензорами ранга 1): векторы не бывают положительными или отрицательными.
@Yukterez Я думаю, что вы пишете 1/ о искривлении пространства, а не пространства-времени, 2/ о локальных неоднородностях в однородной вселенной (что меня интересует)
@BenCrowell Я думал, что в однородной и изотропной вселенной (с плавным распределением энергии, без галактик или звезд) кривизну пространства-времени можно описать более простыми терминами. Но я посмотрю какой-нибудь учебник и скоро вернусь.

Вы не можете описать кривизну пространства-времени одним числом; вам нужны полные 20 компонентов тензора Римана для полного описания. То же самое верно и для трехмерного пространства (хотя вам нужно меньше чисел), просто предположение об однородности и изотропии позволяет нам обойтись без использования одного числа.

тензор Римана

Однако благодаря простоте пространства-времени FRLW мы можем описать тензор Римана всего двумя уравнениями. Если я все сделал правильно, то в ортонормированном базисе они

р 0 я 0 Дж "=" ( ЧАС ˙ + ЧАС 2 ) дельта я Дж и р я Дж к л "=" ( ЧАС 2 + к а 2 ) ( дельта я к дельта Дж л дельта я л дельта Дж к ) ,

с латинскими индексами, принимающими значения в { 1 , 2 , 3 } а все остальные компоненты (с нечетным числом нулевых индексов) равны нулю. Исходя из этого, вы можете вычислить скаляры Риччи и Кречмана,

р "=" р мю ν мю ν и К "=" р мю ν α β р мю ν α β ,

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

р "=" 6 ( ЧАС ˙ + 2 ЧАС 2 + к а 2 ) и К "=" 12 [ ( ЧАС ˙ + ЧАС 2 ) + 8 ( ЧАС 2 + к а 2 ) ] .

Уравнения Фридмана

Чтобы связать их с содержанием материи во Вселенной, мы используем уравнения Фридмана.

ЧАС 2 + к а 2 "=" 8 π 3 р

ЧАС ˙ + ЧАС 2 "=" 4 π 3 ( р + 3 п ) .

Используя их, вы можете видеть, что компоненты тензора Римана — это просто стороны уравнений, а скаляры оказываются равными

р "=" 8 π ( р 3 п ) "=" 8 π ( 1 3 ж ) р

К "=" 64 π 2 3 [ ( р + 3 п ) 2 + 32 р 2 ] "=" 64 π 2 3 [ ( 1 + 3 ж ) 2 + 32 ] р 2 ,

куда я также включил стандартное космологическое уравнение состояния п "=" ж р для одной жидкости.

Анализ

Итак, что мы можем получить от этого? Вы можете видеть, что если во Вселенной вообще есть какая-то энергия ( р 0 ), тензор Римана отличен от нуля. Это означает, что пространство-время плоское (нулевой тензор Римана) тогда и только тогда, когда оно пусто: модель Милна — это всего лишь часть пространства-времени Минковского, и оно (пространственно-время) плоское, даже если не выглядит таковым.

Для трех наиболее распространенных жидкостей, рассматриваемых в космологии, мы имеем ж "=" 0 (темная материя), ж "=" 1 / 3 (излучение) или ж "=" 1 (темная энергия). Вы можете видеть, что во всех случаях скаляры положительны, за исключением ж "=" 1 / 3 когда скаляр Риччи равен нулю. Но и на знак последнего тоже не стоит обращать слишком много внимания, потому что он зависит от подписи метрики; если бы я использовал ( +       ) знаки, р вышел бы с обратным знаком.

Цитата из журнала Quanta

Итак, если мы обнаружили, что пустой плоский , почему в цитате утверждается, что при низких плотностях Вселенная имеет отрицательную кривизну? Это потому, что мы наблюдаем, что Вселенная расширяется, и поэтому мы вынуждены использовать ненулевое ЧАС в уравнениях, и это, так сказать, «сдвигает ноль» кривизны. Пустая Вселенная на самом деле не расширялась бы и была бы плоской, но это противоречит наблюдениям.