Manuscript XI-E@1 · XI-E.tex · section · 46e55514

The evaluated sign check

Route 3: the held-fixed sign cancels › The evaluated sign check · lines 1370–1418

XI-E@1#eq:I

Back to manuscript

Take

in a sufficiently large causal cylinder, with , , compactly supported above the ramp. A compact spatial cutoff and plateau make admissible without changing the calculation.

For ,

Hence

and

For a nonnegative observation after the support of ,

The held-fixed change contributes ; the restored first coefficient contributes . Their sum is zero.

The same tensor is not generally free. In the cylinder its spatial wave operator contains , which is not identically zero for a nonzero compact bump. Thus the co-transformation is a legitimate off-shell coefficient operation, not an automorphism of XI-B's free solution algebra.

Displayed formulas in this passage

  • XI-E@1#eq:I · line 1402

  • unlabeled · line 1373

  • unlabeled · line 1384

  • unlabeled · line 1387

  • unlabeled · line 1392

  • unlabeled · line 1397