Canonical Vielbeins for General Relativity: D + 1 Decomposition and Constraint Analysis

Este artigo apresenta uma derivação autossuficiente da formulação hamiltoniana da Relatividade Geral em variáveis vielbein em $D+1$ dimensões, estabelecendo a álgebra de restrições, relacionando-a à formulação métrica e construindo o gerador de boosts para recuperar a simetria de Lorentz local completa dentro de um framework covariante sob $\mathrm{SO}(D)$.

O essencial

Imagine o universo como um tecido gigante e flexível. Há muito tempo, os físicos descrevem esse tecido usando um único mapa suave chamado métrica. Esse mapa indica a distância entre quaisquer dois pontos. No entanto, às vezes, especialmente ao lidar com partículas minúsculas como elétrons (espinores), esse mapa suave é muito rígido. Os físicos preferem descrever o tecido usando um conjunto de "réguas" e "bússolas" locais colocadas em cada ponto. Esses são chamados de vielbeins (ou campos de referência). Pense neles não como um único mapa, mas como uma grade de sistemas de coordenadas minúsculos e móveis que podem girar e inclinar-se independentemente em cada ponto do espaço.

Este artigo é um manual de instruções detalhado sobre como pegar as leis da gravidade (Relatividade Geral) e reescrevê-las inteiramente em termos dessas réguas e bússolas locais, especificamente dividindo o universo em espaço e tempo (uma divisão "D+1").

Aqui está uma análise do que os autores fizeram, usando analogias simples:

1. O Cenário: Cortando o Bolo

Para estudar como a gravidade evolui ao longo do tempo, é preciso cortar o bolo do espaço-tempo quadridimensional em camadas tridimensionais (como fatiar um pão).

• A Abordagem da Métrica: Tradicionalmente, os físicos cortam o bolo e medem a forma de cada fatia.
• A Abordagem dos Vielbeins: Os autores cortam o bolo, mas também rastreiam a orientação das réguas locais em cada fatia. Eles mostram como traduzir a "forma" da fatia para a linguagem dessas réguas.

2. As Duas Maneiras de Cortar as Réguas

Os autores exploram duas maneiras diferentes de organizar essas réguas locais, o que é como olhar para um pião girando de dois ângulos diferentes:

• Abordagem A: A Visão de "Rotação Completa" (Covariante de Lorentz)
  Imagine que as réguas podem girar e inclinar-se em qualquer direção no espaço quadridimensional (incluindo o tempo). Os autores derivam as regras de como essas réguas se movem, mantendo intacta a capacidade de girá-las em qualquer direção. Eles identificam "regras do jogo" (restrições) que dizem: "Você não pode simplesmente girar as réguas arbitrariamente; seu movimento está ligado à forma do espaço."

  • O Resultado: Eles encontraram um conjunto de equações que descrevem a energia e o momento do universo, garantindo que, se você girar suas réguas, a física permaneça a mesma.

• Abordagem B: A Visão de "Chão Plano" (Covariante SO(D))
  Imagine que você força as réguas a ficarem em pé, retas, no chão de cada fatia de tempo, permitindo apenas que girem em torno do eixo vertical (como um pião que não pode inclinar). Isso é chamado de "calibre de tempo".

  • O Problema: Ao forçá-las a ficar retas, você perde a capacidade de descrever a inclinação (impulsos) naturalmente. É como descrever um carro apenas por como ele avança, ignorando que ele também pode inclinar-se em uma curva inclinada.
  • A Correção: Os autores mostram que, mesmo começando com essa visão de "chão plano", é possível reconstruir matematicamente a capacidade de "inclinar". Eles construíram um "gerador de impulso" especial — uma ferramenta matemática que atua como uma alavanca para inclinar as réguas de volta para uma inclinação quadridimensional, recuperando a simetria completa do universo.

3. As Regras "Fantasma" (Restrições)

Neste sistema, nem toda parte da régua é livre para se mover. Algumas partes são "fantasmas" — elas não têm sua própria energia independente, mas estão ligadas às outras.

• Os autores identificaram essas regras "fantasma" (restrições primárias). Eles mostraram que essas regras são como as engrenagens de um relógio: se uma engrenagem (uma rotação) se move, as outras devem se mover de uma maneira específica para manter o relógio funcionando.
• Eles provaram que todas essas regras se encaixam perfeitamente em uma "álgebra de primeira classe". Em português claro, isso significa que as regras são consistentes. Se você seguir uma regra, não quebrará acidentalmente outra. O sistema é estável e autoconsistente.

4. O Problema da "Tradução"

Uma das principais descobertas do artigo é sobre translação.

• Se você tentar mover todo o universo para a esquerda (um deslocamento espacial), as réguas de "chão plano" não apenas se movem; elas também precisam girar ligeiramente para permanecerem alinhadas com a nova posição.
• Os autores mostraram que o botão padrão de "mover" na matemática estava faltando uma instrução de "girar". Eles corrigiram isso adicionando um termo que diz: "Quando você move o espaço, gire também as réguas locais." Isso garante que a matemática descreva corretamente como o universo parece de uma perspectiva em movimento.

5. A Visão Geral

O artigo é essencialmente uma prova rigorosa de que:

1. É possível descrever a gravidade usando réguas locais (vielbeins) tão bem quanto usando o mapa suave (métrica).
2. É possível separar tempo e espaço para estudar como o universo evolui.
3. Mesmo que você comece com uma visão simplificada onde as réguas apenas giram (não inclinam), é possível "descongelá-las" matematicamente para recuperar a capacidade completa e complexa de inclinar e girar no espaço quadridimensional.
4. Todas as regras matemáticas que governam esses movimentos se encaixam sem contradições.

Em resumo: Os autores pegaram uma maneira complexa e abstrata de descrever a gravidade (usando referenciais locais em vez de um mapa global), dividiram-na em tempo e espaço, e escreveram um manual de regras completo e autoconsistente sobre como esses referenciais locais se movem, giram e inclinam. Eles corrigiram algumas "instruções" faltantes na matemática para garantir que o movimento através do espaço inclua automaticamente as rotações necessárias, e provaram que é possível recuperar a simetria completa quadridimensional mesmo começando com uma visão tridimensional simplificada.

Resumo técnico

Declaração do Problema
O artigo aborda a necessidade de uma derivação autossuficiente e detalhada da formulação hamiltoniana da relatividade geral utilizando variáveis de vielbein (campo de referência) em $d = D + 1$ dimensões. Embora a decomposição baseada em métrica de Arnowitt-Deser-Misner (ADM) seja bem estabelecida, a formulação em vielbein é essencial para o acoplamento a espinores e oferece insights geométricos distintos. Os autores observam que a literatura existente sobre a decomposição $D+1$ em vielbein (por exemplo, trabalhos de Schwinger, Kibble, Isham e Deser) é frequentemente concisa, incompleta ou contém etapas intermediárias que carecem de detalhe ou são incorretas. Além disso, nuances técnicas relacionadas às álgebras de restrições e geradores de simetria foram amplamente negligenciadas. O desafio específico reside em identificar corretamente as restrições primárias associadas aos graus de liberdade de Lorentz não dinâmicos e construir geradores que atuem corretamente no espaço de fase completo, incluindo os índices de Lorentz internos.

Metodologia
Os autores adotam uma perspectiva direta de teoria de campos, evitando a linguagem de formas diferenciais e fibrados de referência para manter a clareza pedagógica. Trabalham em $d = D + 1$ dimensões com unidades $c = \hbar = 1$ e a convenção de assinatura mostly-plus. A metodologia prossegue em duas trilhas paralelas:

1. Formulação Covariante de Lorentz: Começando pela ação de Einstein-Hilbert, os autores realizam uma foliação $D+1$ do espaço-tempo. Eles decompõem o vielbein $e^A_\mu$ em um lapso $N$, um deslocamento $N^i$, um vielbein espacial $E^A_i$ e um vetor de Lorentz unitário temporal $X^A$ ortogonal às hipersuperfícies espaciais. Eles derivam os momentos conjugados $\pi^i_A$ e identificam as restrições primárias decorrentes da invariância de Lorentz local. A hamiltoniana é construída e a álgebra de restrições é computada utilizando o algoritmo de Dirac-Bergmann.
2. Formulação Covariante de SO(D): Os autores introduzem uma decomposição em "calibre temporal" onde o espaço de Lorentz interno é dividido em uma direção temporal e um setor espacial $SO(D)$. Isso envolve parametrizar o vielbein geral via um impulso de Lorentz atuando sobre um vielbein triangular inferior (ADM). Eles derivam a ação no espaço de fase manifestamente invariante sob rotações $SO(D)$. Crucialmente, eles estendem este espaço de fase reintroduzindo os parâmetros de impulso como variáveis canônicas para recuperar a simetria completa de Lorentz local ($SO(1, D)$).

Ao longo da derivação, os autores utilizam o pseudoinverso de Moore-Penrose para lidar com a inversão da relação velocidade-momento, que é singular devido às restrições. Eles também constroem explicitamente os geradores de Castellani para garantir que as transformações de calibre atuem corretamente nas variáveis de lapso e deslocamento, e não apenas nos campos espaciais.

Principais Contribuições e Resultados

• Derivação de Ações no Espaço de Fase: O artigo fornece derivações explícitas tanto das ações no espaço de fase covariante de Lorentz quanto covariante de $SO(D)$. Os autores demonstram que, embora essas ações sejam equivalentes à ação padrão no espaço de fase baseada em métrica na superfície de restrições, elas diferem em sua estrutura off-shell e em sua ação sobre os graus de liberdade de Lorentz internos.
• Identificação de Restrições: As restrições primárias $J^{AB} = \pi^i_{[A}E^B_{i]} = 0$ (covariante de Lorentz) e $J^{ab} = \pi^i_{[a}E^b_{i]} = 0$ (covariante de $SO(D)$) são identificadas como os momentos conjugados aos campos de Lorentz/rotação não dinâmicos. As restrições secundárias são identificadas como a restrição hamiltoniana $R \approx 0$ e a restrição de momento $R_i \approx 0$.
• Álgebra de Restrições: Os autores computam a álgebra completa de restrições de primeira classe. Eles mostram que a álgebra fecha fracamente, reproduzindo a álgebra de difeomorfismos covariante de Lorentz local. Um resultado chave é a construção explícita do gerador de difeomorfismos espaciais $R_i$. Os autores mostram que o gerador ingênuo $\tilde{R}_i$ derivado diretamente da ação falha em gerar difeomorfismos puros no vielbein; ele deve ser modificado por um termo proporcional ao gerador de Lorentz, $R_i = \tilde{R}_i + {}^{(D)}\omega_{iAB}J^{AB}$, para transformar corretamente os índices internos.
• Construção do Gerador de Impulso: Na formulação $SO(D)$, os autores constroem explicitamente o gerador de impulso $K[\vec{\zeta}]$ estendendo o espaço de fase. Eles demonstram que recuperar a simetria completa $SO(1, D)$ exige que o gerador de impulso inclua um termo dependente da rotação de Thomas-Wigner, garantindo a transformação correta do vielbein espacial sob impulsos.
• Fechamento Algébrico: O artigo verifica que a álgebra dos geradores de rotação e impulso fecha fracamente, com o comutador de dois impulsos gerando uma rotação apenas na superfície de restrição primária.

Significado e Alegações
Os autores afirmam que seu trabalho preenche lacunas na literatura existente ao fornecer uma derivação detalhada, passo a passo, que esclarece fontes comuns de confusão relacionadas à formulação hamiltoniana em vielbein. Especificamente, eles destacam:

• A necessidade de modificar o gerador de difeomorfismos espaciais para incluir termos de rotação de Lorentz para atuar corretamente no espaço de fase completo do vielbein.
• A relação explícita entre as formulações baseada em métrica e em vielbein, esclarecendo por que diferentes representantes de restrições são necessários para a transformação correta dos graus de liberdade internos.
• A recuperação da simetria completa de Lorentz local na formulação $SO(D)$ através da construção do gerador de impulso, um passo frequentemente omitido ou tratado de forma incompleta em outros trabalhos.

O artigo conclui que a álgebra de primeira classe derivada corresponde às esperadas $d(d-3)$ dimensões do espaço de fase físico para um campo de spin-2 sem massa, confirmando a consistência da formulação em vielbein com a relatividade geral. O trabalho é apresentado como uma referência pedagógica e técnica destinada a trazer clareza ao formalismo sem introduzir novas aplicações físicas ou propostas experimentais.