Manuscript XII-E@1 · XII-E.tex · corollary · 9471ea56

Corollary: Class, ordering correction, enlarged sector

E5: carrier check of the assembled coefficient › Admission of the scalar-only completion · lines 1197–1223 · proof included or linked

XII-E@1#cor:class

Back to manuscript

has even parity and ghost number zero. For an admissible smooth change ,

with the species-symmetric kernel of and compact and smooth. The coefficientwise -adic completion of the algebra generated by XII-D's enlarged named sector and all is mapped by onto its counterpart generated by the unchanged formulas.

Proof. XII-A's free-shell descent applies to any element of . The ordering computation is XII-D's Proposition on the regular ordering correction, whose proof uses only that the cubic kernel is compact with : a nonzero wavefront point of would need in the cubic wavefront set, forcing . Sector stability follows as in XII-D: each new generator is transported to itself plus a regular linear field, which already belongs to the old sector; the inverse map gives the reverse inclusion; formal order is preserved.

Displayed formulas in this passage

  • unlabeled · line 1201

Nearby in this section