Universo de Gödel
Describe un tipo de universo o espacio-tiempo homogéneo lleno de materia pulverulenta en rotación.
Aunque no parece que el universo de Gödel describa un tipo de universo similar al nuestro, el trabajo de Gödel supuso un gran estímulo en la investigación teórica de búsqueda de soluciones exactas más complejas que las examinadas hasta entonces, caracterizadas por un muy alto grado de simetría.
Más tarde Gödel generalizó su modelo para hacerlo compatible con la expansión del universo.
La geometría del universo de Gödel viene representada por una espacio-tiempo
donde la métrica puede representarse en coordenadas pseudocartesianas (t, x, y, z) y unidades en las que c = 1 en la forma: (1)
es una constante, asociada a la vorticidad del flujo de materia, además esta vorticidad puede relacionarse con la densidad de materia de este universo, tal como se explica en la sección sobre el Contenido material.
La métrica anterior puede escribirse como suma directa de una métrica que actúa sobre la subvariedad definida por (t, x, y) y otra métrica que actúa sobre las subvariedades unidimensionales dadas asociadas a la variación de z, es decir:
Para describir las propiedades de este espacio tiempo basta con restringirse a la subvariedad tridimensional que se obtiene suprimiendo la coordenada z. Para examinar las propiedades del espacio-tiempo frecuentemente se usan las coordenadas (T, R, φ, Z) relacionadas con las pseudocartesianas mediante las relaciones:
{\displaystyle {\begin{cases}e^{{\sqrt {2}}\omega x}={\mbox{cosh}}\ 2R+\cos \varphi \ {\mbox{sinh}}\ 2R\\\omega ye^{{\sqrt {2}}\omega x}=\sin \varphi \ {\mbox{sinh}}\ 2R&Z=z\\\tan {\frac {1}{2}}(\varphi +\omega t-{\sqrt {2}}T)=e^{-2R}\tan {\frac {1}{2}}\varphi \end{cases}}}
En estas nuevas coordenadas la métrica, ignorando la parte en Z toma la forma: (2)
El tensor gravitacional de Einstein Gij viene dado por:
Es sencillo ver que si se toma un valor de la constante cosmológica que cumpla:
Entonces el tensor de energía-impulso viene dado en las coordenadas (t, x, y, z):
{\displaystyle \gamma (\tau )=(t(\tau ),x(\tau ),y(\tau ),z(\tau ))\;}
es la expresión de una curva usando el sistema de referencia asociado a las coordenadas de (1) y del tiempo propio entonces esa curva será geodésica si se cumple que:
De las potencialmente 55 componentes independientes del tensor de Riemann, en las mismas coordenadas usadas en la métrica (1), el tensor de Riemann se puede escribir a partir de sólo cuatro componentes diferentes de cero:
Los otros subgrupos pueden representarse respectivamente en las coordenadas (t, x, y, z) y (T, R, φ, Z):
Una isometría general del universo de Gödel puede obtenerse combinando un número arbitrario de las anteriores transformaciones.
Una propiedad matemáticamente interesante del universo de Gödel, es que alrededor de todo punto existen curvas temporales cerradas, tales que la cualidad de lo observable hace físicamente posible formularlo hacia el futuro y llegar a un punto de su pasado, repitiendo cíclicamente este movimiento.
Esta propiedad sugiere que esta solución es físicamente poco realista o imposible.
Lo sorprendente de la solución de Gödel es que a pesar de esta extraña propiedad el universo está formado por materia convencional no exótica y que si fuera posible dotar a esta del movimiento de vorticidad que implica la ecuación tendríamos un universo con esta extraña propiedad causal.
De la forma del tensor métrico (1) se desprende que el vector
, que es de tipo espacial para valores de R pequeños pasa a ser de tipo luminoso para
Y en ese caso el covector
Examinando el sistema de referencia anterior, puede verse que la coordenada
con una variedad pseudoriemanniana tridimensional de signatura -++.
Dejando a un lago la coordenada
, lo cual equivale a proyectar sobre la variedad tridimensional, la apariencia de los conos de luz cambia a medida que nos separamos del eje de simetría
tal como muestra la siguiente figura: A medida que se consideran curvas más cercanas al radio del círculo mencionado anteriormente, los conos llegan a ser tangentes al plano coordenado
y también son tangentes a la curva cerrada de tipo luminoso:
