[논문 리뷰] Homological actions on sutured Floer homology

Yi Ni|arXiv (Cornell University)|2010. 10. 14.

Geometric and Algebraic Topology참고 문헌 17인용 수 8

한 줄 요약

이 논문은 호모로지 군 $H_1(M, \partial M)$이 사수된 플로어 호모로지 $SFH(M,\gamma)$에 작용하는 것을 도입하여, 외부 대수 $\Lambda^*(H_1(M, \partial M)/\mathrm{Tors})$ 위의 모듈러 구조를 수립한다. 주요 결과는 접촉 불변량 $EH(M,\gamma,\xi)$가 이 작용에 의해 소멸됨을 보이며, 이는 단순한 끈 플로어 호모로지를 가진 끈들에 대한 이전 결과를 정교화하고, $\#^n(S^1 \times S^2)$에서 단순한 플로어 호모로지 군을 가진 것은 오직 트ivial 끈과 보로메언 끈 뿐임을 분류한다.

ABSTRACT

We define the action of the homology group $H_1(M,\partial M)$ on the sutured Floer homology $SFH(M,γ)$. It turns out that the contact invariant $EH(M,γ,ξ)$ is usually sent to zero by this action. This fact allows us to refine an earlier result proved by Ghiggini and the author. As a corollary, we classify knots in $#^n(S^1 imes S^2)$ which have simple knot Floer homology groups: They are essentially the Borromean knots.

연구 동기 및 목표

• 사구 $H_1(M, \partial M)/\mathrm{Tors}$가 사수된 플로어 호모로지 $SFH(M,\gamma)$에 자연스럽게 작용하도록 정의하고, 헤가드 플로어 호모로지의 모듈러 구조를 사수된 다양체로 확장한다.
• 이 작용이 잘 다듬어진 사수된 다양체 분해와 호환됨을 보이며, 포함 및 사영 사상들을 유지함을 보인다.
• 비-섬유화된 세이프트 표면를 가진 끈들에 대한 지그니와 저자의 정리의 정교화를 위해, 작용의 핵의 계수가 최소 2 이상임을 보인다.
• $\#^n(S^1 \times S^2)$에서 단순한 끈 플로어 호모로지 군을 가진 모든 끈들을 분류하고, 그것들이 본질적으로 보로메언 끈임을 보인다.

제안 방법

• 각 $\zeta \in H_1(M, \partial M)/\mathrm{Tors}$에 대해 $SFH(M,\gamma)$에 작용 $A_\zeta$를 정의하고, 헤가드 플로어 호모로지에서의 작용을 일반화한다.
• $A_\zeta^2 = 0$임을 증명하여 $SFH(M,\gamma)$가 $\Lambda^*(H_1(M, \partial M)/\mathrm{Tors})$-모듈러임을 보인다.
• 사수된 다양체 분해와의 호환성 수립: $\iota \circ A_{i_*(\zeta)} = A_\zeta \circ \iota$ 및 $A_{i_*(\zeta)} \circ \pi = \pi \circ A_\zeta$이며, 여기서 $i_*$는 호모로지에 유도된 사상이다.
• 접촉 불변량이 이 작용 하에 소멸됨을 이용해, 작용의 핵에 대한 하한을 도출하고, 비-섬유화된 세이프트 표면 결과의 정교화를 이룬다.
• $Y_n = \#^n(S^1 \times S^2)$에 모듈러 구조를 적용하여, 단순한 끈 플로어 호모로지 군을 가진 끈들을 분류한다. 이 경우 $\widehat{HF}(Y_n)$는 rich한 $\Lambda^*$-모듈러 구조를 가진다.
• 귀납법과 링크 플로어 호모로지 기법을 사용하여, 랭크 조건 $\mathrm{rank}\, \widehat{HFK}(L) = 2^{n-1}$을 만족하는 것은 오직 언링크와 보로메언 링크 뿐임을 보인다.

실험 결과

연구 질문

• RQ1 헤가드 플로어 호모로지의 $\Lambda^*$-모듈러 구조는 어떻게 사수된 플로어 호모로지로 확장될 수 있는가?
• RQ2 접촉 불변량 $EH(M,\gamma,\xi)$는 $SFH(M,\gamma)$에 대한 새로운 호모로지 작용 하에서 어떻게 행동하는가?
• RQ3 이 작용이 사수된 다양체 분해와 호환됨을 보일 수 있는가? 포함 및 사영 사상들이 유지되는가?
• RQ4 접촉 불변량이 작용 하에 소멸됨은 비-섬유화된 세이프트 표면에 대해 더 강력한 차단 조건을 이끌어내는가?
• RQ5 $\#^n(S^1 \times S^2)$에서 단순한 끈 플로어 호모로지 군을 가진 끈들은 무엇이며, 완전히 분류될 수 있는가?

주요 결과

• 작용 $A_\zeta$는 $\zeta \in H_1(M, \partial M)/\mathrm{Tors}$에 대해 잘 정의되어 있으며, 이에 따라 $SFH(M,\gamma)$는 $\Lambda^*$-모듈러가 된다.
• 접촉 불변량 $EH(M,\gamma,\xi)$는 어떤 $\zeta$에 의한 작용 하에서도 0으로 보낸다. 이는 핵심적인 차단 결과이다.
• 작용은 사수된 다양체 분해와 호환된다: $\iota \circ A_{i_*(\zeta)} = A_\zeta \circ \iota$ 및 $A_{i_*(\zeta)} \circ \pi = \pi \circ A_\zeta$이며, 분해의 구조를 유지한다.
• 비-섬유화된 세이프트 표면를 가진 끈의 최상위 앨리거스터 그레딩에서의 작용의 핵의 계수는 최소 2 이상이며, 이는 이전 결과의 정교화이다.
• $\#^n(S^1 \times S^2)$에서 단순한 끈 플로어 호모로지 군을 가진 유일한 끈들은 트ivial 끈과 보로메언 끈이다.
• 링크의 경우, $S^3$에서 $\mathrm{rank}\, \widehat{HFK}(L) = 2^{n-1}$을 만족하는 끈들은 오직 언링크와 보로메언 링크 뿐이며, 귀납법과 링크 플로어 호모로지 기법을 통해 이를 보였다.