[論文レビュー] Dp-finite fields I: infinitesimals and positive characteristic

Will Johnson|arXiv (Cornell University)|Mar 27, 2019

Advanced Topology and Set Theory参考文献 17被引用数 6

ひとこと要約

本稿では、正の特性におけるdp-有限体が、有限モーリー次元であるか、非自明なヘンゼル付値を持つことを示し、ヘンゼル性予想とシェラの予想の重要なケースを証明した。タイプ定義可能な無限小群を構成し、dpランクによる定義可能な大きさを用いることで、dp-極小体の結果をより高いランクへ一般化し、正の特性における純粋なdp-有限体の分類を、dp-有限な$p$-可除値群を用いた有限体上のハーン級数として得た。

ABSTRACT

We prove that NIP valued fields of positive characteristic are henselian. Furthermore, we partially generalize the known results on dp-minimal fields to dp-finite fields. We prove a dichotomy: if K is a sufficiently saturated dp-finite expansion of a field, then either K has finite Morley rank or K has a non-trivial Aut(K/A)-invariant valuation ring for a small set A. In the positive characteristic case, we can even demand that the valuation ring is henselian. Using this, we classify the positive characteristic dp-finite pure fields.

研究の動機と目的

• dp-極小体の結果を、より高いdpランクにおけるdp-有限体へ拡張すること。
• 正の特性におけるNIP付値体に対するヘンゼル性予想を証明すること。
• dp-有限体は、有限モーリー次元であるか、Aut-不変な非自明な付値を持つという二分岐を確立すること。
• 正の特性における純粋なdp-有限体を、同値関係に関して分類すること。
• dp-有限体におけるシェラの予想を正の特性へ一般化すること。

提案手法

• 構造における全dpランクを持つ集合を「大きい」と定義し、定義可能性および一貫性条件を満たすために、dp-極小の「無限」の概念を置き換える。
• 小さな平行移動に関して閉じた集合の共通部分を用いて、タイプ定義可能な無限小群を構成する。
• 無限小群が良いベゾウドメインを生成することを証明し、それは有限個の付値環の共通部分であることを示す。
• 無限小に関連する付値環が、小さなパラメータ集合を固定する自己同型に関して不変であることを示す。
• 中国剰余定理と自己同型不変性を用いて、非自明なヘンゼル付値環を一つに特定する。
• 積における準最小集合および定義可能なランクに関する結果を活用し、シモンの定理をより高いdpランクの設定へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 dp-極小体で用いられる無限小構成は、より高いランクのdp-有限体へ一般化可能か？
• RQ2 すべての正の特性におけるNIP付値体はヘンゼル的か？
• RQ3 十分に飽和した正の特性におけるdp-有限体は、有限モーリー次元であるか、非自明なAut(K/A)-不変付値環をもつか？
• RQ4 正の特性における純粋なdp-有限体は、同値関係に関して分類可能か？
• RQ5 シェラの予想は、正の特性におけるdp-有限体に対して成り立つか？

主な発見

• 十分に飽和した正の特性におけるdp-有限体は、有限モーリー次元であるか、ある小さな集合Aに対してAut(K/A)-不変な非自明な付値環をもつ。
• この付値環のヘンゼル性は正の特性で確立され、その設定におけるNIP付値体に対するヘンゼル性予想が証明された。
• 正の特性における無限大のdp-有限体において、すべてのK-定義可能な付値環の共通部分は、代数的閉体を残渣体とするヘンゼル付値環をなす。
• 正の特性におけるdp-有限体において、すべての定義可能な付値が自明であれば、その体は代数的閉体である。
• 同値関係に関して、正の特性における純粋なdp-有限体は、ちょうどdp-有限な$p$-可除群$Γ$を用いたハーン級数体$ℝ_p((\Gamma))$に一致する。
• この分類により、正の特性におけるdp-有限体に対するシェラの予想が確認された。