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

“手术与模性”技术摘要

问题陈述
本文旨在解决定义和理解一般闭合定向三维流形 $\widehat{Z}$ 不变量的挑战，特别关注正定丛化流形，如 Brieskorn 同调球 $\Sigma(s, t, rst \pm 1)$。虽然 $\widehat{Z}$ 不变量在负定丛化流形上通过收敛的 $q$-级数得到了严格定义，但将其扩展到正定情形仍是一个悬而未决的问题。目前存在两种主要的扩展方案：

1. 正则化 $+1/r$-手术猜想： 将手术公式与假模模形式（false-mock modular）猜想（Park; Cheng 等）相结合，该猜想认为正定流形的 $\widehat{Z}$ 可以通过不定 Theta 级数和假模模形式来表示。
2. 阻尼（Resurgence）方法： 基于 Chern–Simons 路径积分的 Borel 求和（Costin 等），该方法将 $\widehat{Z}$ 与涉及非阿贝尔平坦联络的 trans-series 展开联系起来。

核心问题在于这两种方法是否能产生兼容的结果，特别是关于有效中心荷 $c_{\text{eff}}$，它控制着 $\widehat{Z}$ 级数系数的渐近增长。在物理上，$c_{\text{eff}}$ 被预期与流形上非阿贝尔平坦联络的 Chern–Simons 不变量相关。

研究方法
作者采用了一种结合数值分析、模形式理论和阻尼技术的多维度方法，来计算并比较 Brieskorn 球类 $\Sigma(s, t, rst \pm 1)$ 的 $c_{\text{eff}}$。

1. 通过正则化获取上界： 作者分析了推测性的正则化 $+1/r$-手术公式。他们证明了系数的增长率（以及 $c_{\text{eff}}$ 的上界）完全受正则化因子（具体为 Ramanujan theta 函数或 Dedekind eta 函数的倒数）控制，而非取决于特定的纽结数据。这确立了一个仅依赖于手术斜率 $r$ 的 $c_{\text{eff}}$ 严格上界。
2. 数值分析： 利用从手术公式导出的前 $10^4$ 项 $q$-级数展开，作者对 $c_{\text{eff}}$ 的下界进行了数值估计。他们分析了单位圆上级数的奇点结构，以确定主导奇点，这些奇点决定了渐近行为。
3. 模补全与假模模性： 对于子类 $\Sigma(s, t, str + 1)$（其不变量已知为混合假模模形式），作者构建了 $\widehat{Z}$ 的模补全。通过执行模 $S$-变换，他们将不变量分解为全纯部分和非全纯部分（$W(\tau)$、$Z_{G_{c_1}}$ 以及 $Z_{G_{c_2}}$）。他们对这些组分进行了渐近分析，从而导出 $c_{\text{eff}}$ 的精确值。
4. 与阻尼理论对比： 将通过模方法导出的值与从阻尼框架（特别是 Adams 等人的工作）中获得的结果进行对比，后者基于与平坦联络相关的 trans-series 展开来预测 $c_{\text{eff}}$。

主要贡献与结果

• 方案的不兼容性： 主要结果是正则化 $+1/r$-手术猜想与基于阻尼的 trans-series 展开在通常情况下是不兼容的。对于许多 Brieskorn 球，这两种方法得到的 $c_{\text{eff}}$ 值显著不同。
• 违反 Chern–Simons 关系： 本文表明，对于若干示例（如 $\Sigma(3, 4, 13)$，$\Sigma(3, 4, 11)$），通过手术公式计算出的 $c_{\text{eff}}$ 并不对应于任何平坦联络的 Chern–Simons 不变量。具体而言，计算出的 $c_{\text{eff}}$ 经常导致在关系式 $c_{\text{eff}} = 24(m^2/4st(rst \pm 1) - l)$ 中出现无理数或非整数参数 $m$，而阻尼框架则预测了对应于特定平坦联络的整数值。
• 通过假模模性获得精确值： 对于 $\Sigma(s, t, str + 1)$ 类，作者利用混合假模模形式的模补全提供了 $c_{\text{eff}}$ 的精确解析表达式。他们发现，尽管模分析与数值估计一致，但其产生的值经常无法符合预期的拓扑解释（即它们不匹配非阿贝尔平坦联络的 Chern–Simons 不变量）。
• 奇点结构： 作者指出，当 $r > 1$ 时，$\widehat{Z}$ 级数的主导奇点并不总是位于 $q=1$ 处，而是可能转移到单位根处（例如 $\Sigma(2, 3, 13)$ 处的 $q = e^{-2\pi i 2/5}$），这一特征必须在渐近分析中予以考虑。
• 负定情形： 作为补充结果，作者证明了对于负定丛化流形，$\widehat{Z}$ 的系数是多项式有界的，这意味着（经过适当归一化后）$c_{\text{eff}} \leq 1$，这提供了一个连贯的基准进行比较。

意义
本文声称 $c_{\text{eff}}$ 是探测 $\widehat{Z}$ 理论“正定侧”的一个敏感探针。研究结果表明，目前关于正定流形 $\widehat{Z}$ 的推测性定义——无论是通过手术公式还是阻尼方法——可能需要进一步完善，或者 $\widehat{Z}$ 不变量与平坦联络的 Chern–Simons 理论之间的关系比此前假设的更为微妙。模方法与阻尼方法之间的不兼容性凸显了目前对正定侧 $\widehat{Z}$ 不变量模结构的理解存在差距。作者总结道，这些不一致性强调了需要为一个一般的三维流形定义更全面的 $\widehat{Z}$，并指出有效中心荷是实现这一目标的关键诊断工具。