[論文レビュー] Exactness of Cuntz-Pimsner C*-algebras

Ken Dykema, Dimitri Shlyakhtenko|ArXiv.org|Nov 2, 1999

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

ひとこと要約

この論文は、C*-代数 A 上の全ヒルベルト C*-バイモジュールに関連するクンツ＝パインスナー代数が、A が正確であるときにかつそのときに限り正確であることを確立する。著者らはこの結果を用いて、正確な C*-代数の縮小化されたアンビグラート自由積の正確性について新しい証明を提供し、さらにベース代数が有限次元である場合には、そのような代数上のボグリューボフ自己同型がゼロの位相的エントロピーを持つことを示している。

ABSTRACT

Let H be a full Hilbert bimodule over a C*-algebra A. We show that the Cuntz-Pimsner C*-algebra associated to H is exact if and only if A is exact. Using this result, we give alternative proofs for exactness of reduced amalgamated free products of exact C*-algebras. In the case that A is a finite dimensional C*-algebra, we also show that the Brown-Voiculescu topological entropy of Bogljubov automorphisms of the Cuntz-Pimsner algebra associated to an A,A Hilbert bimodule is zero.

研究の動機と目的

• クンツ＝パインスナー代数の正確性を、そのベース C*-代数の正確性の観点から特徴づけること。
• クンツ＝パインスナー代数の正確性を用いて、正確な C*-代数の縮小化されたアンビグラート自由積の正確性について新しい証明を提供すること。
• ベース代数が有限次元である場合に、クンツ＝パインスナー代数上のボグリューボフ自己同型の位相的エントロピーを調査すること。
• 特に自由積と自己同型との関係において、演算子代数の文脈での位相的エントロピーの理解を拡張すること。

提案手法

• ヒルベルト C*-バイモジュールの構造と関連するクンツ＝パインスナー代数の構成を用いて、代数の正確性とベース C*-代数の正確性との関係を確立すること。
• Fock空間に付随する有限次元部分バイモジュールに対して、射影と完全正規化写像を用いた圧縮法を適用すること。
• イデアルの鎖を構成し、正確性が有限次元商への圧縮によって保存されることを用いること。
• 拡張されたクンツ＝パインスナー代数と縮小化されたアンビグラート自由積との同型を活用し、自由積をクンツ＝パインスナー代数に埋め込むこと。
• ベース代数の有限次元性を用いて、Fock空間上の作用素 C*-代数のランクを抑え、エントロピー推定の指数的成長を抑制すること。
• 完全正規化写像とそのノルムを用いた位相的エントロピーの定義を適用し、ランクが指数的成長を示さない場合にエントロピーがゼロであるという事実を用いること。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト C*-バイモジュールのクンツ＝パインスナー代数がどのような条件下で正確になるか。
• RQ2 クンツ＝パインスナー代数の正確性を用いて、C*-代数の縮小化されたアンビグラート自由積の正確性を再証明できるか。
• RQ3 ベース代数が有限次元である場合に、クンツ＝パインスナー代数上のボグリューボフ自己同型の位相的エントロピーは何か。
• RQ4 Fock空間およびその有限次元部分空間の構造は、自己同型のエントロピーとどのように関係するか。
• RQ5 ベース C*-代数の正確性は、関連するクンツ＝パインスナー代数の正確性の必要十分条件か。

主な発見

• C*-代数 A 上の全ヒルベルト C*-バイモジュールに関連するクンツ＝パインスナー代数は、A が正確であるときにかつそのときに限り正確である。
• 正確な C*-代数の縮小化されたアンビグラート自由積の正確性は、対応するクンツ＝パインスナー代数の正確性の結果として導かれる。
• ベース C*-代数が有限次元である場合には、クンツ＝パインスナー代数上のすべてのボグリューボフ自己同型の位相的エントロピーはゼロである。
• 有限次元 Fock 空間上の作用素 C*-代数のランクが反復回数に対して指数的成長を示さないことを示すことで、エントロピーがゼロであることが示された。
• 縮小自由積をクンツ＝パインスナー代数に埋め込むことで、自由積の場合の正確性に関する新しい証明が可能になった。
• Fock 空間の有限次元部分空間における射影と完全正規化写像の構成により、ランクの上限を用いたエントロピー推定が可能になった。