[논문 리뷰] Projective Naturality in Heegaard Floer Homology

Mike Gartner|arXiv (Cornell University)|2019. 08. 17.

Geometric and Algebraic Topology인용 수 4

한 줄 요약

이 논문은 정수 계수 Heegaard Floer homology의 사영적 자연성(projective naturality)을 확립한다. 이를 위해 불변량이 $ℚ[U]$-모듈의 호모토피 범주에서의 전이 시스템(transitive systems)으로 향하는 함자(functors)를 이룬다는 것을 보여주며, 이는 이전의 $ℚ_2$ 계수에서의 자연성 결과를 $ℤ$ 계수로 확장한 것으로, 문헌에서 존재하던 격차를 메우고, 코바디즘 사상과 초입자적 불변량의 자연성에 대한 기초를 마련한다.

ABSTRACT

Let $ ext{Man}_{*}$ denote the category of closed, connected, oriented and based $3$-manifolds, with basepoint preserving diffeomorphisms between them. Juhász, Thurston and Zemke showed that the Heegaard Floer invariants are natural with respect to diffeomorphisms, in the sense that there are functors $HF^{\circ}: ext{Man}_{*} ightarrow \mathbb{F}_{2}[U] ext{-} ext{Mod}$ whose values agree with the invariants defined by Ozsváth and Szabó. The invariant associated to a based $3$-manifold comes from a transitive system in $\mathbb{F}_{2}[U] ext{-} ext{Mod}$ associated to a graph of embedded Heegaard diagrams representing the $3$-manifold. We show that the Heegaard Floer invariants yield functors $HF^{\circ}: ext{Man}_{*} ightarrow ext{Trans}(P(\mathbb{Z}[U] ext{-} ext{Mod}))$ to the category of transitive systems in a projectivized category of $\mathbb{Z}[U]$-modules. In doing so, we will see that the transitive system of modules associated to a $3$-manifold actually comes from an underlying transitive system in the projectivized homotopy category of chain complexes over $\mathbb{Z}[U] ext{-} ext{Mod}$. We discuss an application to involutive Heegaard Floer homology, and potential generalizations of our results.

연구 동기 및 목표

• 정수 계수 Heegaard Floer homology의 자연성에 관해 기존 문헌에서 존재하던 격차를 메우기, 특히 미분형태와 코바디즘에 대해.
• 이전에 $ℚ_2$ 계수에서 확립된 Juhász, Thurston, Zemke의 자연성 프레임워크를 전이 시스템을 사용해 정수 계수로 확장하기.
• 다른 다이어그램과 기저점들 사이에서 Heegaard Floer 불변량을 체계적으로 비교할 수 있는 방법을 제공하여, 접촉 불변량과 링크 이론에 응용하는 데 필수적이다.
• 코바디즘 사상의 자연성과 초입자적 Heegaard Floer homology로의 일반화를 위한 기초를 마련하기.
• 불변량을 $ℚ[U]$-모듈의 프로젝티브화된 호모토피 범주에서의 전이 시스템의 범주로 향하는 함자로 공식화하기.

제안 방법

• 닫힘된, 정렬된 3차원 다양체에 대한 점이 있는 Heegaard 다이어그램의 동치류의 그래프 $ℜ_{\text{man}}$를 구성하며, 변들은 Heegaard 이동과 미분형태에 대응한다.
• 이 그래프 위에서 $ℚ[U]$-모듈의 전이 시스템으로 Heegaard Floer 불변량을 정의하여, Heegaard 이동과 미분형태에 대해 일관성을 확보한다.
• $ℚ[U]$-모듈의 복합체 범주를 프로젝티브화하고, 이 전이 시스템이 프로젝티브화된 호모토피 범주에서 유래된다는 것을 보인다.
• 홀로모르픽 삼각형에 의해 유도되는 계속성 사상과 삼각형 사상을 사용해 Heegaard Floer 모듈 간의 사상들을 정의하며, Heegaard 이동에 의해 유도되는 동치 사상과의 호환성을 확보한다.
• 수술 정확삼각형이 전이 시스템의 부분적으로 정의된 삼각형으로 확장되며, 이는 역 동치 사상과의 합성으로 완전히 정의된 전이 시스템의 사상으로 확장됨을 보인다.
• 논문 [OS06]의 정리 4.4와 함자성 결과를 활용하여, 구성된 사상들이 동치 사상과 부호를 제외한 상호작용을 보장함으로써 전이 시스템의 구조를 유지한다.

실험 결과

연구 질문

• RQ1 어떻게 Heegaard Floer homology의 자연성이 정수 계수에서 확립될 수 있는가, 특히 미분형태에 대해?
• RQ2 정수 계수에서 불변량을 함자로 공식화하기 위한 올바른 범주론적 프레임워크는 무엇인가?
• RQ3 전이 시스템으로서의 $ℚ[U]$-모듈이 $ℚ[U]$-모듈의 복합체의 프로젝티브화된 호모토피 범주로 올라갈 수 있는가?
• RQ4 수술 정확삼각형과 계속성 사상은 사영적 자연성 프레임워크 하에서 어떻게 행동하는가?
• RQ5 이 프레임워크는 초입자적 Heegaard Floer homology와 코바디즘 사상에 대해 어떤 함의를 갖는가?

주요 결과

• 정수 계수 Heegaard Floer 불변량은 $ℚ[U]$-모듈의 프로젝티브화된 범주에서의 전이 시스템을 값으로 갖는 함자 $HF^\circ: \text{Man}_* \to \text{Trans}(P(\mathbb{Z}[U]\text{-Mod}))$를 이룬다.
• 전이 시스템으로서의 $ℚ[U]$-모듈은 $ℚ[U]$-모듈의 복합체의 프로젝티브화된 호모토피 범주에서 유래된 기본 전이 시스템으로부터 유도된다.
• 수술 정확삼각형은 전이 시스템의 부분적으로 정의된 삼각형으로 확장되며, 이 확장은 Heegaard 이동에 의해 유도된 동치 사상과 호환된다.
• 역 동치 사상을 사용해 다이어그램 간에 Heegaard Floer 모듈 간의 사상을 일관되게 확장할 수 있으며, 이는 전이 시스템의 잘 정의된 사상들을 보장한다.
• 모든 다이어그램의 면이 부호를 제외한 상호작용을 보장하여 정확성과 함자성의 구조를 유지한다.
• 이 프레임워크는 정수 계수 Heegaard Floer homology의 자연성이 미분형태에 대해 완전히 증명됨을 보장하며, 문헌에서 핵심적인 격차를 메운다.