[论文解读] A Geometric Bohr topos

Simon Henry|arXiv (Cornell University)|Feb 6, 2015

Advanced Operator Algebra Research参考文献 11被引用 3

一句话总结

本文通过构建局部化完备的下幂局部体的子局部体，为C*-代数引入了一个几何玻尔拓扑，该子局部体对分类交换局部化局部C*-子代数，确保在拉回下稳定并整合了拓扑结构。主要贡献是一个拓扑斯理论框架，通过将交换C*-代数内化为局部化对象，对离散玻尔拓扑进行细化，从而实现基于几何逻辑的量子基础研究。

ABSTRACT

In this short note, we construct a variant of the Bohr topos of a C*-algebra which takes into account the topology of the algebra in a finer way and such that this construction is stable under pullback along geometric morphisms. This generalizes a construction for finite dimensional algebras of G.Raynaud. Our idea is to construct the Bohr topos of a C*-algebra A as the sublocale of the lower power locale of the localic completion of A which classifies the commutative localic sub-C*-algebras of A.

研究动机与目标

• 为解决离散玻尔拓扑的局限性，后者忽略了拓扑结构且在拉回下不具稳定性。
• 通过几何逻辑和局部体理论，将雷瑙的有限维构造推广至任意C*-代数。
• 构建一个对C*-代数A的交换局部化局部C*-子代数进行分类的拓扑斯，同时保留玻尔教义中经典概念的内涵。
• 确保该构造在几何态射的拉回下保持稳定，满足拓扑斯理论物理中的对变性原理。
• 将Gelfand对偶性内化至交换局部化局部C*-代数的纤维丛上，实现从谱映射到拓扑斯的构造。

提出的方法

• 构造C*-代数A的局部化完备，将其底集视为一个局部体。
• 使用下幂局部体构造，对A×A的纤维闭、局部正则的子局部体进行分类。
• 将S(A)定义为局部化完备的下幂局部体的子局部体，其对分类A的交换局部化局部C*-子代数。
• 利用分类拓扑斯的普遍性质，确保其在几何态射的拉回下保持稳定。
• 对S(A)上交换局部化局部C*-代数的内部纤维丛应用构造性Gelfand对偶性，得到谱映射ΣA→S(A)。
• 确保该构造对分类对应于具有非退化特征标之交换局部化局部C*-子代数的广义点。

实验结果

研究问题

• RQ1 如何对玻尔拓扑构造进行细化，以在C*-代数中纳入交换子C*-代数的拓扑结构？
• RQ2 能否构造一个在几何态射拉回下稳定的拓扑斯理论玻尔拓扑？
• RQ3 局部化C*-代数在将玻尔拓扑推广至离散情形之外时起什么作用？
• RQ4 交换局部化局部C*-代数纤维丛的谱如何与拓扑斯的内部几何相关联？
• RQ5 新的几何玻尔拓扑S(A)与原始的离散玻尔拓扑Sd(A)之间有何关系？

主要发现

• 几何玻尔拓扑S(A)被构造为A的局部化完备的下幂局部体的子局部体，用于分类交换局部化局部C*-子代数。
• 由于其作为分类拓扑斯的普遍性质，该构造在几何态射的拉回下保持稳定。
• S(A)拥有一个自然的交换局部化局部C*-代数纤维丛，内蕴于拓扑斯中，支持构造性Gelfand对偶性。
• 谱对象ΣA对分类对(B,χ)起作用，其中B是A的交换局部化局部C*-子代数，χ是B的非退化特征标。
• 在经典逻辑中，ΣA的点对应于对(B,χ)，其中B是交换子C*-代数，χ是非零特征标。
• 存在一个从离散玻尔拓扑Sd(A)到几何玻尔拓扑S(A)的典范几何态射，通过该态射，原始的纤维丛和谱可作为拉回被恢复。