[논문 리뷰] MAPLE subroutines for computing Milnor and Tyurina numbers of hypersurface singularities with application to Arnol'd adjacencies

Michele Rossi, Lea Terracini|arXiv (Cornell University)|2008. 09. 25.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 4

한 줄 요약

이 논문은 Mora 알고리즘을 통해 국소 단항식 순서를 이용한 지역 다항식 순서를 활용하여 고립된 초표면 특이점의 밀너 수와 투리나 수를 계산하는 새로운 MAPLE 서브루틴을 제시한다. 이는 쿠라니시 공간의 분할을 명시적으로 계산할 수 있도록 한다. 주요 기여는 MAPLE에 국소 단항식 순서를 처음으로 구현한 것으로, 아르놀드의 단순 특이점 간의 인접성 관계를 대수적 분할을 통해 기하학적으로 실현하는 데 응용된다.

ABSTRACT

In the present paper MAPLE subroutines computing Milnor and Tyurina numbers of an isolated algebraic hypersurface singularity are presented and described in detail. They represents examples, and perhaps the first ones, of a MAPLE implementation of local monomial ordering. As an application, the last section is devoted to writing down equations of algebraic stratifications of Kuranishi spaces of simple Arnol'd singularities: they geometrically represents, by means of inclusions of algebraic subsets, the partial ordering on classes of simple singularities induced by the adjacency relation.

연구 동기 및 목표

• 특수한 컴퓨터 대칭 시스템에 대한 숙련이 필요 없이도 접근 가능하고 사용자 友好的인 MAPLE 서브루틴을 개발하여 고립된 초표면 특이점의 밀너 수와 투리나 수를 계산하는 것.
• 기존에 지원되지 않았던 MAPLE에 국소 단항식 순서를 Mora 알고리즘을 사용하여 구현하여 수렴하는 멱급수환에서 약한 정규형과 단항식 기저를 계산하는 것.
• 아르놀드 단순 특이점에 대한 쿠라니시 공간의 명시적 대수적 분할을 구성하여, 대수적 부분집합의 포함 관계를 통해 특이점 간의 인접성 부분순서를 기하학적으로 표현하는 것.
• 특수한 인접성 관계를 실현하는 구체적인 1-매개변수 변형을 제공하여 기존 결과를 확장하는 것 (예: $D_n \to A_{n-1}$, $E_8 \to D_7$).
• 이탈리아 법률 133/08이 이탈리아의 과학 연구에 대한 공공 자금을 위협하고 있음을 지적하며, 수학 연구에 있어 개방적이고 접근 가능한 도구의 중요성을 강조하는 것.

제안 방법

• 표준 전역 단항식 순서(예: 중량 사전순서)의 반대 순서로 국소 단항식 순서를 정의하여 Buchberger 알고리즘의 수렴하지 않는 문제를 해결하고, MAPLE에 국소 단항식 순서를 도입하는 것.
• Mora 알고리즘을 사용하여 $\mathbb{C}\{x_1,\dots,x_{n+1}\}$에서 밀너 이상수와 투리나 이상수의 약한 정규형과 단항식 기저를 계산하여 수렴하는 멱급수환에서의 계산을 가능하게 하는 것.
• 지역 대수 $\mathcal{O}_n / (\partial f / \partial x_i)$의 차원으로 밀너 수 $\mu$와 $\mathcal{O}_n / (f, \partial f / \partial x_i)$의 차원으로 투리나 수 $\tau$를 계산하는 절차를 구성하는 것.
• 매개변수 $\lambda = (\lambda_1,\dots,\lambda_r)$를 가진 다항식환으로 계산을 확장하여 $(\mathbb{C}[\lambda])[ω]$에서 변형 이론 계산을 가능하게 하는 것.
• 얻어진 단항식 기저를 사용하여 쿠라니시 공간에서의 대수적 분할 방정정식을 명시적으로 기술하는 것. 이는 작은 전방 변형을 매개변수화하는 데 쓰인다.
• 루틴을 적용하여 아르놀드 단순 특이점 간의 인접성을 실현하는 1-매개변수 변형을 도출하며, 쿠라니시 공간의 구조에서 유도된 방정식계를 풀어 $E_8 \to D_7$ 등의 변형을 분석하는 것.

실험 결과

연구 질문

• RQ1 어떻게 널리 사용되는 컴퓨터 대칭 시스템인 MAPLE를 사용하여 고립된 초표면 특이점의 밀너 수와 투리나 수를 효율적으로 계산할 수 있는가?
• RQ2 표준 그로버 기저 알고리즘이 이러한 순서에서 수렴하지 않기 때문에, MAPLE에 국소 단항식 순서를 구현하는 것이 실현 가능하고 정확한가?
• RQ3 쿠라니시 공간의 명시적 대수적 분할을 구성하여 아르놀드 단순 특이점 간의 인접성 부분순서를 대수적 부분집합의 포함 관계로 기하학적으로 표현할 수 있는가?
• RQ4 특수한 인접성 관계 $D_n \to A_{n-1}$, $E_8 \to D_7$, $E_6 \to D_5$를 실현하는 명시적인 1-매개변수 변형은 무엇인가?
• RQ5 단순 특이점의 쿠라니시 공간을 어떻게 대수적으로 매개변수화하여, 특이점 유형 전이가 통제된 변형 가족을 구성할 수 있는가?

주요 결과

• 저자들은 Mora 알고리즘을 통해 MAPLE에 국소 단항식 순서를 성공적으로 구현하여 $\mathbb{C}\{x_1,\dots,x_{n+1}\}$에서 약한 정규형과 단항식 기저를 계산할 수 있게 되었으며, 이는 이전까지 MAPLE에서 달성되지 못한 능력이다.
• 매개변수 설정에서 그로버 기저 기법을 사용하여 고립된 초표면 특이점의 밀너 수 $\mu$와 투리나 수 $\tau$를 계산하는 서브루틴이 개발되었으며, $\tau \leq \mu$라는 관계가 계산적으로 확인되었다.
• 쿠라니시 공간에서의 대수적 분할에 대한 명시적 방정식, 예를 들어 $\mathcal{W}_7 \cap \widetilde{\mathcal{W}}_2^6$를 생성하여 단순 특이점 간의 인접성 관계를 기하학적으로 암호화하는 데 성공했다.
• 논문은 특수한 7개의 인접성 관계를 실현하는 1-매개변수 변형을 제공한다. 이는 $n \geq 4$에 대해 $A_{n-1} \leftarrow D_n$, $A_5 \leftarrow E_6$, $D_5 \leftarrow E_6$, $A_6 \leftarrow E_7$, $D_6 \leftarrow E_7$, $A_7 \leftarrow E_8$, $D_7 \leftarrow E_8$를 포함하며, 명시적인 다항식 가중가중 $f_t(\mathbf{x})$를 제공한다.
• $E_8 \to D_7$ 인접성에 대해, 변형 $f_t(\mathbf{x}) = f_0(\mathbf{x}) -27t^4 x_N x_{N+1}^2 + \cdots$ 가 일반적인 $t$에 대해 $D_7$ 특이점을 유도함을 보여 $인접성$이 확인되었다.
• 이 구현은 사용자에게 친화적이며 학부생 수준에서도 접근 가능하여, 전문화된 소프트웨어(SINGULAR 등)에 능숙하지 않아도 복잡한 특이점 불변량을 계산할 수 있음을 보여주었다.