[论文解读] Generalised Gelfand Spectra of Nonabelian Unital C*-Algebras

Andreas Doering|arXiv (Cornell University)|Dec 11, 2012

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

一句话总结

本文将谱预层（spectral presheaf）引入为非交换单位C*-代数的广义Gelfand谱，建立了单位C*-代数与预层范畴之间的范畴对偶性。研究表明，对于不与$\mathbb{C}^2$或$\mathcal{B}(\mathbb{C}^2)$同构的非交换C*-代数，谱预层在拟Jordan *-同构意义下唯一确定了代数；对于不含类型$I_2$直和项的冯诺依曼代数，谱预层完全编码了其Jordan *-结构（同构意义下）。

ABSTRACT

To each unital C*-algebra A we associate a presheaf Σ^A, called the spectral presheaf of A, which can be regarded as a generalised Gelfand spectrum. We develop a categorical notion of local duality and show that there is a contravariant functor from the category of unital C*-algebras to a suitable category of presheaves containing the spectral presheaves. We clarify how much algebraic information about a C*-algebra is contained in its spectral presheaf. A nonabelian unital C*-algebra A that is neither isomorphic to C^2 nor to B(C^2) is determined by its spectral presheaf up to quasi-Jordan isomorphisms. For a particular class of unital C*-algebras, including all von Neumann algebras with no type I_2 summand, the spectral presheaf determines the Jordan structure up to isomorphisms.

研究动机与目标

• 通过引入基于预层的谱，将Gelfand对偶性从交换情形推广至非交换C*-代数。
• 建立单位C*-代数与紧致Hausdorff空间预层范畴之间局部对偶性的范畴框架。
• 确定从谱预层中可恢复多少代数结构，尤其是Jordan *-结构。
• 阐明谱预层在同构或拟同构意义下对C*-代数的分类程度。
• 为后续工作中从谱预层的几何数据重构自伴元上的李代数结构奠定基础。

提出的方法

• 将谱预层$\underline{\Sigma}^\mathcal{A}$定义为在$\mathcal{A}$的交换C*-子代数范畴$\mathcal{C}(\mathcal{A})$上的预层，为每个交换子代数分配其Gelfand谱。
• 构造从单位C*-代数范畴到预层范畴的反变函子，将$*$-同态映射为相反方向的预层态射。
• 利用拟Jordan $*$-同构的概念，将代数同构与谱预层的同构联系起来。
• 建立谱预层自同构与代数Jordan结构、上下文范畴及Bohrification自同构之间的对应关系。
• 利用当$\dim \mathcal{H} \geq 3$时$\mathcal{B}(\mathcal{H})$的谱预层无全局截面的性质，将其与Kochen-Specker定理联系起来。
• 提出自伴元上的李代数结构可从谱预层上的方向与流几何数据中重构，详见后续工作[26]。

实验结果

研究问题

• RQ1 非交换单位C*-代数的谱预层在多大程度上确定了其代数结构？
• RQ2 能否在单位C*-代数与预层范畴之间建立对偶性，从而推广Gelfand对偶性？
• RQ3 C*-代数的Jordan *-结构在多大程度上被其谱预层编码？
• RQ4 谱预层的自同构与底层C*-代数的自同构之间存在何种关系？
• RQ5 能否从谱预层中的几何数据重构自伴元上的李代数结构？

主要发现

• 对于不与$\mathbb{C}^2$或$\mathcal{B}(\mathbb{C}^2)$同构的非交换单位C*-代数$\mathcal{A}$，谱预层$\underline{\Sigma}^\mathcal{A}$在拟Jordan $*$-同构意义下唯一确定了$\mathcal{A}$。
• 对于不含类型$I_2$直和项的冯诺依曼代数，谱预层在同构意义下唯一确定了Jordan $*$-结构。
• 任意一个谱预层同构$\underline{\Sigma}^\mathcal{B} \to \underline{\Sigma}^\mathcal{A}$唯一诱导出一个反向的Jordan $*$-同构$T: \mathcal{A} \to \mathcal{B}$。
• 谱预层的自同构群$\operatorname{Aut}(\underline{\Sigma}^\mathcal{A})$与Jordan $*$-自同构群$\operatorname{Aut}_{Jordan}(\mathcal{A})$之间存在反变同构。
• 对于不含类型$I_2$直和项的冯诺依曼代数$\mathcal{N}$，谱预层通过诱导的几何态射基映射，唯一确定了上下文范畴$\mathcal{C}(\mathcal{A})$的序同构。
• 谱预层编码了上下文范畴的序结构，且该结构同构于代数及其Bohrification的自同构群。