[论文解读] C*-simplicity and the amenable radical

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

Advanced Operator Algebra Research被引用 10

一句话总结

本文通过构造显式反例，证明了在可数群中，平凡的阿贝尔根并不蕴含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 counter-examples. We additionally prove that every countable group embeds into a countable group with trivial amenable radical and that is not C*-simple.

研究动机与目标

• 解决可数群中平凡阿贝尔根是否蕴含C*-单性的开放问题。
• 构造具有平凡阿贝尔根但非C*-单的可数群的显式例子。
• 证明每个可数群均可嵌入到具有平凡阿贝尔根但非C*-单的可数群中。
• 在先前结果的背景下，厘清C*-单性、唯一迹性质与阿贝尔根之间的关系。

提出的方法

• 通过基群 G ≤ Aut(T) 和更大的群 F' ≥ F，利用分段自同构构造在树上作用的群。
• 应用半树的固定子群概念，并分析群作用下端点的稳定子。
• 利用通过拓扑自由边界作用的C*-单性动力表征，以及稳定子的可约性。
• 采用 [HO14] 中的构造，涉及不弱包含左正则表示的酉表示。
• 利用半直积构造 F' = Γ ≀ A，其中 A 为可数、非平凡且可约的群，以生成灵活的示例。
• 应用 [BKKO14] 中关于唯一迹性质的结果，以及可数群中平凡阿贝尔根与唯一迹性质之间的等价性。

实验结果

研究问题

• RQ1 对于所有可数群，平凡阿贝尔根是否蕴含C*-单性？
• RQ2 能否构造出具有平凡阿贝尔根但非C*-单的可数群的显式例子？
• RQ3 每个可数群是否均可嵌入到具有平凡阿贝尔根但非C*-单的可数群中？
• RQ4 在一般可数群中，C*-单性、唯一迹性质与阿贝尔根之间的关系如何？

主要发现

• 本文构造了显式反例，表明平凡阿贝尔根并不蕴含C*-单性，从而以否定方式回答了长期悬而未决的开放问题。
• 证明了每个可数群均可嵌入到具有平凡阿贝尔根但非C*-单的可数群中，表明此类群具有普遍性。
• 在 F 与 F' 满足弱条件时，通过树上的分段自同构构造的群 G(F, F') 具有平凡阿贝尔根且非C*-单。
• 该构造确保了群中端点的稳定子是可约的，且半树的固定子群非平凡，满足定理 A 的条件。
• 若 Γ 是有限生成的，则群 G(F, F')^* 也是有限生成的；若 Γ 与 A 均无挠，则 G(F, F')^* 无挠。
• 结果完整描绘了C*-单性、唯一迹性质与平凡阿贝尔根之间关系的全貌，表明C*-单性蕴含唯一迹性质的逆命题不成立。