Supergravitational conformal Galileons

The worldvolume actions of 3+1 dimensional bosonic branes embedded in a five-dimensional bulk space can lead to important effective field theories, such as the DBI conformal Galileons, and may, when the Null Energy Condition is violated, play an essential role in cosmological theories of the early universe. These include Galileon Genesis and"bouncing"cosmology, where a pre-Big Bang contracting phase bounces smoothly to the presently observed expanding universe. Perhaps the most natural arena for such branes to arise is within the context of superstring and $M$-theory vacua. Here, not only are branes required for the consistency of the theory, but, in many cases, the exact spectrum of particle physics occurs at low energy. However, such theories have the additional constraint that they must be $N=1$ supersymmetric. This motivates us to compute the worldvolume actions of $N=1$ supersymmetric three-branes, first in flat superspace and then to generalize them to $N=1$ supergravitation. In this paper, for simplicity, we begin the process, not within the context of a superstring vacuum but, rather, for the conformal Galileons arising on a co-dimension one brane embedded in a maximally symmetric $AdS_{5}$ bulk space. We proceed to $N=1$ supersymmetrize the associated worldvolume theory and then generalize the results to $N=1$ supergravity, opening the door to possible new cosmological scenarios.


Introduction
This paper is intended as a preliminary step to accomplish the following; first, to present a method for extending the bosonic worldvolume theories of 3+1 dimensional probe branes embedded in non-dynamical bulk spaces to flat N = 1 supersymmetry-both in superfields and in the associated component fields, and second, once this has been accomplished, to couple such worldvolume theories to N = 1 supergravity, thus allowing for curved spacetime as well as gravitational dynamics. Here, we will carry this out within the relatively straightforward context of a three-brane embedded in a maximally symmetric AdS 5 bulk space. This 3+1 brane bosonic worldvolume theory is, as we will discuss below, already known to produce the theory of conformal Galileons. Hence, in this work we will be explicitly computing the N = 1 supersymmetric extension of conformal Galileons in flat superspace and then generalizing them to N = 1 supergravity.
The worldvolume action, and the associated dynamics, of a bosonic 3+1 brane embedded in a background five-dimensional bulk space are of considerable interest [1]. To begin with, the structure of the worldvolume theory itself has been shown to possess remarkable topological and dynamical properties, depending on the symmetries of the bulk space. For example, it was demonstrated in [2] that a probe three-brane embedded in an maximally symmetric AdS 5 space led to the theory of relativistic DBI conformal Galileons which, in the low momentum limit, reproduced the five conformal Galileons first discussed in [3]. This was generalized in [4,5] to different maximally symmetric bulk spaces-including, M 5 and dS 5 . These bosonic brane worldvolume actions were shown to contain new effective field theory generalizations of Galileons, each reflecting the background symmetry groups imposed on them. In addition to the novel 3+1 dimensional effective field theories discovered in this manner, bosonic three-branes embedded in a higher dimensional bulk space can lead to new and exotic theories of cosmology and the early universe. For example, it was demonstrated in [6,7] that the worldvolume theory of a three-brane moving relativistically in an AdS 5 background-that is, the DBI conformal Galileons-can, for an appropriate choice of coupling parameters, admit a stable, Poincare invariant background that violates the Null Energy Condition (NEC). This allows for a cosmological theory in which the Universe begins as a non-singular flat geometry and then "expands" to the Universe that we observe-so-called Galileon Genesis. The fact that bosonic brane worldvolume theories can, under the appropriate circumstances, admit NEC violation, has also led to "bouncing" cosmological scenarios [8,9,10,11,12,13,14,15,16]. In these, a contracting Friedman-Robinson-Walker (FRW) geometry can bounce smoothly through the "Big Bang" to the present expanding spacetime.
Although these bosonic braneworld scenarios are interesting, the fact remains that branes of varying dimensions embedded in higher-dimensional bulk spaces arise most naturally within the context of supersymmetric string theory and M -theory. Furthermore, whereas the spectrum and interactions of particle physics must simply be added in an ad hoc manner to bosonic cosmological scenarios, it is well-known that the Standard Model can arise as the spectrum of specific superstring vacua that simultaneously include various types of branes. One very concrete example is the compactification of M -theory to five-dimensions known as Heterotic M-Theory [17]. In this theory, the particles and interactions of the Standard Model arise on the so-called "observable" wall [18,19,20] of an S 1 /Z 2 orbifold, whereas a "hidden sector" composed of unobserved particles occurs on a second orbifold wall-separated from the first by a specific five-dimensional geometry [21]. Naturally embedded within this five-dimensional bulk space are 3+1 branes (five-branes wrapped on a holomorphic curve), whose existence is required for anomaly cancellation and, hence, consistency [22]. In addition to this natural setting for particle physics and 3+1 brane worldvolume theories, there is a second, very significant, new ingredient. That is, these vacua, prior to possible spontaneous symmetry breaking, are all N = 1 supersymmetric. These realistic vacua of supersymmetric three-branes embedded in heterotic M -theory led to the postulation of the "Ekpyrotic" theory of early universe cosmology [23]. In this theory, a relativistic three-brane embedded in the five-dimensional bulk space is attracted toward the observable wall via a potential energy, which arises from the exchange of M -theory membranes. This potential was explicitly computed in [24] and found to be a steep, negative exponential 1 . Hence, in this phase, the universe is contracting. The scalar fluctuations of the brane modulus evolving down this potential produce two-point quantum fluctuations that are nearly scale invariant. As discussed in [26], under certain conditions the NEC can be violated and the universe "bounces" to the expanding spacetime that we presently observe. Furthermore, it was shown in [27] that these fluctuations can pass through the "bounce" with almost no distortion and, hence, are consistent with observational data from the CMB. An effective field theory for the 3+1 brane modulus in the exponential potential was constructed in [28]. However, the complete N = 1 supersymmetric worldvolume action of the three-brane has never been explicitly constructed. A first attempt to do this was carried out within the context of heterotic string theory in [29,30]. However, based on previous non-supersymmetric work [31,32], this was done by "modelling" the three-brane as a solitonic kink of a chiral superfield in the fivedimensional bulk space. Although some of the geometric terms, and particularly a computation of their coefficients, were found by these methods, the general theory of an N = 1 supersymmetric three-brane worldvolume theory was far from complete. Given its potential importance in cosmological theories of the early universe, it would seem prudent to try to create a formalism for computing supersymmetric worldvolume brane actions in complete generality. In this paper, we begin the process of calculating these actions in a systematic fashion, starting with the bosonic actions discussed above, then supersymmetrizing them in flat superspace and then, finally, coupling them to gravitation by generalizing the worldvolume actions to N = 1 supergravity. Specifically, we will do the following.
In Section 2, we review the formalism presented in [4,5] for computing the bosonic worldvolume actions of 3+1 branes embedded in maximally symmetric bulk space geometries. First, the generic form of the five-dimensional metric is introduced in a specific coordinate system. We then present the general form of the worldvolume action composed of terms with two special properties; 1) they are constructed from worldvolume geometric tensors only and 2) they lead to second order equations of motion [33]. This restricts the number of such Lagrangians to five. Using the specific metric, we give the general form for four out of the five such Lagrangians-the fifth Lagrangian, L 5 , being very complicated and unnecessary for the purposes of this paper. In Section 3, again following [4,5], we review the four conformal DBI Lagrangians specifically associated with embedding the three-brane in a maximally symmetric AdS 5 bulk space. These Lagrangians are then expanded in a derivative expansion and all terms with the same number of derivatives assembled into their own sub-Lagrangians. Remarkably, as pointed out in [2,4,5], these turn out to be the first four conformal Galileons. Section 4 is devoted to extending these four conformal Galileons from bosonic theories of a real scalar field φ to flat space N = 1 supersymmetry. This was previously discussed in [34], where the superfield Lagrangians for four of the five conformal Galileons were presented (the first conformal Galileon L 1 was omitted). These four super-Lagrangians were then expanded into their component fields, two real scalars φ and χ, a Weyl fermion ψ and a complex auxiliary field F . However, this expansion was incomplete. In order to study the behaviour of the original real scalar field φ, these super-Lagrangians were expanded to all orders in φ but only to quadratic order in all other component fields. There were two reasons for this. The first was to allow a discussion of some of the dynamics of the fermion field. The second reason was to permit a simple analysis of the complex auxiliary field F , which, to this order of expansion, does not contain higher-order terms in F such as (F * F ) 2 . These terms, along with the usual quadratic F term, were previously discussed in a non-Galileon context in [35]. The associated cubic F equation of motion was solved and a discussion given of the three different "branches" of the Lagrangian that now emerged. This work also looked into possible violation of the NEC and other "bouncing" properties in this context. Some interesting physics arising from these new branches was also discussed in [36]. However, in the present paper, we do something very different. Using the same superfield Lagrangian presented in [34], we again expand into component fields-this time ignoring the fermion entirely, but working to all orders in the scalar fields. This opens up three very important new issues that will be presented and solved in this paper. The first arises due to the fact that the L 1 bosonic Galileon had been ignored in the analysis of [34]. In this paper, we supersymmetrize L 1 , both in superfields and in component fields, and show that it leads to a specific potential energy in the theory. The second issue has to do with the stability of the two real scalar fields φ and χ. This has two parts. First, one has to show that the potential energy so-derived, allows for stable solutions of the χ equation of motion. Related to this, one must show under what conditions the associated kinetic energy terms are non ghost-like. Both of these issues are discussed and solved in Section 4. The final issue that arises when one expands to all orders in the scalar component fields is, perhaps, the most important. It turns out that supersymmetric L 3 , when expanded to all orders in the component scalar fields, contains terms proportional to derivatives of the "auxiliary" field F -such as ∂ µ F and ∂F * ∂F . Hence, it is no longer clear whether F should be treated as an auxiliary field or as a dynamical degree of freedom. In this paper, we carefully discuss this issue and, within the context of a derivative expansion and a specific solution for χ, solve for the F field to leading, first and, finally, second order. To simplify the analysis, only the leading order results are inserted back into the full Lagrangian and the associated physics discussed.
Having carefully discussed the flat space N = 1 supersymmetric conformal Galileons, we then extend the first three super Lagrangians, that is, supersymmetric L i , i = 1, 2, 3, to N = 1 supergravity in Section 5. To do this, we expand upon the formalism previously discussed in [35,37] as well as, within the context of new minimal supergravity, [38,39]. This is analytically a very tedious process. However, we carry it out completely in superfields and then again expand each such supergravity Lagrangian into its component fields. As previously, we ignore both the Weyl fermion associated with the Galileon supermultiplet as well as the gravitino of supergravity. However, as above, we expand each such Lagrangian to all orders in the Galileon supermultiplet scalar components, φ, χ, and auxiliary field F , as well as to all orders in the supergravity multiplet scalars; that is, g µν with its auxiliary vector field b µ and complex auxiliary scalar M . Having written out the complete expansion into scalar fields, we then show, in detail, that the equations of motion for the supergravity auxiliary fields b µ and M can be explicitly solved for and present the results. These solutions are then put back into the entire Lagrangian, thus producing the complete N = 1 supergravitational Lagrangian for the first three conformal Galileons. We have also extended the supersymmetric L 4 conformal Galileon to N = 1 supergravity. However, due to the complexity of the computation, this result will be presented elsewhere. However, we will use several non-trivial results from this work at the end of this paper within the context of low-energy, curved superspace Lagrangians.
Finally, we point out that for the N = 1 supersymmetric Galileons presented in Section 4 and for their N = 1 supergravity extensions given in Section 5, we use some of the results and follow the notation presented in [40] 2 .

Co-Dimension 1 Brane Action
In this Section, we review the formalism [4,5] for constructing the worldvolume action of a 3-brane in a 4+1-dimensional bulk space. Denote the bulk space coordinates by X A , A = 0, 1, 2, 3, 5 and the associated metric by G AB (X), where A = 0 is the time-like direction. The coordinates X A have dimensions of length. We begin by defining a foliation of the bulk space composed of timelike slices. Following [4,5], one chooses coordinates X A so that the leaves of the foliation are the surfaces associated with X 5 =constant, where the constant runs over a continuous range which depends on the choice of bulk space. It follows that the coordinates on an arbitrary leaf of the foliation are given by X µ , µ = 0, 1, 2, 3. Note that we have denoted the four coordinate indices A = 0, 1, 2, 3 as µ = 0, 1, 2, 3 to indicate that these are the coordinates on the leaves of a time-like foliation. Now, further restrict the foliation so that it is 1) Gaussian normal with respect to the metric G AB (X) and 2) the extrinsic curvature on each of the leaves of the foliation is proportional to the induced metric. Under these circumstances, X 5 is the transverse normal coordinate and the metric takes the form where g µν (X) is an arbitrary metric on the foliation and is a function of the four leaf coordinates X µ , µ = 0, 1, 2, 3 only. The function f (X 5 ) and the intrinsic metric g µν (X) are dimensionless and will depend on the specific bulk space and foliation geometries of interest. It is important to notice that the coordinates X A satisfying the above conditions and, in particular, the location of their origin, have not been uniquely specified. Although this could be physically important in some contexts, for any bulk space of maximal symmetry, such as the AdS 5 geometry to be discussed in this paper, the origin of such a coordinate system is completely arbitrary and carries no intrinsic information.
Now consider a physical 3+1 brane embedded in the bulk space. Denote a set of intrinsic worldvolume coordinates of the brane by σ µ , µ = 0, 1, 2, 3. The worldvolume coordinates also have dimensions of length. The location of the brane in the bulk space is specified by the five "embedding" functions X A (σ) for A = 0, 1, 2, 3, 5, where any given five-tuplet (X (0) (σ), . . . X (5) (σ)) on the brane is a point in the bulk space written in X A coordinates. The induced metric and extrinsic curvature on the brane worldvolume are then given bȳ where e A µ = ∂X A ∂σ µ are the tangent vectors to the brane and n A is the unit normal vector. One expects the worldvolume action to be composed entirely of the geometrical tensors associated with the embedding of the brane into the target space; that is,ḡ µν and K µν defined in (2), as well as ∇ µ and the curvatureR α βµν constructed fromḡ µν . It follows that the worldvolume action must be of the form where F is a scalar function. Furthermore, the brane action, and, hence, F, must be invariant under arbitrary diffeomorphisms of the worldvolume coordinates σ µ . Infinitesimal diffeomorphisms are of the form for arbitrary local gauge parameters ξ µ (σ). Although, naively, there would appear to be five scalar degrees of freedom on the 3-brane worldvolume, it is straightforward to show that one can use the gauge freedom (4) to set X µ (σ) = σ µ , µ = 0, 1, 2, 3 .
Inverting this expression, it is clear that the worldvolume coordinates σ µ are, in this gauge, fixed to be the bulk coordinates X µ of the foliation. The function X 5 (σ), however, is completely unconstrained by this gauge choice. Henceforth, we will always work in the gauge specified by (5) and define X 5 (σ) ≡ π(σ) = π(X µ ).
That is, there is really only a single scalar function of the transverse foliation coordinates X µ , µ = 0, 1, 2, 3 that defines the location of the 3+1 brane relative to the choice of origin of the X A coordinates. We reiterate that, although in some contexts the specific choice of the coordinate origin could be physically important, in a bulk space of maximal symmetry, such as AdS 5 discussed in this paper, the location of the coordinate origin is completely arbitrary and carries no intrinsic information. Note that π(X µ ) has dimensions of length.
For clarity, let us relate our notation to that which often appears in the literature [4,5]. With this in mind, we will denote the four foliation coordinates and the transverse Gaussian normal coordinate by X µ ≡ x µ , µ = 0, 1, 2, 3 and X 5 ≡ ρ respectively. It follows that the generic bulk space metric appearing in (1) can now be written as Using (5)and (6), one notes that the scalar field specifying the 3+1 brane location relative to a chosen origin can be expressed as ρ(x) = π(x). Therefore, the metric (7) restricted to the brane worldvolume becomes It then follows that the induced metric and the extrinsic curvature on the brane are given bȳ respectively, where = ∂/∂π and γ = 1 An action of the form (3) will generically lead to equations of motion for the physical scalar field π(x) that are higher than second order in derivatives and, hence, possibly propagate extra ghost degrees of freedom. Remarkably, this can be avoided [2,4,5] if one restricts the Lagrangian to be of the form where the c i are constant real coefficients, with K =ḡ µν K µν ,R =ḡ µνRα µαν and K GB is a Gauss-Bonnet boundary term given by All indices are raised and traces taken with respect toḡ µν . It has been shown [2,4,5] that Lagrangian (11), for any choices of coefficients c i , leads to an equation of motion for π(X µ ) that is only second order in derivatives. In this paper, we will assume that both (3) and (11),(12) are satisfied.
Evaluating each of the Lagrangians in (12) for an arbitrary metric of the form (7) is arduous and has been carried out in several papers [2,4,5]. The L 5 term is particularly long and not necessary for the work to be discussed here. Hence, we will ignore it in the rest of this paper. The remaining four Lagrangians are found to be In these expressions, all covariant derivatives and curvatures are with respect to the foliation metric g µν . We follow the notation common in the literature. Defining Π µν ≡ ∇ µ ∇ ν π, the bracket [Π n ] denotes the trace of n-powers of [Π] with respect to g µν . For example, Similarly, we also define contractions of powers of Π with ∇π using the notation [π n ] ≡ ∇πΠ n−2 ∇π. For example, [π 2 ] = ∇ µ π∇ µ π, [π 3 ] = ∇ µ π∇ µ ∇ ν π∇ ν π and so on. Note that the Lagrangians L 1 , L 2 , L 3 and L 4 in (14) have mass dimensions −1, 0, 1 and 2 respectively. Hence, the constant coefficients c 1 , c 2 , c 3 , c 4 in action (11) have mass dimensions 5, 4, 3 and 2.

A Flat 3-Brane in AdS 5 : Conformal Galileons
Henceforth, we will restrict our discussion to the case where the target space is the "maximally symmetric" 5-dimensional anti-de Sitter space AdS 5 with isometry algebra so(4, 2) and the foliation leaves are "flat"-that is, have Poincare isometry algebra p(3, 1) 3 . This geometry is easily shown to satisfy the above two assumptions that the foliations are Gaussian normal with respect to the target space metric and the extrinsic curvature is proportional to the induced metric. It then follows that the AdS 5 metric written in the X A coordinates subject to gauge choice (4) and definition (6) is of the form (8). More specifically, if we denote the AdS 5 radius of curvature by R(> 0), and denote the flat metric on the foliations by η µν , one finds that the target space metric is given by where It follows that the four Lagrangians given in (14) become respectively, where and [Π n ], [π n ] are defined as above with ∇ → ∂. These are precisely the conformal DBI Galileons, first presented in [2,4,5]. It can be shown that each of the terms in (17) is invariant, up to a total divergence, under the transformations Defining the dimensionless field and the AdS 5 mass scale bŷ respectively, it is clear that each of the four conformal DBI Lagrangians in (17) admits an expansion in powers of ( ∂ M ) 2 . Performing this expansion and combining terms with the same power of ( ∂ M ) 2 arising in different Lagrangians (17), one can, up to total derivatives, re-express the action are real constants and We have chosen each Lagrangian in (23) to be dimensionless and, hence, each coefficientc i has dimension 4. Note that (23) are precisely the first four conformal Galileons. Since the original coefficients c i , i = 1 . . . 4 are arbitrary, it follows from (22) that the coefficientsc i , i = 1 . . . 4 are also unconstrained. We find from (19) and (20) that, in this expansion, each Lagrangian in (23) is invariant under the conformal Galileon symmetry We conclude that, expanded up to sixth-order in (∂/M), the worldvolume Lagrangian for a flat 3-brane embedded in AdS 5 is given by where each LagrangianL i and each constant coefficientc i have mass dimensions 0 and 4 respectively. As discussed previously, we are, for simplicity, ignoring the fifth Galileon which is eighth-order in (∂/M)-since it is not necessary in this paper. However, it can easily be included without changing any of our results. Note that all terms of order greater than 8 in the derivative expansion of the DBI conformal Galileons can be shown to be a total divergence [3,42] and, hence, do not contribute to the theory. 4

Supersymmetric Conformal Galileons
In a previous paper [34], the real scalar fieldπ and LagrangiansL i , i = 2 . . . 5 were extended to flat space N = 1 supersymmetry. To do this, it was convenient to define a dimensionless real scalar field φ ≡ eπ (26) 4 A more complete discussion of the ( ∂ M ) 2 expansion is the following. Unlike the discussion in this Section, let us here include the Lagrangian L5 in the sum L = Σ 5 i=1 ciLi as in (11). Now perform the derivative expansion of the Li for i = 1 . . . 5 to all orders in ( ∂ M ) 2 . It is well-known [3,42] that all terms with ( ∂ M ) 2p for p > 4 form a total divergence and, hence, can be ignored in the action. Therefore, this expansion is exact and does not require that one demand that ( ∂ M ) 2 1. This is unique to the case of the conformal Galileons that we are discussing. and set M = 1. Here, we will review this analysis, again neglectingL 5 , but with one important new ingredient. That is, we now include the LagrangianL 1 given in (23). This adds a potential energy term to the scalar Lagrangian and, hence, requires a non-vanishing superpotential to appear in the superfield action. In turn, this necessitates a more subtle discussion of the auxiliary F -field which occurs in the component field expansion of the super-Lagrangian. In particular, we give a careful analysis of how it can be eliminated via its equation of motion and what constraints, if any, that puts on the coefficientsc i . In this section, as well as in the next section on supergravity, we use results and follow the notation presented in [40] We begin by presentingL i , i = 1 . . . 4 in (23) in terms of the φ field defined in (26) with M set to unity. The result is where the second versions ofL 4 follows from integration by parts.
Having presented the Galileon Lagrangians associated with the real scalar field φ, 5 we now embed φ in an N = 1 chiral superfield Here A = 1 √ 2 (φ + iχ) is a complex field composed of two real scalar fields φ and χ, ψ is a twocomponent Weyl spinor and F is a complex "auxiliary" field that can, for Lagrangians with at most two derivatives on the scalar fields, be eliminated from the super-Lagrangian using its equation of motion. Note that since scalars φ and, hence, χ are dimensionless, and since the anticommuting superspace coordinate θ has mass dimension −1/2, then the complex scalar A, the Weyl spinor ψ and the complex scalar F have dimensions 0, 1/2 and 1 respectively. The role of the F -field in higher-derivative Lagrangians without a potential energy was discussed in [34]. In the present paper, however, we will carefully re-examined the F -field, this time in the presence of a non-vanishing potential. IgnoringL 1 , the supersymmetric extensions ofL 2 ,L 3 andL 4 were constructed in [34], both in superfields and in their component field expansion-working, however, only to quadratic order in all component fields except φ. In this paper, we present the same superfield expressions as in [34]. However, unlike that paper, we will not display any component field terms containing the fermion-since this is not of interest in this work. On the other hand, we give the full component field expansion for all scalars φ, χ and F , since this will be important for our discussion of the equation for F . The results are the following.

4.1L 2
Defining the complete supersymmetrizedL 2 action is given bȳ Note that this matches the corresponding expression in (27) when χ = F = 0. For specificity, it is useful to reintroduce the mass M = 1/R into (30). This dimensionless Lagrangian then becomes It follows that the symbols ∂ and F in (30) stand for ∂ M and F M respectively, where we have, for simplicity, set M = 1. This will be the case for the remainder of this paper, unless otherwise specified. Finally, we find it convenient to re-express (30) in terms of the complex scalar field A = 1 √ 2 (φ + iχ) and the lowest component of the Kahler potential defined in (29). We find that

4.2L 3
The complete supersymmetrizedL 3 action is given as a specific sum of two superfield Lagrangians. These are and respectively. Note that, as discussed above, we have dropped all terms containing the fermion but have included all of the scalar fields to all orders. These can be combined to give a supersymmetric extension of theL 3 conformal Galileon Lagrangian Note that (35) reduces toL 3 in (27) when χ = F = 0, as it should. Furthermore, it is important to note that the quartic term (F * F ) 2 has cancelled between the first and second expressions, (33) and (34) respectively. This will play an important role in our discussion of the F equation. Again, it is useful to re-express (35) in terms of the complex scalar field A and the lowest component of the Kahler potential K. The result is

4.3L 4
We now supersymmetrizeL 4 . It is convenient to use the second expression forL 4 in (27), obtained using integrating by parts. This expression is simpler, consisting of only three terms. We proceed by first constructing the supersymmetric extension for each of these terms. For the first term, where, in component fields, we have dropped all terms containing the fermion, but work to all orders in the scalar fields φ, χ and F and used integration by parts. Note that this reduces to the first term forL 4 in (27) when χ = F = 0. The second term can be supersymmetrized as When χ = F = 0, this is simply the second term forL 4 in (27). Finally, consider the third term. As discussed in [34], there are two inequivalent ways of supersymmetrizing this term. For simplicity, we will focus on the easiest such supersymmetrization. This is given bȳ For χ = F = 0, this gives the third term forL 4 in (27). Note that in both (38) and (39), the component field expressions have been obtained by dropping all terms containing the fermion, but, as in the first term, working to all orders in the scalar fields φ, χ and F .
Putting these three terms together, we get a complete supersymmetrization ofL 4 in (27). This is given bȳ Expressed in terms of the complex scalar field A = 1 √ 2 (φ + iχ), this can be re-written as

4.4L 1
In the preceding subsections, we have presented both the superfield and component field expressionsignoring the fermion-for the supersymmetrization ofL 2 ,L 3 andL 4 in (27). However, there is also a pure potential termL 1 in (27). How does one supersymmetrize it? As is well known, this is accomplished by adding a superpotential W to the superfield Lagrangian. W is a holomorphic function of the chiral superfield Φ introduced above. It follows that its supersymmetric Lagrangian, which we denote byL SU SY 1 , is given bȳ In the component field expression on the right-hand side, W = W (A) with A = 1 √ 2 (φ + iχ), as defined above. Note that since we are takingL SU SY 1 and scalar field A to be dimensionless, and since F (recall, really F M ) has dimension 0, it follows that the superpotential W (really W M 3 ) must also have mass dimension 0.
Having introduced the superpotential term, we can now write the entire 6 supersymmetric Lagrangian for the worldvolume action of a 3-brane in AdS 5 5-space with an M 4 foliation. It is given by whereL SU SY i , i = 1, 2, 3, 4 are given by expressions (42), (30), (35) and (40) respectively. The constant coefficientsc i are all real, each has dimension 4 but are otherwise arbitrary.

The F -Field Terms in the Lagrangian
In this section, we will isolate and discuss only those terms in L SU SY that contain at least one F -field. This will be denoted by L SU SY F ⊂ L SU SY , and is given by Clearly, the F -field is no longer a simple auxiliary field. There are two reasons for this. The first is that, in addition to terms proportional to F , F * and F * F , there are also terms of order (F * F ) 2 . Secondly, there are terms with both a single derivative ∂F or ∂F * , as well as terms containing two derivatives such as ∂F * ∂F . Assuming, for a moment, that there are no terms with derivatives acting on F or F * , such Lagrangians would lead to a cubic equation for F . This would have three inequivalent solutions and lead, for example, to three different expressions when F is inserted back into the Lagrangian. For example, these Lagrangians would have different potential energy functions. This has previously been explored in several contexts in [35,36]. Perhaps more intriguing is the second case when the Lagrangian contains F terms with one or more derivatives acting on them. This would imply that the F -field is dynamical and no longer a true auxiliary field. There is nothing wrong with this from the point of view of supersymmetry representations-an irreducible supermultiplet containing two dynamical complex scalars A and F , each paired with a Weyl spinor, does exist. The dynamics of such theories, to our knowledge, has only been discussed in the trivial case where the superpotential W is zero and, hence, one can take F = 0 as the solution [12]. In the present paper, however, we will deal directly with the issue of derivatives on the field F , and its elimination from the Lagrangian, in the non-trivial case where the superpotential does not vanish. We do this as follows.
First, recall that we have obtained the conformal Galileons in (23) by doing an expansion of the DBI conformal Galileons (17) in powers of ( ∂ M ) 2 -where we have momentarily restored the mass M = 1/R. Since terms in this expansion with ( ∂ M ) 2p where p > 4 are a total divergence, it is not strictly necessary to assume that ( ∂ M ) 2 1 . Be that as it may, since we would like to ignoreL 5 in our calculations and, furthermore, simplify the discussion of the F -field, we will henceforth assume Additionally, note that the supersymmetricL SUSY 3 andL SUSY 4 Lagrangians in (35) and (40) respectively contain term involving the field F and its derivatives. For example, considerL 3 . By definition, this Lagrangian contains pure scalar terms with four powers of derivatives, such as 1 2φ 3 (∂φ) 2 φ. However, the same Lagrangian contains terms, for example 3 2φ 4 (∂φ) 2 F * F , which have two powers of derivatives acting on scalars multiplied by F * F . It is natural, and greatly simplifies our analysis, if we demand that all terms in each of theL SUSY i Lagrangians be of the same order of magnitude. Since the terms involving derivatives satisfy (45), it follows that one must also choose which we assume henceforth.
With this in mind, it is reasonable to solve the equation for F as an expansion in ( ∂ M ) 2 as well. To zeroth order in this expansion, the relevant part of Lagrangian (45) becomes The equation of motion for F (0) * then implies that Putting this expression back into (47) yields Since W is a holomorphic function of the complex scalar field A = 1 √ 2 (φ + iχ), it follows that the above expression is simply minus the potential energy One now must choose the form of W so that, when one sets χ = 0, the potential becomes V =c 1 4φ 4 , as required byL SU SY 1 in (27). This is easily satisfied if one chooses It follows from this and (50) that Hence, for χ = 0 this reproduces the potential inL SU SY 1 , as required. It is also of interest to note that for this choice of W It follows that when χ = 0 the field F (0) is a constant.
Henceforth, in this paper, we would like to restrict ourselves to the subset of solution space where χ = ∂ µ χ = 0 .
First, of course, one must show that such solutions are possible. We begin by considering the form of potential (52). For positive values of coefficientc 1 , the potential is everywhere positive and, for any fixed value of φ, it is minimized as χ → ±∞. Furthermore, at χ = 0, the mass m 2 χ = ∂ 2 V ∂χ 2 | χ=0 = − 2c 1 φ 6 < 0 for any value of φ. Hence, the solution χ = 0 to the equations of motion would be fine-tuned and highly unstable. This unsatisfactory situation can easily be corrected by simply imposing the condition thatc which we do henceforth. Potential (52) then becomes everywhere negative-which, for example, is required in bouncing universe cosmological scenarios. It follows that for any value of φ the potential grows larger as χ → ±∞ and The potential energy V in a range of φ-χ space is shown in Figure 1. Therefore, if the coefficients Figure 1: The potential energy V plotted over a region of φ-χ space.
are chosen so that the kinetic energy term for χ is non-ghost like, which we will impose below, then solutions where χ = ∂ µ χ = 0 are indeed possible. Note from (53) that, in this case, Note that in order for F (0) to satisfy (46), then Taking (55), and putting the constant F (0) -field (57) back into Lagrangian (45), we find that L SU SY F simplifies to In deriving this expression, we have dropped all terms containing at least one power of ∂ µ F (0) , have kept the terms containing χ only where a) it would could contribute to the lowest order χ kinetic energy term or b) is linear in χ and, hence, its variation does not vanish in the χ equation of motion when one sets χ = ∂ µ χ = 0. Furthermore, we have simplified the remaining expressions using integrating by parts, which we can do since ∂ µ F (0) = 0. All other terms containing χ in L SU SY F are quadratic in χ and would vanish in both the φ and χ equations of motion and, hence, can be dropped from the Lagrangian.
The constraint (55) ensuring that the potential energy, for fixed φ, is minimized at χ = 0 is not the only constraint that one might put on the coefficientsc i . Depending on the physical problem being analyzed, the coefficients of the two-derivative kinetic energy terms for both φ and χ, which generically depend onc i and F (0) , must be appropriately chosen. Adding the first two terms of As discussed above, to obtain solutions of the χ equation of motion for which χ = ∂ µ χ = 0 requires that the χ kinetic energy be ghost free. It follows from the second term in (60) that one must therefore imposec On the other hand, the sign and magnitude of the coefficient of the φ kinetic energy term depends on the type of physics one is interested in. For example, if one wants the φ field to develop a "ghost condensate"-one way in which the null energy condition (NEC) can be violated-then it follows from the first term in (60) that the coefficientsc i should be chosen so that However, it is well-known [7,34] that Galileon Lagrangians can, for appropriate choices of coefficients, violate the NEC without developing a ghost condensate. In such cases, one can choose the coefficient of the φ kinetic energy to be positive.
With this in mind, we now calculate the field F to first order in the derivative expansion. Denoting where F (0) is computed from the zeroth order Lagrangian (47), the relevant part of L SU SY F then becomes Now insert (63) into (64). Recalling that we are always choosing constraints (55) and (61) so that χ = ∂ µ χ = 0, it follows that F (0) is given by the constant (57) and, hence, ∂ µ F (0) = 0. Dropping terms proportional to F * (1) F (1) (which are of second order in the F expansion) and integrating the last term by parts using the fact that ∂ µ F (0) = 0, we find that It follows that Clearly, the F (1) term in this expansion is small compared to the F (0) term, since we are working in the limit where (∂) 2 1. One can insert (66) back into the F -term Lagrangian L SU SY F in (45), as we did in the zeroth order case. However, as far as the analysis in this paper is concerned, there is nothing to be gained from doing this-simply more yet higher derivative terms. Hence, we will not do that here-contenting ourselves with the zeroth order F -term Lagrangian given in (59).
It is clear, however, that one can consistently do a higher order expansion to completely determine the perturbative solution for the F -field, up to and including terms arising inL 5 . Here, we demonstrate this by computing the next order, F (2) , in the (∂) 2 expansion of F . Denoting where F (0) and F (1) are determined from (47) and (64) respectively, the relevant part of L SU SY F is given by the entire expression (45) with F replaced by F ((0)+(1)+(2)) . Differentiating this with respect to F * , where in terms involving ∂ µ F * we use integration by parts to remove a derivative, one arrives at the equation of motion for F ((0)+(1)+ (2)) . This is solved for F (2) as follows. First recall that F (0) is given by (48). As discussed above, we will always choose constraints (55) and (61) so that χ = ∂ µ χ = 0. Hence, it follows that F (0) is given by the constant (57) and, therefore, that ∂ µ F (0) = 0. Second, recall that the expression for F (1) is presented in (65). Insert (48), (57) and (65) into the equation for F . Third, drop all terms in the F equation involving ∂ n , n > 4. Finally, recall that we have imposed (46) on the magnitude of the F field. Using this, it follows that terms of the form, say, φ |F (0) | 2 F (0) have the appropriate dimension whereas terms like φ |F (0) | 2 F (1) do not, even though this last term is proportional to ∂ 4 . Putting everything together, we find that There is one important caveat in arriving at (68). The expression for F (2) actually, in addition to the above, contains a term which is φ 4 times a total derivative. When inserted back into the Lagrangian, this would be higher order in all terms proportional toc 3 andc 4 and, hence, can be ignored. However, it would have to be included in the terms proportional toc 1 andc 2 . However, inserting it into these terms, integrating by parts and recalling that we will always solve the equations of motion so that χ = ∂ µ χ = 0, it follows that these contributions exactly vanish. Hence, we have dropped this total derivative term from the expression (68) for F (2) .

Extension of Conformal Galileons to N = 1 Supergravity
In the previous section, we extended the flat space conformal Galileons of a single real scalar field to N = 1 supersymmetry. We now further generalize these results by extending them to curved N = 1 superspace and, hence, to N = 1 supergravity. This is accomplished by using, and then greatly expanding upon, results on higher-derivative supergravitation first presented in [35,37,38,39]. Throughout this section we use results from, and follow the notation of, the book "Supersymmetry and Supergravity" by Bagger and Wess [40]. 7 We begin with a purely chiral superfield Φ(x, θ,θ) in flat superspace. By definition, this satisfies the constraintDαΦ = 0, whereD is the flat superspace differential operator. Note that one can generically construct a Lagrangian that is invariant under global N = 1 supersymmetry by integrating this chiral superfield, or any chiral function F (Φ) of multiple chiral superfields-such as the superpotential W -over half of superspace. That is, where we have made the Lagrangian manifestly real by adding the hermitian conjugate. For a more general function of both chiral and anti-chiral superfields, O(Φ, Φ † ), one can continue to get an N = 1 supersymmetric invariant Lagrangian by first applying the chiral projector − 1 4D 2 to the function-hence turning it into a chiral superfield-before integrating over half of superspace, We now use similar methods to construct a Lagrangian that is invariant under local N = 1 supersymmetry; that is, N = 1 supergravity. To do this, one replaces the measure d 2 θ with d 2 Θ2E, where the Θ α are the covariant theta variables defined in [40], and E is a chiral density whose lowest component is the determinant of the vierbein e a µ . A function of purely chiral superfields then yields the invariant Lagrangian Once again, we can integrate over a more general function O(Φ, Φ † ) by using the chiral projector.
To do this, one must first replace the flat-space differential operatorD 2 by the covariant operator D 2 . However, it turn out that this, by itself, is insufficient. One must also introduce a new term proportional to the chiral superfield R, which contains the Ricci scalar R in the highest component of its Θ expansion. Note that this quantity should not be confused with the AdS 5 radius of curvature, also denoted by R, which will not appear explicitly in our supergravity expressions. The chiral projector in curved superspace is then given by − 1 4 (D 2 − 8R), and equation (70) has as its supergravity analogue

The N=1 Supergravity Galileons
We are now ready to give the N = 1 supergravity extension of the first three conformal Galileons. They areL where Note that we have now restored canonical dimensions to the chiral superfields with respect to the mass scale M = 1/R of the AdS 5 bulk space. Specifically, A has mass dimension 1, F has dimension 2, and the superpotential W has dimension 3. In addition to the AdS 5 scale M, we have introduced the gravitational reduced Planck mass in four dimensions, denoted by M 2 P = 1/(8πG N ).
All fields in the N = 1 gravity supermultiplet, that is, the vielbein e a µ , the gravitino ψ α µ and the auxiliary fields b µ and M also have their mass dimensions specified with respect to M. These are of dimension 0, 3/2, 1 and 1 respectively. At the end of this section, we will demonstrate how, for momenta much smaller than M P , one can return to the conventions of the previous section. We also note that the expression given in (77) and (78) have previously been evaluated in [12] -see also [43]. Finally, recall that the metric g µν = e a µ e νa and is dimensionless. In component fields, we find where e on the left-hand side of these expressions is the determinant of the vierbein e a µ -not to be confused with Euler's constant e which will always appear raised to some exponent. As in the preceding sections, we have continued to omit any terms containing the fermion ψ of the chiral superfield. In addition, we also omit all interactions involving the gravitino ψ α µ . However, we carefully analyze all terms containing the auxiliary fields; that is, F which arises from the chiral superfield Φ and two new auxiliary fields. These are b µ , a four-vector, and M , a complex scalar. These supergravity auxiliary fields arise in the Θ expansions of E and R. Details on how one arrives at the expressions in (79),(80) and (81) from equations (73) to (78) are given in the Appendices. Note that each of the above Lagrangians has mass dimension 4.
We can once again write out the total Lagrangian 8 as the sum of the individual terms given above,L where thec i 's are now dimensionless constants. In order to restore the non-linear sigma model kinetic term in (74), we perform the following Weyl rescaling e a µ → e a µ e This induces the following transformations: e → e e 2 3 For example, using (84), we find that the g µν D µ ∂ ν A term in Lagrangian (81) transforms as We will denote the rescaled Lagrangian asL , but continue to write the rescaled metric and vierbein as g µν and e a µ respectively. The Weyl rescaling restores the canonical Ricci scalar term − 1 2 eM 2 P R, but also introduces a total derivative term which depends on the rescaling factor. However, since this total divergence is inside of an integral in the action, we will drop it henceforth.
We now integrate out the auxiliary fields of supergravity. We begin by first isolating the terms in the rescaled Lagrangian containing b µ . These are where Here, we have taken care to distinguish the "usual" two-derivative terms fromL 2 (collected in j µ ) from the higher derivative terms (denoted by h µ ) arising fromL 3 . Solving the equation of motion for b µ gives us Inserting this result back into Lagrangian (86), we find We now turn to the auxiliary field M , whose Lagrangian, after Weyl rescaling, is found to be whereL N F contains terms that depend on F, F * only. We find that where The equation of motion for N is straightforward to solve. The solution is Substituting this result into (92), we find CombiningL b ,L N andL N F with the remaining terms inL , we arrive at the complete Lagrangian. It is given by where h µ h µ = −1 9(A + A * ) 6 16(∂A * ) 2 (∂A) 4 − 32∂A · ∂A * (∂A) 2 (∂A * ) 2 + 16(∂A) 2 (∂A * ) 4 +16e 1 3 and We want to emphasize that the final result (97) is exact, and has not used the ∂ 2 , F 1 limit employed in the previous section.
As an important check on our supergravitational expression forL in (97), let us take the flat superspace limit. To do this, we let M 2 P → ∞ and g µν → η µν , e → 1. We find that After the following integration by parts, equation (101) is the sum of the flat superspace conformal Galileons of the previous section-now, however, written in terms of A = 1 √ 2 (φ + iχ) and expressed in the canonical mass scale conventions defined near the beginning of this section. To return to the field normalization conventions used in the previous section of the paper, we implement the following procedure. We use the mass scale M to set A → MA, F → MF , W → M 3 W and restore the dimensions in the constants by lettinḡ where A is now dimensionless whilec 2 has dimension 4. Similarly, one finds where W has mass dimension 0, F has dimension 1, andc 1 ,c 3 have dimension 4. Continuing this procedure and again setting M = 1, the flat superspace limit of (97) yields, as expected, This is precisely the sum of the dimensionless flat superspace conformal Galileons defined in equations (42), (32), and (36) written in terms of A = 1 √ 2 (φ + iχ).

The Low Momentum, Curved Spacetime Limit
As mentioned above, expression (97) is exact and is valid for any momentum or magnitude of F . However, one important application of (97) is in a cosmological context where 1) M M P , 2) although spacetime can be curved and dynamical, its curvature R M 2 P and 3) the momentum and auxiliary field F of chiral matter also satisfy ∂ 2 , F M 2 P . Be this as it may, 4) it is not necessary for ∂ 2 or F to be smaller than M 2 . In this "cosmological" limit, the expression (97) greatly simplifies. Neglecting all terms-with the notable exception of M 2 P 2 R-that depend explicitly on M P , the action associated with (97) becomes All indices in this expression are contracted with respect to a curved spacetime metric g µν and ∇ is the associated covariant derivative.

4
Similarly to the above discussion ofL SU GRA

3
, we have also carried out a complete calculation of the supergravity LagrangianL SU GRA

4
. This is a complicated and detailed analysis and will be presented elsewhere. However, the results of that calculation that concern the low-energy "cosmological" limit defined above are relatively straightforward. We find that, as forL SU GRA 3 , in this limit all terms in the expression (41) contribute to the low-energy curved superspce Lagrangian -however, with the modification that one replaces the flat metric η µν with the curved spacetime metric g µν and each derivative with the covariant derivative with respect to g µν . It follows that to (107) one must add the term However, unlike the case ofL SU GRA

3
, there are several other terms involving the curvature tensor that also enter the "cosmological" limit ofL SU GRA 4 . The origin of these terms is less straightforward and, in this paper, we will simply state the results. We find that in, addition to (108), one needs to add the terms toL cosmo in (107). R and R µν are the spacetime curvature scalar and Ricci tensor respectively. Note that all contractions in (108) and (109) are with respect to the curved metric g µν . Here, we will simply point out that these new terms arise from commuting certain derivatives in the supergravity extension ofL SU SY 4, 2nd term in (38).
Under the assumption that we ignore all fermions, including the gravitino, this can be written as where It follows that one can compute the component field expansion of a supergravity Lagrangian by evaluating the following terms, As an example, consider the first term (77) in the curved superspaceL 3 conformal Galileon. It was constructed using the formalism just described. That is, one begins with the higher-derivative superfield expression Then, the associated Lagrangian is obtained by the appropriate chiral projection and superspace integration. For O I , which is not hermitian, one writes Having obtained the superfield expression for theL 3,I Lagrangian, we now apply the preceding formalism to express it in terms of component fields. It follows from the above that one must evaluate the four lowest component terms in (115). To exhibit our methods, let us compute D 2 O .
We calculate these terms by distributing the D α and Dα operators appropriately, and commuting them until we are able to apply the defining expressions for chiral and anti-chiral fields Many terms that arise in the intermediate stages of the calculation involve fermions. For example, expressions which contain D α Φ = √ 2ψ α are fermionic. In keeping with the thesis of this paper, all such terms will be dropped. However, the essential difficulty involved in the computation is the presence of curvature and torsion in supergravity. Hence, anti-commutators of the D, D operators now give rise to terms which would not have been present in the global supersymmetric case. Explicitly, we have where the A, B, C, D indices can be a, α,α, and the exponents b, c, d take the values 0 or 1 when the indices B, C, D are bosonic or fermionic respectively. R A CBD and T D CB are superfields which respectively contain components of the curvature and torsion. For N = 1 supergravity, these superfields and their component expansions are given, for example, in [40], Chapter 15.
Using these results, we determine that the first two terms in (118) are fermionic and, hence, are taken to vanish. The third term is given by We compute the lowest component term on the right-hand-side as follows.
Putting this back into (121) and then inserting in (118) yields The remaining three terms in (115) can be evaluated using similar methods. Putting these four component field terms together, and eliminating the b µ and M auxiliary fields of supergravity, yields theL 3,I contribution to (81).