广义相对论的多项式哈密顿形式

广义相对论的相空间通过纳入度规行列式及共轭动量作为附加独立变量而扩充为一个泊松流形。结果，作用量与约束取多项式形式。提出了生成格林函数泛函的新表达式。我们证明狄拉克括号在流形上定义退化的泊松结构，且第二类约束相对于此结构为卡西米尔函数。作为新变量的应用，我们考虑了弗里德曼宇宙。