[论文解读] Nonorientable four-ball genus can be arbitrarily large

Joshua Batson|arXiv (Cornell University)|Apr 9, 2012

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

一句话总结

本文利用扭结的亏格和其−1手术后的海格-弗洛尔d-不变量，建立了扭结非可定向四维球面亏格的新下界。研究证明，扭结$T_{2k,2k-1}$的非可定向四维球面亏格恰好为$k-1$，表明该不变量可无限增长，从而解决了关于非可定向四维球面亏格无界性的长期开放问题。

ABSTRACT

The nonorientable four-ball genus of a knot K is the smallest first Betti number of any smoothly embedded, nonorientable surface F in B^4 bounding K. In contrast to the orientable four-ball genus, which is bounded below by the Murasugi signature, the Ozsvath-Szabo tau-invariant, the Rasmussen s-invariant, the best lower bound in the literature on the nonorientable four-ball genus for any K is 3. We find a lower bound in terms of the signature of K and the Heegaard-Floer d-invariant of the integer homology sphere given by -1 surgery on K. In particular, we prove that the nonorientable four-ball genus of the torus knot T(2k,2k-1) is k-1.

研究动机与目标

• 为解决非可定向四维球面亏格是否可无限增长的开放问题。
• 建立非可定向四维球面亏格$\gamma_4(K)$的一般下界，结合经典与现代扭结不变量。
• 证明$\gamma_4(T_{2k,2k-1}) = k-1$，表明该不变量可无界增长。
• 拓展海格-弗洛尔理论在四维球中非可定向曲面障碍中的应用。

提出的方法

• 利用扭结亏格$\sigma(K)$和$S^3_{-1}(K)$（即$K$的−1手术得到的整同调球）的海格-弗洛尔$d$-不变量，推导$\gamma_4(K)$的下界。
• 应用$G$-亏格定理和法向量曲率数论证，将双重分支覆盖的亏格与非可定向曲面的自交数联系起来。
• 利用透镜空间手术的$d$-不变量可通过亚历山大多项式及其系数计算的事实，对扭结$T_{2k,2k-1}$计算$d(S^3_{-1}(K))$。
• 通过标准扭结嵌入上的莫尔斯移动，构造扭结间非可定向cobordism，将$T_{2k,2k-1}$通过$k-1$步简化为单位结。
• 验证所得曲面的一阶贝蒂数为$k-1$，并利用下界结论其为最小曲面。
• 利用已知的扭结$d$-不变量及其与亏格的关系，计算得$\frac{\sigma}{2} - d = k-1$。

实验结果

研究问题

• RQ1 扭结的非可定向四维球面亏格是否可无限增长？
• RQ2 是否存在一个结合经典不变量（如亏格）与现代不变量（如$d$-不变量）的一般下界$\gamma_4(K)$？
• RQ3 对于$k \geq 2$，$\gamma_4(T_{2k,2k-1})$的精确值是什么？
• RQ4 $-1$手术的$d$-不变量是否能为小非可定向亏格提供精确障碍？

主要发现

• 对任意$K \subset S^3$，非可定向四维球面亏格$\gamma_4(K)$满足下界$\gamma_4(K) \geq \frac{\sigma(K)}{2} - d(S^3_{-1}(K))$。
• 对扭结$T_{2k,2k-1}$，该下界计算结果为$k-1$，且通过显式构造实现，故$\gamma_4(T_{2k,2k-1}) = k-1$。
• 该结果表明非可定向四维球面亏格可无界增长，从而肯定回答了该开放问题。
• $S^3_{-1}(T_{2k,2k-1})$的$d$-不变量为$k^2 - k$，结合$\sigma(T_{2k,2k-1}) = 2k^2 - 2$，差值$\frac{\sigma}{2} - d = k - 1$。
• 通过在扭结嵌入上连续进行莫尔斯移动构造非可定向曲面，得到一阶贝蒂数为$k-1$的曲面，证实该下界为精确值。
• 本文猜想该构造对$T_{p,q}$给出最小亏格，且对许多扭结，$d$-不变量下界为精确值。