Mass formula for topological boundary conditions from TQFT gravity

Resumo Técnico: Fórmula de Massa para Condições de Contorno Topológicas de Gravidade TQFT

Enunciado do Problema
Na matemática, fórmulas de massa são utilizadas para avaliar a contagem ponderada total de estruturas algébricas, tais como redes (lattices) ou códigos de correção de erros. No contexto de TQFTs 3D (Teorias de Campo Quantico Topológicas), especificamente daquelas do tipo categoria de tensores modulares unitários, há uma necessidade de contar e ponderar as condições de contorno topológicas (TBCs). Embora trabalhos anteriores tenham estabelecido uma dualidade holográfica entre a gravidade TQFT (um modelo de gravidade topológica definido pela soma sobre todas as topologias 3D com um contorno fixo) e um ensemble de teorias de contorno, faltava um método geral para avaliar a "massa" — definida como a contagem ponderada total de TBCs — para teorias Abelianas e não-Abelianas arbitrárias. Especificamente, o artigo aborda como calcular a função de partição renormalizada da gravidade TQFT, que corresponde a esta massa, realizando uma soma sobre todas as variedades 3D fechadas.

Metodologia
Os autores derivam uma fórmula de massa aproveitando as propriedades do grupo de classe de mapeamento e a estrutura dos espaços de Hilbert de TQFT em superfícies de Riemann de gênero $g$.

1. Dualidade Holográfica e Projetores: O argumento central baseia-se na observação de que os estados $|C\rangle$, definidos por condições de contorno topológicas, são invariantes sob o grupo de classe de mapeamento. Para um gênero $g$ suficientemente grande, esses estados abrangem o espaço das invariâncias modulares e tornam-se mutuamente ortogonais. Consequentemente, a matriz de densidade formada pela soma sobre todas as condições de contorno atua como um projetor sobre o subespaço invariante modular. Este projetor pode ser equivalentemente expresso como uma média formal sobre o grupo de classe de mapeamento.
2. Soma sobre Topologias: A fórmula de massa é derivada avaliando o elemento de matriz deste projetor entre estados de vácuo. Isso transforma o problema de contar condições de contorno no cálculo da função de partição da TQFT média sobre todas as variedades 3D conexas possíveis. Os autores parametrizam estas variedades usando divisões de Heegaard (Heegaard splittings) em vez da abordagem convencional de link-em-$S^3$.
3. Transformação de Base: Para avaliar a soma sobre divisões de Heegaard, os autores introduzem uma base específica no espaço de Hilbert da TQFT. Esta base, construída a partir de subgrupos Lagrangianos (identificados com códigos autoduais pares no caso Abeliano), lineariza a ação do grupo de classe de mapeamento. Isso simplifica o cálculo da função de partição em variedades geradas pela colagem de corpos de mão (handlebodies).
4. Fatoração e Avaliação Explícita: Os autores utilizam a fatoração de teorias Abelianas em componentes de potência prima ($T_{p^m}$). Eles reduzem a soma infinita sobre topologias ao limite de somas finitas sobre o grupo simplético $Sp(2g, \mathbb{Z}_k)$. Ao analisar os representantes de cosseno do estabilizador do estado de vácuo, eles expressam a massa como uma soma sobre invariantes de matrizes simétricas (relacionadas a somas de Gauss).

Contribuições Principais e Resultados

• Fórmula de Massa Geral: O artigo estabelece a fórmula:
  $$N(T) = \sum_{C} 1 = \lim_{g\to\infty} \frac{D^g}{|Sp(2g, \mathbb{Z})|} \sum_{\gamma \in Sp(2g, \mathbb{Z})} {}_g\langle 0|U_\gamma|0\rangle_g$$
  onde $D$ é a dimensão quântica total, e a soma à direita representa a função de partição da gravidade TQFT média sobre todas as variedades 3D fechadas (via divisões de Heegaard). Esta quantidade é interpretada como a função de partição renormalizada da gravidade TQFT.
• Caso Abeliano (Códigos e Redes): Para teorias Abelianas, as TBCs correspondem a subgrupos Lagrangianos, que mapeiam para códigos clássicos autoduais pares. Os autores mostram que a fórmula de massa derivada reproduz fórmulas de massa conhecidas para várias famílias de códigos (ex: códigos Tipo II).
  • Eles fornecem avaliações explícitas para teorias com expoente de Frobenius-Schur $k=p$ (primo), $k=p^m$, e casos específicos como $k=2, 4, 8$.
  • Exemplos específicos incluem o código toric de nível-$k$, teorias de Chern-Simons $U(1)_k$, e combinações destes. Os resultados recuperam o número de códigos autoduais sobre $\mathbb{Z}_p$ e códigos binários autoduais duplamente pares.
  • O artigo demonstra que a existência de TBCs em teorias bosônicas Abelianas é equivalente ao desaparecimento de todas as cargas centrais superiores, um resultado previamente mostrado em [6], mas aqui derivado do formalismo da fórmula de massa.
• Generalização Não-Abeliana: O arcabouço é estendido para TQFTs não-Abelianas. Neste caso, a massa é uma soma ponderada onde o peso é inversamente proporcional ao tamanho do grupo de automorfismo da condição de contorno ($|Aut(C)|$).
  • Os autores calculam a massa para $n + \bar{n}$ cópias da categoria de tensor modular Ising ($V_{ir}^{c=1/2}$).
  • O resultado é expresso em termos de "D-códigos" (códigos lineares binários triplamente pares), generalizando descobertas anteriores sobre Álgebras de Vetores de Conforme (VOAs) emolduradas.
• Generalização para Cinco Dimensões: A construção é generalizada para teorias de Chern-Simons de 2-formas Abelianas de cinco dimensões (teorias do tipo BF).
  • A fórmula de massa conta subgrupos máximos não-anômalos de simetrias de 2-formas.
  • A soma é realizada sobre geometrias 5d fechadas, envolvendo o grupo ortogonal $O(n, n, \mathbb{Z}_k)$, e as condições de contorno são identificadas com códigos simpléticos autoduais.

Significância
O artigo fornece uma derivação física unificada de fórmulas matemáticas de massa para códigos e redes usando a maquinaria da gravidade TQFT. Ao interpretar a soma sobre topologias como uma função de partição renormalizada, os autores oferecem um método sistemático para avaliar o número de condições de contorno topológicas para qualquer teoria bosônica Abeliana e casos não-Abelianos específicos. O trabalho une a classificação de estruturas algébricas (códigos) com a dualidade holográfica da gravidade topológica, demonstrando que a "massa" das condições de contorno é um observável fundamental na teoria gravitacional dual. As computações explícitas para vários níveis e dimensões servem como verificações concretas da dualidade holográfica entre a gravidade TQFT e ensembles de CFTs de contorno.