[论文解读] Homogeneity of the pure state space for the separable nuclear C*-algebras

Akitaka Kishimoto, Shôichirô Sakai|arXiv (Cornell University)|Apr 27, 2001

Advanced Operator Algebra Research参考文献 9被引用 3

一句话总结

本文证明了任意可分核 C*-代数的纯态空间在渐近内自同构群作用下是齐性的。通过核性理论与凯迪森传递性定理的技术手段，证明了具有等价 GNS 表示的纯态可通过单位酉共轭的连续路径相连，将已知结果推广至所有可分核 C*-代数，并展示了具有相同核的有限个纯态的强传递性。

ABSTRACT

We prove that the pure state space is homogeneous under the action of the group of asymptotically inner automorphisms for all the separable simple nuclear C*-algebras. If simplicity is not assumed for the C*-algebras, the set of pure states whose GNS representations are faithful is homogeneous for the above action.

研究动机与目标

• 建立所有可分核 C*-代数在渐近内自同构群作用下纯态空间的齐性。
• 将此前仅对特定 C*-代数类成立的已知传递性结果推广至可分核 C*-代数的全类。
• 证明渐近内自同构群在具有相同核的纯态有限族上作用强传递。
• 通过有限个纯态的单位酉共轭，提供一个与可分性相关的新的核性刻画，该刻画与殆平凡性相关。
• 将引理 3.1 推广，以强化传递性结果，使其适用于具有相同核的互不相交纯态有限序列。

提出的方法

• 利用 Choi 与 Effros 建立的核 C*-代数表征：即存在通过有限维 C*-代数分解的完全正收缩网。
• 应用一个技术性引理（引理 3.1），表明核 C*-代数在有限维商代数中存在受控误差的单位酉逼近。
• 使用极分解与单位酉扰动技术，构造实现自同构逼近态共轭的酉算子连续路径。
• 运用凯迪森传递性定理，使一个纯态在另一纯态的 GNS 表示中可被模仿为向量态，从而通过单位酉共轭逼近态。
• 在有限维 C*-代数的单位群中构造有限 ε-网，并使用双射论证在单位酉作用下匹配元素。
• 将核心技术引理推广至处理具有相同核的互不相交不可约表示的有限族，从而实现对多个纯态的强传递性。

实验结果

研究问题

• RQ1 可分核 C*-代数的纯态空间在渐近内自同构群作用下的齐性，能否从特定类推广至所有可分核 C*-代数？
• RQ2 渐近内自同构群在具有相同核的纯态有限族上的作用是否强传递？
• RQ3 基于有限维商代数中单位酉逼近的证明核心技术，能否同时处理多个不可约表示？
• RQ4 此类传递性作用的存在，是否能提供一种以殆平凡性与单位酉共轭为条件的核性新刻画？
• RQ5 若允许有限秩投影属于表示的交换子而不必位于其内，是否仍能保持逼近结果？

主要发现

• 任意可分简单核 C*-代数的纯态空间在渐近内自同构群作用下是齐性的。
• 对于一般的可分核 C*-代数，其 GNS 表示为忠实表示的纯态集合在相同作用下是齐性的。
• 渐近内自同构群在具有相同核的纯态有限族上作用强传递。
• 一个技术性引理（引理 3.1）表明，核 C*-代数在有限维商代数中存在单位酉逼近，其误差界依赖于有限集和容差。
• 证明构造了实现自同构逼近态共轭的酉算子连续路径，其逼近精度在任意有限集上均可控制在 ε 以内。
• 主要结果被推广，表明对任意具有相同核的纯态有限序列，均存在一个渐近内自同构将一序列映射至另一序列。