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

Resumen Técnico: Datos modulares de Haagerup–Izumi a partir de palabras hiperbólicas

Planteamiento del Problema
El artículo aborda la construcción rigurosa y la comprensión de los datos modulares asociados a los dobles de las categorías de Haagerup–Izumi. Mientras que Evans y Gannon conjeturaron que estos datos modulares surgen de un "injerto" (grafting) de dos grupos métricos finitos, y Gannon, Schopieray y Yadav lo demostraron para categorías no retorcidas (untwisted), la realización física de estos datos mediante teorías de campos cuánticos topológicos (TQFTs) aún no se había comprendido plenamente. Específicamente, Gang y Kim identificaron datos modulares no unitarios de esta forma en el giro topológico de teorías de $S$-pliegues de rango 0, derivadas de los vacíos de Bethe de una teoría de gauge abelianizada. El problema central es definir rigurosamente los operadores de pegado de asas (handle-gluing) y de fibrado (fibering) en este contexto, construir los vacíos de Bethe para monodromías hiperbólicas generales y establecer la correspondencia precisa entre los datos algebraicos de las categorías de Haagerup–Izumi y los datos físicos de las TQFTs de $S$-pliegues.

Metodología
El autor desarrolla un marco unificado basado en palabras hiperbólicas $\phi$ en los generadores $L$ y $R$ de $SL(2, \mathbb{Z})$, que corresponden a la monodromía de fibrados de toros once veces perforados. La metodología procede a través de tres "marcos" (frames) distintos que interpretan la misma estructura matemática subyacente:

1. El Marco de Farey (Farey Frame): Utilizando la triangulación por capas del toro de mapeo $M_\phi$, el artículo construye matrices de Neumann–Zagier $A$ y $B$. La matriz de nivel $K$ se deriva como la solución simétrica única de las ecuaciones de pegado $BK_{raw} = A$ que satisface una ley de determinante $\det K = 2^r$ (donde $r$ es la longitud de la palabra). Este marco define los vectores de carga y las ecuaciones de Bethe.
2. El Marco de Nahm (Nahm Frame): Se demuestra que las ecuaciones de Bethe son equivalentes al sistema de la escalera de Nahm para una matriz simétrica $N = 2(I - K_{raw}^{-1})$. Esta equivalencia permite la construcción explícita de soluciones. El vacío positivo $V^*$ se identifica como la solución propagada por el autovector expansivo de $\phi$, expresada como razones de alturas a lo largo de las pendientes de Farey.
3. El Marco de Bethe (Bethe Frame): Este marco define los observables físicos. El operador de pegado de asas $H_\alpha$ y el operador de fibrado $F_\alpha$ se evalúan en los vacíos de Bethe. El artículo emplea una deformación de las ecuaciones de Bethe (introduciendo un parámetro $\epsilon$) para recuperar soluciones degeneradas que se encuentran en el infinito en el sistema no deformado.

Las herramientas matemáticas clave incluyen la teoría de filas de frieze (específicamente friezes de $SL_2$) para restringir las soluciones dentro de las secuencias de la palabra, la fórmula de Hill para matrices de Jacobi periódicas para computar el espectro de pegado de asas, y el uso de formas de enlace de torsión sobre los cokernels $A_\mp = \text{coker}(\phi \mp 1)$.

Contribuciones Clave y Resultados

• Construcción de Grupos Métricos: Para cada palabra hiperbólica $\phi$, el artículo identifica dos grupos métricos finitos $A_\mp = \text{coker}(\phi \mp 1)$. Demuestra que $A_-$ porta la forma de enlace de torsión del toro de mapeo $M_\phi$ y $A_+$ porta la de $M_{-\phi}$. Para la familia diagonal $L_m R_m$, se muestra que estos grupos son $\mathbb{Z}_m \times \mathbb{Z}_m$ y $\mathbb{Z}_{m^2+4}$, respectivamente, coincidiendo con los grupos métricos de las categorías de Haagerup–Izumi no retorcidas.
• Soluciones de Forma Cerrada: El artículo proporciona expresiones de forma cerrada para el vacío positivo $V^*$ y su conjugado de Galois $\sigma V^*$ para cada palabra hiperbólica. Estas soluciones se dan como razones de alturas a lo largo de las pendientes de Farey, propagadas por el autovector expansivo de la monodromía.
• Carga Central Efectiva: Se demuestra rigurosamente que la carga central efectiva es $c_{eff} = \#L$ (el número de letras $L$ en la palabra) para cada palabra hiperbólica, derivada mediante identidades de dilogaritmo de Rogers en las soluciones de autovectores.
• Espectro de Pegado de Asas: Los valores de pegado de asas $H_\alpha$ se computan para todas las clases no degeneradas.
  • Para las dos clases identidad ($V^*$ y $\sigma V^*$), $H = 2^{\#L} \lambda^{\pm 1} |A_-| |A_+|$, donde $\lambda$ es el factor de estiramiento (stretch factor).
  • Para las clases no identidad no degeneradas asociadas a vectores del núcleo $v$ de $\phi \mp 1$, $H = 2^{\#L} |A_\mp|$.
  • El artículo establece que para palabras sin secuencias de un solo elemento (singleton runs), estas clases (más las clases identidad) constituyen todas las clases no degeneradas.
• Datos Modulares e Injerto (Grafting): Bajo entradas físicas específicas (el diccionario del semi-índice y la identificación del vacío), el artículo demuestra que para palabras de traza impar, las matrices $S$ y $T$ resultantes corresponden al injerto de Evans–Gannon. Específicamente, para la familia diagonal $L_m R_m$ donde $m$ es primo y $m^2+4$ es primo, los datos son un conjugado de Galois del injerto unitario, realizando los datos modulares del doble de la categoría de Haagerup–Izumi no retorcida.
• Espín y Formas de Enlace: Se muestra que los espines conformes de los vacíos son refinamientos cuadráticos de las formas de enlace de torsión en los grupos $A_\mp$. El espín se expresa explícitamente en términos de los vectores del núcleo y la forma de enlace.

Significancia y Alcance
El artículo afirma establecer un puente riguroso entre la clasificación algebraica de las categorías de Haagerup–Izumi y la construcción física de las TQFTs de $S$-pliegues. Proporciona una descripción completa y de forma cerrada de los vacíos de Bethe y sus invariantes asociados (pegado de asas, fibrado, espín) para una amplia clase de palabras, confirmando la conjetura del injerto de Evans–Gannon en el contexto de estas TQFTs.

El trabajo es modesto en cuanto a su alcance:

• Demuestra resultados para todas las palabras hiperbólicas sin entrada física respecto a la estructura de la matriz de nivel y la existencia del vacío positivo.
• Los resultados relativos a la carga central $c$ y la identificación del objeto unidad dependen del "diccionario del semi-índice" y de supuestos específicos de identificación del vacío (Entrada (b)).
• El artículo señala explícitamente que no construye categorías para los datos modulares retorcidos ($D^\omega H_{gm}$ con $\omega \neq 0$), ni resuelve completamente las clases degeneradas para palabras generales (aunque aborda la familia diagonal $L_m R_m$ para $m$ primo mediante un análisis separado en la Parte IV).
• El signo de la entrada $S_{00}$ y la completitud de la clasificación para palabras con secuencias de un solo elemento (singleton runs) permanecen abiertos o dependen de verificación numérica.

En resumen, el artículo establece que los datos modulares de los dobles de las categorías de Haagerup–Izumi pueden generarse sistemáticamente a partir de las palabras hiperbólicas de $SL(2, \mathbb{Z})$ mediante los vacíos de Bethe de las teorías de gauge abelianizadas asociadas, donde los operadores de pegado de asas y de fibrado desempeñan el papel de los invariantes clave que vinculan las estructuras topológicas y algebraicas.