[논문 리뷰] Injective Analytic Maps - A Counterexample to the Proof

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

Data Visualization and Analytics인용 수 6

한 줄 요약

이 논문은 [Ném93]에서 제시한 증명에 치명적인 결함이 있음을 밝힌다. 해당 증명은 $ df(0) $ 의 질량이 1 미만인 $ f: (\mathbb{C}^2,0) \to (\mathbb{C}^3,0) $ 인 단사 해석적 맵의 꼬리에 대해 이미지 꼬리가 좋지 않다고 주장한다. 저자들은 구체적인 반례를 제시한다: $ f(x,y) = (y^3 + x^2, x, y^2) $, 이는 단사적이며 $ df(0) = 0 $ 이며, 이미지가 양호한 꼬리이지만, 관련된 평면 곡선 특이점 $ 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]에서 단사 해석적 사상의 양호한 이미지 꼬리의 도함수 질량이 최소 1이어야 한다는 주장하는 주요 정리의 타당성을 도전하기 위해.
• 기저 변경이 판별자 집합 내에 있을 경우, 퇴화 사이클과 다이نك린 다이어그램의 연결성에 기반한 위상적 추론이 잘못되었음을 보여주기 위해.
• 변형 매개변수 $ r(\ell) $ 가 판별자 집합 내에 있을 경우, $ W_0 $ 의 밀놀러 피브리의 퇴화 사이클 분해에 대한 증명의 주장이 실패함을 보여주기 위해.
• 반례가 레 둥 트랑의 원래 추측에 대한 반례는 아니지만, [Ném93]의 증명 전략에 대한 반례임을 명확히 하기 위해.
• 이미지 꼬리가 양호하고, 사상이 단사이며 $ df(0) = 0 $ 이지만, $ V_0 $ 과 $ W_0 $ 의 밀놀 수가 다를 수 있음을 정확히 보여주어 증명의 논리가 무너짐을 입증하기 위해.

제안 방법

• 특정 단사 해석적 사상 $ 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) $ 은 밀놀 수가 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 $ 와의 횡단 교차가 불가능함을 입증함으로써 증명의 핵심 단계를 무효화함.
• 퇴화 사이클이 $ V_t $ 에서와 $ V_t' $ 의 특이점에서 오는 사이클이 $ W_0 $ 의 밀놀러 피브리에서 명확히 분리되지 않음을 보여주어, 다이نك린 다이어그램이 반드시 분리되지 않음을 입증함으로써 모순 추론이 붕괴됨.

실험 결과

연구 질문

• RQ1 증명 [Ném93]은 단사 해석적 사상의 양호한 이미지 꼬리가 도함수 질량이 최소 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 $ 으로 정의된 이미지 꼬리 $ (X,0) $ 는 [Ném93]의 정의에 따라 양호한 꼬리이다.
• 평면 곡선 특이점 $ V_0 = f_1^{-1}(0) $ 은 밀놀 수가 2인 코브 특이점이며, $ W_0 = X \cap \{w_1 = 0\} $ 은 밀놀 수가 6인 $ E_6 $-특이점이다.
• [Ném93]의 증명은 기저 변경 $ r(\ell) $ 가 판별자 집합 $ D $ 내에 위치함으로써 실패한다. 이는 $ D $ 와의 횡단 교차가 불가능하게 하여 사이클 분리 추론에 필수적인 조건을 만족하지 못하기 때문이다.
• $ W_0 $ 의 밀놀러 피브리에서 $ V_t $ 에서 온 퇴화 사이클과 $ V_t' $ 의 특이점에서 온 사이클은 명확히 분리되지 않으며, 따라서 다이نك린 다이어그램이 반드시 분리되지 않아 증명에서 사용된 모순 추론이 붕괴된다.
• 이 예시는 기저 매개변수가 판별자 집합 내에 있을 경우, $ W_0 $ 의 밀놀러 피브리에서 퇴화 사이클이 완전한 기저를 이룬다는 증명의 주장이 잘못되었음을 보여준다.