[论文解读] Inverse semigroups and the Cuntz-Li algebras

S. Sundar|arXiv (Cornell University)|Apr 6, 2011

Advanced Operator Algebra Research参考文献 12被引用 3

一句话总结

本文将逆半群理论应用于 Cuntz-Li 代数 $U[\mathbb{Z}]$，证明其由一组部分等距生成的逆半群生成。通过从该半群构造紧致广群 $\mathcal{G}_{\text{tight}}$，作者表明 $\mathcal{G}_{\text{tight}}$ 同构于 [CL08] 中获得的广群，从而在无需任意假设的前提下，系统地、基于表示理论地推导出广群实现。

ABSTRACT

In this paper, we apply the theory of inverse semigroups to the $C^{*}$-algebra $U[\mathbb{Z}]$ considered in \cite{Cuntz}. We show that the $C^{*}$-algebra $U[\mathbb{Z}]$ is generated by an inverse semigroup of partial isometries. We explicity identify the groupoid $\mathcal{G}_{tight}$ associated to the inverse semigroup and show that $\mathcal{G}_{tight}$ is exactly the same groupoid obtained in \cite{Cuntz-Li}.

研究动机与目标

• 通过逆半群理论，系统地、基于表示理论地推导 Cuntz-Li 代数 $U[\mathbb{Z}]$ 的广群实现。
• 证明 $C^*$-代数 $U[\mathbb{Z}]$ 同构于与生成 $U[\mathbb{Z}]$ 的部分等距逆半群相关的紧致广群 $\mathcal{G}_{\text{tight}}$ 的 $C^*$-代数。
• 证明该逆半群在 $U[\mathbb{Z}]$ 中的恒等表示是紧致的，从而将代数结构与广群模型联系起来。

提出的方法

• 定义由部分等距 $s_m^* u^n e u^{n'} s_m$（其中 $e$ 属于投影半群 $P$）生成的逆半群 $T$。
• 利用 Exel 的紧致表示理论，证明 $T$ 在 $U[\mathbb{Z}]$ 中的恒等表示是紧致的，因此有 $U[\mathbb{Z}] \cong C^*(\mathcal{G}_{\text{tight}})$。
• 明确地将 $\mathcal{G}_{\text{tight}}$ 识别为仿射群 $P_{\mathbb{Q}}$ 在概有限完备化 $\hat{\mathbb{Z}}$ 上作用的芽广群，通过映射 $\phi: \mathcal{R} \times P_{\mathbb{Q}(\mathbb{Z})}|_{\hat{\mathbb{Z}}} \to \mathcal{G}_{\text{tight}}$ 实现。
• 建立 $\hat{\mathbb{Z}}$ 与投影半群 $P$ 上紧致滤子空间之间的拓扑同构，证明 $\mathcal{G}_{\text{tight}} \cong \mathcal{R} \times P_{\mathbb{Q}}|_{\hat{\mathbb{Z}}}$。
• 利用 Baire 闭集定理及不动点集的性质，证明广群 $\mathcal{G}_{\text{tight}}$ 是极小且拓扑主的。
• 将分析扩展至任意具有有限商环的整环 $R$，证明相同的逆半群与紧致广群构造依然适用。

实验结果

研究问题

• RQ1 能否在不预先知晓广群结构的前提下，仅通过逆半群理论系统地推导出 $U[\mathbb{Z}]$ 的广群实现？
• RQ2 在 $U[\mathbb{Z}]$ 中，由部分等距生成的逆半群的恒等表示是否为紧致表示？它是否能生成 $C^*$-代数 $U[\mathbb{Z}]$？
• RQ3 与生成 $U[\mathbb{Z}]$ 的逆半群相关的紧致广群 $\mathcal{G}_{\text{tight}}$ 的显式结构是什么？
• RQ4 广群 $\mathcal{G}_{\text{tight}}$ 与 [CL08] 中构造的广群有何关系？
• RQ5 能否通过广群的极小性与拓扑主性来确立一般整环 $R$ 的 $U[R]$ 的简单性？

主要发现

• $C^*$-代数 $U[\mathbb{Z}]$ 同构于与生成 $U[\mathbb{Z}]$ 的部分等距逆半群相关的紧致广群 $\mathcal{G}_{\text{tight}}$ 的 $C^*$-代数。
• 紧致广群 $\mathcal{G}_{\text{tight}}$ 显式地被识别为 $\mathcal{R} \times P_{\mathbb{Q}}|_{\hat{\mathbb{Z}}}$，其中 $\mathcal{R}$ 是 $\hat{\mathbb{Z}}$ 沿乘法映射的归纳极限，$P_{\mathbb{Q}}$ 通过仿射变换作用。
• 由 $\phi(r, \begin{bmatrix}1&0\\ k/m & n/m \end{bmatrix}) = [(r, s_m^* u^k s_n)]$ 定义的映射 $\phi: \mathcal{R} \times P_{\mathbb{Q}}|_{\hat{\mathbb{Z}}} \to \mathcal{G}_{\text{tight}}$ 是一个拓扑广群同构。
• 广群 $\mathcal{G}_{\text{tight}}$ 是极小且拓扑主的，因为 $P_{\mathbb{Q}}$ 中非单位元的不动点集具有空内部。
• $C^*$-代数 $U[\mathbb{Z}]$ 是简单的，这是由于 $\mathcal{G}_{\text{tight}}$ 的极小性与拓扑主性所导致的。
• 该构造可推广至任意具有有限商环的整环 $R$，此时有 $U[R] \cong C^*(\mathcal{G}_{\text{tight}})$，且 $\mathcal{G}_{\text{tight}} \cong \mathcal{R} \times P_{Q(R)}|_{\hat{R}}$。