[论文解读] Presheaves, Sheaves and their Topoi in Quantum Gravity and Quantum Logic

I. Raptis|ArXiv.org|Oct 15, 2001

Homotopy and Cohomology in Algebraic Topology参考文献 61被引用 7

一句话总结

本文通过在量子因果集上使用层与预层，将量子逻辑与因果结构统一，提出了一种拓扑斯理论框架用于量子引力。该框架引入了基于qausets的finsheaf的非交换、有限性拓扑，实现了动态的量子逻辑与避免经典流形奇点的离散代数微分几何。

ABSTRACT

A brief synopsis of recent conceptions and results, the current status and future outlook of our research program of applying sheaf and topos-theoretic ideas to quantum gravity and quantum logic is presented.

研究动机与目标

• 通过将逻辑视为量子引力中可动态观测的实体，统一量子逻辑与量子时空因果性。
• 用适合于量子引力的有限性、代数性与非交换结构替代经典时空流形。
• 发展一种可建模量子纠缠与离散因果动力学的非交换层理论与拓扑。
• 在量子因果集的弯曲finsheaf上构建离散代数微分几何，避免经典无穷大。
• 探索抽象微分几何（Mallios）、解析微分几何（Kock-Lawvere）与拓扑斯理论量子引力之间的联系。

提出的方法

• 利用有限时空区域的偏序集上的预层与层，建模局部量子逻辑与因果结构。
• 构建作为经典时空流形非交换、有限性替代物的量子因果集（qausets）的finsheaf。
• 应用拓扑斯理论统一几何与逻辑，将finsheaf的拓扑斯视为‘量子拓扑斯’的候选。
• 在弯曲finsheaf上实现有限的Čech-de Rham上同调，以离散方式分类自旋-洛伦兹联络。
• 通过量化格与非交换层理论实现非交换拓扑，以在无经典时空标识的情况下建模量子纠缠。
• 通过范畴代数将Mallios的抽象微分几何与Kock-Lawvere的解析微分几何与拓扑斯理论量子引力联系起来。

实验结果

研究问题

• RQ1 量子逻辑能否在量子引力中被视为一种动态可观测结构，类似于广义相对论中时空几何的角色？
• RQ2 如何形式化非交换拓扑与层理论，以在不退化为经典时空点的情况下建模量子纠缠？
• RQ3 finsheaf的qausets拓扑斯在为量子引力提供基础结构中起什么作用？
• RQ4 能否在量子因果集的弯曲finsheaf上构建离散代数微分几何，以替代经典光滑流形？
• RQ5 如何通过范畴方法将抽象微分几何与解析微分几何统一于拓扑斯理论量子引力？

主要发现

• finsheaf的qausets拓扑斯被提议作为统一量子逻辑与量子因果性的‘量子拓扑斯’的强有力候选。
• 已在弯曲finsheaf的qausets上成功执行了有限版本的Čech-de Rham上同调，实现了对离散自旋-洛伦兹联络的上同调分类。
• 在经典时空上定义的希尔伯特空间层无法建模非平凡的量子纠缠，因为其截面在张量积下会坍缩，因此需要‘量子层’形式化。
• 该框架通过用基于预层与层的代数性、有限性与非交换结构替代光滑微分几何，避免了经典流形的病态行为。
• 非交换层理论被证明对建模量子纠缠至关重要，因为经典层构造在张量积下会将时空点等同。
• 将Mallios的抽象微分几何与Kock-Lawvere的解析微分几何与拓扑斯理论量子引力结合，被识别为一个有前景且正在进行的研究方向。