[论文解读] On central extensions and definably compact groups in o-minimal structures

Ehud Hrushovski, Ya’acov Peterzil+1 more|ArXiv.org|Nov 1, 2008

Advanced Topology and Set Theory参考文献 18被引用 8

一句话总结

该论文在o-极小结构中建立了可定义紧致群的基础结果，证明其与半代数实李群在逻辑上是等价的，并且可分解为半单群与交换群的几乎直积。通过中心扩张与有限扩张的可解释性，证实了紧致支配猜想，并表明可定义实李群的万有覆叠在o-极小扩张中是可解释的。

ABSTRACT

We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is elementarily equivalent to (G/G^00, .). We also prove results on the internality of finite covers of G in an o-minimal environment, as well as the full compact domination conjecture. These results depend on key theorems about the interpretability of central and finite extensions of definable groups, in the o-minimal context. These methods and others also yield interpretability results for universal covers of arbitrary definable real Lie groups, from which we can deduce the semialgebraicity of finite covers of Lie groups such as SL(2,R).

研究动机与目标

• 解决实闭域o-极小扩张中可定义紧致群及其关于无穷小子群 $G^{00}$ 商群的逻辑等价性问题。
• 在o-极小结构中建立可定义群中心扩张与有限扩张的可解释性结果，以支持结构分析。
• 通过将其约化为半单与交换情形，证明可定义紧致群的完整紧致支配猜想。
• 在已知覆叠核的前提下，证明可定义实李群的万有覆叠在o-极小扩张 $\mathbb{R}$ 中是可解释的。
• 通过将非可定义连通可定义群分解为连通部分与有限部分，推广逻辑等价性结果。

提出的方法

• 证明o-极小结构中中心扩张可解释性的关键技术结果（定理2.1），在适当条件下表明 $\tilde{G}$ 在 $\langle G, Z(\tilde{G})\rangle$ 中是可解释的。
• 利用可解释性结果推导出可定义紧致且可定义连通群与半代数实李群逻辑等价。
• 通过约化至半单与交换情形，应用紧致支配猜想，此前已解决这些情形。
• 在包含基o-极小结构与覆叠核的二元结构中，建立可定义实李群的有限覆叠与万有覆叠的可解释性。
• 利用阿贝尔结构中可定义子群的消去量词性质，分析初等子结构与同态收缩。
• 利用可定义斯科伦函数性质与可定义同构，将群实现为 $M^n$ 的子集，确保与拓扑与模型论工具兼容。

实验结果

研究问题

• RQ1 在实闭域的o-极小扩张中，可定义紧致群是否与它们关于 $G^{00}$ 的商群逻辑等价？
• RQ2 在o-极小结构中，可定义群的中心扩张是否可在基群及其中心中实现可解释？
• RQ3 在o-极小扩张中，可定义实李群的有限或万有覆叠在多大程度上是可解释的？
• RQ4 可定义紧致群的紧致支配猜想是否可由半单与交换群的已知结果推出？
• RQ5 非可定义连通的可定义群与半代数李群在逻辑等价性方面有何关系？

主要发现

• 在o-极小结构中，可定义紧致且可定义连通的群 $G$ 与半代数实李群逻辑等价，具体为 $\mathbb{R}^{\dim G_0} \times \mathbb{T}^{\dim G_1}$。
• 任意可定义紧致群 $G$ 均可定义地表示为半单群与交换群的几乎直积，如推论6.4所示。
• 半单群 $G$ 沿阿贝尔群 $A$ 的中心扩张 $\tilde{G}$ 本质上与对 $\langle G, A \rangle$ 双可解释，如定理6.1所述。
• 在实闭域的o-极小扩张中，可定义紧致群的完整紧致支配猜想可由半单与交换情形推出。
• 可定义实李群 $G$ 的万有覆叠 $\pi: \tilde{G} \to G$ 在二元结构 $\langle \mathbb{R}, \ker(\pi) \rangle$ 中是可解释的，如定理8.4所示。
• 可定义群的逻辑等价性可推广至非可定义连通群：$G$ 与同维数、在实代数数上可定义的半代数群 $H$ 逻辑等价。