Manuscript VI@1 · VI.tex · section · b5b60afb
What has to be fixed before a catalogue is complete
Finite-renormalization spaces and certificate requirements › What has to be fixed before a catalogue is complete · lines 2036–2058
A finite list is meaningful only relative to a declared class. For the proposed quantum problem this class must fix, at minimum:
coupling order and loop order;
field content, ghost number, and discrete symmetries;
derivative and engineering-dimension bounds;
the allowed dependence on and any renormalization scale;
the number and treatment of switch insertions;
action counterterms and composite-observable counterterms;
equivalences from integrations by parts, field redefinitions, and equations of motion, with their domain of validity;
initial-surface terms or restrictions excluding them;
the Ward identity, including its permitted breaking terms;
lower-order normalization conditions that are held fixed.
In particular, freezing lower-order normalizations matters for the affine form . If lower-order redefinitions are allowed to vary, their products may enter the next coefficient. An affine response space then requires a separate parametrization argument.