[論文レビュー] An intrinsic characterization of C*-simplicity

Matthew Kennedy|arXiv (Cornell University)|Sep 7, 2015

Advanced Operator Algebra Research参考文献 18被引用数 18

ひとこと要約

本稿は、離散群におけるC*-単純性の内在的群論的特徴づけを確立し、群が非自明な可解的残値正規部分群をもたないときかつそのときに限りC*-単純であることを証明する。この特徴づけは、部分群空間上の共役作用の力学的性質と一様再帰的部分群の理論を用いて達成され、C*-単純性が帰約化C*-代数におけるPowersの平均化性質と同値であるという同等の結果も示している。

ABSTRACT

A group is said to be C*-simple if its reduced C*-algebra is simple. We establish an intrinsic (group-theoretic) characterization of groups with this property. Specifically, we prove that a discrete group is C*-simple if and only if it has no non-trivial amenable uniformly recurrent subgroups. We further prove that a group is C*-simple if and only if it satisfies an averaging property considered by Powers.

研究の動機と目的

• C*-単純性の内在的で群論的な特徴づけを提供し、長年の未解決問題を解決すること。
• 離散群におけるC*-単純性と一意的トレース性の関係を明確にすること。
• 一様再帰的部分群を用いた動的特徴づけを通じてC*-単純性を確立すること。
• Powersの平均化性質がC*-単純性の必要十分条件であることを証明すること。
• C*-単純群上の帰約化交叉積の理想構造を分析する理論的枠組みを拡張すること。

提案手法

• 閉部分群の空間上の共役作用を解析することで、離散群の力学的性質を研究する。
• 残値正規部分群の概念を導入する：部分群Hが残値正規であるとは、G\{e}の有限集合Fが存在して、すべてのg ∈ Gに対してF ∩ gHg⁻¹ ≠ ∅となること。
• [KK2014]におけるC*-単純性の動的特徴づけを応用し、群論的条件と帰約化C*-代数における理想構造を結びつける。
• 一様再帰的部分群（URS）の理論を、不変確率的部分群の位相的類似物として用い、群論的表現を可能にする。
• Hahn-Banach分離定理を用いて、非自明な理想の存在を弱*凸包条件の不成立と関連付ける。
• 帰約化C*-代数における平均化された共役のノルム収束を用いて、C*-単純性とPowersの平均化性質との同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 離散群におけるC*-単純性を特徴づける内在的群論的条件は何か？
• RQ2 一様再帰的部分群は、帰約化C*-代数の理想構造とどのように関係するか？
• RQ3 Powersの平均化性質はC*-単純性にとって必要条件であるか、それとも十分条件にとどまるか？
• RQ4 可解的残値正規部分群の不在が、C*-単純性を完全に特徴づけられるか？
• RQ5 離散群における一意的トレース性とC*-単純性の関係は何か？

主な発見

• 離散群が非自明な可解的残値正規部分群をもたないときかつそのときに限りC*-単純である。
• C*-単純性は、非自明な可解的一様再帰的部分群が存在しないことと同値である。
• すべてのC*-単純群はPowersの平均化性質を満たし、逆にこの性質を満たす任意の群はC*-単純である。
• 証明により、任意の元の共役のノルム閉凸包に標準的トレース状態が存在することが示された。
• この特徴づけは、C*-単純性と同値な群論的条件を提供することで、長年の未解決問題を解決した。
• 結果はThompsonの群に応用され、TのC*-単純性からFの非可解性が従い、VがC*-単純であることが示された。