[论文解读] Homogeneity of the pure state space of a separable C*-algebra

Akitaka Kishimoto, Narutaka Ozawa+1 more|ArXiv.org|Oct 15, 2001

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

一句话总结

该论文证明了任意可分C*-代数的纯态空间在其渐近内自同构群作用下是齐性的，即任意两个在GNS表示中具有相同核的纯态可通过渐近内自同构相互连接。该结果推广了Powers对UHF代数的早期工作，其核心依赖于与近似酉等价及注入von Neumann代数相关的C*-代数的普遍性质。

ABSTRACT

We prove that the pure state space is homogeneous under the action of the automorphism group (or the subgroup of asymptotically inner automorphisms) for all the separable simple C*-algebras. The first result of this kind was shown by Powers for the UHF algebras some 30 years ago.

研究动机与目标

• 建立可分C*-代数的纯态空间在渐近内自同构群作用下的齐性。
• 将Powers对UHF代数的结果推广至所有可分简单C*-代数。
• 证明具有相同GNS表示核的纯态在渐近内自同构下酉等价。
• 证明性质1.3（一种弱可约性条件）在所有C*-代数中普遍成立，从而支持主要结果。
• 阐明渐近内自同构在KK理论与分类框架下作为全自同构群核心子群的作用。

提出的方法

• 利用性质1.2，该性质保证具有等价GNS表示的纯态可通过C*-代数单位群中的连续酉路径连接。
• 应用性质1.3，即一种涉及通过A中矩阵代数元素逼近换位子与投影的弱可约性形式。
• 依赖Haagerup对注入von Neumann代数的等距半群上的不变平均，构造A⊗A中的网。
• 利用普遍表示与在对偶中的弱*收敛性，在A⊗A中构造元素，使其对所有a∈A近似交换，并在乘积映射下映射到单位元。
• 应用Kadison的传递性定理，将近似酉等价提升为模紧算子的实际酉等价。
• 通过Hahn-Banach分离论证结合上述工具，证明性质1.3对所有C*-代数成立。

实验结果

研究问题

• RQ1 任意可分C*-代数的纯态空间是否在其渐近内自同构群作用下是齐性的？
• RQ2 是否存在一条连续的酉路径连接任意两个在GNS表示中具有相同核的纯态，且该性质在可分C*-代数中普遍成立？
• RQ3 性质1.3——一种涉及近似换位子与投影的弱可约性形式——是否对所有C*-代数成立？
• RQ4 渐近内自同构在KK理论与表示等价性意义上，能在多大程度上捕捉全自同构群？
• RQ5 能否利用与注入von Neumann代数相关的C*-代数的普遍性质，在不假设核性或简单性的情况下证明纯态的齐性？

主要发现

• 任意可分C*-代数的纯态空间在其渐近内自同构群作用下是齐性的。
• 对于任意可分C*-代数的两个纯态ω₁与ω₂，若满足ker π_{ω₁} = ker π_{ω₂}，则存在α ∈ AInn(A)，使得ω₁ = ω₂α。
• 性质1.3在所有C*-代数中普遍成立，其证明基于Haagerup对注入von Neumann代数等距半群上的不变平均。
• 证明表明，由不变平均构造的A⊗A中的网{T_λ}满足对所有a ∈ A有lim_λ ||L_a T_λ - R_a T_λ||_∧ = 0。
• 乘积映射p(T_λ)在对偶中σ-弱收敛于单位元，确保构造的酉算子在表示中近似单位元。
• 即使C*-代数非单位元，该结果仍成立，因为构造中使用了A + C1以在单位群中实现酉路径。