[논문 리뷰] The equivalence of Heegaard Floer homology and embedded contact homology III: from hat to plus

Vincent Colin, Paolo Ghiggini외 1명|arXiv (Cornell University)|2012. 08. 07.

Geometric and Algebraic Topology참고 문헌 36인용 수 40

한 줄 요약

이 논문은 임의의 닫힘 양의 방향 3차원 다양체 $M$에 대해 헤가드 플로어 homology 군 $HF^+(-M)$와 임베디드 컨택트 호모로지 군 $ECH(M)$ 사이의 준동형사상(quasi-isomorphism)을 수립한다. 개방된 북 분해 $(S, \rho)$를 사용하여, $U$-맵들에 대해 호모토피 위상에서 가환하는 체인 맵 $\Phi^+$를 헤가드 플로어 체인 복합체에서 임베디드 컨택트 호모로지 복합체로 구성한다. 이는 대수적 위상수학적 추론을 통해 두 불변량이 동형임을 증명한다.

ABSTRACT

Given a closed oriented 3-manifold M, we establish an isomorphism between the Heegaard Floer homology group HF^+(-M) and the embedded contact homology group ECH(M). Starting from an open book decomposition (S,h) of M, we construct a chain map Φ^+ from a Heegaard Floer chain complex associated to (S,h) to an embedded contact homology chain complex for a contact form supported by (S,h). The chain map Φ^+ commutes up to homotopy with the U-maps defined on both sides and reduces to the quasi-isomorphism Φfrom "The equivalence of Heegaard Floer homology and embedded contact homology I, II" on subcomplexes defining the hat versions. Algebraic considerations then imply that the map Φ^+ is a quasi-isomorphism.

연구 동기 및 목표

• 닫힘 양의 방향 3차원 다각형 $M$의 $HF^+$와 $ECH$ 불변량 사이의 준동형사상 수립.
• 이전에 구축된 헷 버전($\widehat{HF}$와 $\widehat{ECH}$)에 대한 준동형사상 $\Phi$를 $+$-버전으로 확장하기.
• $U$-맵들에 대해 양쪽 모두에서 호모토피 위상에서 가환하는 체인 맵 $\Phi^+$ 정의.
• $\Phi^+$가 호모로지 위에서 동형사상을 유도함으로써 $HF^+$와 $ECH$의 동치성을 확립하기.
• 기하학적 구조인 $U$-행동과 필터링된 체인 복합체의 대수적 구조를 통합하는 방법 제시.

제안 방법

• 이전에 헷 버전에서 사용된 코브르-dismiss $W_+$를 확장하여, $[0,1] \times \Sigma$ 에서 $M$으로 향하는 심플렉틱 코브르-dismiss $X_+$ 구성.
• 모노드로미의 토러스와 $S_{1/2}$ 위에 원통형 끝을 포함하는 기하학적 코브르-dismiss $X_+$를 사용해 체인 맵 $\Phi^+$ 정의.
• $g \geq 2$인 개방된 북 분해 $(S, \rho)$를 사용하여 헤가드 표면 $\Sigma = S_0 \cup -S_{1/2}$와 관련된 체인 복합체 정의.
• $HF^+$를 모델링하는 필터링된 체인 복합체 $C(U)$와 $ECH(M)$에 대응하는 $C(U')$ 정의하며, $C(U)$에 필터링 $\widehat{\mathcal{F}}$ 적용.
• 이 필터링된 복합체들 사이의 대수적 맵 $\Phi_{\text{alg}}$ 구성하고, 스펙트럴 시리즈 추론을 통해 그것이 준동형사상임을 증명.
• 가환 다이어그램과 호모토피 자료를 사용하여, $\Phi^+$가 호모로지 위에서 알려진 준동형사상 $\Phi_*$와 일치하는 맵을 유도함을 증명.

실험 결과

연구 질문

• RQ1 헤가드 플로어 복합체 $CF^+(-M)$에서 임베디드 컨택트 호모로지 복합체 $ECC(M)$로 가는 체인 맵 $\Phi^+$가 존재하는가? 이 맵은 $U$-맵들과 호모토피 위상에서 가환하는가?
• RQ2 이전에 알려진 $\widehat{HF}(-M)$와 $\widehat{ECH}(M)$ 사이의 동형사상이 기하학적으로 정의된 체인 맵을 통해 $+$-버전으로 확장 가능한가?
• RQ3 기하학적 코브르-dismiss를 통해 $HF^+$의 $U$-행동과 $ECH$의 $U$-행동을 어떻게 대수적으로 조율할 수 있는가?
• RQ4 $\Phi^+$가 호모로지 위에서 동형사상인가? 이는 $HF^+$와 $ECH$의 동치성을 증명한다.
• RQ5 이전 연구에서처럼 날개 달린 계수를 사용하여 $\Phi^+$의 구성이 수행 가능한가?

주요 결과

• 체인 맵 $\Phi^+$는 $CF^+(-M)$과 $ECC(M)$ 사이의 준동형사상이며, 이로 인해 $HF^+(-M) \cong ECH(M)$가 성립함을 증명한다.
• $\Phi^+$는 양쪽의 $U$-맵들과 호모토피 위상에서 가환하며, $K^+ = K + \Phi^+ \circ H$로 주어진 특정 체인 호모토피 $K^+$에 의해 제어된다. 여기서 $H$와 $K$는 이전 정리에서 정의된 바 있다.
• 필터링된 복합체들 사이의 대수적 맵 $\Phi_{\text{alg}}$는 스펙트럴 시리즈 추론과 알려진 동형사상과의 가환성으로 인해 준동형사상임을 입증한다.
• $\Phi^+$의 구성은 헤가드 표면 $\Sigma = S_0 \cup -S_{1/2}$에서 $S_0$와 $S_{1/2}$를 모두 사용해야 하며, 헷 버전에서는 $S_0$만 사용한 것과 다름을 보여준다.
• $\Phi^+$는 이전에 구축된 헷 버전용 $\Phi$를 확장하며, 호모로지 위에서 유도된 맵은 $\widehat{HF}$와 $\widehat{ECH}$를 정의하는 부분복합체에서 $\Phi_*$와 일치한다.
• 증명은 스펙트럴 시리즈의 $E^1$-페이지에서 유도된 맵이 동형임을 바탕으로 하며, 이는 원래 맵 $\mathfrak{i}$와 따라서 $\Phi_{\text{alg}}$가 준동형사상임을 암시한다.