[论文解读] Homotopy type of circle graphs complexes motivated by extreme Khovanov homology

Józef H. Przytycki, Marithania Silvero|arXiv (Cornell University)|Aug 9, 2016

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

一句话总结

本文研究了从链图导出的圆图的独立单纯复形的同伦型，提出这些复形同伦等价于球面的楔积。作者证明了该猜想在仙人掌图、外平面图、排列图和非嵌套图等家族中成立，并表明任意有限个球面的楔积均可作为此类复形实现。这表明任意链图的极端凯洛夫同调是挠自由的，且他们构造了具有任意分离非平凡同调群的H-厚型纽结族。

ABSTRACT

It was proven by González-Meneses, Manchón and Silvero that the extreme Khovanov homology of a link diagram is isomorphic to the reduced (co)homology of the independence simplicial complex obtained from a bipartite circle graph constructed from the diagram. In this paper we conjecture that this simplicial complex is always homotopy equivalent to a wedge of spheres. In particular, its homotopy type, if not contractible, would be a link invariant and it would imply that the extreme Khovanov homology of any link diagram does not contain torsion. We prove the conjecture in many special cases and find it convincing to generalize it to every circle graph (intersection graph of chords in a circle). In particular, we prove it for the families of cactus, outerplanar, permutation and non-nested graphs. Conversely, we also give a method for constructing a permutation graph whose independence simplicial complex is homotopy equivalent to any given finite wedge of spheres. We also present some combinatorial results on the homotopy type of finite simplicial complexes and a theorem generalizing previous results by Csorba, Nagel and Reiner, Jonsson and Barmak. We study the implications of our results to Knot Theory; more precisely, we compute the real-extreme Khovanov homology of torus links $T(3,q)$ and obtain examples of $H$-thick knots whose extreme Khovanov homology groups are separated either by one or two gaps as long as desired.

研究动机与目标

• 研究从链图中导出的圆图的独立单纯复形的同伦型。
• 证明这些复形同伦等价于球面的楔积，特别是针对仙人掌图、外平面图、排列图和非嵌套图等家族。
• 若该猜想成立，则建立任意链图的极端凯洛夫同调为挠自由的结论。
• 构造链图，使其极端凯洛夫同调表现出非平凡群之间任意大的间隙。
• 推广现有关于独立复形的结果，并为其同伦型提供一个结构定理。

提出的方法

• 使用锥构造和支配引理，逐步分析独立复形的同伦型。
• 应用独立复形的广义结构定理，该定理扩展了Csorba、Nagel、Reiner、Jonsson和Barmak的研究成果。
• 构造特定的弦图及其关联的兰多图（双分圆图），以实现任意有限个球面的楔积作为独立复形的同伦型。
• 通过链图与独立复形的（上）同调之间的对应关系，分析扭结T(3,q)的极端凯洛夫同调。
• 利用具有受控交叉结构的定向链图D_n和D_{m,n}的图解构造，实现所需的同伦型。
• 利用正交叉数决定极端凯洛夫同调中的分次位移这一事实，从而精确控制非平凡群的位置。

实验结果

研究问题

• RQ1 每个圆图的独立单纯复形是否同伦等价于球面的楔积？
• RQ2 独立复形同伦等价于球面楔积是否意味着所有链图的极端凯洛夫同调均为挠自由？
• RQ3 任意有限个球面的楔积是否可作为圆图的独立复形的同伦型实现？
• RQ4 扭结T(3,q)的极端凯洛夫同调结构如何？
• RQ5 能否构造出具有任意大间隙的H-厚型纽结，使其非平凡极端凯洛夫同调群之间存在间隙？

主要发现

• 仙人掌图的独立单纯复形同伦等价于球面的楔积，通过支配引理和逐锥构造得以证明。
• 对外平面图而言，其独立复形同伦等价于球面的楔积，扩展了对树和路径已知的结果。
• 排列图和非嵌套圆图的独立复形也同伦等价于球面的楔积，通过结构分解验证。
• 任意有限连通球面楔积均可作为排列图的独立复形的同伦型实现。
• 对每个n > 0，存在一个纽结图D_n，其恰好有两个非平凡极端凯洛夫同调群，且间隙大小为n−1。
• 对任意m,n > 0，存在一个纽结图D_{m,n}，其具有三个非平凡极端凯洛夫同调群，分别具有大小为m−1和n的间隙。