[论文解读] 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）图相关的分支三流形的反演 Heegaard Floer 同调，包括所有 Seifert 纤维同调球。通过格同调上的分级根与反射对合，建立了 HFI⁻ 作为 (1+J₀) 的核与余核的公式，并应用该公式计算了反演校正项。关键贡献是通过具有不同反演不变量的 Brieskorn 球面，给出了三维同调钴 bordism 群中存在无穷秩子群的新证明。

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.

研究动机与目标

• 计算与几乎有理（AR）图相关的分支三流形的反演 Heegaard Floer 同调 HFI⁻。
• 确定 AR 分支流形的反演校正项 d̲ 和 d̄，特别是在连通和情形下。
• 将这些计算应用于证明三维同调钴 bordism 群 Θ³ℤ 中存在无穷秩子群。
• 将反演 Heegaard Floer 同调的框架扩展到包括 Seifert 纤维空间和奇点链在内的广泛有理同调球类。

提出的方法

• 论文使用与分支图 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 分支三流形的反演 Heegaard Floer 同调？
• RQ2 AR 分支流形连通和的反演校正项 d̲ 和 d̄ 的结构是什么？
• RQ3 反演不变量能否以一种方式区分同调钴 bordism 类，从而证明 Θ³ℤ 中存在无穷秩子群？
• RQ4 反演不变量在方向反转与连通和下的行为如何？

主要发现

• 对于任意具有自共轭自旋^c 结构 s=[k] 的 AR 分支三流形 Y(G)，有 HFI⁻(Y,s) 同构于 ker(1+J₀)[-1] ⊕ coker(1+J₀)，其中 J₀ 是格同调上的反射对合。
• 反演校正项为 d̲(Y,s) = -2μ̄(Y,s) 和 d̄(Y,s) = 2μ̄(Y,s)，其中 μ̄(Y,s) 是从分级根得到的归一化分次移位。
• 对于同向 AR 分支流形的连通和，有 d̄(Y₁#⋯#Yₖ) = ∑d(Yᵢ) 和 d̲(Y₁#⋯#Yₖ) = ∑_{i=1}^{k-1} d(Yᵢ)。
• 差值 (d̄ - d̲)(Y₁#⋯#Yₖ) = d(Yₖ)，该式用于证明 Brieskorn 球面在同调钴 bordism 群中的线性独立性。
• 论文提供了新证明，表明同调钴 bordism 群 Θ³ℤ 包含一个与 ℤ^∞ 同构的子群，使用的是 Brieskorn 球面 Σ(p,2p−1,2p+1)（其中 p≥3 为奇数）。
• 不变量 d̄ 和 d̲ 是同调钴 bordism 不变量，其差值 d̄−d̲ 非零且在连通和下可加，从而确保了 [Σ(p,2p−1,2p+1)] 类的线性独立性。