[论文解读] Classifying locally compact semitopological polycyclic monoids

Serhii Bardyla|arXiv (Cornell University)|Sep 9, 2016

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

一句话总结

本文在拓扑同构意义下对 Hausdorff 局部紧的半拓扑多项式幺半群进行了分类，证明了任何此类幺半群要么是离散的，要么是紧致的。关键结果是：非离散的局部紧致半拓扑多项式幺半群必须赋予 $ M \setminus \{0\} $ 的离散空间的一点紧化拓扑，且在给定条件下不存在其他可能的拓扑。

ABSTRACT

We present a complete classification of Hausdorff locally compact polycyclic monoids up to a topological isomorphism. A {\em polycyclic monoid} is an inverse monoid with zero, generated by a subset $Λ$ such that $xx^{-1}=1$ for any $x\inΛ$ and $xy^{-1}=0$ for any distinct $x,y\inΛ$. We prove that any non-discrete Hausdorff locally compact topology with continuous shifts on a polycyclic monoid $M$ coincides with the topology of one-point compactification of the discrete space $M\setminus\{0\}$.

研究动机与目标

• 在拓扑同构意义下对所有 Hausdorff 局部紧致半拓扑多项式幺半群进行分类。
• 确定多项式幺半群上与代数结构和局部紧致性相容的哪些拓扑是可能的。
• 解决半拓扑设定下离散与紧致拓扑之间的二分问题。
• 证明唯一可能的非离散拓扑是 $ M \setminus \{0\} $ 的一点紧化拓扑，该拓扑不满足联合连续性。
• 通过考虑较弱的半拓扑条件，扩展先前关于拓扑多项式幺半群的研究结果。

提出的方法

• 使用代数同构将任意多项式幺半群识别为标准形式 $ \mathcal{P}_\lambda $，即 $ \lambda $-多项式幺半群。
• 应用半拓扑半群的概念：乘法是分别连续的，且拓扑是 Hausdorff 且局部紧致的。
• 通过分别连续性分析 $ \mathcal{R} $-类的结构以及零元邻域的行为。
• 基于局部紧致性与 $ \mathcal{R} $-类中无限集的矛盾论证，排除非紧致且非离散的拓扑。
• 利用 $ \mathcal{P}_\lambda \setminus \{0\} $ 上一点紧化拓扑的性质，证明其满足半拓扑条件。
• 应用关于邻域结构、原像和有限集的引理，证明任何非离散拓扑必为一点紧化拓扑。

实验结果

研究问题

• RQ1 在多项式幺半群上，哪些 Hausdorff 局部紧致拓扑能使乘法分别连续？
• RQ2 是否存在非离散的局部紧致半拓扑多项式幺半群？若存在，其拓扑必须为何种形式？
• RQ3 为何 $ \mathcal{P}_\lambda \setminus \{0\} $ 上的一点紧化拓扑满足半拓扑条件，却无法满足联合连续性？
• RQ4 $ \mathcal{R} $-类及其与零元邻域的相互作用如何限制可能的拓扑？
• RQ5 在局部紧致半拓扑多项式幺半群中是否存在拓扑二分现象？若存在，两种不同情形分别是什么？

主要发现

• 任何非离散的 Hausdorff 局部紧致半拓扑多项式幺半群必须赋予 $ M \setminus \{0\} $ 的离散空间的一点紧化拓扑，其中 $ M $ 为该幺半群。
• $ \mathcal{P}_\lambda \setminus \{0\} $ 上的一点紧化拓扑是有效的半拓扑幺半群拓扑，但不是拓扑半群拓扑。
• 除离散拓扑与一点紧化拓扑外，多项式幺半群上不存在其他局部紧致 Hausdorff 半拓扑拓扑。
• 在非离散情形下，零元邻域的补集必须是有限的，这强制拓扑为一点紧化拓扑。
• 证明依赖于反证法：假设零元邻域的补集为无限集，将导致在某些元素乘法作用下封闭的无限集，违反局部紧致性。
• 该结果意味着，任何局部紧致拓扑多项式幺半群（乘法联合连续）必为离散的，从而恢复了早期研究中的已知结果。