[論文レビュー] Some model theory and topological dynamics of p-adic algebraic groups

Davide Penazzi, Anand Pillay+1 more|arXiv (Cornell University)|Apr 25, 2017

Advanced Topology and Set Theory参考文献 15被引用数 3

ひとこと要約

この論文は、モデル理論と位相的力学の視点から、p進代数的群、特にSL(2,ℚₚ)の研究を開始する。p進体上での型空間への作用を分析し、その主な貢献はSL(2,ℚₚ)のエリス群がプロファinite整数環ℤ̂に同型であることを証明することである。これは、G = G⁰⁰ = G⁰⁰⁰であるにもかかわらず無限大のエリス群を有する反例を提供し、ニューエルスキの予想に反する。

ABSTRACT

We initiate the study of p-adic algebraic groups G from the stability-theoretic and definable topological-dynamical points of view, that is, we consider invariants of the action of G on its space of types over Q_p in the language of fields. We consider the additive and multiplicative groups of Q_p and Z_p, the group of upper triangular invertible 2 imes 2 matrices, SL(2,Z_p), and, our main focus, SL(2,Q_p). In all cases we identify f-generic types (when they exist), minimal subflows, and idempotents. Among the main results is that the ``Ellis group" of SL(2,Q_p)$ is the profinite completion of Z, yielding a counterexample to Newelski's conjecture with new features: G = G^{00} = G^{000} but the Ellis group is infinite. A final section deals with the action of SL(2,Q_p) on the type-space of the projective line over Q_p.

研究の動機と目的

• 実の代数的群からp進代数的群へ、位相的力学および安定的理論的手法を拡張すること。
• p進体上でのSL(2,ℚₚ)および関連群の定義可能位相的力学を分析すること。
• p進群の型空間力学におけるf-generic型、最小部分フロー、およびイデムポテン型を同定すること。
• SL(2,ℚₚ)のエリス群とその定義可能コンパクト化との関係を調査すること。
• SL(2,ℚₚ)がℚₚ上での射影直線ℙ¹(ℚₚ)の型空間上に作用する様子を研究し、最小性および近接性を確立すること。

提案手法

• B(ℚₚ) ⋅ SL(2,ℤₚ)という形のIwasawa分解を用い、Bはボレル部分群、SL(2,ℤₚ)は最大コンパクト部分群である。
• モデル理論的道具を用いて、ℚₚ上での加法群および乗法群の型空間におけるf-generic型と最小部分フローを分類する。
• SL(2,ℚₚ)の普遍的最小定義可能フローを、B(ℚₚ)とSL(2,ℤₚ)の最小部分フローの積の閉包として構成する。
• 型空間S_G(ℚₚ)上の標準的半群構造*を用いて力学を分析し、エリス群を計算する。
• 非代数的型とその軌道を研究することで、SL(2,ℚₚ)が射影直線ℙ¹(ℚₚ)に作用する様子を分析する。
• 価値論的技法（例：v(a) < ℤ, v(ab² + bc) < ℤ）を用いて、群作用下での型の振る舞いを特定する。

実験結果

リサーチクエスチョン

• RQ1 p進代数的群、例えばSL(2,ℚₚ)の型空間力学におけるf-generic型および最小部分フローは何か？
• RQ2 SL(2,ℚₚ)のエリス群はその定義可能ボールコンパクト化とどのように関係するか？また、これはニューエルスキの予想に反するか？
• RQ3 ℙ¹(ℚₚ)上での非代数的型の空間は、SL(2,ℚₚ)-フローとして最小かつ近接的か？
• RQ4 SL(2,ℚₚ)の普遍的最小定義可能フローは、B(ℚₚ)とSL(2,ℤₚ)の最小部分フローの積の閉包として記述可能か？
• RQ5 SL(2,ℚₚ)がℙ¹(ℚₚ)の非代数的型に作用する際、その作用は強く近接的か？

主な発見

• SL(2,ℚₚ)の普遍的最小定義可能フローは、SL(2,ℤₚ)の最小部分フローとB(ℚₚ)の最小部分フローの積の閉包である。
• SL(2,ℚₚ)のエリス群はプロファinite整数環ℤ̂に同型であり、無限大の群である。
• G = G⁰⁰ = G⁰⁰⁰であるにもかかわらずエリス群が無限大であるため、ニューエルスキの予想に対する新たな反例を提供する。
• ℙ¹(ℚₚ)上での非代数的型の空間は、SL(2,ℚₚ)-フローとして最小かつ近接的である。
• ℙ¹(ℚₚ)への作用の唯一の最小部分フローは、特定の型の軌道の閉包であり、ℙ¹(ℚₚ)の任意の点の無限小近傍にあるすべての非代数的型を含む。
• SL(2,ℚₚ)がℙ¹(ℚₚ)の非代数的型に作用する際、その作用は最小かつ近接的であり、これは普遍的最小近接的定義可能フローである可能性を示唆する。