[論文レビュー] The ideal structure of the C*-algebras of infinite graphs

Teresa Bates, Jeong Hee Hong+2 more|ArXiv.org|Sep 20, 2001

Advanced Operator Algebra Research参考文献 11被引用数 36

ひとこと要約

この論文は、任意の無限有向グラフのC*-代数におけるゲージ不変イデアルを、商グラフのグラフC*-代数として商を実現することにより分類し、ゲージ不変素イデアルの完全な記述を可能にするとともに、すべての無限グラフへのK理論計算を拡張する。主な貢献は、先行研究における行有限および条件(K)を満たすグラフの一般化である、体系的なイデアル構造分類である。

ABSTRACT

We classify the gauge-invariant ideals in the C*-algebras of infinite directed graphs, and describe the quotients as graph algebras. We then use these results to identify the gauge-invariant primitive ideals in terms of the structural properties of the graph, and describe the K-theory of the C*-algebras of arbitrary infinite graphs.

研究の動機と目的

• 任意の無限有向グラフのC*-代数におけるゲージ不変イデアルの完全な分類を提供すること。
• これらのイデアルの商C*-代数が、明示的に構成された商グラフのグラフC*-代数として記述されることを示すこと。
• 基礎となるグラフの構造的性質を用いて、すべてのゲージ不変素イデアルを特定すること。
• 行有限グラフのC*-代数のK理論計算を、源や吸収点を含む任意の無限グラフへと拡張すること。
• 有限および行有限の場合の先行結果を一般化し、無限グラフのC*-代数のイデアル構造の完全な分類の枠組みを確立すること。

提案手法

• 商グラフの構成を用いて、$ J $ をゲージ不変イデアルとするとき、商代数 $ C^*(E)/J $ が商グラフ $ E/J $ のC*-代数として実現されることを示す。
• ゲージ不変一意性定理を活用し、表現の忠実性を保証するとともに、C*-代数の普遍性を維持する。
• K理論における6項完全系列を適用し、$ K_0 $ および $ K_1 $ を計算する。ここで、経路長が有界なグラフの代数は $ K_1 $ が自明で、$ K_0 $ が自由アーベル群であるという事実を用いる。
• グラフの最大経路長に関する帰納法を用いて、$ K_1(C^*(E)) = 0 $ および $ K_0(C^*(E)) $ が、無限出次数の頂点または吸収点に対応する生成元を持つ自由アーベル群であることを証明する。
• ホモモルフィズム $ \theta: \text{coker}(K) \to K_0(C^*(E)) $ を構成し、コバウンダリーマップを含む可換図式を用いてそれが同型であることを示す。
• グラフを経路長が有限の部分グラフに分解することで、一般の場合を経路長が有界な場合に還元し、帰納的K理論計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 任意の無限有向グラフのC*-代数におけるゲージ不変イデアルの完全な構造は何か？
• RQ2 ゲージ不変イデアルによるグラフC*-代数の商が、どのようにして別のグラフC*-代数として実現できるか？
• RQ3 どのゲージ不変イデアルが素であり、グラフ論的性質を用いてどのように特徴付けられるか？
• RQ4 任意の無限グラフのC*-代数のK理論は、行有限グラフに既知の結果を拡張してどのように計算できるか？
• RQ5 グラフC*-代数のイデアル構造が、完全にそのゲージ不変イデアルに一致する条件は何か？

主な発見

• 任意の無限グラフ $ E $ における $ C^*(E) $ のゲージ不変イデアルは、頂点の飽和した下位集合によって完全に分類される。各イデアル $ I_X $ は $ v \notin X $ に対する射影 $ p_v $ で生成され、商 $ C^*(E)/I_X $ は商グラフ $ E/X $ に対して $ C^*(E/X) $ に同型である。
• $ C^*(E) $ のゲージ不変素イデアルは、$ X \neq E^0 $ かつ $ E^0 \backslash X $ が最小の飽和した下位集合であるような飽和した下位集合 $ X $ と一対一対応する。
• 条件(K)を満たすグラフでは、すべてのイデアルがゲージ不変であるため、頂点の飽和した下位集合によって完全にイデアル構造が分類される。
• 任意の無限グラフ $ E $ における $ C^*(E) $ のK理論は、6項完全系列を用いて計算され、$ K_1(C^*(E)) \to \text{coker}(K) $ および $ K_0(C^*(E)) \to \text{coker}(K) $ となる。ここで $ K $ はグラフのインシデント行列である。
• $ K_0 $-群は行列 $ K $ のコアーベルに同型であり、$ K_1 $ は $ K $ の核に同型である。グラフの経路長が有界であれば $ K_1(C^*(E)) = 0 $ である。
• 帰納的分解と経路長が有界なAF代数の構造を用いることで、K理論計算は、行有限グラフに限らず、源や吸収点を含む任意の無限グラフへと拡張される。