[论文解读] Earrings, sutures and pointed links

Yi Xie|arXiv (Cornell University)|Sep 24, 2018

Geometric and Algebraic Topology参考文献 11被引用 3

一句话总结

该论文建立了 $S^3$ 中链的瞬子纽结同调与凯霍瓦同调的柯济尔同调之间的秩不等式，证明了 $2\dim_{\mathbb{C}}\operatorname{KHI}(L) \leq \operatorname{rank}_{\mathbb{Z}} H(K(\mathbf{X}, Kh(L)))$。关键创新在于从巴尔德-莱文-萨尔卡的带标记凯霍瓦同调构造了一个到带标记链的奇异瞬子不变量的谱序列，将克罗尼梅尔-姆罗夫卡的结果推广到链，并通过新不变量 $\operatorname{I}^{\sharp}(L,\mathbf{p})$ 保持了亚历山大分次。该结果在平凡链和Hopf链情况下是紧的。

ABSTRACT

We prove a rank inequality on the instanton knot homology and the Khovanov homology of a link in $S^3$. The key step of the proof is to construct a spectral sequence relating Baldwin-Levine-Sarkar's pointed Khovanov homology to a singular instanton invariant for pointed links.

研究动机与目标

• 通过为带标记链定义一个新的奇异瞬子不变量，将克罗尼梅尔和姆罗夫卡的谱序列从纽结推广到一般链。
• 从带标记凯霍瓦同调构造一个到奇异瞬子不变量的谱序列，该谱序列保持亚历山大分次。
• 为 $S^3$ 中的链证明非约化的秩不等式 $2\dim_{\mathbb{C}}\operatorname{KHI}(L) \leq \operatorname{rank}_{\mathbb{Z}} H(K(\mathbf{X}, Kh(L)))$，推广纽结情形的结果。
• 将 $\operatorname{I}^{\sharp}(L,\mathbf{p})$ 定义为 $\operatorname{I}^{\natural}(L,\mathbf{p})$ 的非约化版本，使其同构于 $\operatorname{KHI}(L)$，并满足到凯霍瓦同调的谱序列。
• 证明该不等式在平凡链和Hopf链情况下是紧的，确认其在已知情形下的最优性。

提出的方法

• 定义带标记链 $(L, \mathbf{p})$，其中每个分量上至少有一个标记点，并引入非退化条件。
• 通过在每个标记点处添加一个带耳环的平凡纽结，构造 $\operatorname{I}^{\sharp}(L,\mathbf{p})$，从而推广 $\operatorname{I}^{\natural}(L,\mathbf{p})$。
• 利用富凯亚的连通和定理（系数域特征不为2）通过谱序列将 $\operatorname{I}^{\sharp}(L,\mathbf{p};\mathbb{F})$ 与 $\operatorname{I}^{\natural}(L,\mathbf{p};\mathbb{F})$ 关联起来。
• 证明在 $\mathbb{C}$ 上谱序列的微分消失，从而得到 $\dim_{\mathbb{C}}\operatorname{I}^{\sharp}(L,\mathbf{p};\mathbb{C}) = 2\dim_{\mathbb{C}}\operatorname{I}^{\natural}(L,\mathbf{p};\mathbb{C})$。
• 通过迭代应用未定向的 skein 正合三角形，建立从 $Kh^\prime(L,\mathbf{p})$ 到 $\operatorname{I}^{\sharp}(L,\mathbf{p};\mathbb{C})$ 的谱序列。
• 应用谱序列及凯霍瓦同调的对偶性性质，推导出涉及 $\operatorname{KHI}(L)$ 和 $Kh(L)$ 的柯济尔复形的主不等式。

实验结果

研究问题

• RQ1 克罗尼梅尔与姆罗夫卡从凯霍瓦同调到瞬子同调的谱序列能否从纽结推广到一般链？
• RQ2 是否存在一个带标记链的奇异瞬子不变量，其同构于 $\operatorname{KHI}(L)$ 且保持亚历山大分次？
• RQ3 对于 $S^3$ 中的链，$Kh(L)$ 的柯济尔同调的秩与 $\operatorname{KHI}(L)$ 的维数之间有何关系？
• RQ4 新不变量 $\operatorname{I}^{\sharp}(L,\mathbf{p})$ 在 $\mathbb{C}$ 上如何与 $\operatorname{I}^{\natural}(L,\mathbf{p})$ 和 $\operatorname{KHI}(L)$ 相关联？
• RQ5 不等式 $2\dim_{\mathbb{C}}\operatorname{KHI}(L) \leq \operatorname{rank}_{\mathbb{Z}} H(K(\mathbf{X}, Kh(L)))$ 在已知链的例子中是否紧？

主要发现

• 该论文证明了对任意 $S^3$ 中的链 $L$，有 $2\dim_{\mathbb{C}}\operatorname{KHI}(L) \leq \operatorname{rank}_{\mathbb{Z}} H(K(\mathbf{X}, Kh(L)))$，将克罗尼梅尔与姆罗夫卡的纽结结果推广到链。
• 对于含 $m$ 个分量的平凡链 $U_m$，有 $\dim_{\mathbb{C}}\operatorname{KHI}(U_m) = 2^{m-1}$ 且 $\operatorname{rank}_{\mathbb{Z}} H(K(\mathbf{X}, Kh(U_m))) = 2^m$，因此不等式是紧的。
• 对于 Hopf 链 $H$，有 $\dim_{\mathbb{C}}\operatorname{KHI}(H) = 4$ 且 $\operatorname{rank}_{\mathbb{Z}} H(K(\mathbf{X}, Kh(H))) = 8$，确认该不等式在此情况下也是紧的。
• $\operatorname{I}^{\sharp}(L,\mathbf{p};\mathbb{C})$ 满足 $\dim_{\mathbb{C}}\operatorname{I}^{\sharp}(L,\mathbf{p};\mathbb{C}) = 2\dim_{\mathbb{C}}\operatorname{I}^{\natural}(L,\mathbf{p};\mathbb{C})$，且谱序列中的微分在 $\mathbb{C}$ 上消失。
• 从 $Kh^\prime(L,\mathbf{p})$ 到 $\operatorname{I}^{\sharp}(L,\mathbf{p};\mathbb{C})$ 的谱序列通过迭代应用未定向的 skein 正合三角形构造，从而实现了秩不等式。
• 也建立了不等式的约化版本 $\dim_{\mathbb{C}}\operatorname{KHI}(L) \leq \operatorname{rank}_{\mathbb{Z}} H(K(\mathbf{X}^\prime, \widetilde{Kh}(L,p_0)))$，与克罗尼梅尔和姆罗夫卡对纽结的原始结果一致。