Bulk polynomials

Let ${\overline{V}}_{\pm }$ be the closed nonspacelike cotangent cones, including zero in individual slots. Define ${\mathcal{P}}_{\mathrm{mc}}$ by

where the total zero covector is omitted. Let ${\mathcal{P}}_{\mathrm{reg}}$ consist of polynomials with smooth compact kernels.

For a closed wavefront cone $\Gamma$, the normal topology used here combines strong distribution seminorms with the localized Fourier seminorms

All assertions involving that topology specify degree, compact support, and wavefront stage. We do not confuse the normal topology with weaker distribution topologies BDH.