[論文レビュー] Existence of $\partial$-parameterized Picard-Vessiot extensions over fields with algebraically closed constants

Michael Wibmer|arXiv (Cornell University)|Apr 18, 2011

Advanced Differential Equations and Dynamical Systems参考文献 10被引用数 13

ひとこと要約

本稿は、定数が代数的に閉じた ∂-差分-微分体上の線形差分-微分方程式系に対して、∂-パrameterized Picard-Vessiot (PPV) 環の存在を確立する。従来のパrameterized Galois理論で制限的とされた仮定である、基本体の定数が ∂-代数的に閉じている必要がないように、このような PPV 拡張を構成することで、微分および差分代数幾何における応用範囲を広げた。

ABSTRACT

The purpose of this short note is to establish the existence of $\partial$-parameterized Picard-Vessiot extensions of systems of linear difference-differential equations over difference-differential fields with algebraically closed constants.

研究の動機と目的

• パrameterized Picard-Vessiot理論において、基本体の ΣΔ-定数が ∂-代数的に閉じている必要があるという仮定を排除すること。
• 任意の特徴がゼロの ΣΔ∂-体上における線形 ΣΔ-系に対して、∂-PPV 環の存在を確立すること。
• ΣΔ-定数の有限代数拡張をもたらす、∂-PPV 拡張を構成するための構成的手段を提供すること。
• 定数が ∂-代数的に閉じていない状況でも、パrameterized Galois理論を適用可能にするために、降下に適した構成を導入すること。
• 古典的 PPV 理論をパrameterized 案に一般化するにあたり、定数の閉包条件を緩和し、実用的応用と整合させる。

提案手法

• 基本体 K 上の有限生成 ∂-代数のフィルター付き直接極限の商として ∂-PPV 環 R を構成する。
• 適切な ∂-代数 S における最大の ∂-イデアル m を用い、R = S/m を形成することで、R が ΣΔ-単純であり、∂-PPV 環の公理を満たすことを保証する。
• Chevalley 型定理および ΣΔ-単純代数に関する結果を用いて、R の ΣΔ-定数が K のそれらの代数的拡張であることを示す。
• 補題 7 を用いて、R の ΣΔ-定数が K^ΣΔ の有限拡張をなすことを証明する。
• テンソル積による基本体拡張を扱えるように、Σ-擬Δ∂-体への ∂-PPV 拡張の定義を一般化する。
• R の全商環を用いて、K^ΣΔ の有限拡張上での ∂-PPV 拡張を構成し、基礎体への降下を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ΣΔ-定数が ∂-代数的に閉じていない基本体上でも、∂-パrameterized Picard-Vessiot 拡張を構成できるか？
• RQ2 ∂-PPV 環の ΣΔ-定数が基本体の ΣΔ-定数の有限代数拡張をなすための条件は何か？
• RQ3 定数が ∂-代数的に閉じていない場合、古典的の一意性およびガロア対応の定理はどのように修正できるか？
• RQ4 定数の代数的閉包を仮定せずに、∂-PPV 拡張を構成するための構成的手段は存在するか？
• RQ5 降下の議論を可能にするために、体でない対象（例：Σ-擬Δ∂-体）に対しても理論を拡張できるか？

主な発見

• 特徴がゼロの ΣΔ∂-体 K 上の任意の ΣΔ-線形系に対して、R^ΣΔ が K^ΣΔ の有限代数拡張である ∂-PPV 環 R が存在する。
• R の構成は、フィルター付き ∂-代数における最大の ∂-イデアルに依存しており、R が ΣΔ-単純かつ ∂-PPV 環の定義的性質を満たすことを保証する。
• Chevalley の定理の一般化および単純代数に関する結果を用いて、R の ΣΔ-定数が K^ΣΔ の代数的拡張であることが示された。
• 補題 7 を用いて、有限に ∂-生成された代数における定数の成長を制御することで、R^ΣΔ が K^ΣΔ の有限次元拡張であることが確立された。
• 系として、任意の ΣΔ∂-体 K に対して、K^ΣΔ の有限 ∂-体拡張 k̃ が存在し、K ⊗_k k̃ 上に ∂-PPV 拡張が存在することが示された。
• K^ΣΔ が既に ∂-代数的に閉じている場合、∂-PPV 拡張の存在は直接的に従い、古典的ケースが回復される。