[论文解读] Cohomology of groups in o-minimal structures: acyclicity of the infinitesimal subgroup

Alessandro Berarducci|ArXiv.org|Nov 15, 2007

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

一句话总结

该论文证明了在 o-极小结构中，定义紧致群 $G$ 的无穷小子群 $G^{00}$ 是上同调无致的，即其在正度数上的上同调群为零。这表明 $G$ 的 o-极小上同调与关联实李群 $G/G^{00}$ 的奇异上同调之间存在一个保持函子性上同调结构的典范同构。

ABSTRACT

By recent work on some conjectures of Pillay, each definably compact group in a saturated o-minimal structure is an expansion of a compact Lie group by a torsion free normal divisible subgroup, called its infinitesimal subgroup. We show that the infinitesimal subgroup is cohomologically acyclic. This implies that the functorial correspondence between definably compact groups and Lie groups preserves the cohomology.

研究动机与目标

• 解决 Pillay 关于定义紧致群中无穷小子群上同调行为的猜想。
• 证明无穷小子群 $G^{00}$ 是上同调无致的，从而确保在定义紧致群与实李群之间对应时上同调被保持。
• 建立 $G$ 的 o-极小上同调与关联李群 $G/G^{00}$ 的奇异上同调之间的典范同构，从而连接模型论上同调与拓扑上同调。
• 通过约化技巧与群扩张，将无致性结果从阿贝尔情形推广至非阿贝尔定义紧致群。

提出的方法

• 利用紧致支配猜想及 [HP:07] 的最新结果，分析定义紧致群的拓扑与模型论结构。
• 应用 Vietoris-Begle 定理于具有无致纤维的连续闭映射，证明此类映射在常层上同调中诱导同构。
• 使用类型定义子群及商群 $G/G^{00}$ 上的逻辑拓扑，为与 $G$ 关联的李群定义一个典范拓扑结构，确保其与 o-极小上同调相容。
• 通过群扩张与同构态射，将非阿贝尔情形约化为阿贝尔与单连通情形，利用无致性在这些构造下保持不变的性质。
• 利用刻画式 $G^{00} = \bigcap_{X \text{ 为一般集}} XX^{-1}$，从一般集及其平移的角度分析无穷小子群。
• 依赖初等扩张与饱和性，通过从饱和模型到非饱和模型的传递，定义非饱和模型中的上同调，确保上同调性质的不变性。

实验结果

研究问题

• RQ1 在 o-极小结构中，定义紧致群 $G$ 的无穷小子群 $G^{00}$ 是否是上同调无致的？
• RQ2 典范投影 $\pi: G \to G/G^{00}$ 是否在 $G$ 与其关联李群 $G/G^{00}$ 之间诱导上同调同构？
• RQ3 能否通过约化至阿贝尔与单连通情形，建立非阿贝尔定义紧致群中 $G^{00}$ 的无致性？
• RQ4 在 o-极小结构中，定义紧致群的上同调在多大程度上等价于对应实李群的上同调？

主要发现

• 在任意 o-极小结构中的定义紧致群 $G$，其无穷小子群 $G^{00}$ 是上同调无致的，即对所有 $n \geq 1$，有 $H^n(G^{00}; \mathbb{Z}) = 0$。
• 典范投影 $\Psi: \widetilde{G} \to G/G^{00}$ 诱导上同调同构：$\Psi^*: H^*(G/G^{00}) \cong H^*(\widetilde{G})$，其中 $\widetilde{G}$ 表示 $G$ 的类型空间。
• 以 o-极小方式定义的 $G$ 的上同调与关联实李群 $G/G^{00}$ 的奇异上同调同构，从而建立了函子性上同调等价。
• $G^{00}$ 的无致性在群扩张与同构态射下保持不变，使得结果可通过对阿贝尔与单连通群的归纳闭包，推广至所有定义紧致群。
• 该结果证实了 [B:07] 中的猜想，并为 o-极小模型论中定义紧致群与实李群之间的对应关系提供了上同调上的解释。
• 证明依赖于将 Vietoris-Begle 定理应用于映射 $\Psi$，其纤维同胚于 $\widetilde{G^{00}}(M\langle g\rangle)$，由于 $G^{00}$ 的无致性，这些纤维是无致的。