3D Dualities and Supersymmetry Enhancement from Domain Walls

We test recently proposed IR dualities and supersymmetry enhancement by studying the supersymmetry on domain walls. In the $SU(3)$ Wess-Zumino model studied in arXiv:1804.02018 and arXiv:1804.05707, we show that domain walls exhibit supersymmetry enhancement. This model was conjectured to be dual to an $\mathcal{N}=2$ abelian gauge theory. We show that domain walls on the gauge theory side are consistent with the proposed duality, as they are described by the same effective theory on the wall. In arXiv:1808.04173, a third model was conjectured to be dual to the same IR theory. We study the phases and domain walls of this model and we show that they also agree. We then consider the analogous $SU(5)$ Wess-Zumino model, and study its mass deformations and phases. We argue that even though one might expect supersymmetry enhancement in this model as well, the analysis of its domain walls shows that there is none. Finally, we study the $\mathcal{N}=2$ model in arXiv:1806.07714 which was conjectured to have $\mathcal{N}=4$ supersymmetry in the IR. In this case we don't see the supersymmetry enhancement on the domain wall; however, we argue that half-BPS domain walls of the $\mathcal{N}=2$ algebra are quarter-BPS of the $\mathcal{N}=4$ algebra. This is then in agreement with the conjectured enhancement, even though it does not show that it takes place.

For applications to real world physics, supersymmetry is usually regarded as a ultraviolet (UV) symmetry which is broken in the IR. However, some modern research [32][33][34][35] in condensed matter physics has exploited the prospect of supersymmetry as an emergent symmetry of physical systems at low energies. Along these lines, another possibility, which is more tractable to analyze, is the case of supersymmetry enhancement [4,[36][37][38][39][40][41][42][43].
The purpose of this paper is to test various recently proposed IR dualities and the idea of supersymmetry enhancement by analyzing the effective theories on the worldvolume of domain walls. Domain walls in supersymmetric gauge theories were first studied in [44][45][46][47][48], and reviewed in [49][50][51].
For testing IR dualities the main idea we use is to deform both sides of the proposed duality until multiple degenerate vacua exist, and then consider domain walls interpolating between such vacua. These classical objects carry charges that extend the super-Poincaré algebra and therefore are stable configurations. The goal then is to show that on the two-dimensional world-volume of the wall, the effective theory for localized zero modes is the same on both sides of the duality.
For exploring supersymmetry enhancement we analyze the amount of supersymmetry on the domain-wall theory. Classical solitonic solutions of the equation of motion, such as domain walls in supersymetric theories, often have the profound feature of being annihilated by a subset of the supercharges [52]. In three dimensions, typically, they are half-BPS objects and the two dimensional world-volume theory inherits half of the supersymmetry of the parent bulk theory. However, by explicitly studying the localized zero-modes on the wall, in some cases one can prove that the two-dimensional theory has actually more that half of the bulk supersymmetry, suggesting that the parent three-dimensional theory has enhanced supersymmetry in the IR.
One of the main results of this work is the test of dualities between three different theories proposed in [1][2][3]. The three models participating in the duality web are depicted in figure 1.  None of the UV theories manifestly exhibits all of the three global symmetries that the IR theory is believed to have, namely N = 2 supersymmetry, SU (3) flavor symmetry, and time reversal invariance. We consider domain walls in all three theories and we show that in each case, the effective theory on domain walls is a chiral (2, 0) theory with target space R × S 1 , while for anti-domain walls the theory is a chiral (0, 2) with the same target space.
We then consider a Wess-Zumino model with a cubic superpotential where the fields transform in the adjoint representation of an SU (5) flavor symmetry. As in the case of SU (3) model we break the flavor symmetry by giving masses to the scalars. The moduli spaces of vacua for these deformed theories are always complex Grassmannians and therefore Kähler manifolds. This might lead one to believe that there is supersymmetry enhancement for these deformed theories and for the IR fixed point of the undeformed theory, with the extra supercharges coming from the complex structure of the moduli space. However, further analysis of domain walls shows that actually supersymmetry is not enhanced: For generic linear deformations we have degenerate vacua with domain walls that interpolate between them; investigating the effective theory on the walls, we show that there exist domain-wall solutions with a single bosonic zero mode and therefore, only (1,0) supersymmetry. This rules out the possibility of enhancement. 1 The third main result of this paper is a consistency check in the presence of domain walls for the recently conjectured supersymmetry enhancement to N = 4 for an N = 2 abelian gauge theory with Chern-Simons level at k = −3/2 with one chiral multiplet of charge one. We add an FI term which leads to two degenerate vacua and we consider domain walls. We argue that the solutions of the classical BPS equations have only one modulus which not only seems to contradict the enhancement but also the bulk N = 2 supersymmetry. We resolve the contradiction in two steps. First, we study the infinity coupling limit of the BPS equation and we show that in this regime on one side of the domain wall we get an U (1) −1 gauge theory. Although the vacuum of this theory is trivial, in the presence of a domain-wall boundary it gives rise to a chiral zero mode as in the Hall-effect [53]. Furthermore, we address the apparent contradiction with the N = 4 enhancement. We argue that the FI deformation of the N = 2 action corresponds to a new kind of mass deformation that was pointed out in [54]. These deformations change the supersymmetric algebra by a term involving the R-symmetry current. We then show that domain walls in the N = 4 deformed theory are actually quarter-BPS and therefore, they lead to two unbroken supercharges in agreement with the enhancement.
To find these results, we develop various tools: we write down the defining equations for the N = 1 S-multiplet in three dimension, generalizing the N = 2 results of [55,56], and we derive explicit expressions for the Wess-Zumino model as well as abelian gauge theories. We also derive the explicit expression for the S-multiplet of an arbitrary N = 2 non-abelian gauge theory with a superpotential in three dimension. We calculate the brane-charges from the S-multiplet and obtain the tension of the domain walls that these theories support. We use Morse theory to analyze the solutions of the BPS equations that we find in various models. Use of Morse theory in the study of BPS domain walls can also be found in [57][58][59]. In the pure Wess-Zumino model, the superpotential defines a Morse function and we can use the results of Morse theory directly to analyze the BPS equations; in other cases, we construct the Morse function by hand.
The outline of the paper is as follows. In section 2, we review the N = 2 S-multiplet of [55] and give explicit expressions for abelian and non-abelian gauge theories. In section 3, we present the defining equations for the N = 1 S-multiplet and give explicit expressions in several examples. In section 4, we discuss the kinematics of the BPSsaturated domain walls in N = 1 theories from the supersymmetry algebra. In Section 5, we present a new check for the duality of the three theories in figure 1 by studying the domain walls in these models. In section 6 we study the N = 1 SU (5) WZ model and discuss its possible supersymmetry enhancement in the infrared. In section 7, we study the N = 2 to N = 4 supersymmetry enhancement of the model presented in [4] by considering domain walls. In appendix A, we summarize our conventions about N = 1 and N = 2 supersymmetry and gauge-covaraint superderivatives. In appendix B, we review N = 1 supergravity and in appendix C we discuss an example of a relevant deformation in the stress-tensor multiplet of N = 4 SCFTs.

Defining equations
In supersymmetric theories, operators organize themselves into multiplets of the Super-Poincaré algebra. Generally, representations containing conserved currents belong to multiplets obeying some shortening conditions. In superconformal theories, short supermultiplets saturate the unitarity bound [60], and they have been fully classified [61,62]. When one deforms a superconformal theory to break conformal symmetry, the short superconformal multiplets combine with other multiples to make a short supermultiplet of the super-Poincaré algebra, and the shortening conditions are modified. A universal multiplet that exists in any local supersymmetric theory is the stress-energy multiplet. Two well-known examples of stress-energy multiplets are the Ferrara-Zumino multiplet [63] and the R-multiplet [64][65][66] in four dimensional N = 1 theories. These two multiplets turn out to be special cases of a more general stress-energy multiplet, referred to as the S-multiplet in [55,56,67] and elsewhere.
Apart from the energy momentum tensor, the S-multiplet also contains the supercurrent as well as any R-symmetry currents (which however need not be conserved). In addition, it may also contain additional conserved currents that modify the super-Poincaré algebra. These terms can be either central extensions, or brane currents that are may be present in domain-wall backgrounds. The purpose of this section is to review the S-multiplet for three-dimensional N = 2 theories, and the possible extensions of the N = 2 superalgebra. We summarize our conventions in appendix A, where we also review several useful identities.
In N = 2 theories, the defining set of equations for the S-multiplet [55] here S αβ is a real vector superfield, whereas X α , Y α are complex spinor superfields. The conserved supercurrent and the energy-momentum tensor are the lowest components of the superfields and respectively. As was shown in [55], apart from these two conserved quantities and possibly an R-symmetry current, the stress-energy multiplet contains three additional tensors given by

4)
The duals of these tensors are conserved currents. In vector notation (see Appendix A.1), the supercurrent and the energy-momentum tensor can be identified as the lowest component of the superfields while the additional tensors are Using these expressions one can determine the algebra of two supercharges The anticommutator of the supercharge with the supercurrent is (2.14) The terms proportional to S µ give rise to Schwinger terms. The other extra currents on the left-hand side extend the super-Poincaré algebra to The first term, Z, is the usual central charge, and is carried by zero-branes (particles). The other two terms are carried by one-branes, which in three dimensions are domain walls. Thus for theories that support domain walls with these charges, there is a physical obstruction to removing these charges by an improvement transformation [55].
In particular, depending on which of these brane-currents can be improved to zero, we have different supersymmetry on the world-volume of the BPS-saturated domain walls. This is because the values of these brane-charges determine which combination of the supercharges are preserved in the domain-wall background. For instance, in theories which have an FZ-multiplet (for which H ν = 0), domain walls carry the charge ζ µ and hence by (2.15) can only lead to non-chiral (1, 1) supersymmetry on the wall. On the other hand, for theories with an R-multiplet (for which Y ν = 0), domain walls carry the charge Z µ and hence by (2.15) can only lead to a (2, 0) or (0, 2) chiral supersymmetric theory on the wall. This will be important in section 5.2.

Abelian gauge theory
For our purposes we focus on U (1) gauge theories coupled to chiral superfields, including FI and Chern-Simons terms as well as a non-zero real mass. Even though when there is only one chiral superfield, the real mass can be absorbed by field-redefinitions, keeping it will make clear the generalization to case of multiple chiral fields. The Lagrangian [68,69] is given by where Σ = i 2D · DV is a real linear superfield that obeysD 2 Σ = D 2 Σ = 0, and V b is a constant superfield that generates the real mass Σ b ≡ i 2D · DV b = 2m. The constants k and t are the Chern-Simons and the FI couplings respectively. The S superfield (in chiral representation; see appendix A.3 for details) that satisfies the equations (2.1) is given by with Y α = 0 and In the case of many chiral fields, one just needs to sum the two Φ-dependent terms over all fields with the appropriate charges and masses. Since Y α = 0, the Abelian gauge theory has an R-multiplet. Note that (2.19) implies X α = 8iD α J , which means the brane current H µ given by (2.5) can be written as H µ = ∂ µ J , with J the linear multiplet (2.20)

SU (N ) gauge theory
Here we derive the S-multiplet for an SU (N ) gauge theory with a superpotential. The Lagrangian of such theory can be written in superspace as [69][70][71], where ∇ is the gauge-covariant superderivative, is the non-abelian scalar field strength written in the chiral representation (see appendix A.3 for details), and is covariantly linear ∇ 2 Σ =∇ 2 Σ = 0, and Σ t = i where K = iΦ i e V Φ i is the Kähler potential and we have used Tr Φ iΦi e V =Φ i e V Φ i , and also the fact that Σ and its covariant derivatives are in the adjoint representation and hence traceless. After a detailed analysis using the equations of motions, a gauge invariant S-multiplet satisfying equation (2.1) can be found as If the theory has a continuous R-symmetry, i.e., if δW ≡ i R i Φ i ∂ i W = 2W, then this supercurrent can be improved to an R-multiplet by an improvement transformation given by We can also turn on real masses corresponding to flavor symmetries by introducing constant background gauge superfields for the Cartan subalgebra of the flavor symmetry group. The real masses reside in the scalar component of the vector-multiplets corresponding to these background gauge fields, which we collectively call V b . More precisely Σ b = 2M , where M is the real mass matrix. We find the following R-multiplet As in the abelian case, we have X α = 8iD α J and thus H µ = ∂ µ J , with J the linear multiplet 3 S-multiplet for N = 1 theories

Defining equations
As in the N = 2 theories, we can define a superfield for the stress-energy multiplet. Since the energy-momentum tensor is the highest-spin component of the multiplet, in this case the S multiplet is a spin 3/2 superfield S αβ,γ = θ δ T αβ,γδ +. . . .We can determine the analog of (2.1) for N = 1 theories by reduction: we define two copies of N = 1 superspace The S-multiplet for N = 1 theories can be defined as after some algebra we find the following equations (where we drop the superscript D (1) → D since everything now refers to the first copy of the N = 1 superspace) whereX α andỸ α are certain combinations of their N = 2 counterparts. Note (3.5) implies thatX α ,Ỹ α can be written (locally) in terms of potentialsX,Ỹ : Equations (3.5) are invariant under two transformations, which we parametrize by independent superfields V and U : The transformation corresponding to U gives rise to improvement transformations. The V transformation can be used to set eitherX orỸ equal to zero. Two convenient combinations invariant under V transformations are

8)
S αβ,γ =S αβ,γ + γ(α D β) (X +Ỹ ) . Under U they transform as Using the identity (A. 24) we see that the divergence of the right-hand side of (3.10) is zero, verifying that this is indeed an improvement transformation. In terms of these superfields, equations (3.3-3.5) combine into We have derived the defining equations 3.12 by reducing their known N = 2 counterparts. In the appendix B we rederive them by considering N = 1 linearized supergravity. This shows that this is indeed the most general S multiplet we can write down.
As before, we can identify the components that correspond to the supercurrent and the energy-momentum tensor. From (3.12), the supercurrent can be identified as the lowest component of S αβ,γ , while the energy momentum tensor as the lowest component of Note that the trace the energy momentum tensor is T ∝ D α S αβ β = D 2 X. Hence, if X can be improved to zero then the energy-momentum tensor is traceless implying scale invariance. As in the N = 2 case, there is also an additional tensor given by This is a total derivative and therefore its curl is zero, implying that is a conserved brane current: Having identified all the essential components of the S-multiplet, we can calculate the anticommutator of a supercharge with a supercurrent: This shows that indeed H αβ,γδ is a brane current. In vector notation, the energymomentum tensor are the lowest component of the superfield and for the dual of the additional conserved brane current, Then (3.17) can be expressed as When integrated over the whole space, the first terms on the right-hand side gives the usual momentum, while the second term is a brane charge where Z µ is a domain-wall charge

Wess-Zumino
Consider the Wess-Zumino model with Lagrangian The equations of motion are It can be verified thatS The brane current is therefore An important observation is that this is a total derivative. If we put the theory in a finite volume, and integrate (3.27) over all space to arrive at (3.21), assuming that all fermions are zero in the vacuum, the first term in (3.27) vanishes. The second term, however, will contribute Using Lorentz symmetry, we can always consider a domain wall normal to the x 1 ≡ x direction. In this case Z 0 and Z 1 are zero while Z 2 is (3.29)

Abelian gauge theory
Although in the rest of the paper we don't study N = 1 gauge theories, we present here the N = 1-multiplet for a U (1) gauge theory as another example. Consider the Langrangian The field strength W α is defined by and satisfies The equations of motion are The S-superfield is equal toS The brane current is just the lowest component of as usual, the lowest component of W α is the gaugino. Just as in four dimensions, gaugino condensation gives rise to a brane charge [44].

Domain walls
In any theory with degenerate vacua, we can consider classical configurations that interpolate between two different degenerate vacua at plus and minus infinity and minimize the energy; these are domain walls. These objects carry the topological charges that were discussed above and therefore are topologically stable configurations. As we will see in the next sections, domain walls provide a tool to test various proposed dualities by considering such configurations on both sides of the duality. Before we move on, we review some well-known basic knowledge about BPS domain walls in supersymmetric theories.

N = 1 theories
Consider the anticommutator of the supercharges in the N = 1 superalgebra Since the brane charge Z µ is conserved on a domain wall with normal vector n µ , it has to satisfy Going to the rest frame of the wall we have where m is the total mass of the wall. Because the left-hand side of (4.3) is a positive definite matrix, we get the following BPS bound since Z 0 = 0 because the wall is static. These equations makes sense in a finite volume; to take the infinite volume limit, we replace the mass and charges with energy and charge densities on the wall. Taking the coordinates of the three-dimensional space to be x µ = (t, x, y), we can choose the wall to be along one spatial direction, say y; since we are in its rest frame, the normal vector is n µ = (0, 1, 0) and consequently Z 1 = 0. Let us now assume that this bound is saturated Hence, we see that when Z 2 is negative we have a domain walls with Q + unbroken leading to (1, 0) supersymmetry, and when Z 2 is positive anti-domain walls with Q − unbroken and (0, 1) supersymmetry.

N = 2 theories
As mentioned at the end of subsection 2.1, depending on the values of brane-charges we have different supersymmetry for the domain-wall theory. Here we discuss theories with an R-symmetry, which allows us to set Y α = 0 by an improvement transformation. Examples of such theories are studied in the next section. In these theories, the S-multiplet can be improved to an R-multiplet and therefore the domain wall is only charged under the Z µ brane-charge. Thus, the algebra (2.15) becomes As in the N = 1 case discussed above, when Z 2 is negative, a domain wall along the y direction preserves supercharges of one chirality-in this case Q + andQ + . This leads to (2, 0) supersymmetry on the domain wall, while when Z 2 is positive we have (0, 2) supersymmetry. Similarly, for theories with an FZ-multiplet where X α = 0 and Y α = 0, domain walls are charged only under ζ µ and the unbroken supersymmetry is (1, 1). Thus, for theories with an R-multiplet or FZ-multiplet the domain walls are half-BPS.

Supersymmetry enhancement from
Recently, an interesting IR duality was proposed between an N = 1 Wess-Zumino model with an SU (3) flavor symmetry and an N = 2 abelian gauge theory [1,2]. This duality implies that the WZ model has enhanced supersymmetry in the IR, while in the gauge theory, the flavor symmetry is enhanced to SU (3). In [1], it was shown that after deforming both sides, the phase diagrams matches exactly. Following these two papers, a third dual model was proposed with manifest N = 2 supersymmetry and SU (3) flavor symmetry but with no time-reversal symmetry [3]. In this section we consider domain walls in all three models and show that, as expected from the duality, on the wall we get the same two-dimensional effective theory in all three models. More specifically, in all three cases we show that the domain walls have a (2, 0) theory with target space R × S 1 , while anti-domain walls give a (0, 2) theory with the same target space.

SU (3) WZ model
Consider the N = 1 Wess-Zumino model with an SU (3) global symmetry with superpotential studied in [1]. Both φ and M transform in the adjoint representation of the SU (3). The phases of the model with M = m 3 T 3 +m 8 T 8 where T I are SU (3) matrices normalized as tr T I T J = 1 2 δ IJ , were analyzed in [1]. It was showed that for m 3 = 0, ± √ 3m 8 the theory has two discrete vacua with the SU (3) symmetry broken down to the U (1) × U (1) generated by T 3 and T 8 .
We are interested in domain walls interpolating between these two vacua. For simplicity we focus on the region 0 < m 3 < √ 3m 8 . The two vacuum solutions of with all the other φ s set to zero and µ = m 2 3 + m 2 8 . Plugging these values at the superpotential we get that W + > W − . Hence, a domain wall (Z 2 < 0) interpolates between the + vacuum at −∞ and the − vacuum at +∞, while an anti-domain wall interpolates between the − vacuum at −∞ and the + vacuum at +∞. Consider the first case Since the brane charge in (3.29) is negative, the unbroken bulk supercharge is Q + . On the domain-wall background all fermions are zero, and demanding that their transformations under the unbroken supercharge are also zero, we obtain the BPS equations The first observation is that there are no solutions to (5.4) with the boundary conditions (5.3) such that only φ 3 and φ 8 are activated. To see this, consider the BPS equations with all the other φ s set to zero This set of equation has an "integral of motion", which is cubic in the fields Since the value of G is not the same for the two vacua, there is no solution with such boundary conditions. This implies that some of the other φ's must be activated and therefore at least one of the two U (1)'s is broken by the classical domain-wall solution.
We have not solved equations (5.4) analytically, and so we rely on other methods to understand the qualitative properties of the solutions. We can do a stability analysis and extract all the necessary features that we need for the subsequent discussion. As a first step we use Morse theory [72] (for a review see [73,74]) to determine the dimension of the moduli space of solutions. The Morse function in this case is the superpotential itself. A straightforward calculation shows that the Morse index, i.e., the number of negative eigenvalues, at the two vacua is five and three respectively. That means that the space of solutions has dimension 2 (the difference of the Morse index at the two vacua), and hence the domain wall should have two bosonic moduli. However, we can do more, and study the topology of this space.
It is clear that one of the moduli is simply a translation in the y direction and hence has the topology of R. The vacuum solutions that the domain wall tends to at x → ±∞ preserve two U (1)'s, but as we just saw, the full domain-wall background must involve more than just φ 3,8 , and hence at least one U (1) is broken; both U (1)'s cannot be broken, as that would provide too many moduli. Hence one combination of the U (1)'s is unbroken, and the phase corresponding to the broken U (1) is the second modulus; its topology is S 1 , which implies the moduli space is As usual, for each bosonic modulus we have a fermionic zero mode. Consequently, upon quantization, the theory on the wall will be described by two massless scalar fields and two massless fermion fields, and therefore, on the wall we will two supersymmetries. In the bulk, there are two supercharges but one of them is broken on the domain wall and we see that there is an emergent supersymmetry. To decide if the two-dimensional theory is (1, 1) or (2, 0) we use the fact that the Morse index for the full Hessian ∂ I ∂ J W is 2, and therefore the index of the Dirac operator is also 2, which implies (2, 0) supersymmetry 3 . Note that states charged under the unbroken U (1) are all massive.

U (1) 0 gauge theory
In this section we study the N = 2 U (1) gauge theory considered in [1] with two chiral fields of charge one and real masses m 1,2 = ±m, and Σ b | = 2m (see discussion above in section 2.2.1): The theory has two vacua with Following the discussion in the subsection 4.2, the domain walls are charged only under the H-current which can be calculated from (2.20) to be Assuming that at x → −∞ the theory is at vacuum (1) and at x → +∞ the theory is at vacuum (2) we find that brane charge density is where l y is the size of the compactified y direction (cf. equation 3.29). Thus for negative Z 2 there are two unbroken supercharges, namely Q + andQ + , see section 4.2.
Demanding that the variation of the fermion fields for these two combinations is zero, we obtain the following BPS equations After eliminating the auxiliary fields, the lowest components of these equations can be rewritten as along with F µν = 0. Letting the fields ϕ i and σ depend only on the x coordinate these equations simplify to [75][76][77] ( Since F µν = 0 and our spacetime is contractable, we can choose A µ = 0. Using equations (5.11), it is easy to show that the F -current in (2.4) vanishes in the domainwall background; since the F -current gives rise to a central charge rather than a branecharge, this is expected.
To study the solutions of (5.13) we rewrite1 them as where h(σ, |ϕ 1 |, |ϕ 2 |) = (σ + m)|ϕ 1 | 2 + (σ − m)|ϕ 2 | 2 − tσ . (5.15) This is just the bottom component of J in (2.20). Up to a rescaling in the fields, the BPS equations can be written as a gradient flow equation of the Morse function h. As in the WZ model, we use Morse theory to analyze the domain-wall solutions.
Calculating the Morse index at the two critical points and using the same reasoning as in the WZ case, we find that there is one modulus that describes the solutions of these equations, namely the position x 0 . Note that rescaling the fields does not change the signature of the Hessian of the Morse function and therefore we can directly calculate the index using h. There are two more free parameters: the phases of ϕ 1 and ϕ 2 . However, only the phase difference is physical, since the sum can be set to zero by a gauge transformation. This physical U (1) is broken by the domain-wall solution, and hence, as in the WZ case, the moduli space of solutions is Since the target space is flat it supports maximal supersymmetry. Upon quantization these two moduli will become massless fields living on the domain wall along with two fermionic zero modes. In this case the two supersymmetries on the wall are generated by the two unbroken bulk supercharges Q + andQ + giving rise to a (2, 0) theory. We now argue that in addition to the broken U (1) flavor symmetry on the wall, there is an unbroken U (1) whose charged excitations are massive fluctuations of the wall.
The bulk theory has, in addition to the gauged U (1), a U (1) F × U (1) T symmetry. The U (1) F flavor symmetry is broken by the wall discussed above; the U (1) T is topological and is generated by J µ T ∝ µνρ F νρ . We review what happens to the gauge field on the wall [76]. The common phase of ϕ 1 , ϕ 2 can be gauged away; then we quantize the theory on the wall by allowing the two moduli to depend on the two coordinates along the wall where λ = λ(t, y) and x 0 = x 0 (t, y) and λ has the gauge invariant definition The bulk Lagrangian contains the terms To minimize the action, the gauge field should be To determine f (x), we have to write the whole action including the gauge-field kinetic term as a x-integral times the two-dimensional (t, y). Extremizing, we would find a second order differential equation for f (x), but this is not essential for our purposes. However, what is important is that (5.21) implies the gauge field along the wall obeys Dirichlet boundary conditions F ij = 0. Following [78], on a Dirichlet boundary the U (1) gauge symmetry in the bulk becomes a global symmetry. Since both λ and x 0 are invariant under the gauge U (1), it follows that only massive modes on the wall are charged under this global U (1).
In conclusion the theory on the wall is a (2, 0) theory with the two supersymmetries generate by the two unbroken bulk supercharges, with a U (1) global symmetry that couples only to massive modes. This matches exactly what we found for the WZ model in section (5.1).

SU (3)5 2 model
In this section we study the deformations of the model studied in [3]. The theory is an N = 2 non-abelian SU (3)5 2 gauge theory with three chiral superfields in the fundamental representation with a superpotential  figure 1. This theory has an R-symmetry with R i = 2 3 for the superfields Φ i .

Vacuum equations for general SU (N ) k models
Here we derive the supersymmetry-preserving vacuum equations including the one-loop correction for an SU (N ) k gauge theory with N f flavors in the fundamental representation. We add both real masses and mass terms in the superpotential corresponding to the N f − 1 Cartan generators of the global SU (N f ). The only relevant quantum corrections are effective Chern-Simons terms, which are one-loop exact. The potential for the scalar fields is a sum of squares; for supersymmetric vacua, all these must vanish. There are three type of terms: 1. F-terms: These are associated with the superpotential and give: ∂W = 0.
2. Mass-terms: Mass terms of the matter fields which give: m in eff ϕ in = 0 3. D-terms: D-terms of the gauge fields; these are the focus of this section.
We derive the D-terms in the quantum corrected Lagrangian by using the fact that the real mass deformations are the lowest component of the background-flavor superfield strength Σ b , and the fact that the quantum corrections will produce effective mixed CS terms for the color and flavor gauge fields. The gauge group is broken by the VEV of σ, the lowest component of the color field-strength Σ, and the D-term equation for the broken generators will simply be: For the unbroken generators, which generically we can choose to be in the Cartan subalgebra of SU (N ), the Lagrangian includes: where we restrict the color adjoint indices M, N to the Cartan generators of the gauge group. Thus we get the D-term vacuum equations for the Cartan generators: To calculate the effective Chern-Simons levels k eff , we introduce the following notation for the Cartan generators:
Using equation (5.31) and (5.34), we see that only one v m can be non-zero and by a residual gauge transformation we can take it to be v 3 , so that ϕ im = δ 3 m q i . Then substituting k = 5 2 , we arrive at a simpler set of equations: Now by using (5.36) and the triangle inequality we get: which is only possible for σ 1 = σ 2 ≡ σ 0 . Since σ is in the adjoint representation of SU (3), we have σ 3 = −2σ 0 , we find: We now analyze the solutions of these equations in the generic case where m i = m j . There could be two kind of solutions: 2. For one particular i: q j ≡ qδ ij and σ 0 = 1 2 m i .
In the case 1., after integrating out the massive matter we will have an N = 2 SU (3) k eff theory in the IR, where (5.28) implies k eff = 5 2 + 1 2 i sign(m i ). Since the masses are in the Cartan subalgebra of the flavor SU (3), either two real masses are positive and one negative or two are negative and one positive (by assumption none vanish). This means that we would get either an SU (3) 3 or SU (3) 2 ; the Witten index of these theories is calculated in [69], and implies only the SU (3) 3 case does not break supersymmetry dynamically.
We now analyze equations (5.40) and look for the solutions of type 2. The triangle inequality implies 1 2 Thus the low-energy theory will be an N = 2 SU (2) 2 theory, which is trivial in the IR. To see this, note that the Chern-Simons level makes the N = 2 vector multiplet massive, which implies there are no light excitations and we have a TQFT. But the Witten index of this theory can be computed [69], and it is equal to 1, so the TQFT must be trivial and we have the trivial phase in the IR. Therefore, depending on the signature of the mass matrix we have different kinds of solutions. Now we want to obtain the explicit form of the solution in each case. Without loss of generality we assume m 3 < 0 and m 2 > m 1 . Based on the sign of m 1 there are two cases which we study separately. As a further check of the proposed IR duality of this model to those studied in sections 5.1 and 5.2, we could obtain the full phase diagram of this model and compare it the phase diagram of the previous two models that was obtained in [1]. For generic mass deformations we already derived that there are two degenerate vacua confirming results of [1]. There are special loci on the phase diagram where there are some unbroken SU (2) global symmetries, and they could result in a moduli spaces of vacua. These special loci arise when two of the real masses coincide, i.e. m i = m j . Without loss of generality we focus on the case with m 1 = m 2 = m. If m > 0, then the situation is exactly similar to case 2 above and we are in the same phase with two degenerate vacua. However, for m < 0, there is a CP 1 Higgs moduli because, even though |q| 2 is fixed, both q 1,2 can be nonzero. Thus for m 1 = m 2 < 0, the theory flows to N = 2 CP 1 sigma-model which matches with the other two descriptions [1]. We have studied the vacua of the theory, and found that due to quantum corrections, some classical vacua break supersymmetry dynamically, and thus at the quantum level are not degenerate with the supersymmetry preserving vacua. In the next subsection, we will use this information to only look at walls that interpolate between true supersymmetric vacua. However, we have only looked at the quantum corrections to the Chern-Simons level, and since these are not continuous functions of the fields, we cannot use them to find the quantum corrections to the domain walls themselves; in fact, we do not need to, and it suffices to study the classical BPS equations with the correct boundary conditions.

BPS Domain Walls
In this section we study the classical dynamics on domain walls of the above non-abelian gauge theory. As in the previous sections, we can evaluate the brane current (2.30) and for any pair of vacua, we can calculate the brane charge and depending on its sign, see if that pair gives rise to a domain wall or anti-domain wall. Then, from the unbroken supercharges we can obtain the BPS equations and further analyze them.
Because we have a continuous R-symmetry, the only non-zero brane current is the H current whose its bosonic part is given by (2.30) as only the last term will contribute to the integrated current-the brane charge-since the other terms vanish by the vacuum equations. Taking x to be the normal direction to the domain wall (Z 2 < 0), we find the brane charge As in section 5.2, the domain wall preserves the two supercharges Q + andQ + . Requiring that supersymmetry variations of the fermions with respect to these supercharges vanish, we get the BPS equations The differences θ 1 − θ 2 and θ 2 − θ 3 are gauge-invariant, and give rise to two flavor U (1) symmetries, whereas the sum, θ 1 + θ 2 + θ 3 , can be absorbed into A 3 x by a gauge transformation. For each broken flavor U (1) symmetry, we get an extra S 1 modulus. As we will see, in the model we study in this section only one is broken and we have only a single S 1 modulus. We encounter more complicated situation in section 7.
We first ignore these phases and study at the BPS equations for |q i | and σ. Recall σ = diag(σ 1 , σ 2 , −σ 1 − σ 2 ); then the Morse function is The BPS equation for σ 1 − σ 2 decouples from the rest and by Morse theory it does not have a non-zero solution. Hence we may set σ 1 = σ 2 ≡ σ 0 and find the reduced Morse function We now find the critical points of this function and their Morse indicies. As we saw above, there are two cases depending on the signature the real masses.
1. When two masses are negative, and one positive, e.g., m 1 < m 3 < 0 < m 2 , we found two acceptable vacua (5.44): and Morse index µ = 1 . Hence, Morse theory implies there is only 2 − 1 = 1 modulus-the translational mode-for these variables. Also, only one of q i 's is non-zero, so only one of the remaining U (1) symmetries is broken and hence there is an S 1 modulus. Putting these two moduli together, we get R × S 1 sigma model on the wall.
2. When two masses are positive, and one negative, e.g., m 1 , m 2 > 0 > m 3 , we found two acceptable vacua (5.45): and Morse index µ = 1 . Thus the low energy theory on the domain wall is again an R × S 1 sigma model, which matches the conjectured dual descriptions. This serves as a non-trivial check of the conjectured dualities. In particular, the R × S 1 sigma model has (2,0) supersymmetry.

N = 1 SU (5) WZ Model
In this section, we consider the SU (5) generalization of the WZ model studied in section 5.1, and investigate the possibility of supersymmetry enhancement in the IR. We consider the mass deformed theory with the superpotential Not known Table 1. The structure of moduli spaces of vacua for the mass deformed N = 1 SU (5) WZ Model. Each phase has been labeled by a sequence indicating the order of distinct eigenvalues of M . Here S 0 means two isolated vacua related by time reversal. For the last two phases, the vacuum equations cannot be solved analytically and the results are presented from numerical analysis.
are Kähler manifolds. Thus the low energy theory describing these theories are sigma models with Kähler target space and have supersymmetry enhancement from N = 1 to N = 2 in the IR: at low scales, the only relevant term is the sigma-model kinetic term, which has N = 2 supersymmetry. In light of this observation, one might guess that the undeformed theory has N = 2 enhancement as well. We investigate this hypothesis by studying domain-wall solutions. We consider the mass deformation matrix, M , to be generic, i.e., breaking the SU (5) global symmetry down to U (1) 4 . By symmetry arguments [1], the classical vacuum equations will be exact and will not receive quantum correction. To study the vacuum equations, without loss of generality, we chose M = diag(m 1 , ..., m 5 ). Now by setting δ W = 0, we find the vacuum equations, First, we try to solve for x = 1 5 Tr(Φ 2 + M ). Since M is diagonal and has distinct eigenvalues, Φ has to be diagonal as well and will have the form, But since we are only interested in Hermitian and traceless Φ, we should have, for any given choice of signs, as well as Now if we take the product of the LHS of Eq. (6.5), we get a polynomial of degree 8 in x, whose roots will be the solutions we are looking for. We cannot find the roots analytically in terms of m i 's, but numerically, the polynomial has either 3 or 5 real roots satisfying condition (6.6). In the generic case, each solution for x gives exactly two solutions for Φ which are related by time reversal. Thus, we have either six or ten isolated supersymmetry vacua in the generic case. We now study the phase with ten vacua and consider domain walls interpolating between these vacua. Naively, we might think that for each pair of vacua out of the ten vacua we have a stable BPS-saturated wall interpolating between them. But it is not always true. Though a BPS-saturated wall minimizes the energy locally, it might not be true globally, i.e., it might be more efficient to first interpolate to an intermediate vacuum and then go to the final vacuum, so a bound state of two BPS-saturated walls might have a lower energy. Thus, for a BPS-saturated wall to be stable, it is necessary to satisfy the following triangle inequality [46], where Σ ij is the central charge of the BPS-saturated wall interpolating between vacuum i and j. In our case, we have a WZ model and the central charges are given by Σ ij = 2(W i − W j ), where W i is the value of the superpotential at the i-th vacuum. According to Morse theory, a wall interpolating between vacuum W i and W j generically has n ij = µ j − µ i zero modes when n ij is positive, and there are no BPS-saturated walls at all when n ij ≤ 0. Thus, to find stable walls W ij between vacua W i < W j , the Morse index must be increasing: µ i < µ j and there must not be any intermediate vacua W k satisfying both conditions W i < W k < W j and µ i < µ k < µ j . Note that for a wall interpolating between vacuum W i and W j , if there exists a vacuum W k with, W i < W k < W j , we have equality in 6.7. We now apply these constraints to study the solutions of the BPS equations. There are ten vacua with values of the superpotentials W 1 < ... < W 10 , and the Morse indices µ 1 , ..., µ 10 . The theory on this wall defines a 2d sigma model with an n ijdimensional manifold as the target space. For this sigma model to have supersymmetry enhancement, it must have at least (2, 0) supersymmetry, which requires the manifold to be even-dimensional. Numerically we find even and odd Morse indices at the vacua, which is incompatible with supersymmetry enhancement.
Thus, there are four BPS-saturated walls that have exactly one modulus: W 1,6 , W 4,5 , W 6,7 , and W 5,10 . This modulus corresponds to the broken translational symmetry, and so the theory on these walls will be the 2d N = (1, 0) theory of a massless scalar and a left-handed fermion. The remaining eight stable walls have an two moduli: , W 9,10 , W 2,8 , W 3,9 , and give a 2d N = (2, 0) theory on the wall.
Hence, in this phase, there is supersymmetry enhancement on the walls, and in the phase with ten isolated vacua there need not be.
In conclusion, we find for the generic relevant deformations of the SU (5) WZ model considered here, there are domain walls with no supersymmetry enhancement. For the undeformed theory, this seems to make the enhancement of supersymmetry very unlikely, despite the fact that all the deformed massless phases have this enhancement in the infrared.
One can conceive a bizarre scenario in which our argument could fail. Note that our domain-wall calculations are only valid in the weak coupling limit, 1 where M is the scale of the mass deformations. So our argument implies that supersymmetry enhancement cannot happen for large masses. However, in the Wilsonian renormalization-group picture, deformations in the UV correspond to deformations of the IR SCFT only for small masses, and therefore one could imagine a scenario with some phase transition as we change the scale of M .
Alternatively, one could imagine that the enhancement occurs and the 1 2 -BPS domain walls of the UV theory correspond to 1 4 -BPS domain wall in the N = 2 SCFT in the IR. However, we argue that this cannot happen: In the UV, the four mass deformations corresponding to the Cartan generators of the SU (5) symmetry must map to some N = 2-preserving deformations in the linear multiplets of the IR SU (5). Moreover, the SU (5) symmetry cannot mix with the U (1) R-symmetry, and the deformed IR theory would consequently have an R-multiplet. We showed in section 4.2 this leads to 1 2 -BPS domain walls with (2,0) or (0,2) supersymmetry.
7 Supersymmetry enhancement from N = 2 to N = 4 Recently there was an interesting proposal [4] claiming that an N = 2 abelian gauge theory with a Chern-Simons term at level − 3 2 coupled to a chiral multiplet of unit charge has N = 4 supersymmetry in the IR. The goal of this section is to deform the theory and consider domain walls. In particular, we deform the N = 2 Lagrangian by an FI term. From the N = 4 point of view, we argue that this deformation corresponds to the new kind of deformation of the N = 4 superalgebra pointed out in [54]. We then show that domain-wall solutions of this deformed N = 4 algebra are necessarily 1 4 -BPS solutions.
Consider the Lagrangian in (2.17) with m = 0 and k = −3/2. The vacuum equations are and the model has two discrete vacua. In the first vacuum, the fields take the values σ = 0 and |φ| 2 = t and in the second σ = 4π 3 t and |φ| 2 = 0. As before, in a domainwall background interpolating between these two vacua, when Z 2 > 0 there are two unbroken bulk supercharges Q + andQ + .
In [4] it was argued that in the IR the theory has an non-Langrangian N = 4 description, and that the U (1) R R-symmetry and the U (1) T topological symmetry of the N = 2 model become the two diagonal SO(2)'s of the SO(4) R R-symmetry of the N = 4 superalgebra. This implies that the multiplet of the U (1) T , namely the fundamental vector-multiplet, combines with the N = 2 stress-tensor multiplet to give the N = 4 stress-tensor multiplet. Therefore, deforming the N = 2 theory by an FI term corresponds to deforming the emergent N = 4 description by a relevant deformation sitting in the stress-tensor multiplet. In [54], it was pointed out that such deformation exists, and it is a singlet under the R-symmetry (see appendix C for an example). Moreover, it was argued that the algebra is deformed as follows where the primed and the unprimed indices correspond to the SO(4) = SU (2) R × SU (2) R R-symmetries whose generators are R ij and R i j . The constant g is the continuous parameter of the deformation. One way to argue that the N = 4 superalgebra is deformed in this way is as follows. Since the deformation is a singlet of the Rsymmetry, just from the index structure the only terms we can write down is the above deformation but with arbitrary coefficients in front of R ij and R i j . Imposing the Jacobi identity, one finds that the two constants must be equal in magnitude and opposite in sign. An important feature of this algebra is that it leads to a gapped theory as it was shown in [54]. This is in agreement with the N = 2 which also does not contain massless degrees of freedom. We can further consider domain-wall backgrounds in the N = 4 language and deform further the algebra as 3) It is more convenient to rewrite the this algebra in SO(4) language where and I, J indices run from one to four, and KLIJ R IJ are the generators of SO(4). All operators above are Hermitian. For an arbitrary background, we can use the SO(4) symmetry to bring R IJ in the canonical form and split the supercharges into two independent groups of four. Unitarity requires that every state created by an arbitrary combination of the above supercharges needs to have non-negative norm. Since the above supercharges are Hermitian, we just need to require that the upper block and lower block of the matrix {Q I α , Q J β } are positive. As in section (4), we consider a domain wall in the x-direction and go to its rest frame where P µ = (−m, 0, 0) and Z µ = (0, 0, Z 2 ). In this set up, the eigenvalues of the matrix are all doubly degenerate and equal m ± g 2 r 2 + Z 2 2 for r = r 1 , r 2 . Demanding that all these eigenvalues are real and positive, we arrive at the following BPS bounds where without loss of generality we choose r ≡ |r 1 | ≥ |r 2 |. An important observation is that for non-zero Z 2 and m, at most one eigenvalue can be zero, namely m− g 2 r 2 + Z 2 2 . This happens when m = √ 2|gr| = √ 2|Z 2 |, saturating the inequalities (7.6). Hence, since each eigenvalue is doubly degenerate (except when |r 1 | = |r 2 |), we find two unbroken supercharges with the same chirality on the domain-wall background; this matches the N = 2 description of the theory exactly.
By analyzing the super-Poincaré algebra, we have found that the domain wall leaves only two unbroken supercharges. However, the situation is more subtle when one analyzes the BPS equations, which in this case are Decomposing ϕ = e iθ |q| into a phase and a magnitude, the second equation implies that the phase can be gauged away by setting A x = ∂ x θ, while the magnitude satisfies As in section 5.2 this set of equations can be rewritten as a gradient flow problem. It is then straightforward to calculate the Morse indices at the two critical points and find 1 and 0. This implies that there is only one modulus, and therefore, only one massless scalar field on the domain wall, which contradicts the fact that there are two unbroken supercharges. We resolve this contradiction by arguing that there is another chiral mode on the wall coming from the gauge field.
To understand the solutions of equations (7.8) we look at the strong coupling limit e → ∞ [79]. In the region where ∂ x σ/e → 0 the solution is Close to the wall, these expressions blow up, and therefore, are valid only for x x 0 where the assumption ∂ x σ/e → 0 still holds. On the other side of the wall for x < x 0 the solution is also not valid since the square root is not real anymore. In this region we must have |q| = 0. We can further take the limit t → ∞ and the above solution implies that on each side of the domain wall the theory is at a vacuum. For x > x 0 the theory is Higgsed, while for x < x 0 the theory is in the coulomb phase with an effective Chern-Simons level after integrating out the fermions. More specifically the theory is in a U (1) −1 gauge theory with a boundary at x = x 0 . Because of the boundary conditions, the Chern-Simons term gives rise to a chiral edge mode [53]. In fact, the condition A 0 − uA y = 0 leads to an edge mode moving in the t + u y direction. In our case, the BPS equations (5.12) require u = 1 leading to a (2, 0) algebra, which is consistent with the arguments that follow from analyzing the algebra.

Summery and Discussion
We have used domain walls as a tool for testing IR dualities and supersymmetry enhancement in the IR. Dual theories supporting domain walls are expected to exhibit the same effective theory in the IR. In certain cases, we analyzed those effective theories and we checked some of the previously proposed dualities. In principle, the logic could also be reversed, and starting from a known duality in the bulk one can derive a new duality for the effective theories on the domain walls in one dimension less [30]. However, typically it is very hard to analyze the effective theory. In our examples the effective theories are free and therefore we were able to analyze them in more detail. In particular we were able to determine the amount of supersymmetry they have as well as the target space.
In the process for studying domain walls, we have also obtained some general results regarding the kinematics of N = 1 theories in three dimensions. In particular, we constructed explicitly the most general stress-tensor multiplet for N = 1 theories by reduction of the N = 2 case studied in [55]. We further wrote down explicitly the S superfield for several models with either N = 1 or N = 2 supersymmetry.
In section 5 we started with the main goal of this paper. After adding deformations, we tested the triality in figure 1 by matching the IR domain-wall theories. In all three cases the effective theory was a chiral (2, 0) sigma model with target space R × S 1 , giving more evidence that these theories are dual. The interesting fact was that while two of these theories have N = 2 manifest supersymmetry in the UV, the third one has only N = 1 and it was conjectured to exhibit supersymmetry enhancement in the IR. Our domain wall analysis actually showed that indeed the theory on the wall has more supersymmetry than just the one inherited from the bulk; this supports the claim that supersymmetry enhances in the IR.
Having argued that the N = 1 WZ model with SU (3) global symmetry in three dimension exhibits this phenomenon of supersymmetry enhancement, one could imagine that a similar phenomenon could happen for other global symmetry groups. However, in section 6 we studied the WZ model with SU (5) WZ symmetry and superpotential W = 1 3 tr(Φ 3 ), and found no supersymmetry enhancement on the domain-wall in certain phases of this theory. Hence we believe that supersymmetry enhancement is very unlikely in this case.
Finally in section 7, we tested the N = 4 supersymmetry enhancement of the N = 2 U (1) − 3 2 theory coupled to a chiral multiplet of unit charge, which was conjectured in [4]. This theory displays two interesting phenomena. First, the FI term in the N = 2 description corresponds to a deformation of the N = 4 language by the R-symmetry generator, recently discussed in [62]. Second, domain walls in this theory interpolate between vacua of different Chern-Simons levels. As a result there is one more zero mode coming from broken gauge symmetry on the wall-this is similar to the quantum Hall-effect.
In conclusion, we have used domain walls as a non-perturbative tool for analyzing certain aspects of the infrared dynamics of strongly coupled theories. Although the phase diagrams already contain a lot of information about the theory, in phases with degenerate vacua, there exists information which can be extracted by studying domain walls. In particular, domain walls can be used to test various proposed dualities, and in supersymmetric cases, they can be used to study the possibility of supersymmetry enhancement in the IR.
We raise and lower spinor indices with the epsilon symbol where For a product of two spinor variables we have The gamma matrices are taken to be (γ µ ) α β := βδ γ µ αδ with where σ i are the usual Pauli matrices. They satisfy Here 012 = −1. A vector with two spinor indices is defined as

A.2 Superspace
Derivatives with respect to θ variables are defined by Our conventions regarding the Hermiticity properties of various quantities are it follows that, as operators, The supercharges acting on superfields are given by (A.14) and they satisfy and have the following hermiticity properties We furthermore define how conjugation acts on a product In our conventions the gamma matrices are real, and therefore, all the fermionic fields are real as well. Integration with respect to the anticommuting coordinates is defined by To make the Langragian (3.23) of the WZ model real, note that we have to include an unusual factor of i in from of the superpotential. Covariant derivatives for N = 1 superspace are taken to be and satisfy the following useful identities We define a real scalar superfiled Φ(x, θ); its components are 25) Superspace for N = 2 supersymmetry can be built out of two copies of N = 1 superspace as This definition leads to the following expression for the covariant derivatives In terms of derivatives there are given by Some very useful identities [80] are

A.3 Super Yang-Mills theory
Now we define the gauge-covariant superderivatives for N = 2 gauge theories following [81]. They satisfy the following algebra Σ is the scalar field strength and in this representation, Both of them can be expressed in terms of the connection and the super-vielbein. Imposing the conventional constraint we fix two components of the super-vielbein, namely For simplicity we focus only at the linearized theory with

C Deformations of a free Hypermultiplet
In three dimensions, the R-symmetry group of N = 4 theories is SO(4) = SU (2) R × SU (2) R . A free hypermultipet in three dimensions consist of four scalar and four fermionic fields and has an additional SU (2) F flavor symmetry. The supersymmetric transformations are simply δϕ a i = α ii ψ i a α , δψ i a α = β,ii ∂ αβ ϕ a i . (C.1) As in the main text i and i are indices or SU (2) R and SU (2) R respectively, while a is an SU (2) F index. As was pointed out in [62], apart from F-terms, the model has two relevant deformations. The first belongs to the supermultiplet of the SU (2) F which in the notation of [62] is the B 1 [0] (2,0) 1 multiplet with lowest componentφ i a ϕ a i . Acting twice with the above supersymmetric transformations, we get the conserved flavor current plus the scalarψ (i (a ψ j ) b) . Furthermore, the transformation of this scalar is a total derivative after we use the equations of motion. Deforming the theory with this term corresponds to adding a real mass to the fermions. However, since we have already used the equations of motion to show that the supersymmetric transformation of this quantity is a total derivative, in principle, we have to modify the transformations as well as to add more terms to the Lagrangian that are higher order terms in the deformation constant. Hence The second relevant deformations belong in the S-multiplet of the N = 4 model, whose lowest component is ϕ a i ϕ i a . In the notation of [62] this is the A 2 [0] (0,0) 1 multiplet. In this case the deformation is an singlet of the R-symmetry, and repeating the above logic we arrive at the following deformation δL = mψ i a ψ a i + m 2 ϕ c i ϕ i c , (C.4) with transformations δϕ a i = α ii ψ i a α , δψ i a α = β,ii ∂ αβ ϕ a i + m ii β ϕ a i . (C.5)