Asymptotic boundary structure of Lagrangian gauge theories

Resumo Técnico: Estrutura de Fronteira Assintótica de Teorias de Gauge Lagrangianas

Enunciado do Problema
O artigo aborda a relação estrutural entre teorias de gauge locais definidas em espaços-tempos com fronteiras e as teorias de gauge induzidas nessas fronteiras. Embora a correspondência entre teorias de gauge no bulk (volume) e teorias de fronteira seja bem compreendida para fronteiras finitas (frequentemente via os formalismos Batalin-Vilkovisky (BV) e Batalin-Fradkin-Vilkovisky (BFV), particularmente no contexto de modelos sigma AKSZ), a extensão para fronteiras assintóticas (fronteiras no infinito, como a infinito nulo no espaço de Minkowski ou a fronteira conformal em AdS) apresenta desafios específicos para sistemas lagrangianos.

A dificuldade central surge porque as estruturas pré-simpléticas que codificam a ação lagrangiana no bulk tipicamente divergem polinomialmente na fronteira assintótica. Consequentemente, um pullback ingênuo dessas estruturas para a fronteira é mal definido, impedindo uma derivação direta da teoria de fronteira ou de sua formulação BV. Os autores buscam um método geomético sistemático para extrair estruturas de fronteira bem definidas a partir desses dados divergentes do bulk, especificamente para teorias de gauge lagrangianas formuladas dentro do framework de Equações Diferenciais Parciais de Gauge (gPDE).

Metodologia
Os autores empregam o formalismo de gPDE (Equações Diferenciais Parciais de Gauge), que descreve teorias de gauge como Q-fibrados sobre o complexo de de Rham do espaço-tempo. Esta abordagem generaliza o modelo sigma AKSZ para teorias não topológicas e não lagrangianas, incorporando naturalmente a estrutura BV.

A metodologia procede através dos seguintes passos:

1. Compactificação e Q-Fronteiras: Os autores introduzem a noção de uma gPDE com fronteiras assintóticas. Isso envolve visualizar a fronteira assintótica não meramente como um limite, mas como uma subvariedade de um espaço-tempo compactificado. Eles definem "Q-fronteiras" em variedades graduadas, onde o campo vetorial homológico $Q$ é tangente à fronteira, e a fronteira é definida por uma função $\Omega$ (e sua imagem $Q$, $\xi = Q\Omega$) que se anula.
2. Renormalização de Coclos Divergentes: A inovação técnica central é a construção de um mapa que toma um Q-coclo no bulk que diverge polinomialmente na fronteira (da forma $\Omega^p v_{div}$) e extrai um par de Q-coclos bem definidos na fronteia:
   • Um coclo renormalizado ($v_R$) com o mesmo grau de ghost do coclo original do bulk.
   • Um coclo de anomalia ($v_A$) com um grau de ghost inferior.
     Este processo utiliza um campo vetorial $d$ (de grau de ghost $-1$) satisfazendo $d\Omega=0$ e $d\xi=1$, e um campo vetorial derivado $\nabla = [Q, d]$. Os mapas $R$ (renormalização) e $A$ (anomalia) são definidos via derivadas de Lie ao longo de $\nabla$ e pullback para a fronteira.
3. Aplicação a Estruturas Pré-simpléticas: Os autores aplicam este mapa às estruturas pré-simpléticas compatíveis de gPDEs lagrangianas. Como a forma pré-simplética do bulk $\omega$ possui grau de ghost $\dim(X)-1$, as estruturas de fronteira induzidas são:
   • $\omega_R$: Uma estrutura pré-simplética de grau $\dim(\partial X)$, interpretada como definindo um sistema BFV (o espaço de fase de fronteira renormalizado).
   • $\omega_A$: Uma estrutura pré-simplética de grau $\dim(\partial X)-1$, interpretada como definindo um sistema BV na fronteira, associado à anomalia de Weyl holográfica.

Principais Contribuições e Resultados

1. Formalismo Geral para Fronteiras Assintóticas: O artigo estabelece um framework geométrico rigoroso para "gPDEs com fronteiras assintóticas". Demonstra que qualquer Q-coclo no bulk que diverge polinomialmente na fronteira gera um par de Q-coclos compatíveis no sistema de fronteira. Isso generaliza o conceito de mapas de resíduo de la geometria-b para o contexto de teorias de gauge e cohomologia BRST.
2. Derivação de Ações de Fronteira: Os autores derivam explicitamente as ações de fronteira determinadas pela estrutura de coclo de anomalia ($\omega_A$). Eles mostram que, para espaços assintoticamente AdS, esta ação coincide com a conhecida anomalia de Weyl holográfica.
3. Exemplos Explícitos em AdS:
   • Campos Escalares: Para um campo escalar com massa e peso conformal específicos, a ação de anomalia produz a ação de primeira ordem para campos singleton de ordem superior na fronteira, com equações de movimento $\square^\ell \phi = 0$.
   • Campos de Maxwell: A construção recupera a formulação BFV padrão para a estrutura renormalizada e gera ações conformemente invariantes de ordem superior para a estrutura de anomalia (por exemplo, a equação de Paneitz para $\ell=2$).
4. Resultos Inovadores em Espaço de Minkowski:
   • O artigo preenche uma lacuna na literatura ao aplicar este framework ao espaço de Minkowski e sua infinito nulo.
   • Para campos escalares e de Maxwell, os autores derivam a descrição completa da gPDE da estrutura de fronteira no infinito nulo.
   • Constroem uma torre infinita de teorias manifestamente invariantes de Carroll conformais na fronteira. Estas generalizam os "limites magnéticos" de campos escalares e de Maxwell.
   • Especificamente, para o campo de Maxwell em $d=4$ (dimensão da fronteira), a ação de anomalia reproduz o limite magnético da teoria de Maxwell. Para dimensões superiores, produz novos operadores diferenciais e ações conformemente invariantes (por exemplo, o funcional de energia de Yang-Mills em $d=6$ no limite abeliano).

Significância e Alegações
O artigo afirma que o formalismo proposto fornece uma ferramenta geométrica invariante e sistemática para estudar a estrutura de fronteira de teorias de gauge lagrangianas em espaços-tempos assintoticamente planos e AdS.

• Unificação: Unifica o tratamento de estruturas de fronteira tanto para espaços AdS quanto para Minkowski, tratando a fronteira assintótica como uma Q-subvariedade de um espaço compactificado.
• Resolução de Divergências: Resolve a questão das estruturas pré-simpléticas divergentes ao mostrar que a divergência se divide naturalmente em uma parte renormalizada (definindo o espaço de fase de fronteira padrão) e uma parte de anomalia (definindo uma nova ação de fronteira não trivial).
• Descoberta de Novas Teorias: Os autores destacam que, enquanto os resultados de AdS alinham-se com as anomalias holográficas conhecidas, a aplicação ao espaço de Minkowski revela uma família anteriormente desconhecida de teorias invariantes de Carroll. Estas teorias são derivadas diretamente do Lagrangian do bulk via o mapa de anomalia, em vez de serem postuladas.
• Escopo: Os autores observam modestamente que, embora os exemplos explícitos sejam restritos a backgrounds de curvatura constante (AdS plano e Minkowski), a abordagem geral é aplicável à gravidade e campos de gauge de pleno direito em backgrounds curvos, embora a análise desses casos específicos seja deixada para trabalhos futuros.

Em resumo, o artigo fornece uma maquinaria matemática robusta para extrair teorias de gauge de fronteira a partir de sistemas lagrangianos no bulk, recuperando com sucesso anomalias holográficas conhecidas em AdS e descobrindo novas dinâmicas de fronteira conformemente invariantes no espaço de Minkowski.