[论文解读] 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

研究动机与目标

• 研究强极小伪有限结构中定义集的结构。
• 证明任一定义集的非标准有限基数均为该结构基数的整系数多项式。
• 证明此类结构为单模，因而也是局部单模。
• 为这些结构中定义的图推导正则性引理。
• 探讨更广泛的模型论后果，包括有限 U-秩伪有限理论中的 1-基性。

提出的方法

• 使用非标准分析，将结构的基数视为非标准有限数 q。
• 应用强极小理论中定义集为有限或余有限的事实，并将其推广至伪有限结构。
• 利用莫利秩和多项式首项系数定义一种类似测度的不变量，与 MS-可测性建立联系。
• 通过反证法证明单模性：假设类型实现的重数 k ≠ ℓ，导出多项式恒等式中次数不匹配的矛盾。
• 使用投影论证和多项式次数界，证明 k = ℓ，从而确认单模性。
• 通过证明边集在内部子集中几乎为全集，并使用多项式误差项，将正则性引理应用于定义图。

实验结果

研究问题

• RQ1 在强极小伪有限结构中，定义集的基数能否表示为结构基数的整系数多项式？
• RQ2 每个强极小伪有限结构是否都是单模的？这是否意味着局部单模性？
• RQ3 此类结构中定义图的正则性引理在多大程度上成立？其误差界是什么？
• RQ4 在有限 U-秩伪有限理论中，单模性的模型论意义是什么？
• RQ5 本文的计数结果能否推广至伪有限 ℵ₁-范畴理论，或由多个强极小集坐标化的理论？

主要发现

• 在饱和的强极小伪有限结构 D 中，若 |D| = q，则任一定义集 X 满足 |X| = P_X(q)，其中 P_X 为具有正首项系数的整系数多项式。
• X 的莫利秩等于多项式 P_X 的次数。
• 对任意公式 φ(x̄,ȳ)，存在有限多个多项式 P₁,…,Pₖ 及公式 ψ₁(ȳ),…,ψₖ(ȳ)，使得 ψᵢ 划分 ȳ-空间，且 |φ(x̄,b)| = Pᵢ(q) 当且仅当 D ⊨ ψᵢ(b)。
• 结构 D 是单模的，通过类型实现重数的反证法证明。
• 单模性蕴含局部单模性，即对任意元组 b, c，有 dim(b,c) = dim(b) + dim(c) + dim(acl(b) ∩ acl(c))。
• 任何有限 U-秩伪有限理论均为 1-基的，且在该理论中定义的任何群均为阿贝尔群的有限扩张。