[论文解读] Bohrification of local nets of observables

Joost Nuiten|arXiv (Cornell University)|Sep 7, 2011

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

一句话总结

该论文将此前应用于量子力学的玻尔化（Bohrification）推广至代数量子场论（AQFT），通过从可观测量的网络构造一个环层拓扑层（ringed topos）的预层，表明AQFT中的因果局域性等价于玻尔化后的网络通过局部几何态射满足下降性质，从而为量子场论中的局域性提供了拓扑斯理论的刻画。

ABSTRACT

Recent results by Spitters et. al. suggest that quantum phase space can usefully be regarded as a ringed topos via a process called Bohrification. They show that quantum kinematics can then be interpreted as classical kinematics, internal to this ringed topos. We extend these ideas from quantum mechanics to algebraic quantum field theory: from a net of observables we construct a presheaf of quantum phase spaces. We can then naturally express the causal locality of the net as a descent condition on the corresponding presheaf of ringed toposes: we show that the net of observables is local, precisely when the presheaf of ringed toposes satisfies descent by a local geometric morphism.

研究动机与目标

• 将玻尔化从量子力学推广至代数量子场论（AQFT），其中可观测量按时空上的网络组织。
• 将AQFT中的量子运动学表述为环层拓扑层内部的经典运动学，与玻尔化在量子力学中的成功相呼应。
• 利用拓扑斯理论的下降性质刻画AQFT中的因果局域性，为这一关键物理原理提供几何与逻辑的重新表述。

提出的方法

• 从时空中可观测量的C*-代数网络构造一个环层拓扑层的预层，对每个代数使用玻尔化程序。
• 通过交换子代数的偏序集及其关联的预层拓扑层构造环层拓扑层。
• 在拓扑层中使用内部盖尔范德对偶性，将C*-代数的谱解释为内部局部空间，构成相空间。
• 通过局部几何态射定义预层环层拓扑层上的下降条件，将其与因果局域性联系起来。
• 证明当且仅当原始网络满足因果局域性时，其关联的环层拓扑层预层通过局部几何态射满足下降性质。
• 将该框架应用于边界场论，表明边界理论的局域性等价于玻尔化网络的局部下降性质。

实验结果

研究问题

• RQ1 玻尔化最初为量子力学而发展，能否推广至代数量子场论？
• RQ2 如何利用拓扑斯理论的下降性质重新表述AQFT中的因果局域性概念？
• RQ3 是否存在类似于量子力学中内部经典运动学的、对QFT中量子运动学的拓扑斯理论刻画？
• RQ4 当且仅当原始网络满足因果局域性时，时空上的玻尔化可观测量网络是否精确满足下降性质？
• RQ5 该框架能否应用于手征边界场论，以刻画其局域性？

主要发现

• AQFT中可观测量网络的因果局域性，等价于其关联的环层拓扑层预层通过局部几何态射满足下降性质。
• 时空上的玻尔化拓扑层网络被构造为时空中开集上的环层拓扑层预层，每个截面对应一个玻尔化C*-代数。
• 该构造将AQFT中的量子运动学实现为环层拓扑层内部的经典运动学，推广了Spitters等人在量子力学中的结果至QFT。
• 玻尔化网络上的下降条件捕捉了因果局域性的物理要求，为该原理提供了几何与逻辑的重新表述。
• 对于边界场论，手征边界理论的局域性由关联预层拓扑层的局部下降性质所刻画。
• 该框架为量子场论提供了构造性的、基于拓扑斯理论的解释，统一了几何、逻辑与代数结构。