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

Back to manuscript

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

Nearby in this section