[論文レビュー] A class of $C^*$-algebras generalizing both graph algebras and homeomorphism $C^*$-algebras IV, pure infiniteness

Takeshi Katsura|ArXiv.org|Sep 15, 2005

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

ひとこと要約

本稿は、トポロジカルグラフが単純かつ純粋無限C*-代数を生成するための十分条件を確立している。具体的には、最小かつ収縮的トポロジカルグラフ—それらの関連するC*-代数がキルバーグ代数であることを証明している。主な貢献は、キルバーグ代数のすべてをトポロジカルグラフのC*-代数によって完全に構成することであり、C*-代数の分類における動的系による研究における長年の問いを解決し、グラフ代数およびホメオモルフィズムC*-代数の両方を一般化している。

ABSTRACT

This is the final one in the series of papers where we introduce and study the $C^*$-algebras associated with topological graphs. In this paper, we get a sufficient condition on topological graphs so that the associated $C^*$-algebras are simple and purely infinite. Using this result, we give one method to construct all Kirchberg algebras as $C^*$-algebras associated with topological graphs.

研究の動機と目的

• トポロジカルグラフに、その関連するC*-代数が単純かつ純粋無限であるための十分条件を同定すること。
• K-理論によるC*-代数の分類を、トポロジカルグラフを介してより広いクラスの代数へと拡張すること。
• すべてのキルバーグ代数をトポロジカルグラフを用いた一様な構成法で得ることにより、グラフ代数の制限（任意のK₁群を実現できないこと）を克服すること。
• 従来の動的系からのC*-代数の構成（グラフ代数およびホメオモルフィズムC*-代数を含む）を統一・一般化すること。
• すべてのキルバーグ代数が、あるトポロジカルグラフのC*-代数として現れることを確立すること。これは、シリーズで提唱されたプログラムを完全に完了するものである。

提案手法

• エッジ空間および頂点空間に特定の力学的条件を課すことにより定義される収縮的トポロジカルグラフの概念を導入する。
• C*-対応に付随するC*-代数の枠組みを用いて、トポロジカルグラフEに対してO(E)を定義する。
• シリーズの前回の論文の結果を応用し、O(E)の単純性を最小性および収縮的条件によって特徴付ける。
• トポロジカルグラフと円作用を含むクローズド積に類似した構造に、トーピツ対を構成してC*-代数の構造を分析する。
• ゲージ作用の存在と誘導される*-準同型の単射性を検証することで、関連するC*-代数がC(𝕋)とのテンソル積と同型であることを証明する。
• ユニバーサル係数定理および核的性を用いて、グラフが第二可算である場合に、得られるC*-代数がキルバーグ代数であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 トポロジカルグラフEに対して、関連するC*-代数O(E)が単純かつ純粋無限であるための条件は何か？
• RQ2 すべてのキルバーグ代数が、あるトポロジカルグラフEに対してO(E)として実現可能か？
• RQ3 O(E)のK-理論的不変量は、Eの位相的・力学的構造とどのように関係するか？
• RQ4 収縮的条件は、O(E)の純粋無限性を保証するために果たす役割は何か？
• RQ5 通常のグラフ代数のK₁群の制限を克服するために、トポロジカルグラフによるO(E)の構成は有効か？

主な発見

• 最小かつ収縮的トポロジカルグラフEは、単純かつ純粋無限C*-代数O(E)を生成する。
• 第二可算、最小、かつ収縮的トポロジカルグラフに対しては、O(E)はキルバーグ代数であり、ユニバーサル係数定理および核的性を満たす。
• すべての非単位的キルバーグ代数は、あるトポロジカルグラフEに対してO(E)として現れ、すべての単位的キルバーグ代数も同様に現れる。
• O(E)のK-理論は、対応するキルバーグ代数のK-理論と一致し、K-理論による分類が正当化される。
• トポロジカルグラフによる構成は、すべての可能な可算アーベルK₀およびK₁群（自由でないK₁群を含む）を実現でき、これは通常のグラフ代数では達成できない。
• トポロジカルグラフEのC*-代数O(E)は、ゲージ作用を介してC(𝕋)とのテンソル積と同型であり、代数の構造が確認される。