[논문 리뷰] An inequality for the h-invariant in instanton Floer theory

Kim A. Frøyshov|ArXiv.org|2001. 11. 04.

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

한 줄 요약

이 논문은 b₂⁺ = 1인 4차원 다양체에서 자기교차수 +1인 임베딩된 표면의 종수와 호모로지 구면 경계의 h-불변량 사이의 날카로운 부등식을 확립한다. 모듈리 공간 기법과 프로젝티브로 평탄한 U(2) 접속을 사용하여 h(Y) + ⌈g/2⌉ ≥ e(ℒ)를 증명한다. 여기서 e(ℒ)는 표면 계열의 옥수수 보완의 교차 형식에 기반한 격자 불변량이며, 도널드슨의 대각화 정리의 일반화이자 ±1 레이저 수술에 의한 h-불변량 변화에 대한 경계를 제공한다.

ABSTRACT

In math.DG/9903083 (henceforth referred to as EA) we defined an integer invariant $h(Y)$ for oriented integral homology 3-spheres $Y$ which only depends on the rational homology cobordism class of $Y$ and is additive under connected sums. In this paper we establish lower bounds for $h(Y)$ when $Y$ is the boundary of a smooth, compact, oriented 4-manifold with $b_2^+=1$. As applications, we give an upper bound for how much $h$ changes under -1 surgery on knots in terms of the slice genus of the knot, and compute $h$ for a family of Brieskorn spheres. This paper contains, in revised form, most of the material from v1 of EA that was left out in the final version of that paper. In particular, Theorem 1 of the present paper is virtually the same as Theorem 1 of v1 of EA. The proof is also essentially the same, but the exposition has been improved, with more details.

연구 동기 및 목표

• 호모로지 구면 경계와 b₂⁺ = 1을 가진 4차원 다각형에 대한 인stanton Floer homology에서 h-불변량을 포함하는 새로운 부등식을 확립하는 것.
• h-불변량을 자기교차수 +1인 임베딩된 표면의 종수와 코homology에서의 옥수수 보완 격자 구조와 연결하는 것.
• Floer 이론적 불변량과 격자 불변량 e(ℒ)를 통해 도널드슨의 대각화 정리를 일반화하는 것.
• 유리 호모로지 코바디즘을 사용하여 ±1 레이저 수술에 의한 h-불변량 변화에 대한 경계를 도출하는 것.

제안 방법

• 호모로지 코바디즘 군에서 ℤ로의 전사 준동형사상으로서 h-불변량을 정의하기 위해 인stanton Floer 이론을 사용한다.
• 경계가 있는 4차원 다각형에서 SO(3) 접속의 모듈리 공간 기법을 적용하며, 특히 매개변수화된 가중치 가중치와 환원 가능한 접속에 중점을 둔다.
• 비가역적이고 음의 정부호인 격자 ℒ에 대해, 극단적 벡터와 특성 클래스에 대한 합으로 정의된 격자 불변량 e(ℒ)를 도입한다.
• 프로젝티브로 평탄한 U(2) 접속과 3차원 다각형에서 평탄한 SU(2) 접속 간의 관계를 활용하여 Floer 체인 복합체를 계산한다.
• 3차원 토러스에서 평탄한 SO(3) 접속의 모듈리 공간의 구조를 분석하여, 정규화되지 않은 두 개의 점이 존재하고, 이들의 인덱스가 4만큼 다름을 보인다.
• 가중치의 가중치 가중치와 잘라내기 기법을 사용하여 모듈리 공간의 경계 및 끝부분 행동을 제어한다.

실험 결과

연구 질문

• RQ1 b₂⁺ = 1인 4차원 다각형에서 호모로지 구면 경계의 h-불변량은 임베딩된 표면의 종수와 자기교차수와 어떻게 관련이 있는가?
• RQ2 격자 불변량 e(ℒ)는 표면 종수에 따라 h-불변량을 어떻게 제한하는가?
• RQ3 ±1 레이저 수술에 의한 h-불변량 변화는 어떻게 경계를 가질 수 있으며, 이러한 경계의 날카로움은 어떠한가?
• RQ4 h(Y)와 e(ℒ)는 연결합과 코바디즘에서 어떻게 행동하는가?
• RQ5 3차원 토러스에서 평탄한 SO(3) 접속의 모듈리 공간의 구조는 어떠한가? 그리고 Floer 호모로지와의 관계는 무엇인가?

주요 결과

• 모든 매끄럽고, 컴act하며, 올라가 있는 4차원 다각형 X에 대해, 경계가 호모로지 구면 Y이고 b₂⁺(X) = 1이며, 임베딩된 표면 Σ의 자기교차수 Σ·Σ = 1이면, h(Y) + ⌈g/2⌉ ≥ e(ℒ) 부등식이 성립한다. 여기서 g는 표면의 종수이다.
• 격자 불변량 e(ℒ)는 ℒ가 대각형일 때에만 0이 되며, ℒ가 대각형이고 k ≥ 0이면 e(−kE₈ ⊕ ℒ) = k이다.
• Brieskorn 구면 Σ(2,2k−1,4k−3)의 h-불변량은 정확히 ⌊k/2⌋이며, 이는 부등식과 상하한의 일치를 통해 계산된다.
• -1 레이저 수술을 시행한 레이저의 슬라이스 종수 g에 대해 h-불변량은 최대 ⌈g/2⌉만큼 변화하며, 0 ≤ h(Y_{γ,−1}) − h(Y) ≤ ⌈g/2⌉이 성립한다.
• 3차원 토러스에서 평탄한 SO(3) 접속의 모듈리 공간은 정규화되지 않은 두 개의 점만 존재하며, 이들의 인덱스는 4만큼 다름을 보이며, 이는 알려진 Floer 호모로지에서의 차수 4의 대칭과 일치한다.
• 프로젝티브로 평탄한 U(2) 접속을 통한 구성은 T³ 위의 비자명한 SO(3) 번들의 Floer 체인 복합체를 명시적으로 계산할 수 있게 한다.