[论文解读] Some knots with surgeries yielding lens spaces

John Berge|arXiv (Cornell University)|Feb 27, 2018

Geometric and Algebraic Topology被引用 37

一句话总结

本文通过在亏格二Heegaard曲面上用表示柄体及其补集中的自由生成元的曲线，识别出S³中一类通过Dehn手术产生透镜空间的纽结族。关键贡献是完整列出了此类纽结——分类为双原始纽结——并给出了结果透镜空间L(p,q)的显式公式，计算证据支持其完备性，尽管尚未证明。

ABSTRACT

This is a facsimile of the circa 1990 unpublished manuscript with the same title. All the original text, figures and tables are included; although text has been reset in \TeX, the original hand-drawn figures have been redrawn digitally, and the parameter $k$ in the original table of lens spaces has been replaced with the originally intended $λ$. And, of course, this abstract has been added.

研究动机与目标

• 表征所有在S³中通过整数手术产生透镜空间的纽结。
• 提供此类纽结的显式族，其手术结果可计算。
• 探讨双原始曲线与透镜空间中1-桥纽结之间的关系。
• 提供一个计算框架，用于验证给定透镜空间是否来自此类手术。

提出的方法

• 使用在∂H上的简单闭曲线k在π₁(H)和π₁(H′)中均表示自由生成元的条件，其中H和H′是S³中互补的亏格二柄体。
• 应用定理1：若k满足此条件，则对k的某个整数手术将产生透镜空间。
• 使用R-R图和π₁(H)与π₁(H′)中的字表示，通过参数(p, p′, m, m′, q, q′, n, n′)描述纽结类型。
• 利用H₁(∂H)中的同调类[k]推导透镜空间不变量，并应用引理3计算L(p,q)的p和q。
• 使用计算机程序验证，在|π₁| < 1000的透镜空间中，不存在来自所列族以外的1-桥纽结通过手术产生S³。
• 针对p > 500的透镜空间，利用关系式p = Aa + Bb及对A, B, a, b的约束，提供计算检查。

实验结果

研究问题

• RQ1 所有在S³中通过手术产生透镜空间的纽结是否都能被亏格二Heegaard曲面上的双原始条件所捕获？
• RQ2 能否从纽结参数显式计算出此类手术产生的透镜空间L(p,q)？
• RQ3 由四个参数族导出的此类纽结列表是否完备？
• RQ4 在透镜空间中，若某纽结通过手术产生S³，是否必须为0-或1-桥纽结？

主要发现

• 四个参数族(a)–(d)产生S³中的纽结，其手术产生透镜空间L(p,q)，其中p = 22J² + cJ + d，且q ≡ (11J + e)² mod p。
• 对于族(a)，手术产生L(22J² + 9J + 1, (11J + 2)²)；类似公式也推导出(b)、(c)和(d)族。
• 手术曲线k在H₁(∂H)中的同调类显式计算为族(a)的(4J+1, 2J+1, 6J+1, -J)，其他族给出类似表达式。
• 来自检查|π₁| < 1000的透镜空间中1-桥纽结的计算机程序的计算证据表明，所列族外无其他例子。
• 透镜空间表包含所有可由所列纽结得到的L(p,q)，其中p ≤ 500，排除来自环面纽结及其缆线的情况。
• 本文提供一种方法，通过检查模条件q ≡ ±B² mod p（其中B ≤ max{8, 2p/5}）来验证p > 500的透镜空间L(p,q)是否来自所列纽结之一。