[论文解读] Knots in lattice homology

Peter Ozsváth, András I. Stipsicz+1 more|arXiv (Cornell University)|Aug 13, 2012

Geometric and Algebraic Topology参考文献 22被引用 4

一句话总结

本文提出了一种针对负定打结图的格点同调的过滤框架，其构造方式模仿了纽结 Floer 同调的技术。通过构建一个编码过滤链同伦类型的主复形，作者证明了即使在具有任意多个坏顶点的图中，带框架的树的格点同调群也与 Heegaard Floer 同调群同构，如三叶草纽结的 n 重连通和（框架 ≤ −6n−1）所示。

ABSTRACT

Assume that Γ_{v_0} is a tree with vertex set Vert(Γ_{v_0})={v_0, v_1,..., v_n}, and with an integral framing (weight) attached to each vertex except v_0. Assume furthermore that the intersection matrix of G=Γ_{v_0}-{v_0} is negative definite. We define a filtration on the chain complex computing the lattice homology of G and show how to use this information in computing lattice homology groups of a negative definite graph we get by attaching some framing to v_0. As a simple application we produce families of graphs which have arbitrarily many bad vertices for which the lattice homology groups are shown to be isomorphic to the corresponding Heegaard Floer homology groups.

研究动机与目标

• 通过引入类似于纽结 Floer 同调的过滤，扩展格点同调的计算工具。
• 构建一个主复形，以编码具有指定顶点的图的过滤链同伦类型。
• 证明即使图中存在许多坏顶点，带框架的负定图的格点同调群也与 Heegaard Floer 同调群同构。
• 为格点同调提供一个计算框架，其结构与 Heegaard Floer 理论中的手术公式相一致。
• 验证格点同调是打结图所定义的 3-流形的不变量，与图的表示方式无关。

提出的方法

• 将主复形 $\mathbb{MCF}^\infty(\Gamma_{v_0})$ 定义为图 $G = \Gamma_{v_0} \setminus \{v_0\}$ 的格点链复形上的过滤，其中 $v_0$ 是指定顶点。
• 利用依赖于每个顶点 $v$ 的整数框架 $K(v)$ 的顶点特定映射 $a_v$ 和 $b_v$ 构建过滤。
• 对每个顶点 $v$ 引入一个链同伦等价 $C_0^v = \mathrm{Id} + \partial \circ H_0^v + H_0^v \circ \partial$，以保持 Maslov 平度。
• 通过复合 $C = C_0^{v_n} \circ \cdots \circ C_0^{v_1}$ 定义一个有限维子复形 $B(N)$，以捕捉完整的同调。
• 应用连通和公式，将简单图的结果推广至更复杂的图，包括具有多个坏顶点的图。
• 验证主复形的过滤链同伦类型与打结 3-流形中对应纽结的纽结 Floer 同调一致。

实验结果

研究问题

• RQ1 能否基于顶点数据，定义类似于纽结 Floer 同调的格点同调过滤？
• RQ2 主复形 $\mathbb{MCF}^\infty(\Gamma_{v_0})$ 的过滤结构是否能确定通过在 $v_0$ 上附加框架而得到的所有带框架图的格点同调？
• RQ3 对于具有任意多个坏顶点的图，格点同调是否仍与 Heegaard Floer 同调 $\mathrm{HF}^{-}$ 同构？
• RQ4 格点同调是否是打结图所定义的 3-流形的不变量，与图的表示选择无关？
• RQ5 能否通过一个有限维子复形建立格点同调在 $\mathbb{F}[U]$ 上的有限生成性？

主要发现

• 主复形 $\mathbb{MCF}^\infty(\Gamma_{v_0})$ 通过其过滤链同伦类型，确定了所有通过在 $v_0$ 上附加框架而得到的负定带框架树的格点同调。
• 对于右旋三叶草纽结的 $n$ 重连通和，其中心顶点框架 $m \leq -6n - 1$，即使图有 $n$ 个坏顶点，格点同调仍与 Heegaard Floer 同调 $\mathrm{HF}^{-}$ 同构。
• 任何负定打结图的格点同调作为 $\mathbb{F}[U]$-模是有限生成的，这通过将其嵌入有限维子复形 $B(N)$ 得到证明。
• 过滤链复形结构使得连通和公式得以应用，从而可将简单图的结果推广至更复杂的图。
• 主复形的过滤链同伦类型与打结 3-流形中对应纽结的纽结 Floer 同调一致，确认了其与 Heegaard Floer 理论的一致性。
• 格点同调是 3-流形的不变量：若两个负定打结图产生微分同胚的 3-流形，则其格点同调是同构的。