[論文レビュー] 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)|Feb 25, 2010

Algebraic Geometry and Number Theory参考文献 36被引用数 5

ひとこと要約

本稿は、曲率不変量を用いてq差分方程式の内在的ガロア理論を構築し、解の代数的性質を特徴付ける。曲率が単位行列に特異化する条件が、有理関数解が存在するための必要十分条件であることが示され、算術的・幾何的視点が統合され、ザリスキ閉包と体拡大を介して、パrametrized内在的ガロア群とガロアD群概体が結びつけられる。

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差分系の文脈において、パrametrized内在的ガロア群と非線形ガロアD群概体フレームワークを統合すること。
• ザリスキ閉包と体拡大を介して、古典的ピカード・ヴェシオティ群と現代的D群概体構成を結ぶ橋渡しをすること。
• ガロアD群概体とパrametrized内在的ガロア群の解集合が一致することを証明し、q差分設定におけるマルグランジュの予想を裏付けること。

提案手法

• q差分系の力学的対称性としての内在的ガロア群を定義し、反復行列積 $ A(q^{n-1}x) \cdots A(x) $ から得られる曲率列を用いる。
• 曲率定理（定理6.14）を用いて有理関数解を特徴付ける：系が $ \mathbb{Q}(q,x) $ に解をもつのは、ほとんどすべての $ n $ に対して、原始n乗単位根 $ \zeta_n $ における曲率が単位行列に特異化するときである。
• 微分代数的群としてのパrametrized内在的ガロア群を、$ \mathbb{C}(x) $ 上の微分および差分代数を用いて定義する。
• 解析的・代数的コンパクト層を介してガロアD群概体と内在的ガロア群を関連付け、D群概体の解集合がパrametrized内在的ガロア群の解集合と一致することを示す。
• 定理7.13を適用して、局所解が良好に振る舞わない場合でも、D群概体とガロア群の解集合が代数的に同値であることを保証する。
• コンパクト層理論とセールのGAGA原理を用いて、解析的構造を代数的構造に持ち上げ、D群概体が代数的微分方程式によって定義されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 q差分系 $ Y(qx) = A(x)Y(x) $ が $ A(x) \in \mathrm{GL}_\nu(\mathbb{Q}(q,x)) $ を満たすとき、$ \mathbb{Q}(q,x) $ に完全な有理関数解の集合が存在するための条件は何か？
• RQ2 体拡大に依存せず、曲率不変量を用いてq差分系のガロア群をどのように内在的に特徴付けることができるか？
• RQ3 q差分方程式の文脈において、ガロアD群概体とパrametrized内在的ガロア群の正確な関係は何か？
• RQ4 ザリスキ閉包と体拡大を用いて、古典的ピカード・ヴェシオティ群をガロアD群概体から回復できるか？
• RQ5 系のダイナミクスが、その解空間の代数的構造をどの程度決定づけるか？

主な発見

• q差分系 $ Y(qx) = A(x)Y(x) $ が $ A(x) \in \mathrm{GL}_\nu(\mathbb{Q}(q,x)) $ を満たすとき、$ \mathbb{Q}(q,x) $ に完全な解の集合が存在するのは、曲率行列 $ A(q^{n-1}x) \cdots A(x) $ がほとんどすべての $ n \in \mathbb{N} $ に対して、原始n乗単位根 $ q = \zeta_n $ において単位行列に特異化するときである。
• 体 $ \mathbb{C}(x) $ 上のq差分加群のパrametrized内在的ガロア群は、その曲率によって特徴付けられ、その解集合はガロアD群概体 $ \mathcal{G}al(A(x)) $ の解集合と一致する。
• ガロアD群概体 $ \mathcal{G}al(A(x)) $ は代数的であり、その解集合はパrametrized内在的ガロア群の定義方程式の局所解の芽の集合に正確に一致する。
• 曲率が定数であるとき、内在的ガロア群は $ \mathbb{C} $ 上に定義され、定数係数系の場合はピカード・ヴェシオティ群と一致する。
• ガロアD群概体のザリスキ閉包によりパrametrized内在的ガロア群が回復され、さらなる体拡大により古典的ピカード・ヴェシオティ群が回復される。
• この構成により、カサレとローケの予想、すなわちマルグランジュ群概体のファイバー上での作用が線形q差分設定における古典的ガロア群を回復する、という予想が裏付けられる。