La estructura causal de una variedad lorentziana arbitraria (posiblemente curva) se complica por la presencia de curvatura . Los análisis de la estructura causal de dichas variedades deben formularse en términos de curvas suaves que unen pares de puntos. Las condiciones sobre los vectores tangentes de las curvas definen entonces las relaciones causales.
Vectores tangentes
Si es una variedad lorentziana (para métricas en la variedad ), entonces los vectores tangentes distintos de cero en cada punto de la variedad se pueden clasificar en tres tipos disjuntos . Un vector tangente es:
como si fuera temporal
nulo o similar a la luz si
como el espacio si
Aquí utilizamos la signatura métrica . Decimos que un vector tangente no es espacial si es nulo o temporal.
La variedad lorentziana canónica es el espacio-tiempo de Minkowski , donde y es la métrica plana de Minkowski . Los nombres de los vectores tangentes provienen de la física de este modelo. Las relaciones causales entre puntos en el espacio-tiempo de Minkowski toman una forma particularmente simple porque el espacio tangente también es y, por lo tanto, los vectores tangentes pueden identificarse con puntos en el espacio. El vector de cuatro dimensiones se clasifica de acuerdo con el signo de , donde es una coordenada cartesiana en el espacio tridimensional, es la constante que representa el límite de velocidad universal y es el tiempo. La clasificación de cualquier vector en el espacio será la misma en todos los marcos de referencia que estén relacionados por una transformación de Lorentz (pero no por una transformación general de Poincaré porque el origen puede desplazarse) debido a la invariancia de la métrica.
Orientabilidad temporal
En cada punto del espacio tangente temporal, los vectores tangentes del punto se pueden dividir en dos clases. Para ello, definimos primero una relación de equivalencia en pares de vectores tangentes temporales.
Si y son dos vectores tangentes temporales en un punto decimos que y son equivalentes (escritos ) si .
Existen entonces dos clases de equivalencia que contienen entre ellas todos los vectores tangentes temporales en el punto. Podemos (arbitrariamente) llamar a una de estas clases de equivalencia dirigida al futuro y a la otra dirigida al pasado . Físicamente, esta designación de las dos clases de vectores temporales dirigidos al futuro y al pasado corresponde a la elección de una flecha del tiempo en el punto. Las designaciones dirigidas al futuro y al pasado se pueden extender a vectores nulos en un punto por continuidad.
Una variedad lorentziana es orientable en el tiempo [1] si se puede hacer una designación continua de vectores no espaciales dirigidos hacia el futuro y hacia el pasado sobre toda la variedad.
Curvas
Un camino en es una función continua donde es un intervalo no degenerado (es decir, un conjunto conectado que contiene más de un punto) en . Un camino suave tiene diferenciable una cantidad apropiada de veces (normalmente ), y un camino regular tiene derivada no nula.
Una curva en es la imagen de un camino o, más propiamente, una clase de equivalencia de imágenes de caminos relacionadas por re-parametrización, es decir, homeomorfismos o difeomorfismos de . Cuando es orientable en el tiempo, la curva está orientada si se requiere que el cambio de parámetro sea monótono .
Las curvas (o trayectorias) regulares suaves se pueden clasificar según sus vectores tangentes. Una curva de este tipo es
cronológico (o temporal ) si el vector tangente es temporal en todos los puntos de la curva. También se denomina línea del mundo . [2]
nulo si el vector tangente es nulo en todos los puntos de la curva.
espacial si el vector tangente es espacial en todos los puntos de la curva.
causal (o no espacial ) si el vector tangente es temporal o nulo en todos los puntos de la curva.
Los requisitos de regularidad y no degeneración garantizan que las curvas causales cerradas (como las que consisten en un único punto) no sean admitidas automáticamente por todos los espacio-tiempos.
Si la variedad es orientable en el tiempo, entonces las curvas no espaciales pueden clasificarse además dependiendo de su orientación con respecto al tiempo.
Una curva cronológica, nula o causal en es
dirigido hacia el futuro si, para cada punto de la curva, el vector tangente está dirigido hacia el futuro.
dirigido al pasado si, para cada punto de la curva, el vector tangente está dirigido al pasado.
Estas definiciones sólo se aplican a curvas causales (cronológicas o nulas) porque sólo a los vectores tangentes temporales o nulos se les puede asignar una orientación con respecto al tiempo.
Una curva temporal cerrada es una curva cerrada que en todas partes está dirigida hacia el futuro (o en todas partes está dirigida hacia el pasado).
Una curva nula cerrada es una curva cerrada que es nula en todas partes dirigida hacia el futuro (o nula en todas partes dirigida hacia el pasado).
La holonomía de la relación de la tasa de cambio del parámetro afín alrededor de una geodésica nula cerrada es el factor de corrimiento al rojo .
Relaciones causales
Existen varias relaciones causales entre puntos y en la variedad .
precede cronológicamente (a menudo denotado ) si existe una curva cronológica (similar al tiempo) dirigida al futuro desde hasta .
precede estrictamente causalmente (a menudo denotado ) si existe una curva causal dirigida al futuro (no espacial) de a .
precede causalmente (a menudo denotado o ) si precede estrictamente causalmente o .
horismos [3] (a menudo denotado como ) si existe una curva nula dirigida al futuro desde hasta [4] (o equivalentemente, y ).
Estas relaciones satisfacen las siguientes propiedades:
implica (esto se deduce trivialmente de la definición) [5]
El futuro cronológico de , denotado , como el conjunto de todos los puntos en tales que cronológicamente precede a :
El pasado cronológico de , denotado , como el conjunto de todos los puntos en tales que cronológicamente precede a :
Definimos de manera similar
El futuro causal (también llamado futuro absoluto ) de , denotado como el conjunto de todos los puntos en tales que precede causalmente a :
El pasado causal (también llamado pasado absoluto ) de , denotado como el conjunto de todos los puntos en tales que precede causalmente a :
El futuro cono nulo de como el conjunto de todos los puntos en tales que .
El cono nulo pasado de como el conjunto de todos los puntos en tales que .
El cono de luz de como los conos nulos futuro y pasado juntos. [7]
en otros lugares como puntos que no están en el cono de luz, futuro causal o pasado causal. [7]
Los puntos contenidos en , por ejemplo, pueden alcanzarse desde mediante una curva temporal dirigida al futuro. El punto puede alcanzarse, por ejemplo, desde los puntos contenidos en mediante una curva no espacial dirigida al futuro.
El futuro cronológico de relativo a , , es el futuro cronológico de considerado como una subvariedad de . Nótese que este es un concepto bastante diferente de que da el conjunto de puntos en los que se puede llegar mediante curvas temporales dirigidas al futuro a partir de . En el primer caso, las curvas deben estar en ; en el segundo caso, no. Véase Hawking y Ellis.
El futuro causal de relativo a , , es el futuro causal de considerado como una subvariedad de . Nótese que este es un concepto bastante diferente de que da el conjunto de puntos en los que se puede llegar mediante curvas causales dirigidas al futuro a partir de . En el primer caso, las curvas deben estar en ; en el segundo caso, no lo están. Véase Hawking y Ellis.
Un conjunto futuro es un conjunto cerrado bajo el futuro cronológico.
Un conjunto pasado es un conjunto cerrado bajo el pasado cronológico.
Un conjunto pasado indecomponible (PI) es un conjunto pasado que no es la unión de dos subconjuntos pasados propios abiertos diferentes.
Un IP que no coincide con el pasado de ningún punto se denomina conjunto pasado indecomponible terminal (TIP).
Un conjunto pasado indescomponible propio (PIP) es un IP que no es un TIP. es un conjunto pasado indescomponible propio (PIP).
El desarrollo futuro de Cauchy de , es el conjunto de todos los puntos para los cuales cada curva causal inextensible dirigida al pasado a través de se interseca al menos una vez. Lo mismo ocurre con el desarrollo pasado de Cauchy. El desarrollo de Cauchy es la unión de los desarrollos futuros y pasados de Cauchy. Los desarrollos de Cauchy son importantes para el estudio del determinismo .
Un subconjunto es acrónico si no existen tales que , o equivalentemente, si es disjunto de .
Una superficie de Cauchy es un conjunto acrónico cerrado cuyo desarrollo de Cauchy es .
Una métrica es globalmente hiperbólica si puede ser foliada por superficies de Cauchy.
El conjunto que viola la cronología es el conjunto de puntos por donde pasan curvas temporales cerradas.
El conjunto que viola la causalidad es el conjunto de puntos por donde pasan curvas causales cerradas.
El límite del conjunto que viola la causalidad es un horizonte de Cauchy . Si el horizonte de Cauchy se genera mediante geodésicas nulas cerradas, entonces hay un factor de corrimiento al rojo asociado con cada una de ellas.
Para una curva causal , el diamante causal es (aquí usamos la definición más flexible de 'curva', en la que es solo un conjunto de puntos), siendo el punto en el pasado causal de . En palabras: el diamante causal de la línea de mundo de una partícula es el conjunto de todos los eventos que se encuentran tanto en el pasado de algún punto en como en el futuro de algún punto en . En la versión discreta, el diamante causal es el conjunto de todos los caminos causales que se conectan desde .
Propiedades
Véase Penrose (1972), pág. 13.
Un punto está en si y sólo si está en .
El horismos se genera por congruencias geodésicas nulas.
para todos los subconjuntos . Aquí está el cierre de un subconjunto .
Geometría conforme
Dos métricas y están relacionadas conformemente [8] si para alguna función real llamada factor conforme . (Ver mapa conforme ).
Si observamos las definiciones de qué vectores tangentes son temporales, nulos y espaciales, vemos que permanecen invariables si usamos o . Como ejemplo, supongamos que es un vector tangente temporal con respecto a la métrica. Esto significa que . Entonces tenemos que por lo tanto es un vector tangente temporal con respecto a también.
De esto se desprende que la estructura causal de una variedad lorentziana no se ve afectada por una transformación conforme .
Una geodésica nula sigue siendo una geodésica nula bajo un reescalamiento conforme.
Infinito conforme
Una métrica infinita admite geodésicas de longitud/tiempo propio infinitos. Sin embargo, a veces podemos hacer un reescalamiento conforme de la métrica con un factor conforme que cae lo suficientemente rápido a 0 a medida que nos acercamos al infinito para obtener el límite conforme de la variedad. La estructura topológica del límite conforme depende de la estructura causal.
Las geodésicas temporales dirigidas hacia el futuro terminan en , el futuro infinito temporal .
Las geodésicas temporales dirigidas al pasado terminan en , el infinito temporal pasado .
Las geodésicas nulas dirigidas al futuro terminan en ℐ + , el futuro infinito nulo .
Las geodésicas nulas dirigidas al pasado terminan en ℐ − , el infinito nulo pasado .
Las geodésicas espaciales terminan en el infinito espacial .
En varios espacios:
Espacio de Minkowski : son puntos, ℐ ± son láminas nulas y el infinito espacial tiene codimensión 2.
Espacio anti-de Sitter : no hay infinito temporal o nulo, y el infinito espacial tiene codimensión 1.
Espacio de Sitter : el tiempo futuro y pasado, como el infinito, tiene codimensión 1.
Singularidad gravitacional
Si una geodésica termina después de un parámetro afín finito, y no es posible extender la variedad para extender la geodésica, entonces tenemos una singularidad .
^ Galloway, Gregory J. "Notas sobre la causalidad lorentziana" (PDF) . Escuela de verano ESI-EMS-IAMP sobre relatividad matemática . Universidad de Miami. p. 4 . Consultado el 2 de julio de 2021 .
^ Penrose 1972, pág. 15
^ ab Papadopoulos, Kyriakos; Acharjee, Santanu; Papadopoulos, Basil K. (mayo de 2018). "El orden en el cono de luz y su topología inducida". Revista internacional de métodos geométricos en física moderna . 15 (5): 1850069–1851572. arXiv : 1710.05177 . Código Bibliográfico :2018IJGMM..1550069P. doi :10.1142/S021988781850069X. S2CID 119120311.
^ abcdef Penrose 1972, pág. 12
^ Stoica, OC (25 de mayo de 2016). "Estructura causal del espacio-tiempo y dimensión a partir de la relación horismótica". Journal of Gravity . 2016 : 1–6. arXiv : 1504.03265 . doi : 10.1155/2016/6151726 .
Hawking, SW ; Israel, W. (1979), Relatividad general, una encuesta del centenario de Einstein , Cambridge University Press, ISBN 0-521-22285-0
Penrose, R. (1972), Técnicas de topología diferencial en relatividad , SIAM, ISBN 0898710057
Sard, RD (1970). Mecánica relativista: relatividad especial y dinámica clásica de partículas . Nueva York: WA Benjamin. ISBN 978-0805384918.
Lectura adicional
GW Gibbons , SN Solodukhin; La geometría de los pequeños diamantes causales arXiv:hep-th/0703098 (Intervalos causales)
SW Hawking , AR King, PJ McCarthy; Una nueva topología para el espacio-tiempo curvo que incorpora las estructuras causal, diferencial y conforme ; J. Math. Phys. 17 2:174-181 (1976); (Geometría, Estructura causal )
AV Levichev; Prescripción de la geometría conforme de una variedad de Lorentz por medio de su estructura causal ; Soviet Math. Dokl. 35:452-455, (1987); (Geometría, Estructura causal )
D. Malament ; La clase de curvas temporales continuas determina la topología del espacio-tiempo ; J. Math. Phys. 18 7:1399-1404 (1977); (Geometría, Estructura causal )
AA Robb ; Una teoría del tiempo y el espacio ; Cambridge University Press, 1914; (Geometría, Estructura causal )
AA Robb ; Las relaciones absolutas del tiempo y el espacio ; Cambridge University Press, 1921; (Geometría, estructura causal )
AA Robb ; Geometría del tiempo y el espacio ; Cambridge University Press, 1936; (Geometría, estructura causal )
RD Sorkin , E. Woolgar; Un orden causal para los espaciotiempos con métricas lorentzianas C^0: prueba de compacidad del espacio de curvas causales ; Gravedad clásica y cuántica 13: 1971-1994 (1996); arXiv:gr-qc/9508018 ( Estructura causal )