[논문 리뷰] Instanton Floer homology, sutures, and Euler characteristics

Zhenkun Li, Fan Ye|arXiv (Cornell University)|2021. 01. 13.

Geometric and Algebraic Topology참고 문헌 88인용 수 6

한 줄 요약

이 논문은 균형 잡힌 서튜드 다면체 위에서 순간기(Floer) homology에 대한 공리적 프레임워크를 수립하고, 이 homology의 등급화된 오일러 특성(graded Euler characteristic)이 공리에 의해 완전히 결정됨을 증명한다. 핵심 결과는 sutured instanton homology의 등급화된 오일러 특성 $\chi_{\rm gr}(SHI(M,\gamma))$가 다항식 인자에 의해 다를 뿐, sutured Heegaard Floer homology의 등급화된 오일러 특성 $\chi_{\rm gr}(SFH(M,\gamma))$와 일치함을 보이며, 이는 $S^3$ 속의 링크에 대한 아르스레인 다항식 복원을 일반화하고, 순간기와 Heegaard Floer 불변량 간의 등급화된 오일러 특성 설정에서의 동치성에 대한 추측을 확인한다.

ABSTRACT

This is a companion paper to an earlier work of the authors. In this paper, we provide an axiomatic definition of Floer homology for balanced sutured manifolds and prove that the graded Euler characteristic $χ_{ m gr}$ of this homology is fully determined by the axioms we proposed. As a result, we conclude that $χ_{ m gr}(SHI(M,γ))=χ_{ m gr}(SFH(M,γ))$ for any balanced sutured manifold $(M,γ)$. In particular, for any link $L$ in $S^3$, the Euler characteristic $χ_{ m gr}(KHI(S^3,L))$ recovers the multi-variable Alexander polynomial of $L$, which generalizes the knot case. Combined with the authors' earlier work, we provide more examples of $(1,1)$-knots in lens spaces whose $KHI$ and $\widehat{HFK}$ have the same dimension. Moreover, for a rationally null-homologous knot in a closed oriented 3-manifold $Y$, we construct canonical $\mathbb{Z}_2$-gradings on $KHI(Y,K)$, the decomposition of $I^\sharp(Y)$ discussed in the previous paper, and the minus version of instanton knot homology $\underline{ m KHI}^-(Y,K)$ introduced by the first author.

연구 동기 및 목표

• 균형 잡힌 서튜드 3차원 다면체에 대해 순간기 Floer homology의 공리적 정의를 제공한다.
• 이 homology의 등급화된 오일러 특성이 공리에 의해 유일하게 결정됨을 증명한다.
• 모든 균형 잡힌 서튜드 다면체 $(M,\gamma)$에 대해 $\chi_{\rm gr}(SHI(M,\gamma)) \sim \chi_{\rm gr}(SFH(M,\gamma))$임을 확립한다. 여기서 $\sim$는 $\pm t_1^{j_1} \cdots t_n^{j_n}$ 인자 곱에 의해 등호임을 의미한다.
• 링크 $L \subset S^3$의 다변수 아르스레인 다항식이 순간기 링크 homology $KHI(S^3, L)$의 등급화된 오일러 특성으로부터 복원될 수 있음을 일반화한다.

제안 방법

• 코보르디즘 사상과 등급의 형식적 성질을 이용해 균형 잡힌 서튜드 다면체에 대한 Floer 유형 homology를 공리화한다.
• 등급화된 $\mathbb{Z}^n$-등급을 $H_2(M,\partial M)/{\rm Tors}$를 생성하는 적절한 임베딩된 적합한 표면들을 통해 $SHI(M,\gamma)$와 $SFH(M,\gamma)$에 정의한다.
• 두 homology에 대해 $\mathbb{Z}_2$-상대 등급을 도입하며, 이는 $\mathbb{Z}^n$-등급과 호환된다.
• 이론의 형식적 구조를 이용해 핸들 부착과 접촉 구조에 대한 귀납법을 통해 등급화된 오일러 특성 $\chi_{\rm gr}(SHI(M,\gamma))$를 계산한다.
• Euler 특성 계산에서 이론 간의 관계를 확립하기 위해 $KHI(Y,K)$, $I^\sharp(Y)$, 및 $\underline{\rm KHI}^-(Y,K)$의 표준 $\mathbb{Z}_2$-등급을 활용한다.
• 이전 연구에서의 프레임워크 기반 순간기 homology와 코보르디즘 사상 결과를 활용해 Euler 특성 계산의 일관성을 검증한다.

실험 결과

연구 질문

• RQ1 순간기 서튜드 homology의 등급화된 오일러 특성이 공리 집합에 의해 완전히 결정되는가?
• RQ2 $\chi_{\rm gr}(SHI(M,\gamma))$가 모든 균형 잡힌 서튜드 다면체에 대해 $\chi_{\rm gr}(SFH(M,\gamma))$와 다항식 인자에 의해 다를 뿐이 되는가?
• RQ3 링크 $L \subset S^3$의 다변수 아르스레인 다항식이 $KHI(S^3, L)$의 등급화된 오일러 특성으로부터 복원될 수 있는가?
• RQ4 표준 $\mathbb{Z}_2$-등급은 $KHI(Y,K)$, $I^\sharp(Y)$, 및 $\underline{\rm KHI}^{-}(Y,K)$에 어떻게 정의되며, Euler 특성에 어떤 영향을 미치는가?
• RQ5 $\mathbf{KHI}^g(-S^3, K)$와 $\chi_{\mu}(-S^3, K)$의 Euler 특성은 논문에서 사용된 정규화 하에 어떻게 관련되어 있는가?

주요 결과

• 제안된 순간기 Floer homology에 대한 공리에 의해, $\chi_{\rm gr}(SHI(M,\gamma))$의 등급화된 오일러 특성이 완전히 결정된다.
• 모든 균형 잡힌 서튜드 다면체 $(M,\gamma)$에 대해 $\chi_{\rm gr}(SHI(M,\gamma)) \sim \chi_{\rm gr}(SFH(M,\gamma))$이다. 여기서 $\sim$는 $\pm t_1^{j_1} \cdots t_n^{j_n}$ 인자 곱에 의해 등호임을 의미한다.
• 모든 링크 $L \subset S^3$에 대해, 등급화된 오일러 특성 $\chi_{\rm gr}(KHI(S^3, L))$는 링크 $L$의 다변수 아르스레인 다항식을 복원하며, 이는 링크의 경우에 대한 일반화이다.
• 표준 $\mathbb{Z}_2$-등급은 $KHI(Y,K)$, $I^\sharp(Y)$, 및 $\underline{\rm KHI}^{-}(Y,K)$에 잘 정의되어 있으며, Euler 특성 계산과 호환된다.
• $S^3$ 속의 모든 링크 $K$에 대해, 정규화에 따라 $\chi_{\mu}(-S^3, K) = -1$이며, $y > 0$일 때 $\chi_{y/x}(-S^3, K) = -y$이다.
• 직접 체계 $\underline{\rm SHI}(M,\gamma)$는 봉합의 종수에 의존하지 않으며, $\psi_{-,n+1}^n$ 사상은 $\mathbb{Z}_2$-등급을 유지하므로 $\underline{\rm KHI}^{-}(-S^3, K)$에 잘 정의된 $\mathbb{Z}_2$-등급이 보장된다.