[論文レビュー] Involutive Heegaard Floer homology and plumbed three-manifolds

Irving Dai, Ciprian Manolescu|arXiv (Cornell University)|Apr 6, 2017

Geometric and Algebraic Topology参考文献 19被引用数 6

ひとこと要約

本稿は、すべてのセイフェルト被覆ホモロジー球面を含む、ほぼ有理（AR）グラフに付随するプレーブド3次元多様体に対する包あらわなヘガード・フローエルホモロジーを計算する。グレーデッドルートとラティスホモロジー上の反転対称性を用い、HFI⁻を (1+J₀) の核と余核として特定し、包あらわな補正項を計算する。主な貢献は、異なる包あらわな不変量を持つブリースコーン球面を用いた、3次元ホモロジー コボルディズム群に無限ランク部分群が存在することの新しい証明である。

ABSTRACT

We compute the involutive Heegaard Floer homology of the family of three-manifolds obtained by plumbings along almost-rational graphs. (This includes all Seifert fibered homology spheres.) We also study the involutive Heegaard Floer homology of connected sums of such three-manifolds, and explicitly determine the involutive correction terms in the case that all of the summands have the same orientation. Using these calculations, we give a new proof of the existence of an infinite-rank subgroup in the three-dimensional homology cobordism group.

研究の動機と目的

• プレーブド3次元多様体に対する包あらわなヘガード・フローエルホモロジー HFI⁻ を、ほぼ有理（AR）グラフに付随するものとして計算すること。
• ARプレーブド多様体、特に連結和の場合の包あらわな補正項 d̲ と d̄ を特定すること。
• これらの計算を応用し、3次元ホモロジー コボルディズム群 Θ³ℤ に無限ランク部分群が存在することを証明すること。
• 包あらわなヘガード・フローエルホモロジーの枠組みを、セイフェルト被覆空間や特異点の連結成分を含む広範な有理ホモロジー球面のクラスへ拡張すること。

提案手法

• 本稿は、プレーブィンググラフ G と特徴的コホモロジー類 k に付随するグレーデッドルート Rₖ を用いたラティスホモロジー構成を利用する。
• ラティスホモロジー H⁻(Rₖ)[σ+2] 上の対称性 J₀ を、グレーデッドルートの垂直軸に関する反転として特定する。
• 主な結果として、HFI⁻(Y, s) が (1+J₀) の核と余核の直和に -1 のシフトを加えたものとして表される。
• HFI⁻ 上の Q の作用は、ker(1+J₀) から coker(1+J₀) への商写像として実現される。
• 連結和の場合、[9] の公式を用い、ι複体の局所同値性を分析することで、包あらわな不変量に適応する。
• 双対性とグレーディングシフトを適用し、CF⁻(S³_n(K)) を既知の複体と関連づけ、補正項の計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ARプレーブド3次元多様体に対する包あらわなヘガード・フローエルホモロジーは、どのように計算できるか？
• RQ2 ARプレーブド多様体の連結和に対する包あらわな補正項 d̲ と d̄ の構造は何か？
• RQ3 包あらわな不変量を用いて、ホモロジー コボルディズム類を区別し、Θ³ℤ に無限ランク部分群が存在することを証明できるか？
• RQ4 包あらわな不変量は、方向の反転および連結和においてどのように振る舞うか？

主な発見

• 任意の自己共役スピン^c 構造 s=[k] を持つARプレーブド3次元多様体 Y(G) に対して、HFI⁻(Y,s) は、ラティスホモロジー上の反転対称性 J₀ による核と余核の直和に -1 のシフトを加えたものと同型である。すなわち、ker(1+J₀)[-1] ⊕ coker(1+J₀) に同型である。
• 包あらわな補正項は、d̲(Y,s) = -2μ̄(Y,s) および d̄(Y,s) = 2μ̄(Y,s) で与えられ、μ̄(Y,s) はグレーデッドルートからの正規化された次数シフトである。
• 同じ向きを持つARプレーブド多様体の連結和 Y₁#⋯#Yₖ に対して、d̄(Y₁#⋯#Yₖ) = ∑d(Yᵢ) および d̲(Y₁#⋯#Yₖ) = ∑_{i=1}^{k-1} d(Yᵢ) が成り立つ。
• 差分 (d̄ - d̲)(Y₁#⋯#Yₖ) = d(Yₖ) であり、これはBrieskorn球面がホモロジー コボルディズム群内で線形独立であることを示すのにも用いられる。
• 本稿は、p≥3 が奇数であるBrieskorn球面 Σ(p,2p−1,2p+1) を用いて、ホモロジー コボルディズム群 Θ³ℤ に ℤ^∞ に同型な部分群が存在することを示す新しい証明を提供する。
• 不変量 d̄ と d̲ はホモロジー コボルディズム不変量であり、その差分 d̄−d̲ は非ゼロで連結和において加法的であり、クラス [Σ(p,2p−1,2p+1)] の線形独立性を保証する。