[论文解读] Framed instanton homology of surgeries on L-space knots

Tye Lidman, Juanita Pinzón‐Caicedo+1 more|arXiv (Cornell University)|Mar 6, 2020

Geometric and Algebraic Topology被引用 4

一句话总结

本文计算了所有关于瞬子 L-空间扭结的整数手术下的框定瞬子弗洛尔同调，证明其在绝对 ℤ/2-分次下与海格德弗洛尔同调一致。利用手术正三角形和接触拓扑工具，作者建立了 $I^\#(S^3_n(K))$ 关于扭结亏格 $g$ 的完整公式，并证明巴尔德温-西韦克接触不变量在 ℤ/2-分次下是齐次的，但在 ℤ/4-分次下不是，从而解决了瞬子弗洛尔理论中关于 L-空间手术的关键结构性问题。

ABSTRACT

An important class of three-manifolds are L-spaces, which are rational homology spheres with the smallest possible Floer homology. For knots with an instanton L-space surgery, we compute the framed instanton Floer homology of all integral surgeries. As a consequence, if a knot has a Heegaard Floer and instanton Floer L-space surgery, then the theories agree for all integral surgeries. In order to prove the main result, we prove that the Baldwin-Sivek contact invariant in framed instanton Floer homology is homogeneous with respect to the absolute $\mathbb{Z}/2$-grading, but not the $\mathbb{Z}/4$-grading.

研究动机与目标

• 计算所有非平凡瞬子 L-空间扭结的整数手术下 $I^\#(S^3_n(K))$ 的框定瞬子弗洛尔同调。
• 建立 $I^\#(S^3_n(K))$ 作为 ℤ/2-分次 ℂ-向量空间的完整公式，使其结构与海格德弗洛尔同调一致。
• 证明框定瞬子同调中的巴尔德温-西韦克接触不变量在 ℤ/2-分次下是齐次的，但在 ℤ/4-分次下不是。
• 在附加的路易斯空间手术假设下，将计算细化至 ℤ/4-分次群。
• 通过新方法恢复已知的如 $\Sigma(2,3,7)$ 等塞弗特空间的瞬子同调计算。

提出的方法

• 使用瞬子手术正三角形关联 $I^\#(S^3_n(K))$、$I^\#(S^3_{n+1}(K))$ 和 $I^\#(S^3)$，通过cobordism 映射追踪 ℤ/4-分次的偏移。
• 利用瞬子 L-空间扭结是纤维化的且强拟正向的性质，且满足 $\overline{sl}(K) = 2g(K) - 1$，以控制接触结构和手术cobordism。
• 在框定瞬子同调中应用巴尔德温-西韦克接触不变量构造，并通过cobordism 映射分析其分次行为。
• 利用已知的 $I^\#(S^3) \cong \mathbb{C}$ 在度数 0 的结果，结合手术三角形，归纳确定同调群。
• 对于路易斯空间手术，利用手术三角形中根据 $n$ 而定的特定分次偏移，将 ℤ/2-分次结果细化至 ℤ/4-分次。
• 验证与先前结果的一致性，如通过不同方法计算的 $I^\#(\Sigma(2,3,7))$ 和 $I^\#(\Sigma(2,3,5))$。

实验结果

研究问题

• RQ1 框定瞬子弗洛尔同调在瞬子 L-空间扭结的整数手术下是否与海格德弗洛尔同调在 ℤ/2-分次下一致？
• RQ2 框定瞬子同调中的巴尔德温-西韦克接触不变量是否在 ℤ/4-分次下是齐次的？
• RQ3 当 $S^3_n(K)$ 是路易斯空间时，$I^\#(S^3_n(K))$ 的 ℤ/4-分次结构是否可被完全计算？
• RQ4 瞬子与海格德弗洛尔 L-空间条件是否对所有满足两者的整数手术扭结产生同构的同调群？
• RQ5 每个瞬子 L-空间 $Y$ 满足 $\dim I^\#(Y) = |H_1(Y;\mathbb{Z})|$ 是否必然同构于 $(\lceil(n+1)/2\rceil, 0, \lfloor(n-1)/2\rfloor, 0)$ 作为 ℤ/4-分次向量空间？

主要发现

• 对于任意非平凡瞬子 L-空间扭结 $K$，其亏格为 $g$，框定瞬子弗洛尔同调 $I^\#(S^3_n(K))$ 作为 ℤ/2-分次 ℂ-向量空间同构于 $\widehat{HF}(S^3_n(K))$，其显式公式见定理 1.1。
• 框定瞬子同调中的接触不变量 $\Theta^\#$ 在 ℤ/2-分次下是齐次的，但在 ℤ/4-分次下不是，该结论通过反证法结合 cobordism 映射与不同的分次偏移得以证明。
• 当 $n > 0$ 时，若 $S^3_n(K)$ 是路易斯空间，则 $I^\#(S^3_n(K))$ 的 ℤ/4-分次结构由推论 5.3 完全确定，各度数的显式维数取决于 $n$ 和 $g$。
• $I^\#(S^3_n(K))$ 在 ℤ/4-分次下的公式恢复了 $\Sigma(2,3,7)$ 和 $\Sigma(2,3,5)$ 的已知结果，确认与先前独立计算的一致性。
• 对于右手三叶扭结 $T_{2,3}$ 的 $1/n$-手术（$n > 0$），其 ℤ/2-分次瞬子同调为 $I^\#(S^3_{1/n}(T_{2,3})) \cong \mathbb{C}^n_{(0)} \oplus \mathbb{C}^{n-1}_{(1)}$，与 $\widehat{HF}$ 一致。
• 本文确立了瞬子与海格德弗洛尔 L-空间扭结的 $I^\#(S^3_n(K))$ 的同构类型完全由亏格 $g$ 和手术系数 $n$ 决定，无挠，并达到最小秩。