[논문 리뷰] Local monomialization of a system of first integrals

André Belotto da Silva|arXiv (Cornell University)|2014. 11. 19.

Advanced Differential Equations and Dynamical Systems인용 수 3

한 줄 요약

이 논문은 $ n $ 개의 제1 적분을 가지며 그 외배각이 항등적으로 0이 아닌 분석적 특이 초등분할을 갖는 임의의 초등분할에 대해, 국소 블로잉업의 순서를 통해 국소 단항형화가 가능하다는 것을 증명한다. 엄밀한 변환 후의 초등분할은 $ n $ 개의 단항형 제1 적분 $ \mathbf{x}^{\boldsymbol{\alpha}_1}, \dots, \mathbf{x}^{\boldsymbol{\alpha}_n} $을 가지며, 이때 다중지표 $ \boldsymbol{\alpha}_1, \dots, \boldsymbol{\alpha}_n $는 선형 독립적이므로, 특이점 근처의 시스템에 대한 정규형을 제공한다.

ABSTRACT

Given an analytic singular foliation $\omega$ with $n$ first integrals $(f_1,...,f_n)$ such that $df_1 \wedge ..., df_n ot\equiv 0$, we prove that there exists a local monomialization of the system of first integrals, i.e. there exist sequences of local blowings-up such that the strict transform of $\omega$ has $n$ monomial first integrals $(\mathbf{x}^{\boldsymbol{\alpha}_1}, ..., \mathbf{x}^{\boldsymbol{\alpha}_n})$, where $\mathbf{x}^{\boldsymbol{\alpha}_i} = x_1^{\alpha_{i,1}} ... x_m^{\alpha_{i,m}}$ and the set of multi-indexes $(\boldsymbol{\alpha}_1, ...,\boldsymbol{\alpha}_n)$ is linearly independent.

연구 동기 및 목표

• 분석적 특이 초등분할의 제1 적분 시스템의 특이점을 국소 블로잉업을 통해 해결하기.
• 주어진 제1 적분을 국소 좌표계에서 단항형으로 변환하기.
• 결과로 얻어진 단항형 제1 적분이 다중지표의 관점에서 선형 독립임을 보장하기.
• 국소 해석적 범주에서 제1 적분을 가진 특이 초등분할에 대한 정규형을 제공하기.

제안 방법

• 초등분할을 정의하는 $ \omega $의 특이점을 국소 블로잉업의 순서를 통해 해결하기.
• 각 단계에서 초등분할의 엄밀한 변환을 구성하여 제1 적분의 구조를 유지하기.
• 제1 적분을 $ \mathbf{x}^{\boldsymbol{\alpha}_i} $ 형태의 단항형으로 표현하기 위한 좌표 변환을 적용하며, 여기서 $ \mathbf{x}^{\boldsymbol{\alpha}_i} = x_1^{\alpha_{i,1}} \cdots x_m^{\alpha_{i,m}} $이다.
• 다중지표의 집합 $ \{\boldsymbol{\alpha}_1, \dots, \boldsymbol{\alpha}_n\} $ 이 실수 위에서 선형 독립임을 보장하여, 외배각의 독립성을 유지하기.
• 변환의 수렴성과 해석성을 유지하기 위해 국소 해석적 범주 내에서 작업하기.
• 항등적으로 0이 아닌 조건 $ df_1 \wedge \cdots \wedge df_n \not\equiv 0 $ 을 활용하여, 해소 과정 전반에 걸쳐 잘 정의된 초등분할의 구조가 유지됨을 보장하기.

실험 결과

연구 질문

• RQ1 분석적 특이 초등분할의 $ n $ 개의 제1 적분 시스템이 국소 블로잉업을 통해 단항형으로 변환될 수 있는가?
• RQ2 엄밀한 변환 후의 초등분할이 단항형 제1 적분을 가질 수 있는 조건은 무엇인가?
• RQ3 해소 후에 단항형 제1 적분과 관련된 다중지표의 선형 독립성을 유지하는 것이 가능한가?
• RQ4 외배각의 비영 조건 $ df_1 \wedge \cdots \wedge df_n $ 이 해소 과정에 어떤 영향을 미치는가?
• RQ5 국소 단항형화 과정이 초등분할의 구조와 제1 적분의 독립성을 유지하는가?

주요 결과

• 논문은 초등분할의 엄밀한 변환에서 $ n $ 개의 단항형 제1 적분을 가지는 유한한 국소 블로잉업의 순서가 존재함을 확립한다.
• 단항형 제1 적분은 $ \mathbf{x}^{\boldsymbol{\alpha}_i} = x_1^{\alpha_{i,1}} \cdots x_m^{\alpha_{i,m}} $ 형태이며, 지수는 정수이다.
• 다중지표의 집합 $ \{\boldsymbol{\alpha}_1, \dots, \boldsymbol{\alpha}_n\} $ 는 실수 위에서 선형 독립적이므로 제1 적분들이 함수적으로 독립적임을 보장한다.
• 해소 과정은 초등분할의 해석적 구조와 비퇴화 조건 $ df_1 \wedge \cdots \wedge df_n \not\equiv 0 $ 을 유지한다.
• 결과적으로 국소 해석적 설정에서 제1 적분을 가진 특이 초등분할에 대한 정규형을 제공한다.
• 이 방법은 완전한 국소 단항형화를 달성하여, 이러한 시스템이 특이점 근처에서 표준형을 제공한다.