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
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