[論文レビュー] C*-algebras associated to product systems of Hilbert bimodules

Aidan Sims, Trent Yeend|ArXiv.org|Dec 18, 2007

Advanced Operator Algebra Research参考文献 24被引用数 44

ひとこと要約

本稿では、準格子順序群上のコン pact に整列されたヒルベルト双モジュールの積系に対して、Cuntz-Nica-Pimsner 環を普遍 C*-代数の構成として導入する。これは Cuntz-Pimsner 環、グラフ C*-代数、Toeplitz 環の境界商を一般化し、多くの系において普遍表現が等長であることを証明する。

ABSTRACT

Let (G,P) be a quasi-lattice ordered group and let X be a compactly aligned product system over P of Hilbert bimodules. Under mild hypotheses we associate to X a C*-algebra which we call the Cuntz-Nica-Pimsner algebra of X. Our construction generalises a number of others: a sub-class of Fowler's Cuntz-Pimsner algebras for product systems of Hilbert bimodules; Katsura's formulation of Cuntz-Pimsner algebras of Hilbert bimodules; the C*-algebras of finitely aligned higher-rank graphs; and Crisp and Laca's boundary quotients of Toeplitz algebras. We show that for a large class of product systems X, the universal representation of X in its Cuntz-Nica-Pimsner algebra is isometric.

研究の動機と目的

• 既存の C*-代数の構成（Cuntz-Pimsner 環、グラフ C*-代数、境界商など）を、半群上のヒルベルト双モジュールの積系の統一的な枠組みに一般化すること。
• 準格子順序群上のコン pact に整列された積系に対して、Cuntz-Nica-Pimsner 環と呼ばれる新しい普遍 C*-代数を定義すること。
• この代数への普遍表現が等長である条件を確立し、ヒルベルト双モジュールやグラフ代数に関する先行研究の結果を拡張すること。
• 新しい構成が、既知の結果（Katsura の相対 Cuntz-Pimsner 環、Crisp と Laca の境界商）を統合・拡張することを示すこと。
• 左作用がコンパクト作用素でない場合や非行間欠損グラフに対しても適用可能な枠組みを提供すること。

提案手法

• 準格子順序群 (G,P) 上のコン pact に整列されたヒルベルト双モジュールの積系 X に対する普遍 C*-代数として Cuntz-Nica-Pimsner 環を定義する。
• Katsura の相対 Cuntz-Pimsner 環の共変性条件を用いて普遍表現を定義し、双モジュール構造と整合性を保つ。
• Fowler と Raeburn の Toeplitz 環の一意性定理を適用し、ゲージ不変条件の下で表現の忠実性を確立する。
• 積系の構造と準格子順序を用いて、写像 $\iota^s_p$ と射影 $1_p \otimes 1_p^*$ を通じて等長的半群表現を定義する。
• 各 $p \in F$ に対して $p \leq s$ のとき、和 $1_{\mathcal{L}(X_s)} + \sum (-1)^{|H|} \iota^{s}_{\vee H}(1_{\vee H} \otimes 1_{\vee H}^*)$ が消えることにより、普遍表現が等長であることを証明する。
• 右角アーベル群 (G,P) 上の積系 $X = \mathbb{C}^P$ に対して、Crisp と Laca の境界商 $C_0(\partial\Omega) \rtimes G$ と同型であることを示す。これは、普遍代数内での境界商の定義関係が満たされることを検証することで達成される。

実験結果

リサーチクエスチョン

• RQ1 Cuntz-Pimsner 環は、準格子順序群上の半群におけるヒルベルト双モジュールの積系へどのように一般化できるか？
• RQ2 積系の Cuntz-Nica-Pimsner 環への普遍表現が等長である条件は何か？
• RQ3 Cuntz-Nica-Pimsner 環の構成は、グラフ代数や Toeplitz 環の境界商といった既知の C*-代数構成を統一的に扱えるか？
• RQ4 準格子順序とコン pact 整列の役割は、普遍 C*-代数の存在と一意性を保証するために果たすか？
• RQ5 新しい構成は、Katsura の相対 Cuntz-Pimsner 環を、非行間欠損および非単射な設定へどのように拡張するか？

主な発見

• Cuntz-Nica-Pimsner 環 $\mathcal{NO}_X$ は、準格子順序群 $(G,P)$ 上のコン pact に整列された積系 $X$ の表現に対する普遍 C*-代数として定義され、複数の既存構成を一般化する。
• 広範なクラスの積系に対して、$\mathcal{NO}_X$ への普遍表現は等長である。これは各生成子のノルムが保存されることを意味する。
• この構成は Katsura の相対 Cuntz-Pimsner 環を一般化し、任意の（非行間欠損な）グラフに対するグラフ C*-代数の定義を可能にする。
• 右角アーベル群 $(G,P)$ 上の積系 $X = \mathbb{C}^P$ の Cuntz-Nica-Pimsner 環は、Crisp と Laca の境界商 $C_0(\partial\Omega) \rtimes G$ と同型である。
• 生成子 $W_s = j_X(1_s)$ が $\mathcal{NO}_X$ 内で境界商の定義関係を満たすことを検証することで、同型が確立される。特に、$\Gamma^{\text{opp}}$ の有限連結成分 $C$ に対して、積条件 $\prod_{s \in C} (1 - T_s T_s^*) = 0$ が成り立つ。
• $C_0(\partial\Omega) \rtimes G$ の単純性と普遍準同型の上への性質から、写像 $\pi: C_0(\partial\Omega) \rtimes G \to \mathcal{NO}_X$ が同型であることが示され、普遍性が裏付けられる。