[論文レビュー] Geometric classification of unital graph C*-algebras of real rank zero

Søren Eilers, Gunnar Restorff+2 more|arXiv (Cornell University)|May 25, 2015

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

ひとこと要約

本稿は、Morita同値性が順序付きフィルター付きK理論によって完全に決定されることを示すことにより、実階数が0の単位的グラフC*-代数の幾何的分類を確立する。主な結果は、任意のMorita同値性が、リーデメイスターに類似した移動の系列によって生じることを示しており、これがCuntzスプライスのMorita同値性に関する不変性に至り、Restorffの分類を実階数が0のすべての単位的グラフC*-代数へと拡張する。

ABSTRACT

We generalize the classification result of Restorff on Cuntz-Krieger algebras to cover all unital graph C*-algebras with real rank zero, showing that Morita equivalence in this case is determined by ordered, filtered K-theory as conjectured by three of the authors. The classification result is geometric in the sense that it establishes that any Morita equivalence between C*(E) and C*(F) in this class can be realized by a sequence of moves leading from E to F in a way resembling the role of Reidemeister moves on knots. As a key technical step, we prove that the so-called Cuntz splice leaves unital graph C*-algebras invariant up to Morita equivalence. We note that we have recently found a way to generalize the results of the present paper to cover general unital graph C*-algebras. The improved methods needed render some parts of the present paper obsolete, and hence we do not intend to publish it. Instead, we will present a complete solution (drawing heavily on many of the methods presented here) in a forthcoming paper.

研究の動機と目的

• Cuntz-Krieger代数のRestorff分類を、実階数が0のすべての単位的グラフC*-代数へと拡張すること。
• 著者らの予想に従い、このクラスにおけるMorita同値性が順序付きフィルター付きK理論によって完全に決定されることを証明すること。
• Morita同値性が、リーマンストゥアの移動に類似した基本的グラフ移動の系列に対応する幾何的分類枠組みを確立すること。
• Cuntzスプライスが単位的グラフC*-代数におけるMorita同値性を保存することを証明すること。これは、純粋に無限大のケースを超えた分類の拡張に不可欠な結果である。
• K理論、行列同値、およびグラフ論的移動の組み合わせを用いて、条件(K)を満たすすべての単位的グラフC*-代数に対して完全な安定分類を提供すること。

提案手法

• 実階数が0の単位的グラフC*-代数のクラスにおけるMorita同値性の完全不変量として、順序付きフィルター付きK理論の使用。
• グラフ移動（O, I, R, S, C）と安定同型の間の対応を確立し、リーデメイスターに類似した移動枠組みを一般化すること。
• CuntzスプライスがMorita同値性を保存することの証明：これにより、関連する行列にGL_P同値性が誘導され、n_i = 1のときには単位行列ブロックが得られることを示すこと。
• BoyleとHuangによる一般化されたリフト結果を応用し、正の因子分解技法をフィルター付きK理論の文脈へと拡張すること。
• Kウェブと誘導された同型を用いて、フィルター付きK理論の同型をブロック行列による行列同値に結びつけること。
• 一般化された因子分解法を用いてGL_P同値性をSL_P同値性に変換し、1つのグラフから別のグラフへの移動の系列の構成を可能にすること。

実験結果

リサーチクエスチョン

• RQ1 実階数が0の単位的グラフC*-代数間のMorita同値性は、順序付きフィルター付きK理論によって完全に分類可能か？
• RQ2 標準的なグラフ移動（O, I, R, S）およびCuntzスプライスは、このクラスにおけるすべての可能なMorita同値性を生成するか？
• RQ3 Cuntzスプライスは、対角部分代数を保存しない場合でも、単位的グラフC*-代数においてMorita同値性を保存するか？
• RQ4 分類結果を幾何的に行えるか、すなわち任意のMorita同値性が有限個の基本的グラフ移動の系列によって生じるか？
• RQ5 実階数が0の条件（条件(K)）は、移動によって実現されるという意味で、分類が幾何的であることを保証するか？

主な発見

• Cuntzスプライスは、純粋に無限大でない単位的グラフC*-代数に対してもMorita同値性を保存する。これは、分類結果を拡張するにあたり、主要な技術的障壁を解消する。
• 条件(K)を満たす任意の単位的グラフC*-代数間のMorita同値性は、有限個のグラフ移動（O, I, R, S, C）の系列によって生じる。これは、リーマンストゥアの移動に類似した幾何的分類を確立する。
• 実階数が0の単位的グラフC*-代数のクラスにおいて、順序付きフィルター付きK理論はMorita同値性の完全不変量である。著者の3人が予想した内容を確認する。
• 2つのグラフに関連する行列間のGL_P同値性は、一般化された正の因子分解法によりSL_P同値性に変換可能であり、これにより移動に基づく実現が可能になる。
• n_i = 1のとき、GL_P同値性における行列ブロックV{i}は単位行列として取れる。これにより標準形との整合性が保たれ、移動の構成が容易になる。
• 証明により、頂点数が有限個で条件(K)を満たす単位的グラフC*-代数間の安定同型は、それらの基になるグラフを結ぶ移動の系列の存在と同値であることが示された。