[論文レビュー] Remarks on Z-stable projectionless C*-algebras

Leonel Robert|arXiv (Cornell University)|Dec 28, 2011

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

ひとこと要約

この論文は、Z-安定で投影子を持たないC*-代数が、すべての元が2つの冪零元の積の極限として表されると示しており、これは『ほぼ安定階数1』の性質を意味する。これにより、単位元を含むか投影子を含む場合を超えたZ-安定C*-代数の分類において、トレースを用いた正の元の近似ユニタリ同値による分類が可能になり、重要な構造的問題が解決される。

ABSTRACT

It is shown that projectionless C*-algebras that tensorially absorb the Jiang-Su algebra have the property that every element is a limit of products of two nilpotents. This is then used to classify the approximate unitary equivalence classes of positive elements in such C*-algebras using traces.

研究の動機と目的

• Z-安定で投影子を持たないC*-代数の構造的性質、特に安定階数の挙動と元の近似について調査する。
• Cuntz比較とトレースを用いて、このようなC*-代数における正の元の分類を確立する。
• 安定階数1のC*-代数に得られた分類結果を、Z-安定で投影子を持たないC*-代数のより広いクラスへと拡張する。
• ほぼ安定階数1の性質がヒルベルトC*-加群への埋め込みと近似ユニタリ同値性において果たす役割を明確にする。

提案手法

• Z-安定で投影子を持たないC*-代数の任意の元が、その元が生成するヒルベルト部分代数内で2つの冪零元の積の極限として表されることを証明する。
• 冪零元の積による近似を用いて、代数がほぼ安定階数1であることを示す。すなわち、任意の閉ヒルベルト部分代数が、そのユニタリゼーションの可逆元の閉包に含まれることを示す。
• Cuntz半群と次元関数の理論を用いて、Cuntz比較をトレース不等式に関連付ける。
• Z-安定で、純粋に非コンパクトなCuntzクラスを持つC*-代数では、すべての下半連続な2クェーシートレース $\tau$ に対して $d_\tau(a) \leq d_\tau(b)$ ならば $[a] \leq [b]$ が成り立つという事実を活用する。
• RobertとSantiago [2015] の分類結果を用いて、正の元 $a,b$ の近似ユニタリ同値性が、すべての $t \geq 0$ とすべてのこのようなトレース $\tau$ に対して $d_\tau((a-t)_+) = d_\tau((b-t)_+)$ が成り立つことと同値であることを示す。
• ほぼ安定階数1の性質を応用して、安定階数1代数から得られた結果をZ-安定で投影子を持たない代数へと拡張する。モジュール埋め込みと同型条件に依拠する。

実験結果

リサーチクエスチョン

• RQ1 Z-安定で投影子を持たないC*-代数の任意の元は、2つの冪零元の積で近似可能か？
• RQ2 Z-安定で投影子を持たないC*-代数では『ほぼ安定階数1』の性質が成り立つか？その意味は何か？
• RQ3 このようなC*-代数において、トレースは正の元の近似ユニタリ同値性までどの程度分類可能か？
• RQ4 Z-安定で投影子を持たないC*-代数において、Cuntz比較はヒルベルトC*-加群への埋め込みと同値か？
• RQ5 トレースによる正の元の分類は、安定階数1代数を超えて拡張可能か？

主な発見

• Z-安定で投影子を持たないC*-代数の任意の元は、その元が生成するヒルベルト部分代数内で2つの冪零元の積の極限として表される。
• 代数はほぼ安定階数1である：任意の閉ヒルベルト部分代数は、そのユニタリゼーションの可逆元の閉包に含まれる。
• このような代数における正の元 $a,b$ に対して、$a \precsim b$（Cuntz比較）が成り立つことは、$\overline{aA}$ が $\overline{bA}$ に右 $A$-ヒルベルトC*-加群として埋め込まれることと同値である。
• すべての下半連続な2クェーシートレース $\tau$ に対して $d_\tau(a) \leq d_\tau(b)$ が成り立つことは、Z-安定で投影子を持たないC*-代数において $a \precsim b$ と同値である。
• 正の元 $a,b$ の近似ユニタリ同値性は、すべての $t \geq 0$ とすべてのこのようなトレース $\tau$ に対して $d_\tau((a-t)_+) = d_\tau((b-t)_+)$ が成り立つことと同値である。
• Z-安定性の仮定は本質的である：非Z-安定な投影子を持たないC*-代数では、一般に同値性は成り立たない。単純かつ核となる場合ですら同様である。