[論文レビュー] Cuntz-Krieger type uniqueness theorem for topological higher-rank graph C*-algebras

Shinji Yamashita|arXiv (Cornell University)|Nov 16, 2009

Advanced Operator Algebra Research参考文献 21被引用数 3

ひとこと要約

本稿は、KatsuraとSims-YeendのCuntz-Pimsner共変関係の間の新しい接続を導入することにより、位相的高ランクグラフC*-代数に対してCuntz-Krieger型の一意性定理を確立する。周期的でない条件のもとで、Cuntz-Nica-Pimsner代数から共変表現によって生成されるC*-代数への標準的全射が等長写像であることを証明し、表現の忠実性を保証することで、代数の構造的解析を可能にする。

ABSTRACT

We study Sims-Yeend's product system C*-algebras and topological higher-rank graph C*-algebras by Yeend. We give a relation between Katsura's Cuntz-Pimsner covariance and Sims-Yeend's one by a direct approach and an explicit form of the core of product system C*-algebras. Finally, we prove Cuntz-Krieger type uniqueness theorem for topological higher-rank graph C*-algebras under certain aperiodic condition.

研究の動機と目的

• 位相的高ランクグラフC*-代数に対してCuntz-Krieger型の一意性定理を確立すること。
• KatsuraのCuntz-Pimsner共変性とSims-Yeendの積系C*-代数共変性の関係を明確にすること。
• \mathbb{N}^{\oplus k} 上の積系C*-代数のコアを明示的に記述すること。
• 周期的でない条件下で、普遍表現の忠実性を証明し、C*-代数の構造的解析を可能にすること。

提案手法

• \mathbb{N}^k-次数付き積系に対して、KatsuraとSims-YeendのCuntz-Pimsner共変性関係を直接的かつ明示的に結びつける構成を導入する。
• \varphi_M^\psi-写像と単射表現を用いて、Pimsnerの仕事の一般化として積系C*-代数のコアを構成する。
• ゲージ不変性の一意性定理を適用し、Sims-Yeendの共変性を標準的Cuntz-Pimsner枠組みと関連付ける。
• 位相的高ランクグラフ$\Lambda$における周期的でない条件を定義し、コア表現が忠実であることを保証する。
• コンパクト近傍とセグメント写像を用いた背理法により、suppが互いに交わらないことを示し、普遍写像の単射性を導く。
• コア射影$E_\psi$を用い、$\pi_M$と$\psi^{(M)}$の単射性を活用して$\|x_0\| \leq \|x\|$および最終的に$\Pi\psi$が等長写像であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 位相的高ランクグラフの文脈において、KatsuraのCuntz-Pimsner共変性とSims-Yeendの積系共変性の関係は何か？
• RQ2 $\mathbb{N}^{\oplus k}$ 上の積系C*-代数のコアは、その下位構造を用いて明示的に記述可能か？
• RQ3 位相的高ランクグラフC*-代数の普遍表現が忠実であるためのトップロジカル条件は何か？
• RQ4 古典的Cuntz-Krieger代数の一意性定理に類似した、位相的高ランクグラフC*-代数に対するCuntz-Krieger型の一意性定理は存在するか？

主な発見

• 本稿は、\mathbb{N}^k-次数付き積系に対して、KatsuraとSims-YeendのCuntz-Pimsner共変性関係の直接的同等性を確立し、文脈の基礎的不整合を解消する。
• Pimsnerの構成の一般化として、積系C*-代数のコアの明示的モデルが提供される。
• 定義5.10で定義された周期的でない条件により、普遍写像$\Pi\psi: \mathcal{NO}_X \to C^*(\psi)$が等長写像であることが保証され、位相的高ランクグラフC*-代数に対するCuntz-Kriegerの一意性定理が証明される。
• 証明は、$\|x_0\| \leq \|x\|$を満たす正の元$x_0$の構成と、$\pi_M$と$\psi^{(M)}$の単射性の利用に基づき、$\Pi\psi$が単射であることを示す。
• 結果は例5.13の位相的高ランクグラフ$\Lambda_{\mathrm{BC}}$に適用可能であり、[11, 定理3.7]の別証明を提供する。
• 一意性定理により、ゲージ不変イデアルや位相的高ランクグラフC*-代数の構造的性質の解析が、忠実表現を用いて可能になる。