[논문 리뷰] Intrinsic approach to Galois theory of q-difference equations, with the preface to Part 4 "The Galois D-groupoid of a q-difference system'' by Anne Granier

Lucia Di Vizio, Charlotte Hardouin|arXiv (Cornell University)|2010. 02. 25.

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

한 줄 요약

이 논문은 곡률 불변량을 사용하여 q-차수 방정식에 대한 내재적 갈루아 이론을 개발하며, 해의 대수적 성격을 특징짓는다. 해가 유리함수로 표현될 수 있을 때만 곡률이 원분단위근에서 항등원으로 특수화됨을 증명함으로써, q-차수 갈루아 이론에서 산술적 및 기하적 관점을 통합하고, 파arameter화된 내재적 갈루아 군을 아핀 폐쇄와 체 확장에 의해 갈루아 D-군oids와 연결한다.

ABSTRACT

We give a complete answer to the analogue of Grothendieck conjecture on p-curvatures for q-difference equations defined over K(x), where K is any finitely generated extension of Q and q\in K can be either a transcendental or an algebraic number. This generalizes the results in [DV02], proved under the assumption that K is a number field and q an algebraic number. The results also hold for a field K which is a finite extension of a purely transcendental extension k(q) of a perfect field k. In Part 3, we consider two Galois groups attached to a q-difference module M over K(x): (1) the intrinsic Galois group Gal(M), in the sense of [Kat82]; (2) if char K=0, the intrinsic differential Galois group Gal^D(M), which is a Kolchin differential algebraic group. We deduce an arithmetic description of Gal(M) (resp. Gal^D(M)). In Part 4, we show that the Galois D-groupoid [Gra09] of a nonlinear q-difference system generalizes Gal^D(M).

연구 동기 및 목표

• q-차수 시스템의 해의 대수적 성격을 체 확장이나 미분 구조에 의존하지 않고 기술하는 내재적 갈루아 이론을 개발하는 것.
• 이전의 대수적 q에서 초월적 q로의 결과를 확장하여, 곡률 불변량을 통해 q-차수 시스템의 갈루아 군을 특징짓는 것.
• 특히 선형 q-차수 시스템의 맥락에서, 파arameter화된 내재적 갈루아 군과 비선형 갈루아 D-군oids 프레임워크를 통합하는 것.
• 아핀 폐쇄와 체 확장을 통해 고전적 피카르-베시오티 군과 현대적 D-군oids 구성 간의 다리를 놓는 것.
• 갈루아 D-군oids의 해 집합과 파arameter화된 내재적 갈루아 군의 해 집합이 일치함을 증명하여, q-차수 설정에서 말그랑주의 추측을 검증하는 것.

제안 방법

• 반복 행렬 곱 $ A(q^{n-1}x) \cdots A(x) $ 로부터 유도된 곡률 수열을 사용하여, q-차수 시스템의 동역학의 대칭군으로서 내재적 갈루아 군을 정의한다.
• 곡률 정리(정리 6.14)를 사용하여 유리해를 특징짓는다: 시스템이 $ \mathbb{Q}(q,x) $ 에 해를 가진다는 것은 거의 모든 $ n $ 에 대해 원분단위근에서 곡률이 항등원으로 특수화됨과 동치이다.
• 미분 대수와 $ \mathbb{C}(x) $ 위의 차수 대수를 사용하여, 곡률에 의해 정의되는 미분대수적 군으로서 파arameter화된 내재적 갈루아 군을 도입한다.
• 해석적 및 대수적 코herent sheaf를 사용하여 갈루아 D-군oids와 내재적 갈루아 군을 연결하고, D-군oids의 해 집합이 파arameter화된 내재적 갈루아 군의 해 집합과 일치함을 보인다.
• 정리 7.13을 적용하여, 국소 해가 잘 정의되지 않더라도 D-군oids와 갈루아 군의 해 집합이 대수적으로 동치임을 보장한다.
• 코herent sheaf 이론과 세르의 GAGA 원리를 사용하여 해석적 구조를 대수적 구조로 옮기고, D-군oids가 대수적 미분방정식에 의해 정의됨을 증명한다.

실험 결과

연구 질문

• RQ1 행렬 $ A(x) \in \mathrm{GL}_\nu(\mathbb{Q}(q,x)) $ 를 가진 q-차수 시스템 $ Y(qx) = A(x)Y(x) $ 가 $ \mathbb{Q}(q,x) $ 에서 전체적인 유리해를 가지는 조건은 무엇인가?
• RQ2 체 확장 없이 곡률 불변량을 사용하여 q-차수 시스템의 갈루아 군을 어떻게 내재적으로 특징지을 수 있는가?
• RQ3 q-차수 방정식의 맥락에서 갈루아 D-군oids와 파arameter화된 내재적 갈루아 군 간의 정확한 관계는 무엇인가?
• RQ4 아핀 폐쇄와 체 확장을 통해 고전적 피카르-베시오티 군을 갈루아 D-군oids로부터 복원할 수 있는가?
• RQ5 시스템의 동역학이 그 해 공간의 대수적 구조를 어느 정도 결정하는가?

주요 결과

• 행렬 $ A(x) \in \mathrm{GL}_\nu(\mathbb{Q}(q,x)) $ 를 가진 q-차수 시스템 $ Y(qx) = A(x)Y(x) $ 는 거의 모든 $ n \in \mathbb{N} $ 에 대해 $ q = \zeta_n $ (원분단위근) 에서 곡률 행렬 $ A(q^{n-1}x) \cdots A(x) $ 가 항등원으로 특수화될 때에만 $ \mathbb{Q}(q,x) $ 에서 전체적인 해를 가진다.
• 체 $ \mathbb{C}(x) $ 위의 q-차수 모듈러스에 대한 파arameter화된 내재적 갈루아 군은 곡률에 의해 특징지어지며, 그 해 집합은 갈루아 D-군oids $ \mathcal{G}al(A(x)) $ 의 해 집합과 일치한다.
• 갈루아 D-군oids $ \mathcal{G}al(A(x)) $ 는 대수적이며, 그 해 집합은 파arameter화된 내재적 갈루아 군의 정의 방정식의 전개 해의 집합과 정확히 일치한다.
• 곡률이 일정할 경우 내재적 갈루아 군은 $ \mathbb{C} $ 위에 정의되며, 일정 계수 시스템의 경우 피카르-베시오티 군과 일치한다.
• 갈루아 D-군oids의 아핀 폐쇄는 파arameter화된 내재적 갈루아 군을 복원하며, 추가적인 체 확장을 통해 고전적 피카르-베시오티 군을 복원할 수 있다.
• 이 구성은 카살레와 루크스의 추측을 검증한다. 즉, 말그랑주의 군oids 작용이 선형 q-차수 설정에서 고전적 갈루아 군을 복원한다.