[论文解读] Perturbative 3-manifold invariants by cut-and-paste topology

Greg Kuperberg, Dylan P. Thurston|ArXiv.org|Dec 21, 1999

Geometric and Algebraic Topology参考文献 18被引用 51

一句话总结

本论文通过剪切-粘贴拓扑方法，基于修改后的配置空间之间的广义高斯映射，给出了规范场论中与陈-西蒙斯理论相关的微扰3-流形不变量的纯拓扑定义。关键贡献在于证明了这些不变量在代数分裂手术和托雷利手术下均为有限型，并且对整同调球面具有 universality（普遍性）。

ABSTRACT

We give a purely topological definition of the perturbative quantum invariants of links and 3-manifolds associated with Chern-Simons field theory. Our definition is as close as possible to one given by Kontsevich. We will also establish some basic properties of these invariants, in particular that they are universally finite type with respect to algebraically split surgery and with respect to Torelli surgery. Torelli surgery is a mutual generalization of blink surgery of Garoufalidis and Levine and clasper surgery of Habiro.

研究动机与目标

• 提供3-流形及其链的微扰量子不变量的纯拓扑定义，避免使用微分形式和积分。
• 通过在带框架的有理同调3-球面上进行手术操作，证明这些不变量在瓦西列夫意义下为有限型。
• 通过引入托雷利手术作为统一框架，推广并统一现有有限型不变量的概念。
• 在有限型框架下，证明不变量 $ I_n(M) $ 对整同调球面具有普遍性。
• 通过来自雅可比图和胞腔体分解的上同调配对与配置空间，定义不变量。

提出的方法

• 通过从3-流形 $ M $ 利用剪切-粘贴拓扑构造的修改后配置空间之间的广义高斯映射 $ \Phi: X_n \to Y_n $ 来定义微扰不变量。
• 利用雅可比图的组合结构和一个传播子 $ \alpha \in H^2(P; \mathbb{Q}) $，从 $ M $ 构造空间 $ X_n $ 和 $ Y_n $。
• 通过上同调配对 $ \Phi^*: H^{6n}(P^{\times 3n}, Q; \mathbb{Q}) \to H^{6n}(X_n, D; \mathbb{Q}) $ 定义不变量，公式为 $ I_w(M) = \langle w, \Phi^*(\alpha^{\otimes 3n}) \rangle $。
• 将全息不变量 $ I_n(M) \in V_n $ 定义为权系统空间 $ V_n^* $ 的对偶，以确保与有限型结构的一致性。
• 对取值于循环的函数 $ \mu_w(t) $ 应用有限差分微积分，计算托雷利手术立方体上的交错和。
• 利用泡泡纸模型和粘贴构造，确保在胞腔体各部分之间上同调传播子 $ \alpha_I $ 的一致性，从而形成全局上循环 $ \alpha $。

实验结果

研究问题

• RQ1 能否在不依赖微分形式或积分的前提下，完全以拓扑方式定义3-流形的微扰不变量？
• RQ2 这些不变量在托雷利手术（一种克拉斯珀与blink手术的推广）下是否为有限型？
• RQ3 不变量 $ I_n(M) $ 是否在整同调球面的有限型不变量中具有普遍性？
• RQ4 高斯映射的次数与代数分裂手术及托雷利手术下的有限型滤子之间有何关系？
• RQ5 配置空间 $ C_n $ 及其上同调在编码权系统与全息不变量中起什么作用？

主要发现

• 微扰不变量 $ I_n(M) $ 在连通和下具有可加性：$ I_n(M_1 \# M_2) = I_n(M_1) + I_n(M_2) $，且在标准框架下有 $ I_n(S^3) = 0 $。
• 对于带框架的有理同调3-球面，不变量 $ I_n(M) $ 在代数分裂和托雷利意义下均为 $ n $ 次有限型。
• 有限差分 $ I_w^{(2n)}(M,T) $ 非零，其计算结果为所有图 $ \Gamma $ 的和，其中图的权为 $ w(\Gamma) $，并与胞腔体分量中的 linking 不变量进行配对。
• 取值于循环的有限差分 $ \nu_w $ 在 $ k > 2n $ 时恒为零，意味着当 $ k > 2n $ 时 $ I_w^{(k)}(M,T) $ 恒为零，从而确认了有限型性质。
• 配对 $ \langle \nu_w, \gamma \rangle $ 计算了胞腔体对 $ B_i \times B_j $ 中1-循环之间的 linking 数，该值在托雷利手术下保持不变。
• 该构造产生一个全息不变量 $ I_n(M) \in V_n $，其在商空间 $ \mathcal{M}_{kn}/\mathcal{M}_{kn+1} $ 上的投影是满射，其中托雷利情形下 $ k=2 $，从而确认了普遍性。