[论文解读] Knot and braid invariants from contact homology II, with an appendix written jointly with Siddhartha Gadgil

Lenhard Ng|arXiv (Cornell University)|Mar 27, 2003

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

一句话总结

本文通过余弦与 skein 关系，为零度数纽结接触同调（$HC_0$）提供了拓扑解释，表明余弦环——即在余弦的同伦类张量代数上的商环——等于 $HC_0$。本文证明了 $HC_0$ 是一个拓扑不变量，将该不变量推广至嵌入图和高维纽结，并计算了双分式纽结的 $HC_0$，并利用双重分支覆盖进行关联。

ABSTRACT

We present a topological interpretation of knot and braid contact homology in degree zero, in terms of cords and skein relations. This interpretation allows us to extend the knot invariant to embedded graphs and higher-dimensional knots. We calculate the knot invariant for two-bridge knots and relate it to double branched covers for general knots. In the appendix we show that the cord ring is determined by the fundamental group and peripheral structure of a knot and give applications.

研究动机与目标

• 为零度数纽结接触同调（$HC_0$）提供一种拓扑的、同伦论的解释，使其不变性显而易见。
• 将 $HC_0$ 不变量推广至嵌入图和高维纽结（如 $S^4$ 中的 2-纽结）。
• 计算双分式纽结的 $HC_0$，并将其与一般纽结的双重分支覆盖关联起来。
• 证明余弦环由纽结群和周边结构决定，使用群论方法。
• 建立余弦环与 $ST^*\mathbb{R}^3$ 中 Legendrian 环面的零维相对接触同调之间的猜想性联系。

提出的方法

• 将余弦定义为 $\mathbb{R}^3$ 中端点位于纽结上的路径，模去通过余弦的同伦。
• 构造由余弦同伦类自由生成的 $\mathbb{Z}$-代数 $\mathcal{A}_K$。
• 引入 skein 关系：(1) 对于分离的余弦，$\gamma_1 + \gamma_2 + \gamma_3\gamma_4 = 0$；(2) 对于可缩的余弦，$\gamma = -2$。
• 将余弦环定义为 $\mathcal{A}_K / \mathcal{I}_K$，其中 $\mathcal{I}_K$ 是由 skein 关系生成的双边理想。
• 通过近似同伦和基本群数据，将余弦环推广至任意三维流形中的纽结以及余维数为 2 的子流形。
• 通过涉及 $\mathcal{A}(G,P)/I(\mu)$ 的群论表达式，证明余弦环同构于 $HC_0(K)$，其中 $G = \pi_1(M\setminus K)$，$P$ 为周边子群，$\mu$ 为子午线。

实验结果

研究问题

• RQ1 零度数纽结接触同调（$HC_0$）能否通过余弦与 skein 关系给出一种拓扑的、同伦论的解释？
• RQ2 余弦环构造是否为 $\mathbb{R}^3$ 中纽结与链以及更一般的三维流形中的纽结提供一个拓扑不变量？
• RQ3 $HC_0$ 不变量能否推广至嵌入图和高维纽结（如 $S^4$ 中的 2-纽结）？
• RQ4 余弦环与纽结的基本群及周边结构有何关系？
• RQ5 余弦环能否推广至高维接触同调，涉及余弦空间的同伦型？

主要发现

• 纽结 $K$ 的余弦环，定义为 $\mathcal{A}_K / \mathcal{I}_K$ 并附以 skein 关系，同构于零度数接触同调 $HC_0(K)$。
• 对于三叶纽结 $3_1$，$HC_0(3_1)$ 由单个余弦 $\gamma_1$ 生成，关系为 $\gamma_1^2 + \gamma_1 - 2 = 0$。
• 在 $S^3$ 中的纽结的余弦环同构于 $\mathcal{A}(G,P)/I(\mu)$，其中 $G = \pi_1(S^3 \setminus K)$，$P$ 为周边子群，$\mu$ 为子午线。
• 余弦环可区分 $S^4$ 中的平凡 2-球面与任意非平凡纽结的旋转变换纽结（例如，其行列式 ≠ 1），前者余弦环平凡，而后者余弦环非平凡。
• 在圆柱体中的辫 $B$ 的余弦环同构于零度数辫接触同调 $HC_0(B)$，从而将不变量推广至辫的共轭类。
• 2-纽结（旋转变换纽结）的余弦环满射至原纽结的余弦环，表明对非平凡纽结，其为非平凡不变量，从而为 $S^4$ 中的 2-纽结提供非平凡不变量。