[論文レビュー] Representing Kirchberg algebras as inverse semigroup crossed products

Ruy Exel, Enrique Pardo|arXiv (Cornell University)|Mar 25, 2013

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

ひとこと要約

本稿では、UCTクラスに属するKirchberg代数の組み合わせ的モデルであるKatsura代数𝒪_{A,B}が、群族C*-代数および逆半群交叉積として実現可能であることを確立している。著者らは、新規の半群族構成と組み合わせ的技法を用い、記号的力学系を介して、単純性、純無限性、核型といった主要な性質を再導出する。これにより、Katsuraの元来の位相的グラフアプローチを越えた、新たな代数的枠組みが提供される。

ABSTRACT

In this note we show that a combinatorial model of Kirchberg algebras in the UCT, namely the Katsura algebras O_{AB}, can be expressed both as groupoid C*-algebras and as inverse semigroup crossed products. We use this picture to obtain results about simplicity, pure infiniteness and nuclearity of O_{AB} using different methods than those used by Katsura.

研究の動機と目的

• Kirchberg代数を研究するための、完全に組み合わせ的で代数的な枠組みを提供すること。ここでは、位相的グラフに依存しない。
• 新規の半群族構成を用いて、Katsura代数𝒪_{A,B}が逆半群交叉積および群族C*-代数として表現可能であることを示すこと。
• 記号的力学系および組み合わせ的群族理論を用いて、𝒪_{A,B}の基本的性質（単純性、純無限性、核型）を再導出すること。
• 任意の単位的Kirchberg代数が、条件(E)を満たす行列Bを有するKatsura代数𝒪_{A,B}と同型であることを示すことにより、単位的Kirchberg代数の分類を拡張すること。

提案手法

• C*-代数がKatsura代数𝒪_{A,B}と同型となるような半群族Λ_{A,B}を構成する。
• タイト表現理論および逆半群交叉積の理論を用い、𝒪_{A,B}を可換C*-代数と逆半群の交叉積として実現する。
• 群族𝒢_{Λ_{A,B}}が最小的で、本質的に主であり、局所的収縮的であることを証明し、𝒪_{A,B}が群族C*-代数として同定可能であることを可能にする。
• [1]における遺伝的部分代数に関する結果を適用し、𝒪_{A,B}の任意の非ゼロ遺伝的部分代数が無限大射影を含むことを示し、純無限性を示す。
• Smith標準形および行列演算を用いて、所望のK理論的不変量と条件(E)を満たす行列AおよびBを構成する。
• 半群族構造を活用し、𝒪_{A,B}の代数的性質とその背後にある記号的系の力学的性質との関係を結びつける。

実験結果

リサーチクエスチョン

• RQ1 Katsura代数は、組み合わせ的半群族枠組みを用いて逆半群交叉積として表現可能か？
• RQ2 位相的グラフ手法に依存せずに、𝒪_{A,B}の単純性および純無限性の性質をどのように導出できるか？
• RQ3 任意の単位的Kirchberg代数を、条件(E)を満たす行列Bを有するKatsura代数𝒪_{A,B}として実現可能か？
• RQ4 半群族Λ_{A,B}は、𝒪_{A,B}の代数的構造とその群族および交叉積実現との間の接続において、果たす役割は何か？

主な発見

• 条件(E)のもとで、Katsura代数𝒪_{A,B}は、最小的で、本質的に主であり、局所的収縮的な群族𝒢_{Λ_{A,B}}のC*-代数と同型である。
• 同じ条件下で、𝒪_{A,B}は純無限的かつ単純的であり、これは任意の非ゼロ遺伝的部分代数に無限大射影が存在することによって示される。
• 𝒪_{A,B}は、群族C*-代数としての表現および半群族Λ_{A,B}の性質によって、核型であることが確立されている。
• 任意の有限生成アーベル群G₀およびG₁に対して、条件(E)を満たす行列A ∈ M_N(ℤ⁺)およびB ∈ M_N(ℤ)が存在し、K₀(𝒪_{A,B}) ≅ G₀およびK₁(𝒪_{A,B}) ≅ G₁を満たす。
• 本構成により、任意の単位的Kirchberg代数が、条件(E)を満たす行列Bを有するKatsura代数𝒪_{A,B}として組み合わせ的に実現可能であり、[16, 系4.5]の分類結果が完全に代数的状況へ拡張されている。