Manuscript XIII-A@1 · XIII-A.tex · section · f56e91c7
Co-transformations and the absence of auxiliary slots
A6: the completion interface and its integrability conditions › Co-transformations and the absence of auxiliary slots · lines 1385–1428
XIII-A@1#eq:Y-interface
For a proposed multiplet rule
the full-coefficient infinitesimal interface is
The lift in (eq:full-object) has no independent auxiliary or ghost argument. Hence a rule with changes it by zero. A pure auxiliary or ghost variation cannot cancel the copied nonzero value.
A scalar variation is different: it also differentiates the scalar-sourced slot. Explicitly,
Thus the zero metric variation of that slot does not license dropping it from a scalar co-transformation calculation.
A correction containing explicitly requires a declared action on , matching parity, and its own admitted kernel. The displayed shell relation alone supplies none of those transformation laws. No correction is absorbed into , the inherited equation ideal, or an unlabelled modification of .
The witness excludes the original coefficient, and it excludes proposals whose added variation is demonstrably zero at that witness. A finite-dimensional class of corrections would require its generators and variations to be frozen and tested. An undefined space of all completions cannot be excluded by one scalar pairing.
Displayed formulas in this passage
XIII-A@1#eq:Y-interface · line 1393
unlabeled · line 1388
unlabeled · line 1407