[论文解读] On the topology of rational functions in two complex variables

Thang Nguyen|arXiv (Cornell University)|Apr 24, 2012

Advanced Differential Equations and Dynamical Systems参考文献 2被引用 3

一句话总结

该论文利用欧拉示性数、Malgrange 条件和 M-光滑性，刻画了两个复变量有理函数在无穷远处的临界值。证明了当 $\deg(f) > \deg(g)$ 时，分歧集包含无穷远处的临界值、分子分母的临界值，以及一个额外集合 $K_1(F)$，并建立了用 Malgrange 条件与 M-光滑性刻画这些值的等价性。

ABSTRACT

We give some characterizations for the critical values at infinity of a rational function in two complex variables in terms of the Euler characteristic, the Malgrange condition and the M-tameness

研究动机与目标

• 刻画两个复变量有理函数 $ F = f/g $ 的无穷远处临界值集合 $ B_{\nu}(F) $。
• 将以往仅适用于多项式函数的无穷远处临界值刻画结果，推广至更广泛的有理函数类。
• 研究 Malgrange 条件、M-光滑性与欧拉示性数在确定 $ B_{\nu}(F) $ 时的关系。
• 证明 Fedoryuk 条件不足以刻画 $ B_{\nu}(F) $，并给出反例，表明 $ \widetilde{K}_{\nu}(F) \not\subset B_{\nu}(F) $。

提出的方法

• 将 $ K_1(F) $ 定义为满足：在基集 $ A(F) $ 中的点处，$ f - t_0 g $ 的 Milnor 数在小扰动下发生变化的值 $ t_0 $ 的集合。
• 利用全局 Milnor 纤维丛和纤维 $ F^{-1}(t) $ 的拓扑性质，分析无穷远处的行为。
• 应用曲线选择引理，处理满足 $ (x_k, y_k) \to \infty $ 且 $ F(x_k) \to t_0 $、$ \|\mathrm{grad}F(x_k)\| \to 0 $ 的序列，将其与 Malgrange 条件联系起来。
• 证明若 $ F $ 在 $ t_0 $ 处满足 Malgrange 条件，则其在 $ t_0 $ 处为 M-光滑，从而建立这两个条件之间的层级关系。
• 在 $ F^{-1}(D_\delta(t_0)) \setminus B_R $ 上构造一个光滑向量场 $ v $，满足 $ \langle v, x \rangle = 0 $ 且 $ \langle v, \mathrm{grad}F \rangle = 1 $，以确保纤维丛的平凡化。
• 通过 $ G(x,y,z,t) = z^{d_t} f(x/z, y/z) - t z^{d_t} g(x/z, y/z) $ 对纤维进行射影紧化，以分析无穷远处的奇点。

实验结果

研究问题

• RQ1 对于两个复变量的有理函数 $ F = f/g $，如何在经典多项式情形之外刻画其无穷远处临界值 $ B_{\infty}(F) $？
• RQ2 纤维 $ F^{-1}(t) $ 的欧拉示性数在确定 $ t_0 \in B_{\infty}(F) $ 时起什么作用？
• RQ3 Malgrange 条件与 M-光滑性在有理函数中在多大程度上一致？它们与 $ B_{\infty}(F) $ 的关系如何？
• RQ4 能否用 Fedoryuk 条件 $ t \notin \widetilde{K}_{\infty}(F) $ 来刻画 $ B_{\infty}(F) $？是否存在反例？
• RQ5 集合 $ K_1(F) $ 的意义是什么？当 $ \deg f > \deg g $ 时，它如何贡献于完整的分歧集 $ B(F) $？

主要发现

• 对于满足 $ \deg f > \deg g $ 的有理函数 $ F = f/g $，完整的分歧集为 $ B(F) = B_{\infty}(F) \cup K_0(F) \cup K_1(F) $，其中 $ K_1(F) $ 捕获了基点处 Milnor 数的变化。
• 当且仅当 $ t_0 \in B_{\infty}(F) $ 时，纤维 $ F^{-1}(t) $ 的欧拉示性数在 $ t_0 $ 的任意邻域内不为常数，这推广了多项式函数的已有结果。
• Malgrange 条件蕴含 M-光滑性：若 $ t_0 \notin K_{\infty}(F) $，则 $ t_0 \notin M_{\infty}(F) $，从而建立了这两个条件之间的层级关系。
• 当 $ t_0 \notin K_0(F) \cup K_1(F) $ 时，三个条件 $ t_0 \in B_{\infty}(F) $、$ t_0 \in K_{\infty}(F) $ 和 $ t_0 \in M_{\infty}(F) $ 相互等价。
• 构造了反例，其中 $ t_0 \in \widetilde{K}_{\infty}(F) $ 但 $ t_0 \notin B_{\infty}(F) $，表明 Fedoryuk 条件不足以刻画 $ B_{\infty}(F) $。
• 当 $ \deg f < \deg g $ 且 $ t_0 \neq 0 $ 时，该结果仍成立，且 $ B_{\infty}(F) $ 的三个条件保持等价。