Topología del espacio-tiempo en dimensión 2+1

En el libro Quantum Gravity in 2+1 dimension de S. Carlip, en el segundo capítulo (sección 2.1), comenta que una 3-variedad compacta con una métrica lorentziana orientable en el tiempo plana y un límite puramente espacial, necesariamente tiene la topología [ 0 , 1 ] × Σ , dónde Σ es una superficie cerrada que es homeomorfa a uno de los componentes de contorno.

¿Significa esto que todas las variedades de espacio-tiempo (planas) que podríamos permitir en la dimensión 2+1 son necesariamente de esta topología (parece ser una gran restricción)?

Además, ¿es necesario que el límite de un espacio-tiempo (para aquellos que lo tendrían) sea similar al espacio? Tengo un argumento aproximado (del que no estoy seguro) para esto, que si tuviéramos un límite temporal, en algún sistema de coordenadas, tendríamos el límite en algún valor dado para las coordenadas espaciales, lo que me parece extraño.

Respuestas (2)

Gran pregunta. Creo que estos son el tipo de topologías con las que les gusta tratar a los físicos, ciertamente no es cierto que estos son todos los espacios que se pueden escribir.

Por ejemplo, si exige hiperbolicidad global, obtendrá algo como lo que describe.

En general, deja X ser una variedad suave, y { tu i } i I ser un atlas, dejar T sea ​​el haz de tensores de rango 2 positivos simétricos sobre X . si puedes proporcionar

  • Condiciones iniciales para las ecuaciones de Einstein en algún subespacio de tu i , y
  • secciones gramo i T ( tu i ) que resuelven las ecuaciones de Einstein con estas condiciones iniciales tal que
  • gramo i pegar suavemente a una sección gramo T ( X )

Entonces eres libre de llamar a la pareja. ( X , gramo ) un espaciotiempo.

¿Significa esto que todas las variedades de espacio-tiempo (planas) que podríamos permitir en la dimensión 2+1 son necesariamente de esta topología (parece ser una gran restricción)?

Carlip está hablando de variedades compactas . Si elimina el requisito de compacidad, entonces su declaración ya no es verdadera y ni siquiera tiene sentido, porque se refiere a un límite.

Como ejemplo concreto, es posible que un espacio-tiempo plano en 2+1 dimensiones tenga la topología del espacio tridimensional euclidiano. Simplemente no sería compacto.

Para ver el punto de lo que habla Carlip, considere el ejemplo de GR en 2+1 dimensiones en una esfera de 3, que es compacta. En la esfera, no podrá definir una orientación de tiempo.

Además, ¿es necesario que el límite de un espacio-tiempo (para aquellos que lo tendrían) sea similar al espacio?

Sí, creo que hay contraejemplos si el límite es temporal. Por ejemplo, considere una dona sólida con la topología B 2 × S 1 , dónde B 2 es un disco cerrado. Deje que la orientación del tiempo apunte alrededor de la rosquilla, es decir, rodeando el orificio de la rosquilla. El límite es temporal y la topología no tiene la forma [ 0 , 1 ] × Σ .

¿Por qué debería ser cierto para los colectores compactos? Por ejemplo, el procedimiento descrito en mi respuesta proporciona una gran cantidad de variedades compactas que no pertenecen a esa topología.
@bianchira: No he leído el argumento de Carlip, así que no lo sé. Sin embargo, su respuesta no proporciona un contraejemplo a la afirmación de Carlip, solo enumera las condiciones que dicho contraejemplo debería satisfacer. Si crees que Carlip está equivocado, sería interesante ver un contraejemplo.
Ejemplo: tome cualquier colector de curvatura de comstamt 3 y luego gire la mecha.
@bianchira: La afirmación de Carlip se trata de variedades planas.
bien, toma la curvatura constante como 0
No creo que este punto sea esencial, pero ¿por qué la referencia al límite excluiría las variedades no compactas?
@BenCrowell De hecho, es posible definir una orientación temporal en las 3 esferas. Si bien no es "topológicamente trivial", su paquete tangente sí lo es, por lo que no hay obstrucción para definir campos de vectores suaves distintos de cero, métricas, formas n, etc. Consulte arxiv.org/pdf/gr-qc/0609119.pdf .