Haagerup-Izumi modular data from hyperbolic words: S-fold TQFTs, central charge, torsion and the Bethe vacua

Technische Zusammenfassung: Haagerup–Izumi modulare Daten aus hyperbolischen Wörtern

Problemstellung
Die Arbeit befasst sich mit der rigorosen Konstruktion und dem Verständnis der modularen Daten, die mit den Verdoppelungen von Haagerup–Izumi-Kategorien assoziiert sind. Während Evans und Gannon vermuteten, dass diese modularen Daten aus einem „Grafting“ (einer Pfropfung) zweier endlicher metrischer Gruppen entstehen, und Gannon, Schopieray und Yadav dies für ungetwistete Kategorien bewiesen haben, blieb die physikalische Realisierung dieser Daten mittels topologischer Quantenfeldtheorien (TQFTs) noch vollständig zu verstehen. Insbesondere identifizierten Gang und Kim nicht-unitäre modulare Daten dieser Form im topologischen Twist von Rang-0 $S$-fold-Theorien, die aus den Bethe-Vakua einer abelianisierten Eichtheorie abgeleitet wurden. Das zentrale Problem besteht darin, die Handle-Gluing- und Fibering-Operatoren in diesem Kontext rigoros zu definieren, die Bethe-Vakua für allgemeine hyperbolische Monodromien zu konstruieren und die präzise Korrespondenz zwischen den algebraischen Daten der Haagerup–Izumi-Kategorien und den physikalischen Daten der $S$-fold-TQFTs herzustellen.

Methodik
Der Autor entwickelt einen einheitlichen Rahmen bas hin zu hyperbolischen Wörtern $\phi$ in den Generatoren $L$ und $R$ von $SL(2, \mathbb{Z})$, welche der Monodromie von einmal punktierten Torus-Bündeln entsprechen. Die Methodik verläuft durch drei distinkte „Frames“ (Rahmen), die dieselbe zugrunde liegende mathematische Struktur interpretieren:

1. Der Farey-Frame: Unter Verwendung der geschichteten Triangulation des Mapping-Torus $M_\phi$ konstruiert das Paper Neumann–Zagier-Matrizen $A$ und $B$. Die Level-Matrix $K$ wird als die eindeutige symmetrische Lösung der Gluing-Gleichungen $BK_{raw} = A$ unter Erfüllung eines Determinanten-Gesetzes $\det K = 2^r$ (wobei $r$ die Wortlänge ist) abgeleitet. Dieser Frame definiert die Ladungsvektoren und die Bethe-Gleichungen.
2. Der Nahm-Frame: Es wird gezeigt, dass die Bethe-Gleichungen äquivalent zum Nahmschen Lattersystem für eine symmetrische Matrix $N = 2(I - K_{raw}^{-1})$ sind. Diese Äquivalenz ermöglicht die explizite Konstruktion von Lösungen. Das positive Vakuum $V^*$ wird als die Lösung identifiziert, die durch den expandierenden Eigenvektor von $\phi$ propagiert wird, ausgedrückt als Verhältnisse von Höhen entlang der Farey-Steigungen.
3. Der Bethe-Frame: Dieser Frame definiert die physikalischen Observablen. Der Handle-Gluing-Operator $H_\alpha$ und der Fibering-Operator $F_\alpha$ werden an den Bethe-Vakua ausgewertet. Das Paper verwendet eine Deformation der Bethe-Gleichungen (Einführung eines Parameters $\epsilon$), um degenerierte Lösungen zu rekonstruieren, die im undeformierten System im Unendlichen liegen.

Zu den zentralen mathematischen Werkzeugen gehören die Theorie der Frieze-Reihen (speziell $SL_2$-Friezes), um Lösungen innerhalb von Wort-Läufen einzuschränken, Hillsche Formeln für periodische Jacobi-Matrizen zur Berechnung des Handle-Gluing-Spektrums sowie die Verwendung von Torsions-Verknüpfungsformen auf den Kokernen $A_\mp = \text{coker}(\phi \mp 1)$.

Wesentliche Beiträge und Ergebnisse

• Konstruktion metrischer Gruppen: Für jedes hyperbolische Wort identifiziert das Paper zwei endliche metrische Gruppen $A_\mp = \text{coker}(\phi \mp 1)$. Es wird bewiesen, dass $A_-$ die Torsions-Verknüpfungsform des Mapping-Torus $M_\phi$ trägt und $A_+$ jene von $M_{-\phi}$ trägt. Für die diagonale Familie $L_m R_m$ zeigen diese Gruppen als $\mathbb{Z}_m \times \mathbb{Z}_m$ bzw. $\mathbb{Z}_{m^2+4}$ gezeigt, was den metrischen Gruppen der ungetwisteten Haagerup–Izumi-Kategorien entspricht.
• Geschlossene Lösungen: Das Paper liefert geschlossene Ausdrücke für das positive Vakuum $V^*$ und sein Galois-Konjugat $\sigma V^*$ für jedes hyperbolische Wort. Diese Lösungen werden als Verhältnisse von Höhen entlang der Farey-Steigungen angegeben, die durch den expandierenden Eigenvektor der Monodromie propagiert werden.
• Effektive zentrale Ladung: Es wird rigoros bewiesen, dass die effektive zentrale Ladung $c_{eff} = \#L$ (die Anzahl der $L$-Buchstaben im Wort) für jedes hyperbolische Wort gilt, abgeleitet über Rogers-Dilogarithmus-Identitäten an den Eigenvektor-Lösungen.
• Handle-Gluing-Spektrum: Die Handle-Gluing-Werte $H_\alpha$ werden für alle nicht-degenerierten Klassen berechnet.
  • Für die zwei Identitätsklassen ($V^*$ und $\sigma V^*$) gilt $H = 2^{\#L} \lambda^{\pm 1} |A_-| |A_+|$, wobei $\lambda$ der Stretch-Faktor ist.
  • Für Nicht-Identitäts-Nicht-Degenerations-Klassen, die mit Kernel-Vektoren $v$ von $\phi \mp 1$ assoziiert sind, gilt $H = 2^{\#L} |A_\mp|$.
  • Das Paper stellt fest, dass für Wörter ohne Singleton-Runs diese Klassen (plus die Identitätsklassen) alle nicht-degenerierten Klassen bilden.
• Modulare Daten und Grafting: Unter spezifischen physikalischen Inputs (dem Half-Index-Dictionary und der Vakuum-Identifikation) zeigt das Paper, dass für Wörter mit ungerader Spur die resultierenden $S$- und $T$-Matrizen den Evans–Gannon-Grafting entsprechen. Speziell für die diagonale Familie $L_m R_m$, bei der $m$ prim und $m^2+4$ prim ist, sind die Daten ein Galois-Konjugat des unitären Graftings, was die modularen Daten der Verdoppelung der ungetwisteten Haagerup–Izumi-Kategorie realisiert.
• Spin und Verknüpfungsformen: Die konformen Spins der Vakua werden als quadratische Verfeinerungen der Torsions-Verknüpfungsformen auf den Gruppen $A_\mp$ gezeigt. Der Spin wird explizit in Abhängigkeit von den Kernel-Vektoren und der Verknüpfungsform angegeben.

Bedeutung und Umfang
Das Paper beansprucht, die Lücke zwischen der algebraischen Klassifikation von Haagerup–Izumi-Kategorien und der physikalischen Konstruktion von $S$-fold-TQFTs rigoros zu schließen. Es liefert eine vollständige, geschlossene Beschreibung der Bethe-Vakua und ihrer assoziierten Invarianten (Handle-Gluing, Fibering, Spin) für eine breite Klasse von Wörtern und bestätigt damit die Evans–Gannon-Grafting-Vermutung im Kontext dieser TQFTs.

Die Arbeit ist hinsichtlich ihres Umfangs bescheiden:

• Sie beweist Ergebnisse für alle hyperbolischen Wörter ohne physikalischen Input bezüglich der Struktur der Level-Matrix und der Existenz des positiven Vakuums.
• Ergebnisse bezüglich der zentralen Ladung $c$ und der Identifikation des Einheitsobjekts beruhen auf dem „Half-Index-Dictionary“ und spezifischen Annahmen zur Vakuum-Identifikation (Input (b)).
• Das Paper merkt explizit an, dass es keine Kategorien für die getwisteten modularen Daten ($D^\omega H_{gm}$ mit $\omega \neq 0$) konstruiert, noch die degenerierten Klassen für allgemeine Wörter vollständig auflöst (obwohl es die diagonale Familie $L_m R_m$ bei Primzahl $m$ in Teil IV separat behandelt).
• Das Vorzeichen des $S_{00}$-Eintrags und die Vollständigkeit der Klassifikation für Wörter mit Singleton-Runs bleiben offen oder beruhen auf numerischer Verifizierung.

Zusammenfassend lässt sich sagen, dass das Paper etabliert, dass die modularen Daten der Verdoppelungen von Haagerup–Izumi-Kategorien systematisch aus den hyperbolischen Wörtern von $SL(2, \mathbb{Z})$ über die Bethe-Vakua assoziierter abelianisierter Eichtheorien generiert werden können, wobei die Handle-Gluing- und Fibering-Operatoren die entscheidenden Invarianten darstellen, die die topologischen und algebraischen Strukturen verknüpfen.