Lipschitz continuity of the cut time for globally hyperbolic spacetimes

Resumo Técnico: Continuidade Lipschitz do Tempo de Corte em Espaços-Tempos Globalmente Hiperbólicos

Enunciado do Problema
O artigo aborda a regularidade da função de tempo de corte $\rho$ e da função de tempo de focalização $\lambda$ no contexto de espaços-tempos globalmente hiperbólicos $(M, g)$. Na geometria Riemanniana, o tempo de corte (a distância até o lóbulo de corte) e o tempo de focalização (a distância até o lóbulo conjugado) são conhecidos por serem localmente Lipschitz contínuos, um resultado estabelecido por Itoh e Tanaka [10] e Li e Nirenberg [12]. Na geometria Lorentziana, embora a continuidade do tempo de corte tenha sido estabelecida [1], nenhum resultado comparável de regularidade Lipschitz era conhecido antes deste trabalho. Os autores visam estender os resultados de continuidade Lipschitz do cenário Riemanniano para espaços-tempos globalmente hiperbólicos, investigando especificamente o comportamento dessas funções no cone causal futuro $C_x$.

Metodologia
Os autores adaptam o arcabouço analítico desenvolvido por Itoh e Tanaka [10] para variedades Riemannianas ao cenário Lorentziano. A metodologia central envolve:

1. Análise Variacional: Utilização da forma de índice Lorentziana e campos de Jacobi para analisar o comportamento de geodésicas próximas de pontos conjugados e de corte.
2. Estimativas Uniformes: Estabelecimento de limites uniformes sobre as derivadas do mapa exponencial e o comportamento de campos de Jacobi em vizinhanças de vetores tangentes.
3. Comparação de Geodésicas: Construção de campos vetoriais ao longo de geodésicas perturbadas para comparar as formas de índice de geodésicas próximas, de modo a limitar a variação dos tempos de focalização e de corte.
4. Geometria Hiperbólica: Emprego da geometria do hiperboloide unitário no espaço de Minkowski para relacionar distâncias euclidianas entre vetores tangentes a ângulos hiperbólicos, o que é crucial para lidar com o comportamento singular próximo ao cone nulo.
5. Análise de Subgradiente: Uso da teoria de funções localmente semiconvexas e subgradientes da função de separação temporal $d$ para relacionar a derivada do tempo de corte com a geometria das geodésicas maximizadoras.

Principais Contribuições e Resultados

1. Continuidade Lipschitz do Tempo de Focalização (Teorema 1.3):
   Os autores provam que o tempo de focalização $\lambda$ é localmente Lipschitz contínuo em seu domínio relativamente aberto dentro do cone causal futuro. Este resultado mantém-se mesmo ao longo de direções nulas. A prova estabelece que $\lambda$ é localmente Lipschitz no conjunto onde é finito, espelhando o resultado Riemanniano.

2. Continuidade Lipschitz do Tempo de Corte (Teorema 1.4):
   O artigo estabelece que o tempo de corte $\rho$ é localmente Lipschitz contínuo em uma vizinhança de qualquer vetor tangente futuro-direcionado de tipo temporal $v^*$, desde que $\rho(v^*) < \infty$ e a geodésica $c_{v^*}$ esteja definida até o tempo de corte.

• Estimativa Quantitativa: Para vetores de tipo temporal, a constante Lipschitz depende do inverso do quadrado da norma dos vetores: $|\rho(v) - \rho(w)| \leq C |v-w| / \min(|v|_g^2, |w|_g^2)$.
• Direções Nulas: Os autores observam que estabelecer a continuidade Lipschitz em direções que se aproximam do cone nulo é mais delicado. Em geral, eles obtêm estimativas sobre o crescimento (blow-up) da constante Lipschitz próximo ao cone nulo. No entanto, se o ponto de corte de um vetor nulo ocorre estritamente antes do primeiro ponto conjugado, a propriedade Lipschitz estende-se a uma vizinhança desse vetor nulo (Corolário 1.6).

3. Dimensão de Hausdorff do Lóbulo de Corte (Corolário 1.5):
   Como consequência dos resultados de continuidade Lipschitz, os autores demonstram que o lóbulo de corte de um ponto em um espaço-tempo globalmente hiperbólico tem uma dimensão de Hausdorff de no máximo $n-1$ (onde $n$ é a dimensão da variedade). Isso implica que o lóbulo de corte possui uma codimensão de Hausdorff de pelo menos 1.

4. Semiconcavidade (Proposição 1.2):
   O artigo inclui uma prova de que o tempo de corte $\rho$ é localmente semiconcavente próximo a um vetor tangente futuro-direcionado de tipo temporal $v^*$ se $\rho(v^*) < \lambda(v^*)$ e o ponto de corte estiver definido. Isso é derivado da fórmula de primeira variação.

Significância e Alegações
O artigo afirma fornecer a primeira extensão dos resultados de continuidade Lipschitz para o tempo de corte de variedades Riemannianas completas para espaços-tempos globalmente hiperbólicos. Os autores declaram explicitamente que seus resultados estendem os achados clássicos de Itoh-Tanaka e Li-Nirenberg para o cenário Lorentziano.

A significância reside no estabelecimento de um grau superior de regularidade (continuidade Lipschitz) para o tempo de corte, que anteriormente era conhecido apenas como contínuo no contexto Lorentziano. Esta regularidade é essencial para compreender a estrutura do lóbulo de corte e suas propriedades de medida. Os autores observam que, embora os resultados Riemannianos cubram lóbulos de corte de subvariedades imersas, o trabalho atual é restrito a pontos únicos, embora esperem que os argumentos se estendam a classes adequadas de subvariedades do tipo espacial.

O artigo reconhece limitações: a propriedade Lipschitz para o tempo de corte é provada incondicionalmente apenas para direções de tipo temporal. Para direções nulas, a propriedade só ocorre sob a condição específica de que o ponto de corte preceda o ponto conjugado. Os autores não alegam ter resolvido o caso geral para direções nulas onde o ponto de corte coincide com ou segue o ponto conjugado, observando que o comportamento da constante Lipschitz próximo ao cone nulo requer estimativas quantitativas adicionais.

Estrutura do Argumento
A estratégia de prova segue a abordagem Riemanniana:

• Seção 3: Prova a continuidade Lipschitz do tempo de focalização $\lambda$ através da análise do crescimento linear da forma de índice Lorentziana e da construção de campos vetoriais específicos para limitar a variação dos pontos conjugados.
• Seção 4: Prova a continuidade Lipschitz do tempo de corte $\rho$. Isso envolve estimativas uniformes sobre a diferença de velocidades geodésicas (Lema 4.2) e uma análise detalhada da derivada de $\rho$ ao longo de um caminho de vetores, utilizando a ortogonalidade de subgradientes e a geometria do hiperboloide.
• Seção 5: Refina a prova para direções nulas sob a suposição de que o ponto de corte não é conjugado, removendo a singularidade do denominador na estimativa Lipschitz.
• Apêndices: Fornecem um levantamento de resultados clássicos sobre pontos conjugados, a forma de índice e a continuidade de $\rho$ e $\lambda$, garantindo que o artigo seja autossuficiente em relação ao necessário arcabouço de geometria Lorentziana.