广义相对论历史论II：不变性群

我们详细阐述了广义相对论的历史描述如何包含时空微分同构群以及 Dirac 约束代数的数表征。我们证明，引入度量相关的等值叶面后，规范约束在时空微分同构作用下具有不变性。此外，我们展示了存在一种表示，其对应于度量函数的广义时空映射群，这是一种时空中类似于 Bergmann 与 Komar 在规范广义相对论形式化语境下原初定义的群的时空类比。最后，我们讨论了在历史理论中对重力进行量子化的可能方向。