[논문 리뷰] Homotopy type of circle graphs complexes motivated by extreme Khovanov homology

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

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의 결과를 확장하는 일반화된 독립 복합체의 구조 정리를 적용한다.
• 특정 현수선 다이어그램과 관련된 Lando 그래프(이분원형 그래프)를 구성하여, 임의의 유한한 구의 융합을 독립 복합체의 호모토피 유형으로 실현한다.
• 토러스 링크 T(3,q)의 극한 코흐반 호모로지 분석을 통해 코흐반 호모로지와 독립 복합체의 (코)호모로지 사이의 대응을 활용한다.
• 제어된 교차 구조를 가진 방향성 있는 링크 다이어그램 D_n 및 D_{m,n}의 다이어그램적 구성 방법을 사용하여 원하는 호모토피 유형을 실현한다.
• 양의 교차 수가 극한 코흐반 호모로지의 그레ading 이동을 결정하므로, 비자명한 군의 위치를 정밀하게 제어할 수 있음을 활용한다.

실험 결과

연구 질문

• RQ1 모든 원형 그래프의 독립 단체 복합체는 구들의 융합과 호모토피 동치인가?
• RQ2 독립 복합체가 구들의 융합과 호모토피 동치일 경우, 모든 링크 다이어그램의 극한 코흐반 호모로지가 토르션을 갖지 않는가?
• RQ3 임의의 유한한 구의 융합은 원형 그래프의 독립 복합체의 호모토피 유형으로 실현될 수 있는가?
• RQ4 토러스 링크 T(3,q)의 극한 코흐반 호모로지의 구조는 어떠한가?
• RQ5 비자명한 극한 코흐반 호모로지 군들 사이에 임의로 큰 간격을 가지는 H-두꺼운 링크를 구성할 수 있는가?

주요 결과

• 캐타스 그래프의 독립 복합체는 지배 레마와 콘-콘 구조를 통해 구들의 융합과 호모토피 동치임을 증명한다.
• 외평면 그래프의 경우, 독립 복합체는 구들의 융합과 호모토피 동치이며, 이는 나무와 경로에 대한 기존 결과를 확장한다.
• 순열 그래프와 비중첩 원형 그래프의 경우에도 독립 복합체는 구들의 융합과 호모토피 동치이며, 구조적 분해를 통해 검증된다.
• 모든 n > 0에 대해, 순열 그래프의 독립 복합체의 호모토피 유형으로 유한한 연결된 구의 융합을 실현할 수 있다.
• 모든 n > 0에 대해, 정확히 두 개의 비자명한 극한 코흐반 호모로지 군을 가지며 간격이 n−1인 링크 다이어그램 D_n이 존재한다.
• 모든 m,n > 0에 대해, 세 개의 비자명한 극한 코흐반 호모로지 군을 가지며 간격이 각각 m−1과 n인 링크 다이어그램 D_{m,n}이 존재한다.