[论文解读] On the non-existence of L-space surgery structure

Motoo Tange|ArXiv.org|Jul 2, 2007

Geometric and Algebraic Topology参考文献 7被引用 3

一句话总结

本文证明了反向的庞加莱同调球面 $\overline{\Sigma(2,3,5)}$ 无法通过任何正的整数德恩手术得到一个透镜空间。利用奥兹瓦斯和萨博的接触不变量以及艾特内尔与洪德证明的 $\overline{\Sigma(2,3,5)}$ 上不存在紧致接触结构的结果，作者表明，紧致接触结构的缺失阻碍了正的 L-空间手术结构的存在，从而得出该流形上不存在透镜空间手术的非存在性结果。

ABSTRACT

We exhibit homology spheres which never yield lens spaces by any integral Dehn surgery by using Ozsvath Szabo's contact invariant.

研究动机与目标

• 研究某些同调球面，特别是 $\overline{\Sigma(2,3,5)}$，是否可通过整数德恩手术得到透镜空间。
• 探讨紧致接触结构的存在性与同调球面上 L-空间手术可能性之间的关系。
• 通过分析接触不变量与纽结纤维化的角色，将透镜空间手术的结果推广到 L-空间同调球面。
• 利用奥兹瓦斯-萨博接触不变量的非零性，提供正的 L-空间手术的拓扑障碍。

提出的方法

• 利用奥兹瓦斯与萨博的接触不变量 $c(\xi)$ 来检测三维流形上的紧致接触结构。
• 在海达-弗洛尔同调中应用手术精确三角形，关联 $Y$、$Y_0(K)$ 与 $Y_p(K)$ 的 $HF^+$ 群。
• 利用在 L-空间同调球面上的纤维化纽结满足 $\widehat{HFK}(Y,K,g) \cong \mathbb{Z}_2$ 的事实，通过尼的结果推断 $K$ 的纤维化性质。
• 依赖于通过 Thurston-Winkelnkemper 构造，开书分解与接触结构之间的对应关系。
• 应用定理 3.1：若 $c(\xi) \neq 0$，则 $\xi$ 是紧致的，因此接触不变量的非零性意味着紧致接触结构的存在。
• 将 $\overline{\Sigma(2,3,5)}$ 上不存在紧致接触结构（由艾特内尔与洪德证明）与接触不变量论证相结合，排除了正的 L-空间手术。

实验结果

研究问题

• RQ1 反向庞加莱同调球面 $\overline{\Sigma(2,3,5)}$ 是否可通过正的整数德恩手术得到透镜空间？
• RQ2 是否存在一种拓扑障碍，阻止同调球面上不存在紧致接触结构的流形进行正的 L-空间手术？
• RQ3 奥兹瓦斯-萨博接触不变量的非零性是否意味着三维流形上存在紧致接触结构？
• RQ4 接触不变量能否用于排除具有平凡或非紧致接触结构的同调球面上的 L-空间手术结构？
• RQ5 是否存在一个普遍原则，将紧致接触结构的存在性与正的 L-空间手术的可能性联系起来？

主要发现

• 反向庞加莱同调球面 $\overline{\Sigma(2,3,5)}$ 无法通过任何正的整数德恩手术得到透镜空间。
• 由于艾特内尔与洪德证明的 $\overline{\Sigma(2,3,5)}$ 上不存在紧致接触结构，因此该流形上不可能存在正的 L-空间手术结构。
• 对于任何携带正的适当 L-手术结构的 L-空间同调球面 $Y$，$Y$ 必须具有正的紧致接触结构。
• 在 L-空间同调球面中，由纤维化纽结诱导的接触结构的接触不变量 $c(\xi)$ 不为零，这意味着其为紧致结构。
• 连通和 $\Sigma(2,3,5) \# \overline{\Sigma(2,3,5)}$ 由于缺乏紧致接触结构，无法承载任何适当的 L-手术结构，无论正负。
• 作者猜想：对于任意布里施科恩同调球面 $\Sigma(p,q,r)$，$\Sigma(p,q,r)$ 具有适当的 L-手术结构，但 $\overline{\Sigma(p,q,r)}$ 不具有。