[论文解读] Construction of an invariant for integral homology 3-spheres via completed Kauffman bracket skein algebras

Shunsuke Tsuji|arXiv (Cornell University)|Jul 6, 2016

Geometric and Algebraic Topology参考文献 9被引用 5

一句话总结

本文利用完备化的 Kauffman 括号 skein 代数和 Heegaard 分解，为整同调 3-球面 $ M $ 构造了一个新的不变量 $ z(M) \in \mathbb{Q}[[A+1]] $。该不变量被证明是模 $ (A+1)^{n+1} $ 的 $ n $ 阶有限型不变量，且其系数 $ -a_1/6 $ 等于 Casson 不变量。对于 Poincaré 同调球面，$ z(M) \mod (A+1)^{14} $ 在 $ A^4 = q $ 下与 Ohtsuki 系列一致，提示 $ z(M) = \tau(M)_{|q=A^4} $，从而统一了两个主要不变量。

ABSTRACT

We construct an invariant $z (M) =1+a_1(A^4-1)+ a_2(A^4-1)^2+a_3(A^4-1)^3 + \cdots \in \mathbb{Q} [[A^4-1]]= \mathbb{Q} [[A+1]]$ for an integral homology $3$-sphere $M$ using a completed skein algebra and a Heegaard splitting. The invariant $z(M)\mathrm{mod} ((A+1)^{n+1}) $ is a finite type invariant of order $n$. In particular, $-a_1/6$ equals the Casson invariant. If $M$ is the Poincaré homology 3-sphere, $(z(M))_{|A^4 =q} \mod (q+1)^{14} $ is the Ohtsuki series for $M$.

研究动机与目标

• 通过完备化 Kauffman 括号 skein 代数和 Heegaard 分解，为整同调 3-球面构造一个新的不变量。
• 建立该不变量为模 $ (A+1)^{n+1} $ 的 $ n $ 阶有限型不变量。
• 证明 $ z(M) $ 中 $ A^4 - 1 $ 的系数 $ -a_1/6 $ 等于 Casson 不变量。
• 证明对于 Poincaré 同调球面，该不变量模 $ (A+1)^{14} $ 在 $ A^4 = q $ 下与 Ohtsuki 系列一致。
• 推测对于所有 $ M \in \mathcal{H}(3) $，有 $ z(M) = \tau(M)_{|q=A^4} $，从而统一两个不变量。

提出的方法

• 通过涉及完备化 skein 代数和 Torelli 群作用的正式幂级数，定义映射 $ Z: \mathcal{I}(\Sigma_{g,1}) \to \mathbb{Q}[[A+1]] $。
• 利用嵌入 $ \zeta: \mathcal{I}(\Sigma_{g,1}) \to \widehat{\mathcal{S}(\Sigma_{g,1})} $，将 Torelli 群元素提升至完备化 skein 代数。
• 通过从 Torelli 群元素到整同调 3-球面的双射映射，将 $ Z(\xi) $ 的像构造为不变量 $ z(M) $。
• 利用完备化 skein 代数的结构，定义 $ \mathbb{Q}[[A+1]] $-模同态 $ e_* $，用于评估该不变量。
• 利用 $ z(M) \mod (A+1)^{n+1} $ 是 $ n $ 阶有限型不变量的事实，基于涉及交替和 $ \xi_i^{\epsilon_i} $ 的标准条件。
• 应用 Habiro 对着色 Jones 多项式的公式，计算特定三叶草和双曲螺线纽结的手术下 $ z(M) $。

实验结果

研究问题

• RQ1 能否利用完备化 Kauffman 括号 skein 代数和 Heegaard 分解，为整同调 3-球面构造一个新的不变量？
• RQ2 所构造的不变量 $ z(M) $ 是否为模 $ (A+1)^{n+1} $ 的 $ n $ 阶有限型不变量？
• RQ3 在 $ z(M) $ 中，$ A^4 - 1 $ 的系数 $ -a_1/6 $ 是否等于 Casson 不变量？
• RQ4 对于 Poincaré 同调球面，$ z(M) \mod (A+1)^{14} $ 是否在 $ A^4 = q $ 下与 Ohtsuki 系列一致？
• RQ5 是否对所有 $ M \in \mathcal{H}(3) $，都有 $ z(M) = \tau(M)_{|q=A^4} $，从而统一这两个不变量？

主要发现

• 通过完备化 skein 代数和 Heegaard 分解，构造了不变量 $ z(M) \in \mathbb{Q}[[A+1]] $，且 $ z(M) = 1 + a_1(A^4 - 1) + a_2(A^4 - 1)^2 + \cdots $。
• 模 $ (A+1)^{n+1} $ 的不变量 $ z(M) \mod (A+1)^{n+1} $ 是 $ n $ 阶有限型不变量，且对 $ n \geq 1 $ 非平凡。
• $ z(M) $ 中系数 $ -a_1/6 $ 等于 Casson 不变量，建立了其与这一经典不变量的直接代数联系。
• 对于 Poincaré 同调球面，$ z(M) \mod (A+1)^{14} $ 在 $ q = A^4 $ 代换下与 Ohtsuki 系列一致。
• 显式计算显示 $ z(M(1,1,1)) = [1, -6, 45, -464, \dots] $，且 $ z(M(1,-1,1)) = [1, 6, 63, 932, \dots] $，其系数属于 $ \mathbb{Q}[[A+1]] $。
• 本文推测对所有 $ M \in \mathcal{H}(3) $，有 $ z(M) = \tau(M)_{|q=A^4} $，提示 skein 理论不变量与有限型不变量之间存在深刻统一。