[論文レビュー] Galois theories for $q$-difference equations: comparison theorems

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

Polynomial and algebraic computation参考文献 28被引用数 8

ひとこと要約

本稿は、$q$-差分方程式の複数のガロア理論的枠組みの間の同型を確立し、抽象的なパラメータ付きガロア群とメロモーフィック解から導かれる群を統一する。微分的タンナキアン圏とファイバー関手を活用することで、抽象的解を用いて構成された内在的ガロア群が、メロモーフィック解の基底から生じる群と一致することを証明し、$q$-差分ガロア理論における根本的問題を解決する。

ABSTRACT

We establish some comparison results among the different parameterized Galois theories for $q$-difference equations, completing the work by CHatzidakis, Hardouin and Singer, that addresses the problem in the case without parameters. Our main result is the link between the abstract parameterized Galois theories, that give information on the differential properties of abstract solutions of $q$-difference equations, and the properties of meromorphic solutions of such equations. Notice that a linear $q$-difference equation with meromorphic coefficients always admits a basis of meromorphic solutions, as proven by Praagman.

研究の動機と目的

• 異なるガロア理論的アプローチを比較するという、$q$-差分方程式における基礎的問題を解決すること。
• 抽象的解を用いて定義されたパラメータ付きガロア群と、メロモーフィック解から導かれる群との間の同型を確立すること。
• 微分的タンナキアン枠組みを、$q$-差分方程式の文脈における古典的およびパラメータ付きガロア理論と統合すること。
• 微分的ガロア群とメロモーフィック解構造の関係を明確にし、理論間の応用を可能にすること。

提案手法

• メロモーフィック解から弱パラメータ付きピカード・ヴェシオティ環を構成し、解に基づくガロア群を定義する。
• 微分的タンナキアン形式主義を$q$-差分モジュールに適用し、ファイバー関手を用いて解系に線形微分代数的群を関連付ける。
• 微分的タンナキアン設定における非中立的ファイバー関手からの忘れ去られた関手と内在的ガロア群を用いて、ガロア群の構成を一般化する。
• ファイバー関手の比較を通じて、抽象的解（微分的タンナキアン圏を介して）から生じるガロア群と、メロモーフィック解から生じるガロア群との間の同型を確立する。
• ヨネダの補題と$ atural$-ホップ代数構造を用いて、微分代数的設定における$ atural$-群スキームとガロア群を関連付ける。
• コルキンの不可約性定理と微分次元理論を適用し、異なる解の構成法間での一貫性を保証する。

実験結果

リサーチクエスチョン

• RQ1 パラメータ付きガロア理論における抽象的解から導かれるガロア群は、$q$-差分方程式のメロモーフィック解から構成された群とどのように関係するか？
• RQ2 微分的タンナキアン枠組みにおける非中立的ファイバー関手から定義された内在的ガロア群は、標準的なパラメータ付きガロア群と同型か？
• RQ3 $q$-差分モジュールの微分的タンナキアン圏構造を用いて、異なるガロア理論的構成を統一できるか？
• RQ4 解空間の微分次元と関連するガロア群の構造との正確な関係は何か？
• RQ5 メロモーフィック解から得られるガロア群は、ファイバー関手を用いたタンナキアン再構成から得られる群と一致するか？

主な発見

• メロモーフィック解の基底から構成されたガロア群は、微分的タンナキアン枠組みにおける抽象的解を用いて定義されたパラメータ付きガロア群と同型である。
• 弱パラメータ付きピカード・ヴェシオティ拡大に関連するすべてのファイバー関手は、同型なガロア群を生成し、解に基づく構成法間の一貫性を保証する。
• 非中立的ファイバー関手に関連する内在的ガロア群は、標準的なパラメータ付きガロア群と同型であり、古典的な同型結果を非中立的設定へと拡張する。
• 解空間の微分次元は、関連するガロア群の次元と一致し、タンナキアン再構成の幾何的整合性を確認する。
• ガロア群の$ atural$-ホップ代数の構成は微分構造と整合的であり、群が線形微分代数的群であることを保証する。
• $ atural$-閉体上では、解に基づくガロア群と抽象的ガロア群との同型が成り立つため、メロモーフィック解を研究するための抽象的手法の有効性が裏付けられる。