[論文レビュー] Reduction of filtered K-theory and a characterization of Cuntz-Krieger algebras

Sara E. Arklint, Rasmus Bentmann+1 more|arXiv (Cornell University)|Jan 30, 2013

Advanced Operator Algebra Research参考文献 26被引用数 5

ひとこと要約

本稿は、EBP空間およびアコーディオン空間上の実ランクゼロC*-代数のフィルター付きK理論が、はるかに小さい不変量に簡略化されることを確立し、そのようなプリミティブ理想空間を持つ純粋無限Cuntz–Krieger代数の完全分類を可能にする。主な結果は、単純商のK理論的条件によるこれらの代数の特徴付けであり、アコーディオン空間上には「幻の」Cuntz–Krieger代数が存在しないことを証明する。

ABSTRACT

We show that filtered K-theory is equivalent to a substantially smaller invariant for all real-rank-zero C*-algebras with certain primitive ideal spaces -- including the infinitely many so-called accordion spaces for which filtered K-theory is known to be a complete invariant. As a consequence, we give a characterization of purely infinite Cuntz-Krieger algebras whose primitive ideal space is an accordion space.

研究の動機と目的

• 特定のプリミティブ理想空間を持つ実ランクゼロC*-代数のフィルター付きK理論を、より小さい計算可能な不変量に簡略化すること。
• プリミティブ理想空間がアコーディオン空間である純粋無限Cuntz–Krieger代数の完全分類を確立すること。
• このような代数について、簡略化されたフィルター付きK理論における同型が、実際のフィルター付きK理論における同型に引き上げられることを証明すること。
• この文脈において、標準的基底に制限されたフィルター付きK理論（FK_B）が分類に十分であることを示すこと。
• アコーディオン空間上での「幻の」Cuntz–Krieger代数の存在を解消し、その非存在を証明すること。

提案手法

• EBP空間上の実ランクゼロC*-代数に対して、標準的基底に制限されたフィルター付きK理論FK_Bを導入し、その分析を行う。
• 純粋無限グラフC*-代数がEBP空間上に存在する場合、FK_Bにおける同型が、実際のフィルター付きK理論における同型に引き上げられることを証明する。
• 簡略化されたフィルター付きK理論とFK_Bの同値性を用いて、後者がアコーディオン空間上の純粋無限グラフC*-代数に対して完全不変量であることを示す。
• フィルトレートドK理論のためのKirchberg–Phillips分類定理および普遍係数定理を適用し、K理論的データとC*-代数の同型を関連付ける。
• 定理1.1におけるK理論的条件が、アコーディオン型プリミティブ理想空間を持つ純粋無限Cuntz–Krieger代数であるための必要十分条件であることを検証する。
• 同伴論文[range_result]における簡略化されたフィルター付きK理論の像に関する結果を活用し、構築された不変量が実際に実現可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 EBP空間上の実ランクゼロC*-代数のフィルター付きK理論は、分類の力を失うことなく、より小さい不変量に簡略化可能か？
• RQ2 プリミティブ理想空間がアコーディオン型である純粋無限グラフC*-代数に対して、フィルター付きK理論は完全不変量か？
• RQ3 純粋無限グラフC*-代数がEBP空間上に存在する場合、簡略化されたフィルター付きK理論における同型は、実際のフィルター付きK理論における同型に引き上げられるか？
• RQ4 純粋無限Cuntz–Krieger代数の分類は、理想の単純商におけるK理論的データによって完全に特徴付けられるか？
• RQ5 アコーディオン型プリミティブ理想空間に対して、「幻の」Cuntz–Krieger代数（実際のCuntz–Krieger代数とは同型でないもの）は存在するか？

主な発見

• EBP空間上の実ランクゼロC*-代数のフィルター付きK理論は、すべての本質的分類的情報を捉える、はるかに小さい不変量FK_Bに等しい。
• 純粋無限グラフC*-代数がEBP空間上に存在する場合、FK_Bにおける同型は、実際のフィルター付きK理論における同型に引き上げられ、不変量の同値性が確立される。
• アコーディオン空間上では、フィルター付きK理論が純粋無限グラフC*-代数と、ある種のK理論的モジュールの間で一対一対応を提供する。
• 本稿は、アコーディオン型プリミティブ理想空間を持つ「幻の」Cuntz–Krieger代数が存在しないことを証明し、このような代数の分類に関する未解決問題を解決する。
• 理想の単純商におけるK理論的条件による、アコーディオン型プリミティブ理想空間を持つ純粋無限Cuntz–Krieger代数の完全特徴付けが達成された。
• 定理1.1の特徴付けにより、有限生成K0、自由K1、およびすべての理想の単純商におけるK0とK1のランクが等しい、単位的で、純粋無限で、核的で、分離可能で、実ランクゼロのC*-代数が、アコーディオン空間上のCuntz–Krieger代数であることが確認された。