[論文レビュー] A Chevalley theorem for difference equations

Michael Wibmer|arXiv (Cornell University)|Oct 25, 2010

Advanced Differential Equations and Dynamical Systems参考文献 18被引用数 6

ひとこと要約

本稿は、有限σ生成なσ環の包含関係に対して、Chevalleyの定理の差分代数的類似を確立する。具体的には、任意の整数 $ l \geq 1 $ と非ゼロ元 $ r \in R $ が存在し、$ R $ の $ \sigma^d $-素イデアルで特定の $ r $ の反復の積を避けるものについて、$ S $ の $ \sigma^{ld} $-素イデアルに引き上げられることを示す。主な革新点は、自己準同型 $ \sigma $ の高次のべきに移行することで、通常の $ \sigma $-設定では失敗するが、構成的引き上げ性を可能にしたことにある。この結果は、Picard-Vessiot理論や制約付き拡張への応用を持つ。

ABSTRACT

By a theorem of Chevalley the image of a morphism of varieties is a constructible set. The algebraic version of this fact is usually stated as a result on "extension of specializations" or "lifting of prime ideals". We present a difference analog of this theorem. The approach is based on the philosophy that occasionally one needs to pass to higher powers of $σ$, where $σ$ is the endomorphism defining the difference structure. In other words, we consider difference pseudo fields (which are finite direct products of fields) rather than difference fields. We also prove a result on compatibility of pseudo fields and present some applications of the main theorem, e.g. constrained extension and uniqueness of differential Picard-Vessiot rings with a difference parameter.

研究の動機と目的

• 差分方程式の設定に、Chevalleyの古典的定理（像が構成的である）を拡張すること。
• 通常の差分版素イデアル引き上げ性が失敗する理由を解明し、自己準同型 $\sigma$ の高次のべきを導入することでこれを解決すること。
• $\sigma$-擬体上の $\sigma^d$-素イデアルに対して一様な引き上げ結果を確立し、代数的Chevalley定理を差分環へ一般化すること。
• 主定理を用いて、$\sigma$-パラメータをもつ差分Picard-Vessiot環の存在および一意性に関する結果を証明すること。
• $\sigma$-擬体およびその整合性が差分代数幾何学において果たす役割を明確にすること。

提案手法

• $\sigma^d$-素イデアルおよび $\sigma$-擬素イデアルを導入し、差分環における素イデアルの一般化とする。
• $\sigma$-擬体を $\sigma$-擬素イデアルの全商環として定義し、差分体の一般化とする。
• 主定理の証明：$ R \subset S $ で $ S $ が $ R $ 上有限σ生成かつ $ S $ 上で $ \sigma $-単射であるとき、$ l \geq 1 $、$ r \in R \setminus \{0\} $ が存在し、$ R $ の $ \sigma^d $-素イデアルで $ r\sigma(r)\cdots\sigma^{d-1}(r) $ を避けるものについて、$ S $ の $ \sigma^{ld} $-素イデアルに引き上げられることを示す。
• コア拡張の理論および差分体拡張の整合性を用いて、引き上げ性の性質を分析する。
• 引き上げ結果を $\delta\sigma$-代数およびPicard-Vessiot環に適用し、特に $\delta(Y) = AY$ で $\sigma$-パラメータをもつ場合に応用する。
• $\sigma^l$ によるねじれを用いて、Picard-Vessiot環における非一意性を解消し、$\sigma^l$ を通じて同型が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 通常の引き上げが失敗する状況において、Chevalley定理の差分版を確立できるか？
• RQ2 なぜ差分代数において標準的な素イデアル引き上げ性が失敗するのか。また、$\sigma$ の高次のべきがこの問題をどのように解決できるか？
• RQ3 $\sigma$-擬体および $\sigma$-擬素イデアルは、構成的引き上げ理論を構築する上で果たす役割は何か？
• RQ4 差分Picard-Vessiot環の一意性の失敗は、$\sigma$ の選択にどの程度依存しており、$\sigma^l$-ねじれによって解消可能か？
• RQ5 定数体 $ k^\delta $ にどのような条件を課すと、$\sigma$-パラメータをもつPicard-Vessiot環が $\delta\sigma$-同型を除いて一意的となるか？

主な発見

• 主定理により、任意の $\sigma$-環 $ R \subset S $ で $ S $ が整域かつ $ S $ 上で $ \sigma $-単射であるとき、$ l \geq 1 $ および $ r \in R \setminus \{0\} $ が存在し、$ R $ の $ \sigma^d $-素イデアルで $ r\sigma(r)\cdots\sigma^{d-1}(r) $ を避けるものについて、$ S $ の $ \sigma^{ld} $-素イデアルに引き上げられることを示した。
• この結果により、$ r \notin q $ を満たす $ R $ の任意の $ \sigma $-素イデアルは、$ S $ の $ \sigma^l $-素イデアルに引き上げられ、通常の $ \sigma $-引き上げの失敗が解消されることを示した。
• 本稿では、$ k^\delta $ がACFAのモデルであるとき、$ k^\delta $ の制約付き $ \sigma $-擬体拡張が自明であることを証明した。これは一意性に関する結果の鍵となる。
• パラメータに $ \sigma $-パラメータをもつPicard-Vessiot環について、任意の2つの環は、ある $ l \geq 1 $ をとると $ \sigma^l $ を通じて同型であることを示した。
• $ k^\delta $ がACFAのモデルであり、$ k $ が $ \sigma $-体として普遍的に整合可能であるとき、$ \sigma $-パラメータをもつPicard-Vessiot環は $ \delta\sigma $-同型を除いて一意的となる。
• 方程式のガロア群は、$ \sigma^l $-ねじれを除いて一意に定義可能であり、2つのこのような環のテンソル積の $ \sigma^\bullet $-スpectrum が保存されることを示した。