[論文レビュー] Tensor Products of Classifiable C*-algebras

Huaxin Lin, Wei Sun|arXiv (Cornell University)|Mar 16, 2012

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

ひとこと要約

この論文は、単位的分離的単純 C*-代数 A がクラス 𝒜₁ に属する（有理的トレースランクが1以下であることで特徴づけられる）ための必要十分条件を示している。それは、A が任意の単位的無限次元単純 AF-代数または次元成長のない AH-代数とテンソル積を取ったとき、そのトレースランクが1以下であることと同値である。主な貢献は、特定の C*-代数とのテンソル積による 𝒜₁ の特徴づけであり、このクラスへの属する確認を簡略化し、Elliott 不変量枠組みにおける分類結果を支援する。

ABSTRACT

Let ${\cal A}_1$ be the class of all unital separable simple $C^*$-algebras $A$ such that $A\otimes U$ has tracial rank at most one for all UHF-algebras of infinite type. It has been shown that amenable ${\cal Z}$-stable $C^*$-algebras in ${\cal A}_1$ which satisfy the Universal Coefficient Theorem can be classified up to isomorphism by the Elliott invariant. We show that $A\in {\cal A}_1$ if and only if $A\otimes B$ has tracial rank at most one for one of unital simple infinite dimensional AF-algebra $B.$ In fact, we show that $A\in {\cal A}_1$ if and only if $A\otimes B\in {\cal A}_1$ for some unital simple AH-algebra $B.$ Other results regarding the tensor products of $C^*$-algebras in ${\cal A}_1$ are also obtained

研究の動機と目的

• 単位的分離的単純 C*-代数 A が有理的トレースランク ≤1 で特徴づけられるクラス 𝒜₁ に属するための条件を特定すること。
• 特定の C*-代数とのテンソル積を用いた十分条件を同定することで、𝒜₁ への属する確認を簡略化すること。
• 𝒜₁ ∩ 𝒩 におけるテンソル積に関する閉包性質を確立すること。ここで 𝒩 は UCT を満たすアーメンブル C*-代数のクラスを表す。
• Elliott 不変量に基づくテンソル積と K-理論的不変量を用いた、𝒜₁ ∩ 𝒩 に属する C*-代数の分類フレームワークを提供すること。

提案手法

• トレースランクおよび有理的トレースランクの概念を用い、無限型 UHF-代数とのテンソル積によって定義される。
• 特に AF-代数および AH-代数を用いた、家族 𝒞 における C*-部分代数によるトレース近似の概念を適用する。
• Elliott 不変量および K-理論的道具（厳密比較、弱非分解性、K₀ 群における Riesz 結合）を用いる。
• 近似的可除性および Universal Coefficient Theorem (UCT) を用いて、テンソル積およびその K-理論を分析する。
• [25] および [39] の分類結果を適用し、テンソル積と次元成長のない単純ユニタリ AH-代数との同型を結論づける。
• A ∈ 𝒜₁ ∩ 𝒩 のとき A ⊗ Q が次元成長のない単純ユニタリ AH-代数であるという事実を用い、トレース空間から状態空間への標準写像に関する結果を適用する。

実験結果

リサーチクエスチョン

• RQ1 A ⊗ B がトレースランク ≤1 を満たすような単位的無限次元単純 AF-代数 B が存在するとき、A ∈ 𝒜₁ であると言えるか？
• RQ2 𝒜₁ ∩ 𝒩 に属する二つの C*-代数のテンソル積も、𝒜₁ ∩ 𝒩 に属するか？
• RQ3 A ∈ 𝒜₁ ∩ 𝒩 かつ B が次元成長のない単位的単純 AH-代数であるとき、A ⊗ B のトレースランクは1以下に抑えられるか？
• RQ4 A ∈ 𝒜₁ であることは、A ⊗ B が 𝒜₁ に属するような（すべての）単位的単純無限次元 C*-代数 B が存在することと同値か？
• RQ5 AF-代数、AH-代数、および Q とのテンソル積に関する条件が、A ∈ 𝒜₁ ∩ 𝒩 のときすべて同値であるか？

主な発見

• A ∈ 𝒜₁ であるための必要十分条件は、ある単位的無限次元単純 AF-代数 B に対して A ⊗ B がトレースランク ≤1 であることである。
• A ∈ 𝒜₁ であるための必要十分条件は、次元成長のない単位的無限次元単純 AH-代数 B に対して A ⊗ B ∈ 𝒜₁ であることである。
• A ∈ 𝒜₁ ∩ 𝒩 かつ B が次元成長のない単位的無限次元単純 AH-代数であるとき、A ⊗ B は次元成長のない単位的単純 AH-代数である。
• A および B が 𝒜₁ ∩ 𝒩 に属するとき、A ⊗ B は常に 𝒜₁ ∩ 𝒩 に属する。
• A ∈ 𝒩 のとき、A ∈ 𝒜₁、TR(A ⊗ Q) ≤ 1、およびさまざまな B に対して TR(A ⊗ B) ≤ 1 であるという条件はすべて同値である。
• K₀ の状態空間へのトレース状態空間からの標準写像は極端点を極端点にマップする。これは AH-代数構造に基づく分類を支援する。