[論文レビュー] Tensor algebras of C*-correspondences and their C*-envelopes

Elias G. Katsoulis, David W. Kribs|ArXiv.org|Jun 8, 2005

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

ひとこと要約

本論文は、任意のC*-対応のテンソル代数のC*-包絡が、Katsuraが定義した関連するCuntz-Pimsner代数と一致することを確立する。証明はゲージ不変性の独自性定理と、C*-対応にテールを追加する技法を用い、忠実性および厳密性の仮定を必要としていた先行研究を、それらの制限なしに一般化する。

ABSTRACT

We show that the $\ca$-envelope of the tensor algebra of an arbitrary $\ca$-correspondence $\X$ coincides with the Cuntz-Pimsner algebra $Ø_{\X}$, as defined by Katsura \cite{Ka}. This improves earlier results of Muhly and Solel and Fowler, Muhly and Raeburn, who came to the same conclusion under the additional hypothesis that $\X$ is strict and faithful.

研究の動機と目的

• Fowler, Muhly, および Raeburn が提起した未解決問題、すなわち、テンソル代数のC*-包絡がCuntz-Pimsner代数に一致するためには忠実性および厳密性が必要かどうかを解消すること。
• 忠実かつ厳密なC*-対応に限って有効であった先行結果を、すべてのC*-対応に適用可能な一般的特徴付けにまで拡張すること。
• Muhly および Solel の先行結果に依存せず、C*-対応にテールを追加する手法を用いることで、自己完結的な証明を提供すること。
• [5] の定理5.3における証明のギャップを是正すること。ここでは、近似単位に関する主張が左作用の非退化性に依存していることが判明した。
• C*-対応の性質にかかわらず、テンソル代数のC*-包絡が常にCuntz-Pimsner代数に一致することを確認する一般枠組みを確立すること。

提案手法

• Cuntz-Pimsner代数におけるゲージ不変性の独自性定理を用いて、C*-包絡内のイデアルを分析する。
• Muhly および Tomforde によって一般化された、C*-対応にテールを追加する技法を適用し、問題をユニタリの場合に還元する。
• Cuntz-Pimsner代数内におけるテンソル代数のシロフ境界イデアルを分析し、ゲージ不変性および係数代数との非ゼロ交差により、これが自明でなければならないことを示す。
• 必要に応じてCuntz-Pimsner代数をユニタリ化することで、ユニタリおよび非ユニタリの場合を両方取り扱い、シロフイデアルのゲージ不変性を保持する。
• C*-対応の普遍共変表現を用いて、Cuntz-Pimsner代数をテンソル代数のC*-包絡として構成する。
• Cuntz-Pimsner代数内の任意の非ゼロのゲージ不変イデアルは、係数代数の像と交差しなければならないという事実を活用し、シロフイデアルがゼロでなければならないことを示す。

実験結果

リサーチクエスチョン

• RQ1 忠実性や厳密性の仮定なしに、C*-対応のテンソル代数のC*-包絡は常にそのCuntz-Pimsner代数に一致するか？
• RQ2 C*-包絡の結果が忠実かつ厳密なC*-対応のクラスを超えて拡張可能か？
• RQ3 Muhly および Solel の先行結果に依存せず、ゲージ不変性の独自性定理のみでC*-包絡を同定できるか？
• RQ4 [5, 定理5.3] における近似単位に関する主張は、左作用の非退化性が成り立たない場合にも有効か？
• RQ5 C*-対応にテールを追加する手法を用いて、一般の場合をユニタリ設定に還元可能か？

主な発見

• 任意のC*-対応のテンソル代数のC*-包絡は、その対応に関連するCuntz-Pimsner代数と可換同型である。
• C*-対応が忠実または厳密である必要がなく、従来の制限付き結果を一般化する。
• 証明により、Cuntz-Pimsner代数内におけるテンソル代数のシロフ境界イデアルは自明であることが示され、C*-包絡がCuntz-Pimsner代数全体に一致することを意味する。
• [5, 定理5.3] の証明におけるギャップ（近似単位の振る舞いに関するもの）は、左作用の非退化性に依存しないことを示すことによって是正された。
• 必要に応じてCuntz-Pimsner代数をユニタリ化することで、シロフイデアルのゲージ不変性が保持され、C*-包絡がCuntz-Pimsner代数のまま保たれる。
• 系として、有向グラフのテンソル代数のC*-包絡は、そのグラフの普遍Cuntz-Krieger代数に一致し、[9] の結果が新しい証明により再確認された。