[论文解读] Definably amenable NIP groups

Artem Chernikov, Pierre Simon|arXiv (Cornell University)|Feb 15, 2015

Advanced Topology and Set Theory参考文献 16被引用 11

一句话总结

本文通过统一各种广义类型与不变测度的概念，建立了可定义殆换NIP群的完整理论，证明了遍历测度与广义类型一一对应，验证了Petrykowski关于有界轨道的猜想，并通过将模型论的连通子群与NIP群中Ellis半群的理想子群联系起来，证实了Ellis群猜想。

ABSTRACT

We study definably amenable NIP groups. We develop a theory of generics, showing that various definitions considered previously coincide, and study invariant measures. Applications include: characterization of regular ergodic measures, a proof of the conjecture of Petrykowski connecting existence of bounded orbits with definable amenability in the NIP case, and the Ellis group conjecture of Newelski and Pillay connecting the model-theoretic connected component of an NIP group with the ideal subgroup of its Ellis enveloping semigroup.

研究动机与目标

• 统一并澄清可定义殆换NIP群中各种广义类型的定义。
• 在NIP群中发展可定义集上不变测度的连贯理论。
• 证明Petrykowski的猜想：在NIP设定下，有界轨道蕴含可定义殆换性。
• 验证Ellis群猜想，将NIP群的模型论连通子群与其实现包半群的理想子群联系起来。
• 通过群上的全局测度，将不变测度理论扩展至齐次可定义$ G $-空间。

提出的方法

• 使用饱和模型$ \mathcal{U} $来处理NIP结构中的可定义集与类型。
• 通过理想应用测度延拓技术：将布尔代数$ B_0 $上的测度$ \nu_0 $延拓为$ \operatorname{Def}(\mathcal{U}) $上的全局测度$ \nu $，且在指定理想$ I $上为零。
• 通过在紧商群$ G/G^{00} $上积分，定义$ G $上的$ G $-不变测度$ \tilde{\mu} $，利用从$ G/G^{00} $测度导出的$ h_0 $-可测函数。
• 通过在基点$ x_0 $上的作用，建立齐性空间$ X $上$ G $-不变测度与$ G $上$ G $-不变测度之间的对应关系。
• 利用$ G/G^{00} $为紧致，且$ G^{00} $-不变类型与商群上测度相对应的事实。
• 应用模型论工具，如$ f $-广义类型、$ G^{00} $-不变性，以及NIP结构中VC维的有限性，以确保测度的延拓与不变性。

实验结果

研究问题

• RQ1 在可定义殆换NIP群中，各种广义类型的定义是否一致？
• RQ2 在NIP群中，有界轨道与可定义殆换性之间的精确关系为何？
• RQ3 在NIP群中，可定义集上的不变测度与Ellis实现包半群之间有何关系？
• RQ4 齐性$ G $-空间上的每个$ G $-不变测度是否都能从群上的$ G $-不变测度通过基点作用提升得到？
• RQ5 商群$ G/G^{00} $在实现可定义集上不变测度的过程中起什么作用？

主要发现

• 此前考虑的所有可定义殆换NIP群中广义类型的定义均被证明是等价的。
• Petrykowski的猜想得到证实：一个可定义殆换NIP群具有有界轨道当且仅当它是可定义殆换的。
• Ellis群猜想被证明：模型论的连通子群$ G^{00} $对应于Ellis实现包半群的理想子群。
• 齐性$ G $-空间上的每个$ G $-不变测度均可通过在基点$ x_0 $上的作用，从群上的$ G $-不变测度导出。
• 可通过在$ G/G^{00} $上积分，从齐性空间上的$ G $-不变测度构造出$ G $上的全局$ G $-不变测度，且该测度支持在$ f $-广义类型上。