[论文解读] Compactifications of Semigroups and Semigroup Actions

Michael Megrelishvili|ArXiv.org|Nov 25, 2006

Advanced Topology and Set Theory参考文献 25被引用 17

一句话总结

该论文证明了在希尔伯特立方体 $ K = [0,1]^ au $ 上，连续自映射的幺半群 $ C(K,K) $ 在紧开拓扑下是一个普遍的第二可数紧化幺半群。此外，该论文进一步证明了该幺半群在 $ K $ 上的作用，是所有第二可数紧化 $ S $-流中普遍存在的，其中 $ S $ 和 $ X $ 均为可分且度量化的，从而将乌斯彭斯季的群普遍性定理推广到了幺半群情形。

ABSTRACT

An action of a topological semigroup S on X is compactifiable if this action is a restriction of a jointly continuous action of S on a Hausdorff compact space Y. A topological semigroup S is compactifiable if the left action of S on itself is compactifiable. It is well known that every Hausdorff topological group is compactifiable. This result cannot be extended to the class of Tychonoff topological monoids. At the same time, several natural constructions lead to compactifiable semigroups and actions. We prove that the semigroup C(K,K) of all continuous selfmaps on the Hilbert cube K is a universal second countable compactifiable semigroup (semigroup version of Uspenskij's theorem). Moreover, the Hilbert cube K under the action of C(K,K) is universal in the realm of all compactifiable S-flows X with compactifiable S where both X and S are second countable. We strengthen some related results of Kocak & Strauss and Ferry & Strauss about Samuel compactifications of semigroups. Some results concern compactifications with separately continuous actions, LMC-compactifications and LMC-functions introduced by Mitchell.

研究动机与目标

• 将拓扑群的经典紧化理论推广至拓扑幺半群，因为此类结果在一般情况下并不成立。
• 确定拓扑幺半群及其作用可紧化的充分必要条件，特别是在分别连续或联合连续作用的背景下。
• 建立紧化幺半群及其作用的普遍性结果，类比于乌斯彭斯季对同胚群的定理。
• 阐明紧化性在幺半群理论中的局限性，特别是对于蒂霍诺夫幺半群和拟拓扑群。
• 加强关于萨缪尔紧化、LMC-紧化以及矩阵系数在幺半群设定下的现有结果。

提出的方法

• 利用 $ S $-紧化理论和 $ RUC_S(X) $（右一致连续函数的代数）来通过子代数刻画联合连续紧化。
• 应用一致结构技术，推导出紧化性的必要与充分条件，推广了科卡克与斯特劳斯以及费里与斯特劳斯的结果。
• 采用埃利斯幺半群构造，将 $ S $-流的紧化性与适当动力紧化存在的关系联系起来。
• 通过构造幺半群 $ C(K,K) $ 来构建普遍例子，证明其在第二可数紧化 $ S $-流中具有普遍性。
• 利用 $ \pi $-生成幺半群构造方法，构建反例并展示特定情形下的不可紧化性。
• 分析紧化性与可分性、度量性以及局部紧致性等拓扑性质之间的关系。

实验结果

研究问题

• RQ1 能否将拓扑群的经典紧化结果推广至拓扑幺半群？若不能，其障碍是什么？
• RQ2 拓扑幺半群或其作用可紧化的必要与充分条件是什么？
• RQ3 在第二可数、可分、度量化的范畴中，是否存在类似于乌斯彭斯季对群的结果的普遍紧化幺半群？
• RQ4 LMC-紧化与分别连续作用如何与幺半群紧化理论的更广泛框架相联系？
• RQ5 在诸如 $ ([0,\infty), \cdot) $、Sorgenfrey直线或带有强算子拓扑的 $ \Theta(E) $ 等幺半群背景下，紧化性的局限性是什么？

主要发现

• 在希尔伯特立方体 $ K = [0,1]^ au $ 上，连续自映射的幺半群 $ C(K,K) $，在紧开拓扑下，是一个普遍的第二可数紧化幺半群。
• 该幺半群 $ C(K,K) $ 在 $ K $ 上的作用，是所有第二可数紧化 $ S $-流中普遍存在的，其中 $ S $ 和 $ X $ 均为可分且度量化的。
• 幺半群 $ ([0,\infty), \cdot) $ 不可紧化，也非 LMC-紧化，原因在于其拓扑无法由 $ LMC(S) $ 决定。
• Sorgenfrey直线 $ ({\mathbb{R}}_s, +) $ 虽为蒂霍诺夫幺半群，但不可紧化，其普遍紧化与实直线的紧化一致。
• 在赋范空间 $ E $ 上，收缩线性算子的幺半群 $ \Theta(E) $ 在范数拓扑下可紧化，但在强算子拓扑下不可紧化；然而，其对偶幺半群始终可紧化。
• 存在巴拿赫空间 $ V $，使得 $ \Theta(V) $ 不是半紧化可的，表明即使在线性算子幺半群中，也可能出现不可紧化的情形。