Manuscript X-G@1 · X-G.tex · proposition · 01566e14
Proposition: Auxiliary Green operators
The normalized free BRST multiplet › The metric–auxiliary Green matrix · lines 614–649 · proof included or linked
X-G@1#prop:Ghb, X-G@1#eq:Ghb
The retarded and advanced inverses are
Proof. The auxiliary equation gives , hence
Apply its Green operator and substitute back. The identities
follow from (eq:Cstar), , and . They give the second matrix. Source elimination proves both inverse identities on compact tests. All blocks have the stated causal support.
Displayed formulas in this passage
X-G@1#eq:Ghb · line 617
unlabeled · line 636
unlabeled · line 641