[論文レビュー] Contributions to the model theory of partial differential fields

Omar León Sánchez|arXiv (Cornell University)|Sep 24, 2013

Algebraic Geometry and Number Theory参考文献 49被引用数 4

ひとこと要約

本稿は、相対的延長とD代数多様体を導入することで、偏微分体のモデル理論を発展させ、一般化されたガロア理論を定式化し、$DCF_{0, ho+1}$ に対する幾何的公理系を $DCF_{0, ho}$ を用いて構築し、偏微分体に自己同型が存在する理論のモデル同伴の存在を証明する。主な結果として、特徴的集合を用いた $DCF_{0, ho+1}$ の一階幾何的公理化、および微分差分加群とジェット空間を用いた有限次元型に対するZilberの二分法の確立が挙げられる。

ABSTRACT

In this thesis three topics on the model theory of partial differential fields are considered: the generalized Galois theory for partial differential fields, geometric axioms for the theory of partial differentially closed fields, and the existence and properties of the model companion of the theory of partial differential fields with an automorphism. The approach taken here to these subjects is to relativize the algebro geometric notions of prolongation and D-variety to differential notions with respect to a fixed differential structure.

研究の動機と目的

• 相対的D構造を用いて、固定された基底体上の微分構造へと代数幾何的概念の延長とD代数多様体を相対化し、無限次元偏微分設定への一般化されたガロア理論を拡張する。
• 相対的延長と特徴的集合を用いて、$DCF_{0, ho}$ を用いた $DCF_{0, ho+1}$ の幾何的公理化を提供する。
• 偏微分体に自己同型が存在する理論のモデル同伴の存在とそのモデル理論的性質を確立する。
• 微分差分加群とジェット空間を用いて、最小の有限次元型に対するZilberの二分法を証明する。
• 相対的D群の鋭い点として、非最大微分型をもつ微分代数的群を特徴付ける。

提案手法

• 固定された基底体上での微分構造へと、延長とD代数多様体の代数幾何的概念を相対化する。
• 対象のD代数多様体とD群を定義し、対数的微分方程式およびそのガロア拡張を形式化する。
• 素微分イデアルの特徴的集合を用いて、$DCF_{0, ho+1}$ における一階論理に幾何的公理を再定式化する。
• canonical base と canonical base 性質を分析するため、微分差分加群とジェット空間を導入する。
• $U$-ランクに関する超限帰納法を用いて、所望の $U$-ランクを持つ加法群の定義可能部分群を構成する。
• $U$-ランクと $ riangle$-型の道具を活用し、モデル同伴理論における像の消去と超単純性を証明する。

実験結果

リサーチクエスチョン

• RQ1 Pillayの一般化された有限次元微分ガロア理論を、無限次元になり得る偏微分設定にどのように拡張できるか？
• RQ2 $DCF_{0, ho+1}$ の理論は、$DCF_{0, ho}$ のモデル理論的幾何を用いて幾何的に公理化可能か？
• RQ3 偏微分体に自己同型が存在する理論はモデル同伴を有するか。そのモデル理論的性質は何か？
• RQ4 微分代数的群が相対的D群の鋭い点としてどの程度実現可能か？
• RQ5 偏微分体に自己同型が存在する文脈において、有限次元型に対するZilberの二分法がどのような条件下で成立するか？

主な発見

• $DCF_{0, ho+1}$ は、$DCF_{0, ho}$ 上の相対的延長から導かれる素微分イデアルの特徴的集合を用いた一階幾何的公理化を有する。
• 偏微分体に自己同型が存在する理論のモデル同伴は存在し、それは超単純的で像の消去を満たす。
• 非最大微分型をもつ任意の微分代数的群は、相対的D群の鋭い点と定義的に同型である。
• $bU$ の普遍的体の一般型の $U$-ランクは $oxed{oxed{ ho}}$ である。
• 加法群の定義可能部分群の族 $(G_r)_{r o bN^m}$ は $oxed{oxed{ ho}}$ に共終な $U$-ランクを実現し、$r$ を変化させると $U(G_r) o ho$ となる。
• $DCF_{0, ho}A$ における最小の有限次元型に対してZilberの二分法が成立し、微分差分加群とジェット空間を用いた canonical base 性質によって確立される。