[논문 리뷰] An absolute grading on Heegaard Floer homology by homotopy classes of oriented 2-plane fields

Vinicius G. B. Ramos, Yang Huang|arXiv (Cornell University)|2011. 12. 01.

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

한 줄 요약

이 논문은 고정된 방향을 가진 2차원 평면장의 호모토피류를 이용하여 닫힘 방향 3차원 다중체에 대한 헤가르드 플로어 homology에 절대적 등급을 도입한다. 이는 상대적 등급을 더욱 정교하게 만드는 표준적인 절대적 등급을 체인 복합체에 구성하며, 헤가르드 이동에 대해 불변이 되고 코바디즘 맵과도 호환된다. 주요 결과는 접촉 구조 $ \xi $의 접촉 불변량 $ c(\xi) \in \widehat{HF}(-Y) $ 가 그 접촉 구조 $ \xi $ 의 호모토피류와 동일한 등급을 가진다는 것이다. 이는 헤가르드 플로어 homology의 절대적 등급 구조에 오랫동안 존재했던 빈자리 문제를 해결한다.

ABSTRACT

For a closed oriented 3-manifold Y, we define an absolute grading on the Heegaard Floer homology groups of Y by homotopy classes of oriented 2-plane fields. We show that this absolute grading refines the relative one and that it is compatible with the maps induced by cobordisms. We also prove that if ξ is a contact structure on Y, then the grading of the contact invariant c(ξ) is the homotopy class of ξ.

연구 동기 및 목표

• 헤가르드 다이어그램 선택에 의존하지 않는 헤가르드 플로어 homology에 대한 절대적 등급을 정의하기 위해.
• 임베디드 접촉 homology와 시브르그-워튼 플로어 homology와 같은 이sovolumetric 이론에서는 존재하나 헤가르드 플로어 homology에서는 절대적 등급이 부재한 문제를 해결하기 위해.
• 코바디즘 맵과 접촉 불변량 구성에 대해 호환성을 확보하기 위해.
• 접촉 불변량 $ c(\xi) \in \widehat{HF}(-Y) $ 의 등급이 접촉 구조 $ \xi $ 의 호모토피류와 일치함을 입증하기 위해.

제안 방법

• 다중체 $ Y $ 위의 고정된 2차원 평면장의 호모토피류 집합인 $ \mathcal{P}(Y) $ 에 값이 있는 표준 함수 $ \widetilde{\text{gr}}: \mathbb{T}_\alpha \cap \mathbb{T}_\beta \to \mathcal{P}(Y) $ 를 구성한다.
• 헤가르드 다이어그램의 플로우 라인과 기저점 근처의 그래디언트 유사 벡터장의 수정을 통해 등급을 정의한다.
• 해당 코바디즘을 따라 벡터장의 명시적 호모토피를 구성함으로써 등급이 헤가르드 이동에 대해 불변임을 보인다.
• 거의 복소수 구조를 삼중 코바디즘에 정의하여 손가락 이동과 핸들 슬라이드에 대해 등급이 유지됨을 증명한다.
• 헤가르드 다이어그램의 안정화를 통해 등급을 전체 체인 복합체로 확장하며, $ S^3 $ 합성부에서 벡터장의 호모토피를 통해 불변성을 보인다.
• 코바디즘 $ W $ 에서의 거의 복소수 구조를 이용해 유도된 맵이 관계 $ \widetilde{\text{gr}}(\mathbf{x}) \sim_W \widetilde{\text{gr}}(\mathbf{y}) $ 를 유지함을 보여 코바디즘 맵과의 호환성을 검증한다.

실험 결과

연구 질문

• RQ1 고정된 2차원 평면장의 호모토피류를 이용해 헤가르드 플로어 homology에 절대적 등급을 정의할 수 있는가? 이는 상대적 등급과 일관된가?
• RQ2 이 절대적 등급은 헤가르드 이동에 대해 불변인지 확인하여 $ \widehat{HF}(Y) $ 에 잘 정의된 불변량이 되는가?
• RQ3 접촉 불변량 $ c(\xi) \in \widehat{HF}(-Y) $ 의 등급이 접촉 구조 $ \xi $ 의 호모토피류와 일치하는가?
• RQ4 절대적 등급은 4차원 코바디즘에 의해 유도되는 코바디즘 맵 $ F_{W,\mathfrak{t}} $ 와 호환되는가?
• RQ5 모든 헤가르드 다이어그램에서 균일하게 등급을 구성할 수 있고, 안정화, 손가락 이동, 핸들 슬라이드와 같은 표준 이동에 대해 유지되는가?

주요 결과

• 절대적 등급 $ \widetilde{\text{gr}} $ 는 $ \widehat{CF}(Y, \mathfrak{s}) $ 에 잘 정의되어 있으며, 스피너^c 구조 $ \mathfrak{s} $ 에서의 고정된 2차원 평면장의 호모토피류 집합인 $ \mathcal{P}(Y, \mathfrak{s}) $ 에 값을 가진다.
• 등급은 상대적 등급을 정교화한다: 같은 스피너^c 구조에 속하는 $ \mathbf{x}, \mathbf{y} $ 에 대해 $ \widetilde{\text{gr}}(\mathbf{x}) - \widetilde{\text{gr}}(\mathbf{y}) = \text{gr}(\mathbf{x}, \mathbf{y}) \in \mathbb{Z}/d(c_1(\mathfrak{s})) $ 이다.
• 접촉 불변량 $ c(\xi) \in \widehat{HF}(-Y) $ 는 등급 $ \widetilde{\text{gr}}(c(\xi)) = [\xi] $ 를 가지며, 이는 접촉 구조 $ \xi $ 의 호모토피류이다.
• 등급은 헤가르드 이동에 대해 불변이므로, 이는 헤가르드 다이어그램 선택에 관계없이 잘 정의된 절대적 등급으로 $ \widehat{HF}(Y) $ 에 내림내림된다.
• 코바디즘 맵 $ F_{W,\mathfrak{t}} $ 는 $ \mathbf{y} $ 가 $ F_{W,\mathfrak{t}}(\mathbf{x}) $ 의 이미지에 속할 경우, 코바디즘 $ W $ 에서의 거의 복소수 구조를 통해 $ \widetilde{\text{gr}}(\mathbf{x}) \sim_W \widetilde{\text{gr}}(\mathbf{y}) $ 를 유지함으로써 등급을 유지한다.
• 안정화, 손가락 이동, 핸들 슬라이드에 대해 등급이 유지되며, 이는 해당 코바디즘을 따라 명시적인 그래디언트 유사 벡터장의 호모토피를 구성함으로써 입증된다.