[논문 리뷰] Filtered instanton Floer homology and the homology cobordism group

Yuta Nozaki, Kouki Sato외 1명|arXiv (Cornell University)|2019. 05. 10.

Geometric and Algebraic Topology참고 문헌 41인용 수 7

한 줄 요약

이 논문은 필터링된 인stanton Floer homology와 $ \mathrm{SU}(2) $-Chern-Simons 함수수를 이용해, 정향된 호모로지 3-구면체 $ Y $ 에 대한 실수 값의 호모로지 코버디즘 불변량 $ r_s(Y) $ 의 새로운 가족을 제안한다. 이 불변량들은 음의 정부호 코버디즘 부등식과 연결합 공식을 만족하며, 새로운 결과를 이끌어내는데, 무한히 많은 호모로지 3-구면체가 어떤 정부호 4-다양체의 경계를 이루지 못하고, 특정한 $ 1/n $-수술 결과물들이 호모로지 코버디즘 군에서 선형 독립임을 보여준다. 논문은 $ 5_2 $의 거울에 대한 $ 1/2 $-수술로 유도된 쌍곡 3-다양체에 대해 $ r_s \approx 0.00176489 $ 를 계산하여, 이 불변량들의 계산 가능성과 위상적 민감성을 확인한다.

ABSTRACT

For any $s \in [-\infty, 0] $ and oriented homology 3-sphere $Y$, we introduce a homology cobordism invariant $r_s(Y)\in (0,\infty]$. The values $\{r_s(Y)\}$ are included in the critical values of the $SU(2)$-Chern-Simons functional of $Y$, and we show a negative definite cobordism inequality and a connected sum formula for $r_s$. As applications, we obtain several new results on the homology cobordism group. First, we give infinitely many homology 3-spheres which cannot bound any definite 4-manifold. Next, we show that if the 1-surgery of $S^3$ along a knot has the Frøyshov invariant negative, then all positive $1/n$-surgeries along the knot are linearly independent in the homology cobordism group. In another direction, we use $\{r_s\}$ to define a filtration on the homology cobordism group which is parametrized by $[0,\infty]$. Moreover, we compute an approximate value of $r_s$ for the hyperbolic 3-manifold obtained by $1/2$-surgery along the mirror of the knot $5_2$.

연구 동기 및 목표

• 필터링된 인stanton Floer homology를 이용해 정향된 호모로지 3-구면체에 대한 새로운 가족의 호모로지 코버디즘 불변량 $ r_s(Y) $ 를 정의한다.
• $ r_s $ 의 위상적 응용을 확립하며, 정부호 4-다양체의 경계를 이루지 못하는 장벽과 호모로지 코버디즘 군 내 선형 독립성에 대해 기여한다.
• 쌍곡 3-다양체에 대해 $ \mathrm{SU}(2) $-표현에 대한 Chern-Simons 값의 수치적 평가를 통해 $ r_s $ 를 계산한다.
• 호모로지 코버디즘 군에 $ [0,\infty] $ 를 매개변수로 하는 필터링을 정의함으로써, 그 대수적 구조를 풍부히 한다.

제안 방법

• 모든 $ s \in [-\infty,0] $ 에 대해, $ r \in (0,\infty] $ 이고, $ I^1_{[s,r]}(Y) $ 에서의 장벽 클래스 $[\theta]$ 가 영이 되는 $ r $ 의 상한으로서 $ r_s(Y) $ 를 정의한다.
• 필터링된 인stanton Floer homology 프레임워크를 이용해 $ I^1_{[s,r]}(Y) $ 를 구성하며, $ \mathrm{SU}(2) $-Chern-Simons 함수수의 변형을 활용한다.
• 음의 정부호 코버디즘 부등식을 증명한다: 만약 $ W $ 가 $ Y_1 $ 에서 $ Y_2 $ 로 향하는 음의 정부호 코버디즘이라면, $ r_s(Y_2) \leq r_s(Y_1) $ 이다.
• 연결합 공식을 확립한다: $ r_s(Y_1 \# Y_2) = \min\{ r_s(Y_1), r_s(Y_2) \} $ 이며, 연결합에 대한 필터링된 Floer homology 성질을 이용한다.
• 8개의 후보 $ \mathrm{SU}(2) $-표현에서의 Chern-Simons 함수수를 수치적으로 평가함으로써 $ S^3_{1/2}(5_2^*) $ 에 대해 $ r_s $ 를 계산한다. 이 중 최소값이 불변량으로서 식별된다.
• Casson 불변량과 Mayer-Vietoris 수열을 이용해, 진정한 비아벨 $ \mathrm{SU}(2) $-표현 8개의 존재를 확인함으로써 계산의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 필터링된 인stanton Floer homology는 호모로지 3-구면체에 대해 정부호 4-다양체의 경계를 이루지 못하는 것을 감지하는 새로운 실수 불변량을 정의하는 데 사용될 수 있는가?
• RQ2 $ r_s $ 가 음의 정부호 코버디즘 부등식과 연결합 공식을 만족하는가? 그리고 이는 호모로지 코버디즘 군의 구조에 어떤 영향을 미치는가?
• RQ3 쌍곡 3-다양체에 대해 $ r_s $ 를 계산할 수 있으며, 이는 호모로지 코버디즘 군 내 비자명성을 감지하는가?
• RQ4 호모로지 코버디즘 군 $ \Theta^3_\mathbb{Z} $ 에서 $ r_s $ 에 의해 유도되는 필터링이 존재하는가? 그리고 이는 기존의 구조를 어떻게 개선하는가?
• RQ5 만약 어떤 링크의 1-수술의 Frøyshov 불변량이 음수라면, 그 링크에 대해 모든 양의 $ 1/n $-수술 결과물들이 $ \Theta^3_\mathbb{Z} $ 에서 선형 독립인가?

주요 결과

• $ r_s(Y) $ 는 모든 $ s \in [-\infty,0] $ 에 대해 호모로지 코버디즘 불변량이며, $ r_s(Y) \in (0,\infty] $ 이며, 연결합에 대해 안정적이다: $ r_s(Y_1 \# Y_2) = \min\{ r_s(Y_1), r_s(Y_2) \} $.
• 정부호 4-다양체의 경계를 이루지 않는 무한한 호모로지 3-구면체의 가지만을, 코버디즘 제약 조건 하에서 $ r_s $ 가 0이 아닐 경우를 이용해 구성한다.
• 만약 $ S^3_1(K) $ 의 Frøyshov 불변량이 음수이면, $ K $ 에 대해 모든 양의 $ 1/n $-수술 결과물들이 $ \Theta^3_\mathbb{Z} $ 에서 선형 독립이며, 이는 $ r_s $ 를 기반으로 한 장벽을 통해 입증된다.
• 쌍곡 3-다양체 $ S^3_{1/2}(5_2^*) $ 에 대해 불변량 $ r_s $ 는 약 $ 0.00176489047864885113073962589709477793304925308209 $ 로 계산되었으며, 고정밀도 검증이 이루어졌다.
• $ r_s $-불변량들은 $ [0,\infty] $ 를 매개변수로 하는 $ \Theta^3_\mathbb{Z} $ 에 필터링을 정의하며, 군에 새로운 대수적 구조를 제공한다.
• 논문은 $ \pi_1(S^3_{1/2}(5_2^*)) $ 에 대해 8개의 비아벨 $ \mathrm{SU}(2) $-표현이 존재함을 확인하여, $ r_s $ 의 수치적 계산을 뒷받침한다.