[論文レビュー] C_0(X)-algebras, stability and strongly self-absorbing C*-algebras

Ilan Hirshberg, Mikael Rørdam+1 more|ArXiv.org|Oct 10, 2006

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

ひとこと要約

本稿は、$C^*$-代数の分類において中心的な性質である安定性および${\mathcal{D}}$-安定性が、${\mathcal{C}}_0(X)$-代数のファイバーから全代数へと伝わる条件を確立する。$X$ が有限次元であるか、Cuntz 半群がほとんど非分解的である場合、ファイバーごとの安定性が全安定性に導くことを証明する。$K_1$-注入的かつ強く自己吸収的である${\mathcal{D}}$ に対しては、$X$ が有限次元であれば、ファイバーごとの${\mathcal{D}}$-安定性が全${\mathcal{D}}$-安定性に導く。これは、Blanchard と Kirchberg の先行結果を一般化する。

ABSTRACT

We study permanence properties of the classes of stable and so-called D-stable C*-algebras, respectively. More precisely, we show that a C_0(X)-algebra A is stable if all its fibres are, provided that the underlying compact metrizable space X has finite covering dimension or that the Cuntz semigroup of A is almost unperforated (a condition which is automatically satisfied for C*-algebras absorbing the Jiang--Su algebra Z tensorially). Furthermore, we prove that if D is a K_1-injective strongly self-absorbing C*-algebra, then A absorbs D tensorially if and only if all its fibres do, again provided that X is finite-dimensional. This latter statement generalizes results of Blanchard and Kirchberg. We also show that the condition on the dimension of X cannot be dropped. Along the way, we obtain a useful characterization of when a C*-algebra with weakly unperforated Cuntz semigroup is stable, which allows us to show that stability passes to extensions of Z-absorbing C*-algebras.

研究の動機と目的

• ${\mathcal{C}}_0(X)$-代数の安定性および${\mathcal{D}}$-安定性がそのファイバーからどのように引き継がれるかを調査すること。
• Blanchard と Kirchberg が連続場において得た${\mathcal{D}}$-安定性に関する結果を一般化すること。
• カバー次元および Cuntz 半群の性質が、安定性および${\mathcal{D}}$-安定性の永続性に果たす役割を明確にすること。
• 無限次元の設定において反例を構成することで、$X$ の有限次元性の仮定が必要であることを示すこと。

提案手法

• ${\mathcal{C}}_0(X)$-代数を局所コンパクトハウスドルフ空間上の連続場として扱う理論を用いる。
• 安定性の特徴づけに Cuntz 半群を適用し、特にほとんど非分解的性質に注目する。
• 引き戻し図と帰納的極限を用いて、ファイバーバンドルにおける拡張および安定性を分析する。
• 強く自己吸収的な${\mathcal{D}}$ の$K_1$-注入性を活用し、ファイバーから全代数への${\mathcal{D}}$-安定性の転送を実現する。
• 局所自明性およびコンパクト近傍被覆を用いて、全${\mathcal{D}}$-安定性を局所${\mathcal{D}}$-安定性に還元する。
• 有限次元性の仮定が本質的であることを示すために、反例を構成する。

実験結果

リサーチクエスチョン

• RQ1 ${\mathcal{C}}_0(X)$-代数のファイバーごとの安定性が全代数の安定性に導く条件は何か？
• RQ2 $X$ が有限次元であるとき、${\mathcal{C}}_0(X)$-代数のすべてのファイバーが${\mathcal{D}}$-安定であると仮定すると、全代数も${\mathcal{D}}$-安定であるか？
• RQ3 $K_1$-注入的かつ強く自己吸収的な${\mathcal{D}}$ に対して、有限次元ベース空間上の連続場へと${\mathcal{D}}$-安定性の永続性が拡張可能か？
• RQ4 $X$ の有限次元性の仮定は、これらの永続性結果にとって必要か？
• RQ5 Cuntz 半群のほとんど非分解的性質は、${\mathcal{C}}_0(X)$-代数における安定性とどのように関係するか？

主な発見

• $X$ が有限次元のコンパクトな距離空間であり、${\mathcal{C}}_0(X)$-代数 $A$ のすべてのファイバーが安定であるならば、$A$ は安定である。
• Cuntz 半群がほとんど非分解的であり、すべてのファイバーが安定であるならば、$X$ の有限次元性を仮定しなくても、$A$ は安定である。
• $K_1$-注入的かつ強く自己吸収的な${\mathcal{D}}$ に対して、$X$ が有限次元であり、すべてのファイバーが${\mathcal{D}}$-安定であるならば、$A$ は${\mathcal{D}}$-安定である。
• $X$ が有限次元であるという条件を除くことはできない：ファイバーが安定または${\mathcal{D}}$-安定であっても、全代数が安定でない反例が存在する。
• ${\mathcal{Z}}$-吸収的 $C^*$-代数の拡張へと安定性が伝わることを、弱く非分解的 Cuntz 半群を持つ代数の特徴づけから導く。
• 反例により、近似的可除性は類似の永続性性質を満たさないことが示され、この文脈における${\mathcal{D}}$-安定性および安定性の特異性が強調される。