[论文解读] 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,ℚₚ)，分析其在 ℚₚ 上類型空間上的作用。其主要貢獻在於證明 SL(2,ℚₚ) 的 Ellis 群為概有限整數 ℤ̂，從而提供了一個反例，推翻了 Newelski 的猜想，即使 G = G⁰⁰ = G⁰⁰⁰，其 Ellis 群仍為無限群。

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 進代數群。
• 分析 ℚₚ 上 SL(2,ℚₚ) 及相關群的可定義拓撲動力學。
• 識別 p 進群類型空間動力學中的 f-一般類型、最小子流與幂等元。
• 研究 SL(2,ℚₚ) 的 Ellis 群及其與可定義緊化之間的關係。
• 研究 SL(2,ℚₚ) 在 ℚₚ 上射影直線的類型空間上的作用，並建立其最小性與近似性。

提出的方法

• 利用 SL(2,ℚₚ) 的 Iwasawa 分解 B(ℚₚ) ⋅ SL(2,ℤₚ)，其中 B 為 Borel 子群，SL(2,ℤₚ) 為最大緊致子群。
• 應用模型論工具，對 ℚₚ 上加法群與乘法群的類型空間中的 f-一般類型與最小子流進行分類。
• 將 SL(2,ℚₚ) 的通用最小可定義流構造為 B(ℚₚ) 與 SL(2,ℤₚ) 的最小子流之乘積的閉包。
• 利用類型空間 S_G(ℚₚ) 上的自然半群結構 * 來分析動力學並計算 Ellis 群。
• 透過研究非代數類型及其軌道，分析 SL(2,ℚₚ) 在射影直線 ℙ¹(ℚₚ) 上的作用。
• 使用賦值理論技術（例如 v(a) < ℤ, v(ab² + bc) < ℤ）來確定類型在群作用下的行為。

实验结果

研究问题

• RQ1 在 p 進代數群（如 SL(2,ℚₚ)）的類型空間動力學中，f-一般類型與最小子流是什麼？
• RQ2 SL(2,ℚₚ) 的 Ellis 群如何與其可定義 Bohr 緊化相關？是否與 Newelski 的猜想矛盾？
• RQ3 ℙ¹(ℚₚ) 上非代數類型的空間是否為 SL(2,ℚₚ)-流的最小且近似流？
• RQ4 SL(2,ℚₚ) 的通用最小可定義流能否被描述為 B(ℚₚ) 與 SL(2,ℤₚ) 的最小子流之乘積的閉包？
• RQ5 SL(2,ℚₚ) 在 ℙ¹(ℚₚ) 的非代數類型上的作用是否為強近似？

主要发现

• SL(2,ℚₚ) 的通用最小可定義流為 SL(2,ℤₚ) 的最小子流與 B(ℚₚ) 的最小子流之乘積的閉包。
• SL(2,ℚₚ) 的 Ellis 群同構於概有限整數 ℤ̂，為一無限群。
• 儘管 G = G⁰⁰ = G⁰⁰⁰，其 Ellis 群仍為無限群，從而提供了一個新的 Newelski 猜想的反例。
• ℙ¹(ℚₚ) 上非代數類型的空間是 SL(2,ℚₚ)-流的最小且近似流。
• 在 ℙ¹(ℚₚ) 上作用的唯一最小子流為某特定類型軌道的閉包，且其包含任意 ℙ¹(ℚₚ) 點附近所有無窮小接近的非代數類型。
• SL(2,ℚₚ) 在 ℙ¹(ℚₚ) 的非代數類型上的作用為最小且近似，暗示其可能為通用最小近似可定義流。