[論文レビュー] Exact Groups, Induced Ideals, and Fell Bundles

Ruy Exel|ArXiv.org|Dec 12, 2000

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

ひとこと要約

本稿は、キルヒバーグとワッサーマンの定理をフェルバンドルへ一般化し、正確な離散群 G とその上に定義された位相的グレーディングをもつ C*-代数 B に対して、忠実な条件付き期待値が存在するとき、任意の不変イデアルは、その単位ファイバー代数との交差によって生成される（＝インダクティブである）ことを証明する。この結果は、群の正確性とグレーディング C*-代数におけるイデアル構造との間の構造的関係を確立する。

ABSTRACT

Given a C*-algebra B which is graded over a discrete group G we consider ideals of B which are invariant under the projections onto each of the grading subspaces. If G is exact and the standard conditional expectation of B is faithful we show that all such ideals are induced, i.e. are generated by their intersection with the unit fiber algebra. This result is derived from a generalization to the context of Fell bundles of a Theorem by Kirchberg and Wasserman according to which a group is exact if and only if its reduced C*-algebra is exact.

研究の動機と目的

• キルヒバーグとワッサーマンによる、群の正確性とその赤色 C*-代数の正確性との間の特徴づけを、フェルバンドルの文脈へ一般化すること。
• 不変イデアルがその単位ファイバー代数との交差によって生成される（インダクティブである）条件を、位相的グレーディング C*-代数において同定すること。
• 条件付き期待値を通じて、群の正確性とグレーディング C*-代数のイデアル論理との間の構造的関係を確立すること。
• 非可解的または非正確な群において、不変イデアルがインダクティブでない場合の原因を解明すること。

提案手法

• 本稿はフェルバンドル理論を用いて、作用の一般化としてのグレーディングをモデル化し、クローズド積や C*-代数的構造を扱う。
• 不変イデアルは各グレーディング部分空間 $ B_t $ への標準射影 $ F_t $ に関して不変であるものと定義され、インダクティブイデアルはその $ B_e $ との交差によって生成されるものと定義される。
• 主な技術的道具は、フェルバンドル $ {\frak B} $ に関連する赤色断面 C*-代数 $ C^*_r({\frak B}) $ の使用であり、これにより正確性の性質を適用できる。
• 証明は、$ {\frak J} $ をバンドル内のイデアルとするとき、列 $ 0 \to C^*_r({\frak J}) \to C^*_r({\frak B}) \to C^*_r({\frak B}/{\frak J}) \to 0 $ の正確性に依存している。
• 商写像 $ \kappa_r $ の核が、集合 $ \{ b \in B : F_e(b^*b) \in {\cal I} \} $ に一致することを示し、与えられた条件下で、これは $ {\cal I} \cap B_e $ によって生成されるイデアルに等しい。
• 条件付き期待値 $ F_e $ の忠実性は、核の条件がイデアル構造を完全に捉えるために不可欠である。

実験結果

リサーチクエスチョン

• RQ1 離散群 $ G $ と位相的グレーディング C*-代数 $ B $ に対して、どのような条件下で、すべての不変イデアルが $ B_e $ との交差によって生成されるか。
• RQ2 群 $ G $ の正確性は、フェルバンドルの文脈におけるその赤色 C*-代数の正確性とどのように関係するか。
• RQ3 キルヒバーグ＝ワッサーマンによる群の正確性の特徴づけは、一般のフェルバンドル断面代数へまで拡張可能か。
• RQ4 条件付き期待値 $ F_e $ の忠実性が、不変イデアルがインダクティブであることを保証するために果たす役割は何か。
• RQ5 群 $ G $ が正確でない場合でさえ、位相的グレーディングのもとで、インダクティブでない性質に構造的障害があるか。

主な発見

• 離散群 $ G $ に対して、$ G $ が正確で、標準的条件付き期待値 $ F_e: B \to B_e $ が忠実であるとき、任意の不変イデアル $ {\cal I} \subseteq B $ に対して $ {\cal I} = \langle {\cal I} \cap B_e \rangle $ が成り立ち、すなわちインダクティブである。
• 証明により、赤色断面 C*-代数 $ C^*_r({\frak B}) $ における商写像 $ \kappa_r $ の核が、与えられた仮定のもとで、$ {\cal I} \cap B_e $ によって生成されるイデアルに正確に一致することが示された。
• この結果は、キルヒバーグとワッサーマンの定理を一般化する：離散群 $ G $ は、ちょうど $ C^*_r(G) $ が正確な C*-代数であるとき、正確である。本結果は、フェルバンドルへと拡張された。
• 条件付き期待値 $ F_e $ の忠実性は、非正確な群における反例によって示されるように、非インダクティブな不変イデアルが生じるのを防ぐために不可欠である。
• 正確性と忠実性の条件下で、$ {\cal I}_1 = {\cal I}_2 = {\cal I}_3 $ が成り立つ。ここで $ {\cal I}_1 = \langle {\cal I} \cap B_e \rangle $、$ {\cal I}_2 = \{ b \in B : F_e(b^*b) \in {\cal I} \} $、$ {\cal I}_3 = \{ b \in B : F_t(b) \in {\cal I} \text{ for all } t \in G \} $ である。
• この結果は、正確な群に位相的グレーディングを施した文脈において、イデアル構造が完全にその単位ファイバー代数との交差によって決定されることを確認する。