[論文レビュー] Universal operator algebras of directed graphs

Benton L. Duncan|ArXiv.org|Apr 26, 2004

Advanced Operator Algebra Research参考文献 12被引用数 6

ひとこと要約

本稿では、有向グラフに関連する普遍的作用素代数および普遍的 C*-代数を導入し、有限グラフの場合、これらが3つの基本的構成ブロック代数の自由積に分解されることを示している。また、可算グラフの場合、これらは有限部分グラフ代数の直和限界として得られる。主な貢献は、これらの代数の K-群の計算であり、それが頂点数にのみ依存することを明らかにし、非自己共役作用素代数を分類する上での限界を示している。

ABSTRACT

We define and investigate properties of universal operator algebras of directed graphs. Results include free products decomposition and continuity of the construction with respect to direct limits. Lastly we prove some K-theoretic results about our algebras.

研究の動機と目的

• 有向グラフから普遍的作用素代数および普遍的 C*-代数を定義・構成し、Toeplitz クワイバー代数に関する先行研究を一般化すること。
• 有限有向グラフの場合、普遍的作用素代数が3つの基本的構成ブロック代数の自由積に分解されることを示すこと。
• 有限部分グラフ代数の直和限界を用いて、可算有向グラフへその構成を拡張すること。
• 有向グラフの普遍的作用素代数および普遍的 C*-代数の K-理論を計算し、K-理論が不変量としての構造的限界を明らかにすること。
• 有向グラフの圏から作用素代数および C*-代数の圏への関手を確立し、自由積および直和限界を保存すること。

提案手法

• 単位的作用素代数 $ A $ に対する最大 C*-代数 $ C^{*}_{m}(A) $ の普遍的性質を用い、任意の完全に収縮的な準同型が C*-代数へ一意に *-準同型に引き上げられることを保証する。
• Blecher [2] の構成を適用し、有向グラフの普遍的 C*-代数を、頂点に対応する射影とエッジに対応する部分等長作用素によって生成される C*-代数として実現する。
• 自由積の分解を用い、任意の有限有向グラフが3つの基本的グラフ $ L_1 $（1頂点、エッジなし）、$ B_1 $（1頂点、1つのループ）、$ L_2 $（2頂点、エッジなし）の自由積として表現可能であることを示す。
• 普遍的性質を用いて、有限有向グラフの普遍的作用素代数が、その構成ブロック成分の普遍的代数の自由積に一致することを示す。
• 無限グラフの場合、包含写像を用いて有限部分グラフの普遍的代数の直和限界として普遍的作用素代数を構成する。
• 直和限界における K-理論の連続性および Cuntz [4] の結果を用い、無限グラフの K-群を計算する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして有向グラフに対して普遍的作用素代数および普遍的 C*-代数を体系的に構成できるか？
• RQ2 自由積や直和限界などの構造的分解は、有限および可算有向グラフの普遍的作用素代数を特徴づけるか？
• RQ3 有向グラフの普遍的作用素代数の K-理論は何か？ また、普遍的 C*-代数の K-理論とどのように関係するか？
• RQ4 K-群は、有向グラフから得られる非自己共役作用素代数を分類する不変量として、どの程度有効か？
• RQ5 有向グラフからその普遍的作用素代数および普遍的 C*-代数への関手は、自由積や直和限界といった圏論的構成をどのように保存するか？

主な発見

• 任意の有限有向グラフの普遍的作用素代数は、グラフ $ L_1 $、$ B_1 $、$ L_2 $ に対応する3つの基本的構成ブロック代数の自由積に分解される。それぞれが異なる構造的成分を表す。
• 可算有向グラフの場合、普遍的作用素代数は、その有限部分グラフの普遍的代数の直和限界と同型である。
• 有向グラフの普遍的作用素代数の K-群は頂点数にのみ依存する：$ K_*(OA(Q)) = K_*(\bigoplus_{|V(Q)|} \bbC) $、ここで $ V(Q) $ は頂点集合である。
• 有向グラフの普遍的 C*-代数の K-理論は、普遍的作用素代数の K-理論と同型であり、K-理論がこれらの非自己共役作用素代数を区別するのには弱い不変量であることを示している。
• 最大 C*-代数関手は直和限界を保存するため、有限グラフから可算グラフへの K-理論計算の拡張が可能である。
• K-理論の計算により、$ K_0(OA(Q)) = \bbZ^{|V(Q)|} $ および $ K_1(OA(Q)) = 0 $ が得られ、K-理論が頂点数を超えた構造的差を検出できないことが確認された。