Manuscript X-I-ST@1 · X-I-ST.tex · proposition · 9745fd40

Proposition: Retained positive reciprocity witness

Section C: diagnostics preserved in their exact scopes › Reciprocity is a separate classical obstruction · lines 1492–1537 · proof included or linked

X-I-ST@1#prop:reciprocity, X-I-ST@1#eq:reciprocity

Back to manuscript

For these data,

The additional scalar interaction contributes zero to this metric diagnostic. In particular, it supplies no repair of the X-G exact source-preserving variational-upgrade obstruction.

Proof. Since , equation (eq:typedcommutator) gives and likewise for . The Lie components are

Their components do not change the trace-reversed output used in the pairing. For such a tensor , . The spatial Laplacians integrate to zero, leaving

Two compact integrations by parts prove (eq:reciprocity).

The added potential is independent of , so its metric first and second derivatives vanish identically. It changes neither nor this pairing.

Displayed formulas in this passage

  • X-I-ST@1#eq:reciprocity · line 1495

  • unlabeled · line 1514

  • unlabeled · line 1525

Nearby in this section