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

Resumen Técnico: Simetrías no invertibles de Modelos Sigma No Lineales de dos dimensiones

Planteamiento del Problema
El artículo aborda la construcción de simetrías no invertibles en Modelos Sigma No Lineales (NLSM) bidimensionales con términos de Wess-Zumino (WZ). Mientras que las simetrías no invertibles generadas por defectos topológicos han sido bien estudiadas en Teorías de Campo Conformes (CFT) y, específicamente, para el bosón compacto libre mediante el gauging de semi-espacio, su existencia y construcción explícita en NLSM generales —particularmente aquellos que carecen de 1-ciclos no triviales o de invariancia conforme— seguían siendo una cuestión abierta. Los autores pretenden generalizar la construcción conocida de los defectos de autodualidad (que surgen cuando una teoría es invariante bajo un gauging discreto seguido de una transformación de dualidad) a una amplia clase de NLSM con términos WZ, identificando las condiciones precisas bajo las cuales existen tales defectos.

Metodología
Los autores emplean un procedimiento de "gauging de semi-espacio" (half-space gauging), una técnica donde una simetría global se gauga solo en una mitad del espacio-tiempo ($\Gamma_+$), mientras que la otra mitad ($\Gamma_-$) permanece sin gaugar. La interfaz ($\gamma$) entre estas regiones se convierte en un defecto topológico si la teoría gaugada en $\Gamma_+$ es dual a la teoría original en $\Gamma_-$.

La metodología procede a través de varios pasos técnicos:

1. NLSM Gaugado Doble: Los autores utilizan la formulación "doble" de la dualidad T para NLSMs. Introducen un espacio objetivo $\hat{M}$ que es un fibrado $T^{2d}$ sobre el espacio base $N$, construido añadiendo campos multiplicadores de Lagrange a la acción gaugada. Esto permite una derivación geométrica de la dualidad T que maneja las obstrucciones topológicas globales (como fibrados no triviales y flujo $H$) de manera transparente.
2. Gauging Discreto: En lugar de gaugar el grupo de isometría continuo completo, los autores gaugan un subgrupo discreto $\prod Z_{p(m)} \subset U(1)^d$. Esto se implementa modificando el término del multiplicador de Lagrange en la acción doble para imponer campos de gauge planos con holonomías $Z_p$.
3. Análisis de Frontera: Un componente técnico crucial implica el manejo de la frontera de la hoja de mundo $\gamma$ introducida por la división de semi-espacio. Los autores analizan cuidadosamente los términos de frontera requeridos para mantener la invariancia de gauge del término WZ en una variedad con frontera. Demuestran que el procedimiento de gauging en $\Gamma_+$ genera un término de frontera topológico específico localizado en $\gamma$, que actúa como una Teoría de Campo Cuántico Topológico (TQFT).
4. Condiciones de Autodualidad: Al integrar los campos de gauge, los autores derivan la acción efectiva para la teoría gaugada. Luego imponen condiciones tales que la métrica y el flujo $H$ de la teoría gaugada en $\Gamma_+$ coincidan con los de la teoría original en $\Gamma_-$ (salvo redefiniciones de coordenadas), identificando así los parámetros para los cuales la interfaz es un defecto topológico dentro de una misma teoría.

Contribuciones Clave y Resultados
El artículo establece la existencia de defectos no invertibles en una amplia clase de NLMS y proporciona fórmulas explícitas para su construcción:

• Condiciones de Autodualidad Generalizadas: Los autores derivan las condiciones necesarias y suficientes para que un NLSM con una isometría $U(1)^d$ albergue un defecto no invertible. Estas condiciones relacionan los datos topológicos del modelo original con el modelo gaugado:
  • Restricción Topológica: Las clases de Chern ($F^m$) y las clases $H$ ($\tilde{F}^m$) de las teorías original y dual deben satisfacer $p^{(m)} F^m = \tilde{F}^m = \tilde{f}^m$. Esto implica un intercambio y escalamiento de los datos topológicos por el orden del subgrupo gaugado.
  • Restricción de Módulos: Los módulos de la métrica generalizada $E_{mn}$ deben satisfacer $E_{mn} = \frac{p^{(m)}}{2\pi} \frac{p^{(n)}}{2\pi} (E^{-1})_{mn}$. Esto generaliza la condición del radio autodual del bosón compacto a espacios objetivo arbitrarios.
• Papel de la TQFT de Frontera: La construcción revela que la no-invertibilidad del defecto surge de una TQFT de tipo BF unidimensional que vive en el locus del defecto $\gamma$. La acción de esta TQFT es $S_\gamma = \frac{p}{2\pi} \int_\gamma X^m d\tilde{X}_m$. Este término asegura las ecuaciones de movimiento correctas a través de la interfaz y dicta las reglas de fusión de Tambara-Yamagami ($TY(Z_p)$) del defecto.
• Ejemplos: Los autores construyen explícitamente estos defectos para varios espacios objetivo:
  • Esferas y Espacios de Lens: Muestran que $S^3$ (visto como una fibración de Hopf) y los espacios de Lens admiten tales defectos cuando se cumplen relaciones específicas entre el radio, el flujo $H$ y el parámetro de gauging $p$.
  • Nilfolds: Demuestran que los nilmanifolds (fibrados $S^1$ no triviales sobre $T^2$) con flujo $H$ no nulo pueden albergar estos defectos, a pesar de carecer de 1-ciclos no contraíbles.
  • Modelos WZW: Un resultado significativo es la aplicación a modelos Wess-Zumino-Witten (WZW). Los autores encuentran que las condiciones de autodualidad para el gauging de un subgrupo de isometría $Z_p$ coinciden precisamente con la condición de cuantización requerida para que el modelo sea conforme (específicamente, el nivel $\kappa$ del modelo WZW). En consecuencia, los modelos WZW $SU(N)_\kappa$ poseen defectos no invertibles con fusión $TY(Z_\kappa)$. Los autores señalan que para $\kappa > 2$, estos defectos generalmente no son líneas de Verlinde (no conmutan con toda la álgebra quiral).

Significado y Reivindicaciones
El artículo afirma proporcionar una derivación microscópica sistemática de simetrías no invertibles en NLMS que no depende de que la teoría sea conforme o racional.

• Generalidad: La construcción se aplica a cualquier NLSM con una isometría de acción libre, independientemente de si el espacio objetivo posee 1-ciclos no triviales (modos de giro/winding) o si la teoría es conforme.
• Origen Microscópico: El trabajo destaca que las reglas de fusión no invertibles se originan de un término topológico específico (la teoría BF) localizado en el defecto, el cual surge naturalmente de los términos de frontera en el procedimiento de gauging de semi-espacio.
• Conexión WZW: La identificación de defectos no invertibles en modelos WZW en todos los niveles se presenta como un resultado sorprendente, vinculando la construcción de gauging discreto directamente con la cuantización conforme del acoplamiento.
• Limitaciones: Los autores señalan modestamente que, aunque construyen los defectos, la acción explícita de estas simetrías sobre operadores locales (operadores de orden/desorden) y sus implicaciones para las identidades de Ward aún deben ser exploradas a fondo. También reconocen que la construcción requiere que la isometría actúe sin puntos fijos, una restricción técnica que excluye ciertas geometrías como las esferas de dimensión par.

En resumen, el artículo extiende el marco de las simetrías no invertibles desde teorías libres simples hacia NLMS interactuantes y topológicamente no triviales, proporcionando una imagen geométrica unificada de cómo la dualidad T y el gauging discreto generan estas simetrías exóticas.