Generalized Symmetries From Fusion Actions

Sintesi Tecnica: Simmetrie Generalizzate da Azioni di Fusione

Problema
Il saggio affronta il problema di caratterizzare le sottostrutture algebriche di un'algebra di operatori di vertice (VOA) o di un'algebra condensabile all'interno di una categoria tensoriale modulare (MTC) che non possono necessariamente essere realizzate come sottostrutture a punto fisso sotto l'azione di un gruppo. Nella teoria classica degli orbifold, se $A$ è una VOA semplice e $G$ è un gruppo di automorfismi finito, la sottostruttura a punto fisso $A^G$ e gli spazi di molteplicità $A^\lambda$ soddisfano una dualità di Schur-Weyl, ed esiste una corrispondenza di Galois tra i sottogruppi di $G$ e le sottostrutture contenenti $A^G$. Tuttavia, non ogni sottostruttura algebrica $U \subset A$ deriva da $A^G$ per qualche gruppo $G$. Gli autori cercano una generalizzazione categorica di questi risultati dove il "gruppo" è sostituito da una categoria di fusione, specificamente la categoria dei moduli di un'algebra condensabile.

Metodologia
Gli autori lavorano all'interno del quadro delle categorie tensoriali modulari (MTC) e delle algebre condensabili. Sia $\mathcal{C}$ una MTC e $A$ un'algebra condensabile in $\mathcal{C}$. La categoria $\mathcal{C}_A$ dei moduli destri di $A$ in $\mathcal{C}$ è una categoria di fusione sferica, e la sua sottocategoria $\mathcal{C}^0_A$ dei moduli locali di $A$ è a sua volta una MTC.

La metodologia centrale consiste nel definire un'azione di fusione della categoria $\mathcal{C}_A$ sugli spazi di morfismo $\text{Hom}_{\mathcal{C}}(x, A)$ per ogni oggetto $x \in \mathcal{C}$. Tale azione è costruita utilizzando gli indicatori di Frobenius-Schur generalizzati. Nello specifico, per un oggetto $Y \in \mathcal{C}_A$ e un morfismo $f \in \text{Hom}_{\mathcal{C}}(x, A)$, l'azione $Y \cdot f$ è definita tramite il calcolo diagrammatico coinvolgente la semibraid (half-braiding) del centro $Z(\mathcal{C}_A)$ e le mappe di valutazione/co-valutazione dell'algebra $A$.

Gli autori utilizzano la struttura dell'anello di Grothendieck $K(\mathcal{C}_A)$ e i suoi idempotenti per analizzare i sottospazi invarianti di questi spazi di morfismo. Definiscono il sottospazio $B$-invariante di $\text{Hom}_{\mathcal{C}}(x, A)$ per una sottocategoria di fusione $B \subseteq \mathcal{C}_A$ come l'insieme dei morfismi $f$ tali che $Y \cdot f = d_A(Y)f$ per ogni $Y \in B$, dove $d_A(Y)$ è la dimensione pivotale di $Y$ in $\mathcal{C}_A$.

Contributi Chiave e Risultati

1. Dualità di Schur-Weyl Categorica (Teorema I):
   Il saggio stabilisce una dualità di Schur-Weyl per l'azione della categoria di fusione $\mathcal{C}_A$ sull'algebra $A$.

   • Il nucleo dell'azione di $\mathcal{C}_A$ su $\text{Hom}_{\mathcal{C}}(A, A)$ è l'ideale generato da $(1 - e_1)$, dove $e_1$ è un particolare idempotente centrale primitivo in $K(\mathcal{C}_A)$ associato ai moduli locali $\mathcal{C}^0_A$.
   • Lo spazio $\text{Hom}_{\mathcal{C}}(x, A)$ è un modulo irriducibile sull'algebra $e_1 K(\mathcal{C}_A)$ per ogni oggetto semplice $x$ presente in $A$.
   • Esiste un isomorfismo di algebre $e_1 K(\mathcal{C}_A) \cong \text{Hom}_{\mathcal{C}}(A, A)$.
   • Questo risultato generalizza la classica dualità di Schur-Weyl dove un gruppo $G$ agisce su una VOA, recuperando l'algebra del gruppo $\mathbb{C}[G]$ nel caso in cui $A^G$ sia razionale e $C_2$-cofinite.

2. Corrispondenza di Galois (Teorema II):
   Gli autori dimostrano una corrispondenza di Galois tra le sottocategorie di fusione di $\mathcal{C}_A$ che contengono i moduli locali $\mathcal{C}^0_A$ e le sottostrutture algebriche condensabili di $A$.

   • Per ogni sottocategoria di fusione $B \subseteq \mathcal{C}_A$ contenente $\mathcal{C}^0_A$, la sottostruttura invariante $A^B$ (definita come l'immagine dell'idempotente $e_B$ che agisce su $A$) è una sottostruttura algebrica condensabile di $A$.
   • L'assegnazione $B \mapsto A^B$ definisce una biiezione che inverte l'ordine tra il reticolo di tali sottocategorie di fusione e il reticolo delle sottostrutture algebriche condensabili di $A$.
   • La mappa inversa associa a una sottostruttura algebrica $B \subseteq A$ la sottocategoria di fusione $(\mathcal{C}^0_B)_A$.
   • Ciò fornisce una risposta positiva alla domanda se ogni sottostruttura $U \subset A$ razionale e $C_2$-cofinite possa essere realizzata come sottostruttura a punto fisso sotto un'azione di un "gruppo generalizzato" (specificamente, l'azione di fusione di $\mathcal{C}_A$).

3. Applicazione alle Algebre di Operatori di Vertice (Teorema III):
   I risultati sono applicati al contesto delle VOA. Se $U \subset A$ sono VOA semplici, razionali e $C_2$-cofinite (con $A$ che contiene $U$), allora la categoria di moduli $\mathcal{M}_U$ è una categoria tensoriale modulare pseudounitaria, e $A$ è un'algebra condensabile in $\mathcal{M}_U$. L'azione di fusione di $(\mathcal{M}_U)_A$ su $A$ produce la dualità di Schur-Weyl e la corrispondenza di Galois per le sottostrutture VOA contenenti $U$.

   • Nel caso specifico in cui $U = A^G$ per un gruppo finito $G$, la categoria di fusione $(\mathcal{M}_{A^G})_A$ è un'estensione $G$ della categoria banale, e l'azione di fusione recupera la standard azione di $G$ su $A$.

4. Esempi ed Estensioni:
   Il saggio fornisce esempi concreti riguardanti:

   • Orbifold iterati di azioni di gruppo, che sono invarianti di azioni di categorie di fusione debolmente integrali.
   • Azioni di fusione associate alle VOA di reticolo $A_l$, dove le categorie di fusione coinvolte sono generalizzazioni non assolute delle categorie di Tambara-Yamagami (specificamente, estensioni $\mathbb{Z}_2$ di categorie puntate associate a gruppi diedrali).
   • Costruzioni di coset, collegando la teoria alle intermedie reti conformi (conformal nets).

Significatività
Il saggio sostiene di fornire un quadro categorico unificato per comprendere le simmetrie nella teoria dei campi conformi e delle VOA. Sostituendo il gruppo $G$ con una categoria di fusione $\mathcal{C}_A$, gli autori generalizzano la dualità di Schur-Weyl e la corrispondenza di Galois a contesti in cui la simmetria non è necessariamente un gruppo. Ciò permette di classificare le sottostrutture algebriche che non derivano da azioni di gruppi finiti, caratterizzandole tramite i sottospazi invarianti dell'azione di fusione. Il lavoro colma il divario tra la teoria delle algebre condensabili nelle MTC e la teoria delle rappresentazioni delle VOA, offrendo uno strumento per analizzare la struttura di estensioni e sottostrutture in teorie conformi razionali. Gli autori osservano che il loro approccio offre un'alternativa ai risultati precedenti basati su centri relativi (ad esempio in [7]), utilizzando la classica nozione di corrispondenza di Galois tramite sottospazi invarianti di azioni di fusione.