From linear to non-linear SUSY and back again

We show that couplings of the goldstino field, appearing when global supersymmetry is broken, can always be described in superspace by means of a nilpotent chiral superfield X, satisfying X2 = 0. This applies to both F-term and D-term supersymmetry breaking, even when the supersymmetry breaking model admits a linear description.


Introduction
Non-linear realizations can be a very useful tool to organize and constrain interactions in models where a global symmetry has been spontaneously broken [1]. The generator of the broken symmetry is associated to a goldstone mode, which is used to implement the non-linear realization by constructing appropriate interactions with the other fields and whose transformation law depends crucially on the energy scale at which the linear symmetry is restored. In general, when considering a physical system with a spontaneously broken symmetry, non-linear realizations emerge at energy scales below the scale set by the operator generating such symmetry breaking. In the case of supersymmetry this is the scale generated by non-vanishing F-or D-terms, which in turn sets the scale of the vacuum potential. As a consequence of supersymmetry breaking, one generically expects mass splittings in the spectrum, with some heavy states getting masses close to or even higher than the supersymmetry breaking scale. In such a scenario, in the low energy regime, one might integrate out such states and obtain an effective theory where supersymmetry must be realized non-linearly on states that are not organized in multiplets anymore.
Various approaches have been developed to implement the non-linear realization of supersymmetry, initially in the component fields formulation and subsequently in superspace [2][3][4][5][6][7][8]. Superspace methods, in particular, are attractive for the formulation of low energy theories because they make various properties of supersymmetry manifest even when the spectrum is not supersymmetric anymore. In this context, an approach which JHEP08(2017)117 has gained particular attention is the description through constrained superfields [4,[8][9][10]. While superfields provide linear representations of supersymmetry, imposing additional supersymmetric constraints on them forces some of their components to be composite states of the elementary fields. This in turn implies that supersymmetry enjoys a linear realization only on composite states, while it is non-linearly realized on the elementary fields.
Generic models may contain full superfields as well as constrained ones, but one must always have in the spectrum a goldstino field, which has been often described by means of a nilpotent chiral superfield X satisfying the X 2 = 0 constraint. This constraint allows for non-trivial solutions every time supersymmetry is broken by vacua where its highest auxiliary field component F X is non-vanishing. Additional constraints can then be imposed on the matter sector [9][10][11][12][13][14].
Focusing on the nilpotent constraint on the superfield X, it has been shown that this constraint arises as a consequence of the decoupling of the sgoldstino, the scalar superpartner of the goldstino, from the low energy theory [8]. Even if in various known examples this decoupling can be performed in a smooth way, the generality of this description can be questioned [48]. The aim of our work is to address this issue, which is central in the study of constrained superfields.
We consider both F-term and D-term supersymmetry breaking and we show that, in any case, the sector that breaks supersymmetry can be described in terms of constrained superfields. In particular, in the approach we propose, each component field of a given superfield can be promoted to a constrained superfield or, vice versa, any unconstrained superfield arising from linear representations of supersymmetry can be parametrized as a combination of constrained ones. Using this approach we show that the goldstino interactions can always be consistently described by a chiral superfield X, satisfying X 2 = 0. Since the decoupling of the heavy modes in the IR is not going to alter the parametrization we propose, our approach shows de facto that the low energy description of any spontaneously broken supersymmetric theory contains the nilpotent chiral superfield X.
Our results apply to globally supersymmetric gauged chiral models and they can be summarized as follows. When supersymmetry is spontaneously broken, we can always describe the goldstino field interactions by means of a chiral superfield X satisfying When needed, any other component field can be eliminated from a given superfield Q by JHEP08 (2017)117 imposing [14] XX Q = 0 , with appropriate Lagrange multipliers [13]. This can be used to reconstruct any desired field spectrum in the low energy regime as well as to find the appropriate parametrization of the linear representations in terms of the non-linear ones, for supersymmetry breaking Lagrangians. We will mainly proceed by examples, but it is going to be evident that the outlined procedure is general and applicable to any system with broken global supersymmetry, no matter the F-term, D-term or mixed origin.

The goldstino and the Ferrara-Zumino supercurrent
Before presenting a detailed discussion of various scenarios with a general construction of effective Lagrangians where the supersymmetry breaking is parametrized by the nilpotent chiral superfield X, we would like to comment on what one should have expected, based on previous general studies, like the one in [10].
For any globally supersymmetric theory with Kähler potential K and superpotential W , there is a supercurrent multiplet J αα that satisfies the conservation equation 1 where Ξ is a chiral superfield given by the combination On quite general grounds one can see that the low-energy supercurrent is expressed in terms of the goldstino when supersymmetry is broken and, in turn, the θ-component of Ξ should be identified with the goldstino. When the sgoldstino x = Ξ| θ=0 is not present in the low-energy theory, then the operator x creates composite states of the goldstino, fixing However, one can see some situations when this is not straightforward. For instance, in the simple model the shift symmetry φ → φ + c, where c is a complex constant, protects the scalar φ in Φ, which remains massless also in the IR. This implies that Ξ = 8 3 f Φ still contains a massless scalar and therefore Ξ 2 = 64 9 There are also interesting models using constrained superfields where the goldstino is not aligned with the fermion in the quadratic nilpotent superfield X. For example, in the model with two orthogonal constrained superfields X and Y , satisfying

JHEP08(2017)117
this happens whenever one adds a linear term in Y in the superpotential. For the simplest choice one sees that Ξ = 8 3 (f X + gY ), which satisfies In fact, (2.6) implies Y 3 = 0, but Y 2 is still non-vanishing. Finally, when supersymmetry is broken by a pure Fayet-Iliopoulos term ξ, we have which again is not nilpotent. While one may have models where Ξ 2 = 0 also in the IR, we will show that we can always parametrize supersymmetry breaking by means of a constrained chiral superfield X, whose square vanishes. This may not contain the full goldstino, but it will always contribute to the goldstino interactions and its auxiliary field will be selected by the dominant source of supersymmetry breaking.

Chiral multiplets and F-term breaking
The first examples of supersymmetry breaking scenarios we analyze are models of interacting chiral multiplets, with F-term breaking. These models are very simple and they have been already analized previously [8,10], but our presentation is going to emphasize the salient features of our argument for the general existence of the nilpotent superfield X in the low-energy effective theory.
The simplest model one can think of is given by a single chiral superfield Φ, with a supersymmetry breaking linear superpotential It is straightforward to see that supersymmetry is broken because F Φ = −4f = 0 and that the fermionic component of Φ is the goldstino. As mentioned before, the sgoldstino (the scalar superpartner) remains massless, but one can easily amend this fact by introducing an additional operator in the Lagrangian suppressed by a scale Λ > √ f , whose only net effect is to generate a mass for φ = Φ| θ=0 , i.e.
We therefore expect the low-energy effective theory at energy scales well below f Λ to be described by the goldstino alone. This is naturally realized by splitting the degrees of freedom of Φ between two constrained superfields X and S, satisfying

JHEP08(2017)117
The first constraint removes the scalar from X and expresses it in terms of its fermion G and the auxiliary field F , delivering The second constraint removes the fermionic component ψ S and the auxiliary field F S of S from the spectrum, giving Using these superfields we can therefore define so that it contains the same degrees of freedom of the original unconstrained superfield.
In other words, we parametrized the unconstrained chiral superfield Φ in terms of two constrained chiral superfields: the nilpotent superfield X, given by (3.4), and the sgoldstino superfield S, given by (3.5). The important fact is that this decomposition does not depend on the UV/IR details of the model under consideration and therefore it can always be performed.
Before elaborating further the analysis and in order to clarify better the previous step, let us draw an analogy between our approach and the BEH mechanism. Consider for simplicity an SO(n) Higgs scalar field H. The symmetry can be spontaneously broken by imposing H = f n = 0, where | n| = 1, and then the field can be parametrized by In this decomposition both the massless goldstone modes π and the massive field σ(x) are present in the theory. Our approach is essentially the supersymmetric analogue of this decomposition as well as of the subsequent construction of the effective theory for the π fields, expanded in operators suppressed by the symmetry breaking scale f , after σ has been integrated out.
The Lagrangian of the model (3.1), with the mass term (3.2), can be expressed in terms of the parametrization (3.6) as This shows explicitly that a non-linearly realized theory of supersymmetry, with very specific couplings, like the ones in (3.8), can behave like a linearly realized one. However we can also use this form of the Lagrangian to efficiently describe the effective theory. If we probe energies well below f Λ we expect the massive scalar in the sgoldstino superfield S to decouple and hence we can obtain the effective theory by setting S = 0. In the zero momentum limit, the Lagrangian (3.8) in component form becomes

JHEP08(2017)117
which is clearly minimized for configurations where which, because of (3.5), implies S = 0. This in fact is not only a good effective theory but also a consistent truncation of the original model (at least in the zero momentum limit) and leads to the expected Volkov-Akulov (VA) model Had we studied a more complicated UV model for Φ, the only change would have been in the expression for the decoupling of s, which would have been more complicated than (3.10). The low energy Lagrangian, indeed, would still have been expressed solely in terms of the nilpotent X, albeit in a more complicated form than (3.11). An alternative way of deriving the same effective model is by assuming that the operator (3.2) dominates the equations of motion, so that their superspace formulation becomes Decomposing Φ as in (3.6) and acting with XXD 2 gives We can then use this equation to find an expression for XXS in terms of operators including derivatives on S and on X and using iteratively the resulting expression on the right hand side of the relation we finally obtain XXS = 0 (3.15) and therefore S = 0. (3.16) Supersymmetry breaking in globally supersymmetric models is often related to Rsymmetry breaking, which implies the existence of an R-axion in the effective theory. A very simple model with such feature can be constructed by improving the Lagrangian (3.1) with quite generic corrections, like where µ and λ are positive real constants. The model clearly has an R-symmetry and the superfield Φ has R-charge 2. The scalar potential (3.20) The spectrum at this vacuum consists of a massless real scalar, which is the R-axion, one real scalar, with mass m 2 = 128 f 2 Λ 2 λ 3 µ (4λ+µ 2 ) 3 and the goldstino. An effective way to describe the low energy theory of this model follows from the parameterization where X is the standard goldstino superfield and A and R are chiral constrained superfields satisfying XA = XA , Notice that the R superfield satisfies also XDαR = 0, under the assumption that R = 0, which holds here. The chiral superfield A has vanishing R-charge, while the chiral superfield R has R-charge 1, and it is easily related to another standard constrained superfield B, satisfying XB = XB, by R = e iB [10,50].
For the lowest component fields of A and R we have where h is a real scalar, which becomes massive, and a is the R-axion. In terms of this parametrization, the zero momentum limit of the Lagrangian becomes This is clearly minimized when h = 0, which, from supersymmetry, implies that the complete superfield A vanishes in the low energy, namely A = 0. The low energy effective theory is then described by the effective action where we used the fact that XR 2 is chiral and that (RR) n − n 2 RR is the real part of a chiral function. This action coincides with the one presented in [10,50], upon identification of the parameters in our original model as followŝ As expected from the general analysis in [50], the expectation value of the superpotential is at the threshold of the bound where, in our model, | W | =f and F =f .

JHEP08(2017)117
We showed that, in the case of F-term breaking, the constrained superfield X satisfying X 2 = 0 appears in the low energy, either alone or with the constrained superfield S, which contains the sgoldstino. Up to this point however our discussion was devoted only to the supersymmetry breaking sector. We show now how to treat possible matter couplings. In general in the low energy regime there are going to be both complete and incomplete supermultiplets. A complete supermultiplet does not need to be parametrized using nonlinear realizations of supersymmetry. In particular if only complete matter supermultiplets are present, solely the goldstino superfield is going to realize supersymmetry in a non-linear way [51]. On the other hand if a given multiplet is incomplete, one can use the generic constraint proposed in [14], to remove any unwanted component field from the spectrum. In any case, with the procedure we introduced above, one can parametrize both complete and not complete supermultiplets in terms of constrained superfields. In the remaining part of this section we discuss a simple example in this direction.
Consider a model with two chiral superfields Φ and Σ. In general they can both contribute to the supersymmetry breaking, but we assume for simplicity that only Φ breaks supersymmetry. Since the scalar components of both the superfields Φ and Σ are going to get a mass in the model we are going to consider, in terms of constrained superfields we can parametrize Φ and Σ as where X and S are the same constrained superfields introduced before, while Y and H are chiral superfields satisfying [9, 10] The meaning of the decomposition (3.29) is the following. The superfield Φ is decomposed in the goldstino superfield X and in the sgoldstino superfield S as in the previous example. The superfield Σ instead is decomposed into the superfield Y , which contains the physical fermion ψ and the scalar auxiliary component fieldF , and into the superfield H, which contains the scalar component field h. A simple model with spontaneously broken supersymmetry is

JHEP08(2017)117
As in the previous example, after the replacement (3.29) this Lagrangian can be written only in terms of constrained superfields In particular the pure X sector has again the form (3.11) and this fact is not going to change in the case in which also Y contributes to the supersymmetry breaking. We can once more analyze the low-energy effective limit by first looking at the zeromomentum equations. In component form, this gives the Lagrangian It is once again clear that in the low-energy limit we will have that which eventually imply S = H = 0. As in the previous example, one could also obtain the same result by taking the formal limit in which the terms suppressed by Λ are taken to be large. The superspace equation of motion of Φ will then be the same as (3.12), which is solved by S = 0 once we decompose Φ = X + S. The superspace equation of motion for Σ in this limit is which, once the parametrization (3.29) is used, reduces to where S = 0 and XY = 0 have been used. Due to the properties of H, equation (3.37) gives directly XH = 0, which implies We understand that, with the superfield parametrization we propose, the decoupling of the massive states in the low energy regime can be obtained in a very efficient way. The equations of motion at zero momentum, in particular, have a straightforward solution. Changing the parametrization, it is not guaranteed that the decoupling can still be performed and in general, even in the cases in which it can, the calculations are going to be more involved.

A parametrization for the X superfield
Before proceeding with the analysis of the models with D-term breaking or with mixed sources of supersymmetry breaking, we are going to discuss a particular parametrization JHEP08 (2017)117 for the nilpotent superfield X that is going to allow us to simplify the derivation of some of the results presented in the next section. Since this is a rather technical intermezzo, the reader interested in the physics of the supersymmetry breaking mechanisms and in the discussion of the resulting low energy effective theories can skip this section at first.
The nilpotent superfield X contains as degrees of freedom a fermion field and a complex scalar auxiliary field. We can split these degrees of freedom by introducing the chiral superfield and was first introduced to discuss the couplings of the goldstino in [4]. The constraints (4.2) imply that Z contains only a fermion field, which is related to the fermion in X by a field redefinition such that the original goldstino always appears in the fixed combination G/F . In order to express X in terms of Z, we can see that from (4.1) follows straightforwardly the following relation between X and Z [55, 56] This tells us that X is proportional to Z times an antichiral superfield D 2 X/D 2 Z. However, we can also prove that this is equivalent to the decomposition where A i are chiral superfields, built from the chiral projections of the real and imaginary parts of D 2 X/D 2 Z, namely and Indeed, the superfields A 1 and A 2 are manifestly chiral and they satisfy the equivalent constraints In particular the only independent component in the chiral superfield A i is the real scalar, which resides in its lowest component, namely Up to now we isolated the independent degrees of freedom in X, namely one fermion and two real scalars, and we promoted them to constrained superfields Z, A i . These

JHEP08(2017)117
constrained superfields can be treated as independent. This means that the nilpotent goldstino superfield X can be decomposed into three constrained chiral superfields: one pure goldstino superfield Z, containing only one fermion, and two auxiliary superfields A 1,2 , each one containing one real (auxiliary) scalar. Using now this parametrization (4.4) in the VA Lagrangian (3.11), we get where for simplicity we took f to be real. In this case, the properties of the superfields Z and A 2 also imply the interesting fact that their combination drops from the superpotential The Lagrangian (4.9) simplifies then to (4.11) and the variation with respect to A 2 gives 2 This shows that A 2 is a trivial auxiliary field, whose net effect on the calculation of the final Lagrangian is null. It is then clear that the VA lagrangian is equivalent to and using the inverse relation for A 1 in terms of X we can finally express this model in terms of the original superfield X This Lagrangian contains two new terms with respect to the standard VA lagrangian which have the form of higher derivatives. However, as we saw, the two lagrangians are effectively equivalent on shell and the new terms are present in order to cancel the degree of freedom encoded into the imaginary part of the auxiliary field F of the superfield X. Indeed the solution (4.12) is telling us that such degree of freedom, which is associated precisely to A 2 , is not going to appear in the Lagrangian (4.15), because this Lagrangian is equivalent to (4.13). It is important to stress that this result does not imply that the imaginary part of F is set to zero by the equations of motion: it is instead replaced by a composite JHEP08(2017)117 expression built out of goldstini. Following the reverse reasoning, when the parameter f is real the higher derivative terms in (4.15) can be eliminated by restoring the A 2 part in the Lagrangian. This step can always be perfomed (at least at the classical level) because, as already noticed, the models (4.11) and (4.13) are equivalent due to (4.12). It is straightforward to show that which implies which, added to (4.15), completes the VA Lagrangian. To recapitulate, we showed that, if the parameter f is real, the VA model (3.11) and (4.15) are equivalent. Before ending this section a comment is in order. The previous discussion concerning the imaginary part of the auxiliary field F involved only the pure goldstino sector, without taking into account the matter sector. In particular one should ask if the solution (4.12) holds also in more general cases, where matter superfields are present and some of their components might be removed. To answer this question notice first that the generic way to eliminate matter component fields is described by constraints of the form given in (3.28). Since the constraint (3.28) is equivalent to the eliminated components are not going to depend neither on the components of A 1 nor on the ones of A 2 , but only on the components of Z. Therefore the constraints on the matter superfields are independent of a 2 and the result presented here holds also in that case.

Vector multiplets
We now move on to the discussion of supersymmetry breaking scenarios involving vector multiplets. First we consider the case of a pure D-term breaking and then we analyze more general situations in which a mixing between D-term and F-term breaking occurs.
In particular we are going to show that, even for D-term supersymmetry breaking, the low energy theory can be parametrized in terms of a nilpotent chiral superfield X.

Pure D-term breaking
Given a vector superfield V , a simple model realizing pure D-term supersymmetry breaking is where W α = − 1 4 D 2 D α V is the vector field strength chiral superfield and ξ is a Fayet-Iliopoulos parameter. Supersymmetry is broken whenever ξ = 0.

JHEP08(2017)117
In the spirit of the previous discussion, we want to parametrize this theory of spontaneously broken but linearly realized supersymmetry in terms of constrained superfields. To this purpose, we consider one chiral superfield X and one real superfieldṼ such that The first constraint removes the scalar component from X, as in the previous discussion, while the second and the third constraints remove the fermion and the auxiliary fieldD fromṼ . The only independent component field inṼ is therefore a real vector field. The superspace expansion ofW α in particular is and F mn is the vector field-strength. Due to the constraints the gauginoλ α and the auxiliary fieldD are expressed as composite combinations of the other degrees of freedom. Expanding in terms of powers of the goldstino field G α one gets that where dots stand for higher order goldstino terms. Using these constrained superfields we can introduce the parametrization which indeed contains the complete amount of degrees of freedom of an unconstrained vector superfield, namely one real vector, one fermion and one real scalar. This parametrization is the analogous of (3.6) for the case of pure D-term breaking. It is important to note that, if we also parametrize X according to (4.4), the contribution of A 2 disappears from (5.6), because This was not obvious a priori but it is complementary to the result obtained in the previous section. In fact when parametrizing (part of) a vector superfield in terms of constrained chiral superfields, one clear obstacle arises because the auxiliary field of a vector superfield is real, while the auxiliary field of a chiral superfield is complex. The problem related to this mismatching of auxiliary degrees of freedom is immediately solved for all those systems JHEP08(2017)117 in which the imaginary part of the auxiliary field F of the superfield X does not get an independent vacuum expectation value. As shown in the previous section, this occurs whenever the parameter f giving the vacuum expectation value of F is real and in general this condition is not too restrictive. At this point we can insert the parametrization (5.6) inside the Lagrangian (5.1) and, using the constraints (5.2), rewrite it as As explained in the previous section, one can harmlessly introduce a new term proportional to (4.17), which vanishes on-shell, so that the Lagrangian takes the more pleasant form The Lagrangian (5.9) manifestly describes a theory of non-linearly realized supersymmetry, where the goldstino in X interacts with the real vector field inṼ . This theory is completely equivalent to the original model (5.1), where only the vector superfield V is present and supersymmetry is broken by the Fayet-Iliopoulos term. In other words we showed that, for pure D-term supersymmetry breaking, the theory can be parametrized in terms of a nilpotent chiral superfield X accomodating the goldstino. This analysis can be easily generalized in order to include matter couplings and possibly an abelian gauge symmetry The detail of the parameterization of the various fields depends on the supersymmetry breaking pattern and especially on the low-energy spectrum. However we note that when scalar fields survive and we split some of the chiral fields as we will get an additional contribution to the superpotential of the form 3 because XDαH I = 0. We should also note that for a generic choice of gauge kinetic function, the normalization of the kinetic term of the nilpotent chiral superfield X gets modified to Here we use the Wess-Zumino gauge XṼ = 0 proposed in [10].

Mixed F-and D-term breaking
As a final example, we consider a case that involves a mixing between F-and D-term breaking contributions. A simple model of this type is described by the following Lagrangian where the parameters f , ξ, m and M are chosen to be real for simplicity. At the component level, the F-term and D-term contributions to the scalar potential are respectively where we decomposed the scalar component of Φ into its real and imaginary parts φ = a+ib. The purpose of this example is to get a low energy effective theory in which the goldstino is interacting with the vector, like in the case of pure D-term breaking. The difference with respect to that example, however, is that this time both the gaugino and the fermion in Φ will get a mass. The goldstino will be then the massless combination of this two fermions, while the massive combination is going to decouple in the low energy limit.
We will now differentiate between two different possible regimes of supersymmetry breaking, one where the F-term is dominating and one where the D-term is dominating. While some details of the two regimes change, we will see that we can rather easily cover both examples by the same parametrization of the linear multiplets in terms of the same constrained superfields.
The regime where the F-term source of supersymmetry breaking is dominating is obtained when where E is expressing the energy range of validity of the effective theory, while the linear theory (5.14) is valid for M ≫ E > √ f . For simplicity, given the aforementioned hierarchy and since we are interested in the qualitative behaviour of the model in the low energy, we will tune the parameters such that With this particular choice the potential has a minimum at In this minimum the mass spectrum is made up of one massless vector, two real scalars of mass m 2 a = 4m 2 +4mM and m 2 b = 2m 2 respectively, one goldstino and one massive fermion of mass m 2 f = (M −2m) 2

16
. We therefore expect that at low energies only the vector field and JHEP08(2017)117 the goldstino survive. The goldstino and the massive fermion are given respectively by the following combinations of ψ Φ , the fermion in Φ, and λ, the gaugino We see that, since M ≫ m, the goldstino mostly resides in Φ.
On the other hand, we will have D-term dominated supersymmetry breaking when Once again, for simplicity, we can cover this case by setting With this particular choice the potential has a minimum at In this minimum the mass spectrum is made up of one massless vector, two real scalars of mass m 2 a = 2m 2 (2m+M ) M and m 2 b = 2m 2 , one goldstino and one massive fermion of mass . Also in this case we expect that in the low energy limit only the vector field and the goldstino will survive. The goldstino and the massive fermion are given respectively by the following combinations of ψ Φ , the fermion in Φ, and λ, the gaugino In this case the goldstino mostly resides in V , because M ≫ m.
In principle various different parametrizations of the unconstrained superfields in terms of the constrained ones can be adopted. To obtain the desired decoupling, however, it is convenient to introduce the following parametrization where Y andV are respectively a chiral and a vector superfields satisfying while the chiral superfields X and S satisfy (3.3). In particular the only independent component of Y is the fermion ψ, which is going to be aligned with the massive fermion for JHEP08(2017)117 these models. By inserting the parametrization (5.24) in the Lagrangian (5.14) the model can be written entirely in terms of constrained superfields as 26) where the vector superfield V in W α is parametrized as in (5.24).
In the zero momentum limit, this Lagrangian reduces to Both in the D-term dominated scenario and in the F-term dominated one, we can see that the minimization of the action is obtained by setting because of the large mass for s, and this also introduces an effective large mass for ψ, which is then stabilized at ψ = 0. (5.29) In the effective theory we can therefore set S = Y = 0, which are directly implied by s = ψ = 0. While the decoupling of the scalar s is somehow straightforward, the decoupling of the massive fermion needs to be commented a bit more. Because of the constraint XŴ α = 0 we imposed, the fermionλ α will be removed from the spectrum and expressed aŝ where dots stand for terms with derivatives. The fermion λ α in V , which is the gaugino of the linearly realized theory, will have then a contribution coming fromλ, one coming from G and one coming from ψ, due to the fact that we used the parametrization (5.24). In the theory there will be a massive fermion and a goldstino which are given in (5.19), (5.23). However due to the Lagrangian we have, it turns out ψ is aligned with the massive fermion (in the zero momentum limit) and therefore when we remove it from the spectrum, what remains is automatically aligned with the goldstino. The resulting low-energy model is then and describes a massless vector interacting with a goldstino. This Lagrangian is similar to (5.9), but it has been obtained from a very different UV model.

JHEP08(2017)117 6 Discussion
In this work we studied four-dimensional, N = 1 globally supersymmetric gauged chiral models where D-term and F-term source the breaking of supersymmetry. We showed that the constrained superfields approach can capture all the properties of their low energy theories and, in particular, that the goldstino interactions can always be described by means of a nilpotent chiral superfield X. Our findings therefore strongly support the use of constrained superfields for the description of spontaneously broken supersymmetric theories. We would like now to point out the limitations of our results. First, we have studied only chiral and vector superfields as the source of supersymmetry breaking, which does not exhaust all the possibilities. It is known, for example, that supersymmetry breaking can be sourced also by linear superfields [52][53][54]. One could then investigate what are the general properties of this other class of models, in the spirit of the presentation we gave in this work. Second, we have not discussed the consequences of coupling the system to supergravity. We expect that our approach can be extended in a consistent way, but following this direction is beyond the scope of the current work. Finally, if supersymmetry is never restored within a field theory, then it is not clear how generic the description in terms of constrained superfields can be. Work in this direction can be already found in [32][33][34][35][36][37][38].

A Equations of motion for A 2
In this appendix we prove that the equations of motion stemming from the Lagrangian (4.11) gives Since we are going to take the variation with respect to A 2 , we focus only on the part of (4.11) which depends on this quantity and we implement the constraint (4.7) via a complex Lagrange multiplier C. Moreover we insert a generic non-vanishing real function U in front of the term ZZ|A 2 | 2 , because we would like to use the result we are going to prove also in more general cases like when the canonical Kähler potential XX is multiplied by the real part of the gauge kinetic function F(Φ) (see formula (5.13)). The Lagrangian we start from is therefore and Z satisfies also the constraints (4.2). For the rest of the proof we are going to omit the subscript on A 2 . Taking the variations with respect to C and to A gives the following where we used also the constraints (4.2) and (4.7). We start now replacing iteratively this relation into its complex conjugated obtaining By comparing the first line with the last we get which reduces to ZZA = 0, because U is invertible by assumption. Acting with superspace derivatives we can simplify also the invertible quantities D 2 Z, D 2 Z and obtain finally This result has been derived from a projection of the original equation of motion, but if it solves the full system of equations, it is going to be the most general solution. We note that by substituting the chiral projector D 2 → (D 2 − 8R), the proof works directly in supergravity.

B From Volkov-Akulov to nilpotent X
We use this second appendix to explain how to go from a theory interacting with the Volkov-Akulov fermion to a theory interacting with the nilpotent chiral superfield X. Our findings show that all the couplings of the VA fermion can be described by models involving the nilpotent superfield X. These theories generically contain superspace higher derivatives and therefore might not be described only by a Kähler potential and a superpotential. One can describe the interactions of the VA fermion by using the spinor superfield Γ α [7], which has the properties D α Γ β = ǫ βα , where we absorbed the scale κ −1/2 appearing in [7] into Γ α . A generic Lagrangian containing Γ α will have the superspace form L = − 1 16 κ 2 d 4 θ Γ 2 Γ 2 + L m Γ, Γ, matter superfields , (B.2)

JHEP08(2017)117
where L m is a superspace Lagrangian describing the interactions of the VA fermion with matter. Note that, even if the Lagrangian is not in the form (B.2) one can add and subtract the first term to bring the model in this form. By using the superfield Z defined from (4.2), we have that [56] Γ α = −2 D α Z D 2 Z . As we will see in the following considerations, the matter Lagrangian in (B.4) is irrelevant and we can safely ignore it when proving the equivalence, but we will restore it in the final result. Therefore we focus only on (B.5) and we will prove it is equivalent to the free Lagrangian for the X superfield (3.11).
To prove the equivalence between (B.5) and (3.11) we consider the following superspace Lagrangian (B.6) Here the superfield J is complex and completely unconstrained, while X is an unconstrained chiral superfield. Notice that the Lagrangian part containing matter in (B.4) does not contain X, neither J, therefore any variation with respect to these superfields is not affected by that part of the theory. We will show that by integrating out J from (B.6) one finds the Lagrangian (3.11) for a nilpotent X with X 2 = 0, whereas integrating out X gives the Lagrangian (B.5) for Z.
Let us first show that (B.6) is equivalent to (B.5). To this end we vary the unconstrained but chiral superfield X and we find

JHEP08(2017)117
We can also show that (B.6) is equivalent to (3.11) for a nilpotent X. Once we vary the unconstrained J we find From (B.11) we see that Finally from (B.12) and (B.13) we find Notice that here X has mass dimensions [X] = −1, but we can restore the correct dimension by rescaling it with κ.
Once we perform the above procedure taking into account the full Lagrangian (B.4) and after the rescaling of X with κ we will have L = d 4 θ XX + 1 4κ d 2 θ X + c.c. + L m −2D α X/D 2 X , −2DαX/D 2 X , matter superfields . (B.16) The equivalence between (B.10) and (B.15) was proved in superspace earlier in [56], but here our proof goes through also when we include the possible matter couplings and we expect it to hold also in supergravity.
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.