[논문 리뷰] A connected sum formula for involutive Heegaard Floer homology

Kristen Hendricks, Ciprian Manolescu외 1명|arXiv (Cornell University)|2016. 07. 25.

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

한 줄 요약

이 논문은 호환성 있는 합성 공식을 비틀림 헤가르 플로어 homology에 대해 수립하며, 세 개의 다양체의 합성에서 플로어 복합체 위의 켤레 변환 호모토피가 개별 변환의 텐서곱과 체인 호모토피 동치임을 증명한다. 핵심 결과는 호환성 없는 코바디즘 군에서 대수적으로 정의된 복합체와 비틀림이 있는 아벨 군으로의 호모모르피즘을 구성하는 것으로, 비틀림 수정 항목이 서로 다른 첫 번째 세 변형체의 예시를 제공한다: $\underline{d}(Y) \neq d(Y) \neq \bar{d}(Y)$.

ABSTRACT

We prove a connected sum formula for involutive Heegaard Floer homology, and use it to study the involutive correction terms of connected sums. In particular, we give an example of a three-manifold with $\underline{d}(Y) eq d(Y) eq \overline{d}(Y)$. We also construct a homomorphism from the three-dimensional homology cobordism group to an algebraically defined Abelian group, consisting of certain complexes (equipped with a homotopy involution) modulo a notion of local equivalence.

연구 동기 및 목표

• 표준 헤가르 플로어 homology에 대해 알려진 공식을 확장하여 비틀림 헤가르 플로어 homology에 대한 연결 합 공식을 수립한다.
• 비틀림 수정 항목 $\underline{d}$ 와 $\bar{d}$ 가 연결 합에서 어떻게 행동하는지 연구한다.
• 세 차원 호환성 없는 코바디즘 군 $\Theta^3_{\mathbb{Z}}$ 에서 대수적으로 정의된 복합체와 비틀림이 있는 아벨 군으로의 호모모르피즘을 구성한다. 이 군은 국소 동치에 대해 모odulo된다.
• 비틀림 불변량이 표준 $d$-항목보다 더 높은 감지 능력을 지닌, $\underline{d}(Y) \neq d(Y) \neq \bar{d}(Y)$ 를 만족하는 세 변형체의 첫 번째 예를 제공한다.

제안 방법

• 그래프 코바디즘 사상과 대수적 추론을 사용하여, $\mathbb{Z}_2[U]$ 위에서 $\mathit{CF}^{-}(Y_1\#Y_2, \mathfrak{s}_1\#\mathfrak{s}_2)$ 의 켤레 변환 $\iota$ 가 $\iota_1 \otimes \iota_2$ 와 체인 호모토피 동치임을 증명한다.
• 사영 맵 이론을 사용하여, $\mathit{CFI}^{-}(Y_1\#Y_2, \mathfrak{s}_1\#\mathfrak{s}_2)$ 를 $\mathit{CF}^{-}(Y_1) \otimes \mathit{CF}^{-}(Y_2)$ 위에서 $Q(1 + \iota_1 \otimes \iota_2)$ 의 코너로 계산한다.
• $\mathit{CF}^{-}$ 복합체의 $\mathbb{Z}$-등급을 활용하여, 추가 항 $U(\Phi_1\iota_1 \otimes \Phi_2\iota_2)$ 가 체인 호모토피적으로 영과 동치임을 보인다.
• $\mathcal{R} = \mathbb{Z}_2[Q,U]/(Q^2)$ 위에서의 맵핑 코너 복합체의 호몰로지로 비틀림 헤가르 플로어 호몰로지 $\mathit{HFI}^{-}$ 를 정의한다.
• $\mathit{HFI}^{-}$ 에서 $\mathcal{A}_\infty$-모듈 구조의 가능성을 탐색하며, 연결 합에 대해 추측되는 아이レン버그-무어 스펙트럴 시리즈를 제안한다.
• 연결 합의 코너 호몰로지와 개별 $\mathit{CFI}^{-}$ 복합체의 텐서곱을 비교하여, $\mathbb{Z}_2[U]$ 위에서는 준동치이지만 $\mathcal{R}$--equivariant하게는 아님을 보인다.

실험 결과

연구 질문

• RQ1 세 변형체의 연결 합에서 헤가르 플로어 복합체 위의 켤레 변환은 개별 변환의 텐서곱으로 분해되는가?
• RQ2 비틀림 수정 항목 $\underline{d}$ 와 $\bar{d}$ 는 표준 $d$-항목을 초월하여 호환성 없는 코바디즘 군의 비자명한 원소를 감지할 수 있는가?
• RQ3 $\Theta^3_{\mathbb{Z}}$ 에서 대수적으로 정의된 복합체와 비틀림이 있는 군으로의 호모모르피즘이 존재하는가? 이 군은 국소 동치에 대해 모odulo된다.
• RQ4 비틀림 헤가르 플로어 호몰로지의 연결 합 공식은 아이렌버그-무어 유형의 스펙트럴 시리즈를 이끌어내는가?
• RQ5 $\mathit{HFI}^{-}$ 에서의 $\mathcal{A}_\infty$-모듈 구조를 구성하여 추측되는 쿤트 유형의 호몰로지 동치를 실현할 수 있는가?

주요 결과

• 체인 호모토피 동치에 의해 $\mathbb{Z}_2[U]$ 위에서 $\mathit{CF}^{-}(Y_1\#Y_2, \mathfrak{s}_1\#\mathfrak{s}_2)$ 의 켤레 변환 $\iota$ 가 $\iota_1 \otimes \iota_2$ 와 동치임을 증명함으로써, 비틀림 헤가르 플로어 호몰로지에 대한 연결 합 공식이 성립함을 입증한다.
• 비틀림 수정 항목은 $\underline{d}(Y_1\#Y_2) = \underline{d}(Y_1) + \underline{d}(Y_2)$ 와 $\bar{d}(Y_1\#Y_2) = \bar{d}(Y_1) + \bar{d}(Y_2)$ 를 만족하며, 표준 $d$-항목의 가법성의 일반화이다.
• 논문은 $\Theta^3_{\mathbb{Z}}$ 에서 국소 동치에 대해 모odulo된 비틀림이 있는 복합체의 아벨 군으로의 호모모르피즘을 구성하여, 새로운 대수적 불변량을 제공한다.
• 명시적인 예시가 제시되며, 이는 $\underline{d}(Y) \neq d(Y) \neq \bar{d}(Y)$ 를 만족함을 보여주며, 비틀림 불변량이 표준 $d$-항목보다 더 많은 구조를 감지함을 시사한다.
• 연결 합의 코너 복합체의 호몰로지는 $\mathbb{Z}_2[U]$ 위에서는 개별 $\mathit{CFI}^{-}$ 복합체의 텐서곱과 준동치이지만, $\mathcal{R}$--equivariant하게는 아니다.
• 논문은 $\mathit{HFI}^{-}(Y_1\#Y_2) \cong \mathit{HFI}^{-}(Y_1) \tilde{\otimes}_{\mathfrak{R}} \mathit{HFI}^{-}(Y_2)$ 가 $\mathcal{A}_\infty$-모듈로서 성립한다고 추측하며, 이에 대응하는 아이렌버그-무어 스펙트럴 시리즈를 제안한다.