В книге С. Карлипа «Квантовая гравитация в измерении 2+1» во второй главе (раздел 2.1) он отмечает, что компактное 3-многообразие с плоской ориентируемой во времени лоренцевой метрикой и чисто пространственноподобной границей обязательно имеет топологию , где — замкнутая поверхность, гомеоморфная одной из компонент границы.
Означает ли это, что все пространственно-временные многообразия (плоские), которые мы могли бы допустить в измерении 2+1, обязательно имеют эту топологию (это кажется большим ограничением)?
Кроме того, необходимо ли, чтобы граница пространства-времени (для тех, у кого она есть) была пространственноподобной? У меня есть грубый аргумент (в котором я не уверен) для этого, что если бы у нас была времяподобная граница в некоторой системе координат, у нас была бы граница при некотором заданном значении пространственных координат, что кажется мне странным.
Отличный вопрос. Я думаю, что это тот тип топологий, с которым любят иметь дело физики, конечно, неправда, что это все пространства, которые можно записать.
Например, если вы потребуете глобальной гиперболичности, вы получите что-то вроде того, что вы описываете.
В общем, пусть быть гладким многообразием и будь атласом, пусть — пучок симметричных положительных тензоров ранга 2 над . Если вы можете предоставить
Тогда вы можете позвонить паре пространство-время.
Означает ли это, что все пространственно-временные многообразия (плоские), которые мы могли бы допустить в измерении 2+1, обязательно имеют эту топологию (это кажется большим ограничением)?
Карлип говорит о компактных коллекторах. Если исключить требование компактности, то его утверждение уже не верно и даже не имеет смысла, поскольку относится к границе.
В качестве конкретного примера, плоское пространство-время в измерениях 2+1 может иметь топологию евклидова трехмерного пространства. Просто не будет компактным.
Чтобы понять суть того, о чем говорит Карлип, рассмотрим пример ОТО в 2+1 измерениях на трехмерной сфере, которая компактна. На сфере вы не сможете определить ориентацию во времени.
Кроме того, необходимо ли, чтобы граница пространства-времени (для тех, у кого она есть) была пространственноподобной?
Да, я думаю, что есть контрпримеры, если граница времениподобна. Например, рассмотрим сплошной пончик с топологией , где представляет собой закрытый диск. Пусть точка ориентации времени находится вокруг бублика, т. е. вокруг отверстия бублика. Граница времениподобна, а топология не имеет вида .
ззз
пользователь4552
ззз
пользователь4552
ззз
д_б
gj255