$c_{\rm eff}$ from Surgery and Modularity

Resumen Técnico de "$\widehat{Z}$ desde la Cirugía y la Modularidad"

Planteamiento del Problema
El artículo aborda el desafío de definir y comprender los invariantes $\widehat{Z}$ para 3-variedades cerradas y orientadas generales, centrándose específicamente en variedades de plúmbeo (plumbed manifolds) definidas positivas, tales como las esferas de Brieskorn $\Sigma(s, t, rst \pm 1)$. Mientras que los invariantes $\widehat{Z}$ están rigurosamente definidos para variedades de plúmbeo definidas negativas mediante series $q$ convergentes, su extensión al caso definido positivo sigue siendo un problema abierto. Existen dos propuestas principales para esta extensión:

1. La Conjetura de la Cirugía Regularizada $+1/r$: Combinar fórmulas de cirugía con la conjetura de la función modular falsa (Park; Cheng et al.), la cual postula que $\widehat{Z}$ para variedades definidas positivas puede expresarse mediante series theta indefinidas y formas modulares falsas (mock modular forms).
2. El Enfoque de la Resurgencia: Basado en la resummación de Borel de la integral de camino de Chern–Simons (Costin et al.), que relaciona $\widehat{Z}$ con una expansión de trans-series que involucra conexiones planas no abelianas.

La cuestión central es si estos dos enfoques producen resultados compatibles, particularmente respecto a la carga central efectiva, $c_{\text{eff}}$, que gobierna el crecimiento asintótico de los coeficientes de la serie $\widehat{Z}$. Físicamente, se espera que $c_{\text{eff}}$ esté relacionada con los invariantes de Chern–Simons de las conexiones planas no abelianas en la variedad.

Metodología
Los autores emplean un enfoque multifacético que combina el análisis numérico, la teoría de formas modulares y técnicas de resurgencia para computar y comparar $c_{\text{eff}}$ para la clase de esferas de Brieskorn $\Sigma(s, t, rst \pm 1)$.

1. Límites Superiores vía Regularización: Los autores analizan la conjetural fórmula de cirugía regularizada $+1/r$. Demuestran que la tasa de crecimiento de los coeficientes (y, por tanto, el límite superior de $c_{\text{eff}}$) está gobernada enteramente por el factor de regularización (específicamente la función theta de Ramanujan o la inversa de la función eta de Dedekind), en lugar de los datos específicos del nudo. Esto establece un límite superior estricto para $c_{\text{eff}}$ que depende únicamente de la pendiente de la cirugía $r$.
2. Análisis Numérico: Utilizando los primeros $10^4$ términos de la expansión de la serie $q$ derivada de la fórmula de cirugía, los autores estiman numéricamente los límites inferiores de $c_{\text{eff}}$. Analizan la estructura de singularidades de la serie en el círculo unidad para determinar las singularidades dominantes, las cuales dictan el comportamiento asintótico.
3. Completitud Modular y Mock Modularidad: Para la subclase $\Sigma(s, t, str + 1)$, donde el invariante es conocido por ser una forma modular falsa mixta (mixed mock modular form), los autores construyen la completitud modular de $\widehat{Z}$. Al realizar la transformación $S$-modular, descomponen el invariante en partes holomorfas y no holomorfas ($W(\tau)$, $Z_{G_{c_1}}$, y $Z_{G_{c_2}}$). Realizan un análisis asintótico de estos componentes para derivar valores exactos de $c_{\text{eff}}$.
4. Comparación con la Resurgencia: Los valores derivados del enfoque modular se comparan con los resultados obtenidos del marco de la resurgencia (específicamente el trabajo de Adams et al.), que predice $c_{\text{eff}}$ basándose en la expansión de trans-series asociada con las conexiones planas.

Contribuciones Clave y Resultados

• Incompatibilidad de las Propuestas: El resultado principal es que la conjetura de la cirugía regularizada $+1/r$ y la expansión de trans-series basada en la resurgencia son genéricamente incompatibles. Para muchas esferas de Brieskorn, ambos métodos producen valores significativamente diferentes para $c_{\text{eff}}$.
• Violación de la Relación de Chern–Simons: El artículo demuestra que para varios ejemplos (por ejemplo, $\Sigma(3, 4, 13)$, $\Sigma(3, 4, 11)$), el $c_{\text{eff}}$ computado mediante la fórmula de cirugía no corresponde a ningún invariante de Chern–Simons de una conexión plana. Específicamente, el $c_{\text{eff}}$ computado a menudo conduce a parámetros $m$ irracionales o no enteros en la relación $c_{\text{eff}} = 24(m^2/4st(rst \pm 1) - l)$, mientras que el marco de la resurgencia predice valores enteros correspondientes a conexiones planas específicas.
• Valores Exactos vía Modularidad Falsa: Para la clase $\Sigma(s, t, str + 1)$, los autores proporcionan expresiones analíticas exactas para $c_{\text{eff}}$ utilizando la completitud modular de la forma modular falsa mixta. Encuentran que, si bien el análisis modular concuerda con las estimaciones numéricas, frecuentemente produce valores que no encajan con la interpretación topológica esperada (es decir, no coinciden con los invariantes de Chern–Simons de las conexiones planas no abelianas).
• Estructura de Singularidades: Los autores identifican que para $r > 1$, la singularidad dominante de la serie $\widehat{Z}$ no siempre está en $q=1$, sino que puede desplazarse hacia raíces de la unidad (por ejemplo, $q = e^{-2\pi i 2/5}$ para $\Sigma(2, 3, 13)$), una característica que debe ser considerada en el análisis asintótico.
• Caso Definido Negativo: Como resultado complementario, los autores demuestran que para variedades de plúmbeo definidas negativas, los coeficientes de $\widehat{Z}$ están acotados polinómicamente, lo que implica que $c_{\text{eff}} \leq 1$ (tras la normalización apropiada), proporcionando una base coherente para la comparación.

Significado
El artículo sostiene que $c_{\text{eff}}$ sirve como una sonda sensible para el "lado positivo" de la teoría $\widehat{Z}$. Los hallazgos sugieren que las definiciones conjeturales actuales de $\widehat{Z}$ para variedades definidas positivas —ya sea mediante fórmulas de cirugía o resurgencia— pueden requerir refinamiento, o bien que la relación entre estos invariantes y la teoría de Chern–Simons de conexiones planas es más sutil de lo que se asumía anteriormente. La incompatibilidad entre los enfoques modular y de resurgencia resalta una brecha en la comprensión actual de la estructura modular de los invariantes $\widehat{Z}$ en el "lado positivo". Los autores concluyen que estas inconsistencias subrayan la necesidad de una definición más exhaustiva de $\widehat{Z}$ para variedades de 3 dimensiones generales y sugieren que la carga central efectiva es una herramienta diagnóstica crucial en esta búsqueda.