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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

P. <strong>van</strong> Nieuwenhuizen. Supergravitv 237We use DeWitt’s summation convention in which i and a denote indices as well as spacetime points andrefer to refs. [514,303, 304]. The symbol R may contain derivatives and depend on gauge fields, forexample it could represent the Yang—Mills law 8W,~= (~ô~+gfa~~W,~)flc. The parameters ~ dependon x~’and represent the parameters of general coordinate, local Lorentz and local supersymmetry.One adds a gauge fixing term for each local gauge invariance. We will consider this I(fix) to bequadratic in the gauge choices Fa(~)I(fix) ~F~(~)y~F 0(4). (2)3is taken to beThis independent is not necessary, of the quantum but usefulgauge in order fields to be able to define propagators. The matrix y’~’~. It may depend on external fields, namely when oneconsiders a quantized gravitino in a background gravitational field, but the correct theory for the casethat y’~depends on çb~is not yet known. The gauge fixing term is needed to remove the degeneracy inthe path integral. For practical purposes, its use is that the kinetic terms of the sum I(cl)+I(fix) arenonsingular, so that one can invert them to obtain the propagators of the theory.By varying the gauge choices one obtains the ghost action I(ghost):I(ghost) = ~ (3)Thus one varies the gauge function, replaces the gauge parameter in eq. (1) by a ghost field andmultiplies from the left with another ghost field which is denoted by C*~.In a path-integral formalism,this result is obtained for bosonic symmetries by exponentiating the normalization determinant, seesubsection 4, in front of the gauge-fixing delta function det (Fa,jR’~3)~(F~— b~)as followsdet ~= J [I dC~dCI exp(~~Integration over anticommuting variables being defined by f dC’~=0, f dC’~C~= ô~,one then finds,upon expanding the exponential, that only the term with four C1 and four C2 fields is nonzero and yieldsindeed the determinant of (FajR’~). The normalization factor i/2 cancels in computations.If one has both bosonic and fermionic symmetries, one defines a superdeterminant (see appendix) andstill arrives at eq. (3). Since, as we shall see, ghost fields C~have3opposite in (3) tostatistics the far right. from the parametersThe oneeffective must specify quantum whereaction to put is the thusC~.We given by will always put C’I(qu) = 1(d) +~Fay~’3F~+ C*~~Fc~jR~C’3. (4)It should be observed that the sum over a and f3 is over the whole gauge group. Thus, for example, insimple supergravity Lorentz ghosts interact with supersymmetry antighosts, etc.The quantum equivalent of the classical gauge invariance given by eq. (1) is the global nonlinearBecchi—Rouet—Stora—Tyutin transformations.t This quantum symmetry uses a constant anticommutingt See Proc. 1975 Erice Conf., eds Velo and wightman, pages 331, 332.

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

Saved successfully!

Ooh no, something went wrong!