[论文解读] A link surgery spectral sequence in monopole Floer homology

Jonathan M. Bloom|ArXiv.org|Sep 4, 2009

Geometric and Algebraic Topology参考文献 27被引用 15

一句话总结

本文在单极 Floer 同调中构造了一个谱序列，其起始于链 $L \subset S^3$ 的约化 Khovanov 同调，并收敛于其分支双覆盖的单极 Floer 同调。微分通过在以单纯形和图关联多面体参数化的度量族上计数 2-胞壁 cobordism 上的单极而定义，建立了 gauge 理论、链不变量与多面体组合学之间的深刻联系。

ABSTRACT

To a link L in the 3-sphere, we associate a spectral sequence whose E^2 page is the reduced Khovanov homology of L and which converges to a version of the monopole Floer homology of the branched double cover. The pages E^k for k > 1 depend only on the mutation equivalence class of L. We define a mod 2 grading on the spectral sequence which interpolates between the delta-grading on Khovanov homology and the mod 2 grading on Floer homology. We also derive a new formula for link signature that is well-adapted to Khovanov homology. More generally, we construct new bigraded invariants of a framed link in a 3-manifold as the pages of a spectral sequence modeled on the surgery exact triangle. The differentials count monopoles over families of metrics parameterized by permutohedra. We utilize a connection between the topology of link surgeries and the combinatorics of graph associahedra. This also yields simple realizations of permutohedra and associahedra, as refinements of hypercubes.

研究动机与目标

• 在单极 Floer 同调中构造一个谱序列，其起始于链 $L \subset S^3$ 的约化 Khovanov 同调，并收敛于其分支双覆盖的单极 Floer 同调。
• 在谱序列上定义一个模 2 幂次，使其在 Khovanov 同调中的 $\delta$-幂次与单极 Floer 同调中的模 2 幂次之间插值。
• 通过多面体上的度量推广手术精确三角形，为 3-流形中的带 framing 链构造完整的谱序列。
• 建立链手术的拓扑与图关联多面体及单纯形组合学之间的联系。
• 提供一个与 Khovanov 同调代数结构相容的新链签名公式。

提出的方法

• 通过将链 $L \subset S^3$ 的手术超立方体与单极 Floer 同调的链复形关联，构造谱序列，其微分计数在 2-胞壁 cobordism 上的单极。
• cobordism 上的度量由单纯形参数化，微分通过这些度量族上 1-维单极模空间定义。
• 每个多面体相关的映射满足由多面体边界分解导出的零同伦恒等式，从而保证谱序列结构。
• 该构造使用与手术精确三角形模型一致的链复形复合律，并将其推广至高维多面体。
• 图关联多面体用于建模手术映射的同伦一致性，其实现作为超立方体和单纯形的细化。
• 建立 gauge 理论中单极计数与 Heegaard Floer 同调中伪全纯多边形计数之间的字典，类比于 $A_\infty$-关系。

实验结果

研究问题

• RQ1 能否在单极 Floer 同调中构造一个谱序列，其 $E^2$ 页为链 $L$ 的约化 Khovanov 同调，并收敛于链的分支双覆盖的单极 Floer 同调？
• RQ2 对于 $k \geq 2$ 的谱序列页如何依赖于链的突变等价类？
• RQ3 单纯形与图关联多面体在参数化 2-胞壁 cobordism 上的度量族中扮演何种角色，以支持 gauge 理论 Floer 理论？
• RQ4 能否在谱序列上定义一个模 2 幂次，使其在 Khovanov 同调的 $\delta$-幂次与单极 Floer 同调的模 2 幂次之间插值？
• RQ5 是否存在一个与 Khovanov 同调代数结构相容的新链签名公式？

主要发现

• 谱序列收敛于链 $L$ 的分支双覆盖的单极 Floer 同调的一个版本，其 $E^2$ 页同构于链 $L$ 的约化 Khovanov 同调。
• 对于 $k \geq 2$ 的页 $E^k$ 仅依赖于链 $L$ 的突变等价类，表明其在突变下具有强不变性。
• 在谱序列上定义了一个模 2 幂次，使其在 Khovanov 同调的 $\delta$-幂次与单极 Floer 同调的模 2 幂次之间插值。
• 谱序列中的微分通过在由单纯形参数化的度量族配备的 2-胞壁 cobordism 上计数单极而定义。
• 该构造显式实现了单纯形与图关联多面体作为超立方体的细化，其源于链手术的拓扑。
• 推导出一个与 Khovanov 同调代数结构高度适配的新链签名公式，该公式在扭结上的谱序列行为中得到验证。