Differentiability and Other Properties of the Cosmological Volume Function

Resumo Técnico: Diferenciabilidade e Outras Propriedades da Função de Volume Cosmológico

Enunciado do Problema
Na Relatividade Geral, a ausência de uma coordenada temporal independente do observador é um desafio fundamental. Embora singularidades possam, por vezes, fornecer uma coordenada temporal natural, as construções padrão enfrentam limitações. A função de tempo cosmológico regular $\tau$, introduzida por Andersson, Galloway e Howard, mede o tempo próprio máximo que um observador pode experienciar desde uma singularidade (o Big Bang); no entanto, $\tau$ é geralmente apenas Lipschitz local e diferenciável quase em toda parte, falhando em ser $C^1$ em muitos casos devido ao lócus de corte temporal.

Uma alternativa, a função de volume cosmológico $\tau_V$, foi introduzida recentemente para medir o tempo através do volume canônico do passado cronológico, $\tau_V(p) := \text{vol}_g(I^-(p))$. Embora $\tau_V$ compartilhe muitas propriedades estruturais com $\tau$ (como a definição de uma decomposição hiperbólica global), suas propriedades de diferenciabilidade eram anteriormente incertas. Uma questão central é que a medida de volume canônica $\text{vol}_g$ pode ser infinita e, embora medidas ponderadas possam ser escolhidas para garantir a diferenciabilidade (como mostrado por Chruściel, Grant e Minguzzi), tais escolhas são arbitrárias. O problema central abordado neste artigo é se a função de volume cosmológico canônica (não ponderada) $\tau_V$ é uma função temporal continuamente diferenciável ($C^1$) em configurações fisicamente relevantes, fornecendo assim uma decomposição canônica do tensor métrico sem escolhas arbitrárias.

Metodologia
O artigo emprega técnicas de geometria lorentziana e teoria da medida, adaptando argumentos de Chruściel, Grant e Minguzzi relativos a medidas ponderadas para o caso específico da medida de volume canônica.

1. Diferenciação de Integrais: A abordagem técnica central envolve a diferenciação da integral que define $\tau_V(p) = \int_{I^-(p) \cap I^+(S)} d\text{vol}_g$. O autor utiliza uma regra de Leibniz para integrais de formas diferenciais, onde a variação do domínio de integração (o passado cronológico) é analisada.
2. Análise Geométrica de Fronteiras: A fronteira do passado cronológico, $\partial I^-(p)$, é regida por geodésicas nulas direcionadas ao passado. O autor analisa a "velocidade" desta fronteira utilizando campos de Jacobi ao longo destas geodésicas nulas.
3. Tratamento de Singularidades: Cuidados especiais são tomados em relação ao lócus de corte nulo. O artigo estabelece que o lócus de corte nulo tem medida zero, garantindo que ele não contribua para a derivada da integral de volume, ao contrário do lócus de corte temporal que afeta a diferenciabilidade de $\tau$.
4. Provas de Continuidade: As provas envolvem a construção de derivadas candidatas como integrais sobre o conjunto $\mathring{E}^-(p)$ (a fronteira do passado excluindo o lócus de corte) e a demonstração da continuidade destes mapas usando propriedades do mapa exponencial e da compacidade das superfícies de Cauchy.

Contribuições Principais e Resultados

• Teorema Principal (Teorema 1.1): O artigo prova que, se $(M, g)$ é o desenvolvimento de Cauchy futuro de uma superfície de Cauchy $S$ (ou seja, o tempo é medido a partir de dados iniciais em vez de uma singularidade), a função de volume cosmológico $\tau_V$ restrita a $I^+(S)$ é uma função temporal regular $C^1$.
• Corolário 1.2 (Configuração Cosmológica): Sob a condição de que o espaço-tempo é incompleto em volume passado e não possui horizontes de observador passados (significando que cada curva causal inextendida no passado vê todo o espaço-tempo, $I^+(\gamma) = M$), e assumindo que $\tau_V$ é finita, $\tau_V$ é uma função temporal regular $C^1$.
• Decomposição Canônica da Métrica: A regularidade $C^1$ de $\tau_V$ permite uma decomposição canônica do tensor métrico:
  $$g = -\beta(d\tau_V)^2 + h$$
  onde $\beta$ é uma função contínua e $h$ induz uma métrica Riemanniana contínua nas superfícies de nível de $\tau_V$. Isso permite a construção de uma métrica Riemanniana "Wick-rotacionada" $g_R := \beta(d\tau_V)^2 + h$ que é derivada unicamente da métrica lorentziana $g$, sem escolhas de ponderação arbitrárias.
• Contraexemplos e Limitações:
  • Exemplo 3.8: Demonstra que, se a superfície de Cauchy $S$ possui porções de luz (lightlike), $\tau_V$ pode falhar em ser $C^1$.
  • Exemplo 3.9: Mostra um espaço-tempo onde $\tau_V$ não é sequer Lipschitz local, ocorrendo quando o espaço-tempo não pode ser visto como o domínio de dependência futuro de uma superfície de Cauchy (devido a uma fronteira espacial com fatores conformais específicos).
  • Exemplo 3.10: Ilustra um caso onde $\tau_V$ é $C^1$, mas não $C^2$, destacando que a diferenciabilidade de ordem superior não é garantida.
• Comparação com o Tempo Cosmológico ($\tau$):
  • O artigo estabelece que a regularidade de $\tau$ (finita e tendendo a zero ao longo de curvas passadas inextendidas) não implica automaticamente a regularidade de $\tau_V$, embora condições envolvendo superfícies de Cauchy compactas e limites de curvatura de Ricci (Proposição 4.1) possam assegurá-la.
  • Ao contrário de $\tau$, as superfícies de nível de $\tau_V$ não são necessariamente superfícies de Cauchy para todos os valores, mesmo que $\tau_V$ seja regular (Exemplo 4.4).
  • O lócus de corte cosmológico para $\tau$ não é necessariamente fechado (Exemplo 4.7), contrastando com os lócus de corte Riemannianos padrão.

Significância e Alegações
O artigo afirma que em duas configurações específicas, mas importantes — espaços-tempos oriundos de dados iniciais e certos modelos cosmológicos sem horizontes de observador — a função de volume cosmológico $\tau_V$ fornece uma função temporal $C^1$ canônica. Isto é significativo porque:

1. Canonicidade: Ao contrário de abordagens anteriores que exigiam escolhas arbitrárias de funções de peso para garantir a diferenciabilidade, $\tau_V$ baseia-se apenas na métrica $g$ e na medida de volume canônica.
2. Decomposição da Métrica: A propriedade $C^1$ permite uma decomposição contínua do tensor métrico, facilitando a definição de uma métrica Riemanniana de Wick-rotação.
3. Estudos de Convergência: A $g_R$ construída é adequada para estudar a convergência de sequências de espaços-tempos $(M_i, g_i)$ usando noções estabelecidas de convergência de espaços métricos (ex: Gromov–Hausdorff), pois evita os problemas de não-diferenciabilidade inerentes a $\tau$ ou medidas arbitrárias.

O autor nota explicitamente que, embora $\tau_V$ seja $C^1$ nestes casos, não é geralmente $C^2$, e as suas superfícies de nível nem sempre partilham as mesmas propriedades de Cauchy que as de $\tau$. Os resultados são apresentados como o estabelecimento da diferenciabilidade de $\tau_V$ em "muitos casos de interesse", e não universalmente para todos os espaços-tempos.