Conformal Einstein spaces and conformally covariant operators

Resumo Técnico: Espaços de Einstein Conformais e Operadores Conformemente Covariantes

Enunciado do Problema
O problema central abordado neste trabalho é a caracterização de variedades pseudo-riemannianas que são conformemente relacionadas a um espaço de Einstein. Especificamente, dada uma variedade $(M, g_{ab})$, os autores buscam as condições necessárias e suficientes para determinar se existe um fator conforme $\Omega$ tal que a métrica reescalonada $\tilde{g}_{ab} = \Omega^{-2} g_{ab}$ satisfaça a condição de Einstein $\tilde{R}_{ab} = \lambda \tilde{g}_{ab}$. Embora este problema tenha uma longa história envolvendo Brinkmann, Schouten e Szekeres, e tenha sido abordado em contextos específicos (por exemplo, variedades lorentzianas de 4 dimensões com tensores de Weyl não degenerados por Kozameh, Newman e Tod; e generalizado para dimensões arbitrárias por Gover e Nurowski), os autores visam fornecer uma metodologia totalmente geral e algorítmica. O objetivo deles é remover a restrição de invertibilidade do endomorfismo de Weyl e estender o arcabouço para dimensões arbitrárias $D \geq 3$.

Metodologia
Os autores empregam um arcabouço baseado em concomitantes métricos (quantidades definidas via a métrica, sua inversa e a conexão de Levi-Civita) e uma estrutura diferencial especializada conhecida como conexão C.

1. Diferenciação Conformemente Covariante: O artigo introduz um novo operador diferencial, $D_a$, projetado para mapear concomitantes métricos conformemente covariantes para outros concomitantes conformemente covariantes. Este operador corrige a derivada padrão de Levi-Civita adicionando termos que envolvem um campo vetorial $\Upsilon_a = \nabla_a \ln \Omega$.
2. A Conexão C: Ao definir o peso conforme $s=0$, os autores definem a conexão C ($C_a$). Esta conexão é livre de torção e invariante conforme. Suas propriedades de curvatura estão ligadas diretamente à geometria da classe conforme subjacente.
3. Tratamento do Endomorfismo de Weyl: Um componente crítico da metodologia é o tratamento do tensor de Weyl $C_{abcd}$ visto como um endomorfismo no fibrado de formas de ordem 2.
   • Caso Invertível: Se o endomorfismo de Weyl for invertível, o vetor $\Upsilon_a$ pode ser isolado unicamente em termos dos tensores de Schouten das métricas física e não física.
   • Caso Não Invertível: Se o endomorfismo de Weyl for singular, os autores utilizam a pseudoinversa de Moore-Penrose ($W^+$). Isso introduz um tensor arbitrário $\xi_{abc}$ no espaço de solução, levando a uma conexão generalizada denominada conexão $C_\xi$.
4. Abordagem Algorítmica: As condições derivadas são expressas inteiramente em termos dos concomitantes da métrica não física (tensores de Ricci, Schouten, Weyl) e suas derivadas, permitindo uma verificação computacional sem o conhecimento prévio do fator conforme.

Principais Contribuições e Resultados

• Generalização da Conexão C: O artigo generaliza a construção da conexão C, anteriormente limitada a 4 dimensões com tensores de Weyl invertíveis, para dimensões arbitrárias $D \geq 3$ e para casos onde o endomorfismo de Weyl é singular.
• Lema 3.1: Este lema fundamental fornece a relação explícita entre o gradiente do fator conforme $\Upsilon_a$ e os tensores de Schouten. Ele distingue o caso invertível ($\Upsilon_a = \Lambda_a - \tilde{\Lambda}_a$) do caso não invertível ($\Upsilon_a = \Lambda^\xi_a - \tilde{\Lambda}^{\tilde{\xi}}_a$), onde este último envolve a pseudoinversa e um tensor arbitrário $\xi$.
• Teorema 5.1 (Caso de Weyl Invertível): Os autores estabelecem que, se o endomorfismo de Weyl for invertível, uma variedade é conformemente Einstein se, e somente se, o tensor de Ricci da conexão C, $R_{ab}$, satisfizer:
  1. $R_{[ab]} = 0$ (simetria)
  2. $R_{(ab)} - \frac{1}{D} g_{ab} R = 0$ (condição de traço nulo)
     Estas condições são restrições algébricas e diferenciais puras sobre os concomitantes da métrica não física.
• Teorema 5.3 (Caso de Weyl Não Invertível): Para endomorfismos de Weyl singulares, a variedade é conformemente Einstein se, e somente se, existir um tensor $\xi_{abc}$ tal que a conexão $C_\xi$ associada satisfaça as mesmas condições de simetria e traço nulo do Teorema 5.1, sujeita a uma condição de compatibilidade adicional (Eq. 62) derivada das propriedades da pseudoinversa.
• Operadores Conformemente Covariantes: O artigo constrói uma família de operadores pseudo-diferenciais conformemente covariantes $D^{s,(p,q)}_a$ que atuam sobre tensores de posto arbitrário. Estes operadores generalizam o Laplaciano conforme e o operador de Paneitz, fornecendo um arcabouço unificado para a diferenciação conformemente covariante.

Aplicações e Exemplos
Os autores validam seu arcabouço teórico através de três exemplos específicos:

1. Espaços Conformemente Planos: O formalismo é aplicado a variedades planas, onde o tensor de Weyl desaparece. Os resultados recuperam propriedades conhecidas de espaços conformemente planos e definem explicitamente os operadores em termos do tensor arbitrário $\xi$.
2. Espaços-tempo de Robinson–Trautman: O formalismo é aplicado à classe de soluções de Robinson–Trautman. Os autores derivam restrições diferenciais específicas nas funções métricas $H(u,r)$ e $P(u)$ necessárias para que estes espaços-tempo sejam conformemente Einstein, demonstrando a utilidade algorítmica de seus teoremas.
3. Ondas de Frente de Plano (Métricas de Brinkmann): O artigo analisa ondas de frente de plano de 4 dimensões. Mostra que a condição para que estes espaços-tempo sejam conformemente Einstein reduz-se ao desaparecimento da divergência do tensor de Weyl ($\nabla_a C^{abcd} = 0$), o que é equivalente à harmonicidade da função de perfil da onda $H$ nas variáveis transversais. Isso confirma a consistência com resultados anteriores (ex: [18]), enquanto demonstra o poder do novo formalismo para lidar com casos de Weyl singular.

Significância e Alegações
O artigo afirma fornecer uma metodologia totalmente geral, sistemática e computacional para determinar se um espaço-tempo é conformemente Einstein. Ao remover a restrição de invertibilidade de Weyl e utilizar a conexão C (e seu correspondente singular $C_\xi$), os autores oferecem uma abordagem unificada que funciona em dimensões arbitrárias. A significância reside na capacidade de formular estas condições inteiramente em termos dos concomitantes da métrica não física, tornando-as passíveis de verificação algorítmica. O trabalho também contribui para o campo mais amplo da geometria conforme ao construir uma família de operadores conformemente covariantes que são de interesse independente para o estudo de problemas de prescrição de curvatura e invariantes geométricos em teorias de dimensões superiores.