[論文レビュー] A new look at C*-simplicity and the unique trace property of a group

Uffe Haagerup|arXiv (Cornell University)|Sep 19, 2015

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

ひとこと要約

本稿は、群C*-代数におけるC*-単純性および一意的トレース性の新しい特徴付けを、内在的なDixmier型性質を用いて提示する。これにより、一意的トレース性と自明な可解的核の同値性を直接証明する。群が一意的トレース状態を持つことと、その可解的核が自明であることとは同値であり、Furmanによる境界作用を用いた可解的核の特徴付けと、縮小群C*-代数におけるDixmier性質の新規応用を用いて示される。

ABSTRACT

We characterize when the reduced C*-algebra of a group has unique tracial state, respectively, is simple, in terms of Dixmier-type properties of the group C*-algebra. We also give a simple proof of the recent result by Breuillard, Kalantar, Kennedy and Ozawa that the reduced C*-algebra of a group has unique tracial state if and only if the amenable radical of the group is trivial.

研究の動機と目的

• 縮小群C*-代数における一意的トレース性と自明な可解的核の同値性を再導出し、境界作用に依存せずに直接的証明を与える。
• 群C*-代数の内在的Dixmier型性質を用いて、C*-単純性および一意的トレース性を特徴付ける。
• 境界作用、可解的核、C*-代数上のトレース構造との関係を明確にする。
• Breuillard, Kalantar, Kennedy, Ozawaらの最近の結果を統合・拡張する。
• Furmanによる可解的核の特徴付けを用いて、一意的トレース性基準の自己完結的かつ初等的な証明を提供する。

提案手法

• 可解的核をすべての境界作用において自明に作用する群元の集合として特徴付けるFurmanの結果を用いる。
• 空間$ X $上のC*-代数$ C(X) \rtimes_r G $の縮小交叉積理論を応用し、群C*-代数上の状態と境界空間上の点評価との関係を確立する。
• 補題3.1を用いて、群元$ t $が境界点において非自明に作用するとき、状態が$ \lambda(t) $上で0に評価されることを示す。
• すべてのトレース状態$ \tau $に対して$ \tau(\lambda(t)) = 0 $が成り立つことと、$ \lambda(t) $の共役の集合$ \{ \lambda(s t s^{-1}) \}_{s \in G} $の閉凸包に0が含まれることの同値性を確立する。
• 任意の元のユニタリ共役の閉凸包がスカラーに交わるというDixmier性質を、単純性およびトレースの一意性を特徴付ける主要な道具として用いる。
• 標準的トレース$ \tau_0 $が内部自己同型に関して不変であることに着目し、Dixmier性質からトレースの一意性が導かれる。

実験結果

リサーチクエスチョン

• RQ1 群の唯一のトレース性は、その可解的核が自明であることと同値であり、境界作用に依存せずに直接証明可能か？
• RQ2 C*-単純性および一意的トレース性は、縮小群C*-代数における内在的Dixmier型性質を用いて特徴付け可能か？
• RQ3 境界作用および群元のFurstenberg境界への作用は、非恒等元のトレースの消滅とどのように関係するか？
• RQ4 Dixmier性質、単純性、トレースの一意性の間の正確な関係は何か？
• RQ5 自由な境界作用の存在は、単純性および一意的トレース性をともに示唆するか？これらは同値か？

主な発見

• 群$ G $が一意的トレース性を持つことと、その可解的核が自明であることとは同値であり、Breuillard, Kalantar, Kennedy, Ozawaの結果を直接証明する。
• 群元$ t \neq e $が、すべてのトレース状態$ \tau $に対して$ \tau(\lambda(t)) = 0 $を満たすことは、$ \{ \lambda(s t s^{-1}) \}_{s \in G} $の共役の閉凸包に0が含まれることと同値である。
• C^*_{\lambda}(G) のC*-単純性は、$ G $の自由な境界作用の存在と同値であり、Breuillard らの結果を新しい方法で確認する。
• 縮小群C*-代数$ C^*_{\lambda}(G) $はDixmier性質を有する — 任意の元のユニタリ共役の閉凸包はスカラーに交わる — ことが、単純かつ一意的トレースを持つことと同値である。
• 一意的トレース性と可解的核の自明性の同値性は、Furmanによる境界作用を用いた可解的核の特徴付けを用いて確立される。
• 本稿は、Dixmier性質が単純性およびトレースの一意性を示唆することを示し、忠実なトレースの仮定の下で逆も成り立つことを示し、Dixmier性質が単純性と一意的トレース性の統合的基準としての役割を強化する。