dS引力子真空的de Sitter不变性

在由$k=0$宇宙学坐标（也称为共形坐标或Poincaré坐标）定义的标准横向无迹同步规范下，de Sitter空间上线性格拉维子的两点函数存在红外发散。我们证明，可以通过向每个模函数添加一个线性微分同胚（即通过显式规范变换）来消除这种发散。由此可知，引力子真空态是良定义的且具有de Sitter不变性，这与先前的各种论证一致。