[論文レビュー] 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*-単純性の間の同値性に関する予想が反証された。