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

Résumé technique : Données modulaires de Haagerup–Izumi à partir de mots hyperboliques

Énoncé du problème
Le document traite de la construction rigoureuse et de la compréhension des données modulaires associées aux doubles des catégories de Haagerup–Izumi. Alors qu'Evans et Gannon avaient conjecturé que ces données modulaires proviennent d'un « greffage » (grafting) de deux groupes métriques finis, et que Gannon, Schopieray et Yadav l'ont prouvé pour les catégories non tordues (untwisted), la réalisation physique de ces données via des théories des champs quantiques topologiques (TQFT) restait à pleinement comprise. Plus précisément, Gang et Kim ont identifié des données modulaires non unitaires de cette forme dans le twist topologique de théories $S$-fold de rang 0, dérivées des vides de Bethe d'une théorie de jauge abélianisée. Le problème central est de définir rigoureusement les opérateurs de collage de anses (handle-gluing) et de fibrage, de construire les vides de Bethe pour des monodromies hyperboliques générales, et d'établir la correspondance précise entre les données algébriques des catégories de Haagerup–Izumi et les données physiques des TQFT $S$-fold.

Méthodologie
L'auteur développe un cadre unifié basé sur des mots hyperboliques $\phi$ dans les générateurs $L$ et $R$ de $SL(2, \mathbb{Z})$, qui correspondent à la monodromie de fibrés de tores une fois ponctués. La méthodologie procède à travers trois « cadres » (frames) distincts qui interprètent la même structure mathématique sous-jacente :

1. Le Cadre de Farey : En utilisant la triangulation stratifiée du tore de mapping $M_\phi$, le document construit les matrices de Neumann–Zagier $A$ et $B$. La matrice de niveau $K$ est dérivée comme la solution symétrique unique des équations de collage $BK_{raw} = A$ satisfaisant une loi de déterminant $\det K = 2^r$ (où $r$ est la longueur du mot). Ce cadre définit les vecteurs de charge et les équations de Bethe.
2. Le Cadre de Nahm : Les équations de Bethe sont montrées comme étant équivalentes au système d'échelle de Nahm pour une matrice symétrique $N = 2(I - K_{raw}^{-1})$. Cette équivalence permet la construction explicite de solutions. Le vide positif $V^*$ est identifié comme la solution propagée par l'vecteur propre expansif de $\phi$, exprimée en termes de ratios de hauteurs le long des pentes de Farey.
3. Le Cadre de Bethe : Ce cadre définit les observables physiques. L'opérateur de collage d'anse $H_\alpha$ et l'opérateur de fibrage $F_\alpha$ sont évalués aux vides de Bethe. Le document emploie une déformation des équations de Bethe (introduisant un paramètre $\epsilon$) pour récupérer les solutions dégénérées qui se situent à l'infini dans le système non déformé.

Les outils mathématiques clés incluent la théorie des lignes de frise (spécifiquement les frises $SL_2$) pour contraindre les solutions au sein des séquences du mot, la formule de Hill pour les matrices de Jacobi périodiques afin de calculer le spectre de collage d'anse, et l'utilisation des formes de liaison de torsion sur les cokernels $A_\mp = \text{coker}(\phi \mp 1)$.

Contributions et résultats clés

• Construction de groupes métriques : Pour chaque mot hyperbolique $\phi$, le document identifie deux groupes métriques finis $A_\mp = \text{coker}(\phi \mp 1)$. Il prouve que $A_-$ porte la forme de liaison de torsion du tore de mapping $M_\phi$ et que $A_+$ porte celle de $M_{-\phi}$. Pour la famille diagonale $L_m R_m$, ces groupes sont montrés être $\mathbb{Z}_m \times \mathbb{Z}_m$ et $\mathbb{Z}_{m^2+4}$, respectivement, correspondant aux groupes métriques des catégories de Haagerup–Izumi non tordues.
• Solutions à forme fermée : Le document fournit des expressions à forme fermée pour le vide positif $V^*$ et son conjugué de Galois $\sigma V^*$ pour chaque mot hyperbolique. Ces solutions sont données comme des ratios de hauteurs le long des pentes de Farey, propagées par l'vecteur propre expansif de la monodromie.
• Charge centrale effective : Il est rigoureusement prouvé que la charge centrale effective est $c_{eff} = \#L$ (le nombre de lettres $L$ dans le mot) pour chaque mot hyperbolique, dérivée via des identités de dilogarithme de Rogers aux solutions de l'vecteur propre.
• Spectre de collage d'anse : Les valeurs de collage d'anse $H_\alpha$ sont calculées pour toutes les classes non dégénérées.
  • Pour les deux classes identité ($V^*$ et $\sigma V^*$), $H = 2^{\#L} \lambda^{\pm 1} |A_-| |A_+|$, où $\lambda$ est le facteur d'étirement.
  • Pour les classes non-identité non dégénérées associées aux vecteurs de noyau $v$ de $\phi \mp 1$, $H = 2^{\#L} |A_\mp|$.
  • Le document établit que pour les mots sans séquences de type singleton, ces classes (plus les classes identité) constituent l'ensemble des classes non dégénérées.
• Données modulaires et greffage : Sous des entrées physiques spécifiques (le dictionnaire de l'indice demi et l'identification du vide), le document démontre que pour les mots de trace impaire, les matrices $S$ et $T$ résultantes correspondent au greffage d'Evans–Gannon. Spécifiquement, pour la famille diagonale $L_m R_m$ où $m$ est premier et $m^2+4$ est premier, les données sont un conjugué de Galois du greffage unitaire, réalisant les données modulaires du double de la catégorie de Haagerup–Izumi non tordue.
• Spin et formes de liaison : Les spins conformes des vides sont montrés comme étant des raffinements quadratiques des formes de liaison de torsion sur les groupes $A_\mp$. Le spin est donné explicitement en termes des vecteurs de noyau et de la forme de liaison.

Signification et portée
Le document prétend combler rigoureusement le fossé entre la classification algébrique des catégories de Haagerup–Izumi et la construction physique des TQFT $S$-fold. Il fournit une description complète et à forme fermée des vides de Bethe et de leurs invariants associés (collage d'anse, fibrage, spin) pour une large classe de mots, confirmant la conjecture de greffage d'Evans–Gannon dans le contexte de ces TQFT.

Le travail est modeste quant à sa portée :

• Il prouve des résultats pour tous les mots hyperboliques sans apport physique concernant la structure de la matrice de niveau et l'existence du vide positif.
• Les résultats concernant la charge centrale $c$ et l'identification de l'objet unité reposent sur le « dictionnaire de l'indice demi » et des hypothèses d'identification du vide (Entrée (b)).
• Le document note explicitement qu'il ne construit pas de catégories pour les données modulaires tordues ($D^\omega H_{gm}$ avec $\omega \neq 0$), ni ne résout pleinement les classes dégénérées pour les mots généraux (bien qu'il traite la famille diagonale $L_m R_m$ à $m$ premier via une analyse séparée dans la Partie IV).
• Le signe de l'entrée $S_{00}$ et la complétude de la classification pour les mots avec des séquences de type singleton restent ouverts ou dépendent de vérifications numériques.

En résumé, le document établit que les données modulaires des doubles des catégories de Haagerup–Izumi peuvent être systématiquement générées à partir des mots hyperboliques de $SL(2, \mathbb{Z})$ via les vides de Bethe des théories de jauge abélianisées associées, les opérateurs de collage d'anse et de fibrage jouant le rôle des invariants clés reliant les structures topologiques et algébriques.