[論文レビュー] Ext classes and embeddings for C*-algebras of graphs with sinks

Mark Tomforde|ArXiv.org|Mar 8, 2001

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

ひとこと要約

この論文は、有向グラフ $G$ の1-シンク拡張と $ olinebreak[4]\operatorname{Ext}(C^*(G))$ の元との間の対応関係を確立し、$G$ にシンクを含む $C^*$-代数が $C^*(G)$-埋め込みによって別の $C^*$-代数に埋め込まれるための必要十分条件が、それらに付随する Ext 群の類が等しいことであることを示している。主な結果は、$G$ のすべてのループがエグジットを持つという条件下で、シンクを含むグラフ $C^*$-代数の分類定理を一般化する。

ABSTRACT

We consider directed graphs E which have been obtained by adding a sink to a fixed graph G. We associate an element of Ext(C*(G)) to each such E, and show that the classes of two such graphs are equal in Ext(C*(G)) if and only if the associated C*-algebra of one can be embedded as a full corner in the C*-algebra of the other in a particular way. If every loop in G has an exit, then we are able to use this result to generalize some of the classification theorems of Raeburn, Tomforde, and Williams for C*-algebras of graphs with sinks.

研究の動機と目的

• シンクを含む有向グラフから生じる $C^*$-代数の構造を理解すること。これは、以前の Cuntz-Krieger やグラフ代数フレームワークでは除外されていた。
• シンクを含むグラフ $C^*$-代数の分類定理を、Ext 群に結びつけることで一般化すること。
• 1-シンク拡張の $C^*$-代数が $C^*(G)$-埋め込みによって別のものにフルコーナーとして埋め込まれるためのグラフ論的条件を提供すること。
• 境界頂点、パス、および Wojciech ベクトルが Ext 群の類と埋め込み関係を決定する役割を分析すること。

提案手法

• Wojciech ベクトルとパス構造を用いて、グラフ $G$ の各1-シンク拡張 $E$ を $ olinebreak[4]\operatorname{Ext}(C^*(G))$ の類に結びつける。
• 有限個の頂点からなる集合 $F$ と $F$ に制限された隣接行列 $A_F$ を用いて、$A_F - I$ の余核におけるベクトル $ olinebreak[4]\omega_E^1 + Xn_E$ の像によって、$E$ の Ext 群の類を定義する。
• 最大テールの構造とシンクから到達可能な頂点の性質を用いて、関連するホモロジー的データを定義する集合 $H$ と $F^0$ を定義する。
• 2つの拡張が同値な Ext 群の類をもたらすための条件を、ベクトルの対に対する CK 同値関係を用いて特徴付ける。
• $C^*(E_1)$ が $C^*(E_2)$ に $C^*(G)$-埋め込みで埋め込まれる問題を、余核 $ olinebreak[4]\operatorname{coker}(A_F - I)$ 内での $[\omega_{E_1}^1 + Xn_{E_1}] = [\omega_{E_2}^1 + Xn_{E_2}]$ のチェックに還元する。
• 線形代数を用いて方程式系が解を持つかどうかをテストし、類の等価性を決定する。

実験結果

リサーチクエスチョン

• RQ1 有向グラフ $G$ の1-シンク拡張の $C^*$-代数が、$C^*(G)$-埋め込みによって別の同様の代数にフルコーナーとして埋め込まれる条件は何か？
• RQ2 $H$ 内の到達可能な頂点における Wojciech ベクトルと境界辺の数は、シンク付きグラフの Ext 群の類にどのように影響するか？
• RQ3 2つの $G$ の1-シンク拡張が $ olinebreak[4]\operatorname{Ext}(C^*(G))$ 内で同じ類をもつための正確な条件は何か？
• RQ4 $F^0$ から $H$ 内の境界頂点へのパスの有無が、拡張されたグラフの $C^*$-代数間の埋め込み関係にどのように影響するか？
• RQ5 Ext 群の類の等価性が自明に満たされる状況は何か？ そしてこれは完全に不必要拡張（すべての $G$ の頂点がシンクに到達しない）とどのように関係するか？

主な発見

• グラフ $G$ の2つの1-シンク拡張 $E_1$ と $E_2$ が $C^*(G)$-埋め込みのもとで $C^*$-同型となるための必要十分条件は、それらに付随する $ olinebreak[4]\operatorname{Ext}(C^*(G))$ 内の Ext 群の類が等しいことである。
• 1-シンク拡張の Ext 群の類は、有限個の頂点からなる集合 $F$ と $F$ 上での隣接行列 $A_F$ を用いて、ベクトル $ olinebreak[4]\omega_E^1 + Xn_E$ を $ olinebreak[4]\operatorname{im}(A_F - I)$ で割った剰余類として決定される。
• もし $G$ のすべてのループがエグジットを持つならば、Ext 群の類の条件が $C^*(E_1)$ と $C^*(E_2)$ 間の $C^*(G)$-埋め込みの存在を完全に特徴づけ、既知の分類定理を一般化する。
• すべての $G$ の頂点がシンクに到達しない（完全に不必要）拡張の場合、Ext 群の類の条件は自明に満たされ、1つの $C^*$-代数は常に他方の $C^*(G)$-埋め込みで埋め込める。
• 対応する $H$ 内の境界頂点が $F^0$ から到達可能でない限り、$ olinebreak[4]\omega_E^2$ の値は Ext 群の類に影響しない。つまり、埋め込み条件に影響するのは到達可能な境界辺のみである。
• バイインフィニットライングラフ $G$ の例では、$A_G - I$ が全射であるため、すべての本質的1-シンク拡張が同じ Ext 群の類を持つ。よって、埋め込みが可能となるのは、両方の拡張が本質的であるか、または両方が完全に不必要である場合に限る。