[論文レビュー] Galois theory of q-difference equations

Marius van der Put, Marc Reversat|ArXiv.org|Jul 5, 2005

Polynomial and algebraic computation被引用数 12

ひとこと要約

本稿は、0におけるメロモルフィック関数の芽の体上での線形q差分方程式に対して、ガロア理論的枠組みを構築し、q差分モジュールと複素Tate曲線 $E_q = \mathbb{C}^*/q^\mathbb{Z}$ 上のベクトル bundle 間の函手的対応を確立する。主な貢献は、普遍差分環および形式的差分ガロア群の構成であり、これは純粋モジュールのガロア群を明示的に記述し、不規則モジュールのストークス行列をモジュライ空間を通じて特定する。

ABSTRACT

Choose $q\in {\mathbb C}$ with 0

研究の動機と目的

• 0におけるメロモルフィック関数の芽の体 $K$ 上の線形q差分方程式に対して、体系的なガロア理論的枠組みを構築すること。
• 体 $K$ 上のq差分モジュールと複素Tate曲線 $E_q = \mathbb{C}^*/q^\mathbb{Z}$ 上のベクトル束との間の函手的対応を確立すること。
• 純粋な差分モジュールのガロア群を明示的に記述する普遍差分環および形式的差分ガロア群を導入すること。
• 非純粋モジュールのガロア群の一部を、モジュライ空間を用いてストークス行列として解釈すること。
• 正の特異的特徴を有する場合を含め、AtiyahによるTate曲線上の分解不能ベクトル束の分類をq差分ガロア理論を用いて回復・拡張すること。

提案手法

• 本稿は、Tate曲線 $E_q = \mathbb{C}^*/q^\mathbb{Z}$ を、体 $K$ 上のモジュールから $E_q$ 上のベクトル束へ写像する函手 $v(M)$ を通じて、q差分モジュールの幾何的実現空間として用いる。
• 符号 $e(cz^\lambda)$ および $\ell_k$ を用いた $\widehat{K}$ 上の普遍ピカード・ベシオ環 $Univ$ を構成し、$\phi$ 演算子の作用を記述する関係式を含める。
• $\phi$ の $Univ$ 上での作用は、$\phi(z^\lambda) = q^\lambda z^\lambda$、$\phi(e(cz^\lambda)) = c z^\lambda e(cz^\lambda)$、および $\phi(\ell_k)$ の再帰的公式により定義される。
• 正則特異モジュールの場合、普遍ガロア群 $\mathbb{G}_{rs}$ は $\mathbb{Z}_p \times \mathrm{Hom}(\mathbb{C}^*/q^\mathbb{Z}, \mathbb{C}^*)$ に同型であり、後者因子は代数的トーラスの射影極限として解釈される。
• 不規則モジュールの場合、$1 \to \mathrm{Hom}(\mathbb{Q}, \mathbb{C}^*) \to \mathbb{G}_{univ} \to \mathbb{G}_{rs} \to 1$ の完全系列が、モジュライ空間を通じてストークス現象を捉える。
• 本稿は、$v(M)$ 上に接続 $\nabla_M$ を構成し、$M$ が正則特異の場合、その接続は正則特異的であり、モノドロミーが普遍ガロア群と同型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 0における関数の芽の体 $K$ 上のq差分モジュールは、Tate曲線 $E_q$ 上のベクトル束を用いてどのように幾何的に分類可能か？
• RQ2 $\widehat{K}$ 上のq差分方程式に対する普遍差分環および形式的差分ガロア群の構造は何か？
• RQ3 不規則q差分モジュールのストークス行列は、ガロア群およびモジュライ空間にどのように符号化されているか？
• RQ4 AtiyahによるTate曲線上の分解不能ベクトル束の分類は、q差分ガロア理論を用いて回復可能であり、さらに拡張可能か？
• RQ5 差分モジュールのモジュライ空間は、非純粋モジュールのガロア群の計算にどのような役割を果たすか？

主な発見

• 函手 $v(M)$ は、$K$ 上の各q差分モジュール $M$ に対して、Tate曲線 $E_q$ 上のベクトル束を割り当てる。これは、整数の勾配を持つ場合の先行結果を一般化する。
• 普遍ピカード・ベシオ環 $Univ$ は、$\widehat{K}^+[φ\ell_k, e(cz^\lambda)]$ として構成され、明示的な $\phi$-作用を備え、ガロア群の完全な代数的モデルを提供する。
• 正則特異モジュールの場合、ガロア群 $\mathbb{G}_{rs}$ は $\mathbb{Z}_p \times \mathrm{Hom}(\mathbb{C}^*/q^\mathbb{Z}, \mathbb{C}^*)$ に同型であり、後者因子は代数的トーラスの射影極限として解釈される。
• 普遍ガロア群 $\mathbb{G}_{univ}$ は完全系列 $1 \to \mathrm{Hom}(\mathbb{Q}, \mathbb{C}^*) \to \mathbb{G}_{univ} \to \mathbb{G}_{rs} \to 1$ に含まれており、$\mathrm{Hom}(\mathbb{Q}, \mathbb{C}^*)$ は不規則モジュールのストークスデータを符号化する。
• $v(M)$ 上の接続 $\nabla_M$ は、2つの位相的生成元の作用と同型なモノドロミーを持つ。これは古典的結果を回復する。
• 理論により、Atiyahによる $E_q$ 上の分解不能ベクトル束の分類が系として得られ、$j$-不変量が $\mathbb{F}_p$ 上代数的でない場合にも拡張される。