S-matrices in the holomorphic modular bootstrap approach

Resumo Técnico: S-matrizes na Abordagem de Bootstrap Modular Holomórfico

1. O Problema
O artigo aborda uma lacuna fundamental na abordagem de bootstrap modular holomórfico para Teorias de Campo Conformes Racionais (RCFTs). Neste método, os caracteres de uma RCFT são tratados como soluções independentes de uma Equação Diferencial Linear Modular (MLDE) de ordem $n$ (onde $n$ é o número de caracteres).

• O Desafio: Embora seja possível encontrar soluções "admissíveis" (séries $q$ com coeficientes inteiros não negativos) resolvendo equações diofantinas para os parâmetros da MLDE, a obtenção da matriz S (que codifica as transformações modulares e as regras de fusão via fórmula de Verlinde) permanece um problema não resolvido para MLDEs que não são do tipo hipergeométrico.
• Limitações Atuais: Métodos existentes para determinar a matriz S (como construções de coseto generalizadas, operadores de Hecke ou dualidades involutivas) são indiretos e dependem de inputs externos ao framework da MLDE. Sem a matriz S, não se pode verificar se uma solução admissível corresponde a uma RCFT unitária real ou calcular as matrizes de fusão.

2. Metodologia
Os autores propõem um método intrínseco ao setup da MLDE para determinar a matriz S, combinando análise numérica com propriedades algébricas profundas da teoria. O processo segue os seguintes passos:

• Mudança de Variáveis e Pontos Singulares:
  A MLDE é analisada no espaço da variável $z = J(\tau)/1728$, onde $J$ é o invariante de Klein. Os pontos $z=0, 1, \infty$ são pontos singulares regulares.

  • $z=0$ (ou $w=0$ após mudança de variável) corresponde à matriz $T$ (monodromia local).
  • $z=1$ (ou $w=1$) corresponde à matriz $S$.
  • $z=\infty$ corresponde à matriz $T$ no infinito.

• Matriz de Conexão (Matching Numérico):
  Os autores constroem bases de soluções locais (séries de Frobenius) em torno dos pontos singulares $w=0$ e $w=1$.

  • Seja $B_0(w)$ a base em torno de $w=0$ e $B_1(u)$ a base em torno de $u=1-w=0$.
  • As matrizes de monodromia locais $M_0$ e $M_1$ são diagonais nessas bases.
  • A relação entre as bases é dada por uma matriz de conexão $C$: $B_1(1-w_0) = C \cdot B_0(w_0)$.
  • O ponto de coincidência $w_0$ é escolhido no interior do domínio de convergência (ex: $w_0 = 1/2 + \epsilon$).
  • Ajustando os coeficientes das séries de Frobenius até uma ordem alta, resolve-se um sistema linear para obter uma estimativa numérica precisa da matriz $C$.
  • A matriz S é então recuperada via: $S = C^{-1} \cdot M_1 \cdot C$.

• Recuperação Exata via Simetria de Galois:
  A estimativa numérica de $S$ é convertida em uma expressão exata explorando a simetria de Galois das RCFTs.

  • Sabe-se que as entradas da matriz S normalizada ($\bar{S} = S/S_{00}$) pertencem ao anel de inteiros $\mathbb{Z}[\zeta_{\bar{N}}]$ de uma extensão ciclotômica do campo racional, onde $\bar{N}$ é a ordem da matriz $T$ normalizada.
  • Utilizando uma base integral desse anel (potências de raízes da unidade), os autores minimizam a diferença entre a estimativa numérica e combinações lineares inteiras de raízes da unidade, recuperando assim os coeficientes exatos inteiros.

3. Contribuições Principais

• Método Intrínseco: Desenvolvimento de uma técnica que calcula a matriz S diretamente dentro do framework da MLDE, sem depender de construções externas (como cosetos ou operadores de Hecke).
• Generalidade: O método aplica-se a MLDEs não-hipergeométricas, expandindo o alcance do bootstrap modular para teorias mais complexas.
• Prova de Integridade (Apêndice): O apêndice, escrito por Abhiram Kidambi, fornece uma prova compacta e rigorosa de que as entradas da matriz S normalizada residem no anel de inteiros de uma extensão ciclotômica específica, fundamentando a etapa de recuperação exata do método numérico.
• Tratamento de Teorias Não-Unitárias: O método lida com a ambiguidade de operadores de identidade em teorias não-unitárias (onde o operador de menor dimensão não é a identidade), utilizando simetrias de Galois ("Galois shuffle") para corrigir a normalização.

4. Resultados
Os autores validaram o método em diversos exemplos, demonstrando sua eficácia:

• Teorias de 3 Caracteres (3, 3): Re-derivação da matriz S para teorias com índice de Wronskian $\ell=3$, obtendo resultados que coincidem com os conhecidos via dualidade involutiva.
• **Exemplo com $S_{00}=0:** Aplicação bem-sucedida em um caso onde a normalização padrão falha, utilizando o resultado de Coste-Gannon para recuperar a matriz exata em$\mathbb{Q}(\zeta_8)$.
• Teorias de 4 Caracteres: Cálculo de matrizes S para casos (4, 0) e (4, 2), incluindo a determinação das multiplicidades dos caracteres e a identificação de teorias com 6 primários.
• Teorias de 5 Caracteres: Aplicação em pares de teorias (5, 0) e (5, 2) que são duais de Gaberdiel-Hampapura-Mukhi (GHM). O método recuperou consistentemente a mesma matriz S para ambas as teorias duais, confirmando a consistência do método e a estrutura da classe LY4.

5. Significância
Este trabalho representa um avanço significativo na classificação e compreensão das RCFTs através do bootstrap modular.

• Autonomia: Remove a dependência de métodos externos para obter dados modulares completos (especialmente a matriz S), permitindo que o bootstrap modular funcione como um sistema fechado de descoberta.
• Verificação de Admissibilidade: Permite verificar se uma solução admissível da MLDE é, de fato, uma RCFT física válida, calculando as matrizes de fusão e verificando a unitariedade.
• Fundamentação Teórica: A conexão explícita entre a análise numérica de equações diferenciais e a teoria de números (extensões ciclotômicas) abre novas portas para investigar a estrutura algébrica subjacente às teorias conformes, sugerindo que a simetria de Galois pode ser derivada diretamente da estrutura da MLDE, possivelmente sem recorrer à fórmula de Verlinde.

Em suma, o artigo fornece uma ferramenta poderosa e sistemática para extrair dados modulares completos a partir de equações diferenciais, unindo análise complexa, teoria de números e física teórica.