[论文解读] A resurgence analysis of the $SU(2)$ Chern-Simons partition functions on a Brieskorn homology sphere $Σ(2,5,7)$

Sungbong Chun|arXiv (Cornell University)|Jan 12, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用 9

一句话总结

本文对 $SU(2)$ 规范理论在 Brieskorn 同调球面 $\Sigma(2,5,7)$ 上的 Chern-Simons 分区函数进行了重正化分析，表明其微扰展开的 Borel 求和能够恢复精确分区函数，并揭示了编码非微扰贡献的 Stokes 现象。结果表明，精确分区函数可分解为同调块，支持通过模变换对模形式的非全纯形式进行范畴化的猜想。

ABSTRACT

We perform a resurgence analysis of the $SU(2)$ Chern-Simons partition function on a Brieksorn homology sphere $Σ(2,5,7)$. Starting from an exact Chern-Simons partition function, we study the Borel resummation of its perturbative expansion.

研究动机与目标

• 研究 $SU(2)$ Chern-Simons 分区函数在 Brieskorn 同调球面 $\Sigma(2,5,7)$ 上的重正化结构。
• 检验分区函数可通过同调块的模变换实现范畴化的猜想。
• 证明微扰展开的 Borel 求和能恢复包含非微扰贡献的完整精确分区函数。
• 识别 Stokes 现象与单值性系数在将不可约平坦联络组织为同调块中的作用。
• 验证分区函数属于 $q^{121/280}\mathbb{Z}[[q]]$，从而支持模范畴化。

提出的方法

• 将级别 $k$ 解析延拓至复数值，并对 Chern-Simons 路径积分应用最陡下降法。
• 对微扰展开执行 Borel 变换与拉普拉斯型求和，以重建精确分区函数。
• 利用与鞍点（即平展的 $SL(2,\mathbb{C})$ 连接）相关的 Lefshetz 柱面 $\Gamma_{\tilde{\alpha}}$ 定义积分路径。
• 通过 Stokes 现象与单值性系数 $m_{\tilde{\beta}}^{(\alpha_0,0)}$ 确定瞬子参数 $n_{\tilde{\alpha},\theta}$。
• 将精确分区函数表示为阿贝尔平坦联络的和：$Z_{CS} = \sum_a e^{2\pi i k CS_a} Z_a$，其中 $Z_a$ 为同调块。
• 验证 $Z_{\alpha_0}$ 为 $q^{1/2}\mathbb{Z}[[q]]$ 中的 $q$-级数，并计算其模变换以确认与范畴化的相容性。

实验结果

研究问题

• RQ1 Borel 求和能否重建 $\Sigma(2,5,7)$ 上 $SU(2)$ Chern-Simons 分区函数的精确值？
• RQ2 Stokes 现象与单值性系数如何将不可约平坦联络组织为同调块？
• RQ3 精确分区函数是否可分解为与模范畴化相容的同调块？
• RQ4 同调块 $Z_{\alpha_0}$ 是否为 $q^{1/2}\mathbb{Z}[[q]]$ 中的 $q$-级数，以满足范畴化要求？
• RQ5 同调块分解下的模 S-矩阵元 $S_{\alpha_0\alpha_0}$ 是多少？

主要发现

• 微扰展开的 Borel 求和通过 Lefshetz 柱面的线性组合成功重建了精确分区函数 $Z_{CS}(\Sigma(2,5,7))$。
• Stokes 现象编码了非微扰贡献，单值性系数 $m_{\tilde{\beta}}^{(\alpha_0,0)}$ 对 12 个不可约平坦联络的独立类取值 $\pm1$。
• 精确分区函数表示为 $Z_{CS} = Z^{\alpha_0}_{\text{pert}} + \frac{1}{2}\sum_{\tilde{\beta}} m_{\tilde{\beta}}^{(\alpha_0,0)} e^{2\pi i k S_{\tilde{\beta}}} Z^{\beta}_{\text{pert}}$，确认了同调块分解。
• 同调块 $Z_{\alpha_0}$ 被识别为 $q^{1/2}(1 - q^3 - q^5 + q^{12} + \cdots)$，属于 $q^{1/2}\mathbb{Z}[[q]]$，满足范畴化条件。
• 模 S-矩阵元为 $S_{\alpha_0\alpha_0} = \frac{1}{2}$，与提出的模变换范畴化方案一致。
• 分区函数被证明是若干非全纯模形式 $\tilde{\Psi}_{70}^a(q)$ 的线性组合，其 $q$-指数属于 $\frac{121}{280}\mathbb{Z}$，从而确认其 $q$-级数结构。