[論文レビュー] The Toeplitz algebra of a Hilbert bimodule

Neal J. Fowler, Iain Raeburn|ArXiv.org|Jun 18, 1998

Advanced Operator Algebra Research参考文献 12被引用数 6

ひとこと要約

本稿は、C*-代数上のヒルベルト双加群のトーペリッツ代数を導入し、交叉積、カントツ代数、カントツ＝クリーガー代数といった構成を一般化する。有向グラフのトーペリッツ＝カントツ＝クリーガー代数に関して一意性定理を確立し、$O_\infty$ に対するカントツの一意性定理を拡張し、ヒルベルト双加群構造を通じてこれらの C*-代数を表現論的枠組みで理解するための基盤を提供する。

ABSTRACT

Suppose a C*-algebra A acts by adjointable operators on a Hilbert A-module X. Pimsner constructed a C*-algebra O_X which includes, for particular choices of X, crossed products of A by Z, the Cuntz algebras O_n, and the Cuntz-Krieger algebras O_B. Here we analyse the representations of the corresponding Toeplitz algebra. One consequence is a uniqueness theorem for the Toeplitz-Cuntz-Krieger algebras of directed graphs, which includes Cuntz's uniqueness theorem for O_\infty.

研究の動機と目的

• C*-代数上のヒルベルト双加群に関連するトーペリッツ代数の表現論を構築すること。
• クロス積、$O_n$、$O_B$ といった既知の C*-代数の構成を統一的枠組み内で一般化すること。
• 有向グラフのトーペリッツ＝カントツ＝クリーガー代数に関する一意性定理を確立すること。
• カントツの $O_\infty$ に対する一意性定理を、より広いクラスのグラフ代数へと拡張すること。
• トーペリッツ代数を用いたピンスナーの $O_X$ 構成の表現論的基盤を提供すること。

提案手法

• C*-代数 $A$ 上のヒルベルト双加群 $X$ のフォック空間表現によって生成される C*-代数として、トーペリッツ代数 $\mathcal{T}_X$ を構成する。
• トーペリッツ代数の普遍性を用いて、対 $(A, X)$ の共変表現を通じてその表現を分析する。
• ヒルベルト双加群に関連する C*-代数の理論を応用し、$\mathcal{T}_X$ の表現に関する一意性条件を導出する。
• 一般枠組みを有向グラフに特化し、関連するヒルベルト双加群およびそのトーペリッツ代数を特定する。
• 一意性定理を用いて、$O_\infty$ に対するカントツの一意性結果を特別な場合として回復・一般化する。
• フォック加群および生成作用素の構造を活用して、$\mathcal{T}_X$ の表現の核を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 トーペリッツ代数の普遍表現に関して、ヒルベルト双加群のトーペリッツ代数はどのように特徴づけられるか？
• RQ2 トーペリッツ代数の表現が有向グラフのカントツ＝クリーガー代数を通じて因数分解されるための条件は何か？
• RQ3 $O_\infty$ に対する一意性定理は、より一般のグラフ C*-代数へどのように拡張されるか？
• RQ4 ヒルベルト双加群枠組みは、$O_n$、$O_B$、およびクロス積といった構成をどのように統一するか？
• RQ5 フォック加群は、トーペリッツ代数の表現論においてどのような役割を果たすか？

主な発見

• 本稿は、有向グラフのトーペリッツ＝カントツ＝クリーガー代数に関して一意性定理を確立し、表現が忠実であるための必要十分条件が、グラフの C*-代数に非退化であることにかぎることを保証する。
• 一意性定理はカントツの $O_\infty$ に対する結果を一般化しており、これは無限大の均一グラフのトーペリッツ代数として回復される。
• C*-代数 $A$ 上のヒルベルト双加群 $X$ のトーペリッツ代数 $\mathcal{T}_X$ は、普遍的共変表現を備えていることが示され、その表現の体系的解析が可能になる。
• $\mathcal{T}_X$ の構成は、ピンスナーの $O_X$ 代数（クロス積やカントツ＝クリーガー代数を含む）を統一的に扱う枠組みを提供する。
• 任意の $\mathcal{T}_X$ の表現の核は、関連する共変対の台によって定まるため、完全に可約表現の特徴づけが可能になる。
• 本稿は、トーペリッツ代数がグラフ C*-代数の本質的構造を捉えていることを確認し、分類のための主要な道具として一意性定理が果たす役割を明確にする。