[論文レビュー] Strongly minimal pseudofinite structures

Anand Pillay|arXiv (Cornell University)|Nov 18, 2014

Advanced Topology and Set Theory参考文献 9被引用数 3

ひとこと要約

この論文は、飽和した擬有限な強最小構造において、任意の定義可能集合の非標準的有限基数が、構造の基数における整数係数多項式であることを確立する。このような構造がユニモジュラーであり、したがって局所的にモジュラーであることを証明し、定義可能なグラフの正則性補題を導出するが、局所的モジュラリティのおかげで例は著しく制限される。

ABSTRACT

We observe that the nonstandard finite cardinality of a definable set in a strongly minimal pseudofinite structure D is a polynomial over the integers in the nonstandard finite cardinality of D. We conclude that D is unimodular, hence also locally modular. We also deduce a regularity lemma for graphs definable in strongly minimal pseudofinite structures. The paper is elementary, and the only surprising thing about it is that the results were not explicitly noted before. In the new version we add a comment on relations to work of Macpherson and Steinhorn, as well as on the limited nature of the examples

研究の動機と目的

• 強最小的擬有限構造における定義可能集合の構造を調査すること。
• 任意の定義可能集合の非標準的有限基数が、構造の基数における整数係数多項式であることを示すこと。
• このような構造がユニモジュラーであることを証明し、したがって局所的にモジュラーであることを示すこと。
• これらの構造における定義可能なグラフの正則性補題を導出すること。
• 1-基本性を含む、擬有限理論の有限U-ランクにおけるより広範なモデル理論的意義を探索すること。

提案手法

• 非標準解析を用いて、構造の基数を非標準的有限数 q として扱う。
• 強最小的理論において、定義可能集合は有限または余有限であるという事実を、擬有限構造へと拡張する。
• モリー・ランクと多項式の先頭係数を用いて測度に類似した不変量を定義し、MS-可測性と関連付ける。
• 背理法によりユニモジュラリティを証明する：タイプの実現の重複度について k ≠ ℓ だと仮定し、多項式恒等式における次数の不一致を導出する。
• 射影的議論と多項式次数の上限を用いて、k = ℓ を示し、ユニモジュラリティを確認する。
• 多項式誤差項を用いて、内部部分集合における辺集合がほとんど全域であることを示すことで、定義可能なグラフに正則性補題を適用する。

実験結果

リサーチクエスチョン

• RQ1 強最小的擬有限構造における定義可能集合の基数は、構造の基数 q の整数係数多項式として表現可能か？
• RQ2 任意の強最小的擬有限構造はユニモジュラーであり、これは局所的モジュラリティを意味するか？
• RQ3 このような構造における定義可能なグラフの正則性補題はどの程度成り立ち、その誤差項は何か？
• RQ4 有限U-ランクの擬有限理論におけるユニモジュラリティのモデル理論的意義は何か？
• RQ5 本論文の数え上げ結果は、擬有限な ℵ₁-カテゴリー理論、あるいは複数の強最小的集合によって座標化される理論へ一般化可能か？

主な発見

• 飽和した強最小的擬有限構造 D において |D| = q とする。任意の定義可能集合 X に対して、|X| = P_X(q) が成り立ち、P_X は整数係数で正の先頭係数を持つ多項式である。
• X のモリー・ランクは多項式 P_X の次数に等しい。
• 任意の式 φ(x̄,ȳ) に対して、有限個の多項式 P₁,…,Pₖ と式 ψ₁(ȳ),…,ψₖ(ȳ) が存在し、ψᵢ が ȳ-空間を分割し、D ⊨ ψᵢ(b) であることと |φ(x̄,b)| = Pᵢ(q) が同値である。
• 構造 D は、タイプの実現の重複度に関する背理法によりユニモジュラーであることが示された。
• ユニモジュラリティは局所的モジュラリティを意味し、任意のタプル b, c に対して dim(b,c) = dim(b) + dim(c) + dim(acl(b) ∩ acl(c)) が成り立つ。
• 任意の擬有限理論の有限U-ランクは1-基本的であり、その理論に定義可能な群はアーベル部分群を有限指数で含む。