[論文レビュー] Stable rank of graph algebras. Type I graph algebras and their limits

Klaus Deicke, Jeong Hee Hong+1 more|ArXiv.org|Nov 8, 2002

Advanced Operator Algebra Research被引用数 7

ひとこと要約

本稿は、任意の可算有向グラフに付随するCuntz-Krieger代数の安定ランクを決定し、それが1、2、または∞のいずれかに限られることを示している。各ケースに対する明示的な基準を確立し、タイプIのグラフC*-代数およびタイプI代数の帰納的極限である代数を特徴づけ、グラフ代数におけるゲージ不変イデアルが自身もまたグラフ代数に同型であることを証明している——これは、構造的分解と近似技法による安定ランクの分類を可能にする重要な結果である。

ABSTRACT

For an arbitrary countable directed graph E we show that the only possible values of the stable rank of the associated Cuntz-Krieger algebra C*(E) are 1, 2 or \infty. Explicit criteria for each of these three cases are given. We characterize graph algebras of type I, and graph algebras which are inductive limits of C*-algebras of type I. We also show that a gauge-invariant ideal of a graph algebra is itself isomorphic to a graph algebra.

研究の動機と目的

• 任意の可算有向グラフに付随するCuntz-Krieger代数の安定ランクの取りうる値を特定すること。
• タイプIのグラフ代数およびタイプI C*-代数の帰納的極限である代数を特徴づけること。
• グラフ代数におけるすべてのゲージ不変イデアルが、別のグラフ代数に同型であることを確立することにより、構造的分解を可能にすること。
• グラフ論的性質に基づいて、安定ランクが1、2、または∞である場合の明示的基準を提示すること。

提案手法

• グラフC*-代数の普遍性とゲージ作用を用いて代数的構造を定義・分析すること。
• 文献[13]の近似法を応用し、無限グラフ代数を有限グラフ代数の増大列の極限として表現すること。
• 安定かつゲージ不変なイデアルを構成し、その商が孤立したループを持つグラフ代数に同型であるようにすることで帰納的推論を可能にすること。
• Rieffelの結果[14]、特に補題4.12を用いて、安定ランクの安定性と拡張に関する完全列の適用。
• 有限部分グラフにおける孤立した頂点単純ループの数に関する帰納的議論を展開し、その部分グラフが安定ランク≤2をもつという事実を活用すること。
• C*-代数の増大列における安定ランクが、それらの安定ランクのlim infによって有界であるという事実を用い、文献[14]の定理5.1を適用すること。

実験結果

リサーチクエスチョン

• RQ1 任意の可算有向グラフのC*-代数の安定ランクの取りうる値は何か？
• RQ2 グラフC*-代数の安定ランクが1、2、または∞であるのはいつか？
• RQ3 どのグラフ代数がタイプIであり、どの代数がタイプI C*-代数の帰納的極限であるか？
• RQ4 グラフ代数におけるゲージ不変イデアルを代数的にどのように特徴づけられるか？
• RQ5 グラフにどのような構造的条件が成立すれば、対応するC*-代数の安定ランクが1または2になるか？

主な発見

• グラフC*-代数の安定ランクは、常に1、2、または∞であり、中間の値は取り得ない。
• 安定ランクが1であることは、[13, 系5.5]により、グラフにエグジットを持つループが存在しないことと同値である。
• 安定ランクが2であるのは、少なくとも1つのエグジットを持つループをもち、かつ単位的で純粋に無限大で単純な商をもたない場合に限る。
• 安定ランクが∞であることは、グラフ代数が単位的で純粋に無限大で単純な商をもつことと同値である。
• グラフ代数におけるすべてのゲージ不変イデアルは、グラフ代数に同型である。この結果は、補題1.5として証明され、本稿全体で用いられている。
• グラフ代数のクラスは、ゲージ不変イデアルおよび商をとることに関して閉じており、同型結果と既知のイデアル構造のおかげである。