[論文レビュー] On classification of non-unital simple amenable C*-algebras, I

Guihua Gong, Huaxin Lin|arXiv (Cornell University)|Nov 14, 2016

Advanced Operator Algebra Research被引用数 9

ひとこと要約

この論文は、一般化されたトレースランクが1以下である非単位的、安定的に投影的でない、分離可能な単純なアーベルでないC*-代数について、安定的同型定理を確立する。2つのこのようなC*-代数が同型であるための必要十分条件は、スケール付きトレースコン回の同型であることを示し、KK理論の消滅条件と修正された不変量を用いて、エリオット分類プログラムを非単位的状況に拡張する。

ABSTRACT

We present a stable uniqueness theorem for non-unital C*-algebras. Generalized tracial rank one is defined for stably projectionless simple C*-algebras. Let $A$ and $B$ be two stably projectionless separable simple amenable C*-algebras with $gTR(A)\le 1$and $gTR(B)\le 1.$ Suppose also that $KK(A, D)=KK(B,D)=\{0\}$ for all C*-algebras $D.$ Then $A\cong B$ if and only if they have the same tracial cones with scales. We also show that every separable simple C*-algebra, $A$ with finite nuclear dimension which satisfies the UCT with non-zero traces must have $gTR(A)\le 1$ if $K_0(A)$ is torsion. In the next part of this research, we show similar results without the restriction on $K$-theory.

研究の動機と目的

• 非単位的で、安定的に投影的でない、分離可能な単純なアーベルでないC*-代数に対するエリオット分類プログラムを拡張すること。
• 単位化や全射性の条件に依存しない非単位的C*-代数のための安定的同型定理を確立すること。
• 1次元非可換有限コンパクトをモデルとして用い、安定的に投影的でないC*-代数における一般化されたトレースランク1（gTR ≤ 1）を定義し、その性質を調べること。
• KK理論の消滅条件と有限核次元の仮定の下で、2つのこのような代数が同型であるための必要十分条件が、スケール付きトレースコン回の同型であることを証明すること。
• 自明なK理論と非ゼロのトレースを持つ有限核次元C*-代数が、K₀が torsion であるとき、gTR ≤ 1 を満たすことを示すこと。

提案手法

• 単位化や全射性に依存しない非単位的C*-代数のための新しい安定的同型定理を導入する。
• 安定的に投影的でない1次元非可換有限コンパクトをモデルとして用い、一般化されたトレースランク1（gTR ≤ 1）を定義する。
• 厳密比較性、近似的可除性、安定的スレート1を満たすC*-代数のクラスD₀を用いて、gTR ≤ 1 を特徴付ける。
• エリオット不変量を非単位的状況で置き換えるために、トレース状態空間と下半連続トレースコン回にスケールを加えた不変量を用いる。
• 同一のトレース写像を誘導するホモモーフィズムの漸近的ユニタリ同値性を、ユニタリの連続的経路によって実現する。
• A ∈ D₀ ならば A ⊗ ℤ ≅ A が成り立つことを利用し、ユニタリの共役を用いて近似的なホモモーフィズムを構成することで、トレース的近似的可除性を証明する。

実験結果

リサーチクエスチョン

• RQ1 単位化や全射性に依存しない非単位的C*-代数のための安定的同型定理を確立できるか？
• RQ2 安定的に投影的でないC*-代数に対して、トレースランクの適切な一般化は何か？
• RQ3 2つの非単位的で、安定的に投影的でない、分離可能な単純なアーベルでないC*-代数がgTR ≤ 1 を満たすとき、どのような条件下で同型であるか？
• RQ4 自明なK理論と有限核次元を持つ非単位的C*-代数を分類する際、エリオット不変量はどのように修正されるか？
• RQ5 すべてのD ∈ UCTクラスに対してKK(A, D) = 0 であることは、非単位的C*-代数の分類においてどのような役割を果たすか？

主な発見

• gTR(A) ≤ 1 かつ gTR(B) ≤ 1 を満たす2つの非単位的で分離可能な単純なアーベルでないC*-代数AとBは、スケール付きトレースコン回の間の同型が存在するときかつそのときに限り同型である。
• Aが分離可能な単純なC*-代数で、有限核次元をもち、UCTを満たし、自明なK理論かつK₀が torsion であるならば、gTR(A) ≤ 1 である。
• このような代数に対しては、同型型が完全に、T̃(A)（下半連続トレースのコン回）とΣ_A（スケール）の同型類のペア (T̃(A), Σ_A) によって決定づけられる。
• Aが有限で、非単位的で、分離可能で、単純で、有限核次元を持ち、すべての分離可能なD ∈ UCTクラスに対してKK(A, D) = 0 ならば、A ∈ D₀ であることを証明する。
• 安定的同型定理により、2つのホモモーフィズムφ₁, φ₂: A → B が同じトレース写像を誘導するならば、ユニタリの連続的経路による漸近的ユニタリ同値性が成り立つ。
• このような代数に対して、A ⊗ ℤ はトレース的近似的可除的であることが示され、Aが連続的スケールを持つとき、gTR(A) ≤ 1 を示す。