Manuscript VII-I@1 · VII-I.tex · proposition · 907e96ab

Proposition: Ordering transport of the generated sector

Finite-width free products and ordering · lines 1114–1165 · proof included or linked

VII-I@1#prop:ordering

Back to manuscript

Let , where is smooth, symmetric, and compatible with the declared reality convention. Define

Then

For the prepared first and second coordinate coefficients,

where is a scalar and is a compact smooth linear field smearing.

Consequently the generated sector, including ordinary local polynomials and smooth directional descendants, is transported onto the corresponding sector generated by the unchanged prepared formulas.

Proof. The self-contraction generator obeys

Exponentiating the commuting operators proves the intertwining identity and gives inverse .

A quadratic self-contraction is a scalar. A cubic has only a linear correction. For a projected linear kernel to have a nonzero wavefront covector , the original -bounded kernel would need a tuple . The zero-sum condition forces . Thus the correction is smooth; compactness follows from proper projection.

Smooth directional differentiation commutes with the self-contraction operator. Local polynomial ordering corrections are again local polynomials with smooth coefficients. These and compact linear fields are already among the generators. The inverse transport gives the reverse inclusion.

Displayed formulas in this passage

  • unlabeled · line 1118

  • unlabeled · line 1124

  • unlabeled · line 1129

  • unlabeled · line 1146

Nearby in this section