Signatures in TQFT : Asymptotics and Modularity

Resumo Técnico: Assinaturas em TQFT: Assintótica e Modularidade

1. O Problema e o Contexto

O artigo investiga o comportamento assintótico e as propriedades modulares das assinaturas ($\sigma_g$) de espaços vetoriais associados à Teoria Quântica de Campos Topológicos (TQFT) baseada no grupo $SU(2)$.

• Contexto: Para uma superfície fechada orientável $S_g$ de gênero $g$, a TQFT de $SU(2)$ associa um espaço vetorial $V_p(S_g)$ sobre um corpo ciclotômico $Q(\zeta)$, onde $\zeta$ é uma raiz da unidade de ordem $2p$ ($p$ ímpar). Este espaço possui uma forma hermitiana $h_g$.
• O Objeto de Estudo: A assinatura $\sigma_g(q/p)$ é definida como a assinatura da forma hermitiana $h_g$ quando o corpo é embutido em $\mathbb{C}$ via $\zeta = e^{i\pi q/p}$, com $0 < q < p$ inteiros ímpares coprimos.
• Motivação: Enquanto a dimensão desses espaços (fórmula de Verlinde) é bem compreendida e tem um limite clássico relacionado ao volume do espaço de módulos de representações, a assinatura depende fortemente da escolha de $q$ e seu comportamento assintótico quando $q/p \to \theta$ (onde $\theta$ é irracional) era pouco estudado. O caso trivial ocorre para $g=0$ e $g=1$ (onde a forma é definida positiva), tornando o gênero $g=2$ o primeiro caso não trivial e o foco principal do trabalho.

2. Metodologia

Os autores utilizam uma combinação de técnicas de álgebra combinatória, análise assintótica e teoria de formas modulares.

1. Álgebra de Frobenius e Sinais:

   • Utilizam a estrutura de álgebra de Frobenius semi-simples $V^q_p$ (uma "álgebra de Verlinde assinada") para expressar a assinatura como um traço de elementos específicos.
   • Derivam uma fórmula combinatória explícita para $\sigma_2(q/p)$ como uma soma de sinais sobre triplas de inteiros $(j, k, \ell)$ satisfazendo condições de triângulo e paridade (Equação 1).

2. Transformada de Fourier e Fórmulas Trigonométricas:

   • Aplicam uma transformada de Fourier finita para converter a soma de sinais em uma soma trigonométrica envolvendo raízes da unidade.
   • Utilizam o Teorema de Brion para calcular somas sobre politopos, obtendo uma fórmula trigonométrica explícita para $\sigma_2(q/p)$ (Teorema 3.1).
   • Simplificam drasticamente essa fórmula usando uma identidade trigonométrica apontada por Y. Murakami (Corolário 3.2), resultando em:
     $$\sigma_2\left(\frac{q}{p}\right) = \frac{2}{p} \sum_{n=1, \text{impar}}^{p-2} \frac{\cot^3(\pi n / 2p)}{\sin(\pi n q / p)}$$

3. Análise Assintótica:

   • Estudam o limite de $\sigma_2(q_k/p_k)/p_k^2$ quando $q_k/p_k$ são convergentes da expansão em fração contínua de um número irracional $\theta$.
   • Utilizam propriedades de expoentes de irracionalidade e estimativas de aproximação diofantina para justificar a troca de limite e soma, provando a convergência para uma série infinita.

4. Teoria de Formas Modulares:

   • Identificam a função limite $\Lambda(\theta)$ como o valor de fronteira de uma integral de Eichler de uma forma modular de peso 4 para o grupo $\Gamma(2)$.
   • Estabelecem leis de transformação funcional para $\Lambda(\theta)$ análogas às fórmulas de reciprocidade de somas de Dedekind.

3. Principais Resultados

• Teorema Assintótico (Teorema 4.1):
  Para quase todo $\theta \in [0, 1]$ irracional, se $q_k/p_k$ são os convergentes de $\theta$, então:
  $$\lim_{k \to \infty} \frac{\sigma_2(q_k/p_k)}{p_k^2} = \Lambda(\theta) = \frac{16}{\pi^3} \sum_{n \ge 1, \text{impar}} \frac{\sin(n\pi\theta)}{n^3}$$
  Isso estabelece uma conexão direta entre a assinatura quântica e uma série de Fourier específica.

• Propriedades Modulares e Lei de Transformação:
  A função limite $\Lambda(\theta)$ satisfaz uma lei de transformação funcional sob a ação de $\Gamma(2)$:
  $$\Lambda\left(\frac{\theta}{2\theta+1}\right)(2\theta+1)^2 - \Lambda(\theta) = 2\theta^2 + 2\theta + 1$$
  Esta equação é análoga à lei de transformação das somas de Dedekind, sugerindo uma estrutura profunda subjacente.

• Conjectura de Reciprocidade para Assinaturas (Conjectura 6.12):
  Baseado na analogia com o caso de gênero 0 (relacionado a somas de Dedekind) e na lei de transformação de $\Lambda$, os autores propõem uma lei de transformação exata para a assinatura discreta no gênero 2:
  $$\sigma_2\left(\frac{q}{2q+p}\right) - \sigma_2\left(\frac{q}{p}\right) = 2q^2 + 2qp + p^2 - 1$$
  Nota: O artigo menciona que, em fevereiro de 2026, Y. Murakami forneceu uma prova desta conjectura utilizando a fórmula trigonométrica derivada no artigo.

• Caso de Gênero 0 e Somas de Dedekind:
  Os autores demonstram que a assinatura para a esfera com 4 pontos marcados (gênero 0) é exatamente uma versão "2-suavizada" da soma de Dedekind $s(q, p)$, confirmando a conexão entre assinaturas TQFT e teoria dos números clássica.

4. Discussão sobre Gêneros Superiores

O artigo discute brevemente a generalização para $g \ge 3$.

• Numerical experiments sugerem que $\sigma_g(q/p)$ cresce como $p^{2g-2}$ (diferente da dimensão que cresce como $p^{3g-3}$).
• Os autores levantam a questão de se o limite assintótico para $g \ge 3$ seria governado por integrais de Eichler de formas modulares de peso $2g$.
• A complexidade das fórmulas de sinal para $g > 2$ impede, no momento, uma generalização direta dos métodos usados para $g=2$.

5. Significado e Impacto

• Conexão entre TQFT e Teoria dos Números: O trabalho estabelece uma ponte rigorosa entre invariantes quânticos topológicos (assinaturas) e objetos clássicos da teoria dos números (somas de Dedekind, formas modulares, integrais de Eichler).
• Novo Comportamento Assintótico: Revela que, ao contrário da dimensão (que converge para um volume geométrico), a assinatura converge para uma função oscilatória não trivial dependente da aritmética de $\theta$.
• Estrutura Modular: A descoberta de leis de transformação exatas para assinaturas discretas sugere que a TQFT possui uma estrutura modular rica que vai além das representações projetivas usuais do grupo de classes de mapeamento.
• Ferramentas Computacionais: O artigo inclui código Sage para o cálculo eficiente dessas assinaturas, facilitando futuras investigações numéricas.

Em suma, o artigo resolve o problema assintótico para o gênero 2, identifica a estrutura modular subjacente e propõe (e posteriormente vê provada) uma lei de reciprocidade aritmética para assinaturas de TQFT, abrindo novas direções para a compreensão de invariantes quânticos em superfícies de gênero superior.