[論文レビュー] Injective Analytic Maps - A Counterexample to the Proof

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

Data Visualization and Analytics被引用数 6

ひとこと要約

この論文は、[Ném93] が提示した証明における重大な欠陥を特定している。同証明は、$ df(0) $ のランクが 1 より小さい injective analytic map germs $ f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0) $ は、非良画像germをもつと主張しているが、著者らは具体的な反例を提示する。$ f(x,y) = (y^3 + x^2, x, y^2) $ は、単射で $ df(0) = 0 $ を満たし、画像germは良画像であるが、関連する平面曲線特異点 $ V_0 $ と $ W_0 $ のミルナー数が異なるため、消失サイクルとディンキン図形に基づく証明の主要な位相的議論が破綻する。

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】の主要定理の妥当性に疑問を呈する。同定理は、注入的解析写像の良画像germは、その微分のランクが少なくとも 1 でなければならないと主張している。
• 【基本変換が特異点集合内にある場合、消失サイクルとディンキン図形の連結性に基づく位相的議論が誤りであることを示す。
• 【変形パラメータが特異点集合内にある場合、$ W_0 $ のミルナー多様体における消失サイクルの分解に関する証明の主張が成立しないことを示す。
• 【反例は、Le Dung Trang の元の予想に対して反例ではないが、[Ném93] の証明戦略に対して反例であることを明確にする。
• 【画像germが良画像であり、写像が単射で $ df(0) = 0 $ を満たすが、$ V_0 $ と $ W_0 $ のミルナー数が異なる例を明確に提示し、証明の論理を無効にする。

提案手法

• 【特異点 $ (\mathbb{C}^2,0) \to (\mathbb{C}^3,0) $ を与える具体的な注入的解析写像 $ f $ を構成する。$ 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) $ が良画像germであることを検証する。
• 【2つの平面曲線特異点を分析する：$ V_0 = f_1^{-1}(0) $ はミルナー数 2 のカスプであり、$ W_0 = X \cap \{w_1 = 0\} $ はミルナー数 6 の $ E_6 $-特異点である。
• 【写像 $ \psi = (f_2,f_3) $ を用いて、ミルナー多様体 $ V_t $ と $ V_t' = \psi(V_t) $ の関係を調べ、消失サイクルの $ \psi $ による挙動を検討する。
• 【変形パラメータ $ r(\ell) $ が特異点集合 $ D $ 内にあることを示し、$ D $ と横断的交差できないため、証明の鍵となるステップが無効になる。
• 【ミルナー多様体 $ W_0 $ 内で、$ V_t $ の消失サイクルと $ V_t' $ の特異点からの消失サイクルを明確に分離できないため、ディンキン図形は必ずしも非連結にならず、証明における矛盾の議論が崩れる。

実験結果

リサーチクエスチョン

• RQ1 【[Ném93] の証明は、注入的解析写像の良画像germが微分のランクが少なくとも 1 でなければならないことを正しく確立しているか？
• RQ2 【基本変換が特異点集合内にある場合、$ W_0 $ のミルナー多様体内で $ V_t $ の消失サイクルと $ V_t' $ の特異点からの消失サイクルを分離できるか？
• RQ3 【常に、$ r(\ell) $ を特異点集合と横断的交差させ、良代表元の境界を避けるように変形可能か？
• RQ4 【例 $ f(x,y) = (y^3 + x^2, x, y^2) $ は、[Ném93] の証明に対して有効な反例を提供するか？
• RQ5 【$ V_0 $ と $ W_0 $ のミルナー数が異なることは、ディンキン図形の連結性に基づく位相的議論が失敗することを示唆するか？

主な発見

• 【写像 $ 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 $ で定義される画像germ $ (X,0) $ は、[Ném93] の定義に従って良画像germである。
• 【平面曲線特異点 $ V_0 = f_1^{-1}(0) $ はミルナー数 2 のカスプであり、$ W_0 = X \cap \{w_1 = 0\} $ はミルナー数 6 の $ E_6 $-特異点である。
• 【証明が失敗するのは、基本変換 $ r(\ell) $ が特異点集合 $ D $ 内にあるためであり、$ D $ との横断的交差が不可能となり、サイクル分離議論に必要な条件を満たさない。
• 【ミルナー多様体 $ W_0 $ 内で、$ V_t $ の消失サイクルと $ V_t' $ の特異点からの消失サイクルは明確に分離できないため、ディンキン図形は必ずしも非連結にならず、証明における矛盾の議論が崩れる。
• 【例は、変形パラメータが特異点集合内にある場合、$ W_0 $ のミルナー多様体における消失サイクルが完全基底をなさないという証明の主張が誤りであることを示している。