[논문 리뷰] The Galoisian envelope of a germ of foliation: the quasi-homogeneous case

Emmanuel Paul|ArXiv.org|2006. 12. 11.

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

한 줄 요약

이 논문은 $ℂ^2$ 내의 임계 차원 1인 준동차 미분형식의 군자에 대해 적절한 갈로아 코어(갈로아 봉우리)가 존재하는 데 필요한 기하학적 및 알고리즘적 조건을 설정한다. 상대 호몰로지 군과 형식 정규형을 분석함으로써, 갈로아 가소성은 유한 길이의 고드빌론-베이 시퀀스(최대 세 개의 형식)의 존재와 동치임을 증명하고, 이를 밀너 표면의 단형성과 연결하며, 주요 결과로는 벡터장 정규화를 통한 아벨 호몰로지 군의 실현 정리가 제시된다.

ABSTRACT

We give geometric and algorithmic criterions in order to have of a proper Galois closure for a codimension one germ of quasi-homogeneous foliation. We recall this notion recently introduced by B. Malgrange, and describe the Galois envelope of a group of germs of analytic diffeomorphisms. The geometric criterions are obtained from transverse analytic invariants, whereas the algorithmic ones make use of formal normal forms.

연구 동기 및 목표

• 임계 차원 1인 준동차 미분형식의 군자에 대해 적절한 갈로아 코어(갈로아 봉우리)가 존재하는 데 필요한 필수 및 충분 조건을 규명하는 것.
• 이러한 미분형식의 갈로아 가소성과 유한 길이의 고드빌론-베이 시퀀스(최대 세 개의 유리형 1형식) 존재 사이의 관계를 규명하는 것.
• 준동차 특이점의 맥락에서 기하학적 불변량(상대 호몰로지 군)과 알고리즘적 불변량(형식 정규형) 사이의 정확한 관계를 설정하는 것.
• 비예외적 아벨 부분군 $\mathrm{Diff}_1(\mathbb{C},0)$이 임의의 준동차 미분형식의 상대 호몰로지 군으로 실현될 수 있음을 보여주는 실현 정리 수립.
• 특히 형식 정규형과 합산 가능성의 맥락에서, 임의의 차원 1 이하의 경우를 초월한 갈로아 이론적 접근법을 통한 적분 가능성 이론의 기초를 다지는 것.

제안 방법

• 논문은 준동차 벡터장 $X_h$의 분해를 통해 예외적 분할의 구조와 밀너 표면에서의 미분형식의 행동을 분석한다.
• 상대 호몰로지 군은 밀너 표면에서의 단형성 작용으로 정의되며, 이는 닫힌 1형식 $\eta_c$의 주기로 결정되는 아벨 군임을 보여준다.
• 형식 정규형은 $f_i$가 정칙 함수이고 $R$가 준동차 오일러 벡터장일 때, 형태 $X = \alpha X_h + \left(\sum c_i f_i\right) \delta(h) R$ 의 벡터장을 사용하여 구성된다.
• 알고리즘적 불변량 $\mathcal{L}(\mathcal{F})$ 는 정규형 내 계수 $c_i$ 에서 유도되며, 갈로아 봉우리의 횡방향 랭크와 일치한다.
• 호몰로지의 주기 $T_i$ 와 계수 $c_i$ 사이의 관계는 코homology 기저의 주기 행렬 $M$ 을 사용한 행렬 방정식 $T = M \cdot C$ 에서 암시된다.
• 논문은 갈로아 봉우리가 적절하다(즉, 미분형식이 갈로아 가소적이다)는 것과 상대 호몰로지 군이 아벨이면서 주기 $T_i$ 가 유리적으로 관련되어 있을 때, 그리고 이는 길이가 최대 3인 유한한 고드빌론-베이 시퀀스의 존재와 등가임을 증명한다.

실험 결과

연구 질문

• RQ1 준동차 임계 차원 1의 미분형식에 대해 갈로아 봉우리가 적절하다는 것은 기하학적 및 대수적 조건이 무엇일까? 즉, 전체 자동형 군자보다 엄밀히 작다.
• RQ2 길이가 최대 3인 유한 길이의 고드빌론-베이 시퀀스 존재는 미분형식의 갈로아 가소성과 어떻게 관련되어 있는가?
• RQ3 이 미분형식의 상대 호몰로지 군과 그 벡터장의 형식 정규형 사이의 정확한 관계는 무엇인가?
• RQ4 비예외적 아벨 부분군 $H \subset \mathrm{Diff}_1(\mathbb{C},0)$ 이 임의의 준동차 미분형식의 상대 호몰로지 군으로 실현될 수 있는가?
• RQ5 최종 정규형의 $k$-합산 가능성의 기하학적 의미는 무엇이며, 갈로아 봉우리와 어떻게 관련되어 있는가?

주요 결과

• 임계 차원 1인 준동차 미분형식의 갈로아 봉우리는 상대 호몰로지 군이 아벨이면서 관련 1형식 $\eta_c$ 의 주기가 유리적으로 관련되어 있을 때에만 적절하다.
• 길이가 최대 3인 유한 고드빌론-베이 시퀀스의 존재는 갈로아 가소성과 동치이며, 갈로아 봉우리의 횡방향 랭크는 이러한 시퀀스의 최소 길이와 같다.
• 실현 정리가 증명되었다: 임의의 비예외적 아벨 부분군 $H \subset \mathrm{Diff}_1(\mathbb{C},0)$ 에 대해, 정규형 내 계수 $c_i$ 를 적절히 선택함으로써 상대 호몰로지 군이 $H$ 가 되는 준동차 미분형식이 존재한다.
• 항목 $m_{i,j} = \int_{\Gamma_i} \eta_j$ 를 갖는 행렬 $M = (m_{i,j})$ 는 가역적이며, 이는 주어진 주기 $T_i$ 에서 계수 $c_i$ 가 유일하게 구해질 수 있음을 보장하여, 호몰로지 데이터와 정규형 매개변수 사이의 일대일 대응을 확립한다.
• 갈로아 봉우리가 자명하다(즉, 전체 자동형 군자이다)는 것은 상대 호몰로지 군이 비아벨이거나 주기가 비유리적으로 관련되어 있을 때에 해당하며, 이는 가소성의 부재를 나타낸다.
• 논문은 알고리즘적 불변량 $\mathcal{L}(\mathcal{F})$ 가 1차원임과 동시에 미분형식이 리우빌리안임이 동치임을 증명하여, 갈로아 이론적 적분 가능성 개념을 특정 유형의 초월 확장에서의 첫 번째 적분의 존재와 연결한다.