[论文解读] Topological Triviality of $\mu$-constant Deformations of Type f(x) + tg(x)

Adam Parusiński|arXiv (Cornell University)|Nov 11, 1997

Advanced Differential Equations and Dynamical Systems参考文献 1被引用 9

一句话总结

该论文证明了形式为 F(x,t) = f(x) + tg(x) 的孤立超曲面奇点的 µ-常形变在实数域和复数域上均为拓扑平凡。通过曲线选择引理并构造一个显式向量场来实现家族的平凡化，作者在较弱的解析条件下建立了拓扑平凡性，其应用涉及复多项式在无穷远处的奇点。

ABSTRACT

We show that every $\mu$-constant family of isolated hypersurface singularities of type f(x) + tg(x), where t is a parameter, is topologically trivial. In the proof we construct explicitely a vector field trivializing the family. The proof uses only the curve selection lemma and hence, for an appropriately translated statement, also works over the reals. Some applications to the study of singularities at infinity of complex polynomials are given.

研究动机与目标

• 在 C 或 R 上建立形式为 F(x,t) = f(x) + tg(x) 的孤立超曲面奇点的 µ-常形变的拓扑平凡性。
• 通过仅使用曲线选择引理这一纯分析、初等的方法，避免依赖高级拓扑工具（如 h- cobordism 定理），提供拓扑平凡性的证明。
• 通过仅依赖曲线选择引理，将结果推广到实解析和 o-极小结构类别。
• 将结果应用于复多项式在无穷远处奇点的研究，特别是与 Malgrange 条件和消失上同调的关系。

提出的方法

• 在零集 X = F⁻¹(0) 上构造一个显式向量场 ⃗v，其 t 分量为 ∂t，切于 g 的等值曲面，且在 X\g⁻¹(0) 上光滑。
• 在 X\g⁻¹(0) 上使用向量场 ⃗v = ∂t − (|∂x g|² / ∆) ḡ ∂x f + (⟨∂x f, ∂x g⟩ / ∆) ḡ ∂x g，其中 ∆ = |∂x f|²|∂x g|² − |⟨∂x f, ∂x g⟩|²。
• 利用由曲线选择引理导出的 Lojasiewicz 型不等式，证明当 (x,t) → g⁻¹(0) ∩ F⁻¹(0) 时，|⃗v − ∂t| → 0。
• 引入第二个向量场 ⃗w = ∂t − (ḡ / |∂x F|²) ∂x F 以实现 F 的平凡化，通过控制 |x| 确保流的连续性。
• 使用单位分解将 ⃗v 和 ⃗w 粘合，从而在原点邻域内定义一个全局向量场 ⃗V，确保流的连续性。
• 通过齐次化和坐标变换，将无穷远处奇点问题转化为 f(x) + tg(x) 类型的局部形变问题，从而应用该结果。

实验结果

研究问题

• RQ1 所有形如 F(x,t) = f(x) + tg(x) 的 µ-常形变是否均为拓扑平凡？
• RQ2 是否可以仅使用曲线选择引理等初等分析工具，而无需依赖深层拓扑定理，来建立拓扑平凡性？
• RQ3 当 (x,t) → (0,0) 时，条件 |g(x)| ≪ |∂F(x,t)| 与该家族的拓扑平凡性有何关系？
• RQ4 拓扑平凡性的结果能否推广到实解析或 o-极小结构？
• RQ5 Malgrange 在无穷远处的条件与复多项式消失上同调条件之间有何联系？

主要发现

• 定理 0.1 建立了：若当 (x,t) → (0,0) 时有 |g(x)| ≪ |∂F(x,t)|，则 F(x,t) = f(x) + tg(x) 沿 t 轴是拓扑平凡的。
• 推论 2.1 确认了任意形如 F(x,t) = f(x) + tg(x) 的孤立奇点的 µ-常形变均为拓扑平凡。
• 该证明仅依赖于曲线选择引理和 Lojasiewicz 型不等式，因此可适用于实解析和 o-极小设定。
• 在 X\g⁻¹(0) 上构造的向量场 ⃗v 满足：当 (x,t) → g⁻¹(0) ∩ F⁻¹(0) 时，|⃗v − ∂t| → 0，从而确保流的连续性。
• 通过单位分解将 ⃗v 和 ⃗w 粘合，得到一个全局向量场 ⃗V，其流连续，从而证明了 X 和 F 的拓扑平凡性。
• 该结果简化了关于无穷远处奇点的定理 3.1 的先前证明，表明 Malgrange 条件 (3.1) 与消失上同调的缺失等价，且可通过直接应用推论 1.3 得到。