[논문 리뷰] Earrings, sutures and pointed links

Yi Xie|arXiv (Cornell University)|2018. 09. 24.

Geometric and Algebraic Topology참고 문헌 11인용 수 3

한 줄 요약

이 논문은 $S^3$의 링크에 대해 순간자기 링크 homology와 Khovanov homology의 Koszul homology 사이의 질량 부등식을 수립하며, $2\dim_{\mathbb{C}}\operatorname{KHI}(L) \leq \operatorname{rank}_{\mathbb{Z}} H(K(\mathbf{X}, Kh(L)))$를 증명한다. 핵심 혁신은 Baldwin-Levine-Sarkar의 점이 있는 Khovanov homology에서 점이 있는 링크를 위한 특이 순간자기 불변량으로 향하는 스펙트럴 시퀀스를 구성하는 것으로, Kronheimer-Mrowka의 결과를 링크로 일반화하고 새로운 불변량 $\operatorname{I}^{\sharp}(L,\mathbf{p})$를 통해 애너그램 등수를 유지한다. 결과는 원판과 허프 링크에 대해 정확하다.

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.

연구 동기 및 목표

• 점이 있는 링크를 위한 새로운 특이 순간자기 불변량을 정의하여, Kronheimer와 Mrowka의 스펙트럴 시퀀스를 링크로 일반화한다.
• 점이 있는 Khovanov homology에서 특이 순간자기 불변량으로 향하는 스펙트럴 시퀀스를 구성하여 애너그램 등수를 유지한다.
• 스펙트럴 시퀀스를 통해 $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)$과 동형이 되고, Khovanov homology로 향하는 스펙트럴 시퀀스를 만족한다.
• 불등식이 알려진 경우인 원판과 허프 링크에 대해 정확함을 보이며, 최적성 확인한다.

제안 방법

• 각 성분에 마킹 점이 있는 점이 있는 링크 $(L, \mathbf{p})$를 정의하고, 각 성분에 적어도 하나의 마킹이 있는 비퇴화 조건을 도입한다.
• 각 마킹 점에 고리가 있는 끈을 추가하여 $\operatorname{I}^{\sharp}(L,\mathbf{p})$를 구성하며, $\operatorname{I}^{\natural}(L,\mathbf{p})$를 일반화한다.
• 특성 $\neq 2$인 $\mathbb{F}$ 계수를 사용한 Fukaya의 연결합 정리에 의해 $\operatorname{I}^{\sharp}(L,\mathbf{p};\mathbb{F})$와 $\operatorname{I}^{\natural}(L,\mathbf{p};\mathbb{F})$ 사이의 스펙트럴 시퀀스를 통해 관계를 설정한다.
• 스펙트럴 시퀀스의 미분이 $\mathbb{C}$ 위에서 0이 됨을 증명하여 $\dim_{\mathbb{C}}\operatorname{I}^{\sharp}(L,\mathbf{p};\mathbb{C}) = 2\dim_{\mathbb{C}}\operatorname{I}^{\natural}(L,\mathbf{p};\mathbb{C})$를 이끌어낸다.
• 비향상 스펙트럴 삼각형과 반복 적용을 통해 $Kh^\prime(L,\mathbf{p})$에서 $\operatorname{I}^{\sharp}(L,\mathbf{p};\mathbb{C})$로 향하는 스펙트럴 시퀀스를 수립한다.
• Khovanov homology의 스펙트럴 시퀀스와 쌍대성 성질을 적용하여 $\operatorname{KHI}(L)$과 $Kh(L)$의 Koszul 복합체 사이의 주요 부등식을 유도한다.

실험 결과

연구 질문

• RQ1 Kronheimer와 Mrowka의 Khovanov homology에서 순간자기 homology로 향하는 스펙트럴 시퀀스를 링크로 확장할 수 있는가?
• RQ2 점이 있는 링크를 위한 특이 순간자기 불변량이 존재하는가? 이는 $\operatorname{KHI}(L)$과 동형이 되고 애너그램 등수를 유지해야 한다.
• RQ3 $S^3$의 링크에 대해 $Kh(L)$의 Koszul homology의 질량과 $\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)))$를 증명하며, 이는 Kronheimer와 Mrowka의 링크 사례를 일반화한 것이다.
• 성분 수가 $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$이므로, 이 부등식은 정확하다.
• 허프 링크 $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}$ 위에서 0이다.
• 비향상 스펙트럴 삼각형의 반복 적용을 통해 $Kh^\prime(L,\mathbf{p})$에서 $\operatorname{I}^{\sharp}(L,\mathbf{p};\mathbb{C})$로 향하는 스펙트럴 시퀀스가 구성되며, 이는 질량 부등식을 가능하게 한다.
• 감소된 형태의 부등식인 $\dim_{\mathbb{C}}\operatorname{KHI}(L) \leq \operatorname{rank}_{\mathbb{Z}} H(K(\mathbf{X}^\prime, \widetilde{Kh}(L,p_0)))$도 확립되었으며, 이는 링크에 대해 Kronheimer와 Mrowka의 원래 결과와 일치한다.