Non-invertible symmetries of two-dimensional Non-Linear Sigma Models

Resumo Técnico: Simetrias não invertíveis de Modelos Sigma Não Lineares bidimensionais

Enunciado do Problema
O artigo aborda a construção de simetrias não invertíveis em Modelos Sigma Não Lineares (NLSMs) bidimensionais com termos de Wess-Zumino (WZ). Embora as simetrias não invertíveis geradas por defeitos topológicos tenham sido bem estudadas em Teorias de Campo Conformes (CFTs) e, especificamente, para o bóson compacto livre via gauging de meio-espaço, sua existência e construção explícita em NLSMs gerais — particularmente aquelas que carecem de 1-ciclos não triviais ou invariância conforme — permaneciam uma questão em aberto. Os autores visam generalizar a construção conhecida de defeitos de autoduatidade (que surgem quando uma teoria é invariante sob um gauging discreto seguido por uma transformação de dualidade) para uma ampla classe de NLSMs com termos WZ, identificando as condições precisas sob as quais tais defeitos existem.

Metodologia
Os autores empregam um procedimento de "gauging de meio-espaço" (half-space gauging), uma técnica onde uma simetria global é "gauged" em apenas uma metade do manifold do espaço-tempo ($\Gamma_+$), enquanto a outra metade ($\Gamma_-$) permanece não "gauged". A interface ($\gamma$) entre essas regiões torna-se um defeito topológico se a teoria "gauged" em $\Gamma_+$ for dual à teoria original em $\Gamma_-$.

A metodologia procede através de vários passos técnicos:

1. NLSM Gauged Duplo: Os autores utilizam a formulação "dupla" da T-dualidade para NLSMs. Eles introduzem um target space $\hat{M}$ que é um fibrado $T^{2d}$ sobre o base space $N$, construído adicionando campos multiplicadores de Lagrange à ação "gauged". Isso permite uma derivação geométrica da T-dualidade que lida com obstruções topológicas globais (como fibrados não triviais e $H$-flux) de forma transparente.
2. Gauging Discreto: Em vez de realizar o gauging do grupo de isometria contínuo completo, os autores realizam o gauging de um subgrupo discreto $\prod Z_{p(m)} \subset U(1)^d$. Isso é implementado modificando o termo multiplicador de Lagrange na ação dupla para impor campos de gauge planos com holonomias $Z_p$.
3. Análise de Fronteira: Um componente técnico crucial envolve lidar com a fronteira da folha de mundo (worldsheet) $\gamma$ introduzida pela divisão de meio-espaço. Os autores analisam cuidadosamente os termos de fronteira necessários para manter a invariância de gauge do termo WZ em um manifold com fronteira. Eles demonstram que o procedimento de gauging em $\Gamma_+$ gera um termo de fronteira topológico específico localizado em $\gamma$, que atua como uma Teoria de Campo Quântico Topológica (TQFT).
4. Condições de Autoduatidade: Ao integrar fora os campos de gauge, os autores derivam a ação efetiva para a teoria "gauged". Eles então impõem condições para que a métrica e o $H$-flux da teoria "gauged" coincidam com os da teoria original em $\Gamma_-$ (salvo redefinições de coordenadas), identificando os parâmetros para os quais a interface é um defeito topológico dentro de uma única teoria.

Principais Contribuições e Resultados
O artigo estabelece a existência de defeitos não invertíveis em uma ampla classe de NLSMs e fornece fórmulas explícitas para sua construção:

• Condições de Autoduatidade Generalizadas: Os autores derivam as condições necessárias e suficientes para que um NLSM com uma isometria $U(1)^d$ hospede um defeito não invertível. Estas condições relacionam os dados topológicos do modelo original ao modelo "gauged":
  • Restrição Topológica: As classes de Chern ($F^m$) e as classes $H$ ($\tilde{F}^m$) das teorias original e dual devem satisfazer $p^{(m)} F^m = \tilde{F}^m = \tilde{f}^m$. Isso implica uma troca e escala dos dados topológicos pelo nível do subgrupo "gauged".
  • Restrição de Módulos: Os módulos da métrica generalizada $E_{mn}$ devem satisfazer $E_{mn} = \frac{p^{(m)}}{2\pi} \frac{p^{(n)}}{2\pi} (E^{-1})_{mn}$. Isso generaliza a condição de raio autodual do bóson compacto para arbitrary target spaces.
• Papel da TQFT de Fronteira: A construção revela que a não-invertibilidade do defeito surge de uma TQFT do tipo BF de 1-dimensão vivendo no locus do defeito $\gamma$. A ação desta TQFT é $S_\gamma = \frac{p}{2\pi} \int_\gamma X^m d\tilde{X}_m$. Este termo garante as equações de movimento corretas através da interface e dita as regras de fusão de Tambara-Yamagami ($TY(Z_p)$) do defeito.
• Exemplos: Os autores constroem explicitamente estes defeitos para diversos target spaces:
  • Esferas e Espaços de Lente: Eles mostram que $S^3$ (vista como uma fibração de Hopf) e espaços de lente admitem tais defeitos quando relações específicas entre o raio, o $H$-flux e o parâmetro de gauging $p$ são atendidas.
  • Nilfolds: Eles demonstram que nilmanifolds (fibrados $S^1$ não triviais sobre $T^2$) com $H$-flux não nulo podem hospedar esses defeitos, mesmo que careçam de 1-ciclos não contraíveis.
  • Modelos WZW: Um resultado significativo é a aplicação aos modelos Wess-Zumino-Witten (WZW). Os autores descobrem que as condições de autoduatidade para o gauging de um subgrupo de isometria $Z_p$ coincidem precisamente com a condição de quantização necessária para que o modelo seja conforme (especificamente, o nível $\kappa$ do modelo WZW). Consequentemente, modelos WZW $SU(N)_\kappa$ possuem defeitos não invertíveis com fusão $TY(Z_\kappa)$. Os autores observam que, para $\kappa > 2$, estes defeitos são geralmente não são linhas de Verlinde (eles não comutam com a álgebra quiral completa).

Significância e Alegações
O artigo alega fornecer uma derivação microscópica sistemática de simetrias não invertíveis em NLSMs que não depende de a teoria ser conforme ou racional.

• Generalidade: A construção aplica-se a qualquer NLSM com uma isometria de ação livre, independentemente de o target space possuir 1-ciclos não triviais (modos de enrolamento/winding) ou de a teoria ser conforme.
• Origem Microscópica: O trabalho destaca que as regras de fusão não invertíveis originam-se de um termo topológico específico (a teoria BF) localizado no defeito, que surge naturalmente dos termos de fronteira no procedimento de gauving de meio-espaço.
• Conexão WZW: A identificação de defeitos não invertíveis em modelos WZW em todos os níveis é apresentada como um resultado surpreendente, ligando a construção de gauging discreto diretamente à quantização conforme do acoplamento.
• Limitações: Os autores notam modestamente que, embora construam os defeitos, a ação explícita destas simetrias sobre operadores locais (operadores de ordem/desordem) e suas implicações para identidades de Ward ainda precisam ser totalmente exploradas. Eles também reconhecem que a construção requer que a isometria atue sem pontos fixos, uma restrição técnica que exclui certas geometrias, como esferas de dimensão par.

Em resumo, o artigo estende o arcabouço de simetrias não invertíveis de teorias livres simples para NLSMs interativos e topologicamente não triviais, fornecendo uma imagem geométrica unificada de como a T-dualidade e o gauging discreto geram estas simetrias exóticas.