[論文レビュー] The nuclear dimension of $\mathcal O_\infty$-stable $C^*$-algebras

Joan Bosa, James Gabe+2 more|arXiv (Cornell University)|Jun 5, 2019

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

ひとこと要約

本稿では、任意の可分で核的かつ $\mathcal{O}_\infty$-安定な $C^*$-代数が核次元をちょうど 1 に持つことを確立し、長年の未解決問題を解決した。さらに、そのような代数における有限分解ランクの特徴付けを擬似対角性および原始的イデアル構造を用いて行い、全射的かつ $\mathcal{O}_2$-安定な $*$-準同型が核次元 0 であるための必要十分条件を、領域が擬似対角的であることと同定した。

ABSTRACT

We show that every nuclear $\mathcal O_\infty$-stable *-homomorphism with a separable exact domain has nuclear dimension at most 1. In particular separable, nuclear, $\mathcal O_\infty$-stable C*-algebras have nuclear dimension 1. We also characterise when $\mathcal O_\infty$-stable C*-algebras have finite decomposition rank in terms of quasidiagonality and primitive-ideal structure, and determine when full $\mathcal O_2$-stable *-homomorphisms have nuclear dimension 0.

研究の動機と目的

• 可分で核的かつ $\mathcal{O}_\infty$-安定な $C^*$-代数の核次元を特定すること。
• $\mathcal{O}_\infty$-安定な $C^*$-代数が有限分解ランクを持つ条件を特徴付けること。
• 擬似対角性および核的性に基づいて、全射的かつ $\mathcal{O}_2$-安定な $*$-準同型の核次元を分類すること。
• 特に、Szabó (2017) が示した核次元の上界 3 に基づく、$\mathcal{O}_\infty$-安定な $C^*$-代数における核次元に関する未解決問題を解消すること。

提案手法

• $\mathcal{O}_\infty$-安定性の構造を用いて、テンソル的吸収を介して核次元を低減する近似を構成する。
• Kirchberg の埋め込み定理と近似的ユニタリ同値性を応用し、$\mathcal{O}_2$-安定な写像を比較する。
• 擬似対角性および Cuntz 比較技法を用いてイデアル構造を分析し、全射的射影を生成する。
• 特に、有限分解ランクが擬似対角性を意味することを活用して、分解ランクと核次元の階層を活用する。
• 擬似無限元および Cuntz 関係を用いて、同じイデアルを生成する射影を構成する。
• Matui と Sato の UCT 無し分類および核次元計算に関する結果を応用し、UCT を含まない設定へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 可分で核的かつ $\mathcal{O}_\infty$-安定な $C^*$-代数の正確な核次元は何か？
• RQ2 $\mathcal{O}_\infty$-安定な $C^*$-代数が有限分解ランクを持つ条件は何か？
• RQ3 全射的かつ $\mathcal{O}_2$-安定な $*$-準同型が核次元 0 を持つのはいつか？
• RQ4 擬似対角性は $\mathcal{O}_\infty$-安定な $C^*$-代数における核次元とどのように関係するか？
• RQ5 $\mathcal{O}_2$-安定な写像に関して、核次元 0 はイデアル構造および擬似対角性のみを用いて特徴づけられるか？

主な発見

• 任意の可分で核的かつ $\mathcal{O}_\infty$-安定な $C^*$-代数は、核次元をちょうど 1 に持つ。
• $\mathcal{O}_\infty$-安定な $C^*$-代数が有限分解ランクを持つための必要十分条件は、それが擬似対角的であり、かつ擬似対角性と整合性を持つ原始的イデアル構造を持つことである。
• 全射的かつ $\mathcal{O}_2$-安定な $*$-準同型が核次元 0 を持つための必要十分条件は、その定義域 $C^*$-代数が擬似対角的であることである。
• $\mathcal{O}_2$-安定な $*$-準同型が核的でない場合、その核次元は無限大である。
• 核次元 0 は、$\mathcal{O}_2$-安定な写像に関して、分解ランク 0 を意味し、したがって定義域の擬似対角性を意味する。
• 証明は、$\theta \oplus 0$ と $\iota \circ \phi \oplus 0$ の近似的ユニタリ同値性を用いて、$\phi$ から $\theta$ へ核次元の性質を移すことに依拠している。