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

Resumo Técnico de "$\widehat{Z}$ a partir de Cirurgia e Modularidade"

Problema
O artigo aborda o desafio de definir e compreender os invariantes $\widehat{Z}$ para variedades de 3 dimensões fechadas e orientadas em geral, focando especificamente em variedades de plúmbeo (plumbed manifolds) positivas definidas, como as esferas de Brieskorn $\Sigma(s, t, rst \pm 1)$. Embora os invariantes $\widehat{Z}$ sejam rigorosamente definidos para variedades de plúmbeo negativas definidas via séries $q$ convergentes, sua extensão para o caso positivo definido permanece um problema em aberto. Duas propostas primárias existem para esta extensão:

1. A Conjectura da Cirurgia Regularizada $+1/r$: Combinar fórmulas de cirurgia com a conjectura da falsa-mock modularidade (Park; Cheng et al.), que postula que o $\widehat{Z}$ para variedades positivas definidas pode ser expresso via séries theta indefinidas e formas mock modulares.
2. A Abordagem da Ressurgência: Baseada na ressumação de Borel da integral de caminho de Chern–Simons (Costin et al.), que relaciona o $\widehat{Z}$ a uma expansão de trans-série envolvendo conexões planas não-abelianas.

A questão central é se essas duas abordagens produzem resultados compatíveis, particularmente em relação à carga central efetiva, $c_{\text{eff}}$, que governa o crescimento assintótico dos coeficientes da série $\widehat{Z}$. Fisicamente, $c_{\text{eff}}$ espera-se estar relacionado aos invariantes de Chern–Simons de conexões planas não-abelianas na variedade.

Metodologia
Os autores empregam uma abordagem multifacetada combinando análise numérica, teoria de formas modulares e técnicas de ressurgência para computar e comparar $c_{\text{eff}}$ para a classe de esferas de Brieskorn $\Sigma(s, t, rst \pm 1)$.

1. Limites Superiores via Regularização: Os autores analisam a conjectural fórmula de cirurgia regularizada $+1/r$. Eles provam que a taxa de crescimento dos coeficientes (e, portanto, o limite superior de $c_{\text{eff}}$) é governada inteiramente pelo fator de regularização (especificamente a função theta de Ramanujan ou o inverso da função eta de Dedekind), em vez dos dados específicos do nó. Isso estabelece um limite superior estrito para $c_{\text{eff}}$ dependente apenas da inclinação da cirurgia $r$.
2. Análise Numérica: Usando os primeiros $10^4$ termos da expansão da série $q$ derivada da fórmula de cirurgia, os autores estimam numericamente os limites inferiores de $c_{\text{eff}}$. Eles analisam a estrutura de singularidades da série no círculo unitário para determinar as singularidades dominantes, que ditam o comportamento assintótico.
3. Completamento Modular e Mock Modularidade: Para a subclasse $\Sigma(s, t, str + 1)$, onde o invariante é conhecido por ser uma forma mock modular mista, os autores constroem o completamento modular de $\widehat{Z}$. Ao realizar a transformação $S$-modular, eles decompõem o invariante em partes holomorfas e não-holomorfas ($W(\tau)$, $Z_{G_{c_1}}$ e $Z_{G_{c_2}}$). Eles realizam uma análise assintótica desses componentes para derivar valores exatos de $c_{\text{eff}}$.
4. Comparação com Ressurgência: Os valores derivados da abordagem modular são comparados com resultados obtidos do arcabouço de ressurgência (especificamente o trabalho de Adams et al.), que prevê $c_{\text{eff}}$ baseado na expansão de trans-série associada a conexões planas.

Principais Contribuições e Resultados

• Incompatibilidade de Propostas: O principal resultado é que a conjectura da cirurgia regularizada $+1/r$ e a expansão de trans-série baseada em ressurgência são genericamente incompatíveis. Para muitas esferas de Brieskorn, os dois métodos produzem valores significativamente diferentes para $c_{\text{eff}}$.
• Violação da Relação de Chern–Simons: O artigo demonstra que, para vários exemplos (por exemplo, $\Sigma(3, 4, 13)$, $\Sigma(3, 4, 11)$), o $c_{\text{eff}}$ computado via fórmula de cirurgia não corresponde a nenhum invariante de Chern–Simons de uma conexão plana. Especificamente, o $c_{\text{eff}}$ computado frequentemente leva a parâmetros $m$ irracionais ou não-inteiros na relação $c_{\text{eff}} = 24(m^2/4st(rst \pm 1) - l)$, enquanto o arcabouço de ressurgência prevê valores inteiros correspondentes a conexões planas específicas.
• Valores Exatos via Mock Modularidade: Para a classe $\Sigma(s, t, str + 1)$, os autores fornecem expressões analíticas exatas para $c_{\text{eff}}$ usando o completamento modular da forma mock modular mista. Eles descobrem que, embora a análise modular concorde com as estimativas numéricas, ela frequentemente produz valores que não se ajustam à interpretação topológica esperada (ou seja, não correspondem aos invariantes de Chern–Simons das conexões planas não-abelianas).
• Estrutura de Singularidade: Os autores identificam que para $r > 1$, a singularidade dominante da série $\widehat{Z}$ nem sempre está em $q=1$, mas pode se deslocar para raízes da unidade (por exemplo, $q = e^{-2\pi i 2/5}$ para $\Sigma(2, 3, 13)$), uma característica que deve ser considerada na análise assintótica.
• Caso Negativo Definido: Como um resultado complementar, os autores provam que para variedades de plúmbeo negativas definidas, os coeficientes de $\widehat{Z}$ são limitados polinomialmente, implicando $c_{\text{eff}} \leq 1$ (após a devida normalização), fornecendo uma base coerente para comparação.

Significância
O artigo afirma que $c_{\text{eff}}$ serve como uma sonda sensível para o "lado positivo" da teoria $\widehat{Z}$. As descobertas sugerem que as atuais definições conjecturais de $\widehat{Z}$ para variedades positivas definidas — seja via fórmulas de cirurgia ou ressurgência — podem exigir refinamento ou que a relação entre esses invariantes e a teoria de Chern–Simons de conexões planas é mais sutil do que anteriormente assumido. A incompatibilidade entre as abordagens modular e de ressurgência destaca uma lacuna no entendimento atual da estrutura modular dos invariantes $\widehat{Z}$ no "lado positivo". Os autores concluem que essas inconsistências enfatizam a necessidade de uma definição mais abrangente de $\widehat{Z}$ para variedades de 3 dimensões em geral e sugerem que a carga central efetiva é uma ferramenta de diagnóstico crucial nesta busca.