Failure of local equi-Lipschitzness for families of Lorentz distances to Cauchy surface foliations

Resumo Técnico: Falha da Equi-Lipschitzidade Local para Famílias de Distâncias Lorentzianas a Foliações de Superfícies de Cauchy

Enunciado do Problema
Os teoremas clássicos de divisão lorentziana afirmam que um espaço-tempo $(M, g)$ timicamente geodesicamente completo ou globalmente hiperbólico que contenha uma linha temporal completa e satisfaça a condição de energia forte divide-se isometricamente em um espaço-tempo produto $(\mathbb{R} \times S, dt^2 - \tilde{g})$. Um componente crítico nas provas desses teoremas (especificamente aquelas que utilizam técnicas de $p$-d'Alembertiano) é a continuidade equi-Lipschitz local das famílias de funções de distância lorentziana $\{\ell(\cdot, \gamma(t))\}_{t>0}$ e $\{\ell(\gamma(-t), \cdot)\}_{t>0}$ em uma vizinhança da linha temporal $\gamma$.

Na ausência de uma linha temporal completa pré-existente — como no contexto da conjectura de divisão cosmológica de Bartnik — pesquisadores consideraram substituir a linha por uma foliação por superfícies de Cauchy $\Sigma_s = \{\tau = s\}$, onde $\tau$ é uma função temporal de Cauchy. Foi anteriormente afirmado na literatura (especificamente no Lema 3.2 de [14]) que as famílias de distâncias lorentzianas aos e a partir desses níveis de conjunto, $\{\ell(\cdot, \Sigma_t)\}_{t>0}$ e $\{\ell(\Sigma_{-t}, \cdot)\}_{t>0}$, são localmente equi-Lipschitz contínuas. Este artigo investiga a validade dessa afirmação.

Metodologia
Os autores empregam uma combinação de análise geométrica e construção de contraexemplos para testar a regularidade das funções de distância lorentziana em relação às foliações de superfícies de Cauchy.

1. Estrutura Teórica: O artigo revisa o mecanismo pelo qual a equi-Lipschitzidade é estabelecida para linhas temporais, baseando-se na "condição de co-raio temporal generalizada". Esta condição garante que os limites subsequenciais de curvas maximizantes permaneçam temporais, evitando a explosão da norma-$h$ (norma Riemanniana de fundo) dos vetores tangentes iniciais de geodésicas maximizantes.
2. Construção de Contraexemplos: Para refutar a afirmação geral para superfícies de Cauchy, os autores constroem contraexemplos específicos no espaço de Minkowski $\mathbb{R}^{1,1}$. Eles definem uma função temporal de Cauchy $\tau(u, v) = F(u) + v$ usando coordenadas nulas, onde $F$ é uma função suave e íngreme. Ao analisar a interseção do futuro causal da origem com os níveis de conjunto $\Sigma_s$, eles calculam explicitamente as geodésicas maximizantes e seus vetores tangentes iniciais.
3. Análise de Compacidade e Condições de Energia: O artigo examina a relação entre a propriedade equi-Lipschitz e a existência de linhas temporais. Usando o Lema 3.3, os autores demonstram que, se as famílias de distâncias forem localmente equi-Lipschitz em um espaço-tempo com superfícies de Cauchy compactas, uma linha temporal deve existir. Isso é contrastado com o exemplo de Ehrlich–Galloway de um espaço-tempo que é geodesicamente completo e globalmente hiperbólico, mas não contém linhas temporais.

Contribuições Principais e Resultados

• Refutação da Equi-Lipschitzidade Geral: O principal resultado é a demonstração de que as famílias de distâncias lorentzianas $\{\ell(\cdot, \Sigma_t)\}_{t>0}$ e $\{\ell(\Sigma_{-t}, \cdot)\}_{t>0}$ não são localmente equi-Lipschitz contínuas em geral, mesmo para funções temporais de Cauchy "íngremes".
  • Exemplo 3.2: No espaço de Minkowski 2D, os autores constroem uma função temporal de Cauchy íngreme onde as normas-$h$ dos tangentes iniciais de geodésicas maximizantes de um ponto fixo para $\Sigma_s$ divergem para o infinito conforme $s \to \infty$. Isso contradiz diretamente o Lema 3.2 em [14] e invalida os resultados naquele artigo que dependem da existência de soluções de viscosidade globais para a equação eikonal lorentziana derivada desta suposição.
• Necessidade de Linhas Temporais: O Lema 3.3 estabelece que, para um espaço-tempo globalmente hiperbólico com superfícies de Cauchy compactas, a equi-Lipschitzidade local dessas famílias de distâncias implica a existência de uma linha temporal. Consequentemente, em espaços-tempo como o exemplo de Ehrlich–Galloway (que possui superfícies de Cauchy compactas, mas não possui linhas temporais), nenhuma tal função temporal de Cauchy pode existir que satisfaça a condição equi-Lipschitz.
• Equivalência à Conjectura de Bartnik: O artigo formula a existência de uma função temporal de Cauchy com famílias de distâncias localmente equi-Lipschitz como sendo equivalente à conjectura de divisão cosmológica de Bartnik.
  • Corolário 3.5: Sob as suposições de hiperbolicidade global, completude geodésica temporal e condição de energia forte, o espaço-tempo divide-se isometricamente se, e somente se, tal função temporal de Cauchy existir.
• Conjecturas Propostas:
  • Conjectura 4.1: Em um espaço-tempo que satisfaz as condições da conjectura de Bartnik, existe pelo menos uma função temporal de Cauchy para a qual as famílias de distâncias são localmente equi-Lipschitz.
  • Conjectura 4.2: Sob as mesmas condições, toda função temporal de Cauchy produz famílias de distâncias localmente equi-Lipschitz. Os autores observam que a Conjectura 4.2 implica a Conjectura 4.1 e é apoiada pela Proposição 4.3, que prova que a propriedade ocorre para espaços-tempo produto $(\mathbb{R} \times S, dt^2 - \tilde{g})$ com $S$ compacto.

Significância
O artigo esclarece uma lacuna crítica na metodologia para estender os teoremas de divisão lorentziana para configurações sem linhas temporais pré-existentes. Ao mostrar que a propriedade equi-Lipschitz não ocorre automaticamente para foliações de Cauchy arbitrárias, os autores demonstram que a analogia direta com o caso da linha temporal falha devido a uma falta de regularidade.

A significância reside em reformular a conjectura de divisão cosmológica de Bartnik: em vez de ser uma afirmação puramente geométrica sobre curvatura e completude, ela é mostrada como equivalente à existência de uma propriedade de regularidade específica (equi-Lipschitzidade local) para uma família de funções de distância associadas a uma função temporal de Cauchy. Isso fornece uma nova perspectiva analítica para atacar a conjectura, sugerindo que provar o teorema de divisão pode exigir a construção de uma função temporal "boa" específica, em vez de depender das propriedades de qualquer uma arbitrária. Os resultados também corrigem a literatura quanto à existência de soluções de viscosidade globais para a equação eikonal lorentziana no caso geral.