[论文解读] Haagerup approximation property for arbitrary von Neumann algebras

Rui Okayasu, Reiji Tomatsu|arXiv (Cornell University)|Dec 4, 2013

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

一句话总结

本文通过其标准形式，为任意冯诺依曼代数引入了统一的哈格鲁普逼近性质（HAP）定义，将经典概念从有限代数推广至一般情况。研究证明，HAP在范数为一的投影以及在可约作用下的固定点代数下保持不变，通过希尔伯特空间表示中的算子理论逼近，推广了可乘性和半离散性的结果。

ABSTRACT

We attempt presenting a notion of the Haagerup approximation property for an arbitrary von Neumann algebra by using its standard form. We also prove the expected heredity results for this property.

研究动机与目标

• 将哈格鲁普逼近性质从有限冯诺依曼代数推广至任意冯诺依曼代数，包括非迹性与非半有限情形。
• 利用冯诺依曼代数的标准形式，结合模共轭与自对偶正锥，定义HAP。
• 建立HAP的遗传性质，特别是其在范数为一的投影以及在可约量子群作用下的固定点代数下的稳定性。
• 统一并推广现有关于半离散性与可乘性的刻画，以希尔伯特空间表示中的紧逼近为框架。

提出的方法

• 利用冯诺依曼代数的标准形式 (M, H, J, P)，通过Hilbert空间上收缩的完全正紧算子在强算子拓扑下逼近恒等算子，定义HAP。
• 应用与忠实正规态φ相关的GNS构造，通过 T_n(Δ_φ^{1/4}xξ_φ) = Δ_φ^{1/4}Φ_n(x)ξ_φ 在H_φ上定义实现算子T_n。
• 采用矩阵有序的希尔伯特空间结构及Choi-Effros理论，刻画实现算子的紧性与收缩性。
• 利用M到子代数N存在范数为一的投影这一事实，通过强算子收敛与范数估计，将HAP从M传递至N。
• 应用对偶性与半直积构造，将HAP在可约量子群及其对偶作用下的保持性推广。
• 利用可乘冯诺依曼代数是半离散的这一事实，并证明HAP通过标准形式中的逼近可推出半离散性。

实验结果

研究问题

• RQ1 哈格鲁普逼近性质能否在任意冯诺依曼代数（而不仅是有限代数）上合理定义？
• RQ2 在非迹性设定下，完全正映射的‘在无穷远处消失’或‘紧致性’概念应如何推广？
• RQ3 HAP在可约量子群作用下的固定点代数下是否仍然保持？
• RQ4 当通过范数为一的投影传递至子代数时，HAP是否保持？
• RQ5 在一般冯诺依曼代数设定下，HAP与可乘性及半离散性有何关系？

主要发现

• 对于具有忠实正规态φ的σ-有限冯诺依曼代数M，其哈格鲁普逼近性质等价于存在一个正规收缩的完全正映射Φ_n的网，使得其在H_φ上对应的实现算子T_n为收缩且紧致，且满足 T_n(Δ_φ^{1/4}xξ_φ) = Δ_φ^{1/4}Φ_n(x)ξ_φ。
• 若M具有HAP，且存在从M到子代数N的范数为一的投影，则N也具有HAP，从而确立了此类投影下的遗传稳定性。
• 若可约局部紧量子群G作用于M，且M具有HAP，则固定点代数M^α也具有HAP，推广了在不变均值下的稳定性。
• 当对偶也具有可约性时，HAP在与可约量子群的半直积下保持不变，从而M与M⋊_αG具有HAP当且仅当彼此具有HAP。
• HAP蕴含半离散性，且可乘冯诺依曼代数是半离散的，因此已知结果可作为特例被恢复。
• 通过标准形式提出的HAP定义与Caspers与Skalski的独立构造一致，证实了不同方法间的协调性。