Relevant deformations and c-extremization

We consider RG flows obtained by a relevant deformation from unitary and compact two-dimensional (0,2) SCFTs. We point out that an N=2 super-Kac-Moody algebra present in the UV is preserved by the flow and does not mix with the R-current. On the other hand, a direct sum of N=2 algebras in the UV theory leads to a few complications in determining the IR R-symmetry; nevertheless, in flows without accidental IR symmetries, we determine the IR R-symmetry and show that it maximizes the IR central charge.


JHEP09(2016)169
2 Conserved currents in (0,2) CFT Our starting point for constructing the RG flow is a unitary compact SCFT with (0,2) superconformal invariance. Such a theory will in general have a number of conserved currents that generate a reductive Lie algebra g tot , which consists of a semi-simple component and an abelian component u(1) ⊕rtot . We will focus on this abelian component in what follows.
Unitarity and compactness guarantee that u(1) ⊕rtot = u(1) ⊕r ⊕ u(1) ⊕r , and the conserved currents satisfy∂ where K and K are symmetric positive matrices. It will be convenient to normalize the holomorphic currents so that K αβ = δ αβ .
We have yet to use the assumption of N=2 invariance: we have a superconformal algebra A Vir ⊕ A N =2 sVir , which means that we can organize all of the currents into supersymmetry multiplets.

Superspace and representations for currents
It is convenient to describe these multiplets in terms of a (0,2) superspace, with z a shorthand for (z; z, θ + , θ − ). The superspace coordinates θ ± are labeled by their R-charge, and the global superconformal algebra has the representation Here ∂ = ∂/∂z,∂ = ∂/∂z, and ∂ θ ± = ∂/∂θ ± . The holomorphic currents J α (z) are easily described: they are primary operators of weight (h, h) = (1, 0) and therefore are in the trivial representation of A. The same holds for the holomorphic stress tensor T (z).
On the other hand, the anti-holomorphic currents reside in non-trivial representations of A. Perhaps the most familiar example of this is offered by the superconformal current multiplet of A:

JHEP09(2016)169
J is the R-current, the G ± are the supercurrents, and T is the right-moving stress tensor.
In particular, the supersymmetry charges are the modes G ± −1/2 . If G ± are the only conserved spin 3/2 currents in the theory, then Σ is the unique multiplet with a (0,1) current as the lowest component. A current Jα cannot appear as the top component of a multiplet, because then the lowest component would necessary have scaling dimension 0. In a compact CFT the only such operator is the identity. It is possible for Jα to appear as a middle component of an N=2 multiplet. Once we restrict to abelian currents, the resulting multiplet must necessarily be a short multiplet, either chiral or anti-chiral, because otherwise there would be a (0,1) current charged with respect to the R-symmetry. Thus, when G ± currents are the unique spin 3/2 conserved currents, the remaining abelian (0,1) currents assemble into chiral/antichiral N=2 super Kac-Moody (SKM) multiplets of the form where the ψ i and ψ † ı are anti-holomorphic operators with (h, h) = (0, 1/2), R-charge respectively +1 and −1, and non-vanishing two-point functions where K is a positive Hermitian matrix. Each J i is a complex combination of two of the Jα, and the non-vanishing two-point functions are The K ıi then determine the Kαβ in (2.1). Suppose we have i = 1, . . . , d such multiplets. If d = 1, then we find three abelian right-moving currents: Re J, Im J, and : ψψ † :. For d > 1 the free fermions generate an so(2d) level 1 KM algebra. The N=2 SKM has a Sugawara construction [2,3]. For instance, for d = 1 we obtain the free-field representation familiar from toroidal compactification: This N=2 algebra algebra has central charge c = 3.

A direct sum of N=2 algebras
There is another possibility for the appearance of additional (0,1) abelian currents. Suppose A decomposes into a direct sum of N=2 algebras: A = ⊕ rα =1 Aα. In this case we have r supercurrent multiplets (2.5) The OPE Σα(z 1 )Σβ(z 2 ) is regular unlessα =β, and the sum Σ = α Σα generates the diagonal N=2 algebra; the top component of Σ is the energy momentum tensor of the JHEP09(2016)169 SCFT, i.e. the operator that couples to a background world-sheet metric. The central terms in each of the algebras are fixed by superconformal invariance and the two-point function of the lowest components: More generally, the supercurrent multiplet may be reducible but not necessarily decomposable. 3 In other words, Σ = rα =1 Σα, where the Σα are N=2 quasi-primary but not necessarily commuting operators. Given a reducible supercurrent multiplet, the necessary and sufficient conditions for decomposability into r components are as follows: 1. the OPE of the Σα closes; 2. the Jα are abelian currents with two-point function (2.6); 3. the G ± α carry charges ±δαβ with respect to Jβ; 4. the Tα are Jβ-neutral.
The first condition implies that the algebra is determined by the two-and three-point functions of the Σα. The former are fixed by the second condition and superconformal invariance, while the latter satisfy The supersymmetry relations determine the remaining three-point functions For instance, we have (2.10)

JHEP09(2016)169
The remaining correlators are determined by very similar manipulations. So, although in general the three-point functions of superconformal descendants are not fixed in terms of those of the N=2 primaries, three-point functions of conserved currents can be determined completely by using the current algebra and superconformal invariance. 4 Are there reducible but indecomposable supercurrent multiplets? There is one obvious example: the small N=4 algebra. In this case the charge +2 su(2) current J ++ is the lowest component of a chiral multiplet, where the fermi component is the additional supercharge G ′+ . Similarly, J −− and G ′− reside in an anti-chiral multiplet of the diagonal N=2 algebra. More generally, two-dimensional superconformal algebras are classified under the assumptions that conserved currents have spins in {0, 1/2, 1, 3/2, 2}, a unique energy momentum tensor, and their OPE closes [2,[7][8][9]; a summary may be found in [10].
Some indecomposable examples of N=1 supercurrent multiplets arise in G 2 and Spin (7) holonomy sigma models [11,12]. It would be interesting to describe other reducible but indecomposable supercurrent multiplets of the N=2 algebra, but in this work we will restrict attention to UV fixed points that realize a sum of irreducible N = 2 algebras.
We point out that a supercurrent multiplet Σ with r > 1 components is a counterexample to the assertion that the R-current (i.e. the lowest component of Σ) has vanishing anomaly with any other right-moving current.

Relevant deformations
Having reviewed the structure of symmetry currents in a compact unitary (0,2) SCFT, we now consider (0,2) supersymmetric relevant deformations of the theory. In this section we will show that N=2 SKM multiplets do not participate in the RG flow, and we will also describe the symmetries of the UV theory preserved by a relevant deformation.
As was shown in [13], supersymmetric relevant deformations are in one to one correspondence with chiral primary operators U I with weights h I = q I /2 + 1/2 and h I = q I /2. 5 Here q I < 1 is the R-charge of U I with respect to the diagonal R-symmetry J. When there are multiple N=2 supercurrent multiplets, i.e. r > 1, we can write q I = α qα I , where qα I is the R-charge of U I with respect to the current Jα. The operator U I is chiral primary with respect to the diagonal superconformal algebra if and only if it is chiral primary with respect to each of the simple sub-algebras. Hence, we can assume qα I ≥ 0.
We now argue that supersymmetric relevant deformations are neutral under all rightmoving currents in N=2 SKM multiplets. The only non-irrelevant deformations that involve the degrees of an N=2 SKM multiplet are of the form K(z)ψ(z), where K(z) is a left-moving (1,0) current, and ψ(z) is the lowest component of a chiral N=2 SKM multiplet. Every such operator is marginal at leading order in conformal perturbation theory. This point was already made in [13], but we repeat it here with new emphasis: a supersymmetric JHEP09(2016)169 relevant deformation leaves every N=2 SKM unbroken. These remain symmetries along the flow and of course also at the IR fixed point. Thus, we can and will ignore the N=2 SKM sector in our search for the IR R-current.
Let us determine the symmetries preserved by a supersymmetric relevant deformation that involves some set of operators U I , with I = 1, . . . , N . For this we just need to consider the form of the deformation and classify the currents that remain conserved in the presence of the deformation. The deformation action has the form Denote the conserved charges corresponding to J α and Jα of the undeformed theory by, respectively, Q α and Qα, and consider a general combination of these and is therefore neutral with respect to Q and we will assume that this current remains conserved along the RG flow.

Extremization and the IR R-symmetry
We now assume that the entire RG flow (as opposed to just the infinitesimal deformation) is supersymmetric and leads to a compact unitary CFT in the IR. Furthermore, we assume that the IR R-symmetry arises as a linear combination of the symmetries preserved along the flow. We will show that the particular linear combination is determined by superconformal invariance. The main tool is the same as in [1], i.e. 't Hooft anomaly matching. 6

JHEP09(2016)169
Observe that if the deformation is invariant under a Aβ sub-algebra, then Aβ is preserved along the RG flow and will show up as a summand in the IR superconformal algebra. It will not mix with the superconformal algebra of the "interacting" part of the theory. As we showed above, any N=2 SKM must be such a decoupled summand, but there may be other decoupled factors as well. There is no mystery about the R-symmetry for each of the decoupled factors: it remains exactly the same and never mixes with the "interacting" sector with non-trivial RG flow. So, we can now turn to the remaining R-symmetry question: how do identify the R-symmetry in the interacting sector?
To keep the notation simple we will use the sameα index to refer just to the "interacting sub-algebras;" i.e. for everyα there is some I such that O Iα = 0. With that simplification in hand, taking a look at (3.3), we conclude sβ = s 0 , a constant independent ofβ. Thus, we can simplify (3.3) to r α=1 q α I s α = s 0 (1 − q I ) for all I . When this is satisfied, we have a conserved charge where Q = rα =1 Qα is the diagonal R-charge of the unperturbed theory. We wish the Q[s] to be an R-symmetry along the flow, which requires s 0 = 1. 7 So, packaging the q α I into an N × r matrix L, (L) α I = q α I , we now recast (4.1) as where ρ I = 1 − q I . Therefore a succinct form for the necessary and sufficient condition for the flow to preserve an R-symmetry is We now see that, as promised, a (0,2) supersymmetric deformation of a unitary compact SCFT is only possible if r > 0; otherwise (4.3) implies q I = 1 for all I, i.e. the deformation is marginal. When it exists, the solution for s is ambiguous if dim ker L = n > 0. Fix an orthonormal (with respect to the standard Euclidean metric on R r ) basis {ω 1 , ω 2 , . . . , ω n } for ker L, i.e. ω T i ω j = δ ij . 8 Given any solution to (4.3), say s = σ, we can form a trial solution Our goal is to determine the n parameters t i such that Q[s(t)] is the IR R-symmetry. This is easy once we understand the physical significance of the t i in terms of the structure of JHEP09(2016)169 the conserved currents. For each ω i we obtain in the IR a left-moving KM algebra, while choosing s α = s α (t) in (4.2) will yield the IR R-symmetry. In the IR CFT the left-moving KM symmetries have no mixed anomalies with right-moving KM symmetries. However, since the anomalies are RG-invariant, we can also compute them in the UV theory in terms of the current-current two-point functions. There are two interesting classes of these for us: where To ensure that the trial R-symmetry has no mixed anomalies with the remaining leftmoving symmetries we must choose the parameters t i such that X i = 0. With our chosen normalization z 2 J α (z)J β (0) = δ αβ , this determines Once this is satisfied, the IR R-symmetry is determined. The IR central charge is given by evaluating C(t): The IR R-symmetry maximizes the trial function C(t), and the maximum value is c IR .

Conclusions
We have shown that with our assumptions there is a simplification in the c-extremization of [1], and the two-dimensional R-symmetry is determined much as in N=1 d=4 flows, which maximize a trial function for the central charge a [17]. This observation was inspired by [13], where the c-extremization result of [1] was used to study basins of attraction in (0,2) Landau-Ginzburg (LG) theories. In these asymptotically free RG flows we observed a number of important features. First, we noted empirically that in theories where the quasi-homogeneous superpotential had an isolated minimum, and thus a normalizable ground state, there were no examples of right-moving non-R symmetries in N=2 SKM multiplets. Indeed, whenever the UV theory had an irreducible supercurrent multiplet the quasi-homogeneous superpotential did not admit any symmetries where the mixed anomaly extracted from the two-point function had non-positive eigenvalues. Any RG flow from an SCFT obtained as an IR fixed point of such a LG theory provides an example of the SCFTs considered in this note.

JHEP09(2016)169
The second observation from [13] that bears on the above results is that accidental symmetries that mix with the R-current are to be found even in these (0,2) simple LG flows. We expect this to be a typical feature in (0,2) RG flows. In some cases we expect that unitarity constraints combined with our observation may help to uncover accidental symmetries in non-trivial (0,2) RG flows.