[论文解读] ABSOLUTE CONNECTEDNESS OF THE CLASSICAL GROUPS

Jakub Gismatullin|arXiv (Cornell University)|Feb 8, 2010

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

一句话总结

本文在饱和的一阶结构中，为无限域上的Chevalley群、连通的完美线性代数群、无限置换群以及无限维一般线性群建立了绝对连通性。证明了在饱和的一阶结构中，这些群不存在任何真可定义的、类型可定义的或不变的有界指数子群，从而推出 G = G⁰ = G⁰⁰ = G¹。

ABSTRACT

We prove for Chevalley groups over infinite fields, connected perfect linear algebraic groups, infinite permutation and infinite dimensional general linear groups, a model theoretical phenomenon called absolute connectedness. Namely, G is abso- lutely connected if for an arbitrary first order structure on G, working in a saturated extension, G does not have any proper definable, type definable or invariant under automorphisms subgroup of bounded index i.e. G = G 0 = G 00 = G 1 .

研究动机与目标

• 研究无限经典群的模型论性质——绝对连通性。
• 确定此类群是否允许存在真可定义的、类型可定义的或自同构不变的有界指数子群。
• 将连通性的概念从拓扑或代数框架扩展至模型论设定。
• 利用一阶逻辑与饱和扩张，统一不同无限群的结构行为。

提出的方法

• 在饱和的一阶结构中运用模型论技术，分析无限群的子群性质。
• 应用有界指数子群的概念，重点关注可定义的、类型可定义的以及在自同构下不变的子群。
• 采用稳定群论的框架，并利用饱和模型的存在性，分析 G⁰、G⁰⁰ 和 G¹ 的结构。
• 将 Chevalley 群在无限域上、连通的完美线性代数群，以及无限置换群与无限维一般线性群作为不同类别进行分析。
• 通过证明在给定条件下不存在真有界指数子群，确立 G = G⁰ = G⁰⁰ = G¹。
• 依赖于在饱和扩张中群结构在自同构下的不变性，排除非平凡有界指数子群的存在。

实验结果

研究问题

• RQ1 在饱和的一阶结构中，无限域上的 Chevalley 群是否允许存在任何真可定义的有界指数子群？
• RQ2 连通的完美线性代数群在无限域上是否可能具有非平凡的类型可定义有界指数子群？
• RQ3 无限置换群是否在绝对连通的意义下满足 G = G⁰ = G⁰⁰ = G¹？
• RQ4 无限维一般线性群是否满足与其他经典群相同的绝对连通性条件？
• RQ5 饱和扩张在消除这些群中真不变有界指数子群方面起到什么作用？

主要发现

• 无限域上的 Chevalley 群是绝对连通的，即在任何饱和的一阶结构中均有 G = G⁰ = G⁰⁰ = G¹。
• 无限域上的连通完美线性代数群也满足绝对连通性条件。
• 无限置换群被证明是绝对连通的，其不存在真可定义或类型可定义的有界指数子群。
• 无限维一般线性群表现出相同的行为，确认了其绝对连通性。
• 在所有考虑的群中，无论可定义、类型可定义还是在自同构下不变的真有界指数子群均不存在，这一结论具有一致性。
• 该结果通过在饱和扩张中的模型论分析得以确立，证实了群结构在逻辑意义上达到最大连通性。