Manuscript VII-I@1 · VII-I.tex · section · 907e96ab
A positive scalar diagnostic with a fixed classical metric
Interactions, normalization, and a controlled diagnostic › A positive scalar diagnostic with a fixed classical metric · lines 2014–2031
Fix a smooth classical metric jet , a finite width, and retain only the scalar as a quantum field. The prepared relational coefficient is scalar-linear, so there is a compact smooth test
such that
Smoothness follows either by transposition through the smooth classical coefficients or by the one-external-slot case of Lemma lem:tree.
Displayed formulas in this passage
unlabeled · line 2020
unlabeled · line 2024