Manuscript XVI-B@1 · XVI-B.tex · section · 6a0abffd
The correct XI-G transfer statement
The correct XI-G transfer statement · lines 469–508
XVI-B@1#eq:solution-nullspace, XVI-B@1#eq:class, XVI-B@1#eq:old-obstruction
A source tensor and an observable kernel are different kinds of object. In particular, changing to does not by itself determine a change of free-shell class.
Let be the space of compact distributional kernels on with two symmetric-tensor slots and one scalar slot, symmetric under interchange of the tensor slots. Set , with , and define
Compact support makes these pairings with smooth solutions meaningful.
For , write
Let denote the kernels representing the predecessor's microcausal polynomial target. The reported XI-G conclusion, for its frozen kernel and its stated hypotheses, is
This is the kernel formulation of its stated non-admission into XIG.
Displayed formulas in this passage
XVI-B@1#eq:solution-nullspace · line 479
XVI-B@1#eq:class · line 493
XVI-B@1#eq:old-obstruction · line 501