Manuscript XIV-B@1 · XIV-B.tex · proposition · 53202eaa
Proposition: The Koszul–Tate sector resolves 's shell, not
B1: the relative algebra, not a quantum carrier › Gauge-fixed form and the Koszul–Tate sector · lines 689–724 · proof included or linked
XIV-B@1#prop:KT, XIV-B@1#eq:KT-witness
At antifield degree zero, is the Euler derivative of the gauge-fixed interacting action (eq:Sgf). Its coefficient is the system
which is XII-A's complete shell . Its coefficient is not zero on : at the configuration , , , , which lies in ,
Hence the Koszul–Tate differential of the relative complex does not vanish on ; it resolves the equations of , which differ from the free shell at order . The ghost equation of , , is likewise not .
Proof. The system is read from (eq:Sgf): the cubic-only modification does not change the free Hessian (XII-C), the auxiliary and ghost terms are XI-B's, and XI-B proves , is equivalent to , . For the witness, XII-C's exact metric Euler derivative is ; at the Einstein tensor and vanish and , so exactly, and . The gauge-fixing contribution vanishes at and the ghost contribution at .
Displayed formulas in this passage
XIV-B@1#eq:KT-witness · line 701
unlabeled · line 694