关于广义相对论的四重标架形式体系

在绝对四重标架形式体系下讨论了爱因斯坦-希尔伯特作用量和爱因斯坦方程。利用该形式体系，我们证明了爱因斯坦-希尔伯特拉格朗日量中的"动能项"（即时间导数的二次项）是非正定的。随后，我们给出了两组使拉格朗日量中动能项正定的坐标条件，以及相应的具有正定动能项的作用量。基于ADM分解，讨论了在正定动能项作用下广义相对论的哈密顿表述和正则量子化；特别地，分别给出了具有正定动能项的哈密顿约束。最后，我们给出了一组规范条件，使得十条爱因斯坦方程中不存在任何二阶时间导数项。