[논문 리뷰] Topological equisingularity of function germs with 1-dimensional critical set

Javier Fernández de Bobadilla|ArXiv.org|2006. 03. 21.

Meromorphic and Entire Functions참고 문헌 15인용 수 3

한 줄 요약

이 논문은 1차원 임계집합을 가진 복소해석함수의 원소에 대해 임계집합에서의 등식성의 개념을 도입하며, 이러한 등식성이 위상적 R-등식성으로 이어진다는 것을 증명한다. 또한 일정한 일반 Lê 수를 갖는다는 것은 임계집합에서의 등식성을 뜻하며, D. Massey가 제기한 질문에 대한 해결책을 제시한다. 더불어, 임계집합이 비평탄하고 특이적인데도 위상적으로 등식성인 새로운 가족을 구성한다.

ABSTRACT

We focus on topological equisingularity of families of holomorphic function germs with 1-dimensional critical set. We introduce the notion of equisingularity at the critical set and prove that any family which is equisingular at the critical set is topologically equisingular. We show that if a family of germs with 1-dimensional critical set has constant generic Le numbers then it is equisingular at the critical set, and hence topologically equisingular (answering a question of D. Massey). We use this to modify the definition of singularity stem present in the literature, introducing and characterising topological stems (being this concept closely related with Arnold's series of singularities). We provide another sufficient condition for topological equisingularity for families whose reduced critical set is deformed flatly. Finally we study how the critical set can be deformed in a topologically equisingular family and provide examples of topologically equisingular families whose critical set is a non-flat deformation with singular special fibre and smooth generic fibre.

연구 동기 및 목표

• 비이sov된 특이점을 가진 복소해석함수의 원소에 대한 위상적 등식성에 관한 열린 문제를 다루며, 특히 임계집합이 1차원일 경우에 초점을 맞춘다.
• D. Massey가 제기한, 일정한 일반 Lê 수를 갖는 가족의 위상적 등식성에 관한 질문을 해결한다.
• 위상적 뿌리의 개념을 재정의하고 특이점의 Arnold 시리즈와 연결하여 기능적으로 기술하며, Lê 수가 등식성에서 차지하는 역할을 명확히 한다.
• 위상적 등식성인 가족에서 임계집합의 변형 행동을 분석하며, 특히 임계집합이 평탄하게 변형되지 않을 경우를 다룬다.
• 임계집합이 특수한 섹션에서는 특이적이지만 일반 섹션에서는 매끄럽지만 위상적으로 등식성인 새로운 가족을 구성한다.

제안 방법

• 임계집합에서의 등식성의 개념을 도입하며, 이는 임계집합을 자동으로 단순화하고 횡단 Milnor 수에 의한 분할을 유지하는 가족의 자기위상동형사상으로 정의된다.
• 임계집합에서의 등식성을 탐지하는 데 핵심 도구로, 좌표계에 관련된 극적 불변량인 Lê 수를 사용한다. 특히 일반 Lê 수를 중심으로 한다.
• Milnor 분해와 임bedded 링크 이론의 결과를 적용하며, $ n \geq 4 $ 일 때는 동치의 Milnor 수가 일정하면 추상 링크의 호모토피 유형도 일정하다는 사실을 활용한다.
• 가중치가 있는 동차 구조와 매개변수화(예: $ (x,y,z) \mapsto (t^{-1}x, t^{-1}y, t^{-1}z) $)를 사용하여 임계집합을 분석하고 횡단 Milnor 수의 일정성을 검증한다.
• 등식성과 위상적 R-등식성을 보여주기 위해 구체적인 함수 가족(예: $ f_t = (ty - xz)^9 + (tx^3 - y^2z)^4 + (y^3 - x^4)^3 + (t^3x - z^3)^{12} $)을 구성한다.
• 특히 $ n \geq 5 $ 일 때 주요 등식성 정리를 적용하기 위해 $ g_t = f_t + u^a + v^b $ 를 통해 안정화를 수행한다.

실험 결과

연구 질문

• RQ1 임계집합이 1차원이고 일반 Lê 수가 일정한 복소해석함수의 원소 가족은 위상적 R-등식성을 갖는가?
• RQ2 위상적 뿌리의 개념은 임계집합에서의 등식성에 기반해 재정의되고 특징지을 수 있는가? 특히 Arnold의 특이점 시리즈와의 관계에서.
• RQ3 임계집합이 비평탄하게 변형되며 특수 섹션에서는 특이하고 일반 섹션에서는 매끄러운 위상적 등식성 가족을 만들 수 있는가?
• RQ4 임계집합에서의 등식성이 위상적 등식성으로 이어지기 위한 조건는 무엇인가? 특히 Milnor 수나 다중도가 일정하지 않을 경우에 대해.
• RQ5 지정된 임계집합 구조와 횡단 Milnor 수를 갖는 비등다중도 위상적 등식성 가족을 구성할 수 있는가?

주요 결과

• 임계집합이 1차원인 복소해석함수의 원소 가정에서, 임계집합의 자동 단순화와 횡단 Milnor 수 분할의 유지에 의해 정의된 등식성이 성립하면, 위상적 R-등식성이 성립한다.
• 일반 Lê 수가 일정하면 임계집합에서의 등식성이 성립하며, 따라서 위상적 R-등식성이 성립한다. 이는 D. Massey의 질문에 대한 긍정적 해결책을 제공한다.
• 함수 가족 $ f_t = (ty - xz)^9 + (tx^3 - y^2z)^4 + (y^3 - x^4)^3 + (t^3x - z^3)^{12} $ 는 $ (t^{-1}x, t^{-1}y, t^{-1}z) $ 로 매개변수화된 임계집합을 가지며, $ t = 0 $ 에서는 특이하고 $ t \neq 0 $ 에서는 매끄럽지만, 여전히 임계집합에서 등식성을 유지한다.
• 임계집합의 모든 점에서 횡단 Milnor 수는 6이며, 원점에서는 18이다. 그러나 저차항의 제어로 인해 여전히 임계집합에서 등식성이 유지된다.
• 특히 $ n \geq 5 $ 일 때, $ g_t = f_t + u^a + v^b $ 를 통한 안정화가 임계집합에서의 등식성을 유지하며 위상적 R-등식성을 보장한다. 이는 프레임워크의 강건성을 확인한다.
• 이 논문은 처음으로 위상적으로 R-등가인 두 함수를 구성하였으며, 이들 모두 임계집합이 1차원이지만, 하나는 임계집합이 매끄럽고 다른 하나는 원점에서 특이하다. 이는 위상적 등식성에서 새로운 변형 행동을 보여준다.