[論文レビュー] Nuclear dimension and n-comparison

Leonel Robert|arXiv (Cornell University)|Feb 10, 2010

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

ひとこと要約

この論文は、有限核次元 $n$ の C*-代数が、トレースによる正の元の比較に関する構造的条件である $n$-比較性を満たす Cuntz 群をもつことを確立している。この結果により、有限核次元（または核次元が高々 $\omega$ の）$σ$-ユニタル C*-代数が安定であるための必要十分条件が、非自明なユニタル商と非自明な有界トレースをもたないことに帰着され、分類プログラムにおける重要な安定性基準が解消される。

ABSTRACT

It is shown that if a C*-algebra has nuclear dimension $n$ then its Cuntz semigroup has the property of $n$-comparison. It then follows from results by Ortega, Perera, and Rordam that $σ$-unital C*-algebras of finite nuclear dimension (and even of nuclear dimension at most $ω$) are stable if and only if they have no non-zero unital quotients and no non-zero bounded traces.

研究の動機と目的

• C*-代数の Cuntz 群における核次元と $n$-比較性の間の構造的関係を確立すること。
• $σ$-ユニタル C*-代数の安定性基準を $n$-比較から有限核次元の代数へ拡張すること。
• 核次元が高々 $\omega$ の C*-代数に対して、0 次の写像の極限構成を用いて安定性条件を一般化すること。
• Cuntz 群における $n$-比較性が、ユニタル商と有界トレースが存在しない場合に安定性を示すこと

提案手法

• 有限次元の $F_\lambda^i$ と 0 次の $\phi_\lambda^i: F_\lambda^i \to A$ を用いた c.p.c. 写像のネット $\psi_\lambda^i: A \to F_\lambda^i$ による核次元の定義を用いる。
• $n$-比較性の下位半連続 2-トレースを用いた特徴付けを適用する：すべての $i=0,\dots,n$ に対して $[a] <_\tau [b_i]$ ならば $[a] \leq \sum_{i=0}^n [b_i]$ である。
• 0 次写像を用いた漸近的分解を通じた要素のリフトを構成し、$\sum_{i=0}^n \phi^i \psi^i(a) = \iota(a)$ のノルム収束を証明する。
• Ortega, Perera, Rørdam が示した安定性基準（$σ$-ユニタル C*-代数が非自明なユニタル商と非自明な有界 2-トレースをもたないときかつそのときに限り安定である）を用いる。
• 核次元が高々 $\omega$ の場合に一般化するため、ノルム収束を伴う c.p.c. 0 次写像の無限和を考察する。
• Hereditary subalgebra に対して $\omega$-比較性を $A \otimes \mathcal{K}$ に適用し、同じ条件下で安定であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 有限核次元 $n$ の C*-代数は、Cuntz 群において $n$-比較性を満たすか？
• RQ2 ユニタル商と有界トレースの不在に基づく $σ$-ユニタル C*-代数の安定性基準を、有限核次元の代数へ拡張できるか？
• RQ3 核次元が高々 $\omega$ の場合の極限構成において、$n$-比較性は保存されるか？
• RQ4 Cuntz 群における $\omega$-比較性は、有限 $n$ の場合と同様の安定性基準を示すか？
• RQ5 核次元が高々 $\omega$ の $σ$-ユニタル C*-代数に対して、コロナ因子分解性を確立できるか？

主な発見

• C*-代数 $A$ が核次元 $n$ をもつならば、その Cuntz 群 $Cu(A)$ は $n$-比較性を満たす：すべての $i=0,\dots,n$ に対して $[a] <_\tau [b_i]$ ならば $[a] \leq \sum_{i=0}^n [b_i]$ である。
• $σ$-ユニタル C*-代数が有限核次元をもつとき、安定性は非自明なユニタル商と非自明な有界トレースをもたないことと同値である。
• 核次元が高々 $\omega$ の C*-代数では、ノルム収束を伴う c.p.c. 0 次写像の無限和を用いて定義される $Cu(A)$ において $n$-比較性が成り立つ。
• このような代数の Cuntz 群は $\omega$-比較性を満たす：すべての $i \in \mathbb{N}$ に対して $x \leq_s y_i$ ならば $x \leq \sum_{i=0}^\infty y_i$ である。
• 核次元が高々 $\omega$ である $A \otimes \mathcal{K}$ の $σ$-ユニタルヒルベルト部分代数は、非自明なユニタル商と非自明な有界トレースをもたないことと同値に安定である。
• 結果として、このような代数はコロナ因子分解性をもつ。すなわち、$M_n(B)$ が安定ならば、$B \otimes \mathcal{K}$ の任意のフルなヒルベルト部分代数は安定である。