[論文レビュー] Imaginaries and invariant types in existentially closed valued differential fields

Silvain Rideau-Kikuchi|arXiv (Cornell University)|Aug 31, 2015

Advanced Topology and Set Theory参考文献 27被引用数 15

ひとこと要約

この論文は、存在的に閉じた値付き微分体（VDFEC）が幾何的言語において像を消去し、不変拡張性を持つことを確立し、その値群上でのメタ安定性を示している。VDFECにおける定義可能型の稠密性を証明することで、代数的に閉じた値付き微分体における定義可能集合と型のモデル理論的解析を通じて、これらの結果を導出しており、ACVF や DCF0 からの技法を一般化している。

ABSTRACT

We answer two open questions about the model theory of valued differential fields introduced by Scanlon. We show that they eliminate imaginaries in the geometric language introduced by Haskell, Hrushovski and Macpherson and that they have the invariant extension property. These two result follow from an abstract criterion for the density of definable types in enrichments of algebraically closed valued fields. Finally, we show that this theory is metastable.

研究の動機と目的

• 存在的に閉じた値付き微分体（VDFEC）のモデル理論における3つの未解決問題を解消すること。
• VDFEC が幾何的言語において像を消去することを確立し、ACVF や DCF0 からの結果を拡張すること。
• VDFEC が不変拡張性を持つことを証明すること。これは安定的およびメタ安定的理論における重要な特徴である。
• VDFEC がその値群上でのメタ安定性を示すこと。これにより、非安定的状況におけるメタ安定性の研究の自然な候補として位置づけられる。
• C-最小性と ACVF における定義可能型の技法を、微分的設定に一般化すること。

提案手法

• VDFEC における定義可能型の稠密性を証明する：任意の A-定義可能集合 X に対して、acl(A) 上で定義された型を X 内に見つける。
• 微分写像 ∂ω による型のプッシュフォワードを用いて、問題を ACVF における ∆-型の分析に還元する。
• ACVF の C-最小性を用いて、VDFEC における定義可能集合を球の有限ファイブレーションによって近似し、セル分解を可能にする。
• VDFEC における量化子除去を活用して、型の解析を Ldiv-型の ∂ω(x) = (∂n(x))n<ω に還元する。
• 安定的埋め込み理論と値群／体の相互作用を用いて、定義可能性と像の制御を行う。
• 導来 sorted を含む幾何的言語を用いて、Haskell, Hrushovski, Macpherson の枠組みに従い、像の消去を達成する。

実験結果

リサーチクエスチョン

• RQ1 VDFEC は、DCF0 や ACVF との類似性に照らし、幾何的言語において像を消去するのか、という疑問。
• RQ2 VDFEC は不変拡張性を満たすのか。これは、代数的に閉じた集合上の型が、自己同型に不変なグローバル拡張を持つことを保証する。
• RQ3 VDFEC は、ACVF のメタ安定性枠組みを拡張して、その値群上でのメタ安定性を示すのか。
• RQ4 VDFEC における定義可能型の稠密性は確立できるのか。これにより、像の消去と不変拡張性の導出が可能になる。
• RQ5 ACVF における C-最小的技法は、微分を伴う VDFEC にどの程度一般化可能か。

主な発見

• VDFEC は幾何的言語において像を消去する。これは、任意の定義可能商が定義可能関数によって表現可能であることを意味する。
• VDFEC は不変拡張性を持つ。任意の代数的に閉じた集合上の型は、自己同型に不変なグローバル拡張をもつ。
• VDFEC はその値群上でのメタ安定性を示す。これは、ACVF のメタ安定性の枠組みを微分的設定に拡張したものである。
• VDFEC における定義可能型の稠密性が確立された。任意の A-定義可能集合は、acl(A) 上で定義された型を含む。
• 結果は、ACVF の任意の C-最小的拡張へ一般化可能であり、ACVFA のような解析的構造への拡張の可能性を示唆している。
• 微分写像 ∂ω は型のプッシュフォワードを誘導し、L∂,div-型の解析を Ldiv-型に還元する。Ldiv-型は C-最小的解析に適している。