[论文解读] L-space fillings and generalized solid tori

Thomas J. Gillespie|arXiv (Cornell University)|Mar 16, 2016

Geometric and Algebraic Topology参考文献 1被引用 5

一句话总结

本文对所有非纵向 Dehn 赋值均为 L-空间的 Floer 单纯 3-流形进行了拓扑表征，表明其恰好为广义实心环面。证明了此类流形等价于 D^τ 不变量为零的流形，并将其应用于分类 $S^1\times S^2$ 中的扭曲扭结，解决了关于具有相同 Turaev 不变量的无限多组 Floer 单纯流形存在的问题。

ABSTRACT

Much work has been done recently towards trying to understand the topological significance of being an L-space. Building on work of Rasmussen and Rasmussen, we give a topological characterisation of Floer simple manifolds such that all non-longitudinal fillings are L-spaces. We use this to partially classify L-space twisted torus knots in $S^1 imes S^2$ and resolve a question asked by Rasmussen and Rasmussen.

研究动机与目标

• 表征所有非纵向 Dehn 赋值为 L-空间的 Floer 单纯 3-流形。
• 解决 Rasmussen 和 Rasmussen 提出的问题：是否存在无限多个彼此不同的 Floer 单纯流形，其 Turaev 不变量相同。
• 通过广义实心环面补集，将 $S^3$ 中 L-空间扭曲扭结的分类推广至 $S^1\times S^2$。
• 通过 $\mathcal{D}^{\tau}$ 不变量的消失，建立流形为广义实心环面的拓扑判据。
• 将该理论应用于构造无限多组两分量链环补集，使得所有有理同调球面赋值均为 L-空间。

提出的方法

• 使用 bordered Floer homology 中的 $\mathcal{D}^{\tau}$ 不变量来表征满足 $\mathcal{L}(Y) = \mathrm{Sl}(Y) \setminus \{l\}$ 的流形，证明其当且仅当 $Y$ 为广义实心环面时消失。
• 应用 Rasmussen 和 Rasmussen 结果的强化版本，证明 $\mathcal{L}(Y) = \mathrm{Sl}(Y) \setminus \{l\}$ 当且仅当 $Y$ 的亏格为 0 且存在 L-空间赋值。
• 通过在边界分量上进行 plumbing 和 tubing，显式构造 $S^1\times S^2$ 中具有扭曲扭结补集的曲面，确保其亏格为 0 且粘合模式匹配。
• 利用 Thurston 的双曲 Dehn 赋值定理，证明对于固定 $p,q$，双曲流形 $Y_{1/r,0,-}$ 产生无限多个彼此不同的双曲赋值，其体积和 $\overline{\Delta}$ 不变量相同。
• 应用 L-空间的拼接公式：当且仅当 $\varphi_*(\mathcal{L}_1^\circ) \cup \mathcal{L}_2^\circ = \mathrm{Sl}(Y_2)$ 时，$Y_\varphi$ 为 L-空间，其中边界不可压缩且 Floer 单纯。
• 利用 Turaev 不变量 $\tau(Y)$ 在 Novikov 环 $\Lambda_\phi[H_1(Y)]$ 中的正规化形式，其支撑为 $S[\tau(Y)]$，以分析不变量。

实验结果

研究问题

• RQ1 何时有理同调 $S^1\times D^2$ 的 L-空间赋值集合等于除经线外的所有斜率？
• RQ2 何种拓扑条件可表征满足 $\mathcal{L}(Y) = \mathrm{Sl}(Y) \setminus \{l\}$ 的流形？
• RQ3 能否构造出具有相同 Turaev 不变量的无限多个彼此不同的 Floer 单纯流形？
• RQ4 哪些 $S^1\times S^2$ 中的扭曲扭结具有广义实心环面补集，从而使其所有非纵向赋值均为 L-空间？
• RQ5 何种条件可确保两边界分量流形的所有有理同调球面赋值均为 L-空间？

主要发现

• 流形 $Y$ 的 L-空间赋值集合等于 $\mathrm{Sl}(Y) \setminus \{l\}$ 当且仅当 $Y$ 的亏格为 0 且至少存在一个 L-空间赋值。
• 流形 $Y$ 为广义实心环面当且仅当其 $\mathcal{D}^{\tau}(Y)$ 不变量为空，这表征了此类流形的拓扑结构。
• 当 $\gcd(p,q)=1$ 且 $s \equiv \pm q \pmod{p}$ 时，$S^1\times S^2$ 中扭曲扭结 $T(p,q;s,r)$ 的补集为广义实心环面。
• 存在一个无限多个彼此不同的双曲、Floer 单纯流形的族，其 Turaev 不变量相同，该族通过在 $Y_{1/r,0,-}$ 上对固定 $p,q$ 进行双曲 Dehn 赋值构造而成。
• 存在一个无限多个两分量链环补集 $Z_{p,q}$ 的族，使得所有满足 $b_1=0$ 的有理同调球面赋值均为 L-空间。
• L-空间的拼接公式成立：$Y_\varphi$ 为 L-空间当且仅当 $\varphi_*$ 下 $\mathcal{L}(Y_1)$ 的内部的像覆盖了 $\mathcal{L}(Y_2)$ 的内部。