Generalized Symmetries From Fusion Actions

Resumo Técnico: Simetrias Generalizadas a partir de Ações de Fusão

Enunciado do Problema
O artigo aborda o problema de caracterizar subálgebras de uma álgebra de operadores de vértice (VOA) ou de uma álgebra condensável dentro de uma categoria tensorial modular (MTC) que não podem necessariamente ser realizadas como subálgebras de pontos fixos sob uma ação de grupo. Na teoria de orbifol clássica, se $A$ é uma VOA simples e $G$ é um grupo de automorfismos finito, a subálgebra de pontos fixos $A^G$ e os espaços de multiplicidade $A^\lambda$ satisfazem uma dualidade de Schur-Weyl, e existe uma correspondência de Galois entre subgrupos de $G$ e subálgebras que contêm $A^G$. No entanto, nem toda subálgebra $U \subset A$ surge como $A^G$ para algum grupo $G$. Os autores buscam uma generalização categórica desses resultados onde o "grupo" é substituído por uma categoria de fusão, especificamente a categoria de módulos sobre uma álgebra condensável.

Metodologia
Os autores trabalham dentro do arcabouço de categorias tensoriais modulares (MTCs) e álgebras condensáveis. Seja $\mathcal{C}$ uma MTC e $A$ uma álgebra condensável em $\mathcal{C}$. A categoria $\mathcal{C}_A$ de módulos à direita de $A$ em $\mathcal{C}$ é uma categoria de fusão esférica, e a subcategoria $\mathcal{C}^0_A$ de módulos locais de $A$ é, por si só, uma MTC.

A metodologia central envolve a definição de uma ação de fusão da categoria $\mathcal{C}_A$ nos espaços de morfismos $\text{Hom}_{\mathcal{C}}(x, A)$ para qualquer objeto $x \in \mathcal{C}$. Essa ação é construída usando indicadores de Frobenius-Schur generalizados. Especificamente, para um objeto $Y \in \mathcal{C}_A$ e um morfismo $f \in \text{Hom}_{\mathcal{C}}(x, A)$, a ação $Y \cdot f$ é definida via cálculo diagramático envolvendo o half-braiding do centro $Z(\mathcal{C}_A)$ e os mapas de avaliação/coavaliação da álgebra $A$.

Os autores utilizam a estrutura do anel de Grothendieck $K(\mathcal{C}_A)$ e seus idempotentes para analisar os subespaços invariantes desses espaços de morfismos. Eles definem o subespaço $B$-invariante de $\text{Hom}_{\mathcal{C}}(x, A)$ para uma subcategoria de fusão $B \subseteq \mathcal{C}_A$ como o conjunto de morfismos $f$ tais que $Y \cdot f = d_A(Y)f$ para todo $Y \in B$, onde $d_A(Y)$ é a dimensão pivotal de $Y$ em $\mathcal{C}_A$.

Contribuições Principais e Resultados

1. Dualidade de Schur-Weyl Categórica (Teorema I):
   O artigo estabelece uma dualidade de Schur-Weyl para a ação da categoria de fusão $\mathcal{C}_A$ sobre a álgebra $A$.

   • O núcleo da ação de $\mathcal{C}_A$ sobre $\text{Hom}_{\mathcal{C}}(A, A)$ é o ideal gerado por $(1 - e_1)$, onde $e_1$ é um idempotente central primitivo específico em $K(\mathcal{C}_A)$ associado aos módulos locais $\mathcal{C}^0_A$.
   • O espaço $\text{Hom}_{\mathcal{C}}(x, A)$ é um módulo irredutível sobre a álgebra $e_1 K(\mathcal{C}_A)$ para qualquer objeto simples $x$ que aparece em $A$.
   • Existe um isomorfismo de álgebras $e_1 K(\mathcal{C}_A) \cong \text{Hom}_{\mathcal{C}}(A, A)$.
   • Este resultado generaliza a dualidade de Schur-Weyl clássica onde um grupo $G$ atua sobre uma VOA, recuperando a álgebra do grupo $\mathbb{C}[G]$ no caso em que $A^G$ é racional e $C_2$-cofinita.

2. Correspondência de Galois (Teorema II):
   Os autores provam uma correspondência de Galois entre subcategorias de fusão de $\mathcal{C}_A$ que contêm os módulos locais $\mathcal{C}^0_A$ e subálgebras condensáveis de $A$.

   • Para qualquer subcategoria de fusão $B \subseteq \mathcal{C}_A$ contendo $\mathcal{C}^0_A$, o subobjeto invariante $A^B$ (definido como a imagem do idempotente $e_B$ atuando em $A$) é uma subálgebra condensável de $A$.
   • A atribuição $B \mapsto A^B$ define uma bijeção que inverte a ordem entre o reticulado de tais subcategorias de fusão e o reticulado de subálgebras condensáveis de $A$.
   • O mapa inverso envia uma subálgebra $B \subseteq A$ para a subcategoria de fusão $(\mathcal{C}^0_B)_A$.
   • Isso fornece uma resposta positiva à questão de se qualquer subálgebra racional, $C_2$-cofinita $U \subset A$ pode ser realizada como uma subálgebra de pontos fixos sob uma ação de "grupo generalizado" (especificamente, a ação de fusão de $\mathcal{C}_A$).

3. Aplicação a Álgebras de Operadores de Vértice (Teorema III):
   Os resultados são aplicados ao contexto de VOAs. Se $U \subset A$ são VOAs simples, racionais e $C_2$-cofinitas (com $A$ contendo $U$), então a categoria de módulos $\mathcal{M}_U$ de $U$ é uma MTC pseudounitária, e $A$ é uma álgebra condensável em $\mathcal{M}_U$. A ação de fusão de $(\mathcal{M}_U)_A$ sobre $A$ produz a dualidade de Schur-Weyl e a correspondência de Galois para subVOAs contendo $U$.

   • No caso específico onde $U = A^G$ para um grupo finito $G$, a categoria de fusão $(\mathcal{M}_{A^G})_A$ é uma extensão de $G$ da categoria trivial, e a ação de fusão recupera a ação padrão de $G$ sobre $A$.

4. Exemplos e Extensões:
   O artigo fornece exemplos concretos envolvendo:

   • Orbifol iterados de ações de grupo, mostrando que são invariantes de ações de categorias de fusão fracamente integrais.
   • Ações de fusão associadas a VOAs de rede $A_l$, onde as categorias de fusão envolvidas são generalizações não abelianas de categorias de Tambara-Yamagami (especificamente, extensões $\mathbb{Z}_2$ de categorias pontuadas associadas a grupos diedrais).
   • Construções de coset, ligando a teoria a redes conformes intermediárias.

Significância
O artigo afirma fornecer um arcabouço categórico unificado para entender simetrias em teoria de campo conformal e teoria de VOA. Ao substituir o grupo $G$ pela categoria de fusão $\mathcal{C}_A$, os autores generalizam a dualidade de Schur-Weyl e a correspondência de Galois para configurações onde a simetria não é necessariamente um grupo. Isso permite a classificação de subálgebras que não surgem de ações de grupos finitos, caracterizando-as via os subobjetos invariantes da ação de fusão. O trabalho faz a ponte entre a teoria de álgebras condensáveis em MTCs e a teoria de representação de VOAs, oferecendo uma ferramenta para analisar a estrutura de extensões e subálgebras em teorias de campo conformes racionais. Os autores observam que sua abordagem oferece uma alternativa aos resultados anteriores baseados em centros relativos (por exemplo, em [7]), utilizando a noção clássica de correspondência de Galois via subespaços invariantes de ações de fusão.