[論文レビュー] Semiprojectivity for Kirchberg algebras

Dominic Enders|arXiv (Cornell University)|Jul 22, 2015

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

ひとこと要約

本稿は、Kirchberg代数が半射的であるための必要十分条件が、$KK$-半射的であることであることを確立し、Blackadarの長年の予想を肯定的に解決する。すなわち、UCT-Kirchberg代数が半射的であるのは、その$K$-理論が有限生成であるときである。本手法は、生成子関係の表現を避けるために、ラッピング性と漸近的ユニタリ同値性に基づく新しい$KK$-理論的枠組みを用いる。特に$K_1$- torsionを含む代数に対して、従来のグラフ$C^*$-代数手法では困難であるが、本手法はその障害を克服する。

ABSTRACT

We show that a Kirchberg algebra is semiprojective if and only if it is KK-semiprojective. In particular, this shows that a Kirchberg algebra in the UCT-class is semiprojective if and only if its K-theory is finitely generated, thereby giving a positive solution to a longstanding conjecture by Blackadar.

研究の動機と目的

• UCT-Kirchberg代数の半射的性に関するBlackadarの予想を解決すること。
• 生成子関係の表現に代えて$KK$-理論を用いてKirchberg代数における半射的性を特徴づけること。
• $K_1$-群の torsion が標準的なグラフ$C^*$-代数手法を妨げる困難を克服すること。
• $*$-準同型の漸近的ユニタリ同値性に関して、半射的性の閉包性を確立すること。
• $KK$-半射的Kirchberg代数において、恒等写像の$KK$-類に属する半射的自己準同型の存在を証明すること。

提案手法

• 古典的定義を一般化する$KK$-理論的半射的性の概念を導入すること。
• 可縮路長の制御を用いて、$*$-準同型の漸近的ユニタリ同値性が半射的性を保存することを証明すること。
• 修正された基本ホモトピー補題を用いてユニタリパスを短縮し、漸近的同値性のラッピングを可能にすること。
• Kirchbergの分類定理を用いて、$KK$-類を$*$-準同型として実現すること、特に純粋に無限大な代数に対して。
• 形状系と帰納的極限からの$KK$-ラッピングを用いて、恒等写像の$KK$-類に属する半射的自己準同型を構成すること。
• 存在性と閉包性の結果を組み合わせ、Kirchberg代数において$KK$-半射的性が半射的性を含むことを示すこと。

実験結果

リサーチクエスチョン

• RQ1 Kirchberg代数が半射的であるのは、その$K$-理論が有限生成であるときであるか？
• RQ2 Kirchberg代数に対して、半射的性は$KK$-理論的言語で完全に特徴づけられるか？
• RQ3 $K_1$-torsionの存在が半射的性を妨げるのか。もし妨げられるならば、グラフ$C^*$-代数モデルに依存せずにこれを克服できるか？
• RQ4 $*$-準同型の漸近的ユニタリ同値性に関して、半射的性は保存されるか？
• RQ5 UCT-Kirchberg代数間の$*$-準同型が、どのような$KK$-理論的条件下で半射的になるか？

主な発見

• Kirchberg代数が半射的であることは、$KK$-半射的であることと同値である。
• UCT-Kirchberg代数に対しては、半射的性は$K$-理論が有限生成であることと同値であり、Blackadarの予想が確認された。
• 恒等写像の$KK$-類に属する半射的ユニタリ自己準同型の存在は、$KK$-半射的性と同値である。
• ユニタリパスの可縮路長が制御されている限り、$*$-準同型の漸近的ユニタリ同値性に関して、半射的性は保存される。
• $KK$-理論的ラッピング性により、形状系とKirchbergの分類定理を用いて半射的自己準同型を構成できる。
• 安定Kirchberg代数が半射的であるのは、非安定なコーナーが半射的であるときであり、非単位的の場合にまでその結果を拡張できる。