[論文レビュー] Characterization of linear groups whose reduced C*-algebras are simple

Tal Poznansky|ArXiv.org|Dec 12, 2008

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

ひとこと要約

本稿では、可算線型群 Γ に対して、その削減 C*-代数が単純であるための必要十分条件として、Γ が非自明な正規可解部分群を持たないこと、およびその条件が C*-代数上のトレース状態の一意性と同値であること、を確立している。証明は、局所体上の代数群における近接性と横断性を含む力学的技法と、表現や群作用に関する構造的結果を統合している。

ABSTRACT

The reduced C*-algebra of a countable linear group G is shown to be simple if and only if G has no nontrivial normal amenable subgroups. Moreover, these conditions are shown to be equivalent to the uniqueness of tracial state on the aforementioned C*-algebra.

研究の動機と目的

• 可算線型群の削減 C*-代数が単純である条件を特徴づけること。
• 線型群の削減 C*-代数が一意なトレース状態をもつ条件を特定すること。
• 線型群において、削減 C*-代数の単純性と非自明な正規可解部分群の不在との同値性を確立すること。
• 表現論的および幾何的技法を用いて、線型群における力学的および代数的条件を統合すること。
• 群論的および幾何的手法を用いて、線型群の文脈における単純性およびトレースの一意性を完全に特徴づけること。

提案手法

• ピングポーン補題を適応・精錬し、要素そのものに対してピングポーン相手を直接構成する。
• ブルハット分解とセル分解を用いて、グラスマン多様体の積上の軌道構造を分析する。
• 局所体上のザリスキ・DNA部分群における半単純要素の特徴的部分空間に対して横断性の議論を適用する。
• 外冪と局所体を法とする還元を用いて、単純連結型群における重み空間を研究する。
• 所定の半単純要素が収縮的力学をもつように作用する局所体上の準射影的表現を構成する。
• コンパクト性とプロファイント完成を用いて、共役類の部分群との交わりを制御し、自由部分群の構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 可算線型群の削減 C*-代数が単純であるための群論的条件は何か？
• RQ2 線型群の削減 C*-代数が一意なトレース状態をもつのはいつか？
• RQ3 近接性や横断性といった力学的性質を、線型群における代数的構造を特徴づけるためにどのように用いることができるか？
• RQ4 正規可解部分群は、線型群の削減 C*-代数の構造においてどのような役割を果たすか？
• RQ5 有限指数部分群において特定の共役類が存在しないことは、C*-代数の単純性を示唆するのに利用できるか？

主な発見

• 可算線型群 Γ の削減 C*-代数が単純であるための必要十分条件は、Γ が非自明な正規可解部分群を持たないことである。
• 削減 C*-代数の単純性は、正規化を除いて、代数上のトレース状態の一意性と同値である。
• 線型群に属する非ねじれ半単純要素に対しては、局所体上の有限次元かつ絶対的単純な表現が存在し、その中で要素が非常に近接的に作用する。
• 単純連結型群の場合は、局所体を法とする還元と外冪技法を用いることで、共役な半単純要素の特徴的部分空間に対する精密な制御が達成される。
• 有限生成線型群のプロファイント位相において、与えられた要素と自由積を生成する要素の集合は稠密である。
• 線型群 Γ の任意の有限指数部分群 H と任意の右剰余類 Hg に対して、Hg に属するある要素が、適切な表現において収縮的力学をもつことが保証され、重み空間分解における特定のアフィン超平面と自明に交わることが保証される。