[논문 리뷰] Equivariant aspects of singular instanton Floer homology

Aliakbar Daemi, Christopher Scaduto|arXiv (Cornell University)|2019. 12. 19.

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

한 줄 요약

이 논문은 $SU(2)$ 게이지 이론과 프레임드 특이 접속 위에 원군 작용을 가진 경우, 정수 환원 3차원 다양체에 있는 링크에 대해 등변 불변량을 도입한다. 등변 초월-시몬스 복합체를 통해 체르니-시몬스 함수수로부터 등변 모르스 복합체를 구성함으로써, 저자들은 삼중의 호모로지 군, $h(K)$와 같은 새로운 농도 불변량, 그리고 풍부화된 $\mathcal{S}$-복합체를 정의한다. 주요 결과는 특정 토러스 링크와 몬테스inos 링크에 대해 $h(K) = 0$임을 보이며, 이는 $\frac{1}{2}(|\Delta_K| + 1)$ 크기의 비자명한 특성 다양체를 가질 경우에 성립한다. 이는 크론하이머-드로우카의 불변량을 복원하고 일반화한다.

ABSTRACT

We associate several invariants to a knot in an integer homology 3-sphere using $SU(2)$ singular instanton gauge theory. There is a space of framed singular connections for such a knot, equipped with a circle action and an equivariant Chern-Simons functional, and our constructions are morally derived from the associated equivariant Morse chain complexes. In particular, we construct a triad of groups analogous to the knot Floer homology package in Heegaard Floer homology, several Frøyshov-type invariants which are concordance invariants, and more. The behavior of our constructions under connected sums are determined. We recover most of Kronheimer and Mrowka's singular instanton homology constructions from our invariants. Finally, the ADHM description of the moduli space of instantons on the 4-sphere can be used to give a concrete characterization of the moduli spaces involved in the invariants of spherical knots, and we demonstrate this point in several examples.

연구 동기 및 목표

• 프레임드 특이 $SU(2)$ 접속 위에 $S^1$ 대칭을 가진 $SU(2)$ 게이지 이론을 사용하여 등변 불변량을 개발한다.
• 플로어 호모로지와 유사한 삼중의 호모로지 군을 구성함으로써 인stanton 호모로지의 대수적 구조를 풍부화한다.
• 등변 호모로지와 국소 계수계를 사용하여 $h(K)$ 및 $\Gamma^{R}_{(Y,K)}$와 같은 새로운 농도 불변량을 정의한다.
• 틀린 인stanton 복합체를 통해 크론하이머와 드로우카의 기존 불변량, 특히 $I^\natural(K)$와 $I^\#(K)$를 복원하고 일반화한다.
• 합성수 정리와 구조를 증명하고, 구형 링크에 대해 ADHM 구성법을 사용하여 모듈리 공간을 특성화한다.

제안 방법

• 프레임드 특이 $SU(2)$ 접속 공간 위에 원군 작용을 도입하고, 등변 초월-시몬스 함수수를 사용하여 $S^1$-등변 모어스-보트 복합체를 정의한다.
• $\mathcal{S}$-복합체의 구조를 도입하여 등변 호모로지를 모델링하며, 등변 미분을 기록하는 연산자 $\delta_1$과 $\delta_2$를 포함한다.
• 국소 계수계와 초월-시몬스 필터링을 사용하여 복합체를 풍부화함으로써 $\Gamma^{R}_{(Y,K)}$와 같은 새로운 불변량을 가능하게 한다.
• 브랜치 커버와 특성 다양체 분석을 통해 토러스 링크와 몬테스inos 링크에 이론을 적용하며, 비자명한 표현 다양체 $\mathscr{X}(K)$를 사용한다.
• ADHM 구성법을 사용하여 구형 링크의 모듈리 공간을 명시적으로 기술함으로써 구체적인 계산이 가능해진다.
• 사슬 사상 $\widetilde{\lambda}_{(W,S)}$와 $\widetilde{\lambda}_{(W',S')}$를 정의하고, 사슬 호모토피와 자연성 조건을 확립함으로써 합성수 정리를 증명한다.

실험 결과

연구 질문

• RQ1 정수 환원 3차원 다양체에 있는 링크 $K$에 대해 등변 불변량 $h(K)$가 어떤 조건에서 소멸하는가?
• RQ2 특이 인stanton 플로어 복합체의 등변 구조는 어떻게 크론하이머-드로우카의 불변량 $I^\natural(K)$와 $I^\#(K)$를 복원하고 일반화하는가?
• RQ3 초월-시몬스 필터링과 국소 계수계는 $\mathcal{S}$-복합체의 풍부화와 새로운 농도 불변량 생성에 어떤 역할을 하는가?
• RQ4 특이 인stanton의 모듈리 공간은 합성수에서 어떻게 행동하며, 결과로 얻어진 불변량의 대수적 구조는 어떠한가?
• RQ5 ADHM 구성법을 사용하여 토러스 링크와 같이 구형 브랜치 커버를 가진 링크의 모듈리 공간을 명시적으로 계산할 수 있는가?

주요 결과

• $(p, 2pk+2)$ 및 $(p, 2pk\pm(2-p))$ 토러스 링크에 대해 $p \equiv \pm1 \pmod{4}$ 이고 $1 + |\sigma(K)| = |\Delta_K|$ 라면, $h(K) = 0$이다.
• 만약 링크 $K$에 대해 비자명한 특성 다양체 $\mathscr{X}(K)$가 유한하고 비퇴화되어 있으며, $|\mathscr{X}(K)| = \frac{1}{2}(|\Delta_K| + 1)$ 이라면, $h(K) = 0$이다.
• 틀린 인stanton 복합체 $\widetilde{C}_*(K)$는 $C_*(K) \oplus C_{*-1}(K) \oplus \mathbb{Z}$ 와 준동형이며, $C_*(K)$가 $\frac{1}{2}(|\Delta_K| - 1)$ 개의 생성자를 가진다면 $\delta_1 = \delta_2 = 0$이 되어 $h(K) = 0$임을 의미한다.
• 합성수 정리는 등변 불변량이 합성수의 불변량과 합성수의 불변량의 텐서곱 사이에 자연적 동치를 제공한다.
• $(-2,3,7)$ 프레텔 링크의 경우, $|\mathscr{X}(K)| = \frac{1}{2}(|\Delta_K| + 1)$ 이므로 $h(K) = 0$이며, 캐슨 불변량과 임계점 집합의 비퇴화성으로 확인된다.
• $\mathcal{S}$-복합체의 구조는 링크의 서명을 분류하며, 그의 등급별 오일러 지표가 앨리거스터 다항식이 되는 필터링을 지원한다.