[论文解读] A note on the quasi-diagonality of inverse semigroup reduced C*-algebras

Diego Martínez|arXiv (Cornell University)|Jul 30, 2021

Advanced Algebra and Logic被引用 1

一句话总结

本文通過利用其內部結構，特別是孤立子群和格林的D關係，研究離散反演半群的約化C*-代數的擬對角性。研究結果表明，若約化C*-代數是擬對角的，則任何孤立子群都必須是可約的。主要貢獻在於提出了一個擬對角性的充分條件：當所有子群都是可約的且沒有D-類包含無限多個幂等元時，約化C*-代數是擬對角的，從而推廣了群的情況下的已知結果，並為非可約或無跡的例項提供了框架。

ABSTRACT

In this note we start the study of whether the reduced C*-algebra of an inverse semigroup is quasi-diagonal, making explicit use of the inner structure of this class of semigroups in order to produce quasi-diagonal approximations. Given a discrete inverse semigroup, we detail the relationship between its isolated subgroups and the quasi-diagonality of its reduced C*-algebra, and prove that such subgroups must be amenable. Moreover, we give a direct characterization of the quasi-diagonality of inverse semigroup whose universal groupoid is minimal. Lastly, we also study the relevance of Green's $\mathcal{D}$-relation when considering quasi-diagonality questions, and give a sufficient condition for the quasi-diagonality of a general inverse semigroup.

研究动机与目标

• 研究離散反演半群的約化C*-代數成為擬對角的條件。
• 將羅伯遜關於群C*-代數的定理推廣至更廣泛的反演半群設定。
• 理解孤立子群與格林的D關係在決定擬對角性中的作用。
• 在不假設存在 faithful trace 的情況下，提供反演半群中擬對角性的構造性特徵。

提出的方法

• 利用反演半群的內部結構，特別是D-類與子群的分解，分析算子近似。
• 透過與D-類相關的有限維近似，應用C*-代數中投影的漸近中心性。
• 使用群胚與表示理論技術，構造幾乎與C*-代數生成元交換的有限秩投影。
• 利用半群上的度量結構，將D-類幾何地解釋為Cayley圖的並集。
• 利用擬對角性是局部性質的事實，允許在有限生成的子半群內進行分析。
• 使用與D-類及其子群相關的正交投影，構造漸近中心序列。

实验结果

研究问题

• RQ1 在什麼條件下，離散反演半群的約化C*-代數是擬對角的？
• RQ2 孤立子群的可約性與約化C*-代數的擬對角性之間的關係為何？
• RQ3 擬對角性能否以普遍群胚的最小性來表徵？
• RQ4 格林的D關係如何影響在反演半群中構造擬對角近似的可能性？
• RQ5 當半群包含非可約子群或缺乏 faithful trace 時，擬對角性是否仍可能成立？

主要发现

• 若離散反演半群的約化C*-代數是擬對角的，則其單位在譜中孤立的任何子群都必須是可約的。
• 對於具有最小普遍群胚的反演半群，其約化C*-代數是擬對角的，當且僅當所有子群都是可約的且代數是有限的。
• 擬對角性的充分條件是：所有子群都是可約的，且沒有D-類包含無限多個幂等元。
• 漸近中心投影的構造依賴於與D-類相關的正交投影，這些投影是有限維的，且強收斂於單位元。
• 構造了一個例子，其中約化C*-代數是擬對角的，即使包含一個非可約子群（自由群F₂），表明孤立子群的可約性雖為必要但非一般情況下的充分條件。
• 該結果可推廣至稀疏D-類：若在有限生成的子半群中，每個D-類僅包含有限多個幂等元，且所有子群都是可約的，則擬對角性成立。