[論文レビュー] 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] におけるユニタリ表現の構成を用い、左正則表現を弱く含まない表現を用いる。
• A を可換で非自明な可換な群として、G' = Γ ≀ A のワルプロダクト構成を用いて柔軟な例を生成する。
• [BKKO14] の結果を応用し、可換な群において可解的核が自明であることと一意的トレース性が同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 可解的核が自明であることは、すべての可換な群に対してC*-単純性を意味するか？
• RQ2 可解的核が自明だがC*-単純でない可換な群の明示的例を構成できるか？
• RQ3 すべての可換な群は、可解的核が自明だがC*-単純でない可換な群に埋め込めるか？
• RQ4 一般の可換な群において、C*-単純性、一意的トレース性、可解的核の性質はどのように関係しているか？

主な発見

• 論文は、可解的核が自明であってもC*-単純でないことを示す明示的反例を構成し、長年の未解決問題を否定的に解決した。
• すべての可換な群が可解的核が自明だがC*-単純でない可換な群に埋め込まれることを証明し、このような群の広範な存在を示した。
• 木上の部分的自己同型によって構成された群 G(F, F') は、F と F' にやや弱い仮定を課せば可解的核が自明で、C*-単純でない。
• この構成により、群の端における安定化部分群は可解的であり、半木の固定子は非自明であり、これらは定理Aの条件を満たす。
• Γ が有限生成であれば、G(F, F')^* も有限生成であり、Γ と A が torsion-free であれば、G(F, F')^* も torsion-free であることが示された。
• C*-単純性、一意的トレース性、可解的核の間の包含関係を完全に明らかにし、C*-単純性が一意的トレース性を意味するという逆は成り立たないことを示した。