$S$-duality, boundary states, and higher-form symmetries on ALE spaces

Resumo Técnico: Dualidade-S, estados de fronteira e simetrias de forma superior em espaços ALE

Declaração do Problema
O artigo aborda o comportamento da dualidade-S abeliana na teoria de Maxwell definida em espaços não compactos, assintoticamente localmente euclidianos (ALE) do tipo A ($A_{N-1}$). Embora a dualidade-S em variedades fechadas de dimensão 4 seja bem compreendida como uma transformação da função de partição em uma forma modular (com pesos determinados pela topologia), trabalhos anteriores [23] notaram que o integral de caminho de Maxwell em um espaço ALE não se transforma como uma forma modular escalar. Essa aparente falha de modularidade surge porque o retículo de homologia de um espaço ALE (o retículo de raízes $Q$) não é autodual; seu dual é o retículo de pesos $P$. O problema central é determinar se isso sinaliza uma ruptura da dualidade-S ou se o integral de caminho em um espaço com uma fronteira assintótica requer uma interpretação mais refinada do que uma simples função de partição escalar.

Metodologia
O autor emprega uma combinação de cálculos explícitos de integral de caminho, teoria de retículos e os princípios de "corte e colagem" da teoria quântica de campos.

1. Decomposição do Integral de Caminho: O integral de caminho de Maxwell em um espaço ALE $A_{N-1}$ é avaliado somando-se sobre setores de fluxo topológico suportados nos 2-ciclos excepcionais compactos. A ação é expressa em termos da matriz de Cartan inversa da álgebra de Lie $A_{N-1}$.
2. Interpretação do Estado de Fronteira: Reconhecendo que o espaço ALE possui uma fronteira assintótica do tipo espaço-lente ($S^3/\mathbb{Z}_N$), o integral de caminho é interpretado não como um número, mas como um estado $|\Psi(\tau)\rangle$ no espaço de Hilbert associado à fronteira. Esse estado é expandido em uma base rotulada pelos setores de holonomia plana $U(1)$ na fronteira, que correspondem aos quocientes do retículo de raízes no retículo de pesos ($P/Q \cong \mathbb{Z}_N$).
3. Análise Modular: As propriedades de transformação dos resultantes "blocos de função theta" ($\Theta_\mu$) sob o grupo modular $SL(2, \mathbb{Z})$ (gerado por $S$ e $T$) são derivadas usando ressonância de Poisson.
4. Construção de Colagem: Para testar a hipótese do estado de fronteira, o autor cola explicitamente um espaço Eguchi–Hanson (espaço ALE $A_1$) a sua própria cópia com orientação invertida ao longo de sua fronteira comum $S^3/\mathbb{Z}_2$. A variedade resultante é difeomorfa a $S^2 \times S^2$.
5. Simetrias de Forma Superior: A análise é refinada acoplando a teoria a fundos de simetria de 1-forma elétrica e magnética ($B_e, B_m$). As leis de transformação dos blocos theta na presença desses fundos são derivadas, e as gaugings discretas $\mathbb{Z}_k$ dessas simetrias são investigadas.

Principais Contribuições e Resultados

• Covariância Modular Vetorial: O resultado primário é que o integral de caminho de Maxwell em um espaço ALE não é uma função de partição escalar, mas um estado de fronteira vetorial. O integral de caminho decompõe-se em $N$ blocos de função theta, $\Theta_\mu(\tau)$, rotulados pelos setores discretos de holonomia $\mu \in P/Q \cong \mathbb{Z}_N$. Sob a dualidade-S, esses blocos não se transformam independentemente; em vez disso, eles se misturam via uma transformada de Fourier finita (transformada de Fourier discreta) atuando sobre os rótulos dos setores. O objeto completo transforma-se como uma forma modular vetorial, restaurando a covariância da dualidade-S.
  $$|\Psi(\tau)\rangle = \sum_{\mu \in P/Q} \Theta_\mu(\tau) |\mu\rangle$$
  A aparente falha de modularidade relatada em [23] é reinterpretada como a necessidade de tratar o integral de caminho como um estado em um espaço de Hilbert, e não como um escalar.

• Colagem e Reprodução da Física de Variedades Fechadas: O artigo demonstra que colar um espaço ALE à sua reversão de orientação reproduz a função de partição padrão de Maxwell na variedade fechada resultante. Especificamente, para o espaço Eguchi–Hanson ($N=2$), colar à sua cópia com orientação invertida produz uma variedade difeomorfa a $S^2 \times S^2$. O produto interno dos estados de fronteira preparados pelas duas metades, $\langle \Psi_L | \Psi_R \rangle$, reproduz exatamente a função de partição escalar $Z_{S^2 \times S^2}$, incluindo os pesos modulares corretos e a estrutura de soma de fluxos. Isso estabelece os espaços ALE como "blocos de construção quirais" para a teoria de Maxwell 4D, análogos aos blocos conformes quirais na CFT 2D.

• Simetrias de 1-Forma e Fibrados de Linha: Quando fundos de simetria de 1-forma elétrica e magnética são ativados, os blocos theta $\Theta_\mu$ deixam de ser funções ordinárias no toro de fundo e tornam-se seções de um fibrado de linha. Essa estrutura reflete a anomalia mista de 1-forma elétrica-magnética. As transformações modulares ($S$ e $T$) atuam tanto nos rótulos dos setores quanto nos campos de fundo, girando os fundos elétricos e magnéticos um no outro. O artigo deriva as leis de transformação específicas, incluindo fases dependentes do fundo que manifestam a anomalia.

• Gauging Discreto: O autor investiga o gauging de subgrupos discretos $\mathbb{Z}_k$ das simetrias de 1-forma. Para $k$ ímpar, os setores de fundo discretos nas duas metades ALE fornecem uma parametrização completa dos fundos $\mathbb{Z}_k$ na variedade colada $S^2 \times S^2$. A colagem desses estados de fronteira gaugados reproduz a função de partição gaugada $\mathbb{Z}_k$ esperada na variedade fechada. Para $k$ par, uma sutileza surge devido à torção na cohomologia da fronteira ($H^2(S^3/\mathbb{Z}_2, \mathbb{Z}_k) \cong \mathbb{Z}_2$), o que requer uma prescrição de colagem refinada.

Significado
O artigo afirma resolver o enigma da dualidade-S em espaços ALE ao deslocar a perspectiva de funções de partição escalares para estados de fronteira. Ele postula que os espaços ALE servem como laboratórios locais controlados onde a interação entre geometria, setores de fluxo e dualidade pode ser estudada. O trabalho destaca que:

1. A Dualidade é Preservada: A dualidade-S não é violada em fundos ALE; ao contrário, o objeto correto é uma forma modular vetorial representando um estado de fronteira.
2. Analogia Estrutural: A construção traça um paralelo estrutural entre a teoria de Maxwell 4D em espaços ALE e a Teoria de Campo Conforme Racional (CFT) 2D, onde blocos quirais individuais não são invariantes modulares, mas seu emparelhamento produz uma função de partição invariante.
3. Manifestação de Anomalia: A estrutura de fibrado de linha dos blocos theta na presença de fundos de 1-forma fornece uma realização concreta de anomalias mistas no contexto de estados de fronteira.

O artigo não propõe novas aplicações experimentais ou implicações futuras além do arcabouço teórico da teoria de gauge em variedades não compactas e da consistência da dualidade-S na presença de fronteiras e simetrias de forma superior.