在扩展相空间模型中动态实现宇宙学与球对称模型的 $\overline{\mu}$-方案

我们考虑宇宙学与球对称模型的扩展相空间表述，其中给定 $\overline{\mu}$-方案的选择可动态实现。这些模型在关系形式体系的背景下构建，通过对扩展相空间使用正则变换，提供扩展相空间的 Kuchař 分解。所得模型可理解为给定 $\overline{\mu}$-方案的未固定规范模型。我们利用此形式体系从这一视角研究对该允许 $\overline{\mu}$-方案的限制，并讨论宇宙学与球对称情形的差异。该方法可有用，例如，用于从全 LQG 到对称性约化有效模型的自上而下推导中获得 $\overline{\mu}$-方案，其中某些模型迄今仅获得了 $\mu_0$-方案。