Spinorial geometry, off-shell Killing spinor identities and higher derivative 5D supergravities

Killing spinor identities relate components of equations of motion to each other for supersymmetric backgrounds. The only input required is the field content and the supersymmetry transformations of the fields, as long as an on-shell supersymmetrization of the action without additional fields exists. If we consider off-shell supersymmetry it is clear that the same relations will occur between components of the equations of motion independently of the specific action considered, in particular the Killing spinor identities can be derived for arbitrary, including higher derivative, supergravities, with a specified matter content. We give the Killing spinor identities for five-dimensional $\mathcal{N}=2$ ungauged supergravities coupled to Abelian vector multiplets, and then using spinorial geometry techniques so that we have explicit representatives for the spinors, we discuss the particular case of the time-like class of solutions to theories with perturbative corrections at the four derivative level. We also discuss the maximally supersymmetric solutions in the general off-shell case.


Introduction
In recent years much technology has been developed in order to complete the important task of classifying the supersymmetric solutions of supergravity theories. In this paper we would like to point out the utility of the combination of two of these pieces of technology, the so called spinorial geometry approach introduced in [1] and the Killing spinor identities [2,3], particularly in the context of classifying the supersymmetric solutions of off-shell supergravities, including in the presence of higher derivative terms. The spinorial geometry approach is to represent the space of spinors using differential forms and use the Spin(d − 1, 1) gauge freedom of the Killing spinor equations. The backgrounds that solve the Killing spinor equations for the representative spinors of each orbit of Spin(d − 1, 1) in the spinor space are then related by a local Lorentz tranformation to the solution for any other spinor in that orbit. An oscillator basis for the gammamatrices then facilitates the reduction of the Killing spinor equations to linear systems for the spin connection and fields. To investigate solutions with more than the minimal amount of supersymmetry one may then use the isotropy group of the first Killing spinor to simplify the second, a process that may be repeated until the common isotopy subgroup of the Killing spinors reduces to the trivial group.
In [2,3] the Killing spinor identities were derived which relate components of the equations of motion of supergravity theories for backgrounds which preserve some proportion of the supersymmetry. The derivation does not require that the supersymmetric action is specified, just that the action is supersymmetric under the given supersymmetry variations of the fields. In [4] the Killing spinor identities were used in the off-shell N = 2 d = 5 superconformal theory to show that the maximally supersymmetric vacua of the two derivative theory are the vacua of arbitrarily higher derivative corrected theories, up to a generalization of the very special geometry condition. However in that work the compensating multiplet was taken to be an on-shell hyper-multiplet. We generalize the results of [4] to the case of an off-shell compensator, extending the results of that work to arbitrary higher derivative terms involving the compensating multiplet, an example of which is the Ricci scalar squared invariant constructed in [5]. The previously constucted Weyl tensor squared invariant [6] is independent of the compensator. Our analysis also extends that of [4] to include the gauged case, and thus AdS 5 vacua. We will also be interested in what the Killing spinor identities have to say about solutions with less supersymmetry. The spinorial geometry techniques allow us to use our simple representatives to show which of the (components of the) equations of motion are automatically satisfied for supersymmetric solutions.
We will use the Killing spinor identities in order to study curvature-squared corrections to N = 2, D = 5 ungauged supergravity coupled to an arbitrary number of Abelian vector multiplets. In particular we will focus our attention on a gravitational Chern-Simons term of the form A ∧ tr(R ∧ R) where R denotes the curvature 2-form [6], and a Ricci scalar squared term [5].
We will use the off-shell superconformal formalism on which there is an extensive literature. We will use mostly the conventions of [6][7][8][9]. The very helpful appendix B in [5] provides a map from the conventions of [10][11][12][13][14] to those we use. Earlier work on off-shell Poincaré supergravity can be found in [15]. There is also an extensive literature on off-shell superconformal gravity in five dimensions in superspace, see [16][17][18][19][20][21][22] and particularly [23], which contains the superspace contruction of the invariants we consider here amongst much else. In appendix A we summarize the construction of supermultiplets whose supersymmetry algebra closes without any reference to the equations of motion. These supermultiplets can then be used to obtain supersymmetric actions with derivatives of arbitrary order without making the supersymmetry transformations of the fields any more complicated. Another advantage of the off-shell formalism is the disentanglement of kinematic properties (e.g. BPS conditions) from dynamic properties (e.g. equations of motion). The off-shell formulation greatly restricts ambiguities arising from field redefinitions, such as g µν = g µν + aRg µν + bR µν + . . . , (1.1) which plague higher-derivative theories in the on-shell formalism. In fact, the supersymmetry algebra is not invariant under such transformations, even though the on-shell Lagrangian may be. We shall be interested in the ungauged N = 2, D = 5 supergravities, and so we will appropriately gauge fix the superconformal theory similiarly to [6], see also [24], however we will use an off-shell compensating linear multiplet, as in [5]. This allows us to be sure that our results will hold even on the addition of invariants formed from the compensating multiplet.
The supersymmetric solutions of the minimal ungauged two derivative theory were classified in [25] and the generalisation to a coupling to arbitrarily many Abelian vector multiplets was reported in [26,27]. The supersymmetric solutions of higher derivative theory have been considered before. In, for example, [28][29][30][31][32] a variety of ansatz were considered, whilst in [24] the classification of the supersymmetric solutions was presented, following the two derivative analysis of [25]. We will reanalyze these results making use of the Killing spinor identities, and give the full equations of motion that remain to be solved in a compact form, for the time-like class. We will show that the Ricci squared invariant does not contribute to any of the equations of motion either in the time-like or null classes of supersymmetric solutions, and so that this classification is valid also in the presence of this invariant. The supersymmetric near-horizon geometries of this theory were classified, up to the existence of non-constant solutions of a non-linear vortex equation in [33], assuming that the horizon is Killing with respect to the Killing vector coming from the Killing spinor bilinear. If such solutions exist, they fall outside the classification of [34], are half supersymmetric and may admit scalar hair. In [35] it was shown that this equation does indeed admit some non-constant solutions. It would be particularly interesting to construct explicitly such near-horizon geometries and the corresponding full black hole solutions, or, on the other hand, to extend the uniqueness theorem of [36] under some regularity assumptions. This work, when combined with the results of [33,35] offers some necessary ingredients to pursue this.
The structure of the paper is as follows: in section 2 we review the derivation of the Killing spinor identities [2,3] and fix our conventions. In section 3 we derive the particular Killing spinor identities for off-shell N = 2, d = 5 supergravity with Abelian vector multiplets. In section 4 we then review the classsification of solutions of the Killing spinor equations at order α in the time-like class for particular four derivative corrections to the two derivative action and the implications of the Killing spinor identities for the equations of motion of these solutions. This classification is also valid for any off-shell N = 2, d = 5 theory constructed using the standard-Weyl gravitational multiplet and with the same matter content if we consistently truncate all of the SU(2) triplet fields, the scalar N and the vector P µ . 1 In section 5 we consider the maximally supersymmetric cases in the time-like class and we reproduce the classification of [25,37], which is simplified considerably by using the spinorial geometry techniques. In [25] a number of maximally supersymmetric solutions were found in the time-like class that were conjectured to be isometric to the near-horizon geometry of the BMPV black hole, and were indeed later shown to be so in [37]. Here we obtain this result directly by analysing the Killing spinor equations. In section 6 we show that the Ricci squared invariant does not contribute to the equations of motion for the null class of solutions, in a simple calculation using the Killing spinor identities, without going into the details of the resulting geometry. In section 7 we extend Meessen's argument [4] to include an off-shell compensator in the construction, using the untruncated version of the off-shell theory, necessarily also considering the gauged case. In appendix B we give the necessary information on the description of the spinors of this theory in terms of forms, and find representatives for each orbit of Spin(4, 1) on the space of spinors. We introduce a basis (B.45) adapted to the case of time-like spinors, and use it to derive linear systems from the Killing spinor equations for a generic spinor in appendix C. In appendix D we give the linear systems for the Killing spinor identities in the time-like (D.1) and null (D.2) bases, the latter using an adapted basis detailed in (B.47).

Off-shell Killing spinor identities
We now recall the general derivation of the Killing spinor identities [2][3][4] and fix our conventions. Let S[φ b , φ f ] be any supergravity action, constructed in terms of bosonic fields φ b and fermionic fields φ f . Let us further assume S[φ b , φ f ] is the spacetime integral of a Lagrangian density: The invariance under supersymmetry transformations of the action can be written where δ Q denotes a local supersymmetry transformation of arbitrary parameter, subscripts b, f denote functional derivative with respect to φ b , φ f respectively, and a sum over fields is understood.
Next consider a second variation of the action functional by varying δ Q S[φ b , φ f ] with respect to fermionic fields only. Since and we set the fermions to zero after the variation. Hence we get Since δ Q φ b and L f are odd in fermions we are left with requires knowledge of the entire Lagrangian, not only its bosonic truncation. However if we restrict ourselves to supersymmetry transformations having Killing spinors as parameters, δ K , we have Note that where the last term vanishes if φ f = 0. We are thus led to define so that bosonic equations of motion take the form Thus the Killing spinor identities may be written as We will now derive the Killing spinor identities for off-shell N = 2, D = 5 supergravity, which have been discussed in [4]. We discuss the construction of such superconformal theories in appendix A.1 and their gauge fixing to Poincaré supergravity in appendix A.2. What we need are the off-shell supersymmetry variations for the bosonic field content, and we record the relevant terms for our discussion here for ease of reference: In the above we have supressed terms involving the gravitino, and in particular have not listed the variation of the auxiliary vector P a as it only involves the gravitino. This is due to our taking the strategy of solving the equations of motion of all other fields before turning to solve the Einstein equation. Because of this the only term involving the gravitino that will not lead to a term involving an equation of motion of a bosonic field that we have solved will come from the vielbien variation. As to be expected from the complexity of the Einstein equation of higher derivative theories and the ubiquity of the gravitino in the supersymmetry transformations, if we keep these terms we may obtain long expressions for the components of the Einstein equation in terms of components of the other equations of motion and the fields. However as long as we keep in mind that our gravitino Killing spinor identity is only valid after solving the other equations of motion, we may proceed by ignoring the gravitino terms in the above variations, greatly simplifying the derivation. To proceed we will need one more ingredient, the gravitino variation which reads from the gauge fixing of the superconformal theory down to the super-Poincaré theory, which is discussed in section A.2. We define the same splitting for any SU(2) symmetric field A ij , in particular we define A ij = AL ij + A ij so that A ij L ij = 0. It will be useful to derive the following identity for SU(2) symmetric fields. Consider two such fields A ij , B ij . We may easily show that (2.14) We also note the identity and have therefore Integrating by parts and using the fact that the gravitino Killing spinor equation implies we obtain Next we consider the KSI associated with the auxiliary fermion. We define and thus obtain Integrating the last term by parts, discarding the total derivative and making use of the gravitino Killing spinor equation we obtain In order to use these equations we need either to solve explicitly for the Killing spinors or better to find representatives for them for different (classes of) solutions. Our strategy will be to expand the Killing spinor identities in suitable bases for their solution using the spinorial geometry techniques. It is especially easy to solve these system as we have already reduced the system to equations that are algebraic in the Killing spinors, using the gravitino Killing spinor equation.
In the two derivative ungauged on-shell theory with Abelian vectors all supersymmetric solutions (locally) preserve four or eight supersymmetries. However this is no longer a priori true in the off-shell theory unless the auxiliary SU(2) fields vanish. Because of this it is possible that a number of new features arise in the off-shell case in theories with suitably complicated actions which are normally associated with higher dimensional or gauged supergravities. Note that the Killing spinor identities derived above will be valid for supersymmetric solutions with the appropriate number of Killing spinors, i.e. spinors which satisfy all of the Killing spinor equations. This is due to the implicit sum over fields.

N=2, d=5 ungauged supergravity with four derivative corrections
We review the construction of the superconformal Lagrangian in appendix A.1, and the gauge fixing to Poincaré supergravity in A.2. We do not break the R-symmetry down to global U(1), which could be achieved by choosing a particular value for L ij . Now we will specialize to a particular consistent truncation that is sufficient to study first order perturbative string theory corrections. In particular we remove terms in L 4 that do not contribute to linear order in α using the two derivative equations of motion for the auxiliary fields. In particular note that since V ij µ , Y Iij , N, P µ have trivial equations of motion at the two derivative level one can write for example V ij µ = O(α ). However the corrections to these equation of motion are themselves of order α so in fact Due to this we may truncate them from the action and the supersymmetry tranformations when studying the perturbatively corrected four derivative theory at first order and to all orders in the consistent truncation. In [4,24] only higher derivative terms independent of the compensator were considered, and the above statement follows for the fields V ij , Y Iij as they could only couple to each other in the action, and have trivial equations of motion at two derivative level. However in invariants involving the compensator, one must check that these fields are in fact higher order, as they could appear contracted with L ij . Clearly the order of the fields N and P µ must also be checked. However an inspection of the Ricci scalar squared superconformal invariant (A.51), assures us that these fields are in fact O(α 2 ). We would like to emphasize, however that this may not be the case with all invariants involving the compensating multiplet, and must be checked. The resulting Lagrangian of R 2 corrected N = 2, D = 5 ungauged Poicaré supergravity coupled to Abelian vector multiplets is given by At two derivative level we have where the Levi-Civita symbol is denoted by abcde . Note the sign of the scalar kinetic term which corrects that in eqn.(78) of [24]. As far as the four derivative Lagrangian is concerned we will take L 4 = L C 2 + L R 2 s , where where C denotes the Weyl tensor and we are using the conventions R µνσ which are different to the conventions in [6]. In A.3 we give the contributions to the equations of motion for this contribution to the action, which are quite involved. For the Ricci tensor squared contribution one finds where we have absorbed a factor into the definition of E = e I M I and we also provide the contributions to the equations of motion in appendix A.3, which are rather simpler. In order to solve the Killing spinor equations to order (α ) or to all orders in a consistent truncation, we may remove the same fields from the Killing spinor equations and identities which now read In appendix C we give the linear systems associated to the Killing spinor equations in a time-like basis, whilst for the Killing spinor identities we present the linear systems in the time-like and null bases in appendices D.1 and D.2, respectively. These bases are adapted to the time-like and null orbits of Spin(4,1) on the space of spinors which can be found in appendix B. In the next two sections we shall use these systems to analyse the equations of motion of the truncated theory, which is sufficient to study the order α four derivative corrections to the ungauged theory.
In the interests of completeness we give the full form of the KSI for the gravitino for this truncation, which we calculate using the full supersymmetry transformations in [7] to be We can then write this in terms of the variation with respect to the metric using (3.9) We will not find this expression particularly enlightening in what follows.

Half supersymmetric time-like solutions
In the section we shall analyse the supersymmetry conditions arising from the existence of one time-like Killing spinor and reproduce the results of [24], which we will add to in the next section by examining the Killing spinor identitities and equations of motion of the theory considered there with the addition of the Ricci scalar squared invariant.

Killing spinor equations and geometric constraints
Let us turn first to solving the Killing spinor equations. We shall see that demanding one supersymmetry leads to 4 out of the 8 possible supersymmetries being preserved. It is convenient to work in the oscillator basis defined in (B.45), whose action on the basis elements is recorded in table 1. The Killing spinor equations have been expanded in this basis to yield the linear system in appendix C. For the representative of the SU(2) orbit of Spin(1, 4) we may always choose (cf. eq. B.39) 2 (4.1) Inspecting the linear system in appendix C it is easy to see that the two components of the spinor yield equivalent conditions. Now consider the spinor η = (η 1 , η 2 ) = (−ie φ e 12 , −e φ 1). This is clearly linearly independent from , however it yields an equivalent linear system, thus the system preserves at least two supersymmetries. In fact the system preserves half of the supersymmetry, as the spinors χ = (i 1 , −i 2 ) = (ie φ 1, −e φ e 12 ) and ζ = (iη 1 , −iη 2 ) = (e φ e 12 , ie φ 1) also yield identical systems. To summarize, demanding the existence of one (time-like) supersymmetry implies that the solution is half supersymmetric and it is sufficient to solve the Killing spinor equations of the first component of that spinor. From the gravitino eqns. (C.7) we obtain where αβ is antisymmetric with 12 = 1. From this we can easily read off the geometric constraints Consider next the one-form bilinear V = e 2φ e 0 constructed from the spinor (4.1). V is clearly time-like and it is easy to show that (4.4) and the first equation in (4.7) imply that it is Killing. We can thus introduce coordinates t, x m such that as a vector. The metric takes the form and we may adapt a frame such that ds 2 5 = (e 0 ) 2 − ds 2 4 = (e 0 ) 2 −η ij e i e j , e 0 = e 2φ (dt + Ω) , e i = e −φêi n dx n , (4.10) whereη ij denotes the flat euclidean metric,ê i is a vierbein forĝ and φ, ω and e i are independent of t. Next consider the torsion free condition for the fünfbein e A , In particular setting A = i and considering the part with either of B, C = 0 we find conditions compatible with the constraints (4.5) and (4.6), but in addition this implies that the trace free (1, 1) part of ω 0,ij = ω i,0j must also be satisfied. It is convenient to introduce the two form G, G = e 2φ dΩ . Then the components of the five-dimensional spin connection are where hats refer to four-dimensional quantities and we note that all components are determined in terms of the base space. We can see that this means (4.4)-(4.6) and the first equality in (4.7) are satisfied, and it remains to interpret (4.3) and the remainder of (4.7).
Examining the first of these we see that ω α,12 = 0 implies that the (3, 0) + (0, 3) part of the connection vanishes, and thus the complex structure is integrable. The remaining conditions can also be expressed in terms of the Gray-Hervella classification for an SU(2) structure manifold, and it can be seen that the manifold is in the special Hermitian class [38]. We will not pursue this here, as we shall show instead that the base space is hyper-Kähler, i.e. we will describe it instead via its integrable Sp(1)( ∼ =SU(2)) structure. We can where the (1, 1) piece with respect to the complex structure has been split into its traceful and traceless parts. It is convenient instead to decompose the spatial part of v into selfdual, v + , and antiselfdual, v − , parts. Note that the nonzero components of the decomposition of a two-form α in the oscillator basis are α (+) so that with respect to the complex structure α + is the trace-free (1, 1) part, whilst α − is the (2, 0) + (0, 2) part and the trace. We observe that we may thus write v (+) ij , (4.14) so v is given by The two-form bilinears of the spinor (4.1) are Notice that the constraints on the connection imply that they are closed, since dX (i) = 0 is equivalent to demanding 2∇ 0 φ = (ω 1,01 + ω 2,02 ) − (ω 0,11 + ω 0,22 ) = ω 1,01 + ω 1,01 = ω 2,02 + ω 2,02 , ω 0,12 = ω 1,02 , ω 1,02 + ω 2,01 = 0 , ω α,12 = 0 , ∇ 1 φ = ω 1,11 + ω 1,22 = ω 2,12 , ∇ 2 φ = ω 2,11 + ω 2,22 = −ω 1,12 , (4. 17) which are all implied by the gravitino Killing spinor equation. Defining ij are the components with respect to the vierbeinê i , we find that the X (i) obey the algebra of the imaginary unit quaternions, This defines an almost quaternionic structure on the base space. If they are covariantly constant they define an integrable hypercomplex structure on the base, so we examinê which is equivalent to demandinĝ ω α11 +ω α22 = 0 ,ω α12 = 0 ,ω α12 = 0 , which are again implied by the gravitino Killing spinor equation. We thus conclude the base space is hyper-Kähler. Note that the spin connection and the curvature two-form on the base are selfdual,ω We turn next to the gaugini equations. For our representative, the linear system (C.10) boils down to Thus we have ij . where the selfdual part of F is undetermined. Note that which, together with the Bianchi identity, implies that the Lie derivative of F I along V is zero, and thus F I , including its undetermined part, is independent of t. Since the undetermined part of the field strength satisfies Let us introduce the selfdual two-form so imposing the Bianchi identity for F I is equivalent to demanding We now turn to the auxiliary fermion Killing spinor equation. Next we wish to substitute for v in terms ofĜ and φ. Carefully evaluating the covariant derivative of v we obtain Using this the expressions defined in (C.15) become Recall that in four dimensions for a two-form α we have the identitŷ so A i is proportional to the Hodge dual of the 3 form d e −2φ G , but G = e 2φ dΩ, and hence A i = 0. Using this together with A ij = 0 in the linear system (C.14), one sees that the latter is satisfied iff A = 0. Thus the only additional condition arising from the auxilary fermion equation is an expression for D,

Killing spinor identities and equations of motion
Here we will examine the equations of motion using the Killing spinor identities in the time-like basis, given in section D.1 for the representative (4.1). We obtain Note that as the KSI are a consequence of the off-shell supersymmetry, these are valid for all higher order corrections that can be added to the theory with the same field content, i.e. for any consistent truncation in which the SU(2) triplet fields in addition to N and P µ are set to zero. In particular for any such corrected action, including the one under consideration, it is sufficient to impose the equations of motion Consider the contribution to the equation of motion coming from the Ricci scalar squared action. Looking at the equations of motion coming from this invariant, we see that the contribution to the gauge field equation of motion vanishes. But we know from the Killing spinor identities that E(A) 0 I = E(M ) I . Looking at the scalar equation we read off the identity where these quantities are all defined on the full five dimensional space. Using the conditions we have found on the geometry and the expressions for the auxiliary fields we can verify this identity directly. Turning to the contributions from this density to the other equations of motion, we see that they vanish identically for any supersymmetric background in the time-like class. The equation of motion for D is therefore given by The M I equation is more involved, but using (4.31), and the various identities we have collected in appendix E, we find This computation has been checked in Mathematica using the package xAct [39,40], and the two equations above are in agreement with [24]. Finally, after a very long calculation and making extensive use of the identities in appendix E we find the equation of motion for v yields where we have substituted for N using the equation of motion for D. To obtain this we found it useful to consider the equation We have checked the KSI for this equation explicitly and indeed the electric component and the anti-self-dual component automatically vanishes for k = 1, so that these parts of the E(v) ab are automatic up to solving E(D). It is then sufficient to solve the self-dual part and taking k = 9 gives the equation above. This equation was not given in full generality in [24], where the equation of motion was contracted withĜ + . Note that the covariant derivatives on the last term commute, and that whilstΘ I is harmonic with respect to the form Laplacian, it is not harmonic with respect to the connection Laplacian and instead obeys (E.31). Finally note that this equation is selfdual as the antiselfdual part of the last term and the manifestly antiselfdual term ∇ 2 M IĜ (−) ij cancel using the identity (E.38).

Towards general black hole solutions
In this section we shall comment briefly on solving the remaining equations of motion, in the case that the solution is a single centre black hole with a regular horizon. In [33] a systematic analysis of the possible supersymmetric near horizon geommetries of the five dimensional theory inculding the truncated Weyl-squared invariant was performed, assuming a regular compact horizon, regular fields and that the horizon is Killing with respect to the Killing vector assocated to the Killing spinor bilinear. In the case of horizon topology S 3 it was found that the geometry may be squashed if a certain vortex like equation admits non-constant solutions. Whether there exist squashed solutions or not, following the analysis of the two derivative case in [36], it was demonstated that for a supersymmetric black hole the geometry may be written as a U(1) fibration of R 4 , and thê Θ I must vanish under some regularity assumptions. So to investigate the supersymmetric black hole solutions with regular horizons one may always takeR ijkl =Θ I = 0. This means that (4.39) may be solved for a set of harmonic functions on R 4 which we label H I .

(4.42)
Contracting this with the scalars and using it in (4.38) we find The v equation also simplifies to yield We note that at two derivative levelĜ + vanishes, and can thus be dropped from the correction terms to the equations of motion to order α . Making this assumption the above further simplifies to give an expression forĜ + in terms of second derivatives of M I and φ, and dω − . Note that the Laplacian of M IĜ(−) only occurs to cancel the antiselfdual part of dK − , where dK − is defined as in (E.38), with α = M IĜ . One would perhaps expect that G + will only be non-zero in the case that the horizon is squashed, corresponding to the loss of two commuting rotational isometries. It would be especialy interesting to investigate this further, and also to use the analysis of [33,41] to investigate the black ring solutions, and we hope to report on these issues at a later date.

The second time-like representative
As is discussed in appendix B there is a second orbit with isotropy group SU(2) in the space of spinors. This is related to the first orbit by a Pin transformation that is not in Spin, which is thus associated to a reflection, rather than a proper Lorentz rotation of the frame. In this section we will briefly give the solution to the Killing spinor equations for a representative of this orbit, which are of course very similar and which may be read off from the general linear system presented in appendix C. The first component is given by 1 = e φ e 1 , and again inspecting the linear system we see that if it is satified for this component of the spinor, then it is automatically satisfied for the second component 2 , and indeed for the four linearly independent spinors with first components 1 , 2 , i 1 , i 2 . The one-form bilinear of the representive is the same as in the case of the first orbit, and the associated time-like vector field is again Killing so we may adapt the same coordinates. The non-zero components of the spin connection are antiselfdual,ω (+) i,jk = 0 and thusR (+) ij = 0. The two-forms associated to this representative are different, and are now selfdual, and again, using the Bianchi identity, this is independent of t.
From the auxilary fermion equation we just get the same expression for D, after inter-changingĜ ± .
In this case the independent EOM's are The first equation gives whilst the second equation reads The auxiliary two form equation of motion is which is antiselfdual.

Maximal time-like supersymmetry
In the consistent trunaction we are considering it is clear that we need only demand two linearly independent Killing spinors to impose maximal supersymmetry. We include this derivation here, as it is rather more direct than that presented in [25], which left some solutions only conjecturally isometric to the near horizon BMPV geometry, and these conjectures were subsequently proven in [37].

Killing spinor equations and geometric constraints
In the previous section we have only imposed the existence of one time-like Killing spinor, so we wish to choose a second Killing spinor. Decomposing ∆ C under SU(2) we find Note that for linear independence the second spinor must have a component in C e 1 , e 2 , since we have seen that the spinors implied by the existence of one spinor span C 1, e 12 . Now notice that we may act with the residual SU(2) gauge symmetry to write the spinor as where χ is real. So choosing this as the first component of a symplectic Majorana spinor we have ξ = (λ 1 + σe 12 + e χ e 1 , iσ * 1 − iλ * e 12 + ie χ e 2 ) .
Recall that the linear system is equivalent under the symplectic Majorana conjugate, in fact it yields the (dual of the) complex conjugate system. Thus not only is it sufficient to consider the Killing spinor equations for the first component of ξ, but this implies that the linearly independent spinor (ξ 2 , ξ 1 ) is also Killing. Now note that (iξ 1 , −iξ 2 ) and (iξ 2 , −iξ 1 ) are also linearly independent and their linear systems are equivalent to the system from ξ 1 . Finally we note that the sigma group [42] of the plane of parallel spinors of the half-supersymmetric solution, Σ(P) = Stab(P)/Stab( , η, χ, ζ), is a rigid SU(2), where P = C e φ 1, e φ e 12 , due to the supersymmetry enhancement found in the previous section. So to summarize, by demanding the existence of one time-like Killing spinor we saw that this implied the existence of another three linearly independent Killing spinors, and when demanding the existence of one more linearly independent to these we have maximal supersymmetry. First let us consider the gravitino equation. The linear system (C.7) for ξ 1 yields The first four equations give From (5.9) and (5.8), (5.12) we obtain respectivelŷ ω 1,12 =ω 2,12 = 0 ,ω 1,12 = −2∇ 2 φ ,ω 2,12 = 2∇ 1 φ , and finally (5.10) and (5.11) givê The gaugini equations (C.10) boil down to The Bianchi identity for F I is therefore satisfied, We can write the auxilary fermion equation as since e χ is non-zero. Consider first the B i part, substituting A i = 0 one gets Thus the condition remaining from (5.21) becomes simply B = 0, which yields Thus H = e −2φ is harmonic on the base, whilst the expression for the auxiliary scalar D becomes We note that as dΩ = e −2φĜ(−) is a closed anti-selfdual two-form, it can be written as a constant linear combination of the hyper-Kähler two-forms on the base. As they are covariantly constant with respect to the∇ connection, so is dΩ. We can calculate (Ĝ (−) ) 2 from (5.16), (5.17) to get with similar expressions involving σ, where we have used the last equation of (5.15) to see that e 2(φ+χ) is just some positive constant, and moreover we can always rescale the spinor ξ such that e (φ+χ) = 1/4 . The connection 1-formsω are completely determined and to compute the curvature two-form, it is convenient to writê The nonzero components of the curvature two-form (with its coordinate indices flattened with the vielbein) can then be written Using the symmetries of the curvature tensor, in particular settingR and we find that the base space is locally flat, as we also have that H is a positive harmonic function. We can write∇ 2 H = 0 in terms of H −1 aŝ which allows us to rewrite the conditions on H in the concise form that appears in [25]; Solving this equation we have that H = k, or H = 2k r 2 , where k is a positive constant and r 2 = (x 1 ) 2 + · · · + (x 4 ) 2 , and we have introduced coordinates such that the metric on the base is dŝ 2 = δ ij dx i dx j .
Let us first consider the case dH = 0. We thus have dφ = 0, the connection and electric parts of v and F I vanish, as does the auxiliary scalar D, and we have two cases to consider, depending on whether G (−) vanishes or not. In the case G (−) = 0, all of the gauge and auxiliary fields vanish, and we are left with five-dimensional Minkowski space. Now let us take G (−) = 0. Setting f i = {Re(λ), Im(λ), Re(σ), Im(σ)}, we must have f i = 0 ∀i from (5.25) and ∂ 0 f i = 0 from the first two eqns. of (5.14). Furthermore none of the f i may be proportional. One can see this by making a (rigid) SU(2) transformation in Σ(P). In the case that any two of the f i are proportional, we may set one of them to zero and hence obtain G (−) = 0, without loss of generality.Ĝ − is now covariantly constant and can be written as a constant linear combination of the hyper-Kähler twoforms, Hence a suitable solution for the parameters of the Killing spinors is f i = a i x i (no sum over i, a i = 0 ∀i) in Cartesian coordinates on the base, where a i are constants and (a 1 ) Following [25] we next introduce SU(2) right-invariant (or "left") one-forms σ where from now on we will leave the sum over (i) implicit. Introducing Euler angles for SU(2) 0 ≤ θ ≤ π, 0 ≤ φ ≤ 2π, 0 ≤ ψ < 4π, which in terms of the cartesian coordinates are given by these 1-forms have the parametrization and obey dσ We can now solve for Ω, Let us now turn to the case H = 2k r 2 . In this case we have ∇(HG (−) ) = 0. We introduce a new basis of anti-selfdual two-forms (2) leftinvariant (or "right") one-forms. In terms of the Euler angles these are parameterized by which obey dσ The five-dimensional spacetime geometry is given by This is the near-horizon geometry of the rotating BMPV black hole [43]. Setting c (i) = 0 gives AdS 2 × S 3 .
In summary, we have the following cases: • Five-dimensional Minkowski space. All coefficients of the Killing spinors are constants and all auxiliary and gauge fields vanish.
-22 - • The Gödel-type solution [25]. The scalars are constant, dM I = 0. The base space is R 4 , the electric parts of the fluxes vanish and dφ = 0. The metric can be written Only the anti-selfdual parts of the magnetic components of v, F I are non zero and are given byF • AdS 2 × S 3 , The electric fluxes are non-zero and given by F I = 1 2k M I dt ∧ dr.
• Near-horizon geometry of the BMPV black hole, We have electric and magnetic fluxes with We have derived these results off-shell in our consistent truncation, next we shall examine the equations of motion by making use of the Killing spinor identities. The results for the system if the first Killing spinor is taken to be in the second orbit are similar, with selfand anti-self-dual forms interchanged.

Killing spinor identities and equations of motion
In addition to (and using) the conditions derived from the half-BPS time-like case in (4.35), we obtain from which we immediately see that it is sufficient to impose the single equation of motion This can be written as Thus in the first case, Minkowski space, we obtain the usual very special geometry condition while for the Gödel-type solution and AdS 2 × S 3 we get respectively where we defined c 2 = c 2I M I . Finally for the near-horizon BMPV solution, we obtain Note that these are all constant deformations of the very special geometry condition N = 1. One may wonder whether this is a coincidence for the invariants we have considered, or whether this will always be the case. Looking at the Killing spinor identities, tells us that and we conclude that the equations that remain to be solved are Notice however that the scalar equation is automatic, which imples that just as in the time-like case. Note that since this must arise due to the supersymmetry conditions alone, and not any other equations of motion, that this is an identity for the null class whether we couple to the Ricci scalar squared invariant or not, i.e. whether e I vanishes or not. This completes the proof that the Ricci scalar squared invariant does not contribute to the equations of motion of any supersymmetric solution in this consistent truncation, and thus to any supersymmetric solution at first order in α .

Maximal supersymmetry in the general case
In this section we will work with the untruncated theory in order to show that the maximally supersymmetric solutions of the two derivative supergravity theory are those of the minimal theory, i.e. the all order consistency of the maximally supersymmetric vacua. This was discussed in [4], but there an on-shell hypermultiplet compensator was used. Due to the construction of supersymmetric higher derivative invariants using the compensator, it becomes important to have this multiplet off-shell. Whilst we have shown the Ricci scalar invariant does not affect the solutions in the truncated case (and so to order α in the presence of the invariants we have considered), other invariants involving the compensating multiplet may have some effect, as may the invariants we consider here when considering their contribution to higher order in α . In fact it is well known that this occurs, since adding the cosmological constant density changes the theory in such a way that the only maximally supersymetric solution at two derivative level is AdS 5 . We also wish to generalize to the case in which the higher derivative supergravity need not be the usual two derivative one with perturbative corrections, but also allow the higher derivative terms to have large coefficients. The equations we wish to solve are Following exactly the logic of [4] we first consider the gaugino equation (7.3) and impose maximal supersymmetry. Asumming that not all of the M I vanish we find whilst from the auxilary fermion equation we further obtain The gravitino equation then resembles the Killing spinor equation of the (U (1)) gauged theory.
To proceed we consider the integrability condition of the gravitino Killing spinor equation, the scalar part of which yields ∂ [a V b] = 0 so N v ab = 0 from (7.5). In the case v = 0 the flux vanishes, and we obtain that N is constant from the part of the integrability condition with one gamma matrix, whilst from the part with two gamma matrices we obtain l M I is constant. In the case that N also vanishes the geometry is Minkowski space. Substituting this information into the gravitino Killing spinor equation, we find that for both AdS 5 and Minkowski space that V µ vanishes.
If, on the other hand, we assume v ab is non-zero, then N vanishes. The integrability condition then reduces to that of the ungauged minimal theory, and in particular does not involve V µ . This integrability condition was solved in [25], and leads to the maximally supersymmetric solutions of the ungauged theory. This then implies V µ vanishes upon substitution into the gravitino equation.
If all of the M I vanish we find that N = P a = V ij µ = Y Iij = F I ab = 0. The solution of the Killing spinor equations yields exactly the maximally supersymmetric configurations of the minimal ungauged theory, with the two-form v, which is closed, playing the role of the gravi-photon field strength.
Turning to the Killing spinor identities we find from the gaugino KSI (2.19) whilst from the auxiliary fermion KSI we obtain (2.22) 8) and the gravitino Killing spinor identity tells us, at least, that the Einstein equation is automatic as long as we solve the other equations of motion. Notice that we have not yet mentioned the equation of motion for P µ . This is because its variation does not involve the gaugino or the auxiliary fermion, and so information about its equation of motion may only come from the gravitino KSI. In order to avoid working with the full gravitino KSI, we make the observation that in any case we need only solve the equations of motion of D, P µ and Y Iij as the others are then automatic from the proceeding discussion. The vielbien equation of motion enters the gravitino KSI only with one gamma matrix so further information may be obtained from the scalar and two-form part of the gravitino KSI, ignoring the contributions from the other equations of motion. First note that the variation of Y Iij does not contain the gravitino, so E(Y ) Iij will not appear in the gravitino KSI. So we must solve this equation of motion iff v vanishes, and this then implies the equation of motion of N is satisfied. In particular we must solve it in the cases of Minowski space or AdS 5 . Furthermore we shall choose to solve the D equation of motion, and so may ignore this contribution to the KSIs, since we know from experience the D equation is not automatic even in the two derivative theory, and this implies the equation of motion of v is satisfied. The relevant terms in the variation of P µ are given by Integrating by parts, and using that we have The part of the gravitino KSI without gamma matrices thus yields From the part with one gamma matrix we obtain Note that this means that as long as we solve the non-trivial equation of motion of D, we do not have to solve the equation of motion for P a in order for the Einstein equation to be automatic for the maximally supersymmetric solutions, due to the appearance of L ij in the relevant term of the Killing spinor identity. Using this in the part with two gamma matrices we obtain Clearly in Minowski space, where N = v = 0 we must therefore solve the equation of motion for P , however we know that dE(P ) = 0. In AdS 5 the P a equation of motion is automatic, whilst in the case of the maximally supersymmetric solutions of the ungauged theory with flux comparing (7.14) and the last equation of (7.15), we find that if v ab is non-vanishing then the equation of motion for P a is automatic.
In the case that all of the M I vanish, the Killing spinor identities imply that the equations of motion that remain to be solved are those of D, and also Y Iij in the case that v vanishes. Therefore the maximally supersymmetric configurations of the ungauged minimal supergravity are maximally supersymmetric configurations also in the case of M I all vanishing (with F I ab = 0 but v = 0), whilst AdS 5 is not as in this case N vanishes. Note that this may not occur in the two derivative case, as the equation of motion of D is inconsistent at this level.
In summary, in the cases that v vanishes we have Minkowski space or AdS 5 . When N vanishes we obtain Minkowski space and we must solve the equation of motion of D, P a and that of Y Iij , whilst for non-vanishing N we obtain AdS 5 and only need solve the equation of motion for D and Y Iij . It is instructive to consider how this works in the two derivative case, with and without a cosomological constant. Consider the two derivative density of (A.52) in addition to the (bosonic part of) the cosmological constant density given by using the physical vector multiplets and the compensating linear multiplet directly in (A.17), where we allow g I also to vanish, allowing us to consider the U (1) gauged and ungauged cases together. Now AdS 5 is a solution if and only if N is non-zero, and N must be constant and is inversely proportional to the AdS radius. In the two derivative case we have N = 1 the very special geometry condition from the D equation of motion and from the Y Iij equation of motion we obtain g I = N IJ Y J = 6 √ 2 l N I which contracting with M I implies l = 18 √ 2 g I M I directly relating the coupling of the cosmological constant density to the AdS radius, and clearly in this case we must have g I M I = 0. In the general case of an arbitrary supersymmetric action, however, g I may be zero and we still have this solution, but the gauging will be higher derivative and the theory may contain ghosts. In the case of Minkowski space in the two derivative case we have the very special geometry condition from the D equation of motion, and g I = 0 from the Y I equation of motion and g I A I µ = 0 from the P µ equation of motion, so as expected we only have Minkowski space if we do not couple to the cosmological constant density at two derivative level. In the general case however it is possible that there are Minkowski space solutions in theories which have non-zero coupling to the cosmological constant, if there is a suitable cancellation in the equations of motion.
In the case that the field v and hence the flux does not vanish, it is clear that the only remaining equation to solve is that of D. However we immediately run into a contradiction. Examining the equations of motion for P a and Y I in the two derivative case we obtain g I A I µ = 0 and g I = 0, but this contradicts the assumption that v ab is non-zero unless g I vanishes, so again these are only maximally supersymmetric solutions in the ungauged theory. In the general case however these may also be solutions whether or not the cosmological constant is included, but only if these contributions to the equations of motion are cancelled. This may be impossible given that the invariants that may be used to construct such a cancellation must be higher (than zero) derivative invariants. This leads us to question under what assumptions the Killing spinor identities are valid. We should note that the Killing spinor identities for off-shell theories are a consequence of supersymmetry alone, and so they for hold for each supersymmetric density taken in isolation. However the equations of motion of Y I and P a for the cosmological constant density (with non-zero coupling) are singular in the sense that they imply det e = 0 when taken in isolation, and so the full equations need to be checked. In particular if we include densities which have singular equations of motion individually, we must check each of these equations of motion, as the Killing spinor identities are no longer valid for them. The task is considerably simplified by noting that for any densities which do not have singular equations of motion taken in isolation, the Killing spinor identities hold, and the contributions from such invariants vanish. In fact this also occurs with the equation of motion for D, which is why we have to introduce the compensator in the first place at two derivative level, but we have avoided this subtlety by choosing to always solve this equation. In all cases the corrections to the very special geometry condition will be constant, as will corrections to the effective cosmological constant. In the case of Minkowski space we also have that dE(P ) = 0. In particular we find that invariants with singular equations of motion, as defined above, play an important role in whether the maximally supersymmetric solutions of the theory are those of the gauged or ungauged two derivative theories.

Conclusions
In this paper we reexamined the supersymmetric solutions of higher derivative minimally supersymmetric five dimensional supergravity. In particular we have shown the power of the Killing spinor identities in analysing these solutions in the presence of higher derivative corrections, particularly when combined with the spinorial geometry techniques. We have shown, as expected from string theory, that the Ricci scalar squared invariant does not affect the supersymmetric solutions of the ungauged theory at order α , as the corrections to the equations of motion for the supersymmetric solutions are trivial at this order. This was quite easy to see from the form of the contributions to the equations of motion coming from this invariant, but was simplfied by using the Killing spinor identities. In fact, using the Killing spinor identities, we did not even have to solve the Killing spinor equations to conclude this.
We reexamined the geometry of the time-like class of solutions, and were able to give compact expressions for the full equations of motion, without any simplifying assumptions, complementing the analysis of [24]. We then examined the maximally supersymmetric solutions in the time-like class, streamlining the derivation to avoid the additional solutions of [25] which were later shown to be isometric to the near-horizon geometry of the BMPV black hole [37]. We then went on to show that the maximally supersymmetric solutions are unchanged apart from a constant deformation of the very special geometry condition and the cosmological constant, generalizing the work of Meessen [4] to the case of an off-shell compensating multiplet. We found that the equation of motion of the auxilary field P µ is automatic, with the exception of the Minkowski space solution. However we also found that it was necessary to consider this equation of motion, as it leads, at two derivative level, to the fact that the solutions with flux of the ungauged two derivative theory, cannot be maximally supersymmetric solutions when we couple to the cosmological constant density. In fact, as the Killing spinor identities are valid for any supersymmetric density with nonsingular equations of motion (i.e. those which do not imply det(e) = 0 for non-zero coupling when taken in isolation), we may quickly analyze the equations of motion of each invariant individually, to see if they present terms which will exclude some of the solutions, if they are not cancelled by contributions from other densities. Note that this implies that there must be constraints on the couplings of densities with singular equations of motion in order to achieve the desired cancellation for any particular maximally supersymmetric configuration to solve the equations of motion of the particular theory. We note that the usual gauged or ungauged two derivative theories are given by a linear combination of such invariants, the zero derivative cosmological constant density, and the two derivative densities formed from the vector multiplets and the compensating multiplet. The former has singular equations of motion for Y Iij , whilst the latter two have singular equations of motion for D. Indeed it is well known that it is necessary to take the latter two densities to both have non-zero couplings so that the D equation is consistent.
Whilst our analysis does not lead to new maximally supersymmetric solutions (apart from AdS 5 , as off-shell there is no difference between the Abelian gauged and ungauged theories, and the possibility of the usual ungauged solutions, but with vanishing scalars, M I and v playing the role of the gravi-photon field strength), the remaining equations of motion may lead to constraints, restricting the known geometries. Whilst this has no effect at leading order for the invariants we have considered one would expect this to become important at some finite order, or for supergravities for which the higher derivative densities are not perturbative corrections to the two derivative action, at least in the case of invariants with singular equations of motion. When considering higher derivative corrections from string theory, the choice of effective Lagrangian, i.e. the choice of the couplings of the different invariant densities, may still have a dramatic effect on the supersymmetric spectrum, the non-vanishing of V ij µ for example leading to solutions that only preserve one out of the eight supersymmetries. In the time-like case this leads to solutions for which the complex structures on the base are not closed, but are instead parameterized by V ij µ which vanishes to leading order in the ungauged case 3 .
It would be particularly interesting to study the Ricci tensor squared invariant (or equivalently the Riemman tensor squared invariant), that was constructed in superspace in [23], but has yet to appear in components, along with the F 4 and off-diagonal invariants constructed in [44]. One wonders whether it is possible to choose the couplings of the invariants by field redefinitions allowed by string theory in higher dimensions, such that the supersymmetric solutions are those of the truncated theory. In [13] the off-shell version of the alternative supergravity of Nishino and Rajpoot [45,46] with one vector multiplet was constructed, and was extended to arbitrary number of Abelian vector multiplets in [47]. Interestingly in these theories, which are constructed in the dilaton-Weyl multiplet, the Riemman tensor squared invariant is known in component form [48] 4 , and can be added to the Weyl-squared invariant, resulting in the Gauss-Bonnet invariant [14], which was generalized to an arbitrary number of Abelian vector multiplets in [5]. It turns out that for the particular case of Gauss-Bonnet the auxiliary fields N and P a may be eliminated by their equations of motion in the absence of the cosmological constant invariant. If this is again the case for the standard Weyl multiplet, and if the field V ij µ can be treated in a similar way, then the off-shell supersymmetric spectrum will be the same as the truncated case discussed in [24] and in this work. If this is not the case, the same effect would also occur 3 In the U(1) gauged case, Vµ is non-zero at leading order whilst V ij µ = 0 at the two derivative level. 4 The Riemman tensor squared invariant is given in a particular gauge in [5,14,48], and it would be useful to have the explicit expression after the reversal of this gauge fixing.
if the coupling of the Ricci tensor squared invariant may be choosen to produce equations of motion for the auxiliary fields that only have P a = N = V ij µ = Y Iij = 0 as solutions, in which case the Ricci scalar squared invariant would not affect the other equations of motion for the supersymmetric solutions, as we have discussed above. In recent work [49] string theory corrections in the effective five dimensional theory coming from the Heterotic theory have been analysed, and it would be interesting to perform the same general analysis presented here, using the off-shell theory decribed in [47] and references therein.
The gauged theory has been discussed before, in [50] black holes in the order α U(1) gauged theory were discussed by integrating out the auxiliary fields after the inclusion of the Weyl tensor squared invariant, whilst in [51], some supersymmetric solutions of the U (1) gauged theory coupled to an abritary number of on-shell hypermultiplets were discussed in the presence of the Weyl squared and Ricci squared invariants. Clearly an off-shell classification of the supersymmetric solutions of the U (1) gauged case would be desirable, particularly in holographic applications, however a fuller understanding of the freedom to choose the couplings in the invariants in that case would also be useful, as the supersymmetric spectrum in the general case is much more complicated, and in particular when V ij µ does not vanish there may exist solutions that preserve only one of the eight supersymmetries, but this could be avoided by choosing a particular field redefinition allowing for an effective theory with supersymmetric solutions more similar to the two derivative case.

Acknowledgments
The authors would like to thank Jan Gutowski for his collaboration in the early stages of this work. This work was partially supported by the INFN. The work of WS is supported in part by the National Science Foundation under grant number PHY-1620505. P.S. would like to acknowledge the support of the Consejo Nacional de Ciencia y Tecnologia (Conacyt), Mexico, the partial support of FONDECYT Postdoctorado Project number 3130541, CON-ICYT, Chile and the Mesoamerican Centre for Theoretical Physics (MCTP), the Galileo Galilei Institute for Theoretical Physics (GGI) and the Mainz Institute for Theoretical Physics (MITP) for hospitality whilst this work was completed.

A Action and equations of motion
We shall briefly review the off-shell superconformal construction of two derivative, Weyl tensor squared and Ricci tensor squared supersymmetric action with arbitrarily many Abelian vector multiplets in the standard Weyl multiplet [6,7]. Our starting point is the rigid exceptional superalgebra F (4), generated by where a, b, ... are flat Lorentz indices, i, j, ... are SU(2) indices, Q i and S i are symplectic-Majorana spinors in the fundamental of SU(2). We raise and lower the SU(2) indices using the antsymnmetric tensor ij where 12 = 12 = 1. We will also make use of the (NW)-(SE) convention so that for exampleχχ =χ i χ i =χ i χ j ji . The geometrical interpretation of the generators is as follows: In order to upgrade to the local theory, a gauge field is introduced for each of the generators; we have respectively Conventional constraints in this case are taken to bê which make ω ab µ , f a µ and, φ i µ into composite fields. As discussed in [7] these constraints are avoidable, however in the following we will use them to simplify the derivation. Covariant derivativesD and D are defined aŝ Auxiliary fields have to be introduced as we can see counting bosonic and fermionic degrees of freedom. The total number of components of the bosonic gauge fields (not including the composite ω ab µ , f a µ ) is 25 + 5 + 15 = 45, which must be reduced by the total number of bosonic generators (including M ab , K a ) 5 + 10 + 1 + 5 + 3 = 24, giving 21 degrees of freedom. On the fermionic side we have 40 components from the gravitino, and 8 + 8 = 16 real supercharges, hence 24 fermionic degrees of freedom. We can bring the number of both bosonic and fermionic degrees of freedom to 32 by adding a two-form, a scalar and an SU(2)-Majorana spinor v ab , D, χ i . (A.5) We thus obtain the standard-Weyl superconformal multiplet for which we record only transformation rules which will be useful for our discussion: where i , η i are infinitesimal parameters of Q i , S i transformations respectively. The explicit expressions will also be needed during Poincaré gauge-fixing. ∇ will always refer to the spin covariant derivative.
Abelian vector fields will be introduced by means of superconformal vector multiplets consisting of a 1-form, a scalar, an SU(2)-Majorana spinor and an auxiliary symmetric SU(2)-triplet of Lorentz scalars. These transform as We shall also introduce an off-shell linear multiplet as our compensator as was done in [5,13]. 5 The linear multiplet is also a key ingredient for finding supersymmetric actions In [4,24] a hyper-multiplet was taken as compensator however to avoid subtleties arising from central charge and constraints for the closure of the superconformal algebra off-shell we shall instead use a linear multiplet. One can easily map to a hypermultiplet compensator and due to the gauge fixing this seems to change very little. In the component formalism that we adopt it is only known how to take a single hypermultiplet off-shell without resorting to an infinite number of auxiliary fields. To our knowledge this was first done in the superconformal formalism in [52]. In superspace however an off-shell formalism for general hypermultiplets is known [18,19,22], and is discussed at length in the interesting papers [23,53]. and consists of a SU(2)-symmetric real scalar, an SU(2)-Majorana spinor, a vector, and a scalar. The importance of linear multiplets can be understood by looking at the supersymmetry transformation of L ij , which reads Note the invariance under S i supersymmetry. Suppose we have a composite real symmetric bosonic field which is S i -invariant, and let us denote it L ij : its supersymmetry transformation must be of the form 2i¯ (i φ j) for some suitable fermion φ i . We therefore have found the first two elements of a linear multiplet. In order to close the multiplet one has to look at φ i supersymmetry transformation, on the right hand side of which one can read off E a , N . This procedure can be used to embed Weyl and vector multiplets into a linear multiplet. The remaining tranformation rules under supersymmetry and special supersymmetry read A.1 Superconformal action The starting point of determination of supersymmetric actions is the construction of a supersymmetric Lagrangian (up to surface terms) out of a given linear and vector multiplet: In this equation we adopt the notation where Z stands for a member of vector multiplet and T I are U (1) n V +1 generators. Truncating fermions we have All terms in the supersymmetric action we are going to study are of this form. They differ because of the different composition of the linear multiplet and vector multiplet. In particular, in addition to a vector-linear coupling, we will consider the following compositions • Linear multiplet composed of two vector multiplets, L[V, V]. This composition is well known and is given in [7,8]. The resulting Lagrangian turns out to be totally symmetric in the three vector multiplets and is given by where v 2 := v ab v ab and N = 1 6 c IJK M I M J M K is an arbitrary cubic function of the scalars, and subscripts I, J, ... denote partial derivatives with respect to M I : • Vector multiplet composed of a linear multiplet, which leads to a linear-linear action.
Only the leading component of this composition was given in [7], but was given completely in [13] in different conventions. 6 Defining L = L ij L ij in the current conventions 7 this reads where the first three expressions are given in their entirety, but we have not given fermion bilinear terms in the last expression 8 . In order to use this embedding it is essential to note that for the closure of the algebra, the contraint D a E a is necessary. This constraint can of course be solved in terms of a three form which exhibits the gauge symmetry 6 One can check this by using appendix B of [5], where we take an additional minus sign for all fields in the vector multiplet i.e. take Aµ = −A µ, Ω i = 1 2 λ i , Y ij = Y ij and M = ρ, since with this choice we arrive at the same first component of the embedding as in [7]. 7 It is useful to note the SU(2) index identity L ik L k j = 1 2 ij L kl L kl . 8 The first three expressions can be used along with the supersymmetry variations to reproduce these terms, and as we will gauge fix ϕ i = 0, which appears at least once in all such terms, they will not contribute to our analysis.

Defining a two form E µν by
we can rewrite the action formula (A.15) by partial integration as which allows us to use the embedding (A.20) directly to obtain the linear-linear action, for which we record the bosonic part where L 2 = L ij L ij , P µ , P µν are the bosonic parts of E µ ,E µν and the bosonic part of L ij 2L ij is given by and where the superconformal deriviative of L ij is given bŷ We can also use the emdedding (A.20) in the vector multiplet action to produce the Ricci scalar squared invariant coupled to vector multiplets. Labelling the composite vector multiplet V and considering the coupling C I we may obtain this invariant, however it is easier to construct using gauge fixed quatities, so we shall give its gauge fixed form in the next section.
• Linear multiplet constructed from Weyl multiplet squared, L[W 2 ]. In order to get a mixed Chern-Simons gravitational term the embedding of the square of the Weyl multiplet into the linear multiplet is realized schematically as This embedding is given in its entirety in [6]. Here arbitrary constants c 2I are used in order to contract I, J, ... indices of the vector multiplet. One obtains (A.29)

A.2 Poincaré gauge-fixing
We are now in a position to break superconformal invariance down to super-Poincaré invariance. First of all, we set the gauge field of dilatations to zero, b µ = 0, which can be done consistently since it appears in our Lagrangian only in covariant derivatives of matter fields, not in curvatures. Note that under a special conformal transformation of parameter ξ a we have δb µ = −2ξ µ , (A.30) so our gauge fixing choice breaks invariance under conformal boosts. Next, we set which breaks local SU(2) down to global SU(2) 9 and breaks dilatational invariance respectively. As far as the fermion is concerned, we set ϕ i = 0. Since its Q-, S-supersymmetry transformation before gauge-fixing is consistency requires η to be fixed in terms of in order to make this variation vanish. Multiplying this expression with L ij our gauge choices imply where we found it useful to define a splitting of the SU(2) field V ij Choosing a particular value for L ij , for example L ij = 1 √ 2 δ ij would further break this down to U(1), but doesn't simplify the expressions.
We can immediately write down the supersymmetry transformations of the funfbein and of the gravitino as Next we consider the auxiliary fermion: since we will be concerned with the bosonic sector of the theory we can write and discard such bilinears, where we defined V ij k and at this point we do not expand this quantity in terms of the V µ and V ij µ fields. Let us now examine the auxiliary 2-form: its supersymmetry transformation is determined by the equations .

(A.37)
A straightforward calculation gives Next we turn to the auxiliary scalar D. We should computeD µ χ and then gauge fix. To this end note that in one hasD µ v ab = ∇ µ v ab up to fermion bilinears, so that One can thus write i γ a V aij χ j +¯ (fermion trilinears) . (A.41) Once again straightforward computation gives Finally for the Weyl multiplet we compute where we will not need the gravitino terms in our analysis. Now consider the vector multiplet. In this case we just have to replace η and note that D a M I = ∇ a M I = e µ a ∂ µ M I . We obtain Finally we need the transformation rules for the unfixed fields in the compensating linear multiplet. The non-trival transformations are δN = i 2 L ij¯ i χ j + gravitino terms , δP a = gravitino terms . (A. 45) We will only consider the gravitino terms, which arise from the non-vanishing of Dϕ even after setting ϕ = 0, in the special case of maximal supersymmetry, and so we will not give the full expressions here, but to derive them it is useful to note that We now summarize the effect of gauge-fixing on the superconformal Lagrangians constructed above. The Lagrangian L V is virtually unchanged, the only difference being the removal of the gauge field b µ from the supercovariant derivatives. The compensating linearlinear action now becomes As far as Weyl-squared Lagrangian is considered one finds (modulo fermions) which arises because whilst we have set b µ = 0 its full superconformally covariant derivative does not vanish. Finally, note the change of sign in terms containing one Weyl tensor, which is due to our conventions for the Riemann and Weyl tensors, which are those of [54] and are different from those of [6].
We have yet to construct the Ricci squared invariant. By gauge fixing using the compensating linear multiplet the bosonic parts of the embedding into the vector multiplet become M = N , (A.50) Using this composite vector multiplet, which we denote V , in the vector multiplet action with the coupling C I = e I we obtain the density If one considers the two-derivative theory with Lagrangian one finds non-propagating equations of motion for auxiliary fields. In particular note that D acts as a Lagrange multiplier in order to implement the constraint N = 1 , (A. 53) and that thanks to this constraint the Ricci scalar acquires the canonical normalization.
Similarly to what was shown in [50] for a hypermultiplet compensator, the auxiliary fields N, P, V, V , Y I can be completely eliminated from the Lagrangian, and we arrive at the on-shell ungauged Poincaré supergravity coupled to Abelian vector multiplets.

A.3 Equations of motion
Here we record the equations of motion for the Lagrangian (3.2) which is a consistent truncation of the sum of two derivative theory with the four derivate Lagrangians derived above. Luckily we will not have to solve all of these equations as the Killing spinor identities imply that some of their components are automatic for supersymmetric solutions. Denoting the two derivative action S 2 and the four derivative pieces of the action S C 2 and S R 2 s so that the action for this theory is S = S 2 + S C 2 + S R 2 s and taking as the independent fields 10 D, M I , v µν , A I µ , g µν the equations of motion for the two derivative theory are given by where lower case latin indices refer to the vielbein, and greek indices refer to the coordinates and we have found it convenient to express all contracted indices in terms of the veilbein. For the contraction of two p-forms α, β we use the notation α · β := α a 1 ···ap β a 1 ···ap and α 2 := α · α.
The additional contributions from the Weyl-squared Langrangian are given by where we have used the convention in the higher devivative corrections that the covariant derivative acts on all quantities to its right, unless the brackets indicate otherwise. From the Ricci scalar squared density we obtain (A.60)

B Spinors and forms
In this appendix, we summarize the essential information needed to realize spinors of Spin(1,4) in terms of forms and we review some facts about the orbits of the action of Spin(1,4) on spinors.
B.2 Review of the orbits of Spin(1, 4) We wish to simplify the task of solving the Killing spinor equations by using the gauge freedom Spin (1, 4). There are four orbits of Spin(1, 4) in ∆ c , the zero spinor which we disregard, two with isotropy group SU(2) and one with isotropy group R 3 . To see this first we shall investigate the stability subgroup of the spinor 1, i.e. the subgroup of Spin(1, 4) which leaves 1, e 12 invariant. Let Thus the stability subgroup of 1 is isomorphic to SU(2). One can verify that this SU (2) is also the stability subgroup of e 12 .
Similarly acting on e 1 we find and we obtain another SU (2); This SU (2) is also the stability subgroup of e 2 .
It is evident from their block-diagonal form that these SU(2)-isomorphic subgroups of Spin(1, 4) commute, thus we have an explicit representation of the well known isomorphism Spin(4) ∼ = SU(2) × SU (2) . (B.29) Now let SU(2) act on C 2 in the fundamental representation and let us write z ∼ z if z, z ∈ C lie in the same orbit. We then have To see this note that the following identity holds for β, θ, α ∈ R and λ ≥ 0: .
It remains to find the stability subgroup of 1 + e 1 . Examining which satisfy We see that for µ, ν, ρ ∈ R, exp(µX + νY + ρZ) = 1 + µX + νY + ρZ , (B.38) and so the stability subgroup of 1 + e 1 is isomorphic to the Abelian additive group R 3 . Note that this is also the stability subgroup of (e 2 − e 12 ). We may therefore always choose, up to a Spin(1, 4)  with stability subgroup R 3 . Consider the two different SU(2) orbits. They are not related by a Spin 0 (1, 4) transformation, the connected to the identity component of Spin(1, 4). Instead they are related by a Pin(4) transformation followed by an SU (2) (4) is generated by γ i , where i = 1, · · · , 4, and is associated with a spatial reflection. Indeed the Pin(4) transformation acts on the gamma matrices as Note that this preserves C but changes the sign of B and D. Hence we will consider the two representatives = (e φ 1, −ie φ e 12 ) and = (e φ e 1 , ie φ e 2 ) to be equivalent, up to local orthogonal transformations. Given this, we will focus on the representative e φ 1, however for completeness we will give the conditions arising from choosing a Killing spinor in the second orbit.

Gaugino equation
From the vanishing of the gaugino variation for a bosonic background one has

Auxiliary fermion equation
From the vanishing of the auxilary fermion variation for a bosonic background we get By making use of identities (C.2) together with γ ab γ cd = η ad η bc − η ac η bd − η ac γ bd + η ad γ bc + η bc γ ad − η bd γ ac + γ abcd , γ abcd = abcde γ e , (C. 12) this can be cast into the form Acting on a generic spinor (C.13) becomes A(λ1 + σe 12 ) + (B + B i γ i )(µ 1 e 1 + µ 2 e 2 ) + A i γ i (λ1 + σe 12 ) +A ij γ ij (λ1 + µ 1 e 1 + µ 2 e 2 + σe 12 ) = 0 , (C.14) where we defined (C.15) (C.14) may be expanded in the oscillator basis. However it is simpler to substitute the conditions arising from the gravitino and gaugino equations into the system as is discussed in the text.  We briefly decribe the identities used to simplify the equations of motion that are not implied by supersymmetry, in the case of the first orbit. Similar identities can be derived in the case of the second orbit. Firstly we discuss some of the consequences of (anti)selfduality for terms that appear in the equations of motion. Let A, B, C be three antisymmetric tensors with Euclidean indices and that A, C satisfy the (anti)self-duality conditions where σ A , σ C take values ±1. Making use of these identities, together with We make use of the shorthand notation Note that from antisymmetry of A, B, C we get tr(ABC) = −tr(ACB) . (E.5) We adopt the shorthand notation ij ≡ (±) ij . (E.6) but we have that ∇ k ( K ± ) ijk = −( dK ± ) ij , thus ij , (E. 38) and (dK ± ) (∓) are unconstrained by these arguments.