[논문 리뷰] Heegaard Floer homology for manifolds with torus boundary: properties and examples

Jonathan Hanselman, Jacob Rasmussen외 1명|arXiv (Cornell University)|2018. 10. 22.

Geometric and Algebraic Topology인용 수 5

한 줄 요약

이 논문은 구멍이 난 토러스에서의 임베디드 커브와 국소 체계를 사용하여 경계가 토러스인 3차원 다중체에 대한 헤가르드 플로어 homology의 기하학적, 곡선 기반 기술을 수립한다. 이는 스피너^c 콜레주션에 대한 핵심 불변성 성질을 증명하고, 이 불변성과 knot 플로어 호몰로지 및 투라에프 노름 사이의 관계를 규명하며, 경계형 플로어 호몰로지의 그레딩에 기하학적 해석을 제공한다. 또한, 이 이론은 계수 1의 변형 불변성과 스플라이싱 구조에 응용된다.

ABSTRACT

This is a companion paper to earlier work of the authors, which interprets the Heegaard Floer homology for a manifold with torus boundary in terms of immersed curves in a punctured torus. We prove a variety of properties of this invariant, paying particular attention to its relation to knot Floer homology, the Thurston norm, and the Turaev torsion. We also give a geometric description of the gradings package from bordered Heegaard Floer homology and establish a symmetry under spin$^c$ conjugation; this symmetry gives rise to genus one mutation invariance in Heegaard Floer homology for closed three-manifolds. Finally, we include more speculative discussions on relationships with Seiberg-Witten theory, Khovanov homology, and $HF^\pm$. Many examples are included.

연구 동기 및 목표

• 경계가 토러스인 3차원 다중체에 대해 구멍이 난 토러스 내의 임베디드 커브와 국소 체계를 사용하여 기하학적, 곡선 기반 불변량을 제공한다.
• 이 불변량과 투라에프 노름, knot 플로어 호몰로지, 투라에프 토르션과 같은 고전적 불변량 사이의 연결을 수립한다.
• 경계형 헤가르드 플로어 호몰로지의 그레딩에 기하학적 해석을 제공하고, 스피너^c 콜레주션에 대한 대칭성을 증명한다.
• 이 프레임워크를 사용하여 닫힌 3차원 다중체에서 계수 1의 변형 불변성을 보여준다.
• 세이버그-워든 이론, 코반호몰로지, HF^+와의 암시적 연결 고려를 탐색한다.

제안 방법

• 경계형 헤가르드 플로어 호몰로지 프레임워크를 사용하여, $\partial M \setminus \{z\}$ 내의 임베디드 커브와 국소 체계의 집합으로서 불변량 $\widehat{\mathit{HF}}(M)$ 을 정의한다. 이는 정규 호모토피와 동형사상에 대해 정의된다.
• 형식 D의 구조 이론을 적용하여 $\widehat{\mathit{HF}}(M)$ 을 기하학적 객체로 실현하며, 계산적으로 실행 가능한 알고리즘을 제시한다.
• 닫힌 3차원 다중체 $Y = M_0 \cup_h M_1$ 에 대해, $\widehat{\mathit{HF}}(M_0)$ 와 $h(\widehat{\mathit{HF}}(M_1))$ 의 경계 토러스 내 임베디드 라그랑주 교차 호몰로지로 $\widehat{\mathit{HF}}(Y)$ 를 계산한다.
• 매핑 클래스 군의 곡선 구성에 대한 작용을 통해 스피너^c 그레딩 패키지의 기하학적 해석을 제공한다.
• 곡선 불변량을 사용하여 맵핑 콘스트럭처를 통해 $\mathit{HF}^+$ 를 계산하며, 교차 복합체 내의 이면형과 국소 체계를 분석한다.
• 스플라이스드 테프로일과 유리수 호몰로지 다중체의 예를 분석하여 불변성과 $\mathit{HF}^+$ 재구성의 장벽을 검증한다.

실험 결과

연구 질문

• RQ1 경계가 토러스인 3차원 다중체의 헤가르드 플로어 호몰로지를 곡선과 국소 체계를 사용하여 어떻게 기하학적으로 기술할 수 있는가?
• RQ2 이 곡선 불변량과 투라에프 노름, knot 플로어 호몰로지와 같은 고전적 불변량 사이의 관계는 무엇인가?
• RQ3 경계형 플로어 호몰로지의 기하학적 그레딩 패키지가 스피너^c 콜레주션에 대해 대칭을 보이며, 그 위상적 결과는 무엇인가?
• RQ4 $\widehat{\mathit{HF}}(M)$ 이 스플라이스드 다중체 $M_0 \cup_h M_1$ 에서 $\mathit{HF}^+(M_0 \cup_h M_1)$ 을 어느 정도 결정하는가?
• RQ5 $\mathit{HF}^+(M_0 \cup_h M_1)$ 이 곡선 교차 호몰로지 $\mathit{HF}^+(\widehat{\mathit{HF}}(M_0), h(\widehat{\mathit{HF}}(M_1)))$ 의 $\mathit{HF}^+$ 와 동형일 조건은 무엇인가?

주요 결과

• 경계가 토러스인 3차원 다중체에 대해 불변량 $\widehat{\mathit{HF}}(M)$ 은 정규 호모토피와 동형사상에 대해 정의된, 구멍이 난 토러스 내의 임베디드 커브와 국소 체계의 집합으로 완전히 결정된다.
• 닫힌 3차원 다중체 $Y = M_0 \cup_h M_1$ 에 대해 $\widehat{\mathit{HF}}(Y)$ 의 차원은 $\widehat{\mathit{HF}}(M_0)$ 와 $h(\widehat{\mathit{HF}}(M_1))$ 간의 최소 교차 수로 계산되며, 스플라이스드 테프로일 예제에서는 $\dim \widehat{\mathit{HF}}(Y) = 5$ 이다.
• 경계형 플로어 호몰로지의 기하학적 그레딩 패키지가 스피너^c 콜레주션에 대해 대칭임을 입증하였으며, 이는 헤가르드 플로어 호몰로지에서 계수 1의 변형 불변성을 이끌어낸다.
• 스플라이스드 테프로일의 경우 $\mathit{HF}^+(Y) \cong \mathcal{T}_+ \oplus \mathbb{F}^3$ 로 계산되며, 교차 복합체 내 7개의 생성자와 8개의 이면형을 통해 이루어진다.
• 국소 체계의 다중도가 1을 초과하는 경우, $\mathit{HF}^+$ 가 $\widehat{\mathit{HF}}$ 만으로 재구성될 수 없는 예가 존재하며, 이는 보다 정교한 불변량이 필요함을 시사한다.
• 논문은 $M_0$ 과 $M_1$ 이 플로어 단순하거나 다중도 1인 국소 체계를 가진다면, $\mathit{HF}^+(M_0 \cup_h M_1) \cong \mathit{HF}^+(\widehat{\mathit{HF}}(M_0), h(\widehat{\mathit{HF}}(M_1)))$ 라는 추측을 제기한다.