[论文解读] Semigroup C*-algebras and amenability of semigroups

Xin Li|arXiv (Cornell University)|May 27, 2011

Advanced Operator Algebra Research参考文献 13被引用 9

一句话总结

本文为左可消半群引入了一类新的约化与完整半群C*-代数构造，通过纳入右理想结构，将A. Nica的工作和J. Cuntz的Toeplitz代数推广至更一般情形。核心贡献在于通过这些C*-代数表征半群的左平凡性，类似于群的情形：在特定条件下，C*-代数的核性与半群的左平凡性互为充要条件。

ABSTRACT

We construct reduced and full semigroup C*-algebras for left cancellative semigroups. Our new construction covers particular cases already considered by A. Nica and also Toeplitz algebras attached to rings of integers in number fields due to J. Cuntz. Moreover, we show how (left) amenability of semigroups can be expressed in terms of these semigroup C*-algebras in analogy to the group case.

研究动机与目标

• 将A. Nica的半群C*-代数构造从拟格序群推广至任意左可消半群。
• 提供一个比G. Murphy基于等距表示的一般构造更易处理的框架，后者会产生非核C*-代数。
• 在半群的平凡性与其关联C*-代数的性质之间建立直接联系，类比于群的情形。
• 通过统一的理想的理论框架，整合并推广现有构造，包括数域整数环上的Toeplitz代数。

提出的方法

• 利用编码左可消半群右理想结构的普遍性质，构造完整与约化半群C*-代数。
• 在完整C*-代数上引入一个条件期望，当半群可嵌入群时，该期望可分解为群C*-代数上的映射。
• 运用半群交叉积的扩张理论，将完整C*-代数实现为交换C*-代数在群作用下的交叉积。
• 利用交叉积的稳定性和核性性质，证明C*-代数的核性蕴含底层半群的平凡性。
• 将该理论应用于群的子半群，特别利用左正则表示，将约化与完整C*-代数的同构性与平凡性联系起来。
• 利用核C*-代数的商代数仍为核代数的事实，将核性问题归约为群与相关交换代数的结构。

实验结果

研究问题

• RQ1 A. Nica的半群C*-代数构造如何推广至任意左可消半群，而不仅限于拟格序群？
• RQ2 半群的平凡性与关联C*-代数的核性或结构之间存在何种精确关系？
• RQ3 当半群非左平凡时，半群C*-代数的左正则表示是否仍可为同构？若可，其条件为何？
• RQ4 半群的理想结构在多大程度上决定了其关联C*-代数的性质，特别是在非主理想域的情形下？
• RQ5 构造中要求可构造右理想独立是否为确保C*-代数具有可处理性与核性的必要条件？

主要发现

• 如推论4.16所示，任何可数、可消且阿贝尔半群的完整半群C*-代数均为核代数。
• 若约化或完整半群C*-代数为核代数，则该半群为左平凡，如命题4.17所证。
• 类数大于1的整数环上ax+b-半群的C*-代数同构于J. Cuntz构造的Toeplitz代数，表明该构造推广了已知例子。
• 只要半群可消且左可逆，即使其非平凡（如自由积N*n），该构造仍产生核C*-代数。
• 尽管该半群非左平凡，其左正则表示λ: C*s(P) → C*r(P)在自由积N*n上仍为同构，表明同构性与平凡性之间存在间隙。
• 在Murphy的构造下，N×N的完整半群C*-代数非核，但本构造确保了阿贝尔半群的核性，凸显了新框架的优势。