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

Back to manuscript

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