[論文レビュー] A direct approach to co-universal algebras associated to directed graphs

Aidan Sims, Samuel B. G. Webster|arXiv (Cornell University)|Dec 17, 2009

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

ひとこと要約

本稿では、すべてのサイクルがエントランスを持つ有向グラフに関連するトーペリッツ・クノイラー・クリーガー族のための共普遍的 C*-代数の直接的構成を提示する。アーベル部分代数（有限パスの範囲射影によって生成されるもの）と忠実な条件付き期待値を直接用いることで、ゲージ作用、固定点代数、イデアル構造理論に依存せずに、すべてのこのような族を普遍的に因数分解する C*-代数の存在を確立する。主な結果は、サイクルにエントランスがあるという条件下で、共普遍的代数が存在し、非ゼロ部分等長作用素族がトーペリッツ・クノイラー・クリーガー関係を満たす場合に普遍的であるということである。

ABSTRACT

We prove directly that if E is a directed graph in which every cycle has an entrance, then there exists a C*-algebra which is co-universal for Toeplitz-Cuntz-Krieger E-families. In particular, our proof does not invoke ideal-structure theory for graph algebras, nor does it involve use of the gauge action or its fixed point algebra.

研究の動機と目的

• すべてのサイクルがエントランスを持つ有向グラフにおけるトーペリッツ・クノイラー・クリーガー族の共普遍的 C*-代数の存在を確立すること。
• ゲージ作用、固定点代数、グラフ C*-代数のイデアル構造理論に依存しない直接的証明を提供すること。
• 左正則表現によって生成される C*-代数が、非ゼロ部分等長作用素族が TCK 関係を満たす場合に共普遍的であることを示すこと。
• 非ゼロ TCK 家族から生成される C*-代数への標準的ホモモルフィズムが共普遍的代数を因数分解する条件を特定すること。
• 共普遍的代数が非ゼロ TCK 家族の最小の普遍的対象であるという意味で最小であることを示すこと。

提案手法

• 非ゼロ部分等長作用素からなる特定のトーペリッツ・クノイラー・クリーガー族 $(S^{\mathrm{ap}}, P^{\mathrm{ap}})$ を生成する普遍的 C*-代数 $C^{*}_{\mathrm{min}}(E)$ を構成する。
• 有限パスの範囲射影によって生成されるアーベル部分代数 $\overline{\operatorname{span}}\{P^{\mathrm{ap}}_{\lambda}:\lambda\in E^{*}\}$ を定義する。
• このアーベル部分代数への条件付き期待値 $\Phi_{S^{\mathrm{ap}},P^{\mathrm{ap}}}$ を、$\ell^2(\partial E^{\mathrm{ap}})$ 上のランク1射影の強 operator 極限を用いて構成する。
• この期待値が正の元に対して忠実であることを示す。具体的には、$\ell^2(\partial E^{\mathrm{ap}})$ の標準的正規直交基底における行列係数の強 operator 極限と一致することを示す。
• 任意の非ゼロ TCK 家族のアーベル部分代数から $\overline{\operatorname{span}}\{P^{\mathrm{ap}}_{\lambda}\}$ へのホモモルフィズム $\psi_{q}$ を定義する。ここで $q_{\lambda}$ を $P^{\mathrm{ap}}_{\lambda}$ にマッピングし、経路の網羅性条件を用いる。
• 期待値の整合性と忠実性を用いて、$\pi_{t,q}(a) = 0$ がかつて $\pi_{S^{\mathrm{ap}},P^{\mathrm{ap}}}(a) = 0$ と同値であることを示し、共普遍的性質を証明する。

実験結果

リサーチクエスチョン

• RQ1 すべてのサイクルがエントランスを持つ有向グラフにおけるトーペリッツ・クノイラー・クリーガー族に対して、ゲージ作用やイデアル理論に依存せずに共普遍的 C*-代数が存在するか？
• RQ2 有限パスの範囲射影によって生成されるアーベル部分代数を用いた直接的アプローチによって、共普遍的性質を確立できるか？
• RQ3 TCK 家族から共普遍的代数への標準的ホモモルフィズムがいつ単射か？
• RQ4 共普遍的代数からそのアーベル部分代数への条件付き期待値が正の元に対して忠実か？
• RQ5 共普遍的代数が非ゼロ TCK 家族の最小の普遍的対象として特徴付けられるか？

主な発見

• すべてのサイクルがエントランスを持つ任意の有向グラフ $E$ に対して、左正則表現から直接構成された共普遍的 C*-代数 $C^{*}_{\mathrm{min}}(E)$ が存在する。
• 共普遍的代数 $C^{*}_{\mathrm{min}}(E)$ からアーベル部分代数 $\overline{\operatorname{span}}\{P^{\mathrm{ap}}_{\lambda}\}$ への条件付き期待値 $\Phi_{S^{\mathrm{ap}},P^{\mathrm{ap}}}$ は正の元に対して忠実である。
• 非ゼロ射影 $q_v$ を持つ任意のトーペリッツ・クノイラー・クリーガー族 $(t,q)$ に対して、普遍的ホモモルフィズム $\pi_{t,q}$ の核は $\pi_{S^{\mathrm{ap}},P^{\mathrm{ap}}}$ の核に含まれるため、$\pi_{S^{\mathrm{ap}},P^{\mathrm{ap}}}$ は $C^{*}(t,q)$ を因数分解する。
• ホモモルフィズム $\psi_{t,q}: C^{*}(t,q) \to C^{*}_{\mathrm{min}}(E)$ が単射であるための必要十分条件は、次の2条件を満たすことである：(a) 任意の有限な網羅的集合 $F \subset vE^*$ に対して $\prod_{\lambda\in F}(q_v - q_\lambda) = 0$ が成り立ち、(b) 期待値 $\Phi_{t,q}$ が忠実であること。
• すべての $v$ に対して $\pi(P^{\mathrm{ap}}_v) \neq 0$ を満たす任意のホモモルフィズム $\pi: C^{*}_{\mathrm{min}}(E) \to C$ は単射である。これは $C^{*}_{\mathrm{min}}(E)$ が共普遍的意味で最小であることを示している。
• 証明はゲージ作用、固定点代数、イデアル構造理論を回避し、パス空間上の射影と期待値の直接的解析に依存している。