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

Technische Samenvatting: Haagerup–Izumi modulaire data uit hyperbolische woorden

Probleemstelling
Het artikel behandelt de rigoureuze constructie en het begrip van de modulaire data geassocieerd met de doubles van Haagerup–Izumi categorieën. Terwijl Evans en Gannon vermoedden dat deze modulaire data voortkomen uit een "grafting" van twee eindige metrieke groepen, en Gannon, Schopieray en Yadav dit bewezen voor ongetwiste categorieën, bleef de fysieke realisatie van deze data via topologische kwantumveldentheorieën (TQFT's) nog niet volledig begrepen. Specifiek identificeerden Gang en Kim niet-unitaire modulaire data van deze vorm in de topologische twist van rank-0 $S$-fold theorieën, afgeleid van de Bethe-vacua van een geabelianiseerde gauge-theorie. Het centrale probleem is het rigoureus definiëren van de handle-gluing en fibering operatoren in deze context, het construeren van de Bethe-vacua voor algemene hyperbolische monodromieën, en het vaststellen van de precieze correspondentie tussen de algebraïsche data van de Haagerup–Izumi categorieën en de fysieke data van de $S$-fold TQFT's.

Methodologie
De auteur ontwikkelt een verenigd kader gebaseerd op hyperbolische woorden $\phi$ in de generatoren $L$ en $R$ van $SL(2, \mathbb{Z})$, die overeenkomen met de monodromie van een eenmaal gepuncteerde torus-bundel. De methodologie verloopt via drie verschillende "frames" die dezelfde onderliggende wiskundige structuur interpreteren:

1. Het Farey Frame: Door gebruik te maken van de gelaagde triangulatie van de mapping torus $M_\phi$, construeert het artikel Neumann–Zagier matrices $A$ en $B$. De level matrix $K$ wordt afgeleid als de unieke symmetrische oplossing van de gluing vergelijkingen $BK_{raw} = A$ die voldoet aan een determinantwet $\det K = 2^r$ (waarbij $r$ de woordlengte is). Dit frame definieert de ladingvectoren en de Bethe-vergelijkingen.
2. Het Nahm Frame: Er wordt aangetoond dat de Bethe-vergelijkingen equivalent zijn aan Nahm's ladder-systeem voor een symmetrische matrix $N = 2(I - K_{raw}^{-1})$. Deze equivalentie maakt de expliciete constructie van oplossingen mogelijk. Het positieve vacuüm $V^*$ wordt geïdentificeerd als de oplossing die wordt voortgeplant door de expanderende eigenvector van $\phi$, uitgedrukt als ratio's van hoogtes langs de Farey-hellingen.
3. Het Bethe Frame: Dit frame definieert de fysieke observabelen. De handle-gluing operator $H_\alpha$ en de fibering operator $F_\alpha$ worden geëvalueerd op de Bethe-vacua. Het artikel maakt gebruik van een deformatie van de Bethe-vergelijkingen (het introduceren van een parameter $\epsilon$) om gedegenereerde oplossingen te herstellen die zich in de ongedefinieerdeerde staat bevinden in het niet-gedeformeerde systeem.

Belangrijke wiskundige instrumenten zijn de theorie van frieze rows (specifiek $SL_2$ friezes) om oplossingen binnen runs van het woord te beperken, Hill's formule voor periodieke Jacobi-matrices om het handle-gluing spectrum te berekenen, en het gebruik van torsion linking forms op de cokernels $A_\mp = \text{coker}(\phi \mp 1)$.

Kernbijdragen en Resultaten

• Constructie van Metrieke Groepen: Voor elk hyperbolisch woord $\phi$ identificeert het artikel twee eindige metrieke groepen $A_\mp = \text{coker}(\phi \mp 1)$. Het bewijst dat $A_-$ de torsion linking form van de mapping torus $M_\phi$ draagt en $A_+$ die van $M_{-\phi}$ draagt. Voor de diagonale familie $L_m R_m$ worden aangetoond dat deze groepen respectievelijk $\mathbb{Z}_m \times \mathbb{Z}_m$ en $\mathbb{Z}_{m^2+4}$ zijn, wat overeenkomt met de metrieke groepen van de ongetwiste Haagerup–Izumi categorieën.
• Oplossingen in Gesloten Vorm: Het artikel biedt closed-form expressies voor het positieve vacuüm $V^*$ en zijn Galois-conjugaat $\sigma V^*$ voor elk hyperbolisch woord. Deze oplossingen worden gegeven als ratio's van hoogtes langs de Farey-hellingen, voortgeplant door de expanderende eigenvector van de monodromie.
• Effectieve Centrale Lading: Het wordt rigoureus bewezen dat de effectieve centrale lading $c_{eff} = \#L$ (het aantal $L$-letters in het woord) is voor elk hyperbolisch woord, afgeleid via Rogers dilogarithm identiteiten bij de eigenvector-oplossingen.
• Handle-Gluing Spectrum: De handle-gluing waarden $H_\alpha$ worden berekend voor alle niet-gedegenereerde klassen.
  • Voor de twee identiteitsklassen ($V^*$ en $\sigma V^*$): $H = 2^{\#L} \lambda^{\pm 1} |A_-| |A_+|$, waarbij $\lambda$ de stretch factor is.
  • Voor niet-identiteit, niet-gedegenereerde klassen geassocieerd met kernel vectoren $v$ van $\phi \mp 1$: $H = 2^{\#L} |A_\mp|$.
  • Het artikel stelt vast dat voor woorden zonder singleton runs, deze klassen (plus de identiteitsklassen) alle niet-gedegenereerde klassen vormen.
• Modulaire Data en Grafting: Onder specifieke fysieke inputs (de half-index dictionary en vacuüm identificatie), demonstreert het artikel dat voor woorden met een oneven trace, de resulterende modulaire data $S$ en $T$ matrices overeenkomen met de Evans–Gannon grafting. Specifiek voor de diagonale familie $L_m R_m$ waar $m$ priem is en $m^2+4$ priem is, is de data een Galois-conjugaat van de unitaire grafting, wat de modulaire data van de double van de ongetwiste Haagerup–Izumi categorie realiseert.
• Spin en Linking Forms: De conformale spins van de vacua worden getoond te kwadratische verfijningen te zijn van de torsion linking forms op de groepen $A_\mp$. De spin wordt expliciet gegeven in termen van de kernel vectoren en de linking form.

Betekenis en Omvang
Het artikel beweert rigoureus de kloof te overbruggen tussen de algebraïsche classificatie van Haagerup–Izumi categorieën en de fysieke constructie van $S$-fold TQFT's. Het biedt een volledige, closed-form beschrijving van de Bethe-vacua en hun geassocieerde invarianten (handle-gluing, fibering, spin) voor een brede klasse van woorden, waarmee het Evans–Gannon grafting vermoeden bevestigt in de context van deze TQFT's.

De reikwijdte van het werk is bescheiden:

• Het bewijst resultaten voor alle hyperbolische woorden zonder fysieke input met betrekking tot de structuur van de level matrix en het bestaan van het positieve vacuüm.
• Resultaten betreffende de centrale lading $c$ en de identificatie van het unieke object vertrouwen op de "half-index dictionary" en specifieke vacuüm identificatie aannames (Input (b)).
• Het artikel merkt expliciet op dat het geen categorieën construeert voor de getwiste modulaire data ($D^\omega H_{gm}$ met $\omega \neq 0$), noch het de gedegenereerde klassen voor algemene woorden volledig oplost (hoewel het de diagonale familie $L_m R_m$ bij priem $m$ via een aparte analyse in Deel IV behandelt).
• Het teken van de $S_{00}$ entry en de volledigheid van de classificatie voor woorden met singleton runs blijven open of rusten op numerieke verificatie.

Samenvattend stelt het artikel vast dat de modulaire data van de doubles van Haagerup–Izumi categorieën systematisch gegenereerd kunnen worden uit de hyperbolische woorden van $SL(2, \mathbb{Z})$ via de Bethe-vacua van geassocieerde geabelianiseerde gauge-theorieën, waarbij de handle-gluing en fibering operatoren de rol spelen van de sleutelinvarianten die de topologische en algebraïsche structuren verbinden.