[論文レビュー] Some intrinsic properties of simple graph $C^*$-algebras

David Pask, Seung-Jai Rho|ArXiv.org|Dec 18, 2002

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

ひとこと要約

本稿は、グラフ C*-代数のゲージ固定点代数 $C^*(E)^\gamma$ が単純であるための必要十分条件を確立し、モリタ同値の意味で、このような代数はいずれ AF 代数であるか、または周期 1 の強連結グラフから生じることを示している。主な結果は、$C^*(E)^\gamma$ が単純であることと、グラフ $E$ が行有限であり、周期 1 の有限個の頂点を持つコファイナルで強連結な部分グラフを含むこと、または単一の頂点からなることとが同値であることである。

ABSTRACT

To a directed graph $E$ is associated a $C^*$-algebra $C^* (E)$ called a graph $C^*$-algebra. There is a canonical action $γ$ of ${\bf T}$ on $C^* (E)$, called the gauge action. In this paper we present necessary and sufficient conditions for the fixed point algebra $C^* (E)^γ$ to be simple. Our results also yield some structure theorems for simple graph algebras.

研究の動機と目的

• ゲージ作用 $\gamma$ における固定点代数 $C^*(E)^\gamma$ が単純となる内在的条件を同定すること。
• モリタ同値の意味で単純なグラフ $C^*$-代数を分類し、それらが AF 代数か、強連結グラフに関連するものであることを示すこと。
• $E$ が強連結で周期 $d$ を持つとき、固定点代数 $C^*(E)^\gamma$ の構造的性質を確立すること、特にそれが $d$ 個の同型な AF 代数の直和に分解されることを示すこと。
• $E$ が有限かつ強連結である場合の $C^*(E)$ の安定同型型を探索し、単純な AF 代数に対する $\mathbb{Z}$-作用によるクロスダクト積と関連付けること。

提案手法

• 円群 $\mathbf{T}$ のゲージ作用 $\gamma$ を用い、$C^*(E)$ 上で固定点代数 $C^*(E)^\gamma$ を焦点とする。
• 非負行列理論およびトポロジカルグラフ理論の結果、特に非可約行列と強連結グラフに関する結果を応用する。
• 被覆空間をモデル化し、$C^*(E)^\gamma$ の構造を解析するために、相対スケュー・プロダクト・グラフ $E \times_c (H\backslash\Gamma)$ を構成する。これは、以前のスケュー・プロダクト構成を一般化したものである。
• ローカル電圧群不変量を用いて、スケュー・プロダクト・グラフの連結成分を同型な部分グラフに分解する。
• すべての辺に対して $c(e) = 1$ と標準的ラベルを設定することで、$C^*(E \times_c \mathbb{Z}) \cong C^*(E) \times_\gamma \mathbb{T}$ を実現し、固定点代数をクロスダクト構造と関連付ける。
• 単純性、イデアル、モリタ同値に関する $C^*$-代数理論の定理を用い、$C^*(E)^\gamma$ を分析する。

実験結果

リサーチクエスチョン

• RQ1 グラフ $C^*$-代数 $C^*(E)$ 上のゲージ作用 $\gamma$ における固定点代数 $C^*(E)^\gamma$ がいつ単純になるか？
• RQ2 どのグラフ $C^*$-代数が AF 代数や単純な AF 代数に対する $\mathbb{Z}$-作用によるクロスダクト積とモリタ同値になるか？
• RQ3 強連結グラフ $E$ の周期 $d$ が $C^*(E)^\gamma$ の構造にどのように影響するか？
• RQ4 $E$ が周期 $d$ を持つ強連結グラフであるとき、$C^*(E)^\gamma$ が $d$ 個の互いに同型な AF 代数の直和に同型となるための条件は何か？
• RQ5 どのような条件下で $C^*(E)$ が単純な AF 代数に対する $\mathbb{Z}$-作用によるクロスダクト積と安定同型になるか？

主な発見

• 固定点代数 $C^*(E)^\gamma$ が単純であることと、$E$ が行有限であり、周期 1 で有限個の頂点を持つコファイナルで強連結な部分グラフを含むこと、または $E$ が単一の頂点からなることとが同値である。
• 強連結で行有限なグラフ $E$ が周期 $d$ を持つとき、固定点代数 $C^*(E)^\gamma$ は $d$ 個の互いに同型な AF 代数の直和に同型である。
• もし $E$ が有限かつ強連結で周期 $d$ を持つならば、$C^*(E)^\gamma$ は $d$ 個の単純な AF 代数の直和である。
• もし $E$ が有限かつ強連結であるならば、$C^*(E)$ は単純な AF 代数に対する $\mathbb{Z}$-作用によるクロスダクト積と安定同型である。
• 固定点代数 $C^*(E)^\gamma$ は、$E$ が無限の出次数を持つ頂点を含む、または $E$ がコファイナルでない、または条件 (K) を満たさない場合には単純でない。
• 固定点代数 $C^*(E)^\gamma$ の構造はモリタ同値のもとで保存され、$F$ が $E$ のコファイナルで強連結な部分グラフであるとき、$C^*(E)^\gamma$ は $C^*(F)^\gamma$ と強くモリタ同値である。