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

Back to manuscript

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

Nearby in this section