[论文解读] Milnor fibration and fibred links at infinity

Arnaud Bodin|ArXiv.org|Sep 19, 2003

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

一句话总结

本文建立了多项式映射 $ f: \mathbb{C}^2 \to \mathbb{C} $ 在无穷远处纤维化多重链环的刻画，证明了多重链环 $ K_0 = f^{-1}(0) \cap S^3_R $ 是纤维化的，当且仅当所有非零值在无穷远处都是正则的。通过无穷远处的奇点解析，作者利用解析中的组合不变量描述了米尔诺纤维化在无穷远处的纤维与单值变换，从而为此前在更强假设下已建立的结果提供了新证明。

ABSTRACT

For a polynomial $f$ in two complex variables, we prove that the multi-link at infinity of the 0-fiber $f^{-1}(0)$ is a fibred multi-link if and only if all the values different from 0 are regular at infinity.

研究动机与目标

• 刻画多项式 $ f: \mathbb{C}^2 \to \mathbb{C} $ 在无穷远处，多重链环 $ K_0 = f^{-1}(0) \cap S^3_R $ 为纤维化的条件。
• 利用无穷远处的奇点解析，为纤维化多重链环的刻画提供新证明，避免此前使用的“半 tame”假设。
• 利用奇点解析过程中的组合不变量，描述米尔诺纤维化在无穷远处的纤维与单值变换。
• 阐明值 $ 0 $ 的作用，表明其在无穷远处可能是临界值或正则值，但不影响纤维化条件。

提出的方法

• 通过爆破操作使用弱、部分及完全解析，解析无穷远处的奇点，并将映射 $ \tilde{f} $ 延拓为解析曲面 $ \Sigma_t $ 上的态射 $ \phi $。
• 将无穷远处的临界值识别为满足 $ \phi_t(D) = c $ 的 $ c \in \mathbb{C} \setminus \{0\} $，其中 $ D $ 是临界除数 $ D_{\text{crit}} $ 的分量，或 $ \phi_t|_{D_{\text{dic}}} $ 的临界值。
• 研究限制在边界球面 $ S \subset \Sigma_t $ 上的映射 $ \theta = \phi / |\phi| $，其同伦于 $ f / |f| $，以分析纤维化结构。
• 应用沃尔德豪森分解，将 $ S \setminus \phi^{-1}(0) $ 分解为与 $ \pi_t^{-1}(L_\infty) $ 的不可约分量相关的塞弗特 3-流形，证明每一块上均存在纤维化。
• 利用最小沃尔德豪森分解与虚拟分量，当 $ c \neq 0 $ 为无穷远处的临界值时，检测非纤维化的存在。
• 通过反证法与情形分析（包括霍普夫链环情形），排除 $ c \neq 0 $ 为无穷远处临界值时的纤维化可能性。

实验结果

研究问题

• RQ1 对于多项式 $ f: \mathbb{C}^2 \to \mathbb{C} $，多重链环 $ K_0 = f^{-1}(0) \cap S^3_R $ 何时在无穷远处是纤维化的？
• RQ2 值 $ 0 $ 在确定 $ K_0 $ 在无穷远处的纤维化性中起什么作用，特别是当 $ 0 $ 为无穷远处的临界值时？
• RQ3 如何利用奇点解析中的组合不变量来描述米尔诺纤维化在无穷远处的纤维与单值变换？
• RQ4 当存在 $ c \neq 0 $ 为无穷远处的临界值时，其在何种条件下意味着 $ K_0 $ 不是纤维化的？
• RQ5 能否完全基于无穷远处的临界值来刻画 $ K_0 $ 的纤维化性，而独立于 $ 0 $ 的正则性？

主要发现

• 多重链环 $ K_0 = f^{-1}(0) \cap S^3_R $ 是纤维化的，当且仅当所有非零值在无穷远处都是正则的，无论 $ 0 $ 在无穷远处是正则还是临界。
• 映射 $ f/|f| $ 在 $ S^3_R \setminus f^{-1}(0) $ 上的纤维化结构同伦于 $ \phi / |\phi| $ 在解析边界 $ S $ 上的映射，且当所有 $ c \neq 0 $ 在无穷远处为正则时，该映射为纤维化。
• 米尔诺纤维化在无穷远处的纤维与单值变换完全由总解析的组合数据决定，包括双曲分量与临界分量的次数与配置。
• 若 $ c \neq 0 $ 为无穷远处的临界值，则 $ K_0 $ 不是纤维化的多重链环，这由最小沃尔德豪森分解中存在不与塞弗特曲面相交的虚拟分量所证明。
• 在特殊情形下，若 $ K_0 $ 为霍普夫链环，则 $ c \neq 0 $ 必须为无穷远处的正则值，且多项式 $ f $ 在自同构下等价于 $ (xy + \lambda)^l $ 或 $ x^p y^q $，两者对 $ c \neq 0 $ 均无无穷远处的临界值。
• 证明表明，非纤维化源于解析中的拓扑障碍：若对某双曲分量 $ D $，有 $ \phi_p|_D $ 的零点超过两个，则 $ K_0 $ 不可能为纤维化，而当 $ c \neq 0 $ 为无穷远处的临界值时，此条件必然成立。