The polynomial kernel domain

For fixed polynomial degree the Wick expansion has only finitely many contractions. The usual wavefront calculus gives the Wick product on this domain; the polynomial setting also falls within the fixed-kernel results of HRV. Background on these contractions and their microlocal formulation can be found in FR.

We shall use only a necessary property of this domain.