[论文解读] PRIMITIVITY OF UNITAL FULL FREE PRODUCTS OF FINITE DIMENSIONAL C ∗ -ALGEBRAS

Ken Dykema, Francisco Torres-Ayala|arXiv (Cornell University)|Jan 23, 2012

Advanced Operator Algebra Research参考文献 12被引用 1

一句话总结

本文证明，两个非平凡有限维C*-代数的单位元全自由积 A = A₁ ∗ A₂ 是原始的，除非 A₁ 和 A₂ 均同构于 C²。该结果表明代数是反拟极小的，且纯态在态空间中关于弱*-拓扑是稠密的，通过表示理论与态空间技术，对这一类C*-代数的原始性给出了完整刻画。

ABSTRACT

A C � -algebra is called primitive if it admits a faithful and irreducible ∗-representation. We show that the unital C � - algebra full free product, A = A1 ∗ A2, of nontrivial finite dimen- sional C � -algebras A1 and A2 is primitive except when A1 = C 2 = A2. It follows that A is antiliminal and the set of pure states is w*-dense in the state space.

研究动机与目标

• 确定单位元全自由积的有限维C*-代数的原始性条件。
• 刻画此类自由积在何时存在忠实的不可约 ∗-表示。
• 研究态空间的结构，特别是纯态在弱*-拓扑下的稠密性。
• 在给定条件下，建立代数在原始时为反拟极小的结论。

提出的方法

• 使用表示理论准则来评估C*-代数中的原始性。
• 分析有限维C*-代数的全自由积结构。
• 应用Gelfand-Naimark-Segal构造来研究态与表示。
• 使用弱*-拓扑对态空间进行拓扑分析，以考察纯态的稠密性。
• 通过有限维C*-代数的分类识别例外情况。
• 利用C*-代数中表示的不可约性与核的最大性之间的对偶性。

实验结果

研究问题

• RQ1 在何种条件下，两个有限维C*-代数的单位元全自由积是原始的？
• RQ2 C²代数在有限维C*-代数的自由积原始性中起什么作用？
• RQ3 原始性如何与这类自由积中的反拟极小性质相关联？
• RQ4 当这些C*-代数是原始时，其态空间中的纯态是否在弱*-拓扑下是稠密的？
• RQ5 自由积代数的哪些结构性特征决定了忠实不可约表示的存在？

主要发现

• 单位元全自由积 A = A₁ ∗ A₂ 是原始的，当且仅当 A₁ 和 A₂ 不同时同构于 C²。
• 当原始时，代数 A 是反拟极小的，即其不存在非平凡的双边理想，且该理想可表示为极大理想的之交。
• 纯态的集合在 A 的态空间中是弱*-稠密的，表明其具有丰富的极值态结构。
• 原始性结果适用于所有非平凡有限维C*-代数，除了 A₁ = A₂ = C² 的特定情况。
• 该刻画依赖于任何忠实表示的核中不存在有限维不可约表示，而这一条件恰好在两个因子均为 C² 时失效。