[論文レビュー] Contributions to the theory of C*-correspondences with applications to multivariable dynamics

Evgenios T. A. Kakariadis, Elias G. Katsoulis|arXiv (Cornell University)|Jan 7, 2011

Advanced Operator Algebra Research被引用数 4

ひとこと要約

この論文は、MuhlyとTomfordeの手法を拡張する一般化された「テールの追加」構成を導入することで、C*-対応の理論を前進させた。この構成により、非単射および単射の対応に関するCuntz-Pimsner代数のモラータ同値性が可能となり、特にテンソル代数のC*-包絡が本質的ヒルベルト双加群のCuntz-Pimsner代数のフルコーナーとして特徴付けられることを示した。さらに、可換および非可換C*-代数の両方における多変数ダイナミクスにおいて、モラータ同値性の結果を確立した。

ABSTRACT

Motivated by the theory of tensor algebras and multivariable C*-dynamics, we revisit two fundamental techniques in the theory of C*-correspondences, the "addition of a tail" to a non-injective C*-correspondence and the dilation of an injective C*-correspondence to an essential Hilbert bimodule. We provide a very broad scheme for "adding a tail" to a non-injective C*-correspondence; our scheme includes the "tail" of Muhly and Tomforde as a special case. We illustrate the diversity and necessity of our tails with several examples from the theory of multivariable C*-dynamics. We also exhibit a transparent picture for the dilation of an injective C*-correspondence to an essential Hilbert bimodule. As an application of our constructs, we prove two results in the theory of multivariable dynamics that extend results of Davidson and Roydor and Peters. We also discuss the impact of our results on the description of the C*-envelope of a tensor algebra as the Cuntz-Pimsner algebra of the associated C*-correspondence.

研究の動機と目的

• MuhlyとTomfordeの制限的な構成を超えて、非単射C*-対応への「テールの追加」技法を一般化すること。
• 単射C*-対応を本質的ヒルベルト双加群へ埋め込む明快で柔軟な拡張法を提供すること。
• DavidsonとRoydorが可換C*-代数に対して得たCuntz-Pimsner代数と交叉積のモラータ同値性の結果を非可換C*-代数へ拡張すること。
• テールの追加を用いて、テンソル代数のC*-包絡をフルコーナーとして特徴付けること。
• グラフ的性質に依存して、グラフC*-代数における射影がフルコーナーである条件を確立すること。

提案手法

• 非単射C*-対応に対する広範なテールの族を導入し、適合する対応のグラフによってパラメータ化することで、MuhlyとTomfordeの固有のテールを一般化する。
• 元の非単射対応のCuntz-Pimsner代数と、テールを追加した単射対応のCuntz-Pimsner代数との間のモラータ同値性を構成する。
• 一般化されたテール構成を用いて、任意のC*-対応を拡張により本質的ヒルベルト双加群へ埋め込む。
• テール構成を多変数ダイナミカルシステムに適用し、非単射系のCuntz-Pimsner代数が単射系のそれとモラータ同値であることを示す。
• 無限路の到達可能性と一意性に依存して、グラフC*-代数 $\mathcal{O}_\mathcal{G}$ の射影 $L_{p_0}$ がフルコーナーであるためのグラフ的特徴付けを確立する。
• テンソル代数のC*-包絡 $\mathrm{C}^*_e(\mathcal{T}_X^+)$ が、$X$ にテールを追加して得られる本質的ヒルベルト双加群 $Y$ のCuntz-Pimsner代数 $\mathcal{O}_Y$ のフルコーナーと同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 非単射C*-対応への「テールの追加」構成は、MuhlyとTomfordeの固有のテールを超えて、広範な族の構成へ一般化可能か？
• RQ2 非単射C*-対応のCuntz-Pimsner代数が、単射対応のそれとモラータ同値となる条件は何か？
• RQ3 テンソル代数のC*-包絡は、本質的ヒルベルト双加群のCuntz-Pimsner代数のフルコーナーとして実現可能か？
• RQ4 どのようなグラフ的条件が、グラフC*-代数における射影 $L_{p_0}$ がフルコーナーであることを保証するか？
• RQ5 DavidsonとRoydorが可換の場合に得たモラータ同値性の結果を、非可換設定へどのように拡張できるか？

主な発見

• 著者らは、任意の非単射C*-対応に対して、適合する対応のグラフによってパラメータ化された非可算個のテール族を構成した。これは、MuhlyとTomfordeの構成を一般化するものである。
• 非単射C*-対応のCuntz-Pimsner代数は、対応するテール拡張付き単射対応のそれと強くモラータ同値である。
• テンソル代数のC*-包絡 $\mathrm{C}^*_e(\mathcal{T}_X^+)$ は、$X$ にテールを追加して得られる本質的ヒルベルト双加群 $Y$ のCuntz-Pimsner代数 $\mathcal{O}_Y$ のフルコーナーと同型である。
• 多変数ダイナミクスにおいて、非可換C*-代数上の非単射系のCuntz-Pimsner代数は、単射系のそれとモラータ同値であり、可換の場合の結果を拡張する。
• 出発点を持たない連結有向グラフ $\mathcal{G}$ に対して、$\mathbb{C}L_{p_0}$ が $\mathcal{O}_\mathcal{G}$ のフルコーナーであるための必要十分条件は、$\mathcal{G}$ が $p_0$-到達可能かつ $p_0$ に到達する無限路がちょうど一つであることである。
• テールの構成により、得られるC*-対応が動的システム対応のクラスに属するためには特定の条件が必要であり、一般化されたテールはMuhly-Tomfordeのテールの制限を回避する。