[論文レビュー] On the Grothendieck conjecture on p-curvatures for q-difference equations

Lucia Di Vizio, Charlotte Hardouin|arXiv (Cornell University)|May 8, 2012

Algebraic Geometry and Number Theory参考文献 24被引用数 6

ひとこと要約

本稿は、有理関数体上の q 差分方程式に対する Grothendieck の p-曲率予想の q-類似を確立し、K(x) 上の q 差分モジュールが全代数的解をもつことと、単位根におけるその還元が対応する残渣体上で全解集合をもつこととは同値であることを証明する。主たる貢献は、Q の有限生成拡大における q 差分モジュールに対して、曲率を用いたアーデリック的特徴付けを通じて一般ガロア群を定義することであり、Grothendieck-Katz 予想を q 差分設定に拡張する。

ABSTRACT

In the present paper, we give a q-analogue of the Grothendieck conjecture on p-curvatures for q-difference equations defined over the field of rational function K(x), where K is a finite extension of a field of rational functions k(q), with k perfect. Then we consider the generic (also called intrinsic) Galois group in the sense of N. Katz. The result in the first part of the paper lead to a description of the generic Galois group through the properties of the functional equations obtained specializing q on roots of unity. Although no general Galois correspondence holds in this setting, in the case of positive characteristic, where nonreduced groups appear, we can prove some devissage of the generic Galois group. In the last part of the paper, we give a complete answer to the analogue of Grothendieck conjecture on $p$-curvatures for q-difference equations defined over the field of rational function K(x), where K is any finitely generated extension of \mathbb Q and q eq 0,1: we prove that the generic Galois group of a q-difference module over K(x) always admits an adelic description in the spirit of the Grothendieck-Katz conjecture. To this purpose, if q is an algebraic number, we prove a generalization of the results by L. Di Vizio, 2002.

研究の動機と目的

• q 差分方程式の文脈において、Grothendieck-Katz の p-曲率予想を拡張すること。
• K(x) 上の q 差分モジュールの一般ガロア群をその曲率を用いて特徴付けること。
• Q の有限生成拡大上で定義された q 差分モジュールに対して、Grothendieck-Katz 予想の精神に則ったアーデリック的記述を一般ガロア群が持つことを証明すること。
• [DV02] の既存結果を、数体ではなく Q の有限生成拡大に一般化すること。
• C(x) 上の q 差分モジュールの自明性に関する基準を、非空な cofinite 集合における曲率の消滅に基づいて確立すること。

提案手法

• 著者らは、k が完全体で K が k(q) の有限次拡大であるとき、K(x) 上の q 差分モジュールを定義し、その正則性および冪零性の性質を研究する。
• q を単位根に特殊化し、k(ζℓ)(x) 上の対応する方程式を分析することで、一般状況と特殊化状況における解集合の関係を確立する。
• [Kat82] および [DV02] の意味における一般ガロア群の理論を用い、素イデアルを法とする還元における曲率の振る舞いとガロア群の構造との関係を明らかにする。
• v が集合 C の cofinite 部分集合を走るとき、φv を法とする還元を研究するため、σq-安定な代数 A ⊂ K(x) 及び関連する格子の構成を導入する。
• 一般ガロア群が、C の非空な cofinite 部分集合に属するすべての v に対して、φv を法とする v-曲率を含む最小の代数的部分群であることを証明する。
• ネーター性の議論と基底変換を用いて、K(x) 上の結果を C(x) に拡張し、C(x) 上のガロア群が K(x) 上の群の基底変換であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 K(x) 上の q 差分方程式が、すべての ℓ およびすべての原始 ℓ 乗単位根 ζℓ に対して、q = ζℓ における還元が k(ζℓ)(x) 上で全解集合をもつことと、K(x) 上で全代数的解をもつこととは同値であるか？
• RQ2 q 差分方程式の文脈において、微分方程式に対する Grothendieck-Katz 予想と同様に、一般ガロア群が曲率によって特徴付けられるか？
• RQ3 一般アルゴリズムが存在しない状況下でも、Q の有限生成拡大上の q 差分モジュールに対して、一般ガロア群のアーデリック的記述が可能か？
• RQ4 K(x) から C(x) への基底変換においてガロア群はどのように振る舞い、特殊化状況における曲率から回復可能か？
• RQ5 v-曲率 φv を法とするものが、q 差分モジュールの一般ガロア群を再構成する上で果たす役割は何か？

主な発見

• 本稿は、K(x) 上の q 差分方程式が、K(x) 上で全解をもつことと、ほとんどすべての ℓ およびすべての原始 ℓ 乗単位根 ζℓ に対して、q = ζℓ における還元が k(ζℓ)(x) 上で全解集合をもつこととは同値であることを証明する。
• K(x) 上の q 差分モジュールの一般ガロア群は、集合 C の非空な cofinite 部分集合に属するすべての v に対して、φv を法とする v-曲率を含む最小の代数的部分群である。
• C(x) 上の q 差分モジュールに対して、一般ガロア群は、K(x) 上の対応するモジュールの非空な cofinite 集合における曲率をすべて含む最小の代数的部分群である。
• C(x) 上の q 差分モジュールの自明性は、K(x) 上への基底変換における非空な cofinite 集合における曲率の消滅と同値である。
• K が十分に大きく、モジュールを定義できる限り、C(x) 上の一般ガロア群は K(x) 上の一般ガロア群の基底変換と同型である。
• 結果は [DV02] の数体上での結果を Q の有限生成拡大へ一般化し、曲率に基づく特徴付けを通じて Grothendieck-Katz 予想を q 差分設定に拡張する。