[論文レビュー] 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.

研究の動機と目的

• 高ランク算術的群のモデル理論的性質、特に整数環 ℤ との解釈可能性についての調査。
• ランク1と高ランク算術的群のモデル理論の間の明確な対比を確立し、剛性および合同部分群性質における既知の二分法に類似した関係を提示すること。
• 非一様性や高次元直交型といった特定の幾何的・算術的条件下で、高ランク算術的群が ℤ と双解釈可能かどうかを特定すること。
• 双解釈可能性が、決定不能性、部分群の定義可能性、およびこのような群の第一階的特徴付けに与える影響を検討すること。
• これらの群の中心拡大への分析を拡張し、双解釈可能性が群における語幅にどのように関連するかを明らかにすること。

提案手法

• モデル理論における双解釈可能性を用いて、算術的群と整数環 ℤ の一階構造を関連付ける。
• セラおよびハルラムパチ＝マイアスニコフの双曲的群に関する結果を活用し、ランク1群と高ランク群の間でのモデル理論的挙動の対比を図る。
• S整数環上の線型群におけるガウスの消去法や交換子計算を用いた群論的技法を適用し、定義可能な集合を構成する。
• 合同部分群と単型部分群の均一な定義可能性を、群作用と交換子恒等式を用いて活用する。
• 基本行列と共役作用を用いて、S整数環 A と PSL_n(A) 間の解釈を構成する。
• 解釈の合成が自明であることを証明し、虚数的種別間の定義可能な同型を介して双解釈可能性を確立する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で高ランク算術的群が整数環 ℤ と双解釈可能となるか？
• RQ2 ℤ との双解釈可能性が、そのような群の一階理論の決定不能性にどのように影響するか？
• RQ3 高ランク算術的群のどの部分群が群の第一階言語で定義可能か？
• RQ4 高ランク算術的群が、すべての有限生成群の中で唯一の第一階文によって特徴付けられるか？
• RQ5 中心拡大における語幅が、ℤ との双解釈可能性の維持に果たす役割は何か？

主な発見

• 非一様または次元が9以上で一様な直交型の中心を持たない不可約高ランク算術的格子は、整数環 ℤ と双解釈可能である。
• このような群の一階理論は決定不能である。これは、整数環 ℤ を解釈するためであり、ℤ の理論が既に決定不能であることが知られているからである。
• これらの群のすべての有限生成部分群は定義可能である。これは、ℤ における再帰的可算集合の定義可能性に関するゲーデルの結果の帰結である。
• 群 Γ は、すべての有限生成群の中で唯一の第一階文によって特徴付けられるため、準有限公理化可能である。
• Γ の有限群による中心拡大 Δ について、Δ が ℤ と双解釈可能であることと、Γ において語 x^d[y,z] が有限幅を持つことは同値である。
• S整数環 A と PSL_n(A) 間の双解釈可能性は、合同部分群と単型部分群の群論的構成による均一な定義可能性を通じて確立されている。