Manuscript XVI-O1-ST@5 · XVI-O1-ST-v5.tex · section · dd45e0d1
Free-complex exactness and the missing enlarged image
Free-complex exactness and the missing enlarged image · lines 1525–1538
If the identified differential varies, use and state its transport. Parameter-dependent consistency equations must also be differentiated. A pointwise tangent is not an interval theorem without smooth choices and exceptional-parameter control.
Free BRST, relative classical BV, free-equation descent, and interacting quantum BRST remain different objects CheungXGST,CheungXHST. No X-G-ST or X-H-ST normalization is substituted for the P/Q action normalization.