Si ha leído alguna topología de espacio-tiempo, conoce ese espacio-tiempo. Es el sorprendente cono de luz giratorio identificado después de media rotación. Y fuera del espacio de De Sitter con algunas identificaciones, es el único espacio-tiempo no orientable en el tiempo jamás descrito.
Por ejemplo, aquí está en Wald:
![ingrese la descripción de la imagen aquí](https://i.stack.imgur.com/yOJyH.png)
Y aquí está en Sánchez :
![ingrese la descripción de la imagen aquí](https://i.stack.imgur.com/iIDiY.png)
Sin embargo, nunca se describe explícitamente. Obviamente de topologíaR ×S
, pero más allá de eso, cualquiera puede adivinar cuál es la métrica en realidad.
Sánchez en realidad casi da la métrica, al darnos productos escalares:
X1= porque( πx )∂X+ pecado( πX ) ∂t
X2= − pecado( πx )∂X+ porque( πX ) ∂t
gramo(X1,X2) = − 1
gramo(X1,X1) = gramo(X2,X2) = 0
Lo que significa
− pecado( πx ) porque( πx )gramox x+ pecado( πx ) porque( πx )gramot t+ (porque2( πx ) -pecado2( πx ) )gramot x= − 1
porque2( πx )gramox x+pecado2( πx )gramot t+ 2 porque( πx ) pecado( πx )gramot x= 0
pecado2( πx )gramox x+porque2( πx )gramot t− 2 porque( πx ) pecado( πx )gramot x= 0
Sumando los dos últimos, esto nos da
gramox x= −gramot t
Entonces
2 pecado( πx ) porque( πx )gramot t+ (porque2( πx ) -pecado2( πx ) )gramot x= − 1
( -porque2( πx ) +pecado2( πx ) )gramot t+ 2 porque( πx ) pecado( πx )gramot x= 0
( -pecado2( πx ) +porque2( πx ) )gramot t− 2 porque( πx ) pecado( πx )gramot x= 0
Como el cono de luz, y por lo tanto la dirección del tiempo y el espacio, gira, mi instinto me dice que pongagramot t= porque( πx )
. El determinante de la métrica será entoncesporque2( πx ) -gramo2t x
. Para mantener la firma, esto significaporque2( πX ) <gramo2t x
. Si uso ese ansatz,
gramot x= − 2pecado( πx ) porque( πX)2+ 1(porque2( πx ) -pecado2( πx ) )
gramot x=(porque2( πx ) -pecado2( πx ) )2 pecado( πx )
Un gráfico rápido me dice que esas no son las mismas funciones. ¿Alguna idea de cuál sería la métrica real?