[论文解读] Injective Analytic Maps - A Counterexample to the Proof

Thomas Keilen, David Mond|ArXiv.org|Sep 22, 2004

Data Visualization and Analytics被引用 6

一句话总结

本文指出了 [Ném93] 中一篇论文证明中的一个关键缺陷，该证明声称：若从 $ (\mathbb{C}^2,0) $ 到 $ (\mathbb{C}^3,0) $ 的解析映射芽 $ f $ 满足 $ df(0) $ 的秩小于 1，则其像芽必非良芽。作者提出一个具体反例：$ f(x,y) = (y^3 + x^2, x, y^2) $，该映射是单射，满足 $ df(0) = 0 $，其像为良芽，但其关联的平面曲线奇点 $ V_0 $ 与 $ W_0 $ 的 Milnor 数不同，从而否定了该证明中基于消失循环与 Dynkin 图的拓扑论证。

ABSTRACT

In Duke Math. J. 69, No.2, 335-347 (1993) the author translates a conjecture of Le Dung Trang on the non-existence of injective analytic maps f:(C^n,0)->(C^{n+1},0) with df(0)=0 into the non-existence of a hypersurface germ in (C^{n+1},0) with rather unexpected properties. However, the proof given there contains an apparently fatal error, as we demonstrate with an example.

研究动机与目标

• 挑战 [Ném93] 中一项关键定理的有效性，该定理声称单射解析映射的良像芽必须满足导数的秩至少为 1。
• 证明当基变换位于判别式分支上时，基于消失循环与 Dynkin 图连通性的拓扑论证存在缺陷。
• 表明当变形参数位于判别式中时，该证明中关于 $ W_0 $ 的 Milnor 纤维中消失循环分解的断言不成立。
• 澄清该反例并非对 Le Dung Trang 原始猜想的反例，而是对 [Ném93] 中证明策略的反例。
• 提供一个精确例子，其中像芽是良芽，映射是单射，且 $ df(0) = 0 $，但 $ V_0 $ 与 $ W_0 $ 的 Milnor 数不同，从而破坏了该证明的逻辑。

提出的方法

• 构造一个具体的单射解析映射 $ f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0) $，定义为 $ f(x,y) = (y^3 + x^2, x, y^2) $，并证明其为单射且满足 $ df(0) = 0 $。
• 定义像 $ (X,0) $ 为 $ F(w_1,w_2,w_3) = (w_1 - w_2^2)^2 - w_3^3 $ 的零点集，并验证在 [Ném93] 的定义下 $ (X,0) $ 是一个良芽。
• 分析两个平面曲线奇点：$ V_0 = f_1^{-1}(0) $，为一个 Milnor 数为 2 的尖点；$ W_0 = X \cap \{w_1 = 0\} $，为一个 $ E_6 $-奇点，Milnor 数为 6。
• 利用映射 $ \psi = (f_2,f_3) $ 关联 Milnor 纤维 $ V_t $ 与 $ V_t' = \psi(V_t) $，并研究消失循环在 $ \psi $ 下的行为。
• 证明变形参数 $ r(\ell) $ 位于判别式分支 $ D $ 中，使得与 $ D $ 的横截相交成为不可能，从而破坏了证明的关键步骤。
• 表明 $ V_t $ 的消失循环与 $ V_t' $ 的奇点消失循环在 $ W_0 $ 的 Milnor 纤维中无法被清晰分离，因此 Dynkin 图不必然断开，从而瓦解了证明中的矛盾论证。

实验结果

研究问题

• RQ1 [Ném93] 中的证明是否正确地建立了单射解析映射的良像芽必须满足导数秩至少为 1 的结论？
• RQ2 当基变换位于判别式中时，$ V_t $ 的消失循环与 $ V_t' $ 的奇点消失循环是否能在 $ W_0 $ 的 Milnor 纤维中被分离？
• RQ3 是否总能将基 $ r(\ell) $ 变形为与判别式横截相交并避开良代表元边界的区域？
• RQ4 例子 $ f(x,y) = (y^3 + x^2, x, y^2) $ 是否构成对 [Ném93] 中证明的有效反例？
• RQ5 $ V_0 $ 与 $ W_0 $ 的 Milnor 数不同是否意味着基于 Dynkin 图连通性的拓扑论证失效？

主要发现

• 映射 $ f(x,y) = (y^3 + x^2, x, y^2) $ 是单射，且满足 $ df(0) = 0 $，构成对证明假设的反例。
• 由 $ F(w_1,w_2,w_3) = (w_1 - w_2^2)^2 - w_3^3 $ 定义的像芽 $ (X,0) $ 在 [Ném93] 的定义下是一个良芽。
• 平面曲线奇点 $ V_0 = f_1^{-1}(0) $ 是一个 Milnor 数为 2 的尖点，而 $ W_0 = X \cap \{w_1 = 0\} $ 是一个 $ E_6 $-奇点，Milnor 数为 6。
• [Ném93] 中的证明失败，因为基变换 $ r(\ell) $ 位于判别式分支 $ D $ 中，导致无法与 $ D $ 横截相交，而这是循环分离论证所必需的。
• $ V_t $ 的消失循环与 $ V_t' $ 的消失循环在 $ W_0 $ 的 Milnor 纤维中无法被清晰分离，因此 Dynkin 图不必然断开，从而破坏了证明中使用的矛盾论证。
• 该例子表明，当变形参数位于判别式中时，该证明中关于消失循环在 $ W_0 $ 的 Milnor 纤维中构成完整基的断言是错误的。