Towards a Nicolai map for supergravity

1. O Problema

O objetivo central do trabalho é investigar a existência e a construção de um Mapa de Nicolai para a supergravidade mínima em quatro dimensões.

• Contexto: O Mapa de Nicolai é uma transformação de campo não-linear e não-local que mapeia uma teoria supersimétrica interagentes para uma teoria bosônica efetiva não-local livre (ou com acoplamento zero). Isso permitiria calcular funções de correlação quânticas da teoria supersimétrica inteiramente em termos de correladores de uma teoria bosônica livre, simplificando drasticamente a quantização.
• Desafio Específico: Enquanto tal mapa é bem estabelecido para teorias com supersimetria global (como o modelo Wess-Zumino e Super-Yang-Mills em dimensões críticas), a construção para supergravidade (onde a supersimetria é local) enfrenta obstáculos fundamentais. A presença de interações gravitacionais e a natureza da invariância de gauge local complicam a aplicação dos métodos padrão.

2. Metodologia

Os autores utilizam uma abordagem perturbativa em torno do espaço-tempo de Minkowski, expandindo em potências do acoplamento gravitacional ($\kappa$) e da constante de Planck reduzida ($\hbar$). A metodologia segue os seguintes passos:

1. Formulação Off-Shell: Tentativa inicial de construir o mapa utilizando a supersimetria off-shell (fora da casca de massa), que inclui campos auxiliares ($S, P, A_\mu$).
   • Utilizam o operador de fluxo de acoplamento ($R_g$) derivado da variação supersimétrica da ação.
   • Realizam a fixação de gauge (gauge de De Donder/harmônico) e quantização BRST para lidar com as simetrias locais (difeomorfismos, Lorentz local e supersimetria local).
   • Introduzem campos fantasmas e campos auxiliares de Nakanishi-Lautrup.
2. Análise de Obstruções: Investigam se o operador de fluxo satisfaz as condições necessárias para gerar o mapa de Nicolai, especificamente a condição de ação livre (free-action condition) e a condição de correspondência de determinante (determinant-matching condition).
3. Abordagem On-Shell: Quando a abordagem off-shell falha, os autores abandonam os campos auxiliares e tentam construir o mapa usando apenas a supersimetria on-shell, seguindo o exemplo bem-sucedido da Super-Yang-Mills.
4. Construção "Brute-Force": Caso a derivação direta a partir de uma variação supersimétrica falhe, eles propõem um ansatz geral para o mapa com coeficientes livres e tentam ajustá-los para satisfazer as condições físicas (como a reprodução da interação autointeragente do gráviton).

3. Principais Contribuições e Resultados

O artigo identifica três obstáculos principais que impedem a construção de um Mapa de Nicolai completo e perturbativo para a supergravidade mínima, e propõe soluções parciais:

A. Obstáculos na Construção Off-Shell

1. Densidade vs. Escalar: A ação da supergravidade off-shell é uma densidade de superespaço, não um escalar. Consequentemente, a lagrangiana não pode ser escrita inteiramente como uma variação supersimétrica (supervariation). Isso gera um termo multiplicativo adicional na equação de fluxo, tornando o mapa apenas "parcial" e introduzindo um fator de medida dependente do acoplamento na integral de caminho.
2. Não Comutatividade BRST: Na supergravidade, a supersimetria local não comuta com as variações BRST (usadas na fixação de gauge). Isso introduz outro termo multiplicativo na equação de fluxo, impedindo que o operador de fluxo seja puramente diferencial.
3. Falha do Operador de Euler: Ao tentar expandir perturbativamente o operador de fluxo rescalado, os autores encontram que o termo de ordem zero não corresponde ao operador de Euler ($E = \int \phi \frac{\delta}{\delta \phi}$), que é necessário para a expansão perturbativa. A falha é proporcional ao traço da flutuação da métrica ($\phi = \eta^{\mu\nu}\phi_{\mu\nu}$). Isso sugere que a versão unimodular da supergravidade (onde o determinante da métrica é fixo) poderia contornar este obstáculo.

B. Falha da Abordagem On-Shell

Ao tentar construir o mapa usando apenas supersimetria on-shell (sem campos auxiliares), os autores constatam que a interação autointeragente do gráviton (o termo cúbico na lagrangiana de Einstein-Hilbert) não pode ser gerada como uma supervariação de um termo de ordem inferior. Isso contrasta com a Super-Yang-Mills, onde tal construção é possível. Portanto, a construção on-shell direta também falha.

C. O Mapa de Nicolai "Brute-Force" (Resultado Principal)

Apesar das falhas nas construções teóricas rigorosas, os autores obtêm um resultado prático:

• Eles constroem um Mapa de Nicolai de primeira ordem (em $\kappa$) baseado em um ansatz geral com parâmetros livres.
• Ao impor a condição de ação livre (reproduzir a parte cúbica da ação de Einstein-Hilbert a partir da ação livre quadrática transformada), eles encontram uma família de mapas de quatro parâmetros que satisfazem a condição.
• O mapa resultante é dado por:
  $$T_\kappa \phi_{ab}(x) = \phi_{ab}(x) - \kappa \int d^4y \, \Box^{-1}(x-y) \left[ -\frac{1}{2}\Box \phi \phi_{ab} + \frac{1}{2}\Box \phi \cdot \phi_{ab} + \partial_c \partial_d \phi^{cd} \phi_{ab} - 2 \partial_c \partial_d \phi_{ac} \phi_{bd} \right](y) + O(\kappa^2)$$
  (onde $\phi \cdot \phi_{ab} = \phi_{ac}\phi^c_b$).

D. Condição de Determinante

Os autores analisam a condição de correspondência de determinante (nível de um loop, ordem $\hbar$). Eles mostram que o determinante jacobiano do mapa clássico gera termos singulares que devem cancelar com o determinante do grávitino. Embora o termo de ordem $\kappa$ no determinante fermiónico seja zero, a igualdade com o Jacobiano exige que os parâmetros livres restantes do ansatz (os coeficientes $\lambda_9, \dots, \lambda_{12}$) sejam ajustados. A determinação completa desses parâmetros requer uma análise de segunda ordem em $\kappa$, que está além do escopo deste trabalho.

4. Significado e Conclusões

• Obstrução Fundamental: O trabalho demonstra que a construção perturbativa padrão de um Mapa de Nicolai para supergravidade é obstruída por características intrínsecas da teoria (densidade de superespaço e não-comutatividade de gauge).
• Sugestão de Unimodularidade: A falha estar ligada ao traço da métrica sugere fortemente que a supergravidade unimodular (onde o volume é fixo) pode ser o cenário correto para a existência de um Mapa de Nicolai perturbativo bem-definido.
• Viabilidade Parcial: Mesmo sem uma derivação teórica completa a partir de princípios de supersimetria, é possível forçar a existência de um mapa que satisfaz a condição de ação livre. Isso abre caminho para cálculos de correlações em supergravidade usando técnicas de teoria bosônica, embora a validação completa (condição de determinante) ainda esteja pendente.
• Futuro: O trabalho estabelece a base para extensões futuras, incluindo a verificação da condição de determinante em nível quântico, a aplicação à supergravidade unimodular e a investigação das consequências de mapas parciais em teorias fora das dimensões críticas.

Em suma, o artigo é um estudo de viabilidade rigoroso que, embora não consiga provar a existência de um mapa de Nicolai completo para a supergravidade padrão, fornece a primeira construção explícita de um mapa de primeira ordem que funciona para a dinâmica clássica, apontando para a necessidade de reformulações da teoria (como a versão unimodular) para uma solução completa.