[论文解读] Constructions of Morse maps for knots and links, and upper bounds on the Morse-Novikov number

Mikami Hirasawa, Lee Rudolph|ArXiv.org|Nov 9, 2003

Geometric and Algebraic Topology参考文献 20被引用 11

一句话总结

本文提出了若干新构造方法——米尔诺映射、斯他林斯扭转、沿闭辫索的拼接、穆鲁苏加和以及弧切分，用于从上方界定纽结与链环的莫尔斯–诺维科夫数。研究建立了基于自由亏格、辫指数、包络亏格和交叉数的关键上界，表明对任意纽结 $ K $，有 $ \mathscr{MN}(K) \leq 4g_{\text{f}}(K) $，且对怀特黑德双纽结有 $ \mathscr{MN}(D(K,m,\pm)) \leq 4\operatorname{brin}(K) - 2 $，以及其他类似结果。

ABSTRACT

The Morse-Novikov number MN(L) of an oriented link L in the 3-sphere is the minimum number of critical points of a Morse map from the complement of L in the 3-sphere to the circle representing the class of a Seifert surface for L (e.g., the Morse-Novikov number of L is zero if and only if L is fibered). We develop various constructions of Morse maps (Milnor maps, Stallings twists, splicing along a link which is a closed braid with respect to a Morse map, Murasugi sums, cutting a Morse map along an arc on a page) and use them to bound Morse-Novikov numbers from above in terms of other knot and link invariants (free genus, crossing number, braid index, wrapping genus and layered wrapping genus).

研究动机与目标

• 开发系统化构造技术，用于在 $ S^3 \setminus L $ 上生成具有可控奇点数量的莫尔斯映射。
• 基于经典纽结不变量，建立莫尔斯–诺维科夫数 $ \mathscr{MN}(L) $ 的上界。
• 通过莫尔斯映射构造，将已知关于纤维化链环和塞伊弗特曲面的结果推广至非纤维化链环。
• 将 $ \mathscr{MN}(L) $ 与自由亏格、辫指数和包络亏格等不变量关联起来，尤其针对怀特黑德双纽结。

提出的方法

• 为非纤维化链环（如二分量的平凡链环）构造米尔诺映射，作为其最小莫尔斯映射。
• 应用斯他林斯扭转来修改已有的莫尔斯映射，同时保持映射到 $ S^1 $ 的同伦类不变。
• 通过在 $ S^3 \setminus L $ 中沿闭 $ f $-辫索进行拼接，从较简单的映射构造新的莫尔斯映射。
• 利用莫尔斯映射页面上的穆鲁苏加和与弧切分进行映射的分解与重构，实现归纳性上界估计。
• 从莫尔斯映射中定义单行变换与反向单行变换，以重构映射并分析奇点结构。
• 利用塞伊弗特曲面与胞腔体结构之间的关系，通过 $ b_{\text{f}}(L) $（自由亏格不变量）来界定 $ \mathscr{MN}(L) $。

实验结果

研究问题

• RQ1 如何系统性地构造纽结与链环的莫尔斯映射，以控制奇点数量？
• RQ2 能否基于自由亏格、辫指数和包络亏格，为莫尔斯–诺维科夫数 $ \mathscr{MN}(L) $ 建立上界？
• RQ3 像穆鲁苏加和与斯他林斯扭转这样的构造方法，是否可用于非纤维化链环的 $ \mathscr{MN}(L) $ 上界估计？
• RQ4 对于怀特黑德双纽结，不变量 $ g_{\text{wr}}(K) $、$ g_{\text{w}\ell}(K) $ 和 $ c(K) $ 与 $ \mathscr{MN}(D(K,m,\pm)) $ 之间存在何种关系？
• RQ5 某些链环是否存在标准莫尔斯–诺维科夫数与自由莫尔斯–诺维科夫数之间的差距？

主要发现

• 对任意纽结 $ K $，莫尔斯–诺维科夫数满足 $ \mathscr{MN}(K) \leq 4g_{\text{f}}(K) $，其中 $ g_{\text{f}}(K) $ 为自由亏格。
• 对任意纽结 $ K $，有 $ \mathscr{MN}(D(K,m,\pm)) \leq 4\operatorname{brin}(K) - 2 $，其中 $ \operatorname{brin}(K) $ 为辫指数。
• 对怀特黑德双纽结，有 $ \mathscr{MN}(D(K,m,\pm)) \leq 2(g_{\text{w}\ell}(K) + 1) \leq 2(g_{\text{wr}}(K) + 1) $，其中 $ g_{\text{w}\ell}(K) $ 为分层包络亏格。
• 通过包络亏格估计，可导出上界 $ \mathscr{MN}(D(K,m,\pm)) \leq 2(c(K) + 2) $，利用 $ g_{\text{wr}}(K) \leq c(K) + 1 $。
• 自由亏格估计可推广至链环：$ \mathscr{MN}(L) \leq 2b_{\text{f}}(L) $，其中 $ b_{\text{f}}(L) $ 为链环 $ L $ 的塞伊弗特曲面 $ S $ 所对应的 $ \pi_1(S^3 \setminus S) $ 的最小自由生成元数。
• 本文提供了证据表明 $ \mathscr{MN}(L) $ 可能严格小于自由莫尔斯–诺维科夫数 $ \mathscr{MN}_{\text{f}}(L) $，提示标准莫尔斯映射与自由莫尔斯映射之间可能存在差距。