Topos 介导的引力：迈向宇宙学常数问题的范畴论Resolution

根据 D"oring 和 Isham 的观点，谱 topos 对应于任何量子系统。系统在 topos 中的描述变得类似于经典理论给出的描述，直至可观测量乘法。涌现理论的逻辑是直觉主义的而非经典的。向语言中添加自伴算子及其乘积类型（它们被解释为舞台上的 daseinisations 及其乘积），即可在 topos 中得到交换预层。该解释与平方项的舞台 daseinisations 一致，直至 topos 的某些自同构。不确定性原理对此类解释不成立。根据作者最近的提议，topoi 可以修改局部光滑时空结构。本文提出了一种将引力加入系统谱 topos 的方法。假设量子系统通过谱 topos 修改局部时空结构并与引力场相互作用，量子谐振子的最低能模在引力上被归零。此外，引力与系统理论应对 topos 范畴的自同构 2-群对称。在量子谐振子哈密顿量的 $\delta_0$-解释下，其最低模对宇宙学常数的贡献为零。这与引力的一个基本高阶对称群有关。若无 $\delta_0$-解释，则可逼近有效宇宙学常数的小非零值。