Manuscript XIV-B@1 · XIV-B.tex · section · 53202eaa
B0: the frozen continuation
B0: the frozen continuation · lines 468–491
One clarification of XIV-A is recorded. Its Definition of described the fields other than as “unrestricted smooth sections”, while its had both ghosts compactly supported and its antifields compactly supported. Nothing in XIV-A used a noncompact antighost or a noncompact antifield; the breaking functional (eq:breaking) depends on alone, and the fermion pairing is finite for compact . We therefore fix as in Definition def:spaces. The only consequence below is that the antighost sector of the free-shell intersection is also trivial (Theorem thm:ghost).
The negative freeze is stated in the same breath. XIV-B does not select an antifield-dependent observable completion, a correction of the lower coefficient , a spurion law for or , a source-switched upgrade, the convolution sheet, or a new integration interface outside . Those were left outside XIV-A's class. Reusing the witness after changing the observable would be a new contract and is not done. The unrestricted master equation is not reopened: its failure is copied as (eq:witnessA1).