Flat Gauging of Continuous (Non-invertible) Symmetries and Non-compact BF SymTFT for Compact Boson

Resumo Técnico: Calibragem Plana de Simetrias Contínuas (Não-invertíveis) e BF SymTFT Não-compacto para Bósons Compactos

Enunciado do Problema
O artigo aborda a operação de "calibragem plana" (ou orbifolding contínuo) em teorias de campo conformais (CFTs) bidimensionais. Diferente da calibragem dinâmica padrão, a calibragem plana envolve somar apenas configurações de campos de calibre planos (redes de defeitos topológicos) em vez de integrar sobre o espaço total de campos de calibre. Embora bem compreendida para grupos finitos, a aplicação a simetrias contínuas — particularmente simetrias não-invertíveis contínuas — apresenta sutilezas. Especificamente, a função de partição sobre o espaço de módulos de conexões planas pode ser descontínua ou possuir loci de medida zero (como pontos fixos de simetrias) que carregam dados físicos essenciais. A integração ingênua sobre esses espaços de módulos corre o risco de descartar essas contribuições, levando a teorias calibradas incorretas. Os autores investigam essas questões usando o bóson compacto 2D como um laboratório primário, focando na interação entre as simetrias de momento ($U(1)_M$) e de enrolamento ($U(1)_W$), seus anomalias mistas e os resultantes limites não-compactos.

Metodologia
Os autores empregam uma combinação de cálculos explícitos da função de partição de torus, análise de operadores de vértice e o formalismo de Teoria de Campo Topológica de Simetria (SymTFT).

1. Funções de Partição com Backgrounds: Eles constroem a função de partição de torus para um bóson compacto acoplado a backgrounds gerais de $U(1)_M \times U(1)_W$ planos. Eles contabilizam explicitamente a anomalia de 't Hooft mista entre essas simetrias, mostrando que a função de partição é uma seção de um fibrado de linha sobre o espaço de módulos de conexões planas, em vez de uma função de valor único.
2. Procedimento de Calibragem Plana: Eles realizam a calibragem plana integrando sobre as holonomias do background de simetria. Para lidar com a anomalia, eles introduzem contratermos locais específicos (fases topológicas) para tornar o integrando de valor único antes da integração.
3. Correspondência de Operadores de Vértice: Para confirmar a natureza das teorias resultantes, eles analisam o espectro de operadores de vértice e suas Expansões de Produto de Operadores (OPEs), comparando-os com álgebras conhecidas de bósons não-compactos.
4. Formulação SymTFT: Eles interpretam os resultados através da lente de uma SymTFT 3D. A teoria no bulk é identificada como uma teoria BF não-compacta com campos de calibre com valores em $\mathbb{R}$. Diferentes teorias físicas (bósons compactos em vários raios, bósons não-compactos) são realizadas como diferentes condições de contorno topológicas (álgebras lagrangianas) desta teoria de bulk.
5. Análise de Ramo de Orbifold: Eles estendem a análise para o ramo de orbifold (calibragem da simetria de reflexão $\mathbb{Z}_2$), onde as simetrias contínuas tornam-se não-invertíveis. Eles comparam o orbifolding finito de simetrias não-invertíveis com o limite contínuo, destacando discrepâncias decorrentes de loci fixos de medida zero.

Contribuições Principais e Resultados

• Descompactificação via Calibragem Plana: Os autores demonstram que a calibragem plana da simetria de momento $U(1)_M$ ou da simetria de enrolamento $U(1)_W$ de um bósio compacto descompactifica a teoria.

  • Quando $U(1)_M$ é calibrada de forma plana na presença de um background $U(1)_W$, a simetria discreta dual $\mathbb{Z}$ (par de Fourier de $U(1)_M$) combina-se com o background $U(1)_W$ restante. Devido à anomalia mista, estas combinam-se em um único background de simetria não-compacta $\mathbb{R}_W$.
  • A função de partição resultante coincide com a de um bóson livre não-compacto. Os operadores de vértice confirmam que a rede de enrolamento discreta é substituída por um espectro de momento contínuo.
  • Isso estabelece um mecanismo preciso onde a calibragem plana de uma simetria contínua transforma uma teoria compacta em uma não-compacta, onde a simetria dual torna-se a simetria de translação do campo não-compacto.

• Calibragem de SO(3) no Raio Auto-Dual: No raio auto-dual ($r = 1/\sqrt{2}$), o bóson compacto é equivalente ao modelo WZW $\widehat{su}(2)_1$ com simetria aumentada $(SU(2)_L \times SU(2)_R)/\mathbb{Z}_2$. Os autores revisitam a calibragem plana do subgrupo diagonal $SO(3)$.

  • Eles separam o cálculo em setores torcidos (twisted) e não-torcidos (untwisted).
  • A contribuição do setor torcido assemelha-se ao bóson não-compacto orbifoldado ($\mathbb{R}/\mathbb{Z}_2$), mas a teoria completa difere devido ao setor não-torcido.
  • A teoria resultante situa-se fora do espaço de módulos $c=1$ padrão de teorias de círculo e orbifold, confirmando que a calibragem plana pode gerar novas CFTs genuínas (relacionadas aos limites de Runkel-Watts e Roggenkamp-Wendland).

• Simetrias Não-Invertíveis Contínuas no Ramo de Orbifold: No ramo de orbifold, as simetrias contínuas $U(1)$ tornam-se famílias contínuas de defeitos não-invertíveis.

  • Os autores constroem funções de partição para redes de defeitos não-invertíveis gerais.
  • Eles identificam uma sutileza crítica: uma integral contínua ingênua sobre as linhas não-invertíveis (substituindo somas finitas) descarta contribuições de loci fixos de medida zero (ex: a origem em $\mathbb{R}/\mathbb{Z}_2$).
  • Eles mostram que a ordem das operações importa: calibrar $U(1)_M$ primeiro e depois a reflexão $\mathbb{Z}_2$ produz a função de partição de orbifold não-compacto correta (com um único ponto fixo). No entanto, partindo do ramo de orbifold e integrando ingenuamente a simetria contínua não-invertível, obtém-se um resultado incorreto que perde as contribuições de osciladores do ponto fixo.
  • Eles propõem um esquema de regularização envolvendo um parâmetro $\kappa$ para lidar com esses loci de medida zero, observando que diferentes valores de $\kappa$ reproduzem diferentes limites físicos (calibragem finita vs. orbifold não-compacto), deixando a definição intrínseca da medida contínua como uma questão aberta.

• Descrição SymTFT: Os autores formulam a SymTFT para $D$ bósons compactos como uma teoria BF não-compacta com campos de calibre com valores em $\mathbb{R}$.

  • A geometria do espaço alvo (métrica $G_{IJ}$ e campo B $B_{IJ}$) é codificada na escolha da álgebra lagrangiana (condição de contorno topológica) da teoria de bulk BF.
  • O overlap entre o estado de contorno topológico (codificando a geometria) e o estado de contorno físico reproduz a função de partição de Narain.
  • A redundância na parametrização desses estados de contorno produz naturalmente o espaço de módulos de Narain e a ação do grupo de dualidade T $O(D, D; \mathbb{Z})$.
  • A descompactificação é interpretada como a mudança da condição de contorno topológica para uma que condensa uma família contínua de operadores de linha.

Significância
O artigo fornece um arcabouço rigoroso para entender a calibragem plana de simetrias contínuas, esclarecendo como anomalias mistas impulsionam a transição de teorias compactas para não-compactas. Destaca que a calibragem plana não é meramente um limite de uma calibragem finita, mas uma operação distinta que pode produzir novas CFTs fora dos espaços de módulos padrão. Uma contribuição significativa é a identificação do "problema da medida zero" na calibragem não-invertível contínua, demonstrando que dados físicos associados a pontos fixos podem ser perdidos em limites contínuos ingênuos. Finalmente, o trabalho unifica a descrição do espaço de módulos do bóson compacto, a dualidade T e a descompactificação dentro de um único arcabouço SymTFT BF não-compacto, onde os dados geométricos são codificados em condições de contorno topológicas.