[论文解读] Irreducible representations of inner quasidiagonal C*-algebras

Bruce Blackadar, Eberhard Kirchberg|ArXiv.org|Nov 30, 2007

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

一句话总结

本文证明，一个可分 C*-代数是内拟对角的，当且仅当它存在一个拟对角不可约表示的分离族。这一刻画简化了强 NF 代数的验证——即一个可分 C*-代数是强 NF 代数，当且仅当它是核的且具有此类表示族——为 C*-代数分类中一个核心类群提供了实用的判别准则。

ABSTRACT

It is shown that a separable C*-algebra is inner quasidiagonal if and only if it has a separating family of quasidiagonal irreducible representations. As a consequence, a separable C*-algebra is a strong NF algebra if and only if it is nuclear and has a separating family of quasidiagonal irreducible representations. We also obtain some permanence properties of the class of inner quasidiagonal C*-algebras.

研究动机与目标

• 通过提供一个表示论刻画，解决直接验证内拟对角性的困难。
• 通过将内拟对角性识别为关键区分因素，澄清 NF 代数与强 NF 代数之间的区别。
• 建立内拟对角 C*-代数类的保持性质，增强对该类代数结构的理解。
• 证明内拟对角性是一个 (SI) 性质，将其与 C*-代数理论中的更广泛分类框架联系起来。

提出的方法

• 构造一个有限维希尔伯特空间塔，包含嵌入、有限自伴算子集以及满足特定逼近与相容性条件的完全正收缩映射。
• 利用希尔伯特空间及其关联算子的归纳极限，定义一个在极限希尔伯特空间上的弱收敛算子网，从而形成一个表示。
• 通过在几乎交换的投影上使用函数演算的扰动论证，构造一个拟对角不可约表示。
• 利用内拟对角 C*-代数上存在纯矩阵态射的事实，扩展表示并保持拟对角性。
• 利用该刻画通过归纳极限、张量积和连续 C*-代数族推导出保持结果。
• 应用 (SI) 性质的概念，证明在内拟对角性背景下，归纳极限与子代数的封闭性。

实验结果

研究问题

• RQ1 一个可分 C*-代数的内拟对角性能否通过存在一个拟对角不可约表示的分离族来刻画？
• RQ2 在核性的前提下，若存在此类表示族，是否能推出 C*-代数是强 NF 代数？
• RQ3 内拟对角 C*-代数类是否具有保持性质（如对归纳极限、张量积或连续族的封闭性）？
• RQ4 内拟对角性在最小张量积和具有单射连接映射的归纳极限下是否保持？
• RQ5 内拟对角性能否在布莱克达尓分类理论的 (SI) 性质意义下被识别？

主要发现

• 一个可分 C*-代数是内拟对角的，当且仅当它存在一个拟对角不可约表示的分离族。
• 一个可分 C*-代数是强 NF 代数，当且仅当它是核的且存在一个拟对角不可约表示的分离族。
• 任意具有单射连接映射的内拟对角 C*-代数的归纳极限本身也是内拟对角的。
• 即使不假设可分性，内拟对角 C*-代数的最小张量积也是内拟对角的。
• 连续场的连续截面所构成的 C*-代数（其纤维为可分内拟对角 C*-代数）本身是内拟对角的。
• 内拟对角性是一个 (SI) 性质，即它在归纳极限下保持，并满足布莱克达尔分类理论中 (SI) 框架的公理。