[论文解读] Odd Khovanov homology is mutation invariant

Jonathan M. Bloom|ArXiv.org|Mar 23, 2009

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

一句话总结

本文通过构建一个与约化奇数Khovanov上同调同构的新、关于突变不变的复形，证明了奇数Khovanov上同调在整数环ℤ上关于Conway突变是不变的。该构造依赖于链图中的突变不变数据，从而证明了奇数Khovanov上同调以及从约化奇数Khovanov上同调到分支双覆盖的Heegaard Floer上同调的Ozsváth-Szabó谱序列在ℤ上是突变不变的。

ABSTRACT

We define a link homology theory that is readily seen to be both isomorphic to reduced odd Khovanov homology and fully determined by data impervious to Conway mutation. This gives an elementary proof that odd Khovanov homology is mutation invariant, and therefore that mod 2 Khovanov homology is mutation invariant. We also establish mutation invariance for the entire Ozsvath-Szabo spectral sequence from reduced Khovanov homology to the Heegaard Floer homology of the branched double cover.

研究动机与目标

• 建立奇数Khovanov上同调在整数环ℤ上关于Conway突变的不变性。
• 通过利用奇数Khovanov上同调，为ℤ/2ℤ上Khovanov上同调的突变不变性提供一个初等证明。
• 将突变不变性扩展至从约化Khovanov上同调到分支双覆盖的Heegaard Floer上同调的Ozsváth-Szabó谱序列的整个过程。
• 证明谱序列所依赖的过滤复形同样具有突变不变性。
• 将构造与分支双覆盖联系起来，其中突变变得不可见，从而为不变性提供几何动机。

提出的方法

• 从一个连通的、带标记的链图$\mathcal{D}$出发，仅使用突变不变的数据，定义一个新的双分次复形$(\widetilde{C}(\mathcal{D}), \tilde{\partial}_\epsilon)$。
• 证明该复形与约化奇数Khovanov复形$(\overline{C}(\mathcal{D}), \bar{\partial}_\epsilon)$之间存在自然同构，从而确立不变性。
• 从$\mathcal{D}$的一个单圈化简出发，利用几何与组合数据，构造一个嵌入$S^3$中的带框架的链$\mathbb{L}$，以表示分支双覆盖$\Sigma(L)$。
• 证明$\mathbb{L}$在框架同痕意义下唯一确定，仅依赖于化简的交点图与标记$I^*$，二者均为突变不变量。
• 利用$\mathbb{L}$的框架同痕类型，证明Ozsváth-Szabó谱序列中的过滤复形具有突变不变性。
• 证明整个谱序列（从$E^2$到$E^\infty$）在突变下保持不变，这是由于其底层的手术链$\mathbb{L}$具有不变性。

实验结果

研究问题

• RQ1 奇数Khovanov上同调在整数环ℤ上关于Conway突变是否不变？
• RQ2 能否通过奇数Khovanov上同调证明ℤ/2ℤ上Khovanov上同调的突变不变性？
• RQ3 从约化Khovanov上同调到分支双覆盖的Heegaard Floer上同调的Ozsváth-Szabó谱序列是否关于突变不变？
• RQ4 与谱序列相关的过滤复形在突变下是否仍保持不变？
• RQ5 奇数Khovanov上同调的构造能否完全由在突变下保持不变的数据决定？

主要发现

• 奇数Khovanov上同调在ℤ上是突变不变的，因为所构造的复形$(\widetilde{C}(\mathcal{D}), \tilde{\partial}_\epsilon)$与约化奇数Khovanov复形同构，且仅依赖于突变不变的数据。
• ℤ/2ℤ上的Khovanov上同调是突变不变的，这是奇数Khovanov上同调不变性的直接推论。
• Ozsváth-Szabó谱序列的$E^i$页对所有$i \geq 2$都是突变不变的，因为其关联的过滤复形仅依赖于手术链$\mathbb{L}$的框架同痕类型，而该类型是突变不变的。
• 表示分支双覆盖$\Sigma(L)$的框架链$\mathbb{L}$在同痕意义下唯一确定，仅依赖于单圈化简的交点图与标记$I^*$，二者在突变下均不变。
• 由于此类突变对应于在$S^3$中对环面进行分量保持的同痕变换（通过交点图可证），$\mathbb{L}$的同痕类型在突变下保持不变。
• 整个谱序列完全由单圈化简的模2配对矩阵与顶点$I^*$决定，二者在突变下均不变，从而确认了$E^2$及更高页的不变性。