[論文レビュー] Realising the C*-algebra of a higher-rank graph as an Exel crossed product

Nathan Brownlowe|arXiv (Cornell University)|Dec 23, 2009

Advanced Operator Algebra Research被引用数 4

ひとこと要約

本稿は、有限整列高ランクグラフ $\Lambda$ の境界パス空間からヒルベルト双モジュールの積系を構成し、その結果、グラフ C*-代数 $C^*(\Lambda)$ がこの系のクンツ・ニカ・パインザー代数 $\mathcal{N}\mathcal{O}(X)$ に同型であることを示している。また、部分自己準同型と移行作用素からなる半群による新しい交叉積構成を導入し、$C_0(\partial\Lambda) \rtimes_{\alpha,L} \mathbb{N}^k \cong C^*(\Lambda)$ を証明することで、高ランクグラフ C*-代数が一般にエクセル型交叉積として実現されることを示している。

ABSTRACT

We use the boundary-path space of a finitely-aligned k-graph Λto construct a compactly-aligned product system X, and we show that the graph algebra C^*(Λ) is isomorphic to the Cuntz-Nica-Pimsner algebra NO(X). In this setting, we introduce the notion of a crossed product by a semigroup of partial endomorphisms and partially-defined transfer operators by defining it to be NO(X). We then compare this crossed product with other definitions in the literature.

研究の動機と目的

• 非単位的 C*-代数に対する部分自己準同型と移行作用素からなる半群へのエクセルの交叉積構成を一般化すること。
• 局所有限でないグラフにまで拡張して、グラフ C*-代数を交叉積として実現すること。
• 高ランクグラフ $\Lambda$ の境界パス空間 $\partial\Lambda$ から積系 $X$ を構成し、クンツ・ニカ・パインザー代数が適切に定義されるためにコンパクトな整合性を保証すること。
• クンツ・ニカ・パインザー代数 $\mathcal{N}\mathcal{O}(X)$ がグラフ C*-代数 $C^*(\Lambda)$ に同型であることを証明し、$C^*(\Lambda)$ がエクセル型交叉積として実現されることを示すこと。

提案手法

• 境界パス空間 $\partial\Lambda$ とシフト写像 $\sigma_n$ を用いて、$\mathbb{N}^k$ 上の $C_0(\partial\Lambda)$-双モジュールの積系 $X$ を構成する。
• スミスとイーデンの枠組みを用い、コンパクトに整合された積系のためのクンツ・ニカ・パインザー共変表現の普遍 C*-代数として、クンツ・ニカ・パインザー代数 $\mathcal{N}\mathcal{O}(X)$ を定義する。
• 境界パス空間 $\partial\Lambda$ 上のシフト写像 $\sigma_n$ を用いて、$C_0(\partial\Lambda)$ 上の部分的自己準同型 $\alpha_n$ と部分的に定義された移行作用素 $L_n$ を定義する。局所有限性の欠如により、これらは常に定義されるわけではない。
• エクセルとラーセンの構成を部分的作用に一般化し、$\mathcal{N}\mathcal{O}(X)$ として定義することにより、新しい交叉積 $C_0(\partial\Lambda) \rtimes_{\alpha,L} \mathbb{N}^k$ を導入する。
• シリンダ集合と最小パスの詳細な解析を用いて、積系 $X$ がコンパクトに整合されていることを証明する。これは、ゲージ不変性の普遍性定理と $\mathcal{N}\mathcal{O}(X)$ の適切な定義に不可欠である。
• クンツ・ニカ・パインザー共変関係を検証し、$\mathcal{N}\mathcal{O}(X)$ の普遍性を用いて、自然な $*$-同型 $C^*(\Lambda) \to \mathcal{N}\mathcal{O}(X)$ を確立する。

実験結果

リサーチクエスチョン

• RQ1 有限整列 $k$-グラフの C*-代数は、部分的自己準同型と移行作用素からなる半群を用いてエクセル交叉積として実現可能か？
• RQ2 無限パス空間が局所コンパクトでない場合、高ランクグラフの境界パス空間からヒルベルト双モジュールの積系をどのように構成できるか？
• RQ3 高ランクグラフに関連する積系のクンツ・ニカ・パインザー代数が、グラフ C*-代数 $C^*(\Lambda)$ に同型であるための条件は何か？
• RQ4 新しい交叉積構成は、エクセル、ラーセン、ロイヤーらの既存の定義と、高ランクグラフの文脈でどのように関係しているか？
• RQ5 境界パス積系 $X$ のクンツ・ニカ・パインザー代数 $\mathcal{N}\mathcal{O}(X)$ は、ゲージ不変性の普遍性定理によって普遍的に特徴づけられるか？

主な発見

• 任意の有限整列 $k$-グラフ $\Lambda$ に対して、境界パス積系 $X$ のクンツ・ニカ・パインザー代数 $\mathcal{N}\mathcal{O}(X)$ はグラフ C*-代数 $C^*(\Lambda)$ に同型であり、$C^*(\Lambda)$ がクンツ・ニカ・パインザー代数として普遍的に実現されることを確立する。
• 境界パス空間 $\partial\Lambda$ から構成された積系 $X$ はコンパクトに整合されており、$\mathcal{N}\mathcal{O}(X)$ に対してゲージ不変性の普遍性定理が成り立つことが保証される。これは、付録で証明された重要な技術的結果である。
• 交叉積 $C_0(\partial\Lambda) \rtimes_{\alpha,L} \mathbb{N}^k$ は $\mathcal{N}\mathcal{O}(X)$ として定義され、部分的自己準同型と移行作用素を用いたエクセル型交叉積としての高ランクグラフ C*-代数の新しい構成を与える。
• 同型 $C^*(\Lambda) \cong \mathcal{N}\mathcal{O}(X)$ は自然であり、ゲージ作用を尊重する。これにより、スミスとイーデンのクンツ・ニカ・パインザー共変条件が $k$-グラフの文脈における正しい普遍的枠組みであることが確認される。
• 本構成は、従来の結果を一般化する。局所有限性や出力の不在を要件としないため、すべての有限整列 $k$-グラフをカバーする形で、グラフ代数のエクセル交叉積実現を $k$-グラフにまで拡張する。
• 本稿は、新しい交叉積と既存の構成との明確な関係を確立し、高ランクグラフの文脈で、ラーセンの半群交叉積とエクセルの単一自己準同型交叉積の両方を一般化していることを示している。