[論文レビュー] Existentially closed models of fields with a distinguished submodule

Christian d’Elbée, Itay Kaplan+1 more|arXiv (Cornell University)|Oct 5, 2021

Algebraic structures and combinatorial models被引用数 2

ひとこと要約

この論文は、固定された環上の区別された部分加群を備えた体の存在的閉モデルを、一階論理の公理化に失敗する場合（特に特徴0または無限部分環の場合）に、ロビンソン論理を用いて調査する。存在的閉モデルの圏がNSOP1であるがNTP2ではないことを示し、弱い独立性を用いてNSOP1を証明するとともに、強い独立性におけるn-結合性を示している。

ABSTRACT

This paper deals with the class of existentially closed models of fields with a distinguished submodule (over a fixed subring). In the positive characteristic case, this class is elementary and was investigated by the first-named author. Here we study this class in Robinson's logic, meaning the category of existentially closed models with embeddings following Haykazyan and Kirby, and prove that in this context this class is NSOP$_1$ and TP$_2$.

研究の動機と目的

• 固定された環上の区別された部分加群を備えた存在的閉体のモデル理論的性質を分析すること、特にクラスが一階公理化可能でない場合に焦点を当てる。
• 正の特徴でクラスが初等的であるという結果を、特徴0および無限部分環で一階論理が失敗する場合に拡張すること。
• 存在的閉モデルの圏がNSOP1であり、NTP2でないことを弱い独立性および強い独立性を用いて確立すること。
• 安定的および単純理論における既知の結果を一般化し、この設定における強い独立性のn-結合性を証明すること。
• ハイヤーマージャンの定理および独立性定理が、ロビンソン論理における存在的閉モデルの文脈で果たす役割を明確にすること。

提案手法

• 初等的埋め込みではなく、埋め込みを伴う圏として存在的閉モデルを扱うためにロビンソン論理を用いる。
• ハイカジアンとカービーの枠組みを応用し、存在的閉モデルの圏における弱い独立性および強い独立性を定義する。
• 標準的な文献とは異なる定義を修正してハイヤー結合性を定義し、強い独立性におけるn-結合性を証明する。
• すべての素数pにおけるACFpGモデルの超積を構成し、それが擬有限体上の部分加群を備えた存在的閉体のクラスに属することを示す。
• 存在的閉モデルの圏における3-結合性の議論を適応することで、この設定における独立性定理を証明する。
• 最大存在的型、結合埋め込み、および互いに素な結合基底といったモデル理論的道具を用いて、圏の構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 区別された部分加群が無限環上または特徴0にある場合、固定された環上の部分加群を備えた存在的閉体のクラスは、一階論理で公理化可能か？
• RQ2 このような理論の存在的閉モデルの圏はNSOP1か？ また、弱い独立性はキム独立性と一致するか？
• RQ3 この設定における強い独立性は、すべてのnに対してn-結合性を満たすか？
• RQ4 独立性定理は、存在的閉モデルの圏における3-結合性とどのように関係するか？
• RQ5 クラスが非初等的であるにもかかわらず、すべての素数pにおけるACFpGモデルの超積が、擬有限体上の存在的閉モデルのクラスに属することを示せるか？

主な発見

• 固定された環上の区別された部分加群を備えた存在的閉体のクラスは、一般には一階公理化可能ではなく、正の特徴で有限部分環がある場合に限る。
• すべての素数pにおけるACFpGモデルの超積は、擬有限体上の部分加群を備えた存在的閉体のモデルであるが、クラスは初等的ではない。
• 存在的閉モデルの圏はNSOP1である。これは弱い独立性および整合的で適切な独立性関係の存在によって示された。
• 理論はNTP2でない（したがって単純でもない）。これは第二種の木性質を構成することで示された。
• この設定における強い独立性は、修正されたハイヤー結合性の定義を用いて、すべてのnに対してn-結合性を満たす。
• この圏では独立性定理が成り立つ：3-結合性は強化された独立性定理を含み、逆に、与えられた公理のもとで、逆も成り立つ。