[论文解读] On the connectivity of Milnor fiber for mixed functions

Mutsuo Oka|arXiv (Cornell University)|Sep 3, 2018

Mathematical Dynamics and Fractals参考文献 1被引用 5

一句话总结

本文在 Hamm-Lé 条件及零集存在趋近原点的光滑点的前提下，建立了混合函数 Milnor 纤维的连通性。通过包含单值变换映射的一族一参数微分同胚，作者证明了当零集具有实余维数二且在光滑点处与球面横截相交时，Milnor 纤维是连通的，从而将连通性结果从全纯函数推广至混合函数。

ABSTRACT

In this note, we prove the connectivity of the Milnor fiber for a mixed polynomial $f(\mathbf z,\bar{\mathbf z})$, assuming the existence of a sequence of smooth points of $f^{-1}(0)$ converging to the origin. This result gives also a another proof for the connectivity of the Milnor fiber of a non-reduced complex analytic function which is proved by A. Dimca

研究动机与目标

• 建立包含全纯与反全纯项的实解析函数类——混合函数的 Milnor 纤维连通性。
• 将已知的全纯函数连通性结果推广至因缺乏复结构而 Morse 理论失效的混合函数情形。
• 提出一种独立于 Morse 理论的新拓扑方法，利用单值变换与一参数微分同胚群。
• 在自然几何条件下证明连通性：Hamm-Lé 条件、零集在原点附近存在光滑点，以及与球面横截相交。

提出的方法

• 利用通过映射 $ f: \bar{E}(r,\rho) \to D_\delta \setminus \{0\} $ 定义的管状 Milnor 纤维丛，其中 $ E(r,\delta) $ 是 $ |f| \leq \delta $ 的下水平集。
• 采用由单值变换映射 $ h $ 生成的一族一参数微分同胚，其作用于 Milnor 纤维并保持其结构。
• 通过单值变换作用与纤维的路径提升性质，构造纤维中点之间的路径。
• 基于 $ \gcd(n_1,\dots,n_r) = 1 $ 的数论论证，通过迭代单值变换作用连接纤维中所有点。
• 依赖于球面 $ S_r^{2n-1} $ 与 $ f^{-1}(0) $ 在光滑点 $ \mathbf{w} $ 处的横截相交，确保纤维丛行为良好。
• 利用 Milnor 纤维同伦等价于球面纤维丛 $ \varphi: S_r^{2n-1} \setminus K \to S^1 $ 的事实，使拓扑论证可在球面上进行。

实验结果

研究问题

• RQ1 在切空间中缺乏复结构的前提下，混合函数 Milnor 纤维在何种条件下是连通的？
• RQ2 在混合函数情形下，是否可在不使用 Morse 理论的前提下建立 Milnor 纤维的连通性？
• RQ3 当零集包含光滑点时，Milnor 纤维上的单值变换作用如何与连通性相关联？
• RQ4 哪些几何假设（如横截相交、稳定 Milnor 半径）足以保证连通性？
• RQ5 该连通性结果能否推广至非方便或非孤立奇点的混合函数？

主要发现

• 若函数满足 Hamm-Lé 条件，零集 $ f^{-1}(0) $ 包含满足 $ \|\mathbf{w}\| < r_0 $ 的光滑点 $ \mathbf{w} $，且 $ S_{\|\mathbf{w}\|}^{2n-1} $ 在 $ \mathbf{w} $ 处横截相交 $ f^{-1}(0) $，则混合函数的 Milnor 纤维是连通的。
• 连通性通过基于单值变换的路径构造证明：当单值变换阶的 $ \gcd $ 为 1 时，纤维中点可通过迭代单值变换作用连接。
• 该结果适用于强非退化方便混合函数，其零集具有孤立奇点且满足 Hamm-Lé 条件。
• 该结果可推广至沿消失坐标子空间一致局部驯服的非方便混合函数，前提是 $ V^\sharp $ 非空。
• 该证明提出了一种独立于 Morse 理论的新方法，依赖于微分同胚群与单值变换，为混合函数提供了新颖的拓扑方法。
• 连通性结果与全纯函数的已知结果一致，但将其扩展至具有实解析奇点的更广泛的混合函数类。