[論文レビュー] Stability of C*-algebras associated to graphs

Mark Tomforde|ArXiv.org|May 15, 2002

Advanced Operator Algebra Research参考文献 8被引用数 7

ひとこと要約

この論文は、任意の有向グラフに付随するC*-代数の安定性を、5つの同値条件を確立することで特徴づけている。そのうちの一つはグラフ論的基準であり、それは『ソースのないグラフのC*-代数は、すべての頂点が無限個の頂点から到達可能であるときにかつそのときに限り安定である』というものである。主な貢献は、各頂点にヘッド（無限大のテール）を追加するというグラフの変更によって、安定化を構成的に実現することである。これにより、得られるグラフC*-代数が元の代数とコンact作用素とのテンソル積に同型であることが示され、したがってグラフC*-代数のクラスが安定化に関して閉じていることが示された。

ABSTRACT

We characterize stability of graph C*-algebras by giving five conditions equivalent to their stability. We also show that if G is a graph with no sources, then C*(G) is stable if and only if each vertex in G can be reached by an infinite number of vertices. We use this characterization to realize the stabilization of a graph C*-algebra. Specifically, if G is a graph and F is the graph formed by adding a head to each vertex of G, then C*(F) is the stabilization of C*(G).

研究の動機と目的

• 任意の有向グラフのC*-代数が、コンパクト作用素とのテンソル積と同型である、すなわち安定であるときの条件を特徴づけること。
• 局所的に有限または行有限なグラフに対して得られたC*-代数の安定性に関する先行結果を、任意の有向グラフへ一般化すること。
• グラフC*-代数の安定化を、明示的かつグラフ論的手段で別のグラフC*-代数として実現する方法を提供すること。
• グラフC*-代数のクラスが安定化に関して閉じていること、つまりコンパクト作用素とのテンソル積をとることに関して閉じていることを示すこと。これは、以前には一般に示されていなかった性質である。

提案手法

• 有向グラフGに対して、標準的な関係を満たす射影と部分等長移動の普遍Cuntz-Krieger G族を用いて、C*-代数C*(G)を定義する。
• グラフGの各頂点に「ヘッド」を追加する概念を導入し、各頂点に無限路を接続することで、新たなグラフḠを構成する。
• C*(Ḡ)がC*(G)とモラタ同倹であることを証明し、C*(Ḡ)が安定であることが示されたことから、C*(Ḡ) ≅ C*(G) ⊗ Kが導かれる。
• RørdamとHjelmborgによる安定性の非自明な特徴づけを、グラフ全体にわたるグラフトレースに適応することで、安定性の5条件の同値性を確立する。
• ソースのないグラフGに対して、C*(G)が安定であるための必要十分条件として、Gのすべての頂点が無限個の他の頂点から到達可能であること、という条件を、経路構造とMurray-von Neumann同値性を用いて示す。
• グラフ変更の構成を応用して、安定化を明示的に実現し、C*(G)の安定化が自身がグラフC*-代数であることを示す。

実験結果

リサーチクエスチョン

• RQ1 有向グラフGに対して、その付随するC*-代数C*(G)が安定であるための条件は何か？
• RQ2 グラフC*-代数の安定化を、構成的なグラフ論的操作によって、別のグラフC*-代数として実現できるか？
• RQ3 ソースのないグラフに対して、そのC*-代数の安定性を保証するグラフ論的性質は何か？
• RQ4 グラフC*-代数のクラスは、安定化に関して閉じているか、すなわちコンパクト作用素とのテンソル積をとることに関して閉じているか？
• RQ5 有向グラフの各頂点にヘッドを追加することは、そのC*-代数の構造にどのような影響を及ぼし、結果として得られる代数は何か？

主な発見

• C*-代数C*(G)は、5つの同値条件が成り立つときにかつそのときに限り安定である。そのうちの一つは、すべての有限路に沿って0となるグラフトレースが存在し、ある比較性を満たすことである。
• ソースのないグラフGに対して、C*(G)は、Gのすべての頂点が無限個の他の頂点から到達可能であるときにかつそのときに限り安定である。
• Gの各頂点にヘッドを追加することで得られる新たなグラフḠに対して、C*(Ḡ) ≅ C*(G) ⊗ Kが成り立ち、これにより安定化の明示的実現が得られる。
• 任意のグラフC*-代数の安定化自体が、再びグラフC*-代数であることが示された。これにより、グラフC*-代数のクラスが安定化に関して閉じていることが証明された。
• ヘッドを追加するḠの構成により、C*(Ḡ)が安定であることが保証され、C*(G)がC*(Ḡ)のフルコーナーに埋め込まれることから、安定化同型が導かれる。
• この手法は、行有限や局所的に有限でないような任意の有向グラフに適用可能であり、従来の結果を顕著に一般化している。