[论文解读] The tight groupoid of an inverse semigroup

Ruy Exel, Enrique Pardo|arXiv (Cornell University)|Aug 22, 2014

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

一句话总结

本文建立了关于含零元的逆半群 S 的代数条件，刻画其关联的紧致群胚 Gtight(S) 为豪斯多夫空间、本质上主群胚、极小群胚或收缩群胚的充要条件。通过紧致表示与幂等元半格中滤子的理论，作者推导出这些拓扑与动力性质的必要且充分条件，进而对由此类群胚生成的 C*-代数进行分类，包括在约化 C*-代数中判断简单性与纯无穷性的准则。

ABSTRACT

In this work we present algebraic conditions on an inverse semigroup S (with zero) which imply that its associated tight groupoid G_{tight)(S) is: Hausdorff, essentially principal, minimal and contracting, respectively. In some cases these conditions are in fact necessary and sufficient.

研究动机与目标

• 刻画逆半群 S 的紧致群胚 Gtight(S) 为豪斯多夫空间、本质上主群胚、极小群胚或收缩群胚的条件。
• 为 S 提供可验证的代数条件，以推出这些群胚性质。
• 统一分析由生成元与关系定义的 C*-代数结构，特别是涉及部分等距的代数。
• 建立约化 C*-代数 C∗_red(Gtight(S)) 为简单或纯无穷的充分条件。
• 将紧致表示理论的应用范围扩展至一大类 C*-代数，包括自相似图与 Nekrashevych 代数。

提出的方法

• 使用与逆半群 S 关联的紧致群胚构造 Gtight(S)，其基于幂等元半格 E 中的紧致滤子。
• 在字符空间 ˆE0 上应用乘积拓扑以定义 Gtight(S) 的拓扑。
• 通过 S 上的代数条件（如有限覆盖与幂等元正交性）刻画群胚性质。
• 利用作用 θs 在单位空间上的定义 s ↦ s∗s，并通过闭开集 Dθ_e 研究其动力学行为。
• 引入 E 中元素的外覆盖概念，并利用其分析极小性与收缩行为。
• 应用群胚 C*-代数理论结果（如 [4], [5], [1]）从群胚性质推导出 C∗_red(Gtight(S)) 的结构性质。

实验结果

研究问题

• RQ1 在逆半群 S 的何种代数条件下，紧致群胚 Gtight(S) 是豪斯多夫空间？
• RQ2 在何种条件下 Gtight(S) 是本质上主群胚，S 的何种代数性质可保证此性质？
• RQ3 S 的何种条件可推出 Gtight(S) 为极小或收缩群胚？
• RQ4 Gtight(S) 的性质如何与它的约化 C*-代数结构相关联？
• RQ5 S 的何种条件可确保 C∗_red(Gtight(S)) 为简单或纯无穷？

主要发现

• Gtight(S) 是豪斯多夫空间当且仅当 E 中每个紧致滤子都是极大滤子。
• Gtight(S) 是本质上主群胚当且仅当 E 中每个紧致滤子都是极大滤子。
• Gtight(S) 是极小群胚当且仅当对每个非零 e, f ∈ E，存在 s1, ..., sn ∈ S，使得 {sifs∗i}1≤i≤n 构成 e 的一个外覆盖。
• Gtight(S) 是收缩群胚当且仅当对每个非零 e ∈ E，存在 s ∈ S 及幂等元 f0, f1，满足 f0 ≤ f1 ≤ es∗s，sf1s∗≤ f1，且 f0sf1 = 0。
• 若 S 可数且满足条件 (a)–(d)，则 C∗_red(Gtight(S)) 是一个纯无穷简单 C*-代数。
• 条件 (a)–(d) 对约化群胚 C*-代数的简单性与纯无穷性已足够，推广了 Nekrashevych 代数与 Katsura 代数的相关结果。