Manuscript XVI-L@1 · XVI-L.tex · section · 35081099
Matching questions for each candidate collision term
L.8 Bridge to gravitational EFT (matching questions only) › Matching questions for each candidate collision term · lines 1495–1525
Write in the four interpretive categories of Section sec:l5D, and let be any individual summand (or any coherent linear combination that one proposes to match). Before any claim that is a gravitational or insertion counterterm, the following questions are to be answered affirmatively or negatively with a written argument; none is answered here.
- (Q1)
Local metric functional? Can arise as the metric variation (or as a contribution to the metric variation) of a local functional of the residual metric , after the collision diagonal is taken and after preparation and switch factors are specialized? Only class (1) of Section sec:l5D is even a candidate; classes (2)–(4) are not bulk metric densities by construction.
- (Q2)
Composite-insertion renormalization? Is instead a renormalization of the composite insertion carried by the complete source (preparation-dependent counterterms of class (2)), rather than a bulk gravitational action counterterm?
- (Q3)
{Essential dependence?} Does the coefficient of depend essentially on the preparation (or on its jet), in the sense that it fails to factor through a -independent local density of after the fixed preparation of the Scope box is restored? Essential dependence places in class (2), not in class (1).
- (Q4)
{ derivatives?} Does involve derivatives with (class (3))? Such terms depend on the choice of interaction switch and are not bulk metric counterterms.
- (Q5)
Removable only by IBP / field-equation reduction? Is removable only by an integration-by-parts identity or by a field-equation reduction that the present off-shell setup forbids? XVI-L works with an off-shell smooth residual metric and with the printed density representative of the cubic vertex (no IBP; cf.\ XVI-K, Proposition prop:hess, and the artifact boundary of Appendix app:script). A term that vanishes only after IBP or after imposing the linearized Einstein equation is not identified with zero in this note, and is not thereby matched to a bulk on-shell counterterm.
- (Q6)
Additional graphs and ghosts for a symmetry test? What additional graphs, gauge-fixing data, and ghost (or antifield) contributions would be required before a gravitational symmetry test — diffeomorphism Ward identity, BRST cohomology statement, or BV master-equation compatibility — could be stated for the sector containing this graph? Answering (Q6) is a prerequisite for any claim that a matched counterterm is symmetry-compatible; it is not supplied by extending numerical distributions.