# Estrutura causal

Na física matemática, a estrutura causal de uma variedade Lorentziana [en] descreve as relações causais [en] entre pontos na variedade.

## Introdução

Na física moderna (especialmente na relatividade geral), o espaço-tempo é representado por uma variedade Lorentziana [en]. As relações causais entre pontos na variedade são interpretadas como descrevendo quais eventos no espaço-tempo podem influenciar quais outros eventos.
A estrutura causal de uma variedade lorentziana arbitrária (possivelmente curva) torna-se mais complicada pela presença de curvatura. As discussões sobre a estrutura causal de tais variedades devem ser formuladas em termos de curvas suaves que unem pares de pontos. As condições nos vetores tangentes das curvas definem então as relações causais.

### Vetores tangentes

Se $\,(M,g)$ é uma variedade Lorentziana (para a métrica $g$ na variedade $M$) então os vetores tangentes diferentes de zero em cada ponto na variedade podem ser classificados em três tipos disjuntos. Um vetor tangente $X$ é:
* semelhante ao tempo se $\,g(X,X)<0$
* nulo ou semelhante a luz se $\,g(X,X)=0$
* semelhante ao espaço se $\,g(X,X)>0$
Aqui usamos a assinatura métrica $(-,+,+,+,\cdots )$. Dizemos que um vetor tangente não é semelhante ao espaço se for nulo (semelhante a luz) ou semelhante ao tempo.
A variedade Lorentziana canônica é o espaço-tempo de Minkowski, onde $M=\mathbb {R} ^{4}$ e $g$ é a métrica de Minkowski [en] plana [en]. Os nomes dos vetores tangentes vêm da física desse modelo. As relações causais entre pontos no espaço-tempo de Minkowski assumem uma forma particularmente simples porque o espaço tangente também é $\mathbb {R} ^{4}$ e, portanto, os vetores tangentes podem ser identificados com pontos no espaço. O vetor quadridimensional $X=(t,r)$ é classificado de acordo com o sinal de $g(X,X)=-c^{2}t^{2}+\|r\|^{2}$, onde $r\in \mathbb {R} ^{3}$ é uma coordenada cartesiana no espaço tridimensional, $c$ é a constante que representa o limite de velocidade universal e $t$ é o tempo. A classificação de qualquer vetor no espaço será a mesma em todos os referenciais relacionados por uma transformação de Lorentz (mas não por uma transformação de Poincaré geral porque a origem pode ser deslocada) por causa da invariância da métrica.

### Orientabilidade temporal

Em cada ponto em $M$, os vetores tangentes semelhantes ao tempo no espaço tangente do ponto podem ser divididos em duas classes. Para fazer isso, primeiro definimos uma relação de equivalência em pares de vetores tangentes semelhantes ao tempo.
Se $X$ e $Y$ são dois vetores tangentes semelhantes ao tempo em um ponto, dizemos que $X$ e $Y$ são equivalentes (escrito $X\sim Y$) se $\,g(X,Y)<0$.
Existem então duas classes de equivalência que entre elas contêm todos os vetores tangentes do tipo tempo no ponto. Podemos (arbitrariamente) chamar uma dessas classes de equivalência dirigida ao futuro e chamar a outra de dirigida ao passado. Fisicamente, essa designação das duas classes de vetores temporais direcionados ao futuro e ao passado corresponde a uma escolha de uma seta de tempo no ponto. As designações dirigidas ao futuro e ao passado podem ser estendidas para vetores nulos em um ponto por continuidade.
Uma variedade Lorentziana [en] é orientável no tempo se uma designação contínua de direção ao futuro e direção ao passado para vetores não-espaciais puder ser feita em toda a variedade.

## Curvas

Um caminho em $M$ é um mapa contínuo [en] $\mu :\Sigma \to M$ onde $\Sigma$ é um intervalo que não é degenerado (ou seja, um conjunto conectado contendo mais de um ponto) em $\mathbb {R}$. Um caminho suave tem $\mu$ diferenciável um número apropriado de vezes (normalmente $C^{\infty }$) e um caminho regular tem derivada que não é nula.
Uma curva em $M$ é a imagem de um caminho ou, mais propriamente, uma classe de equivalência de imagens de caminho relacionada por reparametrização, ou seja, homeomorfismos ou difeomorfismos de $\Sigma$. Quando $M$ é orientável no tempo, a curva é orientada se for necessário que a alteração do parâmetro seja monotônica.
Curvas regulares suaves (ou caminhos) em $M$ podem ser classificadas dependendo de seus vetores tangentes. Tal curva é
* cronológica (ou semelhante ao tempo) se o vetor tangente for semelhante ao tempo em todos os pontos da curva. Também chamada de linha mundial.
* nula (semelhante à luz) se o vetor tangente for nulo (semelhante à luz) em todos os pontos da curva.
* semelhante ao espaço se o vetor tangente for semelhante ao espaço em todos os pontos da curva.
* causal (ou que não é semelhante ao espaço) se o vetor tangente for semelhante ao tempo ou nulo (semelhante à luz) em todos os pontos da curva.
Os requisitos de regularidade e não degenerescência de $\Sigma$ garantem que curvas causais fechadas (como aquelas que consistem em um único ponto) não sejam automaticamente admitidas por todos os espaços-tempos.
Se a variedade é orientável no tempo, então as curvas que não são semelhantes ao tempo podem ainda ser classificadas dependendo de sua orientação em relação ao tempo.
Uma curva cronológica, nula (semelhante à luz) ou causal, em $M$ é
* orientada ao futuro se, para cada ponto na curva, o vetor tangente for direcionado ao futuro.
* direcionada ao passado se, para cada ponto na curva, o vetor tangente é direcionado ao passado.
Essas definições aplicam-se apenas às curvas causais (cronológicas ou nulas), porque apenas vetores tangentes semelhantes ao tempo ou nulos (semelhante à luz) podem receber uma orientação em relação ao tempo.
* Uma curva semelhante ao tempo fechada é uma curva fechada que é semelhante ao tempo direcionada ao futuro (ou semelhante ao tempo direcionada ao passado) em todos os lugares.
* Uma curva nula (semelhante à luz) fechada é uma curva fechada que é nula (semelhante à luz) em toda parte direcionada ao futuro (ou nula (semelhante à luz) em toda parte direcionada ao passado).
A holonomia da razão da taxa de mudança do parâmetro afim em torno de uma geodésica nula (semelhante à luz) fechada é o fator de desvio para o vermelho.

### Relações causais

Existem várias relações [en] causais entre os pontos $x$ e $y$ na variedade $M$.
* $x$ precede cronologicamente $y$ (muitas vezes denotado $\,x\ll y$) se existe uma curva cronológica (semelhante ao tempo) dirigida ao futuro de $x$ para $y$.
* $x$ estritamente precede causalmente $y$ (muitas vezes denotado $x<y$) se existe uma curva causal (que não é semelhante ao espaço) direcionada ao futuro de $x$ para $y$.
* $x$ causalmente precede $y$ (muitas vezes denotado $x\prec y$ ou $x\leq y$) se $x$ precede estritamente causalmente $y$ ou $x=y$.
* $x$ horismos $y$ (muitas vezes denotado $x\to y$ ou $x\nearrow y$) se $x=y$ ou existe uma curva nula direcionada ao futuro de $x$ para $y$ (ou equivalentemente, $x\prec y$ e $x\not \ll y$).
Essas relações satisfazem as seguintes propriedades:
* $x\ll y$ implica $x\prec y$ (isso decorre trivialmente da definição)
* $x\ll y$, $y\prec z$ implica $x\ll z$
* $x\prec y$, $y\ll z$ implica $x\ll z$
* $\ll$, $<$, $\prec$ são transitivas. $\to$ não é transitiva.
* $\prec$, $\to$ são reflexivas
Para um ponto $x$ na variedade $M$ definimos
* O futuro cronológico de $x$, denotado $\,I^{+}(x)$, como o conjunto de todos os pontos $y$ em $M$ tal que $x$ cronologicamente precede $y$:
    $\,I^{+}(x)=\{y\in M|x\ll y\}$
* O passado cronológico de $x$, denotado $\,I^{-}(x)$, como o conjunto de todos os pontos $y$ em $M$ tal que $y$ cronologicamente precede $x$:
    $\,I^{-}(x)=\{y\in M|y\ll x\}$
Nós definimos similarmente
* O futuro causal (também chamado de futuro absoluto) de $x$, denotado $\,J^{+}(x)$, como o conjunto de todos os pontos $y$ em $M$ tal que $x$ preceda causalmente $y$:
    $\,J^{+}(x)=\{y\in M|x\prec y\}$
* O passado causal (também chamado de passado absoluto) de $x$, denotado $\,J^{-}(x)$, como o conjunto de todos os pontos $y$ em $M$ tal que $y$ preceda causalmente $x$:
    $\,J^{-}(x)=\{y\in M|y\prec x\}$
* O cone nulo futuro de $x$ como o conjunto de todos os pontos $y$ em $M$ tal que $x\to y$.
* O cone nulo passado de $x$ como o conjunto de todos os pontos $y$ em $M$ tal que $y\to x$.
* O cone de luz de $x$ como os cones nulos futuros e passados de $x$ juntos.
* em outro lugar como pontos fora do cone de luz, futuro causal ou passado causal.
Os pontos contidos em $\,I^{+}(x)$, por exemplo, podem ser alcançados a partir de $x$ por uma curva semelhante ao tempo direcionada ao futuro. O ponto $x$ pode ser alcançado, por exemplo, a partir de pontos contidos em $\,J^{-}(x)$ por uma curva que não é espacial direcionada ao futuro.
No espaço-tempo de Minkowski o conjunto $\,I^{+}(x)$ é o interior do cone de luz futuro em $x$. O conjunto $\,J^{+}(x)$ é o cone de luz futuro completo em $x$, incluindo o próprio cone.
Esses conjuntos $\,I^{+}(x),I^{-}(x),J^{+}(x),J^{-}(x)$ definidos para todo $x$ em $M$, são chamados coletivamente de estrutura causal de $M$.
Para $S$, um subconjunto de $M$, definimos
    $I^{\pm }[S]=\bigcup _{x\in S}I^{\pm }(x)$
    $J^{\pm }[S]=\bigcup _{x\in S}J^{\pm }(x)$
Para $S,T$ dois subconjuntos de $M$ definimos
* O futuro cronológico de $S$ relativo a $T$, $I^{+}[S;T]$, é o futuro cronológico de $S$ considerado como uma subvariedade de $T$. Observe que este é um conceito bem diferente de $I^{+}[S]\cap T$ que fornece o conjunto de pontos em $T$ que pode ser alcançado por curvas semelhantes ao tempo direcionadas ao futuro começando em $S$. No primeiro caso, as curvas devem estar em $T$, no segundo caso, não. Veja Hawking e Ellis.
* O futuro causal de $S$ relativo a $T$, $J^{+}[S;T]$, é o futuro causal de $S$ considerado como uma subvariedade de $T$. Observe que este é um conceito bem diferente de $J^{+}[S]\cap T$ que fornece o conjunto de pontos em $T$ que pode ser alcançado por curvas causais direcionadas ao futuro começando em $S$. No primeiro caso, as curvas devem estar em $T$, no segundo caso, não. Veja Hawking e Ellis.
* Um conjunto futuro é um conjunto fechado sob o futuro cronológico.
* Um conjunto passado é um conjunto fechado sob o passado cronológico.
* Um conjunto passado indecomponível (P.I.) é um conjunto passado que não é a união de dois subconjuntos próprios passados abertos diferentes.
* Um P.I. que não coincide com o passado de qualquer ponto em $M$ é chamado de conjunto passado indecomponível terminal (P.I.T.).
* Um conjunto passado indecomponível própeio (P.I.P.) é um P.I. que não é um P.I.T. $I^{-}(x)$ é um conjunto passado indecomponível adequado (P.I.P.).
* O desenvolvimento de Cauchy [en] futuro de $S$, $D^{+}(S)$ é o conjunto de todos os pontos $x$ para os quais toda curva causal inextensível direcionada ao passado através de $x$ intercepta $S$ pelo menos uma vez. Da mesma forma para o desenvolvimento passado de Cauchy. O desenvolvimento de Cauchy é a união dos desenvolvimentos de Cauchy do futuro e do passado. Os desenvolvimentos de Cauchy são importantes para o estudo do determinismo.
* Um subconjunto $S\subset M$ é acronal se não existir $q,r\in S$ tal que $r\in I^{+}(q)$, ou equivalentemente, se $S$ for disjunto de $I^{+}[S]$.
* Uma superfície de Cauchy [en] é um conjunto acronal fechado cujo desenvolvimento de Cauchy é $M$.
* Uma métrica é globalmente hiperbólica se puder ser folheada por superfícies de Cauchy.
* O conjunto de violação de cronologia é o conjunto de pontos através dos quais passam curvas fechadas semelhantes ao tempo.
* O conjunto de violação de causalidade é o conjunto de pontos pelos quais passam as curvas causais fechadas.
* O limite do conjunto de violação de causalidade é um horizonte de Cauchy. Se o horizonte de Cauchy for gerado por geodésicas nulas fechadas, haverá um fator de desvio para o vermelho associado a cada uma delas.
* Para uma curva causal $\gamma$, o diamante causal é $J^{+}(\gamma (t_{1}))\cap J^{-}(\gamma (t_{2}))$ (aqui estamos usando uma definição mais ampla de "curva" na qual é apenas um conjunto de pontos), sendo o ponto $\gamma (t_{1})$ no passado causal de $\gamma (t_{2})$. Em palavras: o diamante causal da linha de mundo de uma partícula $\gamma$ é o conjunto de todos os eventos que se encontram no passado de algum ponto em $\gamma$ e no futuro de algum ponto em $\gamma$. Na versão discreta, o diamante causal é o conjunto de todos os caminhos causais que conectam $\gamma (t_{2})$ a partir de $\gamma (t_{1})$.

### Propriedades

* Um ponto $x$ está em $\,I^{-}(y)$ se e somente se $y$ está em $\,I^{+}(x)$.
* $x\prec y\implies I^{-}(x)\subset I^{-}(y)$
* $x\prec y\implies I^{+}(y)\subset I^{+}(x)$
* $I^{+}[S]=I^{+}[I^{+}[S]]\subset J^{+}[S]=J^{+}[J^{+}[S]]$
* $I^{-}[S]=I^{-}[I^{-}[S]]\subset J^{-}[S]=J^{-}[J^{-}[S]]$
* O horismos é gerado por congruências geodésicas nulas.
Propriedades topológicas:
* $I^{\pm }(x)$ é aberto para todos os pontos $x$ em $M$.
* $I^{\pm }[S]$ é aberto para todos os subconjuntos $S\subset M$.
* $I^{\pm }[S]=I^{\pm }[{\overline {S}}]$ para todos os subconjuntos $S\subset M$. Aqui ${\overline {S}}$ é o fechamento de um subconjunto $S$.
* $I^{\pm }[S]\subset {\overline {J^{\pm }[S]}}$

## Geometria conforme

Duas métricas $\,g$ and ${\hat {g}}$ são conformemente relacionadas se ${\hat {g}}=\Omega ^{2}g$ para alguma função real $\Omega$ chamada de fator conforme.
Observando as definições de quais vetores tangentes são semelhantes ao tempo, nulos (semelhantes à luz) e semelhantes ao espaço, vemos que eles permanecem inalterados se usarmos $\,g$ ou ${\hat {g}}$. Como exemplo, suponha que $X$ seja um vetor tangente semelhante ao tempo em relação à métrica $\,g$. Isso significa que $\,g(X,X)<0$. Temos então que ${\hat {g}}(X,X)=\Omega ^{2}g(X,X)<0$ então $X$ é um vetor tangente semelhante ao tempo em relação ao ${\hat {g}}$ também.
Segue-se disso que a estrutura causal de uma variedade lorentziana não é afetada por uma transformação conforme.
Uma geodésica nula permanece uma geodésica nula sob um redimensionamento conforme.

## Infinito conforme

Uma métrica infinita admite geodésicas de comprimento infinito/tempo próprio. No entanto, às vezes podemos fazer um redimensionamento conforme da métrica com um fator conforme que cai suficientemente rápido para 0 à medida que nos aproximamos do infinito para obter o limite conforme da variedade. A estrutura topológica do limite conforme depende da estrutura causal.
* As geodésicas semelhantes ao tempo direcionadas para o futuro terminam em i + $i^{+}$, o infinito futuro semelhante ao tempo.
* Geodésicas semelhantes ao tempo direcionadas ao passado terminam em $i^{-}$, o infinito passado semelhante ao tempo.
* Geodésicas nulas (semelhantes à luz) direcionadas para o futuro terminam em ℐ$^+$, o infinito futuro nulo [en] (semelhante à luz).
* Geodésicas nulas (semelhantes à luz) direcionadas ao passado terminam em ℐ$^−$, o passado infinito nulo (semelhante à luz).
Em vários espaços:
* Espaço de Minkowski: $i^{\pm }$ são pontos, ℐ$^±$ são folhas nulas e infinito semelhante ao espaço tem codimensão 2.
* Antiespaço de de Sitter [en]: não há infinito semelhante ao tempo ou nulo (semelhante à luz), e o infinito semelhante ao espaço tem codimensão 1.
* Espaço de de Sitter: o infinito futuro e passado semelhantes ao tempo tem codimensão 1.

## Singularidade gravitacional

Se uma geodésica termina após um parâmetro afim finito e não é possível estender a variedade para estender a geodésica, então temos uma singularidade.
Para buracos negros, o limite futuro semelhante ao tempo termina em uma singularidade em alguns lugares.
Para o Big Bang, o limite passado semelhante ao tempo também é uma singularidade.
O horizonte de eventos absoluto é o cone nulo passado do infinito futuro semelhante ao tempo. É gerado por geodésicas nulas que obedecem à equação óptica de Raychaudhuri.