Generalized Symmetries From Fusion Actions

Resumen Técnico: Simetrías Generalizadas a partir de Acciones de Fusión

Planteamiento del Problema
El artículo aborda el problema de caracterizar las subálgebras de una álgebra de operadores de vértice (VOA) o de un álgebra condensable dentro de una categoría tensorial modular (MTC) que no necesariamente pueden realizarse como subálgebras de puntos fijos bajo una acción de grupo. En la teoría de orbifolds clásica, si $A$ es una VOA simple y $G$ es un grupo de automorfismos finito, la subálgebra de puntos fijos $A^G$ y los espacios de multiplicidad $A^\lambda$ satisfacen una dualidad de Schur-Weyl, y existe una correspondencia de Galois entre los subgrupos de $G$ y las subálgebras que contienen a $A^G$. Sin embargo, no toda subálgebra $U \subset A$ surge como $A^G$ para algún grupo $G$. Los autores buscan una generalización categórica de estos resultados donde el "grupo" sea reemplazado por una categoría de fusión, específicamente la categoría de módulos sobre un álgebra condensable.

Metodología
Los autores trabajan dentro del marco de las categorías tensoriales modulares (MTC) y los álgebras condensables. Sea $\mathcal{C}$ una MTC y $A$ un álgebra condensable en $\mathcal{C}$. La categoría $\mathcal{C}_A$ de módulos derechos de $A$ en $\mathcal{C}$ es una categoría de fusión esférica, y la subcategoría $\mathcal{C}^0_A$ de módulos locales de $A$ es, a su vez, una MTC.

La metodología central consiste en definir una acción de fusión de la categoría $\mathcal{C}_A$ sobre los espacios de morfismos $\text{Hom}_{\mathcal{C}}(x, A)$ para cualquier objeto $x \in \mathcal{C}$. Esta acción se construye utilizando indicadores de Frobenius-Schur generalizados. Específicamente, para un objeto $Y \in \mathcal{C}_A$ y un morfismo $f \in \text{Hom}_{\mathcal{C}}(x, A)$, la acción $Y \cdot f$ se define mediante el cálculo diagramático involucrando el semi-entrelazamiento (half-braiding) del centro $Z(\mathcal{C}_A)$ y los mapas de evaluación/coevaluación del álgebra $A$.

Los autores utilizan la estructura del anillo de Grothendieck $K(\mathcal{C}_A)$ y sus idempotentes para analizar los subespacios invariantes de estos espacios de morfismos. Definen el subespacio $B$-invariante de $\text{Hom}_{\mathcal{C}}(x, A)$ para una subcategoría de fusión $B \subseteq \mathcal{C}_A$ como el conjunto de morfismos $f$ tales que $Y \cdot f = d_A(Y)f$ para todo $Y \in B$, donde $d_A(Y)$ es la dimensión pivotal de $Y$ en $\mathcal{C}_A$.

Contribuciones Clave y Resultados

1. Dualidad de Schur-Weyl Categórica (Teorema I):
   El artículo establece una dualidad de Schur-Weyl para la acción de la categoría de fusión $\mathcal{C}_A$ sobre el álgebra $A$.

   • El núcleo de la acción de $\mathcal{C}_A$ sobre $\text{Hom}_{\mathcal{C}}(A, A)$ es el ideal generado por $(1 - e_1)$, donde $e_1$ es un idempotente central primitivo específico en $K(\mathcal{C}_A)$ asociado con los módulos locales $\mathcal{C}^0_A$.
   • El espacio $\text{Hom}_{\mathcal{C}}(x, A)$ es un módulo irreducible sobre el álgebra $e_1 K(\mathcal{C}_A)$ para cualquier objeto simple $x$ que aparece en $A$.
   • Existe un isomorfismo de álgebras $e_1 K(\mathcal{C}_A) \cong \text{Hom}_{\mathcal{C}}(A, A)$.
   • Este resultado generaliza la dualidad de Schur-Weyl clásica donde un grupo $G$ actúa sobre una VOA, recuperando el álgebra de grupo $\mathbb{C}[G]$ en el caso donde $A^G$ es racional y $C_2$-cofinita.

2. Correspondencia de Galois (Teorema II):
   Los autores demuestran una correspondencia de Galois entre las subcategorías de fusión de $\mathcal{C}_A$ que contienen a los módulos locales $\mathcal{C}^0_A$ y las subálgebras condensables de $A$.

   • Para cualquier subcategoría de fusión $B \subseteq \mathcal{C}_A$ que contenga a $\mathcal{C}^0_A$, el subobjeto invariante $A^B$ (definido como la imagen del idempotente $e_B$ actuando sobre $A$) es una subálgebra condensable de $A$.
   • La asignación $B \mapsto A^B$ define una biyección que invierte el orden entre la red de subcategorías de fusión de este tipo y la red de subálgebras condensables de $A$.
   • El mapa inverso envía una subálgebra $B \subseteq A$ a la subcategoría de fusión $(\mathcal{C}^0_B)_A$.
   • Esto proporciona una respuesta positiva a la pregunta de si cualquier subálgebra racional y $C_2$-cofinita $U \subset A$ puede realizarse como una subálgebra de puntos fijos bajo una acción de "grupo generalizado" (específicamente, la acción de fusión de $\mathcal{C}_A$).

3. Aplicación a Álgebras de Operadores de Vértice (Teorema III):
   Los resultados se aplican al contexto de las VOA. Si $U \subset A$ son VOA simples, racionales y $C_2$-cofinitas (con $A$ conteniendo a $U$), entonces la categoría de módulos $\mathcal{M}_U$ de $U$ es una MTC pseudounitaria, y $A$ es un álgebra condensable en $\mathcal{M}_U$. La acción de fusión de $(\mathcal{M}_U)_A$ sobre $A$ produce la dualidad de Schur-Weyl y la correspondencia de Galois para las sub-VOA que contienen a $U$.

   • En el caso específico donde $U = A^G$ para un grupo finito $G$, la categoría de fusión $(\mathcal{M}_{A^G})_A$ es una extensión de $G$ de la categoría trivial, y la acción de fusión recupera la acción estándar de $G$ sobre $A$.

4. Ejemplos y Extensiones:
   El artículo proporciona ejemplos concretos que involucran:

   • Orbifolds iterados de acciones de grupos, mostrando que son invariantes de acciones de categorías de fusión débilmente integrales.
   • Acciones de fusión asociadas con las VOA de la red $A_l$, donde las categorías de fusión involucradas son generalizaciones no abelianas de las categorías de Tambara-Yamagami (específicamente, extensiones $\mathbb{Z}_2$ de categorías apuntadas asociadas con grupos diedros).
   • Construcciones de cosets, vinculando la teoría con redes conformes intermedias.

Significancia
El artículo afirma proporcionar un marco categórico unificado para comprender las simetrías en la teoría de campos conformes y de VOA. Al reemplazar el grupo $G$ con una categoría de fusión $\mathcal{C}_A$, los autores generalizan la dualidad de Schur-Weyl y la correspondencia de Galois a entornos donde la simetría no es necesariamente un grupo. Esto permite la clasificación de subálgebras que no surgen de acciones de grupos finitos, caracterizándolas mediante los subobjetos invariantes de la acción de fusión. El trabajo cierra la brecha entre la teoría de álgebras condensables en MTC y la teoría de representaciones de VOA, ofreciendo una herramienta para analizar la estructura de las extensiones y subálgebras en teorías de campos conformes racionales. Los autores señalan que su enfoque ofrece una alternativa a los resultados previos basados en centros relativos (por ejemplo, en [7]), utilizando la noción clásica de correspondencia de Galois a través de los subespacios invariantes de las acciones de fusión.