Existence of ghost-eliminating constraints in multivielbein theory

Resumo Técnico: Existência de restrições de eliminação de fantasmas em teoria de multivielbein

Definição do Problema
Modelos teóricos envolvendo $N$ campos de spin-2 interagentes, construídos pela adição de potenciais de interação sem derivadas às ações de Einstein–Hilbert para cada métrica, sofrem genericamente de instabilidades de fantasma de Boulware–Deser (BD). Embora tais teorias propaguem os modos esperados de $2 + 5(N-1)$ (um campo massivo e $N-1$ campos de spin-2 massivos) no nível quadrático, os modos fantasma tipicamente reaparecem na ordem não linear. Tentativas anteriores de construir teorias livres de fantasmas com $N \geq 3$ enfrentaram desafios; as interações de multivielbein gerais propostas em [26] mostraram-se inconsistentes em [27], deixando apenas extensões bimétricas pareadas como subconjuntos consistentes conhecidos. Uma teoria de multivielbein específica proposta em [1], utilizando um produto antissimetrizado de vielbeins, foi argumentada como livre de fantasmas sob certas suposições, mas uma demonstração rigorosa da ausência de fantasmas BD via análise de restrições era inexistente. O problema central é verificar se as equações de campo não lineares desta teoria possuem a estrutura de restrição específica necessária para eliminar os campos fantasma e seus momentos conjugados, tornando-os não propagantes.

Metodologia
Os autores realizam uma análise de restrição hamiltoniana da teoria de multivielbein definida por $N$ vielbeins interagentes $e^A_{I\mu}$. A análise procede através das seguintes etapas:

1. Decomposição 3+1: A ação de Einstein–Hilbert e o potencial de interação são decompostos em variáveis 3+1 (lapse $N_I$, shift $N^i_I$, vielbein espacial $E^a_{Ii}$ e parâmetros de boost/rotação). O potencial de interação é mostrado como linear nos lapses e shifts.
2. Restrições Primárias: Os momentos canônicos conjugados às variáveis não dinâmicas (lapses, shifts, boosts e campos de rotação) são identificados como restrições primárias.
3. Restrições Secundárias: A preservação temporal das restrições primárias gera restrições secundárias. Estas incluem as restrições de Hamiltonian e de momento (modificadas pelo potencial de interação) e as restrições de Lorentz (decorrentes da parte antissimétrica das equações de campo).
4. Hierarquia de Restrições: Os autores impõem sistematicamente a preservação temporal das restrições secundárias para gerar restrições terciárias e quaternárias. A análise foca em se essas restrições de ordem superior determinam as variáveis não dinâmicas (fixando o gauge) ou eliminam os graus de liberdade fantasma.
5. Ansatz de Boost Igual: Para computar explicitamente os parênteses de Poisson e demonstrar a existência das restrições necessárias, os autores empregam um Ansatz simplificador onde todos os funções de boost coincidem ($p^a_I \approx p^a$). Isso implica shifts iguais ($N^i_I \approx N^i$) e simplifica a estrutura algébrica das restrições, preservando o mecanismo essencial para a eliminação de fantasmas.

Principais Contribuições e Resultados

• Estrutura das Restrições Secundárias: A análise confirma que as restrições secundárias associadas aos campos de Lorentz (boosts e rotações) podem ser resolvidas para determinar os shifts e os campos de rotação em termos das variáveis dinâmicas e dos lapses. Crucialmente, as restrições secundárias restantes (as restrições Hamiltonianas $C_I \approx 0$) dependem apenas dos campos dinâmicos e dos lapses, permitindo que eliminem os campos fantasma contidos nos vielbeins espaciais.
• Existência de Restrições Terciárias: Um achado crítico é a derivação de restrições terciárias ($C^{(3)}_I \approx 0$). Em teorias genéricas, a derivada temporal das restrições Hamiltonianas poderia determinar os lapses, deixando os momentos fantasma sem restrição. No entanto, os autores demonstram que, nesta teoria, as equações $\dot{C}_I \approx 0$ não podem ser consistentemente usadas para determinar os lapses sem forçar o potencial de interação a desaparecer (desacoplando os campos). Em vez disso, estas equações geram $N-1$ restrições independentes de lapse.
• Eliminação de Momentos Fantasmas: Sob o Ansatz de boost igual, estas restrições terciárias são explicitamente resolvidas para determinar os momentos conjugados aos modos conformais fantasmagóricos ($\pi^\phi_I$). Este passo é essencial, pois eliminar os campos fantasma isoladamente é insuficiente; seus momentos conjugados também devem ser fixados para evitar a propagação.
• Restrições Quaternárias e Fechamento: A preservação temporal das restrições terciárias gera $N-1$ restrições quaternárias ($C^{(4)}_I \approx 0$), que determinam $N-1$ das funções de lapse. A derivada temporal final depende dos multiplicadores de Lagrange restantes, terminando o algoritmo de restrição sem gerar novas restrições.
• Classificação de Restrições: As restrições são classificadas em conjuntos de primeira e segunda classe. A teoria possui 14 restrições de primeira classe associadas aos subgrupos diagonais de difeomorfismos e invariância de Lorentz local. As demais restrições (incluindo as terciárias e quaternárias de eliminação de fantasmas) são de segunda classe.
• Graus de Liberdade Físicos: Contando as dimensões do espaço de fase ($2 \times 16N$) contra as restrições (14 de primeira classe e $22(N-1)$ de segunda classe), os autores calculam o número de modos propagantes:
  $$2 \times (\text{Modos Físicos}) = 32N - 2(14) - 22(N-1) = 2(2 + 5(N-1))$$
  Isso confirma que a teoria propaga exatamente $2 + 5(N-1)$ modos, correspondentes a um campo massivo e $N-1$ campos de spin-2 massivos, livres de fantasmas de Boulware–Deser.

Significância e Alegações
O artigo afirma fornecer a primeira análise explícita de restrição hamiltoniana verificando a natureza livre de fantasmas da teoria de multivielbein proposta em [1]. Ao derivar explicitamente as restrições terciárias e quaternárias, os autores confirmam as suposições feitas na proposta original e demonstram que a teoria é consistente no nível não linear. Os resultados alinham-se com análises quadráticas anteriores [31] e estabelecem que a teoria descreve uma teoria não linear de um campo de spin-2 massless e $N-1$ campos de spin-2 massivos.

Os autores permanecem modestos quanto ao escopo de sua prova. Eles declaram explicitamente que a derivação das restrições terciárias depende do "Ansatz de boost igual". Embora argumentem que este Ansatz captura a estrutura de restrição essencial e inclui soluções fisicamente relevantes (como cosmologias homogêneas e buracos negros multidiagonais), uma prova completa para o caso geral sem esta restrição ainda precisa ser fornecida em trabalhos futuros. No entanto, a ausência estabelecida de modos fantasma sob este Ansatz constitui um passo significativo em direção à demonstração da consistência total da teoria de multivielbein.