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.

286 P. <strong>van</strong> Nieuwenhuizen. SupergravilyIntroducing one-forms hA = dy~~hAAand flat superparameters ~ = ~one has8gc(~)hA= (D~~+ h~~BR 8c~~. (2)These transformations will become in the end the local supersymmetry and general coordinatetransformations in ordinary four-dimensional spacetime.As we shall see, it sometimes happens as a result of the field equations that curvatures with one orboth lower indices in the subalgebra H <strong>van</strong>ish (RH = 0, horizontality). Moreover, sometimes R0 can beexpressed in terms of R11~(rheonomic symmetry) where I are the generators in the final base manifoldand 0 the generators which are neither in H nor in I. In such cases the transformations o~acting onh1” become transformations which involve only these fields themselves and their I-derivatives and arethus ordinary symmetries defined in the final base manifold I. For example, in N = 1 supergravity, G isthe super Poincaré algebra and the coordinates of the group manifold are y’ 4 = (XM, 0”, 77ab) Thesubgroup H is the Lorentz group and I = P0,, 0 = 0”.6gc becomes indeed the sum of general In this coordinate case oneand has horizontality local supersymmetry and rheonomic transformations.andsymmetryThose final symmetries can be systematically traced, once G, H and the action are given. Onechooses as action an expression linear in curvatures (this is thus an essential difference with the methodof subsection 2),I = J RA A h” A hK~CA.K, K, (3)where A ranges over the whole (super) algebra G and K, lie in G/H. The C are field-independentconstants such as ~ijk~and YSYm. The fields hA’4 are, for example, equal to emM(x, 0, re). In order that theaction be H-invariant, the C must be invariant tensors under H.Varying hKi the h Ki A CA... ~, do not transform in the coadjoint representation of the full group G.(Thus, fora tensor TA one has ÔTA = I~CT~Bsothat TATA is invariant.) Note that in general D,ICA K,,is not zero since the C’s are not invariant tensors under G.The manifold M over which one integrates is (n + 2)-dimensional since the integrand is clearly an(n +2) form. One has n +2< dimK = dim G/H. One uses a generalized variationalprinciple to obtainthe field equations: one varies both fields and surface. (Thus one considers all possible surfaces M in thegroup manifold, and not one particular surface.)The heart of the matter are the constants C. These are determined by requiring that the vacuum be asolution of all field equations, since this fixes the C to be the coefficients of a cohomology class of theLie algebra G. The equation for C to be solved is thusD[(g~dg)” A (g’ dgf”CA,K, K,~]= 0. (4a)Indeed, for the vacuum h = g’ dg and RA <strong>van</strong>ishes, so that one need only to vary RA yieldingÔRA = D5hA, and if (4a) holds, then 81 = 0. (One may partially integrate to obtain (4a) if the object in(4a) is in the coadjoint representation.) The solution of (4a) is obtained if the C in the integrand in (3)form a cohomology class of the G superalgebra. In fact, cohomology class means thatD(h” A A h”CAK K,,)”O (4b)

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

Saved successfully!

Ooh no, something went wrong!