[論文レビュー] Real rank zero and tracial states of C*-algebras associated to graphs

Mark Tomforde|arXiv (Cornell University)|Apr 8, 2002

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

ひとこと要約

本稿では、グラフ C*-代数 C∗(G) の K₀群上の状態と正規化されたグラフトレース T(G) の間の標準的同一視を確立し、G が条件 (K) を満たすとき、自然な写像 rG: T(C∗(G))→T(G) がアフィンホメオモルフィズムであることを示している。主な貢献は、グラフトレースを用いたトレース的状態の位相的および代数的特徴付けであり、特に特定の状況下での極値点の明示的同定がなされている。

ABSTRACT

Abstract. If G is a graph and C ∗ (G) is its associated C ∗-algebra, then we show that the states on K0(C ∗ (G)) can be identified with T(G), the graph traces on G of norm 1. With this identification the standard map r C ∗ (G) : T(C ∗ (G))→S(K0(C ∗ (G))) from tracial states on C ∗ (G) to states on K0(C ∗ (G)) becomes a map rG: T(C ∗ (G))→T(G). We prove that if G satisfies Condition (K), then the map rG is an affine homeomorphism. We also examine situations in which we can identify the extreme points of T(G). 1.

研究の動機と目的

• K₀(C∗(G)) 上の状態と G 上の正規化されたグラフトレースの間の標準的対応を確立すること。
• 写像 rG: T(C∗(G))→T(G) を用いて、C∗(G) 上のトレース的状態の構造を分析すること。
• 写像 rG がアフィンホメオモルフィズムとなる条件を特定すること。
• 正規化されたグラフトレースの凸集合 T(G) の極値点を特徴付けること。

提案手法

• 標準的写像 rG を用いて、K₀(C∗(G)) 上の状態を正規化されたグラフトレース T(G) と同一視すること。
• グラフ C*-代数の構造とその K-理論を用いて、トレース的状態の像を分析すること。
• グラフ G に条件 (K) を適用し、射影が K₀群を生成し、トレース構造が安定化することを保証すること。
• 位相的議論を用いて、条件 (K) を満たすとき rG が連続なアフィン一対一写像かつ逆写像も連続であることを示すこと。
• 特に有限または無閉路のグラフの文脈において、極値的グラフトレースを分析することで、T(G) の極値点を特徴付けること。
• C∗(G) の普遍的性質と普遍的トレースを用いて、T(G) を C∗(G) のトレース空間 T(C∗(G)) と関連付けること。

実験結果

リサーチクエスチョン

• RQ1 写像 rG: T(C∗(G))→T(G) がアフィンホメオモルフィズムとなるのはいつか？
• RQ2 K₀(C∗(G)) 上の状態は、どのようにして G 上の正規化されたグラフトレースと標準的に同一視できるか？
• RQ3 グラフ G にどのような条件を課すと、トレース空間 T(G) が C∗(G) のトレース的状態空間とアフィンホメオモルフィズムとなるか？
• RQ4 どのグラフトレースが凸集合 T(G) の極値点であるか？
• RQ5 T(G) の極値点は、元のグラフ G の構造とどのように関係しているか？

主な発見

• 写像 rG: T(C∗(G))→T(G) がアフィンホメオモルフィズムであるのは、グラフ G が条件 (K) を満たす場合に限る。
• K₀(C∗(G)) 上の状態は、ノルム 1 の正規化されたグラフトレース T(G) と一対一対応する。
• T(G) の極値点は極値的グラフトレースに対応し、特に有限または無閉路のグラフのような状況では明示的に同定可能である。
• T(G) を K₀(C∗(G)) 上の状態と同一視することは標準的であり、トレース空間のアフィン構造を保つ。
• 写像 rG はトレース的状態空間とグラフトレース空間の位相的および順序的構造を保存する。
• 条件 (K) により、K₀群が射影によって生成され、これがホメオモルフィズムが成立するために不可欠である。