[论文解读] Dye's Theorem and Gleason's Theorem for AW*-algebras

Jan Hamhalter|arXiv (Cornell University)|Aug 20, 2014

Advanced Operator Algebra Research参考文献 2被引用 4

一句话总结

本文通过证明：若定义域 C*-代数不含类型 I₂ 直和项，则任何保持正交补和任意上确界的投影格之间映射均可唯一延拓为正规 Jordan *-同态，从而将 Dye 定理与 Gleason 定理推广至 AW*-代数。核心贡献在于揭示了 AW*-代数中格结构与 Jordan 代数结构之间的深层联系，使得 Jordan 结构可由阿贝尔子代数的偏序集完全重构。

ABSTRACT

We prove that any map between projection lattices of $AW^\ast$-algebras $A$ and $B$, where $A$ has no Type $I_2$ direct summand, that preserves orthocomplementation and suprema of arbitrary elements, is a restriction of a normal Jordan $\ast$-homomorphism between $A$ and $B$. This allows us to generalize Dye's Theorem from von Neumann algebras to $AW^\ast$-algebras. We show that Mackey-Gleason-Bunce-Wright Theorem can be extended to homogeneous $AW^\ast$-algebras of Type I. The interplay between Dye's Theorem and Gleason's Theorem is shown. As an application we prove that Jordan $\ast$-homomorphims are commutatively determined. Another corollary says that Jordan parts of $AW^\ast$-algebras can be reconstructed from posets of their abelian subalgebras.

研究动机与目标

• 通过刻画源于 Jordan *-同态的投影格之间映射，将 Dye 定理由冯诺依曼代数推广至 AW*-代数。
• 将 Mackey-Gleason-Bunce-Wright 定理推广至类型 I 的齐次 AW*-代数，证明投影上的有界可加测度可延拓为有界线性泛函。
• 建立 AW*-代数之间 Jordan *-同态由其在阿贝尔子代数上的行为完全决定，从而实现从阿贝尔子代数偏序集重构 Jordan 结构。
• 通过证明满足正规性与格相容性的拟 Jordan *-同态必为真正的 Jordan *-同态，解决 AW*-代数理论中的一个开放问题。

提出的方法

• 证明：若定义域 AW*-代数不含类型 I₂ 直和项，则任何保持正交补和任意上确界的 AW*-代数投影格之间映射均可延拓为正规 Jordan *-同态。
• 利用格论技巧与阿贝尔子代数的结构，证明此类映射通过谱投影保持 Jordan 乘积结构。
• 引入拟 Jordan *-同态的概念——即在阿贝尔子代数上为 Jordan *-同态且保持自伴元线性组合的映射，并证明其正规性蕴含完整的 Jordan *-同态性质。
• 利用 AW*-代数中递增投影网具有上确界这一事实，通过谱分解与 Stonean 空间表示，将格映射延拓为线性映射。
• 利用在无类型 I₂ 直和项时，投影格之间的正交同构与 Jordan *-同构等价，建立格同构与代数同构之间的联系。
• 证明 AW*-代数中阿贝尔 C*-子代数的偏序集之间的序同构唯一对应于 Jordan *-同构，从而实现从格数据重构结构。

实验结果

研究问题

• RQ1 能否通过刻画源于 Jordan *-同态的格映射，将 Dye 定理由冯诺依曼代数推广至 AW*-代数？
• RQ2 Mackey-Gleason-Bunce-Wright 定理是否可推广至有限类型 Iₙ（n ≥ 3）的 AW*-代数，以保证投影上的有界可加测度可延拓为有界线性泛函？
• RQ3 AW*-代数之间的 Jordan *-同态在多大程度上由其在阿贝尔子代数或投影格上的作用决定？
• RQ4 AW*-代数之间的拟 Jordan *-同态在何种条件下成为真正的 Jordan *-同态？
• RQ5 能否从 AW*-代数的阿贝尔 C*-子代数的偏序集中重构其 Jordan 结构？

主要发现

• 若定义域 AW*-代数不含类型 I₂ 直和项，则任何保持正交补和任意上确界的 AW*-代数投影格之间映射均可延拓为正规 Jordan *-同态。
• Mackey-Gleason-Bunce-Wright 定理可推广至类型 I 的齐次 AW*-代数，保证投影上的有界可加测度可延拓为有界线性泛函。
• AW*-代数之间的 Jordan *-同态具有可交换决定性，即其在阿贝尔子代数上的行为完全决定了该映射。
• 若定义域 AW*-代数不含类型 I₂ 直和项，则正规拟 Jordan *-同态必为真正的 Jordan *-同态。
• AW*-代数中阿贝尔 C*-子代数偏序集之间的序同构唯一对应于 Jordan *-同构，从而可从阿贝尔子代数偏序集重构 Jordan 结构。
• AW*-代数的 Jordan 部分可从其阿贝尔 C*-子代数的偏序集重构，确立了结构对偶性。