Generalized Symmetries From Fusion Actions

Technische Zusammenfassung: Verallgemeinerte Symmetrien aus Fusionsaktionen

Problemstellung
Die Arbeit adressiert das Problem der Charakterisierung von Unteralgebraen einer Vertex-Operator-Algebra (VOA) oder einer kondensierbaren Algebra innerhalb einer modularen Tensor-Kategorie (MTC), die nicht notwendigerweise als Fixpunkt-Unteralgebra unter einer Gruppenwirkung realisiert werden können. In der klassischen Orbifold-Theorie, falls $A$ eine einfache VOA und $G$ eine endliche Automorphismengruppe ist, erfüllen die Fixpunkt-Unteralgebra $A^G$ und die Multiplizitätsräume $A^\lambda$ eine Schur-Weyl-Dualität, und es existiert eine Galois-Korrespondenz zwischen Untergruppen von $G$ und Unteralgebren, die $A^G$ enthalten. Jedoch entsteht nicht jede Unteralgebra $U \subset A$ als $A^G$ für eine Gruppe $G$. Die Autoren suchen nach einer kategorischen Verallgemeinerung dieser Ergebnisse, bei der die „Gruppe“ durch eine Fusionskategorie ersetzt wird, spezifisch die Kategorie der Module über einer kondensierbaren Algebra.

Methodik
Die Autoren arbeiten im Rahmen von modularen Tensor-Kategorien (MTCs) und kondensierbaren Algebren. Sei $\mathcal{C}$ eine MTC und $A$ eine kondensierbare Algebra in $\mathcal{C}$. Die Kategorie $\mathcal{C}_A$ der rechten $A$-Module in $\mathcal{C}$ ist eine sphärische Fusionskategorie, und die Unterkategorie $\mathcal{C}^0_A$ der lokalen $A$-Module ist selbst eine MTC.

Die Kernmethodik besteht darin, eine Fusionswirkung der Fusionskategorie $\mathcal{C}_A$ auf die Morphismenräume $\text{Hom}_{\mathcal{C}}(x, A)$ für jedes Objekt $x \in \mathcal{C}$ zu definieren. Diese Wirkung wird unter Verwendung verallgemeinerter Frobenius-Schur-Indikatoren konstruiert. Konkret wird für ein Objekt $Y \in \mathcal{C}_A$ und einen Morphismus $f \in \text{Hom}_{\mathcal{C}}(x, A)$ die Wirkung $Y \cdot f$ mittels diagrammatischer Kalküle unter Verwendung der Halbeinfaltung des Zentrums $Z(\mathcal{C}_A)$ sowie der Evaluation- und Koevaluation-Abbildungen der Algebra $A$ definiert.

Die Autoren nutzen die Struktur des Grothendieck-Rings $K(\mathcal{C}_A)$ und dessen Idempotente, um die invarianten Unterräume dieser Morphismenräume zu analysieren. Sie definieren den $B$-invarianten Unterraum von $\text{Hom}_{\mathcal{C}}(x, A)$ für eine Fusions-Unterkategorie $B \subseteq \mathcal{C}_A$ als die Menge der Morphismen $f$, für die gilt: $Y \cdot f = d_A(Y)f$ für alle $Y \in B$, wobei $d_A(Y)$ die pivotale Dimension von $Y$ in $\mathcal{C}_A$ ist.

Zentrale Beiträge und Ergebnisse

1. Kategorische Schur-Weyl-Dualität (Theorem I):
   Die Arbeit etabliert eine Schur-Weyl-Dualität für die Wirkung der Fusionskategorie $\mathcal{C}_A$ auf die Algebra $A$.

   • Der Kern der Wirkung von $\mathcal{C}_A$ auf $\text{Hom}_{\mathcal{C}}(A, A)$ ist das Ideal, das von $(1 - e_1)$ erzeugt wird, wobei $e_1$ ein spezifisches primitives zentrales Idempotent in $K(\mathcal{C}_A)$ ist, das mit den lokalen Modulen $\mathcal{C}^0_A$ assoziiert ist.
   • Der Raum $\text{Hom}_{\mathcal{C}}(x, A)$ ist ein irreduzibles Modul über der Algebra $e_1 K(\mathcal{C}_A)$ für jedes einfache Objekt $x$, das in $A$ vorkommt.
   • Es existiert ein Isomorphismus der Algebren $e_1 K(\mathcal{C}_A) \cong \text{Hom}_{\mathcal{C}}(A, A)$.
   • Dieses Ergebnis verallgemeinert die klassische Schur-Weyl-Dualität, in der eine Gruppe $G$ auf einer VOA wirkt, und stellt im Fall, dass $A^G$ rational und $C_2$-kovofinient ist, die Gruppenalgebra $\mathbb{C}[G]$ wieder her.

2. Galois-Korrespondenz (Theorem II):
   Die Autoren beweisen eine Galois-Korrespondenz zwischen Fusions-Unterkategorien von $\mathcal{C}_A$, die die lokalen Module $\mathcal{C}^0_A$ enthalten, und kondensierbaren Unteralgebren von $A$.

   • Für jede Fusions-Unterkategorie $B \subseteq \mathcal{C}_A$, die $\mathcal{C}^0_A$ enthält, ist die invariante Unterobjekt $A^B$ (definiert als das Bild des Idempotenten $e_B$, der auf $A$ wirkt) eine kondensierbare Unteralgebra von $A$.
   • Die Abbildung $B \mapsto A^B$ definiert eine ordnungsumkehrende Bijektion zwischen der Menge der solchen Fusions-Unterkategorien und der Menge der kondensierbaren Unteralgebren von $A$.
   • Die Umkehrabbildung sendet eine Unteralgebra $B \subseteq A$ an die Fusions-Unterkategorie $(\mathcal{C}^0_B)_A$.
   • Dies liefert eine positive Antwort auf die Frage, ob jede rationale, $C_2$-kovofiniente Unteralgebra $U \subset A$ als Fixpunkt-Unteralgebra unter einer „verallgemeinerten Gruppen“-Wirkung (speziell der Fusionswirkung von $\mathcal{C}_A$) realisiert werden kann.

3. Anwendung auf Vertex-Operator-Algebren (Theorem III):
   Die Ergebnisse werden auf den Kontext von VOAs angewendet. Wenn $U \subset A$ einfache, rationale, $C_2$-koviniente VOAs sind (mit $A$ enthaltend $U$), dann ist die $U$-Modul-Kategorie $\mathcal{M}_U$ eine pseudounitäre MTC, und $A$ ist eine kondensierbare Algebra in $\mathcal{M}_U$. Die Fusionswirkung von $(\mathcal{M}_U)_A$ auf $A$ liefert die Schur-Weyl-Dualität und die Galois-Korrespondenz für Unter-VOAs, die $U$ enthalten.

   • Im spezifischen Fall $U = A^G$ für eine endliche Gruppe $G$ ist die Fusionskategorie $(\mathcal{M}_{A^G})_A$ eine $G$-Erweiterung der trivialen Kategorie, und die Fusionswirkung stellt die Standard-$G$-Wirkung auf $A$ wieder her.

4. Beispiele und Erweiterungen:
   Die Arbeit liefert konkrete Beispiele, darunter:

   • Iterierte Orbifolds von Gruppenwirkungen, die Invarianten von Wirkungen schwach integraler Fusionskategorien sind.
   • Fusionswirkungen assoziiert mit $A_l$-Gitter-VOAs, wobei die beteiligten Fusionskategorien nicht-abelsche Verallgemeinerungen von Tambara-Yamagami-Kategorien sind (speziell $\mathbb{Z}_2$-Erweiterungen von punktierten Kategorien assoziiert mit Diedergruppen).
   • Koset-Konstruktionen, die die Theorie mit intermediären konformen Netzen verknüpfen.

Bedeutung
Die Arbeit beansprucht, einen vereinheitlichten kategorischen Rahmen für das Verständnis von Symmetrien in der konformen Feldtheorie und der VOA-Theorie zu bieten. Durch den Ersatz der Gruppe $G$ durch eine Fusionskategorie $\mathcal{C}_A$ verallgemeinern die Autoren die Schur-Weyl-Dualität und die Galois-Korrespondenz auf Settings, in denen die Symmetrie nicht notwendigerweise eine Gruppe ist. Dies ermöglicht die Klassifizierung von Unteralgebren, die nicht aus endlichen Gruppenwirkungen hervorgehen, indem sie als invariante Unterobjekte der Fusionswirkung charakterisiert werden. Die Arbeit schließt die Lücke zwischen der Theorie kondensierbarer Algebren in MTCs und der Darstellungstheorie von VOAs und bietet ein Werkzeug zur Analyse der Struktur von Erweiterungen und Unteralgebren in rationalen konformen Feldtheorien. Die Autoren merken an, dass ihr Ansatz eine Alternative zu bisherigen Ergebnissen basierend auf relativen Zentren (z. B. in [7]) darstellt, indem er den klassischen Begriff der Galois-Korrespondenz über invariante Unterräume von Fusionswirkungen nutzt.