[论文解读] Combinatorial Description of Knot Floer Homology of Cyclic Branched Covers

J. Elisenda Grigsby|ArXiv.org|Oct 9, 2006

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

一句话总结

本文提出一种组合方法，用于计算双曲两交叉结 $K_{p,q}$ 在其二重分支覆盖 $-L(p,q)$ 中的预像 $ frac{1}{2}K_{p,q}$ 的所有结 Floer 同调版本（包括 $ frac{1}{2}HF, HF^+, HF^-, HF^ atural$），方法基于在具有四个基点的亏格-1 Heegaard 图上使用扭曲环面网格图。该方法通过交点处的局部贡献，显式计算亚历山大多重和 Maslov 多重，从而为源自循环分支覆盖的透镜空间中的结 Floer 同调提供一种简化且算法化的处理方式。

ABSTRACT

We introduce a simple combinatorial method for computing all versions of the knot Floer homology of the preimage of a two-bridge knot K(p,q) inside its double-branched cover, -L(p,q). The 4-pointed genus 1 Heegaard diagram we obtain looks like a twisted version of the toroidal grid diagrams recently introduced by Manolescu, Ozsvath, and Sarkar. We conclude with a discussion of how one might obtain nice Heegaard diagrams for cyclic branched covers of more general knots.

研究动机与目标

• 开发一种组合化、算法化的计算方法，用于计算双曲两交叉结的二重分支覆盖中所有版本的结 Floer 同调。
• 为 $ frac{1}{2}K}_{p,q} \subset -L(p,q)$ 构造一个亏格-1、四基点的 Heegaard 图，以完整捕捉过滤链复形的结构。
• 通过交点处的局部贡献，提供绝对亚历山大多重和 Maslov 多重的显式组合公式。
• 将组合 Heegaard Floer 同调的方法扩展至 $S^3$ 之外的循环分支覆盖，特别是透镜空间。
• 为利用对称性与网格结构在更高阶循环分支覆盖中计算不变量奠定基础。

提出的方法

• 在环面 $T^2 = \mathbb{R}^2 / \mathbb{Z}^2$ 上构造一个扭曲环面网格图，包含两条斜率为 0 的曲线（$y=0$，$y=1/2$）和两条斜率为 $p/q$ 的曲线（$y = (p/q)x$，$y = (p/q)(x - 1/2)$）。
• 在点 $ (\epsilon,1-\epsilon), (1/2+\epsilon,1-\epsilon), (\epsilon,1/2-\epsilon), (1/2+\varepsilon,1/2-\varepsilon) $ 处放置四个基点，其中 $0 < \varepsilon < \min(1/p, 1/q)$，以定义一个四基点 Heegaard 图。
• 将链复形的生成元定义为斜率为 0 的曲线与斜率为 $p/q$ 的曲线之间的双射，微分通过在网格图中计数平行四边形得到。
• 为每个交点分配局部亚历山大多重和 Maslov 多重，并通过累加局部贡献计算绝对多重。
• 利用透镜空间 $-L(p,q)$ 的校正项 $d$-不变量，固定绝对 $\mathbb{Q}$-多重，从而将原本的 $\mathbb{Z}_2$ 多重提升为更精确的绝对多重。
• 利用网格的对称性与结构，计算所有 Spin$^c$ 结构中的过滤链同伦型，如在 $ frac{1}{2}K}_{3,1} \subset -L(3,1)$ 中所展示的。

实验结果

研究问题

• RQ1 能否使用组合化、基于网格的方法，计算 $S^3$ 的循环分支覆盖中结的所有版本的结 Floer 同调？
• RQ2 在这些覆盖中，特别是透镜空间中，如何组合地计算绝对亚历山大多重和 Maslov 多重？
• RQ3 对于双曲两交叉结，过滤链复形 $\widehat{CF}(\Sigma^2(K_{p,q})); \widetilde{K}_{p,q})$ 的结构是什么？
• RQ4 该方法能否推广至更一般结的更高阶循环分支覆盖？
• RQ5 从网格图中，能否在不计数全纯曲线的情况下，提取出结及其覆盖的组合不变量？

主要发现

• 对于 $ frac{1}{2}K}_{3,1} \subset -L(3,1)$，在 $ frac{1}{2}s}_0$ Spin$^c$ 结构中，同调为 $\widehat{HFK} \cong (\mathbb{Z}_2)_{(-2,d-3)} \oplus (\mathbb{Z}_2^2)_{(-1,d-2)} \oplus (\mathbb{Z}_2^2)_{(0,d-1)} \oplus (\mathbb{Z}_2)_{(1,d)}$，其中 $d = -1/2$，与 $\mathbb{Q}$-多重的 $\widehat{HFK}(S^3; K_{3,1})$ 仅相差一个平移。
• 在 $ frac{1}{2}s}_{\pm1}$ 结构中，同调为 $\widehat{HFK} \cong (\mathbb{Z}_2)_{(-1,d-1)} \oplus (\mathbb{Z}_2)_{(0,d)}$，其中 $d = 1/6$，同构于 $\widehat{HFK}(S^3; U)$ 仅相差一个平移。
• 通过使用 $d$-不变量的校正项，固定了绝对 $\mathbb{Q}$-多重，从而在 $\mathbb{Z}_2$ 之上实现了更优的绝对多重。
• 该方法产生环面的一个 $2pq$-胞腔分解，每个胞腔对应由四条曲线围成的区域，且基点被放置以避免退化。
• 链复形共有 $2p$ 个生成元，来源于两条斜率为 0 的曲线与两条斜率为 $p/q$ 的曲线之间的双射。
• 该框架可通过 $2n$-基点亏格-$(m-1)n+1$ 图推广至 $m$-重循环分支覆盖，尽管仅关联的分次复形 $\widehat{HFK}$ 可组合地获得。