[论文解读] Problem of Time and Background Independence: classical version's higher Lie Theory

Edward Anderson|arXiv (Cornell University)|Jul 1, 2019

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

一句话总结

本文通过引入高阶李理论，扩展了经典背景无关性与时间问题的解决方法，将狄拉克约束闭包算法推广为更广泛的“李算法”框架。它识别出李刚性与中介对象重分配（RIO）不变性作为全局选择原则，展示了其在时空构建中的作用，并通过李代数与超代数统一几何结构。

ABSTRACT

A local resolution of the Problem of Time has recently been given, alongside reformulation as a local theory of Background Independence. The classical part of this requires just Lie's Mathematics, much of which is basic: i) Lie derivatives to encode Relationalism. ii) Lie brackets for Closure giving Lie algebraic structures. iii) Observables defined by a Lie brackets relation, in the constrained canonical case as explicit PDEs to be solved using Lie's flow method, and themselves forming Lie algebras. iv) Lattices of constraint algebraic substructures induce dual lattices of observables subalgebras. The current Article focuses on two pieces of `higher Lie Theory' that are also required. Preliminarily, we extend Dirac's Algorithm for Constraint Closure to `Lie's Algorithm' for Generator Closure. 1) We then reinterpret `passing families of theories through the Dirac Algorithm' - a method used for Spacetime Construction (from space) and getting more structure from less structure assumed more generally - as the Dirac Rigidity subcase of Lie Rigidity. We also provide a Foundations of Geometry example of specifically Lie rather than Dirac Rigidity, to illustrate merit in extending from Dirac to Lie Algorithms. We point to such rigidity providing a partial cohomological (and thus global) selection principle for the Comparative Theory of Background Independence. 2) We finally pose the universal (theory-independent) analogue of GR's Refoliation Invariance for the general Lie Theory: Reallocation of Intermediary-Object Invariance. This is a commuting pentagon criterion: in evolving from an initial object to a final object, does switching which intermediary object one proceeds via amount to at most a difference by an automorphism of the final object? We argue for this to also be a selection principle in the Comparative Theory of Background Independence.

研究动机与目标

• 通过引入超越基础李微积分的高级李理论结构，扩展经典时间问题的解决方法。
• 建立广义的“李算法”以实现生成元闭包，将狄拉克在约束哈密顿系统中约束闭包的算法推广。
• 在背景无关性比较理论中，识别出李刚性与中介对象重分配（RIO）不变性作为潜在的全局选择原则。
• 通过涉及共形与射影结构的基础几何学实例，展示高阶李理论的物理与几何意义。
• 利用李理论刚性与自同构不变性，统一从低结构初始数据中构建时空与结构涌现的过程。

提出的方法

• 将狄拉克约束闭包算法推广为‘李算法’，以处理一般李括号下的闭包，而不仅限于泊松括号。
• 将‘通过狄拉克算法传递理论族’重新解释为李刚性框架中的子情况，即狄拉克刚性。
• 引入中介对象重分配（RIO）不变性，作为广义相对论中重铺装不变性的通用、理论无关的类比，形式化为可交换五边形准则。
• 应用李流方法求解由定义约束系统中可观测量的李括号关系所导出的一阶偏微分方程组。
• 利用约束代数子结构与可观测量子代数之间的格对偶性，分析背景无关理论的代数结构。
• 在平坦空间中使用二维参数向量场族建模生成元闭包，通过条件 $\mu(2\mu + \nu) = 0$ 实现自闭结构的分类。

实验结果

研究问题

• RQ1 狄拉克约束闭包算法如何被推广至涵盖一般李括号结构，而不仅限于泊松括号？
• RQ2 在背景无关性比较理论中，李刚性在选择一致物理理论方面扮演何种角色？
• RQ3 中介对象重分配（RIO）不变性准则如何将广义相对论的重铺装不变性推广为普遍的、理论无关的原则？
• RQ4 李理论框架如何为一致的背景无关模型提供上同调选择机制？
• RQ5 在基础几何设定中，共形几何与射影几何等几何结构如何从李代数闭包条件中涌现？

主要发现

• 条件 $\mu(2\mu + \nu) = 0$ 完全刻画了二维参数生成元族 $\underline{Q}^{\text{tria}}_{\mu,\nu}$ 的自闭性，得出两个不同解：特殊射影生成元与特殊共形生成元。
• 从单一李括号闭包条件中同时恢复射影与共形生成元，表明李刚性（超越狄拉克泊松刚性）在几何理论中作为物理选择原则发挥作用。
• 证明了李刚性中的狄拉克刚性子情况是已知时空构建结果的理论基础，验证了更广泛框架与已有物理的一致性。
• 提出中介对象重分配（RIO）不变性准则作为普遍的代数五边形条件，确保通过中介结构的不同路径最终结果在自同构意义下等价。
• 多个障碍项（如 $c = \infty$、$c = c_{\text{uni}}$ 与 $c = 0$）的出现自然源于李算法，其消失由强代数约束强制实现。
• 本文确立了李理论刚性提供了一种部分上同调选择原则，将代数拓扑结构与背景无关理论中的物理一致性联系起来。