[논문 리뷰] Heegaard Floer Homology and Triple Cup Products

Tye Lidman|arXiv (Cornell University)|2010. 11. 18.

Geometric and Algebraic Topology참고 문헌 11인용 수 4

한 줄 요약

이 논문은 모든 닫힌 3차원 다중체 Y와 토퍼스 스파인(torsion Spinc) 구조 s에 대해, Z/2 계수를 가진 Heegaard Floer homology HF∞(Y, s)가 Mark의 컵 homology HC∞(Y)과 동형임을 증명한다. 링크 수술 공식과 체인 복합체의 하이퍼큐브 위의 스펙트럴 시퀀스 필터레이션을 이용하여, E3 페이지가 H1(Y; Z) 위의 외적 대수와 F[[U, U−1]]의 텐서곱과 동형이며, d3는 정수 삼중 컵 곱형식에 의한 수축으로 주어진다. 고차 미분들은 모두 0이 되며, 이는 Ozsváth와 Szabó의 추측을 확인한다.

ABSTRACT

We give a complete calculation of the infinity flavor of Heegaard Floer homology with mod 2 coefficients for all three-manifolds and torsion Spin^c structures. The computation agrees with the conjectured calculation of Ozsvath and Szabo. This therefore establishes an isomorphism with Mark's cup homology mod 2.

연구 동기 및 목표

• 모든 닫힌 3차원 다중체 Y와 토퍼스 스파인 구조 s에 대해 Z/2 계수를 가진 HF∞(Y, s)의 완전한 계산을 확립하기 위해.
• Ozsváth와 Szabó의 추측을 검증하기 위해, universal coefficients 스펙트럴 시퀀스의 E3 페이지가 삼중 컵 곱형식에 의한 수축으로 주어진다는 것을 입증하기 위해.
• 스펙트럴 시퀀스에서 고차 미분들이 모두 0이 됨을 증명하여, HF∞(Y, s)가 Mark의 컵 homology HC∞(Y)과 F 위에서 동형임을 규명하기 위해.
• 정수 계수에서는 일부 3차원 다중체를 구별하지 못할 수 있음에도 불구하고, mod 2 계수에서 이 동형관계가 성립함을 보여주어, 이러한 3차원 다중체를 구별하기 위해 mod 2 계수가 필수적임을 입증하기 위해.
• 이전에 b1(Y) ≤ 3인 경우에 대한 계산을, 분리된 링크에 대한 수술을 통한 링크 성분 수에 대한 귀납적 추론을 통해 일반적인 b1(Y)로 확장하기 위해.

제안 방법

• Manolescu와 Ozsváth의 링크 수술 공식을 활용하여, 호모로지적으로 분리된 링크에 대한 0-수술에서 HF∞(Y, s)를 F[[U, U−1]] 위의 하이퍼큐브 체인 복합체의 호모로지로 표현한다.
• 큐브의 정점 위치에 기반한 필터레이션을 구성하여, 카우프만 호모로지의 양자 등급을 모방하는 스펙트럴 시퀀스를 유도한다.
• E3 페이지가 Λ∗(H1(Y; Z)) ⊗ F[[U, U−1]]와 동형이며, d3가 정수 삼중 컵 곱형식 µY에 의한 수축으로 작용함을 확인한다.
• 링크 성분 K를 K1#K2로 분할하는 귀납적 추론을 적용하여, 컵 곱형식의 복잡도를 감소시키고 호모로지 위의 유도된 사상들을 분석한다.
• HF∞가 Γ+K + Γ−K의 사영 맵의 콘의 호모로지와 quasi-isomorphic임을 이용하여 스펙트럴 시퀀스를 분석하고, 커널 포함 관계를 통해 고차 미분들이 0이 됨을 보여준다.
• 특히, 사상 ΨK1,K2 = Γ+K1 + Γ−K1 ∘ (Γ−K2)−1 ∘ Γ+K2의 체인 사상과 스펙트럴 시퀀스 필터레이션의 대수적 변환을 분석하여, d3의 커널이 전체 미분에 대해 유지됨을 보여준다.

실험 결과

연구 질문

• RQ1 HF∞(Y, s)에 대한 universal coefficients 스펙트럴 시퀀스의 E3 페이지는 H1(Y; Z) 위의 외적 대수와 F[[U, U−1]]의 텐서곱과 동형이며, d3가 삼중 컵 곱형식에 의한 수축으로 주어지는가?
• RQ2 모든 고차 미분들이 스펙트럴 시퀀스에서 0이 되어, HF∞(Y, s)가 F 위에서 Mark의 컵 homology HC∞(Y)와 동형임을 보장하는가?
• RQ3 정수 계수에서는 일부 3차원 다중체를 구별하지 못할 수 있음에도 불구하고, mod 2 계수에서 HF∞(Y, s)와 HC∞(Y) 사이의 동형관계가 성립하는가?
• RQ4 링크 성분을 연결합으로 분할하는 귀납적 접근이 스펙트럴 시퀀스의 구조를 유지하며, 고차 미분들의 0화를 위한 통일된 증명을 가능하게 하는가?
• RQ5 mod 2 계수는 HF∞(Y, Z)의 2- torsion을 탐지하는 데 어떤 역할을 하는가? 이는 동형이 유지되는 유리수 계수 불변량을 가진 3차원 다중체 간의 구별에 어떤 영향을 미치는가?

주요 결과

• 큐브 필터레이션에 의해 유도된 스펙트럴 시퀀스는 첫 번째 및 두 번째 미분이 0이며, E3 페이지는 상대적으로 등급이 매겨진 F[[U, U−1]]-모듈로서 Λ∗(H1(Y; Z)) ⊗ F[[U, U−1]]와 동형이다.
• 미분 d3: Λi(H1(Y; Z) ⊗ F) ⊗ Uj → Λi−3(H1(Y; Z) ⊗ F) ⊗ Uj−1은 정수 삼중 컵 곱형식 µY에 의한 수축으로 명시적으로 주어진다.
• 모든 고차 미분들(d4 이상)은 0이 되며, 이는 스펙트럴 시퀀스가 E3에서 붕괴하고 HF∞(Y, s)가 (E3, d3)의 호모로지와 동형임을 의미한다.
• 이는 Ozsváth와 Szabó의 [10] 논문의 추측 4.10을 mod 2 계수에서 확인하는 것으로, HF∞(Y, s) ≅ HC∞(Y) over F임을 입증한다.
• 이 동형관계는 정수 호모로지의 2- torsion을 탐지함을 의미하며, M2n−1과 M2n은 유리수 계수에서 HC∞(·, Q)가 동형이지만, F 계수에서 HC∞(·, F)가 동형이 아니므로, n ≥ 1일 때 HF∞(M2n, Z)에 2- torsion이 존재함을 보여준다.
• 이 결과는 이전에 b1(Y) ≤ 3인 경우의 계산을 분리된 링크에 대한 수술과 Γ±Ki의 E3 페이지에서의 행동을 기반으로 한 귀납적 추론을 통해 일반적인 b1(Y)로 확장한다.