[论文解读] 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 所刻画）当且仅当其与任意单的、无限维的、简单的 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*-代数类。
• 为使用张量积和 K-理论不变量对 𝒜₁ ∩ 𝒩 中的 C*-代数进行分类提供一个框架。

提出的方法

• 使用迹秩和有理迹秩的概念，通过与无限型 UHF-代数张量积来定义。
• 应用通过一族 𝒞 中的 C*-子代数进行迹逼近的概念，特别是使用 AF 和 AH 代数。
• 使用 Elliott 不变量和 K-理论工具，包括严格比较、弱无孔性以及 K₀-群中的 Riesz 插值。
• 利用近似可除性和 UCT（通用系数定理）来分析张量积及其 K-理论。
• 应用 [25] 和 [39] 中的分类结果，得出张量积与无维数增长的单的简单 AH-代数之间同构的结论。
• 利用当 A ∈ 𝒜₁ ∩ 𝒩 时，A ⊗ Q 是一个无维数增长的单的简单 AH-代数的事实，并应用从迹状态空间到状态空间的典范映射结果。

实验结果

研究问题

• RQ1 若 A ⊗ B 的迹秩 ≤1，其中 B 是某个单的、无限维的、简单的 AF-代数，则是否必有 A ∈ 𝒜₁？
• RQ2 两个属于 𝒜₁ ∩ 𝒩 的 C*-代数的张量积是否也属于 𝒜₁ ∩ 𝒩？
• RQ3 当 A ∈ 𝒜₁ ∩ 𝒩 且 B 是一个无维数增长的单的简单 AH-代数时，A ⊗ B 的迹秩是否可被控制在 1 以内？
• RQ4 A ∈ 𝒜₁ 是否等价于对某个或所有属于 𝒜₁ ∩ 𝒩 的单的、无限维的 C*-代数 B，都有 A ⊗ B ∈ 𝒜₁？
• RQ5 对于 A ∈ 𝒜₁ ∩ 𝒩，涉及与 AF-代数、AH-代数以及 Q 张量积的条件是否全部等价？

主要发现

• 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-代数结构进行分类。