[论文解读] Topological groups: where to from here?

Vladimir Pestov|arXiv (Cornell University)|Oct 27, 1999

Advanced Topology and Set Theory参考文献 70被引用 48

一句话总结

本文倡导在拓扑群理论中开辟一个新方向，聚焦于非局部紧致群，特别是像紧致空间的同胚群与等距群这样的“庞大”群。文章引入了自由拓扑G-群的概念，以刻画同态，并证明了区间上自由拓扑Homeo(𝕀)-群是平凡的，从而为Uspenskij关于Homeo(𝕀)极端可约性的定理提供了新颖的拓扑证明。

ABSTRACT

This is an account of one man's view of the current perspective of theory of topological groups. We survey some recent developments which are, from our viewpoint, indicative of the future directions, concentrating on actions of topological groups on compacta, embeddings of topological groups, free topological groups, and `massive' groups (such as groups of homeomorphisms of compacta and groups of isometries of various metric spaces).

研究动机与目标

• 将研究重点从局部紧致群转向非局部紧致的‘庞大’拓扑群，作为深度且独立理论的来源。
• 研究自由拓扑G-群的结构与性质，作为分析拓扑群中同态的工具。
• 通过在齐次空间上自由拓扑G-群的平凡性，建立同态的拓扑刻画。
• 利用自由拓扑G-群，为Uspenskij关于Homeo(𝕀)极端可约性的定理提供新的证明。
• 统一并推广非局部紧致环境下拓扑动力系统、嵌入理论与自由群构造中的概念。

提出的方法

• 引入G-群的概念：一个带有另一拓扑群G通过自同构作用的连续作用的拓扑群。
• 将G-空间X上的自由拓扑G-群$ F_G(X) $定义为接收从X到任意G-群的连续G-等变映射的普遍对象。
• 利用$ F_G(X) $的普遍性质刻画同态：同态$ f: H \to G $是同态当且仅当$ F_G(G / \overline{f(H)}) $是平凡的。
• 将此准则应用于$ \mathrm{Homeo}(\mathbb{I}) $在区间$ \mathbb{I} $上的作用，证明$ F_{\mathrm{Homeo}(\mathbb{I})}(\mathbb{I}) $是平凡的。
• 借助Megrelishvili关于$ F_{\mathrm{Homeo}(\mathbb{I})}(\mathbb{I}) $平凡性的结果，推导出稳定子子群嵌入是同态。
• 利用推论4.3.4，将$ F_G(X) $的平凡性与稳定子子群的同态嵌入联系起来，从而为Uspenskij定理提供拓扑证明。

实验结果

研究问题

• RQ1 非局部紧致拓扑群的理论能否达到与局部紧致群理论相当的深度？
• RQ2 在何种条件下，拓扑群之间的连续同态在范畴意义下是同态？
• RQ3 如何利用自由拓扑G-群刻画拓扑群范畴中同态的性质？
• RQ4 区间$ \mathbb{I} $上的自由拓扑$ \mathrm{Homeo}(\mathbb{I}) $-群是否平凡？这对其结构有何含义？
• RQ5 能否从自由G-群的群论与拓扑性质推导出$ \mathrm{Homeo}(\mathbb{I}) $的极端可约性？

主要发现

• 根据Megrelishvili的结果，区间$ \mathbb{I} $上的自由拓扑$ \mathrm{Homeo}(\mathbb{I}) $-群是平凡的。
• 连续同态$ f: H \to G $在豪斯多夫拓扑群范畴中是同态，当且仅当在G-空间$ G / \overline{f(H)} $上自由拓扑G-群是平凡的。
• 稳定子子群$ \mathrm{St}_x $到$ G $的典范嵌入是同态，当且仅当在齐次空间$ X = G / \mathrm{St}_x $上自由拓扑G-群是平凡的。
• $ F_{\mathrm{Homeo}(\mathbb{I})}(\mathbb{I}) $的平凡性意味着$ \mathrm{Homeo}(\mathbb{I}) $是极端可约的，从而为Uspenskij定理提供了新的拓扑证明。
• 自由拓扑G-群的构造为在非局部紧致环境下分析同态与群作用提供了范畴论与拓扑学框架。
• 该方法成功绕过了测度论工具的依赖，仅依赖于普遍性质与群作用的连续性，为拓扑动力学中的结果开辟了新路径。