[论文解读] On NIP and invariant measures

Ehud Hrushovski, Anand Pillay|ArXiv.org|Oct 11, 2007

Advanced Topology and Set Theory参考文献 13被引用 14

一句话总结

本文建立了NIP理论、分叉独立性与不变测度之间的基础性联系，证明在NIP背景下，Lascar强类型与紧致强类型一致，非分叉扩张在bdd(A)上是Borel可定义的，且全局不变Keisler测度在fsg群中唯一确定。该工作解决了o-极小结构中可定义紧致交换群的紧致支配猜想。

ABSTRACT

We study forking, Lascar strong types, Keisler measures and definable groups, under an assumption of $NIP$ (not the independence property), continuing aspects of math.LO/0607442. Among key results are: (i) if $p = tp(b/A)$ does not fork over $A$ then the Lascar strong type of $b$ over $A$ coincides with the compact strong type of $b$ over $A$ and any global nonforking extension of $p$ is Borel definable over $bdd(A)$ (ii) analogous statements for Keisler measures and definable groups, including the fact that $G^{000} = G^{00}$ for $G$ definably amenable, (iii) definitions, characterizations and properties of "generically stable" types and groups (iv) uniqueness of translation invariant Keisler measures on groups with finitely satisfiable generics (vi) A proof of the compact domination conjecture for definably compact commutative groups in $o$-minimal expansions of real closed fields.

研究动机与目标

• 在缺乏完全稳定性但避免独立性性质的NIP理论中，恢复类似稳定理论的行为，特别是关于分叉与类型扩张的行为。
• 厘清NIP背景下Lascar强类型、紧致强类型与全局非分叉扩张的Borel可定义性之间的关系。
• 将关于可定义可均性与一般类型的结果推广至具有有限满足性一般类型的可定义群（fsg），并通过Keisler测度统一这些结果。
• 证明o-极小扩张实闭域中可定义紧致交换群的紧致支配猜想。
• 引入并刻画NIP背景下的“一般稳定类型”与“一般稳定群”，推广早期工作中关于稳定支配类型与群的结果。

提出的方法

• 在NIP理论中使用分叉独立性，通过bdd(A)上自同构的不变性以及Borel可定义性来刻画非分叉扩张。
• 应用Vapnik-Chervonenkis（VC）定理，证明在bdd(A)上不变Keisler测度的Borel可定义性，将测度论与模型论稳定性联系起来。
• 通过引理4.6将不变Keisler测度约化为bdd(A)-不变类型空间上的Borel测度，通过引理4.8约化为不变类型的频率平均，从而实现测度论分析。
• 将有限等价关系定理与独立性定理适配至NIP背景，利用不变性与可定义性恢复类似平稳性的行为。
• 在o-极小结构中使用维数理论与代数独立性，证明可定义集合的非平凡性，并建立可定义Skolem函数的存在性。
• 通过分析商群G/G⁰⁰及饱和扩张中可定义强o-极小子集的结构，证明紧致支配性。

实验结果

研究问题

• RQ1 在NIP理论中，何时一个类型p = tp(b/A)在A上的全局非分叉扩张与它的Lascar强类型及紧致强类型一致？
• RQ2 在何种条件下，一个在A上全局的Keisler测度是不变的且在bdd(A)上Borel可定义的？这与可定义群的可定义可均性有何关联？
• RQ3 在NIP背景下，什么特征刻画了“一般稳定类型”与“一般稳定群”？它们如何推广稳定与稳定支配类型及群？
• RQ4 是否存在唯一的不变Keisler测度在具有有限满足性一般类型的可定义群（fsg）上？这与哈尔测度或稳定群类型有何关系？
• RQ5 在o-极小扩张实闭域中，可定义紧致交换群的紧致支配猜想是否成立？能否通过模型论工具证明？

主要发现

• 在NIP理论中，若类型p = tp(b/A)不叉过A，则其在A上的Lascar强类型与紧致强类型一致，且其任意全局非分叉扩张在bdd(A)上是Borel可定义的。
• 对于Keisler测度，若一个全局测度不叉过A，则其在bdd(A)上是Borel可定义的，该结果依赖于Vapnik-Chervonenkis定理。
• 可定义群G的可定义可均性等价于存在一个分叉意义下的一般类型，推广了文献[13]中的结果。
• 对于fsg群，存在唯一的平移不变Keisler测度，该结果同时推广了紧致群中哈尔测度的唯一性与稳定群中全局不变类型的唯一性。
• 在o-极小扩张实闭域中，可定义紧致交换群的紧致支配猜想成立，其证明基于对商群G/G⁰⁰及可定义o-极小集合的结构分析。
• NIP理论中的一般稳定类型由其非分叉扩张同时具有可定义性与有限满足性所刻画，推广了稳定类型与稳定支配类型。