[論文レビュー] The C*-algebras of arbitrary graphs

D. Drinen, Mark Tomforde|ArXiv.org|Sep 26, 2000

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

ひとこと要約

本稿は、任意の有向グラフを、シンコル・エクイバレントおよびループ構造を保ちながら、シンコルのない行有限グラフに変換する特異性除去手順を導入する。主な貢献は、標準的な Cuntz-Krieger 技法を用いて、既存の行有限グラフ C*-代数に関する結果（一意性定理、単純性基準、イデアル構造の記述など）を、任意のグラフへと適用可能にする点にあり、群の理論や Cuntz-Pimsner 代数といった高度な道具に依存しない。

ABSTRACT

To an arbitrary directed graph we associate a row-finite directed graph whose C*-algebra contains the C*-algebra of the original graph as a full corner. This allows us to generalize results for C*-algebras of row-finite graphs to C*-algebras of arbitrary graphs: the uniqueness theorem, simplicity criteria, descriptions of the ideals and primitive ideal space, and conditions under which a graph algebra is AF and purely infinite. Our proofs require only standard Cuntz-Krieger techniques and do not rely on powerful constructs such as groupoids, Exel-Laca algebras, or Cuntz-Pimsner algebras.

研究の動機と目的

• 行有限グラフの C*-代数理論を任意の有向グラフへと拡張すること。
• 非行有限グラフにおいて定義関係が曖昧になる問題に対処すること。
• 元のグラフの主要な代数的および力学的性質を保ちながら、系統的な特異性除去法を提供すること。
• 群の理論や Cuntz-Pimsner 代数といった高度な道具に依存せず、一意性定理や単純性基準といった既知の結果を、行有限から任意のグラフ C*-代数へと移すことを可能にすること。

提案手法

• 特異性除去は、任意のグラフ E から、各特異頂点（無限の出次数を持つ頂点またはシンコルをもつ頂点）に無限のテールを追加することで、行有限でシンコルのないグラフ F を構成する。
• 各特異頂点 v₀ に対して、v₀ からのエッジが新しい無限のテールに再分配され、テール上の各頂点が元の s⁻¹(v₀) のエッジ集合からちょうど1本のエッジを発行するようにする。
• この構成により、元のグラフ E の C*-代数が、特異性除去されたグラフ F の C*-代数のフルコーナーとモラータ同値であることが保証される。
• この方法は、元のグラフのループ構造とパス空間を維持し、サイクルの存在や、遺伝的・飽和的部分集合の構造といった主要な不変量を保つ。
• 特異性除去を用いて、すべての無限パスの集合 Ξ_E に位相を定義し、Ξ_E と C*(E) の原始的イデアル空間との間でホメオモルフィズムを確立する。
• 群の理論、Exel-Laca 代数、Cuntz-Pimsner 代数といった高度な道具に依存せず、代わりに基本的な Cuntz-Krieger 技法に依拠する。

実験結果

リサーチクエスチョン

• RQ1 行有限グラフの C*-代数に関する結果を、任意の有向グラフへと一般化する方法は何か？
• RQ2 C*-代数的構造を保ちつつ、行有限かつシンコルのないグラフに変換する構成は何か？
• RQ3 一意性定理、単純性基準、イデアル構造といったグラフ C*-代数の性質を、標準的な Cuntz-Krieger 方法のみを用いて非行有限グラフへと拡張可能か？
• RQ4 任意のグラフに対して、グラフのパス空間とループ構造を用いて、グラフ C*-代数の原始的イデアル空間をどのように記述できるか？
• RQ5 モラータ同値性とループ構造を保ちつつ、任意のグラフを行有限グラフに変換する特異性除去プロセスは存在するか？

主な発見

• 特異性除去プロセスにより、任意の有向グラフ E から、C*(E) が C*(F) のフルコーナーとモラータ同値となる行有限グラフ F が構成される。
• 特異性除去を介して、グラフ C*-代数の一意性定理が任意のグラフへと拡張可能であり、特異性除去されたグラフ F の C*-代数が行有限の場合と同一の条件を満たす。
• グラフ C*-代数の単純性基準（非自明な飽和的遺伝的部分集合が存在しないこと）は特異性除去のもとで保存され、したがって任意のグラフへと拡張可能である。
• C*(E) のイデアル構造と原始的イデアル空間は、E のパス空間とループ構造を用いて記述可能であり、Ξ_E に特異性除去プロセスを用いて位相が定義される。
• 本稿では、グラフ C*-代数が純粋無限であることと、グラフが条件 (K) を満たし、∅ と E⁰ 以外に遺伝的・飽和的部分集合が存在しないこととが同値であることを示し、この特徴づけを任意のグラフへと拡張した。
• 本稿では、グラフ C*-代数が AF であることと、グラフにサイクルが存在しないこととが同値であることを示し、この特徴づけが特異性除去を介して任意のグラフへと拡張可能であることを示した。