[论文解读] Discrete groups that are not C*-simple

Adrien Le Boudec|arXiv (Cornell University)|Jul 13, 2015

Advanced Operator Algebra Research参考文献 8被引用 4

一句话总结

本文构造了可数群的显式例子，这些群不具有非平凡的阿贝尔正规子群，但并非C*-单的，从而表明阿贝尔根的平凡性不足以保证C*-单性。作者使用群论构造方法，否定了离散群论中这两个性质之间等价性的一个猜想。

ABSTRACT

A countable group is C*-simple if its reduced C*-algebra is simple. It is well known that C*-simplicity implies that the amenable radical of the group must be trivial. We show that the converse does not hold by constructing explicit countable groups without non-trivial amenable normal subgroups and that are not C*-simple.

研究动机与目标

• 研究可数离散群中阿贝尔根的平凡性是否蕴含C*-单性。
• 解决关于阿贝尔根与C*-单性之间关系的长期悬而未决的问题。
• 构造显式反例，展示即使不存在非平凡的阿贝尔正规子群，某些群也并非C*-单的。

提出的方法

• 使用群论构造方法生成阿贝尔根平凡的可数离散群。
• 应用算子代数和群C*-代数的技术，分析约化C*-代数的单性。
• 利用正规子群的结构及其阿贝尔性质，验证不存在非平凡的阿贝尔正规子群。
• 分析所构造群的约化C*-代数，证明其并非单的。
• 利用关于C*-单性和阿贝尔根作用的已知结果，作为必要条件。

实验结果

研究问题

• RQ1 阿贝尔根的平凡性是否足以保证可数离散群为C*-单？
• RQ2 能否构造出阿贝尔根平凡但并非C*-单的群的显式例子？
• RQ3 群的何种结构性质会阻止其约化C*-代数成为单的，即使阿贝尔根是平凡的？

主要发现

• 本文构造了显式可数群，其不具有非平凡的阿贝尔正规子群。
• 这些群的约化C*-代数被证明并非单的，从而表明它们不是C*-单的。
• 该构造表明阿贝尔根的平凡性不足以保证C*-单性。
• 研究结果否定了离散群中阿贝尔根平凡性与C*-单性之间等价性的猜想。