[论文解读] On the model theory of higher rank arithmetic groups

Nir Avni, Chen Meiri|arXiv (Cornell University)|Aug 4, 2020

Advanced Topology and Set Theory参考文献 27被引用 6

一句话总结

本论文证明了中心平凡的不可约高秩算术群——具体而言，非一致格或维度至少为9的统一正交型格——与整数环 ℤ 可相互解释。该结果意味着其一阶理论是不可判定的，所有有限生成子群均可定义，且该群在所有有限生成群中由单个一阶句子唯一刻画。

ABSTRACT

Let $Γ$ be a centerless irreducible higher rank arithmetic lattice in characteristic zero. We prove that if $Γ$ is either non-uniform or is uniform of orthogonal type and dimension at least 9, then $Γ$ is bi-interpretable with the ring $\mathbb{Z}$ of integers. It follows that the first order theory of $Γ$ is undecidable, that all finitely generated subgroups of $Γ$ are definable, and that $Γ$ is characterized by a single first order sentence among all finitely generated groups.

研究动机与目标

• 研究高秩算术群的模型论性质，特别是其与整数环 ℤ 的可解释性。
• 在刚性与同余子群性质已知的二分性类比下，建立一秩与高秩算术群模型论之间的鲜明对比。
• 确定在特定几何与算术条件下（如非一致性或高维正交型）高秩算术群是否与 ℤ 相互解释。
• 探讨相互解释对可判定性、子群可定义性以及此类群一阶刻画的影响。
• 将分析扩展至这些群的中心扩张，将相互解释与群中字宽性质联系起来。

提出的方法

• 在模型论中使用相互解释，以关联算术群与整数环 ℤ 的一阶结构。
• 借鉴 Sela 与 Kharlampovich–Myasnikov 关于双曲群的结果，对比一秩与高秩群之间的模型论行为。
• 应用群论技术，如线性群在 S-整数环上的高斯消元法与换位子演算，以构造可定义集。
• 利用同余子群与幂零子群的统一可定义性，通过群作用与换位子恒等式实现。
• 通过初等矩阵与共轭作用，在 S-整数环 A 与 PSL_n(A) 之间构造解释。
• 证明解释的复合是平凡的，从而通过虚 sorts 之间的可定义同构建立相互解释。

实验结果

研究问题

• RQ1 在何种条件下，高秩算术群与整数环 ℤ 相互解释？
• RQ2 与 ℤ 的相互解释如何影响此类群一阶理论的可判定性？
• RQ3 高秩算术群的哪些子群在一阶群语言中可定义？
• RQ4 能否由单个一阶句子在所有有限生成群中唯一刻画一个高秩算术群？
• RQ5 在中心扩张中，字宽在保持与 ℤ 相互解释中起什么作用？

主要发现

• 中心平凡的不可约高秩算术格，若为非一致格或维度至少为9的统一正交型，则与整数环 ℤ 相互解释。
• 此类群的一阶理论是不可判定的，因为其可解释整数环，而整数环的理论已知为不可判定。
• 这些群的所有有限生成子群均可定义，这是哥德尔关于 ℤ 中递归可枚举集可定义性的结果的推论。
• 群 Γ 在所有有限生成群中由单个一阶句子唯一刻画，因此是准有限公理化的。
• 对于 Γ 的中心扩张 Δ（其中心为大小 d 的有限群），Δ 与 ℤ 相互解释当且仅当在 Γ 中字 x^d[y,z] 具有有限宽度。
• 通过利用群论构造实现同余子群与幂零子群的统一可定义性，建立了 S-整数环 A 与 PSL_n(A) 之间的相互解释。