[論文レビュー] A class of C^*-algebras generalizing both graph algebras and homeomorphism C^*-algebras I, fundamental results

Takeshi Katsura|ArXiv.org|Jul 26, 2002

Advanced Operator Algebra Research参考文献 20被引用数 14

ひとこと要約

この論文は、d が局所ホメオモルフィズムで r が連続であるような四重組 (E⁰, E¹, d, r) であるトポロジカルグラフに C*-代数を関連付けることによって、グラフ C*-代数とホメオモルフィズム C*-代数の両方を一般化する新しい C*-代数のクラスを導入する。基本的な結果として、ゲージ不変性の独自性定理と Cuntz-Krieger の独自性定理を確立し、K-理論の計算のための六項完全系列を提供する。これにより、グラフ代数の既知の K-理論計算が回復され、すべてのこのような代数が核的であり、UCT を満たすことが示される。

ABSTRACT

We introduce a new class of C^*-algebras, which is a generalization of both graph algebras and homeomorphism C^*-algebras. This class is very large and also very tractable. We prove the so-called gauge-invariant uniqueness theorem and the Cuntz-Krieger uniqueness theorem, and compute the K-groups of our algebras.

研究の動機と目的

• グラフ C*-代数とホメオモルフィズム C*-代数の研究を、共通の枠組みの下で統一すること。
• d が局所ホメオモルフィズムで r が連続であるようなトポロジカルグラフ (E⁰, E¹, d, r) を用いて、新しい C*-代数のクラスを定義すること。
• この一般化されたクラスに対して、ゲージ不変性と Cuntz-Krieger の独自性という基本的な構造定理を確立すること。
• KK-理論に基づく六項完全系列を導出し、O(E) の K-理論を体系的に計算することにより、グラフ代数の K-理論に対する新しい証明を提供すること。
• すべてのこのような代数が核的であり、Universal Coefficient Theorem (UCT) を満たすことを証明すること。

提案手法

• 非単射な左作用を許容する C*-対応をトポロジカルグラフから構成し、Cuntz-Pimsner 代数を一般化すること。
• トポロジカルグラフから得られる C*-対応に関連する相対 Cuntz-Pimsner 代数として、C*-代数 O(E) を定義すること。
• フォック空間表現を用いて、C*-代数 O(E) を具体的に実現すること。
• トーベィツ代数の構造とその商の分析を通じて、ゲージ不変性の独自性定理を確立すること。
• 理想構造と商写像の KK-理論的分析により、Cuntz-Krieger の独自性定理を証明すること。
• O(E) における KK-理論の六項完全系列を導出し、分離可能かつ第二可算性の下では K-理論の完全系列に帰着されることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 グラフ C*-代数とホメオモルフィズム C*-代数は、同一の C*-代数クラスの下で統一可能か？
• RQ2 C*-代数 O(E) の表現が忠実であるための必要十分条件は何か。これは Cuntz-Krieger の独自性定理とゲージ不変性の独自性定理を一般化する。
• RQ3 任意のトポロジカルグラフに対して、O(E) の K-理論を体系的に計算する方法は何か？
• RQ4 すべてのこのような代数は核的であり、UCT を満たすか。これにより分類理論的取り扱いが可能になるか？
• RQ5 d（ドメイン）と r（レンジ）の写像が、O(E) の代数的・位相的構造、特に力学系の文脈において果たす役割は何か？

主な発見

• 任意のトポロジカルグラフ E に対して、それに関連する C*-代数 O(E) に対して、ゲージ不変性の独自性定理が成り立つ。これは、ゲージ作用を尊重する表現が忠実であることを保証する。
• O(E) に対して Cuntz-Krieger の独自性定理が確立され、レンジ射影に関する条件と特定の理想の不在という条件下で忠実性が保証される。
• 代数 O(E) は常に核的であり、Universal Coefficient Theorem (UCT) を満たす。これにより、K-理論による分類が可能になる。
• KK-理論を用いて K-理論における六項完全系列を導出し、K₀(O(E)) と K₁(O(E)) が C₀(E⁰) と C₀(E⁰_rg) の K-群を用いて表されることを示した。
• 離散的グラフの場合、K-理論は K₀(O(E)) ≅ coker(Δ) および K₁(O(E)) ≅ ker(Δ) として回復され、ここで Δ は e ∈ r⁻¹(v) における [δᵥ] − ∑[δ_{d(e)}] で定義される行列である。これは既知の結果を新しい方法で再確認するものである。
• トポロジカルグラフを用いた構成により、E⁰ が離散的である場合にグラフ代数が、d と r が空間上の写像である場合にホメオモルフィズム代数が、両方とも O(E) の特別な場合として統一的に得られることを示した。