[论文解读] Knots with only two strict essential surfaces

Marc Culler, Peter B. Shalen|ArXiv.org|Apr 9, 2004

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

一句话总结

本文研究了在至多包含两个连通严格本质曲面的闭3-流形中，不可约扭结补的边界斜率、亏格和边界分量之间的定量关系。对于基本群为循环群的同伦3-球面或透镜空间中的扭结，本文证明了某一曲面边界斜率分母的平方被一个增长速度慢于另一曲面欧拉示性数任意正幂的函数所控制，揭示了曲面不变量的深层渐近约束。

ABSTRACT

We consider irreducible 3-manifolds M that arise as knot complements in closed 3-manifolds and that contain at most two connected strict essential surfaces. The results in the paper relate the boundary slopes of the two surfaces to their genera and numbers of boundary components. Explicit quantitative relationships, with interesting asymptotic properties, are obtained in the case that M is a knot complement in a closed manifold with cyclic fundamental group.

研究动机与目标

• 分类至多包含两个同伦类的连通严格本质曲面的不可约扭结流形。
• 理解此类曲面的边界斜率、亏格和边界分量数之间的拓扑与几何约束。
• 推导非例外双曲面扭结流形中本质曲面内在不变量之间的显式定量不等式。
• 为基本群为循环群的扭结所在空间中，建立边界斜率分母关于曲面亏格和欧拉示性数的渐近界。

提出的方法

• 使用二分法分类至多包含两个严格本质曲面的不可约扭结流形：例外图流形与非例外双曲面扭结流形。
• 应用横截同伦与最小相交技术，分析两个本质曲面如何相互切割成圆盘与环面。
• 利用边界斜率的几何交数Δ与曲面的欧拉示性数χ(Fi)，通过κ(F1,F2)界定交点分量的数量。
• 利用定义在|χ2|的对数与指数增长基础上的函数g(x)，推导涉及q1²/Δ的不等式，其中q1为边界斜率的分母。
• 建立定理11.16，该定理将q1²/Δ以|χ2|的函数形式有界，其增长速度慢于|χ2|的任意正幂，该结果基于命题11.15中得到的κ(F1,F2)界。
• 比较定理9.5与定理11.16，表明当推论7.6中的不等式不紧致时，后者提供更强的界。

实验结果

研究问题

• RQ1 当扭结补中恰好包含两个同伦类的连通严格本质曲面时，会产生哪些拓扑与几何约束？
• RQ2 在非例外双曲面扭结流形中，本质曲面的边界斜率、亏格与边界分量数之间有何关系？
• RQ3 在这些流形中，能否建立某一曲面边界斜率分母与另一曲面欧拉示性数之间的定量界？
• RQ4 不同定理中q1²/Δ不等式界函数的增长率如何比较，这对其相对强度有何含义？
• RQ5 当交点界不紧致时，定理11.16在何种意义上强于定理9.5？

主要发现

• 对于闭3-流形中基本群为循环群的非例外双曲面扭结，不等式 $\frac{q_1^2}{\Delta} \leq 2g(\chi_2)\frac{m_2|\chi_1|}{m_1|\chi_2|}$ 成立，其中 $g(x)$ 是一个增长速度慢于 $x$ 任意正幂的函数。
• 定理11.16中的函数 $g(x)$ 明确定义为 $12348\left(6\left(\frac{2\ln|x|}{\ln 7}\right)^{1/2}+31\right)\left(\frac{\ln|x|}{\ln 2}+1\right)\exp(1+2(2(\ln 7)(\ln|x|))^{1/2})$，其增长速度慢于 $|x|$ 的任意正幂。
• 推论11.17建立了一个函数 $f_1(x)$，使得 $\frac{q_1^2}{\Delta} \leq \frac{m_2|\chi_1|}{m_1}f_1(|\chi_2|)$，其中 $f_1(x)$ 满足 $\lim_{x\to\infty}x^{1-\epsilon}f_1(x) = 0$ 对所有 $\epsilon > 0$ 成立，表明其为次多项式增长。
• 定理11.16的界蕴含推论9.7，但其界函数 $f_0(x)$ 在定理9.5下满足 $xf_0(x)$ 的增长类似于 $\ln x$，而在定理11.16下则类似于 $(\ln x)^{3/2}\exp(C(\ln x)^{1/2})$，暗示其强度取决于中间界是否紧致。
• 当不等式 $|\chi_1| \leq \frac{m_1m_2\Delta}{2}$ 远离等式时，定理11.16提供的信息强于定理9.5。
• 本文表明，定理11.16在形式上强于定理9.5，因为其通过更精细的函数蕴含了推论9.7；尽管当中间界接近紧致时，定理9.5可能更紧致。