[논문 리뷰] Exact triangles in Seiberg-Witten Floer theory. Part IV: Z-graded monopole homology

Matilde Marcolli, Bai‐Ling Wang|ArXiv.org|2000. 09. 15.

Geometric and Algebraic Topology참고 문헌 15인용 수 9

한 줄 요약

이 논문은 b₁ > 0인 3차원 다중체에 대해 Z-gradation monopole homology를 수립한다. 특히, 동치류 구면에서의 끈에 대해 0-수술을 가한 Y₀에 대해, Chern-Simons-Dirac 함수를 통한 Zℓ-gradation Seiberg-Witten-Floer homology의 정수 계수 상승을 통해 이를 구현한다. 결과적으로 얻어진 Z-gradation homology 군은 ℓ-이동에 대한 직합 분해를 만족하며, 이는 Seiberg-Witten-Floer 이론에서 정확한 삼각형을 구성하고, monopole Floer homology의 수술 공식에서 발생하는 문제를 해결한다.

ABSTRACT

Some aspects of the construction of SW Floer homology for manifolds with non-trivial rational homology are analyzed. In particular, the case of manifolds that are obtained as zero-surgery on a knot in a homology sphere, and for torsion spinc structures. We discuss relative invariants in the case of torsion spinc structures.

연구 동기 및 목표

• b₁ > 0인 3차원 다중체에서 Seiberg-Witten-Floer 이론의 정확한 삼각형에 나타나는 Z-gradation monopole homology의 모호성을 해결하기 위해.
• 동치류 구면에서 끈에 대해 0-수술을 가한 Y₀에 대해, Zℓ-gradation Seiberg-Witten-Floer homology의 정규화된 정수 계수 상승을 정의하기 위해.
• 기존 다중체 Y의 그림자를 통해 유도된 그림자를 사용하여 정확한 삼각형 구성법을 통해 Z-gradation monopole homology를 수립하기 위해.
• Spin^c 구조의 첫 번째 Chern 클래스가 토르션일 경우, Z[[t]] 계수를 갖는 Novikov 복합체를 사용하여 이론을 확장하기 위해.

제안 방법

• 게이지 동치류 공간의 무한 순환 피복에서의 Chern-Simons-Dirac 함수의 정상값 ω를 사용하여, Z-gradation 체인 복합체 C*^(ω)(Y₀, s)를 구성한다.
• 함수의 상승을 통한 임계점의 지표의 정수 계수 상승을 정의하여, 잘 정의된 경계 연산자를 갖는 Z-gradation 체인 복합체를 형성한다.
• Zℓ-gradation 복합체의 스펙트럴 시퀀스가 원래 Zℓ-gradation homology로 수렴하며, E¹-항이 ω-상승을 통해 Z-gradation homology와 동형임을 보인다.
• Y₀에서의 단백질 모듈라이 공간과 Y에서의 상대 모듈라이 공간 사이의 일대일 사상 j를 통해, 정확한 삼각형에서 유도된 그림자를 사용한 다른 Z-gradation homology를 구성한다.
• 토르션 케이스의 경우, 편미분에서 비자명한 코homology 클래스를 다루기 위해 Z[[t]] 계수를 갖는 Novikov 복합체를 도입하여 경계 연산자가 잘 정의됨을 보장한다.
• Seiberg-Witten 단백질의 접합 이론을 사용하여 4차원 다중체 불변량을 3차원 다중체 Floer homology와 연결하며, 특히 Σg × S¹의 경우를 다룬다.

실험 결과

연구 질문

• RQ1 b₁ > 0인 3차원 다중체의 Zℓ-gradation Seiberg-Witten-Floer homology가 어떻게 정규화된 Z-gradation 이론으로 자연스럽게 상승될 수 있는가?
• RQ2 ω-상승을 통해 구성된 Z-gradation homology와 원래 Zℓ-gradation homology 사이의 정확한 관계는 무엇인가?
• RQ3 Seiberg-Witten-Floer 이론의 정확한 삼각형이 0-수술 다중체 Y₀에서 Z-gradation 구조에 어떻게 제약을 가하는가?
• RQ4 첫 번째 Chern 클래스가 토르션일 경우 Z-gradation monopole homology가 일관되게 정의될 수 있는가?
• RQ5 스펙트럴 시퀀스는 ω-상승된 Z-gradation 복합체와 원래 Zℓ-gradation homology 사이의 관계를 어떻게 규명하는가?

주요 결과

• Z-gradation monopole homology HF_{*,(ω)}^{SW}(Y₀, s)는 Z-gradation 체인 복합체 C*^(ω)(Y₀, s)의 호모로지로 구성되며, 원래 Zℓ-gradation homology로 수렴하는 스펙트럴 시퀀스를 가진다.
• 스펙트럴 시퀀스의 E¹-항은 HF_{*,(ω)}^{SW}(Y₀, s)와 동형이며, 모든 고차 미분이 0일 경우, HF_m^{SW}(Y₀, s) = ⨁_{n∈Z} HF_{m+nℓ, (ω)}^{SW}(Y₀, s)가 성립한다.
• 정확한 삼각형을 통한 다른 Z-gradation homology는 원래 다중체 Y에서 유도된 그림자를 통해 구성되며, 이 경우 HF_n^{SW}(Y₀, s) = ⨁_{k∈Z} HF_{n+kℓ}^{SW}(Y₀, s)가 된다.
• 토르션 케이스에서는 에너지가 동일한 성분을 분리한 후, Z[[t]] 계수를 갖는 Novikov 복합체를 사용하여 경계 연산자가 잘 정의됨을 보였다.
• 예로서 Σg × S¹의 경우, 자명한 Spin^c 구조에서 HF^{SW}_{Γ,*}(Σg × S¹, s₀; Q((t))) ≅ H_*(Sym^{g-1}(Σ), Q) ⊗ Q((t))이며, 토러스의 경우 구체적인 계산을 통해 HF^{SW}_{Γ,*}(T² × S¹, s₀; Q((t))) ≅ Q((t))임을 도출하였다.
• T² × D²의 경우, 상대 Seiberg-Witten 불변량은 SW_{T²×D²}(s₀,1) = 1/(t - t⁻¹)로 계산되며, 비자명한 불변량은 오직 차수 1 클래스에서만 존재한다.