Half-Spacetime Gauging of 2-Group Symmetry in 3d

Resumen Técnico: Gauge de Medio Espaciotiempo de Simetría de 2-Grupo en 3d

Problema y Motivación
Las descripciones modernas de las simetrías globales en la teoría cuántica de campos (QFT) se centran en operadores de defectos topológicos en lugar de campos lagrangianos. Mientras que las simetrías invertibles forman grupos, las simetrías no invertibles surgen cuando la fusión de defectos produce combinaciones lineales de defectos. Concurrentemente, las simetrías de grupos superiores (específicamente 2-grupos) describen el entrelazamiento no trivial de simetrías de forma $q$. Una brecha significativa en la literatura concierne la interacción entre estas dos estructuras: específicamente, la construcción de defectos de dualidad no invertibles que surgen del gauge de simetrías de 2-grupo en dimensiones impares. Aunque los defectos de dualidad no invertibles están bien comprendidos en dimensiones pares (mediante simetrías auto-duales de Pontryagin) y en 3d para teorías sin anomalías, su emergencia a partir de estructuras de 2-grupo en 3d permanece por construirse y analizarse explícitamente.

Metodología
Los autores emplean un marco cohomológico basado en cadenas, cocadenas y productos copa de Steenrod para analizar QFTs en $(2+1)$ dimensiones. La metodología procede en tres etapas:

1. Construcción de la Teoría Madre: Los autores comienzan con una teoría madre $T$ que posee dos simetrías discretas Abelianas de 0-forma, $G_A^{(0)} \times G_B^{(0)}$, acopladas mediante una anomalía 't Hooft mixta prescrita. Esta anomalía se codifica mediante una clase de Postnikov $\beta \in H^3(K(G_A^{(0)}), \hat{G}_B^{(1)})$, lo que conduce a un término de acoplamiento en la acción de anomalía $S_{\text{anomalía}} = \int_{Y_4} B^{(1)} A^{(1)} * \beta$.
2. Análisis del Gauge:
   • Gauge de $G_B^{(0)}$: Los autores demuestran que el gauge de un factor ($G_B^{(0)}$) resulta en una teoría con una estructura de simetría de 2-grupo $(G_A^{(0)}, \hat{G}_B^{(1)}, 1, [\beta])$.
   • Gauge de $G_A^{(0)}$: El gauge del otro factor ($G_A^{(0)}$) en presencia de la anomalía hace que la simetría $G_B^{(0)}$ restante sea no invertible. Para restaurar la invariancia de gauge, el defecto de simetría debe "vestirse" con una Teoría Cuántica de Campos Topológica (TQFT) específica que cancele la variación de gauge. Esto produce un defecto no invertible $N_B$.
3. Gauge de Medio Espaciotiempo: Para construir un defecto de dualidad, los autores consideran una teoría madre con tres sectores de simetría ($G_A^{(0)} \times G_B^{(0)} \times G_C^{(0)}$) y una estructura de anomalía cíclica. Realizan un "gauge de medio espaciotiempo" de la simetría de 2-grupo formada por dos sectores. Esta operación se implementa mediante una interfaz (defecto) $D$ que realiza el gauge de la simetría en un lado de una pared de codimensión 1, dejando el otro lado intacto. Cuando la teoría antes y después del gauge es isomorfa, esta interfaz se convierte en un defecto de dualidad no invertible.

Contribuciones y Resultados Clave

• Construcción de Simetrías de 0-Forma No Invertibles: El artículo construye explícitamente una clase de simetrías de 0-forma no invertibles que surgen del gauge de una simetría de 0-forma en presencia de una anomalía mixta. Los autores derivan las reglas de fusión para el defecto resultante $N_B$:

  • $N_B^\dagger = N_{-B}$
  • $N_{B_1} N_{B_2} = N_{B_1+B_2}$ (si $B_1 \neq -B_2$)
  • $N_B N_{-B} = \frac{\chi_A(X_B^2)}{|H^0_A||H^0_{\hat{A}}|} \sum_{\hat{a}_B} D_{\hat{a}_B}$, donde la suma representa la condensación de la simetría de 1-forma $\hat{G}_A^{(1)}$.
  • El defecto absorbe la simetría de 1-forma: $N_B D_{\hat{A}} = N_B$.

• Defectos de Dualidad No Invertibles a partir de 2-Grupos: El resultado principal es la construcción de un defecto de dualidad no invertible $D$ que surge del gauge de medio espaciotiempo de un 2-grupo. Esto ocurre cuando una teoría madre con una estructura de anomalía cíclica ($G_A^{(0)} \times G_B^{(0)} \times G_C^{(0)}$) produce teorías mutuamente duales ($T_A \simeq T_B \simeq T_C$) al realizar el gauge de diferentes factores.

  • El defecto de dualidad $D$ implementa el reordenamiento de los sectores de simetría: la simetría de 0-forma no invertible original se convierte en el componente de 0-forma del 2-grupo dual, mientras que la simetría de 0-forma original del 2-grupo gaugeado se convierte en su componente de 1-forma.
  • Las reglas de fusión para el defecto de dualidad se derivan como:
    • $D_{\hat{A}} D = D D_{\hat{A}} = D$
    • $N_B D = D N_B = D$
    • $D \times D = \chi_{G, \geq 0}^{-2} \sum_b N_b$, representando un defecto de condensación que implementa el 1-gauge de la simetría no invertible.

• Ejemplos Explícitos: La construcción se ilustra con modelos específicos:

  • Una teoría de gauge $U(1) \times U(1) \times U(1)$ donde el gauge de subgrupos magnéticos conduce a teorías duales con acoplamientos eléctricos/magnéticos intercambiados.
  • Teorías de producto general $Q \times Q \times Q$ con anomalías cíclicas.
  • Una teoría de quiver de Kronheimer-Nakajima cíclica (asociada con instantones $PSU(3)$ en $\mathbb{C}^2/\mathbb{Z}_3$), demostrando que el defecto de dualidad realiza el subgrupo cíclico $Z_3$ de la simetría diédrica del quiver.

Significado y Afirmaciones
Los autores afirman que este trabajo proporciona el primer ejemplo explícito de un defecto de dualidad no invertible producido por el gauge de una estructura de 2-grupo. Si bien la existencia de simetrías de 2-grupo y simetrías no invertibles (mediante anomalías mixtas) era conocida previamente, su interacción específica en la generación de defectos de dualidad en 3d no había sido analizada.

El artículo enfatiza que la estructura no invertible que surge del gauge de $G_A^{(0)}$ en presencia de la anomalía es un resultado novedoso. Además, las reglas de fusión derivadas tanto para los defectos de 0-forma no invertibles como para los defectos de dualidad se presentan explícitamente. Los autores señalan que, si bien la estructura de 2-grupo en el primer caso (gauge de $G_B^{(0)}$) es consistente con la literatura existente, la estructura no invertible en el segundo caso (gauge de $G_A^{(0)}$) y la subsiguiente construcción de defectos de dualidad son nuevas contribuciones.

El artículo concluye identificando direcciones futuras, incluyendo la extensión a grupos $n$-superiores con homomorfismos de grupo no triviales $\rho$, la descripción de estos defectos dentro del marco de la Teoría de Campos Topológica de Simetría (SymTFT), y realizaciones potenciales en teorías supersimétricas diseñadas a partir de la teoría de cuerdas o teorías $(2,0)$ en 6d.