[論文レビュー] Parameterized generic Galois groups for q-difference equations, followed by the appendix "The Galois D-groupoid of a q-difference system" by Anne Granier

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

Nonlinear Waves and Solitons参考文献 10被引用数 8

ひとこと要約

本稿では、q-差分方程式に対するパラメータ付き一般ガロア群を、K(x) 上の微分群として、集合 𝒞 内の場における曲率を法として特徴づけるものとして導入する。線形の場合にこの群がマングラージェ＝グランジェのD群概体と一致することを証明し、コルキンの微分ガロア理論とマングラージェの非線形系に対するD群概体枠組みを統合する。

ABSTRACT

We introduce the parameterized generic Galois group of a q-difference module, that is a differential group in the sense of Kolchin. It is associated to the smallest differential tannakian category generated by the q-difference module, equipped with the forgetful functor. Our previous results on the Grothendieck conjecture for q-difference equations lead to an adelic description of the parameterized generic Galois group, in the spirit of the Grothendieck-Katz's conjecture on p-curvatures. Using this description, we show that the Malgrange-Granier D-groupoid of a nonlinear q-difference system coincides, in the linear case, with the parameterized generic Galois group introduced here. The paper is followed by an appendix by A. Granier, that provides a quick introduction to the D-groupoid of a non-linear q-difference equation.

研究の動機と目的

• K(x) 上のq-差分モジュールに対するパラメータ付き一般ガロア群を定義し、より大きな微分閉包上で定義された以前の群に置き換える。
• グロタンディーク＝カッツのp-曲率予想にインspiredされた、集合 𝒞 内の場を法とする曲率を用いた算術的特徴づけを通じて、このガロア群を特徴づける。
• コルキンの線形微分群の理論とマングラージェの非線形q-差分系に対するD群概体の間の橋渡しを確立する。
• 非線形q-差分系のマングラージェ＝グランジェD群概体が線形の場合にパラメータ付き一般ガロア群に還元されることを示す。
• 特に、本稿の群とハードウイン＝シンガーのパラメータ付きガロア群との関係を明確にする。

提案手法

• ほとんどすべての v ∈ 𝒞 に対して、φ_v を法とする v-曲率を含む、GL(M) の微分部分群の中で最小のものを、パラメータ付き一般ガロア群として定義する。
• DVH11a で得られた曲率のアーデール的記述を用い、局所的還元を通じてガロア群を算術的に特徴づける。
• 特にマングラージェのD群概体構成を応用し、非線形q-差分系に微分群概体の理論を適用する。
• 基礎となる多様体のジャンプ空間における微分イデアルの層を通じて、q-差分系のガロアD群概体を構成する。
• 線形化された対称性に対応する、転置を保存する解を特定するため、𝒢al(A(x)) ∩ 𝒯rv という交差D群概体を定義する。
• 転置に近接するD群概体の解を、GL_ν(ℂ{{x−x₀}}) の部分群と同一視し、局所的解析的データとグローバルなガロア構造を結びつける。

実験結果

リサーチクエスチョン

• RQ1 パラメータ付きガロア群を、微分閉包ではなく、K(x) よりも小さい体上で定義することは可能か？
• RQ2 集合 𝒞 内の場を法とする曲率を用いた、パラメータ付き一般ガロア群の算術的特徴づけは何か？
• RQ3 非線形q-差分系に対するマングラージェ＝グランジェD群概体は、線形の場合にパラメータ付き一般ガロア群と一致するか？
• RQ4 ガロアD群概体の解がジャンプ空間における転置を保存する局所的微分同相写像とどのように関係するか？
• RQ5 D群概体枠組みは、コルキンの微分ガロア理論とマングラージェの非線形系へのアプローチを統一できるか？

主な発見

• パラメータ付き一般ガロア群はK(x) 上に定義されており、ハードウイン＝シンガーのパラメータ付きガロア群よりも小さい、より算術的な代替案を提供する。
• この群は、ほとんどすべての v ∈ 𝒞 に対して、φ_v を法とする v-曲率を含むGL(M) の微分部分群の中で最小のものとして特徴づけられる。
• 非線形q-差分系のマングラージェ＝グランジェD群概体は、線形の場合にパラメータ付き一般ガロア群と一致する。
• 転置を保存するガロアD群概体の解は、(x,X) ↦ (x, β(x)X) の形の線形変換からなる部分群を形成し、GL_ν(ℂ{{x−x₀}}) の部分群として対応する。
• 定数係数の線形q-差分系では、転置を固定するD群概体の解は、GL_ν(ℂ) の代数的部分群をなしており、[Sau04] で得られた古典的q-ガロア群と一致する。
• 本構成により、コルキンの微分ガロア理論とマングラージェのD群概体枠組みとの自然な関係が確立され、B. マングラージェが提起した問いに答えを提示する。