[论文解读] A set on which the local Lojasiewicz exponent is attained

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

Holomorphic and Operator Theory被引用 3

一句话总结

该论文证明，对于在原点处为零的全纯映射 F: U → ℂ^m，其局部洛瓦谢夫斯基指数在由 f₁⋯fₘ 的零点定义的解析集上取得。作者证明，该指数的下确界恰好在分量函数乘积的零点集上实现，从而在复解析几何中对指数实现的位置提供了精确的几何刻画。

ABSTRACT

Let U be a neighbourhood of 0 \in C^n.We show that for a holomorphic mapping F = (f_1,...,f_m) : U -> C^m, F(0) = 0, the Lojasiewicz exponent of F at 0 is attained on the set {z \in U : f_1(z)...f_m(z) = 0}.

研究动机与目标

• 刻画全纯映射的局部洛瓦谢夫斯基指数在何处精确实现。
• 研究指数实现集合的几何与解析性质。
• 建立洛瓦谢夫斯基不等式与映射分量乘积零点集之间的联系。
• 通过识别指数实现的最优集合，在复解析几何中提供一个精确结果。
• 在多复变全纯映射的背景下，深化对洛瓦谢夫斯基指数的理解。

提出的方法

• 考虑定义在 0 ∈ ℂ^n 的邻域 U 上的全纯映射 F = (f₁, ..., fₘ): U → ℂ^m，且满足 F(0) = 0。
• 将局部洛瓦谢夫斯基指数定义为所有满足在 0 附近 ||F(z)|| ≤ C||z||^λ 的指数 λ 的下确界。
• 分析零点集 Z = {z ∈ U : f₁(z)⋯fₘ(z) = 0}，其为复解析流形。
• 利用全纯函数的性质及洛瓦谢夫斯基不等式，证明指数在 Z 上实现。
• 应用复分析与奇点理论的技术，比较 ||F(z)|| 与 ||z||^λ 的增长速率。
• 通过反证法与局部化论证，证明任何比 Z 更小的集合都无法支持指数的实现。

实验结果

研究问题

• RQ1 在 0 的某个邻域中，全 holomorphic 映射 F 的局部洛瓦谢夫斯基指数在哪个子集上实现？
• RQ2 乘积 f₁⋯fₘ 的零点集能否作为指数实现的最优区域？
• RQ3 在 {f₁⋯fₘ = 0} 之外，洛瓦谢夫斯基指数是否严格更小？
• RQ4 临界衰减速率 ||F(z)|| 相对于 ||z||^λ 的精确几何轨迹是什么？
• RQ5 乘积零点集的结构如何影响洛瓦谢夫斯基不等式的紧致性？

主要发现

• 全纯映射 F 在 0 处的局部洛瓦谢夫斯基指数在解析集 {z ∈ U : f₁(z)⋯fₘ(z) = 0} 上实现。
• 该集合是实现指数的最小闭解析集，意味着下确界恰好在此处取得。
• 该结果在复解析几何中对指数实现位置提供了精确的几何刻画。
• 证明依赖于全纯函数的结构及其在原点附近零点阶的性质。
• 指数无法在 {f₁⋯fₘ = 0} 的任何真子集上实现，从而确认了该集合的最优性。
• 该结果对任意有限个在 0 处为零的全纯函数均成立，将已知情形推广至任意 m。