Manuscript X-C@3 · X-C-v3.tex · section · 2260f5f8
Advanced uniqueness and the three-term variation
C4: completed test, three-term variation, and cancellation › Advanced uniqueness and the three-term variation · lines 1306–1314
The cancellation uses exactly the frozen algebra. Off shell the difference is the displayed equation-ideal representative, not generally zero. Pullback of the scalar is not asserted to be an automorphism of the unchanged free shell. The statement is background covariance at fixed free field.
Nearby in this section
- section: Advanced uniqueness and the three-term variation
- lemma: Lemma: Advanced solution and compact completed test
- proposition: Proposition: Three-term variation: proof of record
- section: Advanced uniqueness and the three-term variation
- theorem: Theorem: Completed background Ward identity
- corollary: Corollary: Route II cross-check, not the proof of record
- section: Advanced uniqueness and the three-term variation