[论文解读] On quantales that classify C*-algebras

David Kruml, Pedro Manuel Agostin Resende|ArXiv.org|Mar 31, 2004

Advanced Topics in Algebra参考文献 7被引用 31

一句话总结

本文证明了函子 Max 将每个有单位元的 C*-代数映射为其闭线性子空间的有单位元自反量纲，该函子在 *-同构意义下分类了 C*-代数。它证明了当限制在左侧行为元素上时，Max(A) 与 Max(B) 之间的每个同构都源自 A 与 B 之间的 *-同构，但表明并非所有 Max(A) 的自同构都能提升为 A 的自同构，这意味着 Max 在整体上并非在同构上是满的。

ABSTRACT

The functor Max of Mulvey assigns to each unital C*-algebra A the unital involutive quantale Max A of closed linear subspaces of A, and it has been remarked that it classifies unital C*-algebras up to *-isomorphism. In this paper we provide a proof of this and of the stronger fact that for every isomorphism u : Max A -> Max B of unital involutive quantales there is a *-isomorphism u' : A -> B such that Max u' coincides with u when restricted to the left-sided elements of Max A. But we also show that isomorphisms u : Max A -> Max B may exist for which no isomorphism v : A -> B is such that Max v = u.

研究动机与目标

• 阐明 Max 函子在多大程度上通过其关联的量纲对有单位元的 C*-代数进行分类。
• 研究量纲范畴中的同构是否能提升为 C*-代数范畴中的 *-同构。
• 确定 Max 是否在同构上是满的，即每个量纲同构是否都源自 C*-代数的 *-同构。
• 构造一个反例，表明某些 Max(A) 的自同构并非由 A 的自同构诱导，从而限制了该函子的范畴强度。

提出的方法

• 作者分析了有单位元的 C*-代数 A 的 Max(A)——即其闭线性子空间的有单位元自反量纲的结构。
• 他们使用量纲的点（即主自反左模）的概念，研究 Max(A) 在左侧行为上的空间性。
• 他们证明 Max(A) 中的左侧行为元素可被点分离，从而允许将量纲同构提升至该子结构上的 *-同构。
• 他们通过 C*-代数 ℂ² 构造了一个具体反例，以表明 Max(ℂ²) 允许不被任何 ℂ² 的 *-自同构诱导的自同构。
• 他们比较了 A 和 B 在希尔伯特空间上的表示，并利用诱导的量纲同态，通过其点将 Max(A) 与 Max(B) 关联起来。
• 他们应用 [2] 和 [16] 中关于弱稠密包含和 Jordan 代数结构的结果，证明 C*-代数由其量纲谱决定。

实验结果

研究问题

• RQ1 每个 Max(A) 与 Max(B) 之间的同构 u: Max(A) → Max(B) 在限制到左侧行为元素时，是否都源自 A 与 B 之间的 *-同构？
• RQ2 Max 函子是否在同构上是满的，即每个 Max(A) 与 Max(B) 之间的量纲同构是否都可提升为 A 与 B 之间的 *-同构？
• RQ3 Max(A) 的自同构是否可能无法由 A 的自同构诱导？若如此，这对 Max 的范畴性质意味着什么？
• RQ4 Max(A) 在左侧行为上的空间性在多大程度上确保同构由其在左侧行为元素上的作用决定？
• RQ5 是否可用商对象或子对象替代量纲 Max(A)，以在量纲范畴的一个全满子范畴中恢复一个全满且忠实的函子？

主要发现

• 每个有单位元自反量纲的同构 u: Max(A) → Max(B) 都可提升为一个 *-同构 ū: A → B，使得对所有 Max(A) 中的左侧行为元素 a，都有 u(a) = Max(ū)(a)。
• Max 函子在同构上并非满的，如反例所示：C*-代数 ℂ² 存在一个自同构，该自同构无法由任何 *-自同构诱导。
• 该 ℂ² 的 Max(ℂ²) 自同构在两个分量均非零时交换对应标准基向量的两个原子，同时保持沿坐标轴的一维子空间不变。
• 该反例表明，尽管 Max 在 *-同构意义下能分类 C*-代数本身，但它无法分类 C*-代数的自同构群。
• Max(A) 在左侧行为上的空间性确保左侧行为元素能检测所有同构，但这一性质无法推广至整个量纲。
• Max 在同构上不满足满性，意味着 Max 无法在有单位元的 C*-代数与有单位元自反量纲范畴的一个全满子范畴之间诱导范畴等价。