[論文レビュー] Semigroupoid C*-Algebras

Ruy Exel|ArXiv.org|Nov 30, 2006

Advanced Operator Algebra Research参考文献 15被引用数 4

ひとこと要約

この論文は、0–1行列や高ランクグラフなどの組合せ的構造に関連するC*-代数を統一的に扱う枠組みとして、半群小屋C*-代数を導入する。半群小屋Λから普遍C*-代数${\cal O}(\Lambda)$を構成し、マコフ半群小屋および出力のない行有限高ランクグラフの場合、${\cal O}(\Lambda)$がそれぞれ標準的なクンツ＝クリーガー代数および高ランクグラフC*-代数と*-同型であることを証明する。これにより、高ランクグラフにおける次元関数がC*-代数を定義するのに不要であることが示される。

ABSTRACT

A semigroupoid is a set equipped with a partially defined associative operation. Given a semigroupoid Λwe construct a C*-algebra C*(Λ) from it. We then present two main examples of semigroupoids, namely the Markov semigroupoid associated to an infinite 0-1 matrix, and the semigroupoid associated to a row-finite higher-rank graph without sources. In both cases the semigroupoid C*-algebra is shown to be isomorphic to the algebras usually attached to the corresponding combinatorial object, namely the Cuntz-Krieger algebras and the higher-rank graph C*-algebras, respectively. In the case of a higher-rank graph (Λ,d), it follows that the dimension function d is superfluous for defining the corresponding C*-algebra.

研究の動機と目的

• 組合せ的対象（グラフや行列など）からC*-代数を一般化するため、半群小屋に基づく統一的枠組みを導入すること。
• 従来の枠組みの制限（非行有限グラフや出力の欠落）を、カテゴリではなく半群小屋を用いることで克服すること。
• 高ランクグラフのC*-代数が半群小屋C*-代数と*-同型であることを示し、次元関数が代数を定義するのに本質的でないことを示すこと。
• 既知の構成（クンツ＝クリーガー代数や高ランクグラフC*-代数など）を一般化する半群小屋の普遍C*-代数の構成を確立すること。

提案手法

• 半群小屋を、部分的に定義された結合的演算を持つ集合として定義し、ドメインとコドメインの構造を欠いたカテゴリの一般化とする。
• エクセルの逆半群C*-代数に関する研究にインspiredされたタイトな表現条件を用いて、半群小屋$\Lambda$から普遍C*-代数${\cal O}(\Lambda)$を構成する。
• クンツ＝クリーガー代数および高ランクグラフC*-代数の標準的生成子が、対応する半群小屋のタイト表現の公理を満たすことを証明する。
• ${\cal O}(\Lambda)$の普遍性を用いて、特定の半群小屋に対して${\cal O}(\Lambda)$と既知のC*-代数との*-同型を確立する。
• 生成子の初期および最終射影が適切に可換することを示し、表現がタイトであることを保証する。
• 行有限で出力のない高ランクグラフ$\Lambda$に対して、$C^*(\Lambda)$と${\cal O}(\Lambda)$との*-同型を、普遍性を用いて逆*-準同型を構成することで確立する。

実験結果

リサーチクエスチョン

• RQ1 0–1行列（クンツ＝クリーガー代数）に関連するC*-代数は、半群小屋C*-代数として回復可能か？
• RQ2 次元関数に依存せずに、高ランクグラフC*-代数を半群小屋フレームワークから再構成できるか？
• RQ3 高ランクグラフにおける次元関数は、C*-代数を定義するのに冗長か？
• RQ4 半群小屋のアプローチは、従来のカテゴリベースの構成で問題を起こす非行有限グラフや出力の欠落といった問題を解決できるか？
• RQ5 半群小屋の普遍C*-代数の構成は、組合せ論からの既存のC*-代数構成を一般化できるか？

主な発見

• 無限の0–1行列から得られるマコフ半群小屋Λに対して、関連する半群小屋C*-代数${\cal O}(\Lambda)$は、対応するクンツ＝クリーガー代数と*-同型である。
• 出力のない行有限高ランクグラフ$\Lambda$に対して、半群小屋C*-代数${\cal O}(\Lambda)$は、標準的な高ランクグラフC*-代数$C^*(\Lambda)$と*-同型である。これにより、次元関数$d$が不要であることが証明された。
• ${\cal O}(\Lambda)$のタイト表現による構成は、非行有限および出力を持つケースを自然に扱い、従来のフレームワークに見られる技術的障害を回避する。
• 証明は、$C^*(\Lambda)$の標準的生成子が半群小屋$\Lambda$のタイト表現を形成することを示すことにより、普遍性を用いて逆*-準同型を構成できるようにする。
• $C^*(\Lambda)$における生成子の初期および最終射影は適切に可換し、普遍的構成に必要なタイト性条件を満たしている。
• $\Phi: C^*(\Lambda) \to {\cal O}(\Lambda)$および$\Psi: {\cal O}(\Lambda) \to C^*(\Lambda)$の逆*-準同型が互いに逆であることが示され、*-同型が確立された。