Manuscript XIII-E@1 · XIII-E.tex · lemma · 74eaba48
Lemma: Relative-coordinate balance
E4: the conditional endpoint, not applied · lines 1103–1140 · proof included or linked
XIII-E@1#lem:relative
Let and define a numerical vertex distribution by submersion pullback,
Then
Multiplication by smooth external weights and finite differential operators preserves this inclusion.
Furthermore, a distributional limit of unweighted amplitudes (eq:A-reg), when such a limit exists, is invariant under simultaneous translation of all vertices and has this relative-coordinate form.
Proof. In coordinates and , the distribution is . Its wavefront covectors have zero component. Changing back to vertex coordinates makes that component the sum of all vertex covectors. This gives the asserted bound by the submersion pullback theorem Hormander.
Smooth multiplication and differentiation do not enlarge the wavefront set.
Each unweighted regularized amplitude depends only on differences, so its derivative in every simultaneous-translation direction is zero. Distributional convergence preserves those equations. In the coordinates , a distribution whose derivatives all vanish is constant in , hence is .
Displayed formulas in this passage
unlabeled · line 1107
unlabeled · line 1112