[논문 리뷰] Equisingular Deformations of Plane Curve and of Sandwiched Singularities

Theo de Jong|ArXiv.org|2000. 11. 15.

Advanced Numerical Analysis Techniques참고 문헌 16인용 수 5

한 줄 요약

이 논문은 분장 매개변수 $ l $ 가 충분히 클 때, 고립된 평면 곡선 특이점과 그에 대응하는 샌드위치 특이점 사이의 등장성 변형 사이의 동치성을 확립한다. 최소 양호 해소를 이용하여 등장성 변형 이상을 계산하기 위한 귀납적 알고리즘을 제공하며, 변형 함자와 코homological 데이터를 비교하여 등장성 부분다양체의 차원에 대한 공식을 유도한다.

ABSTRACT

Let $C$ be an isolated plane curve singularity, and $(C,l)$ be a decorated curve. In this article we compare the equisingular deformations of $C$ and the sandwiched singularity $X(C,l)$. We will prove that for $l \gg 0$ the functor of equisingular deformations of $C$ and $(C,l)$ are equivalent. From this we deduce a proof of a formula for the dimension of the equisingular stratum. Furthermore we will show how compute the equisingularity ideal of the curve singularity $C$, given the minimal (good) resolution of $C$.

연구 동기 및 목표

• 큰 $ l $ 에 대해 평면 곡선 특이점 $ C $ 와 그에 대응하는 샌드위치 특이점 $ X(C,l) $ 의 등장성 변형 사이의 대응관계를 확립하는 것.
• 최소 양호 해소를 이용하여 평면 곡선 특이점의 등장성 이상을 계산하는 알고리즘을 제공하는 것.
• 변형 함자와 코homological 불변량을 비교하여 평면 곡선 특이점 $ C $ 의 등장성 부분다양체의 차원에 대한 공식을 도출하는 것.
• 등장성 이상이 코homology 군 $ H^1(F_i, N_{F_i/Z}) $ 를 포함하는 사상의 핵으로서 나타남을 보여, 변형 이론과 해소 기하학을 연결하는 것.

제안 방법

• 동시 해소 함자를 사용하여 공통 해소를 갖는 $ C $ 의 변형을 묘사하고, 전체 변형 함자의 부분함수로 삼는다.
• 등장성 이상을 최소 양호 해소 $ Z $ 의 예외적 곡선 $ F_i $ 에서의 코homology 군들 $ \oplus H^1(F_i, N_{F_i/Z}) $ 에로 향하는 사상 $ \varphi $ 의 핵으로 정의한다.
• 모든 예외적 곡선 $ F_i $ 의 자명한 변형이 등장성과 관련된 워홀의 결과를 통해 등장성임을 보장함을 활용한다.
• 블로잉업의 보편 성질을 적용하여 샌드위치 특이점 $ X(C,l) $ 와 $ X(C',l') $ 간의 동형을 그 최소 해소의 동형으로 옮기며, 큰 $ l $ 에서 $ C $ 와 $ l $ 의 유일성을 증명한다.
• 샌드위치 특이점 $ X(C,l) $ 의 아르틴 성분에 대한 두 개의 독립된 공식을 사용하여 $ C $ 의 등장성 부분다양체의 차원을 유도하고, 닫힌 형태의 표현식을 도출한다.
• 예외적 인피니티미털 디폼레이션을 분석하고 연속적인 블로잉업을 통해 그 행동을 추적함으로써, 최소 양호 해소를 기반으로 한 귀납적 알고리즘을 구현하여 등장성 이상을 계산한다.

실험 결과

연구 질문

• RQ1 등장성 변형 함자들이 평면 곡선 $ C $ 와 그에 대응하는 샌드위치 특이점 $ X(C,l) $ 간에 언제 동치가 되는가?
• RQ2 최소 양호 해소를 기반으로 하여 평면 곡선 특이점의 등장성 이상을 어떻게 계산할 수 있는가?
• RQ3 등장성 부분다양체의 정확한 차원은 무엇이며, 이를 어떻게 변형 이론적 및 코homological 데이터로부터 도출할 수 있는가?
• RQ4 큰 $ l $ 에서 $ C $ 의 해석적 유형이 $ X(C,l) $ 의 해석적 유형을 얼마나 정확히 결정하는가, 그 반대의 경우도 마찬가지로?
• RQ5 어느 무한소 변형이 해소의 비자명한 변형을 유도하고, 어느 것은 등장성 변형을 유도하는가?

주요 결과

• $ l \gg 0 $ 일 때, $ C $ 와 $ X(C,l) $ 의 등장성 변형 함자 간에 동치성이 성립하여, 곡선과 표면 특이점의 변형 이론 사이에 강력한 대응관계가 확립된다.
• $ C $ 의 등장성 이상은 최소 양호 해소의 예외적 곡선 $ F_i $ 에서의 코homology 군들 $ \oplus H^1(F_i, N_{F_i/Z}) $ 로 향하는 사상 $ \varphi $ 의 핵으로 표현되며, 이는 코homological 계산이 가능함을 보여준다.
• $ C $ 의 등장성 부분다양체의 차원은 $ X(C,l) $ 의 아르틴 성분에 대한 두 공식을 비교하여 유도되며, 정확한 차원 공식을 도출한다.
• 최소 양호 해소를 기반으로 하여 연속적인 블로잉업과 변형 데이터 추적을 통해 등장성 이상을 계산하는 귀납적 알고리즘을 제공한다.
• $ f = y^7 + x^5y^3 $ 의 예시에서, 등장성 부분다양체의 차원은 6이며, 등장성 이상은 $ y^7 + x^5y^3 $, $ 10x^4y^4 + 10x^9 + 11x^{10} $, $ x^3y^6 + x^8y^2 + x^9y^2 $, $ x^{11} $, $ x^{10}y $, $ x^9y^2 $, $ x^8y^3 $ 로 생성된다.
• 자명한 섹션으로 포착되지 않는 추가의 무한소 등장성 변형은 $ (y^4 + x^5 + \varepsilon x^3y^2)^2 + x^{11} $ 로 명시적으로 주어지며, 부분다양체가 자명한 변형 위치보다 엄밀히 더 크다는 것을 보여준다.