[论文解读] On Definable f -Generic Groups over p-Adic Numbers

Anand Pillay, Ningyuan Yao|arXiv (Cornell University)|Jan 1, 2019

Advanced Topology and Set Theory参考文献 17被引用 4

一句话总结

本文利用拓扑动力学理论，研究了p进域中可定义的f-通用群，证明了每个ℚ上的f-通用群最终同构于ℚ上某个三角可化代数群的有限指数子群。此外，本文还确立了开f-通用子群具有有限指数，且f-通用类型是几乎周期的，从而在p进设置下解决了[P-Y]提出的问题。

ABSTRACT

The aim of this paper is to develop the theory for \emph{definable $f$-generic} groups in the $p$-adic field within the framework of topological dynamics, here the definable means a group admits a global f-generic type which is over a small submodel. This definable is a dual concept to finitely satisfiable generic, and a useful tool to describe the analogue of torsion free o-minimal groups in the $p$-adic context. In this paper we will show that every $f$-generic group in $\Q$ is eventually isomorphic to a finite index subgroup of a trigonalizable algebraic group over $\Q$. This is analogous to the $o$-minimal context, where every connected torsion free group in $\R$ is isomorphic to a trigonalizable algebraic group (Lemma 3.4, \cite{COS}). We will also show that every open $f$-generic subgroup of a $f$-generic group has finite index, and every $f$-generic type of a $f$-generic group is almost periodic, which gives a positive answer on the problem raised in \cite{P-Y} of whether $f$-generic types coincide with almost periodic types in the $p$-adic case.

研究动机与目标

• 利用拓扑动力学发展p进域中可定义f-通用群的理论。
• 在p进背景下建立o-极小结果的类比，即无挠连通群同构于三角可化代数群。
• 证明每个f-通用群的开f-通用子群具有有限指数。
• 证明每个f-通用群中f-通用类型是几乎周期的，从而解决[P-Y]提出的问题。

提出的方法

• 利用拓扑动力学框架分析p进域中可定义的f-通用群。
• 应用模型论概念，如在小子模型上的全局f-通用类型，以定义所研究的群。
• 通过可定义f-通用类型与有限满足的通用类型之间的对偶性，刻画群的结构。
• 分析f-通用类型的动力学性质，特别是其几乎周期性。
• 将p进设置与实闭域中的o-极小情形进行比较，以揭示结构上的类比。
• 利用代数几何将f-通用群与ℚ上的三角可化代数群联系起来。

实验结果

研究问题

• RQ1 p进域中的可定义f-通用群如何与代数群相关？
• RQ2 在p进设置下，f-通用类型在多大程度上与几乎周期类型重合？
• RQ3 f-通用群的子群结构是怎样的，特别是关于开子群的结构？
• RQ4 o-极小理论中关于无挠连通群的分类是否可推广至p进背景？
• RQ5 可定义f-通用类型在刻画p进域中群的性质方面起什么作用？

主要发现

• 每个ℚ上的f-通用群最终同构于ℚ上某个三角可化代数群的有限指数子群。
• 每个f-通用群的开f-通用子群具有有限指数，表明其具有强结构控制。
• 每个f-通用群的f-通用类型是几乎周期的，证实了[P-Y]中的一个猜想。
• 可定义f-通用群的理论为无挠o-极小群提供了一个p进类比。
• 这些结果在模型论动力系统中建立了p进与o-极小背景之间的结构平行性。
• 该框架成功地将o-极小性中的关键概念转移到p进设置中，并产生了强有力的代数后果。