Static axisymmetric Einstein spaces with a cosmological constant and the limitation of canonical Weyl coordinates

Este artigo demonstra que a escolha canônica de coordenadas de Weyl é incompatível com uma constante cosmológica não nula porque a função de área deixa de ser harmônica, esclarecendo, assim, que a restrição sobre métricas de Weyl aplica-se especificamente ao sistema de coordenadas e não aos espaços de Einstein estáticos e axissimétricos em geral.

O essencial

Imagine o universo como um tecido gigante e elástico. Os físicos usam a matemática para descrever como objetos pesados (como estrelas) curvam esse tecido. Por muito tempo, quando estudavam um tipo específico de curvatura — uma que é perfeitamente imóvel (estática) e parece a mesma não importa para qual lado você gire em torno dela (axisimétrica) — eles usavam um mapa muito específico e conveniente chamado Coordenadas Canônicas de Weyl.

Pense nessas coordenadas como um grid de papel quadriculado perfeitamente reto e quadrado. É incrivelmente fácil fazer cálculos nesse grid porque as linhas são retas e uniformemente espaçadas.

A Regra Antiga

Por muito tempo, os cientistas acreditaram que, se você quisesse usar esse "grid de papel quadriculado perfeito" para mapear a gravidade ao redor de um objeto parado e giratório, o universo teria que estar vazio de uma certa energia misteriosa chamada Constante Cosmológica (vamos chamá-la de "Empurrão Cósmico").

O artigo argumenta que essa crença era, na verdade, um mal-entendido sobre o mapa, não uma regra do universo.

A Nova Descoberta

O autor, Sheref Nasereldin, diz: "O problema não é que o universo não possa ter esse Empurrão Cósmico. O problema é que o 'grid de papel quadriculado perfeito' para de funcionar quando o Empurrão é ligado."

Aqui está a divisão usando analogias simples:

1. A "Função de Área" (A Régua)
Nesses mapas gravitacionais, existe um número especial chamado "Função de Área". Você pode pensar nisso como uma régua que mede o tamanho dos círculos de rotação ao redor do objeto.

• Em um universo vazio (Sem Empurrão Cósmico): Essa régua se comporta perfeitamente. Ela segue as regras de um lago plano e calmo. Como ela se comporta tão bem, você pode usar a própria régua como uma das linhas do seu grid. Isso cria o mapa "Weyl Canônico".
• Em um universo com Empurrão Cósmico: A régua é distorcida. É como tentar usar uma régua de borracha em uma superfície irregular e vibrante. Ela não segue mais as regras simples e retas. Ela possui um "termo de fonte", que é apenas uma maneira sofisticada de dizer que "ela está sendo empurrada por uma força externa".

**2. O "Grid Quadrado" vs. O "Mapa Irregular"
O artigo prova que você só pode usar o grid quadrado "Weyl Canônico" (onde a régua é perfeitamente reta) se o Empurrão Cósmico for zero.

• Se o Empurrão for Zero: A régua é reta. Você pode usar o grid.
• Se o Empurão NÃO for Zero: A régua entorta. Se você tentar forçar a régua a permanecer reta (insistindo nas coordenadas Canônicas de Weyl), a matemática quebra. É como tentar forçar um pino quadrado em um buraco redondo; o universo simplesmente não permitirá.

A Prova: A Métrica de Kottler

Para provar isso, o autor observa a métrica de Kottler. Pense nisso como o exemplo "Padrão de Ouro" de um objeto parado e giratório em um universo com Empurrão Cósmico (é basicamente o famoso buraco negro de Schwarzschild, mas com o Empurrão Cósmico adicionado).

• Quando o autor calcula a "régua" (a Função de Área) para este objeto, ele descobre que ela não é reta. Ela é curvada pelo Empurrão Cósmico.
• Isso confirma que o grid "Canônico de Weyl" (que exige uma régua perfeitamente reta) simplesmente não pode existir para este objeto.
• No entanto, o objeto existe! Ele apenas precisa de um tipo de mapa diferente (um mais geral) que permita que a régua seja curva.

A Conclusão

O artigo corrige um equívoco comum.

• Pensamento Antigo: "As métricas de Weyl (mapas de grid quadrado) não funcionam se o universo tiver uma Constante Cosmológica."
• Nova Verdade: "As métricas de Weyl funcionam, mas apenas se você as definir estritamente como mapas onde a régua é perfeitamente reta. Se o universo tiver uma Constante Cosmológica, a régua deve entortar, então você tem que parar de usar a definição de 'régua perfeitamente reta' e usar um mapa mais flexível."

Em resumo: O universo com uma Constante Cosmológica é real e existe. Ele apenas se recusa a caber na caixa específica e rígida de "grid quadrado" que os físicos tanto amavam. Você tem que usar um mapa mais flexível e curvo para descrevê-lo.

Resumo técnico

Resumo Técnico: Espaços de Einstein Axiessimétricos Estáticos e a Limitação das Coordenadas de Weyl Canônicas

Enunciado do Problema
A métrica de Weyl clássica fornece a forma local geral para o campo de vácuo exterior de uma fonte gravitante estática e axialmente simétrica em quatro dimensões. Em sua forma canônica, a métrica é construída identificando a função de área das duas órbitas de Killing ($W = \sqrt{-\det(g_{AB})}$) com uma coordenada harmônica ($\rho$) no espaço de órbita bidimensional. Embora essa construção seja bem estabelecida para espaços vazios de Ricci-nulos ($R_{ab}=0$), não está claro se essa forma canônica permanece válida para espaços de Einstein com uma constante cosmológica não nula ($\Lambda \neq 0$), como a família Kottler (Schwarzschild-de Sitter). A questão central é se a restrição às coordenadas de Weyl canônicas é uma obstrução fundamental à existência de espaços de Einstein estáticos e axissimétricos com $\Lambda \neq 0$, ou meramente uma limitação dessa escolha específica de coordenadas.

Metodologia
Os autores trabalham localmente dentro do setor ortogonalmente transitivo de espaços de tempo axissimétricos. Para desacoplar a especialização de coordenadas da existência física do espaço-tempo, eles empregam um elemento de linha generalizado que retém a função de área $W(\rho, z)$ como uma função métrica arbitrária, em vez de fixá-la em $\rho$ imediatamente:
$$ds^2 = -e^{2U}dt^2 + e^{-2U} \left[ e^{2\nu}(d\rho^2 + dz^2) + W(\rho, z)^2 d\phi^2 \right].$$
Utilizando as equações de Einstein-$\Lambda$ ($R_{ab} = \Lambda g_{ab}$), os autores realizam uma redução dimensional. Ao utilizar técnicas de reescalonamento conformal nas hipersuperfícies espaciais ortogonais ao vetor de Killing temporal, eles derivam as equações de campo reduzidas que governam os potenciais $U$, $\nu$ e a função de área $W$ no espaço de órbita bidimensional.

Principais Contribuições e Resultados

1. Derivação das Equações Reduzidas: O artigo deriva o sistema completo de Einstein-$\Lambda$ reduzido para a métrica axissimétrica estática generalizada. As equações chave que governam a função de área $W$ e o potencial $U$ no espaço de órbita são:

   • $\Delta_q W = -2\Lambda e^{-2U} W$
   • $\Delta_q U + W^{-1}\nabla W \cdot \nabla U = -\Lambda e^{-2U}$
     onde $\Delta_q$ é o Laplaciano associado à métrica do espaço de órbita $q$.

2. Prova de Incompatibilidade para Coordenadas Canônicas: Os autores demonstram que a escolha de Weyl canônica, definida por estabelecer $W = \rho$, é localmente admissível em uma região afastada do eixo de simetria ($\rho > 0$) se, e somente se, $\Lambda = 0$.

   • Se $W = \rho$ for imposto, a equação reduzida para $W$ torna-se $0 = -2\Lambda e^{2\nu - 2U} \rho$.
   • Como o fator exponencial e $\rho$ são não nulos, esta equação força $\Lambda = 0$.
   • Inversamente, se $\Lambda = 0$, a equação para $W$ reduz-se à equação de Laplace do espaço plano ($\Delta W = 0$), permitindo que $W$ seja usada como uma coordenada harmônica.

3. Esclarecimento da "Limitação da Métrica de Weyl": O artigo estabelece que a afirmação "as métricas de Weyl não permitem $\Lambda \neq 0$" é precisa apenas quando "métrica de Weyl" é interpretada estritamente como a métrica em coordenadas canônicas, onde a função de área é identificada com a coordenada radial. A limitação não se deve à estaticidade ou axissimetria do próprio espaço-tempo, mas sim ao fato de que, para $\Lambda \neq 0$, a função de área $W$ não é harmônica; ela satisfaz uma equação diferencial com fonte.

4. Verificação Explícita via Métrica de Kottler: A métrica de Kottler (Schwarzschild-de Sitter) é apresentada como o exemplo explícito mais simples. Os autores mostram que, para a solução de Kottler com $\Lambda \neq 0$, a função de área $W = r \sin\theta \sqrt{f(r)}$ satisfaz a equação com fonte $\Delta_q W = -2\Lambda e^{-2U} W$, confirmando que ela não pode ser transformada na forma de Weyl canônica ($W=\rho$). No limite $\Lambda \to 0$, a solução reduz-se a Schwarzschild, onde $W$ torna-se harmônica, recuperando as coordenadas de Weyl canônicas padrão.

Significância e Alegações
O artigo alega fornecer uma declaração local precisa que esclarece o escopo das coordenadas de Weyl canônicas. Argumenta-se que a falha da forma de Weyl canônica para $\Lambda \neq 0$ é controlada diretamente pela equação diferencial satisfeita pela função de área. Os autores enfatizam que este resultado não deve ser visto como uma obstrução global à existência de espaços de Einstein estáticos e axissimétricos com uma constante cosmológica; em vez disso, tais espaços existem, mas devem ser descritos pelo elemento de linha (4) mais geral, onde a função de área não é identificada com a coordenada $\rho$. O trabalho serve para distinguir entre as propriedades geométricas do espaço-tempo e as escolhas específicas de coordenadas usadas para representá-lo.