Manuscript XI-A-ST@1 · XI-A-ST.tex · lemma · c3f0929d

Lemma: Supported density transfer

The retained host and its three ledgers › The local transfer rule · lines 388–410 · proof included or linked

XI-A-ST@1#lem:transfer

Back to manuscript

Compactly supported variational pairings, density identities, and nonzero compact-test pairings are unchanged by the transport (eq:passivedensity), provided all background tensors and test tensors are transported consistently.

This local rule supplies no global conical Cauchy inverse and no field equation on the worldsheet.

Proof. A covariant variation transforms with two inverse Jacobian factors. They cancel the two displayed tensor factors in (eq:passivedensity); the remaining determinant is exactly the change-of-variables factor in the integral. Thus the variational pairing is unchanged.

An invertible change of coordinates maps zero distributions to zero distributions and preserves a detecting pairing after the test is transported. The calculation is confined to and makes no assertion outside the regular chart.

Nearby in this section