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

Sintesi Tecnica: Dati modulari Haagerup–Izumi da parole iperboliche

Enunciato del Problema
Il saggio affronta la costruzione rigorosa e la comprensione dei dati modulari associati ai doppi delle categorie di Haagerup–Izumi. Mentre Evans e Gannon avevano congetturato che tali dati modulari derivassero da un "innesto" (grafting) di due gruppi metrici finiti, e Gannon, Schopieray e Yadav lo avevano dimostrato per le categorie non ritorte (untwisted), la realizzazione fisica di questi dati tramite teorie di campo quantistiche topologiche (TQFT) rimaneva da comprendere appieno. Nello specifico, Gang e Kim hanno identificato dati modulari non unitari di questa forma nella torsione topologica di teorie $S$-fold di rango 0, derivate dai vacui di Bethe di una teoria di gauge abelianizzata. Il problema centrale è definire rigorosamente gli operatori di incollamento del manico (handle-gluing) e di fibrazione in questo contesto, costruire i vacui di Bethe per generiche monodromie iperboliche e stabilire la precisa corrispondenza tra i dati algebrici delle categorie di Haagerup–Izumi e i dati fisici delle TQFT $S$-fold.

Metodologia
L'autore sviluppa un quadro unificato basato su parole iperboliche $\phi$ nei generatori $L$ e $R$ di $SL(2, \mathbb{Z})$, che corrispondono alla monodromia di fasci di tori una volta bucati. La metodologia procede attraverso tre "frame" distinti che interpretano la stessa struttura matematica sottostante:

1. Il Frame di Farey: Utilizzando la triangolazione stratificata del toro di mapping $M_\phi$, il saggio costruisce le matrici di Neumann–Zagier $A$ e $B$. La matrice di livello $K$ è derivata come l'unica soluzione simmetrica delle equazioni di incollamento $BK_{raw} = A$ soddisfacendo una legge del determinante $\det K = 2^r$ (dove $r$ è la lunghezza della parola). Questo frame definisce i vettori di carica e le equazioni di Bethe.
2. Il Frame di Nahm: Si dimostra che le equazioni di Bethe sono equivalenti al sistema a scala di Nahm per una matrice simmetrica $N = 2(I - K_{raw}^{-1})$. Questa equivalenza permette la costruzione esplicita delle soluzioni. Il vuoto positivo $V^*$ è identificato come la soluzione propagata dall'autovettore espandente di $\phi$, espressa come rapporti di altezze lungo le pendenze di Farey.
3. Il Frame di Bethe: Questo frame definisce gli osservabili fisici. L'operatore di incollamento del manico $H_\alpha$ e l'operatore di fibrazione $F_\alpha$ sono valutati sui vacui di Bethe. Il saggio impiega una deformazione delle equazioni di Bethe (introducendo un parametro $\epsilon$) per recuperare le soluzioni degenerate che si trovano all'infinito nel sistema non deformato.

Strumenti matematici chiave includono la teoria delle righe di frieze (specificamente friezes $SL_2$) per vincolare le soluzioni all'interno delle sequenze della parola, la formula di Hill per matrici di Jacobi periodiche per calcolare lo spettro di incollamento del manico, e l'uso di forme di legame di torsione sui cokerneli $A_\mp = \text{coker}(\phi \mp 1)$.

Contributi Chiave e Risultati

• Costruzione di Gruppi Metrici: Per ogni parola iperbolica $\phi$, il saggio identifica due gruppi metrici finiti $A_\mp = \text{coker}(\phi \mp 1)$. Dimostra che $A_-$ porta la forma di legame di torsione del toro di mapping $M_\phi$ e $A_+$ porta quella di $M_{-\phi}$. Per la famiglia diagonale $L_m R_m$, si mostra che questi gruppi sono $\mathbb{Z}_m \times \mathbb{Z}_m$ e $\mathbb{Z}_{m^2+4}$, rispettivamente, corrispondendo ai gruppi metrici delle categorie di Haagerup–Izumi non ritorte.
• Soluzioni in Forma Chiusa: Il saggio fornisce espressioni in forma chiusa per il vuoto positivo $V^*$ e il suo coniugato di Galois $\sigma V^*$ per ogni parola iperbolica. Queste soluzioni sono date come rapporti di altezze lungo le pendenze di Farey, propagate dall'autovettore espandente della monodromia.
• Carica Centrale Effettiva: Viene dimostrato rigorosamente che la carica centrale effettiva è $c_{eff} = \#L$ (il numero di lettere $L$ nella parola) per ogni parola iperbolica, derivata tramite identità del liugaritmo di Rogers agli autovettori.
• Spettro di Incollamento del Manico: I valori di incollamento del manico $H_\alpha$ sono calcolati per tutte le classi non degenerate.
  • Per le due classi identità ($V^*$ e $\sigma V^*$), $H = 2^{\#L} \lambda^{\pm 1} |A_-| |A_+|$, dove $\lambda$ è il fattore di stiramento (stretch factor).
  • Per le classi non-identità non degenerate associate ai vettori di kernel $v$ di $\phi \mp 1$, $H = 2^{\#L} |A_\mp|$.
  • Il saggio stabilisce che per le parole senza sequenze singole (singleton runs), queste classi (più le classi identità) costituiscono tutte le classi non degenerate.
• Dati Modulari e Innesto (Grafting): Sotto specifici input fisici (il dizionario del semi-indice e l'identificazione del vuoto), il saggio dimostra che per le parole di traccia dispari, le matrici $S$ e $T$ risultanti corrispondono all'innesto di Evans–Gannon. Nello specifico, per la famiglia diagonale $L_m R_m$ dove $m$ è primo e $m^2+4$ è primo, i dati sono un coniugato di Galois dell'innesto unitario, realizzando i dati modulari del doppio della categoria di Haagerup–Izumi non ritorta.
• Spin e Forme di Legame: Gli spin conformi dei vacui sono mostrati essere raffinamenti quadratici delle forme di legame di torsione sui gruppi $A_\mp$. Lo spin è dato esplicitamente in termini dei vettori di kernel e della forma di legame.

Significato e Ambito
Il saggio sostiene di colmare rigorosamente il divario tra la classificazione algebrica delle categorie di Haagerup–Izumi e la costruzione fisica delle TQFT $S$-fold. Esso fornisce una descrizione completa e in forma chiusa dei vacui di Bethe e dei loro invarianti associati (incollamento del manico, fibrazione, spin) per una vasta classe di parole, confermando la congettura dell'innesto di Evans–Gannon nel contesto di queste TQFT.

Il lavoro è modesto per quanto riguarda il suo ambito:

• Dimostra risultati per tutte le parole iperboliche senza input fisico riguardante la struttura della matrice di livello e l'esistenza del vuoto positivo.
• I risultati riguardanti la carica centrale $c$ e l'identificazione dell'oggetto unità si basano sul "dizionario del semi-indice" e su assunzioni specifiche di identificazione del vuoto (Input (b)).
• Il saggio nota esplicitamente di non costruire categorie per i dati modulari ritorti ($D^\omega H_{gm}$ con $\omega \neq 0$), né risolve completamente le classi degenerate per parole generiche (sebbene gestisca la famiglia diagonale $L_m R_m$ per $m$ primo tramite un'analisi separata nella Parte IV).
• Il segno dell'elemento $S_{00}$ e la completezza della classificazione per parole con sequenze singole rimangono aperti o dipendono dalla verifica numerica.

In sintesi, il saggio stabilisce che i dati modulari dei doppi delle categorie di Haagerup–Izumi possono essere sistematicamente generati dalle parole iperboliche di $SL(2, \mathbb{Z})$ tramite i vacui di Bethe delle associate teorie di gauge abelianizzate, con gli operatori di incollamento del manico e di fibrazione che svolgono il ruolo di invarianti chiave che collegano le strutture topologiche e algebriche.