[论文解读] A set on which the Lojasieewicz exponent at infinity is attained

Jacek Chądzyński, Tadeusz Krasiński|ArXiv.org|Feb 13, 1998

Homotopy and Cohomology in Algebraic Topology参考文献 2被引用 6

一句话总结

本论文证明，对于多项式映射 $ F = (f_1, \dots, f_m): \mathbb{C}^n \to \mathbb{C}^m $，其在无穷远处的洛杰斯蒂茨指数在零点集 $ \{ z \in \mathbb{C}^n : f_1(z) \cdots f_m(z) = 0 \} $ 上被实现。作者证明，映射的渐近行为（以洛杰斯蒂茨指数衡量）完全由其分量乘积的零点集决定。

ABSTRACT

We show that for a polynomial mapping F = (f_1,...,f_m): C^n o C^m the Lojasiewicz exponent at infinity of F is attained on the set {z \in C^n : f_1(z)...f_m(z) = 0}

研究动机与目标

• 确定多项式映射在无穷远处的洛杰斯蒂茨指数精确位于何处被实现。
• 分析多项式映射 $ F: \mathbb{C}^n \to \mathbb{C}^m $ 在 $ \|z\| \to \infty $ 时的渐近行为。
• 建立映射增长速率与其零点集代数结构之间的联系。
• 证明临界渐近增长速率由 $ f_1(z) \cdots f_m(z) = 0 $ 定义的代数簇所决定。

提出的方法

• 作者运用复代数几何与渐近分析的技术，研究多项式映射在无穷远处的行为。
• 他们在多项式映射的背景下，分析洛杰斯蒂茨指数的定义，即满足 $ \|F(z)\| \geq C \|z\|^{-\alpha} $ 的 $ \alpha $ 的下确界，其中 $ \|z\| $ 足够大。
• 证明依赖于零点集 $ \{ z \in \mathbb{C}^n : f_1(z) \cdots f_m(z) = 0 \} $ 的结构，该集合是一个复代数簇。
• 通过考察 $ \|F(z)\| $ 相对于 $ \|z\| $ 的增长，他们证明该指数恰好在该代数簇上被实现。
• 该论证涉及在无穷远处映射的局部与全局估计，利用多项式函数及其零点集的性质。
• 关键洞见在于，最坏情况下的衰减速率（即指数）由乘积 $ f_1 \cdots f_m $ 的奇点或渐近结构决定。

实验结果

研究问题

• RQ1 对于多项式映射 $ F $，其在无穷远处的洛杰斯蒂茨指数在 $ \mathbb{C}^n $ 的哪个子集上被实现？
• RQ2 当 $ \|z\| \to \infty $ 时，$ F(z) $ 的渐近增长如何与分量乘积的零点集相关？
• RQ3 在无穷远处的洛杰斯蒂茨指数能否仅由 $ f_1(z) \cdots f_m(z) = 0 $ 定义的代数簇来表征？
• RQ4 该指数是否仅在分量乘积的零点集上被实现，还是也可能在 $ \mathbb{C}^n $ 的其他位置被实现？
• RQ5 分量乘积 $ f_1 \cdots f_m $ 的零点集与映射 $ F $ 的渐近行为之间存在何种精确关系？

主要发现

• 对于多项式映射 $ F: \mathbb{C}^n \to \mathbb{C}^m $，其在无穷远处的洛杰斯蒂茨指数在代数集 $ \{ z \in \mathbb{C}^n : f_1(z) \cdots f_m(z) = 0 \} $ 上被实现。
• 该指数不在该零点集的补集中被实现，表明渐近衰减速率由分量函数的零点决定。
• 该结果对 $ \|F(z)\| $ 在无穷远处的最坏衰减速率提供了精确刻画。
• 乘积 $ f_1 \cdots f_m $ 的零点集完整捕捉了映射在洛杰斯蒂茨指数意义上的渐近复杂性。
• 该指数与各个 $ f_i $ 的具体结构无关，而仅取决于其乘积的联合零点集。
• 该结果证实，映射 $ F $ 的渐近行为完全由其分量乘积零点所定义的代数簇决定。