[论文解读] Łojasiewicz exponents of non-degenerate holomorohic and mixed functions

Mutsuo Oka|arXiv (Cornell University)|Apr 21, 2017

Holomorphic and Operator Theory参考文献 15被引用 5

一句话总结

本文利用牛顿边界组合学，为非退化全纯函数与混合函数的 Łojasiewicz 指数提供了明确的上界。它修正了 Fukui 的估计并改进了推理过程，证明了在 Łojasiewicz 非退化条件下加权齐次多项式的猜想上界，并通过强非退化条件将理论推广至混合函数，建立了扰动下 Milnor 纤维的横截性与同伦等价性。

ABSTRACT

We consider Łojasiewicz inequalities for a non-degenerate holomorphic function with an isolated singularity at the origin. We give an explicit estimation of the Łojasiewicz exponent in a slightly weaker form than the assertion in Fukui.For a weighted homogeneous polynomial, we give a better estimation in the form which is conjectured by Brzostowski, Krasinski and Oleksik under under some condition (the Łojasiewicz non-degeneracy). We also introduce Łojasiewicz inequality for strongly non-degenerate mixed functions and generalize this estimation for mixed functions.

研究动机与目标

• 利用牛顿边界数据为非退化全纯函数的 Łojasiewicz 指数提供明确上界，修正 Fukui 早期证明中的漏洞。
• 在 Łojasiewicz 非退化条件下验证 [4] 中关于加权齐次多项式的猜想上界，改进先前的估计。
• 将 Łojasiewicz 不等式推广至强非退化混合函数，将框架扩展至实解析混合多项式。
• 建立在函数中添加单项式时保持 Milnor 纤维拓扑结构的条件，通过水平集的横截性实现。
• 证明当混合函数的高次项足够高时，其通用扰动下 Milnor 纤维的同伦与同构性。

提出的方法

• 利用牛顿边界及其对偶牛顿图定义权向量与面，实现对奇点的组合分析。
• 引入归一化权向量 $\hat{P}$ 以标准化支撑超平面方程，并分析梯度增长速率。
• 应用 Łojasiewicz 非退化条件，确保梯度分量的横截性并控制零点的阶数。
• 定义关键不变量 $\xi(f)$、$\eta_{J,max}(f)$ 与 $\eta'_{J,max}$，以在解析曲线上界定 Łojasiewicz 指数。
• 通过引入雅可比对偶牛顿图与实部与复部的修正梯度对，将框架推广至混合函数。
• 采用扰动论证，使用一族 $f_s = f + sR$，其中 $R$ 为高次通用混合单项式，以证明链的横截性与同伦等价性。

实验结果

研究问题

• RQ1 能否利用牛顿边界数据为非退化全纯函数的 Łojasiewicz 指数导出明确上界，以修正 Fukui 方法中的缺陷？
• RQ2 在 Łojasiewicz 非退化条件下，[4] 中关于加权齐次多项式的猜想上界是否成立？
• RQ3 如何将 Łojasiewicz 不等式推广至同时包含 $z_i$ 与 $\bar{z}_i$ 的混合函数？
• RQ4 在何种条件下，向混合函数添加高次单项式可保持其 Milnor 纤维的拓扑结构？
• RQ5 当扰动为通用且足够高次时，混合函数的链是否同伦于其扰动版本的链？

主要发现

• 为非退化全纯函数建立了 Łojasiewicz 指数 $\ell_0(f)$ 的明确上界，即 $\max\{\xi(f), \eta_{J,max}(f), \eta'_{J,max}\}$，该结果成立。
• 在 Łojasiewicz 非退化条件下，对加权齐次多项式证明了上界 $\ell_0(f) \leq \eta(R)$，证实了 [4] 中的猜想。
• Łojasiewicz 非退化条件确保混合函数的梯度分量在解析曲线上不同时为零，从而支持上界推导。
• 对于混合函数，当 $f$ 为强非退化且 $\dim \Gamma(f) = n-1$ 时，Łojasiewicz 指数由 $\eta(R)$ 有界。
• 存在 $r_0 > 0$，使得对所有 $r \leq r_0$，球面 $S_r$ 与所有 $V_s = f_s^{-1}(0)$ 横截相交，意味着链的同伦等价与 Milnor 纤维的同构。
• 当 $R$ 的次数满足 $N > \eta''_{J,max}(f) + 1$ 时，扰动 $f_s = f + sR$ 保持奇点的拓扑类型，该结论通过横截性与同伦等价性得以证明。