[논문 리뷰] Contact structures, sutured Floer homology and TQFT

Ko Honda, William Kazez외 1명|ArXiv.org|2008. 07. 15.

Geometric and Algebraic Topology참고 문헌 21인용 수 62

한 줄 요약

이 논문은 삽입된 서처드 부분다양체의 보조 공간 위의 접촉 구조에 의해 유도되는 서처드 플로어 호몰로지 위에 자연스러운 접합 사상이 존재함을 증명하며, 차원 축소를 통해 (1+1)-차원 위상적 양자장 이론(TQFT)을 구성할 수 있게 한다. 주요 결과는 잘 정의된, 부호가 모호한 사상으로서 접촉 불변량을 유지하는 것이며, 이는 비분리 구성 요소를 분류하고 특정 위상적 조건 하에서 불변량의 소멸을 증명하는 데 응용된다.

ABSTRACT

We describe the natural gluing map on sutured Floer homology which is induced by the inclusion of one sutured manifold (M',Γ') into a larger sutured manifold (M,Γ), together with a contact structure on M-M'. As an application of this gluing map, we produce a (1+1)-dimensional TQFT by dimensional reduction and study its properties.

연구 동기 및 목표

• 서처드 부분다양체의 보조 공간 위의 접촉 구조에 의해 유도되는 서처드 플로어 호몰로지 위의 자연스러운 접합 사상 정의.
• 서처드 플로어 호몰로지의 차원 축소를 통해 (1+1)-차원 위상적 양자장 이론(TQFT) 구축.
• 서처드 플로어 호몰로지의 접촉 불변량이 언제 소멸하는지 특성화, 특히 고립된 영역이 존재할 경우.
• ℤ/2ℤ 계수에서 접촉 불변량이 0이 되지 않는 조건을 규명.
• 특히 고립된 원환면 또는 고리형 영역이 존재할 경우, 보퍼스 첨부 및 TQFT 연산과의 관계에서 접촉 불변량의 행동을 조사.

제안 방법

• 서처드 부분다양체 M′의 내부를 제외한 M−int(M′) 위의 접촉 구조 ξ에 의해 유도되는 접합 사상 Φξ: SFH(−M′,−Γ′) → SFH(−M,−Γ) ⊗ V⊗m 정의, 여기서 m은 고립된 성분의 수.
• Giroux 이론에 따라 접촉 구조에 적합한 볼록 모스 함수와 개방 도서 분해를 사용하여 접합 과정과의 호환성 확보.
• 서처드 플로어 호몰로지의 TQFT 성질을 적용하여 보퍼스 첨부 하에서 불변량을 분해하고, 이러한 연산 하에서 접촉 불변량의 가법성 활용.
• ℤ 및 ℤ/2ℤ 계수에서 작업하며, 후자는 접촉 불변량의 부호 모호성을 제거한다.
• 차원 축소를 통해 서처드 플로어 호몰로지 프레임워크에서 (1+1)-차원 TQFT 구축.
• 접합 이동 및 고립된 영역 구성에서 접촉 불변량의 행동 분석, 특히 고리형 및 한 개의 구멍이 있는 토러스에 대해 컷 앤 페스트 기법 활용.

실험 결과

연구 질문

• RQ1 서처드 플로어 호몰로지의 접촉 불변량이 ℤ/2ℤ 계수에서 언제 소멸하는가?
• RQ2 서처드 부분다양체에 호환되는 접촉 구조가 존재할 때, 접합 사상 Φξ는 어떻게 접촉 불변량을 유지하는가?
• RQ3 서처드 플로어 호몰로지의 차원 축소를 통해 얻어진 TQFT의 구조는 어떠한가?
• RQ4 고립된 영역이 존재할 경우 보퍼스 첨부는 접촉 불변량에 어떤 영향을 미치는가?
• RQ5 특히 비분리 구성 요소와 관련하여 접촉 불변량이 0이 되지 않도록 보장하는 위상적 조건은 무엇인가?

주요 결과

• 접합 사상 Φξ: SFH(−M′,−Γ′) → SFH(−M,−Γ) ⊗ V⊗m 는 전역적인 ± 부호의 모호성 외에는 잘 정의되며, 포함 관계 하에서 접촉 불변량을 유지한다.
• M′ 위의 임의의 접촉 구조 ξ′에 대해, EH(M′,Γ′,ξ′)의 이미지는 EH(M,Γ,ξ′∪ξ) ⊗ (x⊗⋯⊗x) 이며, 여기서 x는 S¹×S² 위의 표준 타이트 접촉 구조의 접촉 클래스이다.
• ℤ/2ℤ 계수에서, 고립된 영역(고리형 또는 고도수 2 이상의 표면 포함)을 포함하는 임의의 구성 K에 대해 접촉 불변량은 0이 된다.
• 접촉 불변량은 비분리 구성 요소일 때만 0이 아니며, ℤ 계수에서는 이 불변량이 0이 아닐 조건으로서, 그것이 원시적이고 구성 요소가 비분리여야 한다는 추측이 제기된다.
• 한 개의 구멍이 있는 토러스에 대해 ∂-평행 곡선과 경계 평행 곡선이 존재할 경우, 보퍼스 첨부된 구성의 불변량은 서로 같으며, 이는 ℤ/2ℤ에서 상쇄됨을 의미한다.
• TQFT 구조는 분할선의 위상적 불변량에 따라 접촉 불변량을 완전히 분류할 수 있게 하며, 특히 보퍼스 이동 및 고립된 영역 분석에서 중요한 역할을 한다.