[論文レビュー] Relative Cuntz-Pimsner Algebras, Partial Isometric Crossed Products and Reduction of Relations

B. K. Kwaśniewski, А. В. Лебедев|arXiv (Cornell University)|Apr 29, 2007

Advanced Topics in Algebra被引用数 11

ひとこと要約

本稿は、相対的クンツ＝ピンスナー代数と部分等長的交叉積の間の明確な対応関係を確立し、任意のヒルベルト双加群を、同じ相対的クンツ＝ピンスナー代数を生成する最小のものに変換する還元手続きを導入する。主な貢献は、C*-動的系に関連するすべての相対的クンツ＝ピンスナー代数が、還元されたC*-動的系上の交叉積として得られることを証明することであり、これにより、標準的還元と同型定理を通じて、これらの代数の研究が統一的かつ簡素化される。

ABSTRACT

The article discusses the interrelation between relative Cuntz-Pimsner algebras and partial isometric crossed products, and presents a procedure that reduces any given Hilbert bimodule to the "smallest" Hilbert bimodule yielding the same relative Cuntz-Pimsner algebra as the initial one. In the context of crossed products this reduction procedure corresponds to reduction of C*-dynamical systems.

研究の動機と目的

• 相対的クンツ＝ピンスナー代数と部分等長的交叉積の間の構造的関係をC*-代数論において明確化すること。
• 任意のヒルベルト双加群を、元のものと同じ相対的クンツ＝ピンスナー代数を生成する最小のものに変換する還元手続きを開発すること。
• C*-動的系に関連するすべての相対的クンツ＝ピンスナー代数が、還元されたC*-動的系上の交叉積と同型であることを示すこと。
• 与えられた系とイデアルに対して、標準的なC*-動的系を確立し、関係を簡略化し、既知の交叉積理論の結果の適用を可能にすること。

提案手法

• 本稿は、元のものと同じ相対的クンツ＝ピンスナー代数を生成する最小の双加群を構成する、ヒルベルト双加群の還元プロセスを導入する。
• 還元された系 $(A/J_\nu, \nu_\nu)$ の拡張として、標準的C*-動的系 $(A_J, \nu_J)$ を定義する。ここで $J_\nu$ は自己準同型の反復作用で消える要素のイデアルである。
• 商 $A/J_\nu$ と誘導された自己準同型 $ \nu_\nu$ を用いて、核が自明な新しい系を定義し、より明確な代数的関係を可能にする。
• 著者らは、相対的クンツ＝ピンスナー代数 $ O(J,E)$ が、標準的系 $(A_J, \nu_J)$ の交叉積と同型であることを証明する。この同型は、部分等長的等長 $u$ を満たす普遍関係 $uau^* = \nu_J(a)$ および $u^*u$ が $A_J$ の中心にあることを含む。
• この手法は、ヒルベルト双加群のフォック表現とトーペリッツ表現に依拠し、関連する生成作用素と $\mathcal{K}(E)$-作用を用いる。
• 既知の結果 [11]、[8]、[10] を還元された系に適用し、ノルム評価、イデアル構造、同型定理などの性質を元の代数に対して導出する。

実験結果

リサーチクエスチョン

• RQ1 与えられたヒルベルト双加群を、同じ相対的クンツ＝ピンスナー代数を生成する最小のものにどのように還元できるか？
• RQ2 相対的クンツ＝ピンスナー代数と部分等長的交叉積の正確な関係は何か？
• RQ3 C*-動的系に関連する相対的クンツ＝ピンスナー代数が、還元された系上の交叉積として生じる条件は何か？
• RQ4 標準的還元された系に移行することで、交叉積構成における関係を簡略化できるか？

主な発見

• 相対的クンツ＝ピンスナー代数 $\mathcal{O}(J,E)$ は、商 $A/J_\infty$ と誘導された自己準同型 $\nu_\infty$ から構成される標準的 $C^*$-動的系 $(A_J, \nu_J)$ の交叉積と同型である。
• 標準的系 $(A_J, \nu_J)$ は核が自明であるため、交叉積における関係が非退化的で良好に振る舞い、$u^*u$ が $A_J$ の中心にあることが保証される。
• 還元プロセスにより、C*-動的系から得られるすべての相対的クンツ＝ピンスナー代数が、還元された系上の交叉積として得られることを保証し、C*-代数論における二つの主要な構成法を統一する。
• クンツ＝ピンスナー代数 $\mathcal{O}(A,E)$ は、ある $n$ に対して $\delta^n(a) = 0$ となる $a \in A$ の集合が $A$ で稠密であるときかつそのときに限り、ゼロに還元される。
• この構成により、還元された系に [11] と [8] の既知の結果を適用でき、ノルム評価、イデアル構造の解析、元の代数に対する同型定理の導出が可能になる。
• 本稿は、$\mathcal{O}(J,E) = \mathcal{O}((\ker \delta_J)^\perp, E_J)$ を確立し、代数が還元された系とその関連イデアルにのみ依存することを示している。