[论文解读] On universal minimal compact G-spaces

Vladimir Uspenskij|arXiv (Cornell University)|Jun 10, 2000

Advanced Topology and Set Theory参考文献 5被引用 30

一句话总结

该论文证明了对于任意拓扑群 $G$，其普遍极小紧 $G$-空间 $M_G$ 无法容许一个 3-传递作用，从而解决了 Pestov 提出的问题，表明希尔伯特立方体或任一维度大于 1 的紧流形均不能作为此类空间的 $M_G$。该结果依赖于超空间中极大链的结构以及最大极小半群的半群性质。

ABSTRACT

For every topological group G one can define the universal minimal compact G-space X=M_G characterized by the following properties: (1) X has no proper closed G-invariant subsets; (2) for every compact G-space Y there exists a G-map X-->Y. If G is the group of all orientation-preserving homeomorphisms of the circle S^1, then M_G can be identified with S^1 (V. Pestov). We show that the circle cannot be replaced by the Hilbert cube or a compact manifold of dimension >1. This answers a question of V. Pestov. Moreover, we prove that for every topological group G the action of G on M_G is not 3-transitive.

研究动机与目标

• 解决 V. Pestov 提出的一个猜想，即希尔伯特立方体 $Q$ 或维度大于 1 的紧流形是否可作为其同胚群的普遍极小紧 $G$-空间。
• 确立任意拓扑群 $G$ 在其普遍极小紧 $G$-空间 $M_G$ 上的作用永远不是 3-传递的。
• 利用最大极小半群和半群理论工具（特别是紧左-拓扑半群中的幂等元）对 $M_G$ 进行结构刻画。
• 证明 $M_G$ 在 $G$-同构意义下唯一，并阐明其在紧 $G$-空间范畴中的普遍映射性质。

提出的方法

• 将最大极小空间 $\mathcal{S}(G)$ 构造为 $G$ 关于右一致结构的 Samuel 紧化，其自然地构成一个紧致左-拓扑半群。
• 将普遍极小紧 $G$-空间 $M_G$ 识别为 $\mathcal{S}(G)$ 中的一个极小闭左理想，其必然包含一个幂等元。
• 利用每个 $G$-映射在 $M_G$ 上均表现为右乘以 $M_G$ 中的某个元素，且所有此类映射均为双射的事实，说明 $M_G$ 上的 $G$-自映射半群构成一个群。
• 分析紧空间 $K$ 的超空间 $\operatorname{Exp}K$ 中的极大链空间，证明此类链构成 $\operatorname{Exp}\operatorname{Exp}K$ 的一个紧子空间 $\Phi \subset \operatorname{Exp}\operatorname{Exp}K$。
• 利用 $\Phi$ 的拓扑结构，证明若 $G$ 在 $K$ 上作用 3-传递，则 $K$ 不可能同构于 $M_G$，因为 $M_G$ 无法支持此类作用。
• 应用 Ellis 幂等元定理，保证 $M_G$ 中存在幂等元，这对于证明 $G$-映射的双射性以及 $M_G$ 的唯一性至关重要。

实验结果

研究问题

• RQ1 希尔伯特立方体 $Q$ 能否作为 $G = \mathrm{Homeo}(Q)$ 的普遍极小紧 $G$-空间？
• RQ2 $G$ 在 $M_G$ 上的作用是否可能对任意拓扑群 $G$ 都是 3-传递的？
• RQ3 伪弧 $P$ 是否可能同构于 $G = \mathrm{Homeo}(P)$ 的 $M_G$？
• RQ4 在何种条件下，普遍极小紧 $G$-空间 $M_G$ 不是单点空间？
• RQ5 $G = \mathrm{Homeo}(Q)$ 时，$M_G$ 是否为度量空间？

主要发现

• 对每个拓扑群 $G$，$G$ 在其普遍极小紧 $G$-空间 $M_G$ 上的作用都不是 3-传递的。
• 希尔伯特立方体 $Q$ 不能同构于 $G = \mathrm{Homeo}(Q)$ 的 $M_G$，因为 $G$ 在 $Q$ 上的作用是 3-传递的，而 $M_G$ 无法支持此类作用。
• 类似地，任一维度大于 1 的紧流形都不能是其同胚群的 $M_G$，原因在于相同的 3-传递性障碍。
• $M_G$ 在 $G$-同构意义下唯一确定，且每个紧 $G$-空间都存在一个从 $M_G$ 到该空间的 $G$-映射。
• $M_G$ 上的 $G$-自映射半群构成一个群，意味着所有此类映射均为双射，这是 $M_G$ 的一个关键结构性质。
• 作为最大极小半群中极小闭左理想的 $M_G$ 中幂等元的存在性，确保了其半群结构支撑了 $M_G$ 的极小性与普遍性。