[論文レビュー] Amplified graph C*-algebras

Søren Eilers, Efren Ruiz+1 more|arXiv (Cornell University)|Oct 12, 2011

Advanced Operator Algebra Research参考文献 13被引用数 9

ひとこと要約

本稿では、任意の頂点間のエッジが無限個の並行エッジからなる群に属する拡大グラフ C*-代数—つまり、拡大グラフ C*-代数—の完全不変量として、温度調整された原始的理想空間を導入する。この不変量の同型が C*-代数の同型に引き上げられることを証明し、Effros-Handelman-Shen に類似した範囲結果を確立し、このような代数の拡張が再び拡大グラフの C*-代数であることを示す。

ABSTRACT

We provide a complete invariant for graph C*-algebras which are amplified in the sense that whenever there is an edge between two vertices, there are infinitely many. The invariant used is the standard primitive ideal space adorned with a map into {-1,0,1,2,...}, and we prove that the classification result is strong in the sense that isomorphisms at the level of the invariant always lift. We extend the classification result to cover more graphs, and give a range result for the invariant (in the vein of Effros-Handelman-Shen) which is further used to prove that extensions of graph C*-algebras associated to amplified graphs are again graph C*-algebras of amplified graphs.

研究の動機と目的

• 任意の2つの頂点の間にエッジが存在する場合、それらの間には無限個の並行エッジが存在する、いわゆる拡大グラフ C*-代数に対して、完全で強い分類不変量を提供すること。
• 有限な理想ラティスにとどまらない分類結果を、K-理論的条件、特に有限生成 K0-群によって定義されるクラスにまで拡張すること。
• Effros-Handelman-Shen の精神に則った、不変量の範囲結果を確立し、このような代数がより大きなクラスの中で識別可能であるようにすること。
• 拡張に関する不変性結果を証明し、拡大グラフ C*-代数の拡張が再び拡大グラフの C*-代数であることを示すこと。

提案手法

• 標準的な原始的理想空間の改良版として、局所的商の K0-群のデータを符号化する Z ∪ {−∞, ∞}-値写像 τ を持つ、温度調整された原始的理想空間を導入する。
• グラフにおける推移的閉包および拡大操作を用いて、構造的性質と C*-代数不変量との関係を関係づける。
• C*-代数の理想ラティスと有限グラフの C*-代数の理想ラティスとの間のラティス同型を、原始的理想空間上のホメオモーティズムを介して構成する。
• 拡大グラフが条件 (K) を満たすため、理想構造が経路構造によって決定され、K0 の計算が単純化されることを活用する。
• 分類結果（命題 6.10 および定理 6.21）を適用し、温度調整不変量の同型が C*-代数の同型に引き上げられることを示す。
• 範囲結果を用いて、K0-群が有限生成であるようなクラスに属する任意の単位的 C*-代数が、ある有限グラフ G に対して C*(Ḡ) と同型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 温度調整された原始的理想空間は、拡大グラフ C*-代数に対して強い分類不変量であるか？
• RQ2 この不変量の範囲は何か？ そして、より大きなクラスの中で拡大グラフ C*-代数を識別するのに利用可能か？
• RQ3 拡大グラフ C*-代数の拡張は再び拡大グラフの C*-代数であるか？
• RQ4 このような代数の K0-群構造は、不変量から完全に回復可能か？
• RQ5 不変量は、FK(−) といった元の K-理論的不変量とどのように関係しているか？

主な発見

• Prim(A) に写像 τ: Prim(A) → {−1} ∪ ℕ を備えた温度調整された原始的理想空間は、拡大グラフ C*-代数に対して完全不変量である。
• 温度調整不変量の同型は、常に C*-代数の同型に引き上げられ、強分類結果を確立する。
• K0-群が有限生成であるクラスに属する任意の単位的 C*-代数は、ある有限グラフ G に対して C*(Ḡ) と同型である。これは範囲結果を証明する。
• 0 → C*(Ḡ₁) ⊗ K → A → C*(Ḡ₂) → 0 という形の拡張で、G₁, G₂ が有限グラフである場合、A は再びある有限グラフ G に対して C*(Ḡ) と同型である。これは不変性を確認する。
• このような代数の K0-群は、局所的パーツの K0-群の直和と同型であり、各局所的パーツの K0-群は Z^n に同型である（ある n に対して）。
• 点 x ∈ Prim(A) における不変量 τ(x) は、K0(A[x]) のランクを符号化しており、τ(x) ∈ {−1} ∪ ℕ であるのは、K0(A[x]) が有限生成である場合に限る。