Введение различных понятий расстояний между пространствами-временами

Основная информация

• ID статьи: 2410.16800
• Название: Introducing Various Notions of Distances between Space-Times
• Авторы: A. Sakovich, C. Sormani
• Классификация: math.DG (дифференциальная геометрия), gr-qc (общая теория относительности и квантовая космология)
• Время публикации: октябрь 2024
• Ссылка на статью: https://arxiv.org/abs/2410.16800v3

Аннотация

В данной статье вводится понятие причинно-нулевых компактифицируемых пространств-времен (causally-null-compactifiable space-times), которые могут быть канонически преобразованы в компактные временные метрические пространства с использованием космологических временных функций Андерссона-Галлоуэя-Ховарда и нулевых расстояний Сормани-Веги. Авторы конструируют большой класс таких пространств-времен, включая будущую эволюцию компактных начальных наборов данных и области асимптотически плоских пространств-времен. Затем предлагаются различные понятия внутренних расстояний между этими пространствами-временами (вводится временное расстояние Хаусдорфа) и доказывается, что некоторые понятия расстояний являются определяющими, то есть равны нулю тогда и только тогда, когда между пространствами-временами существует временно ориентированная изометрия Лоренца. Эти определяющие расстояния позволяют определить различные понятия сходимости пространств-времен к возможно негладким предельным пространствам-временам.

Исследовательский контекст и мотивация

1. Основная проблема

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

• Как определить "близость" между двумя пространствами-временами?
• Как сравнивать пространства-времена в случае, когда они не гомеоморфны?
• Как определить сходимость последовательности пространств-времен?

2. Значимость проблемы

Эти вопросы имеют важное значение в общей теории относительности:

• Связь почти изотропных космологических моделей с пространством-временем FLRW: реальная Вселенная лишь приблизительно однородна и изотропна
• Эволюция изолированных гравитационных систем к пространству-времени Керра: математическая формулировка гипотезы о конечном состоянии
• Устойчивость решений уравнений Эйнштейна: исследование влияния малых возмущений начальных данных на геометрию пространства-времени

3. Ограничения существующих методов

Традиционные методы требуют существования диффеоморфизма между пространствами-временами и сравнивают метрические тензоры. Однако такой подход:

• Не может обрабатывать пространства-времена с различной топологией
• Не описывает сходимость пространств-времен, содержащих черные дыры, к гладким пространствам-временам
• Лишен внутреннего геометрического смысла

4. Исследовательская мотивация

Мотивация авторов исходит из успешного применения расстояния Громова-Хаусдорфа в римановой геометрии. Они стремятся развить аналогичные понятия внутренних расстояний для изучения сходимости лоренцевых пространств-времен.

Основные вклады

1. Введение понятия причинно-нулевых компактифицируемых пространств-времен: определение большого класса пространств-времен, которые могут быть преобразованы в компактные временные метрические пространства
2. Конструирование различных внутренних расстояний: предложение нескольких типов расстояний между пространствами-временами, включая временное расстояние Хаусдорфа
3. Доказательство определяющего характера расстояний: доказательство того, что некоторые понятия расстояний равны нулю тогда и только тогда, когда существует изометрия Лоренца
4. Установление теории сходимости: предоставление строгой математической базы для сходимости пространств-времен
5. Формулирование многочисленных гипотез: указание направлений для будущих исследований

Подробное описание методов

Определение задачи

Основная задача данной работы состоит в определении внутренних расстояний для лоренцевых пространств-времен таких, что:

• Расстояние равно нулю тогда и только тогда, когда существует временно ориентированная изометрия Лоренца
• Возможна обработка пространств-времен с различной топологией
• Возможно определение сходимости к негладким предельным пространствам

Основные понятия

1. Космологическая временная функция

Для пространства-времени $(N,g)$ космологическая временная функция определяется как: $\tau_g(p) = \sup\{d_g(p,q') : q' \in J^-(p)\}$ где $J^-(p)$ — причинное прошлое точки $p$, $d_g$ — лоренцево расстояние.

2. Нулевое расстояние

Для пространства-времени $(N,g)$ и временной функции $\tau$ нулевое расстояние определяется как: $\hat{d}_{g,\tau}(p,q) = \inf \sum_{i=1}^N |\tau(p_i) - \tau(p_{i-1})|$ где инфимум берется по всем причинно связанным последовательностям точек $\{p = p_0, p_1, \ldots, p_{2N} = q\}$.

3. Причинно-нулевое компактифицируемое пространство-время

Пространство-время $(N,g)$ является причинно-нулевым компактифицируемым, если:

• Существует ограниченная регулярная космологическая временная функция $\tau_g : N \to [0,\tau_{max}]$
• Связанное метрическое пространство $(\bar{N}, \hat{d}_g)$ компактно
• Нулевое расстояние кодирует причинность: $p \in J^+(q) \Leftrightarrow \tau_g(p) - \tau_g(q) = \hat{d}_g(p,q)$

Определения расстояний

1. Безвременное внутреннее расстояние

$d^{tls}_{S-GH}((N_1,g_1),(N_2,g_2)) = d_{GH}((\bar{N}_1,\hat{d}_{g_1}),(\bar{N}_2,\hat{d}_{g_2}))$

2. Внутреннее расстояние Большого взрыва

Для пространств-времен с Большим взрывом используется pointed расстояние Громова-Хаусдорфа: $d_{S-BB-GH}((N_1,g_1),(N_2,g_2)) = d_{pt-GH}((\bar{N}_1,\hat{d}_{g_1},p_{BB,1}),(\bar{N}_2,\hat{d}_{g_2},p_{BB,2}))$

3. Временное расстояние Хаусдорфа

Введено временное отображение Фреше $\kappa_{\tau,X} : X \to \ell^\infty$: $\kappa_{\tau,X}(x) = (\tau(x), d(x_1,x), d(x_2,x), \ldots)$ Временное расстояние Хаусдорфа определяется как: $d_{\tau-H}((X_1,d_1,\tau_1),(X_2,d_2,\tau_2)) = \inf d^{\ell^\infty}_H(\kappa_{\tau_1,X_1}(X_1), \kappa_{\tau_2,X_2}(X_2))$

Технические инновации

1. Временное отображение Фреше: встраивание временной информации в метрическую структуру
2. Кодирование причинности: полное восстановление причинной структуры пространства-времени через нулевое расстояние
3. Техника компактификации: преобразование неограниченных пространств-времен в компактные метрические пространства
4. Доказательство определяющего характера: установление эквивалентности между нулевым расстоянием и изометрией Лоренца

Основные результаты

Теорема 3.1 (Конструирование космических полос)

Если $(N,g)$ имеет регулярную космологическую временную функцию $\tau_g : N \to (0,\infty)$, то космическая полоса $N_{s,t} = \tau_g^{-1}(s,t)$ обладает хорошими геометрическими свойствами.

Теорема 3.4 (Причинно-нулевая компактификация)

Если $(N,g)$ имеет надлежащую регулярную космологическую временную функцию, то космическая полоса $(N_{s,t},g)$ является причинно-нулевым компактифицируемым пространством-временем.

Теорема 5.7 (Определяющий характер расстояния Большого взрыва)

Внутреннее расстояние Большого взрыва $d_{S-BB-GH}$ является определяющим: $d_{S-BB-GH}((N_1,g_1),(N_2,g_2)) = 0 \Leftrightarrow \exists \text{ изометрия Лоренца } F : N_1 \to N_2$

Теорема 5.14 (Определяющий характер временного расстояния Хаусдорфа)

Временное расстояние Хаусдорфа $d_{S-\tau-H}$ является определяющим — это главный результат работы.

Приложения и гипотезы

1. Устойчивость уравнений Эйнштейна

Гипотеза 6.16: Если компактные начальные наборы данных $(M_j,h_j,k_j)$ сходятся в некотором смысле к $(M_\infty,h_\infty,0)$, то соответствующие решения пространства-времени также сходятся.

2. Приближение пространства-времени FLRW

Гипотеза 6.23: Почти изотропные однородные нулевые компактифицируемые пространства-времена близки к пространству-времени FLRW в смысле некоторого внутреннего расстояния.

3. Гипотеза о конечном состоянии

Гипотеза 6.37: Внешняя область асимптотически плоского пространства-времени сходится к пространству-времени Керра при стремлении времени к бесконечности.

4. Устойчивость пространства-времени Минковского

Гипотеза 6.29: Решения пространства-времени для асимптотически плоских начальных данных с массой, стремящейся к нулю, сходятся к пространству-времени Минковского.

Связанные работы

1. Теория Громова-Хаусдорфа

• Оригинальная работа Громова об установлении внутренних расстояний между компактными метрическими пространствами
• Теория метрических пространств с мерой Штурма-Лотта-Виллани
• Внутреннее плоское расстояние Сормани-Венгера

2. Сходимость в лоренцевой геометрии

• Работа Аллена-Бертшера о свойствах нулевого расстояния
• Лоренцевы длинные пространства Кунцингера-Штейнбауэра
• Сходимость Лоренца-Громова-Хаусдорфа Мингуцци-Сура

3. Устойчивость в общей теории относительности

• Устойчивость Минковского Кристодулу-Клайнермана
• Устойчивость Шварцшильда Дафермоса-Хольцегеля-Родниански
• Различные результаты об устойчивости начальных данных

Заключение и обсуждение

Основные выводы

1. Успешно установлена систематическая теория внутренних расстояний между пространствами-временами
2. Доказан определяющий характер таких понятий, как временное расстояние Хаусдорфа
3. Предоставлены новые инструменты для решения проблем сходимости в общей теории относительности
4. Установлена связь между теориями метрических пространств в дифференциальной геометрии и лоренцевой геометрии

Ограничения

1. Требования регулярности: необходимость регулярности космологической временной функции
2. Ограничения компактификации: применимость только к компактифицируемым пространствам-временам или их областям
3. Вычислительная сложность: практическое вычисление этих расстояний может быть затруднено
4. Физическая интерпретация: физический смысл некоторых математических конструкций требует дальнейшего уточнения

Направления будущих исследований

1. Численная реализация: разработка эффективных алгоритмов для вычисления этих расстояний
2. Физические приложения: проверка теории на конкретных задачах общей теории относительности
3. Обобщения: расширение теории на более общие классы пространств-времен
4. Связь с другими теориями: исследование отношений с другими понятиями сходимости

Глубокая оценка

Преимущества

1. Теоретическая новизна: первая систематическая разработка теории внутренних расстояний между пространствами-временами
2. Математическая строгость: полные доказательства и точные определения
3. Потенциал приложений: предоставление новых перспектив для решения нескольких важных физических проблем
4. Полнота: полная структура от базовых определений до прикладных гипотез

Недостатки

1. Операциональность: теория достаточно абстрактна, практическое применение может быть затруднено
2. Недостаток примеров: относительно мало конкретных вычисленных примеров
3. Физическая интуиция: некоторые конструкции лишены ясной физической интерпретации
4. Сложность алгоритмов: не обсуждается вычислительная сложность алгоритмов

Влияние

1. Академическая ценность: открытие новых направлений исследований в лоренцевой геометрии
2. Междисциплинарное значение: связь между дифференциальной геометрией, метрической геометрией и общей теорией относительности
3. Долгосрочное влияние: возможное влияние на развитие теории сходимости пространств-времен в будущем

Области применения

1. Теоретическая физика: исследование устойчивости и сходимости пространств-времен
2. Математическая физика: изучение приложений геометрического анализа в общей теории относительности
3. Численная теория относительности: предоставление критериев сходимости для численного моделирования
4. Космология: исследование степени приближения космологических моделей

Библиография

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

• Работы Андерссона, Галлоуэя и Ховарда о космологическом времени
• Оригинальные статьи Сормани и Веги о нулевом расстоянии
• Классические работы Громова о расстоянии Громова-Хаусдорфа
• Исследования Кристодулу, Клайнермана и других об устойчивости пространств-времен

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