[論文レビュー] Corners of Cuntz-Krieger algebras

Sara E. Arklint, Efren Ruiz|arXiv (Cornell University)|Sep 19, 2012

Advanced Operator Algebra Research参考文献 8被引用数 4

ひとこと要約

この論文は、Cuntz-Krieger代数に安定同型であるユニタリC*-代数が、自身もCuntz-Krieger代数であることを確立し、Cuntz-Krieger代数のコーナーが再びCuntz-Krieger代数であることを示している。主な結果は、Cuntz-Krieger代数が、シンクやソースを持たない有限グラフから得られるユニタリグラフC*-代数として特徴づけられることに依拠しており、K理論のランクの等しさを用いて、安定同型による同定がなされている。

ABSTRACT

We show that if $A$ is a unital $C^*$-algebra and $B$ is a Cuntz-Krieger algebra for which $A\otimes\mathbb{K} \cong B\otimes\mathbb{K}$, then $A$ is a Cuntz-Krieger algebra. Consequently, corners of Cuntz-Krieger algebras are Cuntz-Krieger algebras.

研究の動機と目的

• Cuntz-Krieger代数を外的性質、特にK理論ランクとユニタリティによって特徴づけること。
• Cuntz-Krieger代数のコーナーがCuntz-Krieger性質を保つのかという未解決問題を解消すること。
• Cuntz-Krieger代数に安定同型であることは、同型を意味することを示し、コーナーに関する不変性を証明すること。
• Cuntz-Krieger代数を表すために、シンクやソースを持たない有限グラフを用いた組合せ的モデルを提供すること。
• 半射影的C*-代数の全コーナーが半射影的であるという予想を、Cuntz-Krieger代数の特別な場合に支持すること。

提案手法

• グラフC*-代数論を用いて、Cuntz-Krieger関係を満たす部分等長作用素によって生成される普遍C*-代数としてCuntz-Krieger代数をモデル化する。
• Cuntz-Krieger代数を、シンクもソースも持たない有限有向グラフから得られるユニタリグラフC*-代数として特徴づける。
• K理論を用いて、ユニタリグラフC*-代数がCuntz-Krieger代数であるための必要十分条件として、$K_0$群のランクと$K_1$群のランクが等しいことを示す。
• もし $A \rtimes \text{K} \to B \rtimes \text{K}$ が同型であり、$B$ がCuntz-Krieger代数であれば、$A$ はCuntz-Krieger代数に同型であることを証明する。
• $C^*(E)$ における射影によって生成されるイデアルを解析するため、ゲージ不変イデアルとグラフ頂点の有界飽和部分集合を用いる。
• 安定同型とモラタ同型を活用して、$A$ や $A \rtimes \text{K}$ のコーナーがCuntz-Krieger代数に安定同型であることを示し、主定理によりそれらが同型であることを導く。

実験結果

リサーチクエスチョン

• RQ1 Cuntz-Krieger代数は、K理論ランクやユニタリティといった外的不変量によって特徴づけられるか？
• RQ2 Cuntz-Krieger代数のコーナーは、Cuntz-Krieger代数のままであるか？
• RQ3 Cuntz-Krieger代数に安定同型であることは、ユニタリC*-代数がCuntz-Krieger代数に同型であるための十分条件か？
• RQ4 Cuntz-Krieger代数はコーナー作用に対して半射影的性質を満たすか？
• RQ5 グラフC*-代数の一般クラスではこの性質が成り立たないにもかかわらず、Cuntz-Krieger代数のクラスはコーナーに関して不変性を満たすか？

主な発見

• ユニタリグラフC*-代数がCuntz-Krieger代数であるための必要十分条件は、その$K_0$群のランクと$K_1$群のランクが等しいことである。
• ユニタリC*-代数$A$ が $A \rtimes \text{K} \to B \rtimes \text{K}$ を満たし、$B$ がCuntz-Krieger代数であれば、$A$ はCuntz-Krieger代数に同型である。
• Cuntz-Krieger代数のコーナーはCuntz-Krieger代数に同型である。これは補題4.10で示されている。
• 安定化されたCuntz-Krieger代数は半射影的であり、そのユニタリコーナーに対しても同様に半射影的である。これは補題4.11で確立されている。
• Cuntz-Krieger代数のクラスは、ユニタリコーナーを取る操作に関して閉じている。これは、一般のグラフC*-代数のクラスがそうではないのとは対照的である。
• この結果は、半射影的C*-代数の全コーナーが半射影的であるというブラックダールの予想の特別な場合を裏付けている。