The admission domain and its classical algebra

Every compact-distribution polynomial depending only on $\varphi$ also belongs to ${\mathcal{P}}_{\Sigma }$, because its metric derivatives vanish. That observation is not a Wick-product theorem for arbitrary scalar distributions.