Mass formula for topological boundary conditions from TQFT gravity

Resumen Técnico: Fórmula de Masa para Condiciones de Contorno Topológicas desde la Gravedad de TQFT

Planteamiento del Problema
En matemáticas, las fórmulas de masa se utilizan para evaluar el conteo ponderado total de estructuras algebraicas, tales como redes (lattices) o códigos de corrección de errores. En el contexto de las TQFT 3D (Teorías de Campo Cuánticas Topológicas), específicamente aquellas del tipo de categoría de tensores modulares unitarias, existe la necesidad de contar y ponderar las condiciones de contorno topológicas (TBCs). Si bien trabajos previos establecieron una dualidad holográfica entre la gravedad de TQFT (un modelo de gravedad topológica definido por la suma sobre todas las topologías 3D con un contorno fijo) y un ensamble de teorías de contorno, faltaba un método general para evaluar la "masa" —definida como el conteo ponderado total de las TBCs— para teorías Abelianes y no Abelianes arbitrarias. Específicamente, el artículo aborda cómo calcular la función de partición renormalizada de la gravedad de TQFT, que corresponde a esta masa, realizando una suma sobre todas las variedades 3D cerradas.

Metodología
Los autores derivan una fórmula de masa aprovechando las propiedades del grupo de clases de mapeo y la estructura de los espacios de Hilbert de las TQFT en superficies de Riemann de género $g$.

1. Dualidad Holográfica y Proyectores: El argumento central se basa en la observación de que los estados $|C\rangle$, definidos por condiciones de contorno topológicas, son invariantes bajo el grupo de clases de mapeo. Para un género $g$ suficientemente grande, estos estados abarcan el espacio de invariantes modulares y se vuelven mutuamente ortogonales. Consecuentemente, la matriz de densidad formada al sumar sobre todas las condiciones de contorno actúa como un proyector sobre el subespacio invariante modular. Este proyector puede expresarse equivalentemente como un promedio formal sobre el grupo de clases de mapeo.
2. Suma sobre Topologías: La fórmula de masa se deriva evaluando el elemento de matriz de este proyector entre estados de vacío. Esto transforma el problema de contar condiciones de contorno en el cálculo de la función de partición de la TQFT promediada sobre todas las variedades 3D conectadas cerradas. Los autores parametrizan estas variedades utilizando desdoblamientos de Heegaard (Heegaard splittings) en lugar del enfoque convencional de enlace-en-$S^3$.
3. Transformación de Base: Para evaluar la suma sobre los desdoblamientos de Heegaard, los autores introducen una base específica en el espacio de Hilbert de la TQFT. Esta base, construida a partir de subgrupos lagrangianos (identificados con códigos even self-dual en el caso Abeliano), linealiza la acción del grupo de clases de mapeo. Esto simplifica el cálculo de la función de partición en variedades generadas por el pegado de cuerpos de mano (handlebodies).
4. Factorización y Evaluación Explícita: Los autores utilizan la factorización de las teorías Abelianas en componentes de potencia prima ($T_{p^m}$). Reducen la suma infinita sobre topologías al límite de sumas finitas sobre el grupo simpléctico $Sp(2g, \mathbb{Z}_k)$. Al analizar los representantes de la clase cociente del estabilizador del estado de vacío, expresan la masa como una suma sobre invariantes de matrices simétricas (relacionadas con sumas de Gauss).

Contribuciones Clave y Resultados

• Fórmula de Masa General: El artículo establece la 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$$
  donde $D$ es la dimensión cuántica total, y la suma en el lado derecho representa la función de partición promediada sobre todas las variedades 3D cerradas (vía desdoblamientos de Heegaard). Esta cantidad se interpreta como la función de partición renormalizada de la gravedad de TQFT.
• Caso Abeliano (Códigos y Redes): Para las teorías Abelianas, las TBCs corresponden a subgrupos lagrangianos, que se mapean a códigos clásicos even self-dual. Los autores muestran que la fórmula de masa derivada reproduce fórmulas de masa conocidas para varias familias de códigos (por ejemplo, códigos Tipo II).
  • Proporcionan evaluaciones explícitas para teorías con exponente de Frobenius-Schur $k=p$, $k=p^m$, y casos específicos como $k=2, 4, 8$.
  • Ejemplos específicos incluyen el código toric de nivel-$k$, teorías de Chern-Simons $U(1)_k$, y combinaciones de las mismas. Los resultados recuperan el número de códigos self-dual sobre $\mathbb{Z}_p$ y códigos binarios doubly-even self-dual.
  • El artículo demuestra que la existencia de TBCs en teorías bosónicas Abelianas es equivalente al desvanecimiento de todas las cargas centrales superiores, un resultado previamente mostrado en [6] pero aquí derivado del formalismo de la fórmula de masa.
• Generalización No Abeliana: El marco se extiende a TQFTs no Abelianas. En este caso, la masa es una suma ponderada donde el peso es inversamente proporcional al tamaño del grupo de automorfismos de la condición de contorno ($|Aut(C)|$).
  • Los autores calculan la masa para $n + \bar{n}$ copias de la categoría de tensores modulares Ising ($V_{ir}^{c=1/2}$).
  • El resultado se expresa en términos de "D-códigos" (códigos lineales binarios triplemente-even), generalizando hallazgos previos sobre Álgebras de Vértices (VOAs) con marco (framed).
• Generalización a Cinco Dimensiones: La construcción se generaliza a teorías de Chern-Simons de 2-formas Abelianas en cinco dimensiones (teorías de tipo BF).
  • La fórmula de masa cuenta subgrupos máximos no anómalos de simetrías de 2-formas.
  • La suma se realiza sobre geometrías 5D cerradas, involucrando el grupo ortogonal $O(n, n, \mathbb{Z}_k)$, y las condiciones de contorno se identifican con códigos simplécticos self-dual.

Significancia
El artículo proporciona una derivación física unificada de las fórmulas matemáticas de masa para códigos y redes utilizando la maquinaria de la gravedad de TQFT. Al interpretar la suma sobre topologías como una función de partición renormalizada, los autores ofrecen un método sistemático para evaluar el número de condiciones de contorno topológicas para cualquier teoría bosónica Abeliana y casos no Abelianos específicos. El trabajo cierra la brecha entre la clasificación de estructuras algebraicas (códigos) y la dualidad holográfica de la gravedad topológica, demostrando que la "masa" de las condiciones de contorno es un observable fundamental en la teoría gravitatoria dual. Los cálculos explícitos para varios niveles y dimensiones sirven como comprobaciones concretas de la dualidad holográfica entre la gravedad de TQFT y los ensambles de CFT de contorno.