12.07.2015 Views

SUPERGRAVITY P. van NIEUWENHUIZEN To Joel Scherk 0370 ...

SUPERGRAVITY P. van NIEUWENHUIZEN To Joel Scherk 0370 ...

SUPERGRAVITY P. van NIEUWENHUIZEN To Joel Scherk 0370 ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

238 P. <strong>van</strong> Nieuwenhuizen. Supergravitvparameter A and reads= ~~fa~~CMC’3 (Sb)ÔC~= AF~y’3’~.The invariance of (4) under (5) is easy to demonstrate. 1(d) is invariant under eq. (5a). The variationof 1(fix) and of C*~yield~ =0 (6)which <strong>van</strong>ishes since the variation of an action is a bosonic object. The remaining terms come fromvarying Fa,JR”3C’3. The variation of F~~ in 1 (4) <strong>van</strong>ishes sinceF~Jk= (_1ykF~,k), R~C3AR1’3C’3.=(_l)(k±Ixi±1)±k±1±J±1(k~-*j) (7)so that the symmetries of both terms in (j, k) are opposite. For the variation of R”3C’3 one findsR~~,kRkYCMC’3 — ~f’3P~R~~’3CUACP =0. (8)Closure of the gauge algebra implies that the commutator of the local gauge transformations is again alocal gauge transformation, thus again of the form (1)(5a)(Sc)[~(~7),~5(~j]4~= R~a.kRksn’3e—(9)= R~f~(çb)r(5~~.The structure constants may depend on 4i~and will be called structure functions. These equations are thelocal equivalent of the (anti) commutators which define superalgebras. It is now clear why (8) <strong>van</strong>ishes.Replacing in eq. (9) i~’3by C’3A and ~ and CaA1 one finds the combination(C’3A)(CUA1)_ (C’3A1)(CaA) = 2(C’3ACa)A1. (10)(Note that interchanging ~ and i~in eq. (9) does not mean interchanging also their indices f3 and a!)Thus the first term in eq. (8) can be written as a commutator, and applying eq. (9), one completes theproof that eq. (4) is invariant under eq. (5).It is instructive to verify that indeed relations such as eq. (10) follow from the formal symmetries ofthe ghost fields for the case of Yang—Mills theory.We leave it as an exercise to verify thatf°~(D~C)”ACC isindeed antisymmetric in both ghosts although one of them is differentiated.BRST transformations are nilpotent. Applying eq. (5a) and eq. (5b) to (5a) one finds zero due to eq.(8). Variation of 6CC yields— ~f~R 8 1C~AC’3+ ~ C~AC’3+ ~fa~~CYA(f’3,,~C°~A1 C°). (11)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!