[论文解读] Abelian subalgebras and the Jordan structure of a von Neumann algebra

Andreas Doering, John Harding|arXiv (Cornell University)|Sep 24, 2010

Quantum Mechanics and Applications参考文献 23被引用 34

一句话总结

本文证明，不含类型 $I_2$ 直和项的冯诺依曼代数的乔丹 $^*$-代数结构完全由其阿贝尔子代数的序结构决定。具体而言，任何两个冯诺依曼代数的阿贝尔子代数格之间的序同构，都会唯一诱导出这两个代数之间的乔丹 $^*$-同构，反之亦然，表明乔丹结构可从阿贝尔子代数的格中重构出来。

ABSTRACT

For von Neumann algebras M, N not isomorphic to C^2 and without type I_2 summands, we show that for an order-isomorphism f:AbSub(M)->AbSub(N) between the posets of abelian von Neumann subalgebras of M and N, there is a unique Jordan *-isomorphism g:M->N with the image g[S] equal to f(S) for each abelian von Neumann subalgebra S of M. The converse also holds. This shows the Jordan structure of a von Neumann algebra not isomorphic to C^2 and without type I_2 summands is determined by the poset of its abelian subalgebras, and has implications in recent approaches to foundational issues in quantum mechanics.

研究动机与目标

• 确定冯诺依曼代数的代数结构在多大程度上被其阿贝尔子代数的序结构所编码。
• 研究是否能够从阿贝尔冯诺依曼子代数的格中重构乔丹 $^*$-代数结构。
• 建立阿贝尔子代数格之间的序同构与底层代数之间乔丹 $^*$-同构之间的对应关系。
• 通过阐明从经典视角（即阿贝尔子代数）可恢复的结构性信息，支持量子力学的基础性方法，特别是拓扑范畴理论的表述。
• 将已知的关于布尔子代数和正交模格的结果，推广到冯诺依曼代数的非交换情形。

提出的方法

• 作者利用阿贝尔冯诺依曼子代数的格 $AbSub~{}\mathcal{M}$ 构成一个具有有限交的完备交半格这一事实。
• 他们应用文献 [16] 中的结果：正交模格由其布尔子代数的格所决定，并将该结果推广至非交换情形。
• 他们将映射 $F: \mathcal{M} \to \mathcal{N}$ 定义为序同构与谱定理构造的复合，以确保 $F$ 是一个乔丹 $^*$-同构。
• 他们证明，任意一个序同构 $f: AbSub~{}\mathcal{M} \to AbSub~{}\mathcal{N}$ 唯一地提升为一个乔丹 $^*$-同构 $F: \mathcal{M} \to \mathcal{N}$，使得对所有 $\mathcal{S} \in AbSub~{}\mathcal{M}$，都有 $f(\mathcal{S}) = F[\mathcal{S}]$。
• 通过证明：若两个乔丹 $^*$-同构在投影上一致，则它们必完全相等，从而确立唯一性，该证明依赖于谱定理以及布尔子代数分解的唯一性。
• 反之亦然：任何乔丹 $^*$-同构 $F: \mathcal{M} \to \mathcal{N}$ 通过像映射诱导出阿贝尔子代数格之间的序同构。

实验结果

研究问题

• RQ1 能否从冯诺依曼代数的阿贝尔子代数的序结构中重构其乔丹 $^*$-代数结构？
• RQ2 阿贝尔子代数格之间的序同构与代数之间的乔丹 $^*$-同构之间是否存在自然对应关系？
• RQ3 在缺乏类型 $I_2$ 直和项的情况下，阿贝尔子代数的格 $AbSub~{}\mathcal{M}$ 在多大程度上决定了代数 $\mathcal{M}$ 的代数结构？
• RQ4 该重构结果如何支持或影响量子力学的拓扑范畴理论方法？
• RQ5 类似重构结果能否推广至 $C^*$-代数或其他非结合代数结构？

主要发现

• 对于两个不含类型 $I_2$ 直和项且不与 $\mathbb{C} \oplus \mathbb{C}$ 同构的冯诺依曼代数 $\mathcal{M}$ 和 $\mathcal{N}$，其阿贝尔子代数格之间的任意序同构 $f: AbSub~{}\mathcal{M} \to AbSub~{}\mathcal{N}$，唯一诱导出一个乔丹 $^*$-同构 $F: \mathcal{M} \to \mathcal{N}$，使得对所有 $\mathcal{S} \in AbSub~{}\mathcal{M}$，都有 $f(\mathcal{S}) = F[\mathcal{S}]$。
• 反之亦然：任意一个乔丹 $^*$-同构 $F: \mathcal{M} \to \mathcal{N}$ 通过 $f(\mathcal{S}) = F[\mathcal{S}]$ 的方式诱导出阿贝尔子代数格之间的序同构 $f: AbSub~{}\mathcal{M} \to AbSub~{}\mathcal{N}$。
• 乔丹 $^*$-同构的唯一性由谱定理保证，且若两个此类同构在投影上一致，则必完全相等。
• 该结果表明，只要代数不是 $\mathbb{C} \oplus \mathbb{C}$ 且不包含 $I_2$ 直和项，冯诺依曼代数的乔丹 $^*$-代数结构便完全编码于其阿贝尔子代数的序理论结构之中。
• 该定理为量子力学的拓扑范畴理论方法提供了结构基础，其中谱预层 $\underline{\Sigma}^\mathcal{M}$ 是由格 $AbSub~{}\mathcal{M}$ 构造而成，而该结果意味着 $\mathcal{M}$ 仅能通过乔丹 $^*$-同构意义被该结构唯一确定。
• 该结果并未恢复完整的 $^*$-代数结构，而仅恢复乔丹结构，因为非同构的冯诺依曼代数可能共享相同的阿贝尔子代数格，但在非交换乘积上存在差异。