[論文レビュー] A classification of inductive limit $C^{*}$-algebras with ideal property

Guihua Gong, Chunlan Jiang+1 more|arXiv (Cornell University)|Jul 26, 2016

Advanced Operator Algebra Research参考文献 32被引用数 7

ひとこと要約

本稿は、次元成長のない理想性を持つ帰納的極限 $C^*$-代数を、スケーリングされた順序付き全 $K$-理論、切断代数のトレーシング状態空間、およびユニタリ群の交換子部分群の閉包による商を含む洗練された不変量を用いて分類する。この結果、従来の実階数ゼロおよび単純 $AH$ 代数の分類を統合・一般化し、非単純 $C^*$-代数に対するエリオット分類プログラムにおける重要な一歩を完了する。

ABSTRACT

Let $A$ be an $AH$ algebra $A=\lim\limits_{n o \infty}(A_{n}=\bigoplus\limits_{i=1}\limits^{t_{n}}P_{n,i}M_{[n,i]}(C(X_{n,i}))P_{n,i}, ϕ_{n,m})$, where $X_{n,i}$ are compact metric spaces, $t_{n}$ and $[n,i]$ are positive integers, and $P_{n,i}\in M_{[n,i]}(C(X_{n,i}))$ are projections. Suppose that $A$ has the ideal property: each closed two-sided ideal of $A$ is generated by the projections inside the ideal, as a closed two sided ideal. In this article, we will classify all $AH$ algebras with ideal property of no dimension growth---that is, $sup_{n,i}dim(X_{n,i})

研究の動機と目的

• 非単純 $C^*$-代数に対するエリオット分類プログラムを、理想性と次元成長のない $AH$ 代数に拡張すること。
• 実階数ゼロ $AH$ 代数と単純 $AH$ 代数の分類結果を、一つの不変量枠組みで統合すること。
• [GJL] における反例によって示されるように、分類に不可欠である新しい不変量 $U(pAp)/\overline{DU(pAp)}$ を同定し、それを組み込むこと。
• すべての理想性を持つこのような $AH$ 代数が $A\mathcal{HD}$ 代数であることを確立し、特定のクラスの構築ブロックの帰納的極限として分類可能であるようにすること。

提案手法

• 分類は、スケーリングされた順序付き全 $K$-群 $(\underline{K}(A), \underline{K}(A)_+, \Sigma A)$、適合条件を満たす切断代数 $pAp$ のトレーシング状態空間 $T(pAp)$、および商 $U(pAp)/\overline{DU(pAp)}$ を組み合わせた洗練された不変量を用いる。
• 証明は、形状同値性とスペクトル分布の性質に依拠し、同型な不変量を持つ $C^*$-代数間の近似相互結合を構成する。
• 存在定理は、$KK$-理論と近似ユニタリ同値性を用いて、不変量をわずかな誤差の範囲で保つ $*$-準同型を構成する。
• 一意性定理は、同じ不変量を誘導する任意の二つの $*$-準同型が近似ユニタリ同値であることを示し、ほぼ可換な図式の再帰的構成を用いる。
• 構成は、帰納的極限の段階間で、誤差が段階を越えて和集合となるように、ほぼ可換な図式を段階的に構築することで行われ、近似相互結合を保証する。
• 鍵となる技術的ステップは、[GJL] の反例を用いて、新しい不変量 $U(pAp)/\overline{DU(pAp)}$ が分類に不可欠であり、省略できないことを示すことである。

実験結果

リサーチクエスチョン

• RQ1 理想性と次元成長のない非単純代数を含む、$AH$ 代数の分類を、単純および実階数ゼロのケースから拡張することは可能か？
• RQ2 標準的な $K$-理論的およびトレーシングデータに加えて、理想性を持つ非単純 $AH$ 代数を分類するために必要な追加の不変量は何か？
• RQ3 $U(pAp)/\overline{DU(pAp)}$ という不変量は分類に不可欠であるか、それとも他の不変量から導出可能か？
• RQ4 すべての理想性を持つ $AH$ 代数で次元成長のないものについて、クラス $\mathcal{HD}$ の代数の帰納的極限として得られるか？
• RQ5 理想性は、エリオットプログラムにおける非単純 $C^*$-代数の分類をどのように促進するか？

主な発見

• 本稿は、商 $U(pAp)/\overline{DU(pAp)}$ を含む洗練された不変量を用いて、理想性と次元成長のない $AH$ 代数の完全な分類を確立した。
• [GJL] における反例によって示されるように、新しい不変量 $U(pAp)/\overline{DU(pAp)}$ は分類に不可欠であり、これを省略すると同型でない代数が同じ他の不変量を持つようになる。
• すべての理想性と次元成長のない $AH$ 代数が $A\mathcal{HD}$ 代数であることが示された——つまり、クラス $\mathcal{HD}$ の代数の帰納的極限として得られる——これにより、分類のための均一な枠組みが可能になった。
• 分類は、従来の実階数ゼロ $AH$ 代数および単純 $AH$ 代数の分類結果を統合・一般化し、[EGL1] で示唆された二つの主要な一般化のうちの一つを完了した。
• 証明は、誤差が段階を越えて和集合となる再帰的系列のほぼ可換な図式を用いて、$C^*$-代数間の近似相互結合を構成し、$*$-同型を保証した。
• 不変量の構造は、非単純な実階数ゼロの場合に全 $K$-理論に順序が現れるのと類似しており、分類理論における深い類似性を強調している。