[论文解读] Denominators and Differences of Boundary Slopes for (1,1)-Knots

Jason Callahan|arXiv (Cornell University)|Jan 26, 2013

Geometric and Algebraic Topology参考文献 13被引用 4

一句话总结

本文通过使用形如 $K(-1/2, m/(2m\pm1), 1/n)$ 且 $n > 1$ 为奇数的 Montesinos 系列纽结，证明了每个非零整数都会在无穷多个 (1,1)-纽结的边界斜率分母中出现。此外，本文进一步证明，通过增加 $n$，这些纽结的边界斜率之间可以存在任意小的差异，其依据是利用 Hatcher 和 Oertel 的算法，对具有受控欧拉示性数和边界分量的本质曲面进行分析。

ABSTRACT

We show that every nonzero integer occurs in the denominator of a boundary slope for infinitely many (1,1)-knots and that infinitely many (1,1)-knots have boundary slopes of arbitrarily small difference. Specifically, we prove that for any integers m, n > 1 with n odd the exterior of the Montesinos knot K(-1/2, m/(2m \pm 1), 1/n) in S^3 contains an essential surface with boundary slope r = 2(n-1)^2/n if m is even and 2(n+1)^2/n if m is odd. If n > 4m, we prove that K(-1/2, m/(2m+1), 1/n) also has a boundary slope whose difference with r is (8m-2)/(n^2-4mn+n), which decreases to 0 as n increases. All of these knots are (1,1)-knots.

研究动机与目标

• 证明每个非零整数都会作为无穷多个 (1,1)-纽结的某个本质曲面的边界斜率分母出现。
• 证明无穷多个 (1,1)-纽结存在边界斜率差异可任意小的情况。
• 扩展并修正先前关于 Montesinos 纽结边界斜率的研究结果，特别是纠正 [8] 中关于曲面可定向性与边界分量数量的错误。
• 通过 [10] 中的刻画方法，验证所构造的纽结确实是 (1,1)-纽结。
• 分析 [9] 中建立的 Montesinos 纽结外部边界斜率分母界限的紧致性。

提出的方法

• 应用 Hatcher-Oertel 算法，通过 $uv$-平面图 $\mathcal{D}$ 中的可接受边路径系统来计算边界斜率，该图编码了四阶穿孔球面上的曲线系统。
• 通过分析对应于有理辫的边路径系统，构造具有指定片数、欧拉示性数和边界分量数的本质曲面。
• 利用从边路径系统导出的边界斜率公式：当 $m$ 为偶数时，$r = 2(n-1)^2/n$；当 $m$ 为奇数时，$r = 2(n+1)^2/n$，并给出第二个斜率作为 $n$ 和 $m$ 的有理函数。
• 证明两个边界斜率之间的差值为 $ (8m-2)/(n^2 - 4mn + n) $，当 $n$ 增大时该值趋于零。
• 通过 [10] 中的定理 2.1 验证纽结 $K(-1/2, m/(2m\pm1), 1/n)$ 确实为 (1,1)-纽结，该定理刻画了 Montesinos 纽结中 (1,1)-纽结的特征。
• 纠正 [8] 中的错误：证明本质曲面具有两个边界分量（因此可能是可定向的），而非一个，因此该曲面不一定是非可定向的。

实验结果

研究问题

• RQ1 每个非零整数是否都会作为无穷多个 (1,1)-纽结的本质曲面边界斜率的分母出现？
• RQ2 是否存在 (1,1)-纽结，其边界斜率之间的差异可被任意缩小？
• RQ3 当 $n \geq 4m+1$ 时，Montesinos 纽结 $K(-1/2, m/(2m+1), 1/n)$ 的边界斜率公式是否有效且被正确解释？
• RQ4 证明中构造的本质曲面具有一个还是两个边界分量？这对可定向性有何含义？
• RQ5 边界斜率的分母与 [9] 中定理 4.1 建立的界限有何关系？哪些纽结实现了最优界限？

主要发现

• 对于任意满足 $m,n > 1$ 且 $n$ 为奇数的整数，Montesinos 纽结 $K(-1/2, m/(2m\pm1), 1/n)$ 存在一个本质曲面，其边界斜率为：当 $m$ 为偶数时为 $2(n-1)^2/n$，当 $m$ 为奇数时为 $2(n+1)^2/n$。
• 当 $n \geq 4m+1$ 时，纽结 $K(-1/2, m/(2m+1), 1/n)$ 具有第二个边界斜率，且两个斜率之间的差值为 $ (8m-2)/(n^2 - 4mn + n) $，随着 $n$ 增大而趋近于 0。
• 对于任意 $m > 1$ 和 $\epsilon > 0$，存在 $N$，使得对所有 $n \geq N$，边界斜率差值小于 $\epsilon$，从而证明了任意小的差异确实存在。
• 边界斜率（约分后）的分母为 $ (n-4m+1)/2 $，该值为整数，确认曲面具有两个边界分量，且可能为可定向曲面。
• 该构造推广并修正了 [8] 的结果，后者错误地声称只有一个边界分量且曲面不可定向；实际上该曲面是可定向的，且具有两个分量。
• 本文确认，当 $m=1$ 时，纽结 $K(-1/2,1/3,1/n)$ 实现了 [9] 中定理 4.1 的第二个界限（针对 $(-2,3,n)$-辫纽结），而当 $m>1$ 时，纽结实现第一个界限；当 $m>2$ 时，它们既不实现第一个也不实现第二个界限，但仍实现了分母 $ (n-4m+1)/2 $。