[论文解读] Khovanov homology for virtual links using cobordisms

Daniel Tubbenhauer|arXiv (Cornell University)|Nov 2, 2011

Geometric and Algebraic Topology参考文献 8被引用 1

一句话总结

该论文将巴-塔南基于cobordism的琼斯多项式 categorification 扩展至虚链接，通过一个推广经典凯霍夫同调的拓扑复形，实现了在特征二环上的新扩展，包括两种非等价的非经典变体，如巴-塔南的 Z/2-链接同调。该构造是组合的，可通过 Mathematica 程序计算，并实现了对虚链接同调的未定向 TQFT 的完整分类。

ABSTRACT

We extend Bar-Natan's cobordism based categorification of the Jones polynomial to virtual links. Our topological complex allows a direct extension of the classical Khovanov complex ($h=t=0$), the variant of Lee ($h=0,t=1$) and other classical link homologies. We show that our construction allows, over rings of characteristic two, extensions with no classical analogon, e.g. Bar-Natan's $\mathbb{Z}/2$-link homology can be extended in two non-equivalent ways. Our construction is computable in the sense that one can write a computer program to perform calculations, e.g. we have written a Mathematica based program. Moreover, we give a classification of all unoriented TQFTs which can be used to define virtual link homologies from our topological construction. Furthermore, we prove that our extension is combinatorial and has semi-local properties. We use the semi-local properties to prove an application, i.e. we give a discussion of Lee's degeneration of virtual homology.

研究动机与目标

• 将巴-塔南基于 cobordism 的琼斯多项式 categorification 推广至虚链接。
• 构建一个拓扑复形，统一经典凯霍夫同调及其变体，包括李的理论和巴-塔南的 Z/2 理论。
• 分类所有可用于通过所提构造定义虚链接同调的未定向 TQFT。
• 确立扩展同调理论的可计算性与组合性质。
• 证明半局部性质，以支持如李的退化现象在虚设置下的应用。

提出的方法

• 通过在复形构造中引入虚交叉，将巴-塔南的 cobordism 框架适配至虚链接。
• 在特征二的环上定义一个拓扑复形，以实现无经典类比的新同调扩展。
• 采用组合方法确保构造可计算，通过基于 Mathematica 的程序实现。
• 应用复形的半局部性质分析退化现象，如李的退化。
• 通过代数与拓扑约束，对与构造兼容的所有未定向 TQFT 进行分类。
• 证明同调理论在虚 Reidemeister 移动下不变，并保持虚链接图的结构。

实验结果

研究问题

• RQ1 巴-塔南基于 cobordism 的琼斯多项式 categorification 是否能以一致且可计算的方式扩展至虚链接？
• RQ2 通过该拓扑构造，可用于定义虚链接同调的所有未定向 TQFT 的完整集合是什么？
• RQ3 是否存在在特征二环上缺乏经典类比的新同调扩展？若存在，有多少种非等价版本？
• RQ4 复形的半局部性质如何促进对李退化现象等退化现象在虚设置下的研究？
• RQ5 扩展同调理论是否可算法实现？其计算可行性如何？

主要发现

• 所提构造通过统一的拓扑复形，将经典凯霍夫同调、李的理论和巴-塔南的 Z/2 理论推广至虚链接。
• 在特征二的环上，存在两种非等价的巴-塔南 Z/2-链接同调扩展，展示了无经典对应物的新不变量。
• 同调理论是组合的且可计算的，已通过 Mathematica 实现，可用于显式计算。
• 复形的半局部性质已证明，并用于分析虚设置下李的退化。
• 已实现对所有与构造兼容的未定向 TQFT 的完整分类，提供了允许不变量的完整代数表征。
• 该理论在虚 Reidemeister 移动下不变，确保其为定义良好的虚链接不变量。