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

Resumo Técnico: Dados modulares de Haagerup–Izumi a partir de palavras hiperbólicas

Enunciado do Problema
O artigo aborda a construção rigorosa e a compreensão dos dados modulares associados aos duplos das categorias de Haagerup–Izumi. Enquanto Evans e Gannon conjecturaram que esses dados modulares derivam de um "enxerto" (grafting) de dois grupos métricos finitos, e Gannon, Schopieray e Yadav provaram isso para categorias não torcidas (untwisted), a realização física desses dados via teorias de campo quânticos topológicos (TQFTs) ainda precisava ser totalmente compreendida. Especificamente, Gang e Kim identificaram dados modulares não unitários desta forma no twist topológico de teorias $S$-fold de rank-0, derivadas dos vacui de Bethe de uma teoria de gauge abelianizada. O problema central é definir rigorosamente os operadores de colagem de alça (handle-gluing) e de fibramento no contexto deste, construir os vacui de Bethe para monodromias hiperbólicas gerais e estabelecer a correspondência precisa entre os dados algébricos das categorias de Haagerup–Izumi e os dados físicos das TQFTs $S$-fold.

Metodologia
O autor desenvolve um framework unificado baseado em palavras hiperbólicas $\phi$ nos geradores $L$ e $R$ de $SL(2, \mathbb{Z})$, que correspondem à monodromia de fibrados de toro com um furo. A metodologia procede através de três "frames" distintos que interpretam a mesma estrutura matemática subjacente:

1. O Frame de Farey: Utilizando a triangulação em camadas do mapeamento de torus $M_\phi$, o artigo constrói matrizes de Neumann–Zagier $A$ e $B$. A matriz de nível $K$ é derivada como a única solução simétrica para as equações de colagem $BK_{raw} = A$ satisfazendo uma lei de determinante $\det K = 2^r$ (onde $r$ é o comprimento da palavra). Este frame define os vetores de carga e as equações de Bethe.
2. O Frame de Nahm: Mostra-se que as equações de Bethe são equivalentes ao sistema de escada de Nahm para uma matriz simétrica $N = 2(I - K_{raw}^{-1})$. Esta equivalência permite a construção explícita de soluções. O vácuo positivo $V^*$ é identificado como a solução propagada pelo autovetor expansivo de $\phi$, expressa como razões de alturas ao longo de inclinações de Farey.
3. O Frame de Bethe: Este frame define os observáveis físicos. O operador de colagem de alça $H_\alpha$ e o operador de fibramento $F_\alpha$ são avaliados nos vacui de Bethe. O artigo emprega uma deformação das equações de Bethe (introduzindo um parâmetro $\epsilon$) para recuperar soluções degeneradas que residem no infinito no sistema não deformado.

Ferramentas matemáticas fundamentais incluem a teoria de linhas de frieze (especificamente friezes $SL_2$) para restringir soluções dentro de sequências da palavra, a fórmula de Hill para matrizes de Jacobi periódicas para computar o espectro de colagem de alça, e o uso de formas de ligação de torção nos cokernels $A_\mp = \text{coker}(\phi \mp 1)$.

Principais Contribuições e Resultados

• Construção de Grupos Métricos: Para cada palavra hiperbólica $\phi$, o artigo identifica dois grupos métricos finitos $A_\mp = \text{coker}(\phi \mp 1)$. Prova-se que $A_-$ carrega a forma de ligação de torção do mapeamento de torus $M_\phi$ e $A_+$ carrega a de $M_{-\phi}$. Para a família diagonal $L_m R_m$, mostra-se que estes grupos são $\mathbb{Z}_m \times \mathbb{Z}_m$ e $\mathbb{Z}_{m^2+4}$, respectivamente, coincidindo com os grupos métricos das categorias de Haagerup–Izumi não torcidas.
• Soluções em Forma Fechada: O artigo fornece expressões em forma fechada para o vácuo positivo $V^*$ e seu conjugado de Galois $\sigma V^*$ para cada palavra hiperbólica. Estas soluções são dadas como razões de alturas ao longo das inclinações de Farey, propagadas pelo autovetor expansivo da monodromia.
• Carga Central Efetiva: É provado rigorosamente que a carga central efetiva é $c_{eff} = \#L$ (o número de letras $L$ na palavra) para cada palavra hiperbólica, derivada via identidades de dilogaritmo de Rogers nas soluções de autovetor.
• Espectro de Colagem de Alça: Os valores de colagem de alça $H_\alpha$ são computados para todas as classes não degeneradas.
  • Para as duas classes de identidade ($V^*$ e $\sigma V^*$), $H = 2^{\#L} \lambda^{\pm 1} |A_-| |A_+|$, onde $\lambda$ é o fator de estiramento (stretch factor).
  • Para classes não-identidade não degeneradas associadas a vetores de núcleo $v$ de $\phi \mp 1$, $H = 2^{\#L} |A_\mp|$.
  • O artigo estabelece que, para palavras sem sequências de elemento único (singleton runs), estas classes (mais as classes de identidade) constituem todas as classes não degeneradas.
• Dados Modulares e Enxerto (Grafting): Sob inputs físicos específicos (o dicionário de meio-índice e a identificação de vácuo), demonstra-se que, para palavras de traço ímpar, as matrizes $S$ e $T$ resultantes correspondem ao enxerto de Evans–Gannon. Especificamente, para a família diagonal $L_m R_m$ onde $m$ é primo e $m^2+4$ é primo, os dados são um conjugado de Galois do enxerto unitário, realizando os dados modulares do duplo da categoria de Haagerup–Izumi não torcida.
• Spin e Formas de Ligação: Os spins conformais dos vacui são mostrados como refinamentos quadráticos das formas de ligação de torção nos grupos $A_\mp$. O spin é dado explicitamente em termos dos vetores de núcleo e da forma de ligação.

Significância e Escopo
O artigo afirma estabelecer uma ponte rigorosa entre a classificação algébrica das categorias de Haagerup–Izumi e a construção física de TQFTs $S$-fold. Ele fornece uma descrição completa e em forma fechada dos vacui de Bethe e seus invariantes associados (colagem de alça, fibramento, spin) para uma ampla classe de palavras, confirmando a conjectura de enxerto de Evans–Gannon no contexto destas TQFTs.

O trabalho é modesto quanto ao seu escopo:

• Prova resultados para todas as palavras hiperbólicas sem input físico em relação à estrutura da matriz de nível e à existência do vácuo positivo.
• Os resultados relativos à carga central $c$ e à identificação do objeto unidade dependem do "dicionário de meio-índice" e de suposições específicas de identificação de vácuo (Input (b)).
• O artigo nota explicitamente que não constrói categorias para os dados modulares torcidos ($D^\omega H_{gm}$ com $\omega \neq 0$), nem resolve totalmente as classes degeneradas para palavras gerais (embora trate da família diagonal $L_m R_m$ para $m$ primo via uma análise separada na Parte IV).
• O sinal da entrada $S_{00}$ e a completude da classificação para palavras com sequências de elemento único (singleton runs) permanecem abertos ou dependem de verificação numérica.

Em resumo, o artigo estabelece que os dados modulares dos duplos das categorias de Haagerup–Izumi podem ser sistematicamente gerados a partir das palavras hiperbólicas de $SL(2, \mathbb{Z})$ via os vacui de Bethe de teorias de gauge abelianizadas associadas, com os operadores de colagem de alça e de fibramento desempenhando o papel de invariantes chave que ligam as estruturas topológica e algébrica.