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
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