Manuscript X-A-conv@1 · X-A-conv.tex · section · c76fffa3
Zero-switch and flat controls
Controls, dependencies, and the exact release boundary › Zero-switch and flat controls · lines 2140–2161
If the switch is specialized to zero in both the action and the coordinate prescription, then
and
The scalar interaction vertices also vanish, so .
This is a normalization specialization, not a gauge theorem for a nonempty plateau at . The frozen gauge algebra belongs to the nonzero switch (eq:switch).
If with the original frozen switch, then likewise . These checks fix the insertion and response signs. They do not cancel the nonzero pure-gauge witness.
Displayed formulas in this passage
unlabeled · line 2144
unlabeled · line 2148