Generalised Symmetries and Manifest Duality II: Curved Spacetime

Resumo Técnico: Simetrias Generalizadas e Dualidade Manifesta II: Espaço-Tempo Curvo

Enunciado do Problema
O artigo aborda a extensão de uma formulação baseada em potenciais para teorias de gauge auto-duais e com simetria de dualidade, previamente desenvolvida para o espaço plano na Parte I [1], para o espaço-tempo curvo. Embora o formalismo de Sen [2–5] descreva com sucesso campos auto-duais em fundos curvos usando um mapa linear dependente da métrica, ele depende de variáveis baseadas em fluxo e de uma transformação de difeomorfismo não padrão para o fluxo. Os autores visam construir uma ação em espaço-tempo curvo que retenha as vantagens da abordagem baseada em potenciais — especificamente, o desacoplamento direto do setor de "sombra" (shadow) e o uso de potenciais de gauge padrão — enquanto incorpora corretamente o acoplamento gravitacional e reproduz anomalias quânticas e resultados holográficos conhecidos. Um desafio fundamental é garantir que o acoplamento não convencional à gravidade, mediado por um mapa dependente da métrica, resulte nas equações de movimento físicas corretas e nas estruturas de anomalia sem exigir termos de fronteira ad hoc.

Metodologia
Os autores generalizam a ação pai de espaço plano para o espaço-tempo curvo retendo o mesmo mapa linear dependente da métrica $M$ usado no formalismo de Sen. A ação é construída para um espaço-tempo lorentziano de $(4n+2)$ dimensões com métrica $g_{\mu\nu}$ e uma métrica de referência (inicialmente Minkowski $\eta$, posteriormente generalizada para um $\hat{g}$ arbitrário).

1. Construção da Ação: A ação pai envolve um potencial de gauge $C$ (uma $2n$-forma), um campo de sombra $B$ (uma $2n$-forma) e um fluxo auxiliar auto-dual $\Sigma$. A força de campo física é definida via uma combinação de $C$ e $\Sigma$ torcidos pelo operador Hodge da métrica de referência. O mapa $M$ mapeia formas auto-duais de $\eta$ para formas anti-auto-duais de $\eta$, de tal modo que a combinação $F - M(F)$ é $g$-auto-dual.
2. Fixação de Gauge: A ação possui uma simetria de gauge de forma superior $h$. Os autores demonstram que fixar essa simetria de duas maneiras distintas reproduz ou a ação de Sen baseada em fluxo ou uma nova ação baseada em potenciais onde o setor de sombra se desacopla diretamente ao nível da ação.
3. Redução Dimensional e Generalização: O arcabouço é estendido para $D=4n$ dimensões via redução toroidal, resultando em uma teoria manifestamente simétrica sob dualidade elétrica-magnética. Além disso, a construção é generalizada para dimensões $D$ arbitrárias usando díades de poliformas, unificando a descrição de teorias de gauge abelianas com simetria de dualidade.
4. Construção do Mapa Explícito: Os autores derivam formas algébricas explícitas para o mapa gravitacional $M$ em termos da métrica de referência e dos operadores Hodge físicos tanto para o caso de dimensões toroidalmente reduzidas ($D=4n$) quanto para o caso geral de poliformas.
5. Verificações Físicas: O formalismo é testado contra dois cenários físicos não triviais:
   • Anomalias Gravitacionais: Os autores computam as anomalias gravitacionais para o bóson quiral bidimensional e a cinco-forma auto-dual de dez dimensões diretamente dentro do formalismo baseado em potenciais, sem recorrer à fermionização.
   • Holografia: A ação on-shell da supergravidade Tipo IIB em $AdS_5 \times S^5$ é avaliada para verificar a consistência com requisitos holográficos.

Principais Contribuições e Resultados

• Formulação de Potencial em Espaço Curvo: O artigo estende com sucesso a formulação baseada em potenciais para o espaço-tempo curvo. É mostrado que o setor de sombra se desacopla completamente do setor físico, e as equações de movimento físicas reproduzem a forma covariante esperada para uma força de campo $g$-auto-dual.
• Invariância de Difeomorfismo: Os autores estabelecem que a ação é invariante por difeomorfismo. Diferentemente da formulação de Sen, onde o fluxo possui propriedades de transformação não padrão, a formulação baseada em potenciais permite que fontes externas se acoplem da maneira familiar, com os campos transformando-se como formas diferenciais padrão. O acoplamento não convencional à gravidade é codificado inteiramente através do mapa $M$.
• Mapas Gravitacionais Explícitos: O artigo fornece as primeiras expressões explícitas para o mapa gravitacional $M$ no contexto de teorias toroidalmente reduzidas ($D=4n$) e formulações gerais de poliformas, que estavam ausentes na literatura. Esses mapas são expressos diretamente em termos dos operadores Hodge físico e de referência e são aplicáveis tanto ao novo formalismo quanto ao de Sen.
• Reprodução de Anomalias:
  • Para o bóson quiral 2D, o formalismo reproduz a identidade de Ward do tensor de energia-momento anômalo sem fermionização.
  • Para a cinco-forma auto-dual de 10D, os autores reproduzem a célebre anomalia gravitacional de Álvarez-Gaumé–Witten. Isso serve como um rigoroso teste quântico, confirmando que o acoplamento dependente da métrica não convencional captura corretamente a resposta gravitacional de campos auto-duais.
• Consistência Holográfica em $AdS_5 \times S^5$: Um resultado significativo é a avaliação da ação on-shell da supergravidade Tipo IIB. Em pseudo-ações convencionais e nas ações de Sen baseadas em fluxo, a ação on-shell no bulk desaparece, necessitando da adição manual de um termo de fronteira para coincidir com as expectativas holográficas. Em contraste, a formulação baseada em potenciais gera naturalmente uma contribuição de fronteira não nula on-shell. Esta contribuição surge do emparelhamento das partes elétrica e magnética do fluxo auto-dual e coincide com o termo de volume holográfico requerido sem adicionar quaisquer termos de fronteira suplementares à mão.
• Identificação Local com Potenciais RR: Os autores estabelecem uma identificação local on-shell entre o potencial $C$ em seu formalismo e o padrão potencial RR quatro-forma $C^{(4)}$ da supergravidade Tipo IIB de livros-texto, mostrando que eles diferem apenas por uma transformação de gauge e um resíduo anti-auto-dual que pode ser eliminado por gauge.

Significância e Alegações
O artigo alega que a formulação baseada em potenciais oferece uma abordagem mais sinérgica para a holografia comparada às descrições existentes baseadas em fluxo. O fato de a contribuição de fronteira não nula necessária para $AdS_5 \times S^5$ emergir automaticamente da própria ação — em vez de ser imposta à mão — sugere que a formulação de potencial está mais naturalmente alinhada com os requisitos da correspondência AdS/CFT.

Além disso, o trabalho fornece um arcabouço unificado para teorias com simetria de dualidade em dimensões arbitrárias, incluindo mapas gravitacionais explícitos que anteriormente eram ausentes na literatura. A reprodução bem-sucedida de anomalias gravitacionais sem fermionização valida a consistência quântica da construção em espaço curvo.

Os autores concluem que, embora a equivalência local com os potenciais RR padrão seja estabelecida, os aspectos globais (transformações de gauge grandes, quantização de fluxo) permanecem um problema em aberto. Eles também identificam a origem teórica (stringy) do formalismo como uma direção primária para trabalhos futuros, observando que o formalismo de Sen possui uma relação natural com a teoria de campo de cordas, e que uma derivação semelhante para esta ação pai baseada em potenciais seria altamente desejável.