Heterotic surface defects and dualities from 2d/4d indices

Starting with the superconformal indices for 4d N=2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=2 $$\end{document} and N=1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=1 $$\end{document} supersymmetric gauge theories, that are related by superpotential deformation, we perform the contour integrations and isolate the residue contributions which can be attributed to the surface defects. These defects can be interpreted as the IR limit of dynamical vortices. Given the 2d N=22\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=\left(2,2\right) $$\end{document} and N=02\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=\left(0,2\right) $$\end{document} world sheet theories for these surface defects, we then verify this statement by explicitly computing their elliptic genera and identifying their fugacity parameters through superconformal algebras. We show them precisely match, hence extend previous prescriptions for inserting surface defects into 4d supersymmetric partition functions to N=1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=1 $$\end{document} setting. We also study how 4d N=1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=1 $$\end{document} IR dualities descend into the N=02\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=\left(0,2\right) $$\end{document} world sheet theories of their surface defects, and extend the N=22\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=\left(2,2\right) $$\end{document} triality observed earlier to other N=02\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=\left(0,2\right) $$\end{document} surface defects unrelated to dynamical vortices.


Introduction and summary
Over the past few years, we have witnessed tremendous progress in computing partition functions of supersymmetric gauge theories on compact manifolds in different dimensions using localization techniques, depending on the geometry, these exact results encode different useful information. There are many exciting applications such as verifying field theoretic IR dualities e.g. [1,2], the correspondences with 2d CFTs on Riemann surfaces [3] or Chern-Simons theory on hyperbolic three manifolds [4,5]; another interesting class of physical observables which can be studied through these partition functions are co-dimension two defects, which are BPS objects and, in four dimensions, usually called "surface defects". There are various possible surface defects. Generically along their two dimensional world sheet S, part of the bulk 4d gauge group L Ď G is preserved ( L is called "Levi Group"), and their presence can be encoded by the singularities in 4d gauge fields. See for example [6][7][8][9] for recent discussions. As the gauge symmetry breaking occurs in the transverse co-dimensions away from the surface defects, we can parameterize them using JHEP10(2014)004 We will continue our introduction in this section, following [11][12][13][14][15] to review vortices in 4d N " 2 and N " 1 supersymmetric gauge theories and their world sheet descriptions. In section 2, we will explicitly compute the superconformal indices for four dimensional N " 2 and N " 1 supersymmetric gauge theories related by superpotential deformation. In particular, we extract the possible contributions from the vortices/surface defects corresponding to the residues in the contour integration. In section 3, we compute the elliptic genera for the two dimensional N " p2, 2q and N " p0, 2q vortex world sheet theories given in the previous section. Finally in section 4, we identify the 4d and 2d fugacity parameters using superconformal algebras, and match precisely the elliptic genera of the vortex theories with the residues of the 4d superconformal indices for arbitrary ranks of gauge and flavor symmetry groups with appropriate R-charge assignment. From this we demonstrate that 4d Seiberg duality descend to 2d vortex theory as the invariance under the "hopping transformation". Moreover, we also consider other N " p0, 2q surface defects which are unrelated to dynamical vortices, and compute their elliptic genera. Using these data we generalize the Hori-Tong duality for N " p2, 2q theories [38] to N " p0, 2q setting. Meanwhile, combining with the hopping transformation, we also generalize the combination of dualities shown in [8]. In the main text and appendix B, we discuss the factorization of the 4d superconformal indices, which also helps illustrating their saddle points naturally correspond to the surface defects, confirming the earlier matching.

Vortices in four dimensional N " 2 gauge theory
We begin by considering four dimensional N " 2 supersymmetric gauge theory with UpN c q gauge group and N f fundamental flavors. Each N " 2 fundamental hypermultiplet can be decomposed into two copies of N " 1 chiral fields denoted as Q i l andQ l i which transform respectively as pN c , N f q and pN c , N f q under the gauge and flavor symmetry group (1.3). To such matter contents, we need to couple them with the N " 1 UpN c q adjoint chiral multiplet in the N " 2 vector multiplet denoted as A l k : where we have also associated with each flavor a complex mass parameter µ i . We can also regard the complex mass parameters tµ i u as the diagonal vevs of the adjoint scalar in the background vector multiplet for the flavor symmetry, such that they satisfied ř N f i"1 µ i " 0. Finally, UpN c q gauge group contains a non-trivial Abelian factor which allows us to further introduce FI parameter v 2 , and we denote the four dimensional complexified gauge coupling as: In the absence of complex mass parameters tµ i u, this theory enjoys the following gauge and global symmetries: UpN c qˆSUpN f qˆUp1q JˆU p1q r . (1. 3) The mass parameters break SUpN f q global symmetry group down to Up1q N f´1 , while the non-manifesting SUp2q R R-symmetry is broken down to Up1q J by the FI parameter v 2 .

JHEP10(2014)004
Note also that in full quantum theory, in the massless limit, Up1q r symmetry is generically anomalous and broken down to discrete Z p2Nc´N f q subgroup for 2N c ą N f , but only preserved for the superconformal N f " 2N c case. 3 Only Up1q J which is the Cartan subgroup of the SUp2q R symmetry remains the non-anomalous R-symmetry.
We will take N f ą N c . In the absence of complex masses tµ i u, we can have 2N c pN fŃ c q dimensional Higgs branch of vacua. Turning on complex masses such that µ i " ν 2 lift most of these branches, however we can still have isolated vacuum given by setting Q l i " 0 and a l k " diagpµ 1 , µ 2 , . . . , µ Nc q, (1.4) Here a l k is the complex scalar component in A l k , and there are N f ! pN f´Nc q!Nc! such isolated vacua, corresponding to selecting N c out of N f mass parameters to satisfy (1.4). They are called "root of Baryonic Higgs branch", which represent the intersections between Coulomb and Higgs branches. This can be seen from the symmetry breaking pattern in (1.4) and (1.5): On the other hand if ν 2 " µ i , the symmetry breaking pattern becomes: The condition (1.4) represents special loci on the Coulomb branch vacua, along which there are additional N c squarks becoming massless and condense to parameterize the remaining Higgs branch. The symmetry breaking patterns (1.6) and (1.7) tell us that the overall Up1q Ă UpN c q is broken, and Higgs branch can support topological vortices charged under each of N c different diagonal Up1q subgroups, whose topological number can arise from the winding number of the corresponding Q i l with vevs vδ i l . The defining equations for vortices oriented along x 3 and x 4 directions are given by: These equations can be obtained from usual Bogomol'nyi completing the square trick, where the solutions are classified by the winding number k " Tr ş F 12 2π P Z`. It is interesting, however, to also consider the solution to (1.8) in so-called "singular gauge" [13], where Q i l do not wind asymptotically but the flux is supported by the singular gauge field profile: 4

JHEP10(2014)004
Here z " |z|e iϑ , ap|z|q is a radial profile function with asymptotic behavior ap|z|q Ñ 1 2|z| 2 , |z| Ñ 0 and ap|z|q Ñ 0, |z| Ñ 8, and φ l P C Nc defines the gauge orientation modes. This precisely reproduces the desired singular behavior for the gauge field A " αdϑ`. . . corresponding to surface operator insertions at the origin (see for example [7] ). More precisely, surface operators should be regarded as the infra-red limit of the dynamical vortices. However, the four dimensional superconformal indices to be introduced shortly are insensitive to such distinction while these co-dimension two defects will appear as simple poles in the contour integration and give dominant contributions. The two dimensional vortex world sheet theory preserves half of the four dimensional N " 2 supersymmetry and was first found in [11] (see also [12]) using explicit D-brane construction. We can equivalently quantize and supersymmetrize the zero modes fluctuations around the classical vortex solutions, namely translational and orientational zero modes, plus their fermionic partners (see [13] for more details.). Either way, for winding number k, the resultant theory is a N " p2, 2q Upkq gauge theory with the vector multiplet U α β , plus matter contents of an adjoint chiral multiplet Z α β , N c fundamental chiral multiplets Φ a α and N f´Nc anti-fundamental chiral multipletsΦ α j . Finally, we can also combine the two dimensional FI parameter r ą 0 and theta angle ϑ into a complex combination: which can be identified with 4d complex coupling from explicit D-brane construction [11]. We will summarize their transformation properties under the gauge and global symmetry group: UpkqˆSUpN c qˆSUpN f´Nc qˆUp1q cˆU p1q rˆU p1q z (1.11) in table 1. Here Up1q r and Up1q c simply descend from the four dimensional abelian global symmetries (1.3), while Up1q z arises from the rotational symmetry of vortices in x 1´x2 plane. Furthermore, the complex mass parameters tµ i u in 4d superpotential (1.1) become the twisted masses for the N " p2, 2q chiral multiplets, Φ a α andΦ α j , and break the flavor symmetry group down to its maximal torus. The discrete vacua of the vortex world volume theory is given by Here σ α β is the scalar component in the N " p2, 2q Upkq vector multiplet U α β , and there are Nc! pNc´kq!k! such discrete vacua. For completeness, we will later compute the elliptic genus of the N " p2, 2q vortex world volume theory following [8], and we will demonstrate they reproduce identical expression from the residues for the simple poles coming from the hypermultiplets.

Vortices in four dimensional N " 1 gauge theory
We can further break four dimensional N " 2 supersymmetry down to N " 1. One common way is to add a deformation superpotential for the adjoint chiral field A to (1.1) JHEP10(2014)004 to obtain: where WpAq for the time being is an arbitrary holomorphic function for the adjoint scalar in vector multiplet A. Adding WpAq, the Higgs branch solutions get modified into [13]: Furthermore, in order to have topologically stable vortex solutions, it is crucial to imposẽ s i " 0 which restricts the complex mass parameter µ l for given l " 1, 2, . . . , N c to coincide with one of the critical points of Wpxq, i.e.
BWpx " µ l q Bx " 0. (1.17) This implies that to have non-trivial vortices charged under all N c Up1q subgroups of UpN c q, we need to have which ensures (1.16) is satisfied. We can also considerŴpxq of lower degrees, which will allow vortices to be charged only under some of N c Up1q subgroups. We can consider a particular interesting deformation, given by [40]: 19) and let us also turn off tµ i u for the time being. If µ " Λ N "2 , where Λ N "2 is the N " 2 strong coupling scale, we can integrate out Φ to obtain an effective potential. More precisely, the one loop running of the non-Abelian SUpN c q Ă UpN c q gives Λ . Therefore, when we take µ Ñ 8 and Λ N "2 Ñ 0 while keeping fixed Λ N "1 , the physics between Λ N "1 and µ can be described by N " 1 SQCD. Below Λ N "1 , the deformed theory becomes strongly coupled and flows to an interacting infra-red fixed point exhibiting Seiberg duality [1]. Furthermore, one can restore the complex mass parameters and shift A l k to A l k´µ k δ l k in (1.19) to ensure the existence of vortex permitting vacua. 5 We will return to this deformation later when we consider the duality between the vortex world volume theories.
Moreover, we should note that the N " 1 superpotential explicitly breaks the Up1q rˆU p1q J global symmetry inherited from the N " 2 theory. However, for a given WpAq, it can still preserve a Up1q symmetry from the linear combination of Up1q r and JHEP10(2014)004 Up1q J . Although, in full quantum theory, such a Up1q symmetry can still suffer chiral anomaly, if the deformed theory flow to an interacting infra-red fixed point, such as N " 1 SQCD in conformal window discussed earlier, N " 1 superconformal symmetry still demands an Up1q R symmetry to exist, which will arise from the linear combination of global abelian symmetries.
Turning to the vortex world volume theory under such a deformation, from the variations under N " 1 supercharges we can deduce that provided the condition (1.17) is satisfied, the BPS vortex solutions can only be compatible with the chiral N " p0, 2q supersymmetry [13]. We can also see this from the vortex world volume. Let us decompose the field contents of the previous N " p2, 2q vortex theory into N " p0, 2q fields, such that an N " p2, 2q vector multiplet is decomposed into an N " p0, 2q vector multiplet plus an N " p0, 2q chiral multiplet, and an N " p2, 2q chiral multiplet is decomposed into an N " p0, 2q chiral multiplet plus an N " p0, 2q Fermi multiplet. Now if we denote the N " p0, 2q adjoint chiral multiplet which makes up the N " p2, 2q Upkq vector multiplet as Σ α β , it contains σ α β as its scalar component. The four dimensional superpotential in (1.14) now descends to superpotentialŴpΣq for Σ α β , and explicitly breaks the world sheet supersymmetry from N " p2, 2q to N " p0, 2q. As in the bulk 4d theory, the supersymmetric vacuum of the deformed vortex theory can only exist if we supplement the conditions in (1.12) and (1.13) with the following condition: for α equals to one of 1, 2, . . . , k. Clearly the twisted mass parameters tµ α u are subset of tµ l u entering (1.18), which implies that the 4d condition (1.18) is sufficient to ensure (1.20) satisfied. In table 2, we summarize the symmetry group and field contents for the resultant N " p0, 2q vortex world volume theory, and we will also compute its elliptic genus to demonstrate that we can indeed reproduce it from the N " 1 superconformal index.
2 4d N " 2 and N " 1 superconformal indices In this section, we explicitly compute the four dimensional superconformal indices for the N " 2 and N " 1 supersymmetric gauge theories discussed in the previous section, they will be used later to match with the elliptic genera of the vortex world volume theories.

4d N " 2 superconformal index
The four-dimensional N " 2 superconformal index was introduced in [16,17], and it is defined to be a twisted partition function on S 3ˆS1 . Such a index counts the states that are annihilated by a chosen supercharge Q "Q 1´. Following [18], it is defined by: Here j 1,2 label the Cartan charges of the isometry group SUp2q 1ˆS Up2q 2 of S 3 Ă S 1ˆS3 , such that h 12 " j 2`j1 and h 34 " j 2´j1 define respectively the rotational generators on 12

JHEP10(2014)004
and 34 planes, while pR, rq are the Cartan charges of SUp2q RˆU p1q r R-symmetry which are part of SUp2, 2|2q superconformal algebra. The trace in (2.1) is taken over states of the radially quantized conformal theory on S 3 , and only the states satisfying the projection condition: can contribute to (2.1), where E denotes the conformal dimension. In this paper we will also take the fugacity parameters to satisfy |p|, |q|, |t|, |pq{t| ă 1, |a i | " 1.
As a result, the N " 2 superconformal index is independent of the radius of S 1 denoted by β. The complex numbers p, q and t are the fugacity parameters for these symmetry generators commuting with Q and one another, as well as ta i u, the fugacity parameters for the additional flavor symmetries with the generators tf i u. These fugacity parameters also serve as regulators truncating the otherwise infinite number of states satisfying the condition (2.2). For an N " 2 theory which admits weakly coupled Lagrangian description represented at UV fixed point that can be driven to an interacting IR fixed point by relevant perturbation along the RG flow, its N " 2 superconformal index can be computed from certain matrix integral whose integrand is determined by the plethystic exponential of so-called "single particle indices". Explicit computations have been done in e.g. [8,18,19]. For example, for a free hypermultiplet which transform as representation ∆ labeled by a set of fugacity parameters tz R j u under global symmetry group G, the index is Notice that in writing down (2.4), we have also set the R-charges to be pR, rq " p1{2, 0q as required by the scalar field in a free theory which has scaling dimension E " 1. Here we have also introduced the notation Γpx˘; p, qq " Γpx; p, qqΓpx´1; p, qq, while Γpx; p, qq is elliptic gamma function defined in appendix A, where we also collect most of the definitions and identities for elliptic gamma and theta functions used in the main text. We can also consider the N " 2 vector multiplet contribution to the superconformal index, in particular for the gauge group UpN c q: where tz l u are the fugacity parameters for UpN c q gauge group, and the numerator comes from the adjoint chiral multiplet with pR, rq " p0,´1q such that its scaling dimension again takes the free field value 1. Furthermore, T Nc denotes the N c dimensional unit torus. To introduce matter contents into pure Yang-Mills theory, we can gauge the flavor and other global symmetries of a free hypermultiplet, and this amounts to insert (2.4) into (2.5) and

JHEP10(2014)004
perform the integration over the corresponding fugacity parameters. Combining various contributions, we can now write down (2.1) for the four dimensional N " 2 supersymmetric gauge theory with UpN c q gauge theory with N f fundamental hypermultiplets: Γ˜ˆz l a i˙˘? t; p, q¸(2.6) Here tz l u and ta i u are fugacities for UpN c q gauge and SUpN f q flavor global symmetry, while the SUpN f q fugacities satisfy ś N f i"1 a i " 1, and we can obtain UpN c q gauge group from SUpN c q by further gauging Up1q B global symmetry.
Strictly speaking, the Up1q r charge assignments r for various fields in (2.6) should be treated as UV assignments and are only non-anomalous for N f " 2N c as noted earlier when the theory is conformal, the expression in (2.6) should merely be regarded as a twisted partition function on S 1ˆS3 to study the flow between the fixed points. However, as will be discussed in more details in next subsection for N " 1 theories, if the theory does flow to an IR fixed point, generically with different matter contents from the UV theory, there should be a new non-anomalous Up1q r as demanded by N " 2 superconformal algebra which emerges from the mixing of UV Up1q r with other abelian global symmetries such as flavor symmetry. In particular, for our later purpose of comparing the residues of (2.6) with the elliptic genus of the N " p2, 2q vortex theory, it is not necessary to restrict to N f " 2N c , and we will see the same R-charge anomaly in vortex theory, and the exact matching can be achieved with the redefinition of flavor fugacity parameters. Now let us consider the simple poles from the hypermultiplets in (2.6) located at: where 1 ď i l ď N f corresponding to selecting N c out of N f possible flavor fugacity parameters, and there are N f ! pN f´Nc q!Nc! such possible choices. This choice of pole condition (2.7) corresponds to picking up the simple poles from the anti-fundamental chirals in the N " 2 hypermultiplet, and they are located inside the unit circle for the range of our fugacity parameters (2.3). The presence of these simple poles (2.7) which correspond to localization on the Higgs branch is ensured by the N " 2 superpotential (1.1), which prevents Φ and Q{Q simultaneously pick up expectation values. As we will see later the residues of these simple poles correspond to the elliptic genus of the dynamical vortex/surface operators on the Higgs branch, for which we expect the results should be symmetrical under exchanging fundamental and anti-fundamental accompanying with changing the sign of FI-parameter. We can implement this by deforming the contour to include the circle at infinity to enclose the simple poles outside the unit circle at z l " a i l t´1 {2 p´n i l q´m i l instead, which correspond to fundamental chirals. We expect the insertion of appropriate FI term contribution into the superconformal index cure the asymptotic behavior at infinity, see [36] for recent discussion on this issue. Indeed, assuming the contributions from the infinity vanishes, explicitly calculation shows that exchanging the simple poles from fundamental and anti-fundamental amounts to a l Ø 1{a l in the final expression to be presented next.

JHEP10(2014)004
When the complex mass parameters tµ i u vanish, we can regard this condition (2.7) as generalization of the quantization condition considered in [29,30] for the instanton partition functions in Ω background. As discussed in [10], the physical interpretation for the simple poles in N " 2 superconformal index indicates certain new flat directions open up, as parameterized by the vevs of tower of new light spatial-dependent baryonic operators and their holomorphic derivatives. This new tower precisely corresponds to the insertion of two distinct sets of surface operators, and the holomorphic derivates with respect to z " x 1`i x 2 and w " x 3`i x 4 yield the quantized angular momenta carried by them, as indicated by integer power of fugacity parameters pp, qq in (2.7). Furthermore, as both gauge and global symmetries are now partially broken, the residues evaluated at these simple poles compute the index based on the residual super (conformal) symmetries preserved by these surface defects.
Picking the contour enclosing all the non-negative integral value of tn i l , m i l u in the contour integration of (2.6), the result is: Here ti l u " ti l : l " 1, 2, . . . N c u, ti : i " 1, 2, . . . , N f u and ti l u is the complement of subset ti l u, and the function ∆px; q, tq is the ratio of θpx; qq defined in (A.3), which was first introduced in [8]. We see that the expression above is in almost factorizable form into exclusively n i l and m i l dependence, as given by the last two lines above, in fact we will explicitly demonstrate later that they correspond to the elliptic genera for two distinct sets of surface defects inserted in orthogonal x 1,2 and x 3,4 planes, and they interact through the following non-factorizable term in the summation: Clearly if either n i l " 0 or m i l " 0 for all l " 1, 2, . . . , N c , the non-factorizable factor above vanishes identically, while for generic non-vanishing tn i l u and tm i l u and superconformal limit N f " 2N c , clearly we see that we can have factorizable form if we impose:

JHEP10(2014)004
For N f ă 2N c we need to in addition impose i.e. tn i l u and tm i l u are two orthogonal N c dimensional vectors with non-negative entries, for example, we can have tn i l u " p1, 0, 1, 0, . . . , 0q and tm i l u " p0, 2, 0, 0, . . . , 0q. As individual n i l and m i l can be interpreted as the topological charges carried by surface operators under l-th Up1q Cartan subgroup of UpN c q, we can ensure factorization if they are charged under different Up1qs and with equal total topological charges. Let us now consider the combination where tm i l u vanish, and the remaining summation gives: The other copy can be obtained by exchanging the fugacity parameters p and q, and tn i l u and tm i l u. We will later demonstrate that (2.12) precisely coincides with the elliptic genus of the 2d N " p2, 2q vortex world sheet theory discussed earlier, after the identification of 2d and 4d parameters.
Here we also consider N " 2 quiver gauge theory with gauge group SUpN c qˆUpN c q with fugacity parameters tz l u and tz l u such that ś Nc l"1 z l " 1 and bi-fundamental hypermultiplet joining them, for which the corresponding N " 2 superconformal index is given by: and h, y andỹ are fugacity parameters for Up1q global symmetry rotating individual hypermultiplet. In this case, we would like to consider the topological vortices arising from Higgsing the UpN c q gauge group, and this corresponds to considering the simple poles inside the unit circle: z l " z l h´1t 1{2 p n l q m l , l " 1, 2, . . . , N c , n l , m l ě 0, (2.14)

JHEP10(2014)004
and superconformal index (2.13) reduces to If we set all tm l u vanish, N f " N c and x " ht´1 {2ỹ , we recover the equation (6.4) of [8] for the insertion of surface operators into N " 2 superconformal field theory, through such systematic higgsing of quiver gauge group. This is the first evidence that the residues in superconformal index precisely yield the elliptic genus of the corresponding surface defects.

4d N " 1 superconformal index
We can also analogously introduce the four dimensional N " 1 superconformal index from the SUp2, 2|1q superconformal algebra, which is given by [39]: such that the index only counts the protected states satisfying the projection condition: wherer denotes the N " 1 R-charge. One should note that while in free UV fixed point we can assign R-charge to free field to be 2{3 so that it has scaling dimension E " 1, the Up1q R charge denoted asr entering (2.16) should be the non-anomalous one appearing at the infra-red fixed point. The Up1q R Ă SUp2, 2|1q appearing in the IR fixed point arises from mixing with other global symmetries, i.e.
wherer 0 is the UV Up1q R charge and the real coefficients ts i u are determined through a-maximization principle [42]. Substituting back into (2.16), we obtain so the computation for the superconformal index can still be performed with UV R-charge assignments when the definition of flavor fugacity parameters are shifted as a i Ñ a i ppqq s i {2 . See [43] for more detailed discussion on this issue.

JHEP10(2014)004
More explicitly, for an N " 1 chiral multiplet transforming as the representation ∆ labeled by fugacity parameters tz R j u under symmetry group G and carries Up1q R chargẽ r, its contribution to (2.16) is given by: (2.20) From the inversion identity for elliptic gamma function (A.4), we can also deduce that if the superpotential contains complex mass term " µ iQi Q i for a pair of N " 1 fundamental and anti-fundamental chiral multiplets, their contributions precisely cancel each other. Finally we can also write down the N " 1 vector multiplet contribution to (2.16) for UpN c q gauge group: where the theta function is defined in (A.2) and we have used the identity: Directly combining all contributions, we can evaluate the N " 1 superconformal index for various theories.
As we mostly consider breaking the four dimensional N " 2 supersymmetry to N " 1 supersymmetry via superpotential WpAq in this work, we would like to relate the N " 1 and N " 2 superconformal indices (2.16) and (2.1) by identifying their parameters. First we notice from the projection conditions (2.2) and (2.17), 6 for the two different indices to count the same set of states, we need to identify their R-charges as: Next let us consider the superconformal limit N f " 2N c and µ i " 0 in (2.6), and add the relevant mass term deformation (1.19) to such a UV fixed point. This drives the theory to N " 1 SQCD but now with an additional quartic superpotential " µ´1QQQQ after integrating out the adjoint field A a b due to the N " 2 superpotential (1.1). As noted in [39] that if we set t " ppqq 1{2 in the N " 2 superconformal index, the adjoint chiral multiplet contribution in the numerator now becomes unity using the inversion identity (A.4), while the remaining hypermultiplet becomes a pair of N " 1 fundamental and anti-fundamental chiral multiplets with Up1q R -charger A " 1{2. Notice this reflects the quartic superpotential 6 As explained in [39] there are in fact two inequivalent choices for the N " 1 superconformal choices called "left-handed" and "right-handed", corresponding to the different choices of supercharges and counting only anti-chiral and chiral multiplet contribution. Here we selected the right-handed index in (2.16) in order to match the choice of supercharge made in (2.1).

JHEP10(2014)004
being marginal, and it is also non-anomalous charge assignment at the IR fixed point which differs from the UV free field R-charge value of 2{3.
We propose that this reduction of the fugacity parameters should be a special case for the general supersymmetry breaking superpotential given byŴpAq " µ K`1 K`1 TrpA K`1 q, and we can impose its effect by setting: (2.24) The numerator in superconformal index (2.6) now reduces instead to that of an N " 1 adjoint chiral multiplet with Up1q R charger A " 2 K`1 , while the remaining hypermultiplets become pairs of N " 1 fundamental and anti-fundamental chiral multiplet withr f " K K`1 , these charge assignments descend from the charge constraint imposed by the N " 2 superpotential (2.27). For N f " 2N c , these Up1q R charge assignments are again nonanomalous, such that the anomaly free condition: is identically satisfied, the resultant expression precisely corresponds to the N " 1 superconformal index for the electric theory of Kutasov-Schwimmer dualities with N f " 2N c [2], subjected to additional marginal N " 2 superpotential deformation (1.1). For N f ă 2N c , the effective theory obtained from integrating out A l k only serves the intermediate step in the RG flow, and the R-charge assigned to fundamental and anti-fundamental chiral multiplets obtained from imposing (2.24) can be regarded asr 0 which can mix with flavor symmetries, while the R-charge for the integrated out A l k is freezes atr A " 2 K`1 as it does not mix with flavor symmetries. When the theory flows further to the deep infra-red fixed point, the anomalous UV Up1q R charge K K`1 of the fundamental and anti-fundamental are modified to the non-anomalous Up1q R charger f " 1´2 K`1 Nc N f through flavor symmetry mixing.
More explicitly, let us now write down the N " 1 superconformal index for the theory deformed by the superpotential WpAq: pp; pq Nc 8 pq; qq Nc From the perspective of the UV Lagrangian, while the value ofr A depends on the precise superpotential deformation, the Up1q R charge assignment here needs to satisfy: We can interpret this condition on Up1q R charges of different N " 1 chiral fields as being preserved by the explicit UV N " 2 superpotential (1.1), even though these assignments

JHEP10(2014)004
are generically anomalous and need to be modified to non-anomalous values at IR fixed point. The contour integral in (2.26) has the simple poles at the following values: z l " a i l ppqqr af {2 p n i l q m i l , n i l , m i l ě 0, (2.28) which again correspond to saddle points on Higgs branch, and we expect their residues to be matched with the elliptic genus of N " p0, 2q vortex theory to be presented in the next section. After performing similar calculation as in the N " 2 case, the final expression is given by: which can also be recovered directly from (2.8) by setting t " ppqq 1´r A {2 , and we notice that the factorization conditions are the same as given in (2.10) and (2.11). In the next section, we will also compute explicitly the elliptic genus for the N " p0, 2q vortex world sheet theory obtained from the deformation of N " p2, 2q theory described earlier [13,14], and demonstrate that it precisely coincides with the second and third lines above after identifications of parameters.
3 2d N " p2, 2q and N " p0, 2q elliptic genera for vortex world sheet theories Let us now introduce the superconformal indices for 2d N " p2, 2q and N " p0, 2q gauge theories, which are twisted partition function on T 2 " S 1ˆS1 or "elliptic genus". Beginning with N " p2, 2q depending on the boundary conditions, we can define this quantity in two different ways such that it counts only NSNS or RR sector. However, if the theory considered flows to an IR superconformal fixed point, we expect the two definitions can be related up to a pre-factor via spectral flow. Here we follow [8,35] to choose right moving supercharge G " GŔ in the N " p2, 2q superconformal algebra so that the elliptic genus only counts the NSNS sector: where the H L and J L denote the left-moving conformal dimension and left-moving Up1q Rsymmetry generator, commuting with a chosen supercharge G. The parameter q " e 2πiτ JHEP10(2014)004 whereτ "τ 1`iτ2 is the complex structure modulus of T 2 , while y is the fugacity parameter for J L , and ta i u are the fugacity parameters for the remaining flavor symmetries. The trace is taken over the states satisfying the condition: where H R and J R are respectively right-moving counterparts of H L and J L . The choice of G " GŔ in defining (3.1) will be justified when we consider how N " p2, 2q and N " p0, 2q superconformal algebras can be embedding into those of 4d N " 2 and N " 1 respectively. Notice that at the fixed point, N " p2, 2q superconformal algebra dictates that there should be two non-anomalous Up1q R-symmetries, and they should again come from the linear combinations of UV R-symmetries and other flavor symmetries. We can analogously define the elliptic genus for the 2d N " p0, 2q gauge theory, preserving only the the right-moving supersymmetries, which is enhanced to N " p0, 2q superconformal symmetries when the theory flows to an infra-red fixed point. The main distinction now is that the R-symmetry is only present in the right-moving sector, so the definition for superconformal index becomes where the H L is still the left-moving conformal dimension which commutes with the supercharge, and the index only counts the states satisfying: In next section we will embed 2d N " p2, 2q or N " p0, 2q superconformal algebra respectively into 4d N " 2 or N " 1 superconformal algebras, this allows us to precisely identify the fugacity parameters for the 2d and 4d theories, and demonstrate the residue of 4d superconformal indices indeed reduce to the elliptic genera of 2d vortex theories.
3.1 N " p2, 2q and N " p0, 2q vortex partition functions Let us now compute the elliptic genus for the N " p2, 2q k-vortex world sheet theory considered in section 1.1. We first summarize below the transformation properties of the matter contents under the gauge and global symmetry group in table 1. The elliptic genus for N " p2, 2q Upkq gauge theory with these matter contents is given by: 7 The special case of N f " 2Nc has been computed in [8].

JHEP10(2014)004
Up1q z 0 0´1 where k denotes total vortex number, κ 2 " pq;qq 2 8 θpt,qq , c and d denote the fugacity parameters for global Up1q c and Up1q Z respectively, and we have rewritten the fugacity parameter for the left-moving R-symmetry as y " q 1{2 {t. We have also used the function ∆px; q, tq defined in (A.3), where the first ratio corresponds to contributions from N " p2, 2q vector multiplet and adjoint chiral multiplet Z α β , and the remainder come from the fundamental and anti-fundamental N " p2, 2q chiral multiplets. Notice that under the shift x α Ñ qx α , the integral is invariant up to an overall factor ptq N f´2 Nc , which implies that integrand is only an elliptic function of x α for N f " 2N c , and signals the breaking down of Up1q r as generated by J L to discrete subgroup Z 2Nc´N f , and we should again regard (3.5) formally as a twisted partition function on S 1ˆS1 . In fact, this symmetry breaking pattern is precisely inherited from the bulk 4d N " 2 theory, and we also expect the parameters R f and R af to take the non-anomalous values if the theory flows to infra-red fixed point when mixes with other global abelian symmetries. When we consider the simple poles from the N " p2, 2q adjoint chiral multiplet, they can be classified by length N c partitions of k, i.e. tn l u such that ř Nc l"1n l " k, and we can split tx α u into N c different sets: When we evaluate the residues at each of these simple poles, each of them corresponds to a Higgs vacuum of the N " p2, 2q vortex theory. The 2d N " p2, 2q vortex world volume theory now reduces into: Notice that in our calculation we have also introduced an additional global symmetry Up1q c as discussed earlier, which can be generated from appropriate linear combinations of h 34 ,
r and R. However, its fugacity parameter c merely appears as a spectator in the elliptic genus computation, and we can absorb it by overall shift of flavor fugacity parameters. As a direct extension, we can also compute the elliptic genus for N " p0, 2q vortex theory, which can be viewed as a descendant of the N " p2, 2q vortex theory as 4d case discussed earlier. The breaking of supersymmetry is done by turning on the superpotential for adjoint scalar in N " p2, 2q vector multiplet. Recall that, in 4d theories, we incorporate the effect of SUSY breaking superpotential by setting t " ppqq 1´r A 2 , and the transformation properties of the matter fields under the residual R-symmetry are related by a single parameterr A . This inspires us to consider the resultant N " p0, 2q vortex theory whose matter contents have global symmetry transformation properties related by one parameter λ as listed in table 2. In particular, notice that λ enters the charge assignments for both Up1q Z and Up1q R , respectively labeled by fugacity parameters d and q 1{2 , indicating that we are only having one independent global Up1q symmetry. The elliptic genus for the N " p0, 2q vortex theory with these field contents can be written down as: Again if we consider the shift x α Ñ qx α , we notice that the integrand above picks up an overall factor r´d λ 2 q λ s N f´2 Nc . This again implies the breaking of certain linear combination of global Up1q symmetries with fugacity parameter d λ 2 q λ down to discrete Z N f´2 Nc . However, if the theory flows to a superconformal fixed point, there needs to be an nonanomalous Up1q R-symmetry completing the N " p0, 2q superconformal algebra. We can again perform the contour integration as in the N " p2, 2q case, where the simple poles are classified by length N c partitions of k i.e. tn l u such that ř Nc l"1n i " k:

JHEP10(2014)004
Summing up all the residues, the corresponding 2d N " p0, 2q elliptic genus reduces to: (3.10) Interestingly, we notice that as its 4d counterparts, we can recover (3.10) from (3.7) by setting t " d λ 2 q λ , also setting pR f ; R af q " ph f ; h af q. In the next section, we will also compare this expression with the residues obtained from the N " 1 superconformal index (2.29).
Here we would like to obtain the elliptic genus for the vortex world sheet theory that would arise from the 4d N " 1 superconformal index of Seiberg/Kutasov-Schwimmer magnetic dual theories plus deformation (1.1). First, we note that the additional gauge singlet meson chiral fields proposed by these dualities are merely spectators which do not enter the contour integration, this allows us to recycle the calculation earlier and change the rank of 4d gauge group as N c ÑÑ c " KN f´Nc . Now similar discussion tells us that the resultant 2d vortex theory obtained here possesses flavor symmetry group SUpÑ c qˆSUpN f´Ñc q, which sets constraint: N f´Ñc ě 0 or N c ě pK´1qN f . Moreover, we also need N f ě N c for the vortex theory to exist in the deformed electric theory. As a result, we conclude that we need K " 1 for vortices to exist in both deformed electric and magnetic theories. 8 For this caseÑ c " N f´Nc , we are effectively considering the vortices in 4d N " 1 SQCD with UpÑ c q and N f flavors, plus superpotential (1.1), the elliptic genus of the corresponding N " p0, 2q vortex theory can be written down analogously as: 9 8 Another way to view this constraint is for the Higgs branches to exist in both electric and magnetic theories, which are needed for the dynamical vortices to exist. 9 Here we have also assumed the same topological charge k.

JHEP10(2014)004
Similar calculation as before yields the following summation over the residues: The vacua are now classified by length N F´Nc partitions of k i.e. tn 1 j u s.t.

Matching 2d and 4d indices and new 2d dualities
From the calculations in the last two sections, we found that the 2d and 4d superconformal indices share almost identical functional forms. In this section, on the other hand, we match them precisely by identifying the 2d and 4d fugacity parameters through their superconformal algebras. We will also rewrite the integrands in 4d superconformal indices into exponential form, and demonstrate that it can be factorized into two copies of four dimensional twisted superpotential on T 2ˆR2 considered in [45]. The natural fixed points in the localization computation correspond to surface operators wrapping on two intersecting T 2 s. We then consider the elliptic genera for the N " p0, 2q vortex theories in a pair of 4d N " 1 supersymmetirc theories connected by the Seiberg duality, and verify that they are related through a new N " p0, 2q duality, similar to non-abelian "Hopping transition". For comparison, we also present the Seiberg like duality directly for the 2d N " p0, 2q world volume theory.

Embedding 2d superconformal algebras into 4d
Let us begin our discussion by recalling some basic facts about superconformal algebras used in computing 4d superconformal indices and 2d elliptic genera following [8,19,39], and their connections. For N " 2 superconformal index, it counts the states which have vanishing value for one of the following eight combinations of conserved quantities: δ 1˘" E˘ph 12´h34 q´2R´r, δ 2˘" E˘ph 12´h34 q`2R´r, δ 1 9 " E˘ph 12`h34 q´2R`r,δ 2 9 " E˘ph 12`h34 q`2R`r, where we have used 2j 1 " h 12´h34 and 2j 2 " h 12`h34 . Choosing a projection condition from above is equivalent to choosing a supercharge used in localization computation. Similarly for N " 1 superconformal index, we have the the following four possible choices of projection conditions: Recall in section 2, we started from selectingδ 1´i n (2.2) to compute N " 2 superconformal index and then broke supersymmetry down to N " 1, for which consistency from the JHEP10(2014)004 angular momentum requires us to choose δ R´f rom (4.2) 10 and the subsequent identification of R-charges (2.23) at superconformal fixed point. We next consider the four possible projection conditions in the computation of elliptic genus of N " p2, 2q vortex theory, which are given by: Finally for the elliptic genus of N " p0, 2q vortex theory, there are two possible projection conditions: δ As in the 4d cases, we need to consistently pick the projection conditions (3.2) and (3.4) while the theories involved are again related by superpotential deformation. In order to match the 4d/2d fugacity parameters with respect to these projection conditions, there are two equivalent ways to identify the conserved quantities in 4d N " 2 and 2d N " p2, 2q theories following [8], i.e.
They precisely correspond to two complementary ways to insert co-dimension two defects into two orthogonal planes x 1,2 and x 3,4 . Let us consider first the surface operator in x 1,2 plane with identification given by (4.5), where h 12 now descends as the angular momentum in the 2d world sheet of the surface defect labeled by q while the transverse angular momentum h 34 now mixes with pR, rq to give the 2d Up1q R generator J R . Finally from parameter counting, we also need another 2d fugacity parameter d to be generated by the linear combination R`h 34 and we denote this symmetry as Up1q z . Simple algebra then shows that modulo additional flavor symmetries, we can identify the 2d and 4d fugacity parameters as: Now if we compare the expressions in (2.12) and (3.7), we can identify them precisely by setting: 11 n α "n l , a α " a l , a j p´1 " b j´q t¯R f`Raf (4.8) and noticing that α P ti l u and j P ti l u, l " 1, . . . , N c . We can make similar identification for the other set of surface operators inserted in x 3,4 plane by exchanging p Ø q. Consequently, we have thus successfully confirmed that for arbitrary pN c , N f q, the theta-function dependent parts of the residues of N " 2 superconformal indices reduce to two copies of the elliptic genus of the N " p2, 2q vortex world sheet theory. We can also perform analogous analysis to match the fugacity parameters in 4d N " 1 superconformal index and 2d N " p0, 2q elliptic genus, where we need additional 2d fugacity 10 Note that we exchanged the left and right handiness from [39], in order to have consistent notation between 2d and 4d. 11 We have set the fugacity for Up1qc symmetry c to 1.

JHEP10(2014)004
parameter e which is generated by h 34`r 2 from the parameter counting. As a result, we have: q " q, e " p q 1{2 . (4.9) Now if we recall that we implemented the effect of 4d supersymmetry breaking superpotential by setting t " ppqq 1´r A 2 , (4.7) tell us the analogous 2d effect is to setting t " d λ 2 q λ as noted earlier. Furthermore, to match the residues in one of the last two lines of integrated N " 1 superconformal index (2.29) with the N " p0, 2q elliptic genus (3.10), we need to further identify the parameters: (4.10) along with the following: 12 where α P ti l u and j P ti l u, l " 1, . . . , N c . Again we have shown that for arbitrary pN f , N c q, provided the R-charge constraint from superpotential (2.27) is satisfied, the theta function dependent parts of the residue of N " 1 superconformal index coincide with two copies of the elliptic genus of the N " p0, 2q vortex theory.
Let us now recall that to have precise 4d N " 1 Seiberg duality, we also need to assign non-anomalous Up1q R charges to the matter fields in the electric and magnetic theories, and this constraint can be satisfied simultaneously in the presence of deformation (1.1) if N f " 2N c orÑ c " N c . In such a limit, the elliptic genera for the N " p0, 2q vortex theories in deformed electric/magnetic theories, (3.10) and (3.12), are mapped into each other under ta l ; b j u Ø t1{ã l ; 1{b j u transformation, and we see that the statement of N " 1 4d Seiberg duality now descends down to their N " p0, 2q vortex theories as the invariance of its elliptic genus under "hopping" along the quiver nodes, as illustrated in figure 1. We can also regard this as a statement that the "self-adjointness" of the difference operator, corresponding to the insertion of vortices into 4d N " 2 superconformal index, still holds under the breaking down to N " 1.
We can also understand the structure of the 4d superconformal index and the matching with 2d elliptic genus by rewriting the integrand in (2.6) into manifestly factorizable form. While relegating most of the calculation details in a self-contained appendix B, we present the final result here: 2πb∆¯`L i 2´m´e 2πbpσ k´σl`s ´2∆q qL i 2´m´e 2πbpσ k´σl`s q q¯ı1 JHEP10(2014)004  Li 2´m´e 2πbp´σ l`mi`∆ q q¯´Li 2´m´e 2πbp´σ l`mi q qL i 2´m´e 2πb∆ q¯`Li 2´m´e 2πbp´σ l`mi`i pb´1´Jq`s q qL i 2´m´e 2πbp´σ l`mi`i pb´1´Jq`s ´2∆q q¯ı˙* tb Ñ b´1u. (4.12) In above, we have defined the following parameters: q " e 2πib 2 , z l " e 2πiσ l , log pq t (4.13) and the phase factor Frtσ l u, tm i us is defined to be Other than the phase factor Fptσ l u; tm i uq, we have factorized the integrand into purely b and 1{b dependent pieces under the changes of variables (4.13). It is explained in more details in appendix B that due to the presence of background fluxes which deform S 3 into three dimensional ellipsoid S 3 b , we can regard the 4d superconformal indices as the partition functions onS 1ˆS3 b , whereS 1 is a trivially fibered circle over S 3 b , whose radiusr 1 depends on the 3d deformation parameter b as defined in (B.2). Now we recall from [21,22] that the partition function on S 3 b [20] can be factorized into two copies of twisted partition functions on S 1ˆq D 2 , glued together by the so-called "S-fusion" mapping b Ñ 1{b or q " e 2iπb 2 Ñq " e 2iπ{b 2 . It has been explicitly shown in [23][24][25] that each copy of partition function on S 1ˆq D 2 can be reproduced by summing over BPS vortices (anti-vortices) wrapping along S 1 , which is sometimes called "Higgs branch" localization as the fixed points now precisely correspond to these vortices on Higgs branch. Now adding another trivially fiberedS 1 , we are promoting the the world volumes of vortices into a pair of two tori, whose complex structure modulus can be given by either p " e´2 π b or q " e´2 π {b , namely the surface operators which we have been dealing with. Note that the two different surface operators actually intersect on a commonS 1 , and we expect their interaction giving rise to the non-factorizable phase factor Fptσ l u; tm l uq, as in the Abelian case where such a factor (proportional to pq t ) can be generated by Chern-Simons like interaction between "linked vortices" [10]. It would be interesting to understand the origin of this phase factor in the non-Abelian theories better, as it is responsible for the non-factorizable factors (2.9) encountered in the earlier section.

Hori-Tong duality for N " p0, 2q theory
Here we also consider the Seiberg-like duality in two dimensions, focusing on the theories with two supercharges, i.e 2d N " p0, 2q theories and their elliptic genera. For original Seiberg-like duality in N " p2, 2q theories (sometimes also known as Hori-Tong Duality [38]), there are generally singlet meson fields appear in the dual magnetic theories. However, here as in the 2d vortex theories discussed earlier, we introduce polynomial superpotential for the N " p2, 2q vector multiplets in these theories and break supersymmetry explicitly down to N " p0, 2q. We will see that similar duality still holds and there are additional "meson Fermi multiplets" appearing in the resultant dual magnetic theory. Starting from the electric theory whose matter contents and their symmetry properties are listed in table 3, denoting the fugacity for flavor symmetries SUpN q AˆS UpN q BˆU p1q c as pa l , b l , cq, we can write down the index: Up1q R 2h f p1´λq R Q`2 λ´1 2h af p1´λq RQ`2λ´1 2λ Table 3. Field contents of N " p0, 2q electric theory, where R Q " 2h f p1´λq and RQ " 2h af p1´λq.
By taking the poles from the the fundamental chiral multiplets, we evaluate the residue at which the poles satisfy the following condition, by picking M out of the N possible choices: Here we again use the notations of tl α u and tl α u to denote the chosen part and its complement. The contour integration now reduces to a summation of residues at simple poles: Electric " To make it more symmetrical to read off the duality, one can use a theta function identity θpzq; qq " θpz´1; qq to rewrite the first factor above into (for fixed subscript k): q ph f`haf qpλ´1q`1 rd´λ 2 q´λs; q¯.

JHEP10(2014)004
Now we can consider the elliptic genus for the dual magnetic theory, also obtained from the superpotential deformation, we first consider changing the rank of gauge group N Ñ N´M to obtain:

4.19)
Now by applying the identity (4.18), we can write down the relation for these two theories: Electric " I M pa, b, c; qq (4.20) whereã l :" 1{a lbl :" 1{b lc 2 :" c´2d pph f`haf q´1 2 qλ q p2ph f`haf q´1qpλ´1q . On the right hand side, the extra ratio now corresponds to the singlet chiral meson fields M k l and "mesonic Fermi multiplets M k Λ,l ", while the symmetry properties of the fields in this theory are now summarized in table 4. The duality relation (4.20) tells us that the N " p0, 2q UpM q gauge theory is dual to UpN´M q gauge theory with the same number N of matter fields plus additional singlet meson fields. As only fermionic superpotential couplings are allowed in N " p0, 2q theory, we expect the existence of superpotential coupling of the form WpM, q,qq " q i M ijqΛ,j`qi M Λ,ijqj`qΛ,i M ijqj and the R-charge assignment above reflect this, as each term in the superpotential now summed up to 1. Furthermore, such a N " p0, 2q superpotential can also be deduced by decomposing the N " p2, 2q meson superpotential into p0, 2q components. We have thus generalized the Hori-Tong duality to the N " p0, 2q theories via superpotential deformation.

Coupling N " p0, 2q duality to 4d theory
In the previous sections, we have demonstrated how to obtain 2d surface operators which can be interpreted as the IR limit of dynamical vortices, from the residue of 4d superconformal indices. Moreover, from the residues for the quiver gauge theories, we can embed this class of surface defects to 4d gauge theory by gauging their flavor symmetries to become part of the 4d gauge group. However we can also apply the gauging procedure to couple other surface defects which do not correspond to IR limit of dynamical vortices, but rather appear as the boundary conditions for the bulk fields on two out of four dimensions, as done in [8] for coupling 2d N " p2, 2q gauge theories to 4d N " 2 Superconformal QCD. In particular, this allows us to beautifully re-interpret 2d Hori-Tong duality involving N " p2, 2q SQCD as the invariance of the corresponding surface defects under the generalized S-duality transformation of bulk 4d N " 2 superconformal field theories, and JHEP10(2014)004 Table 4. Field contents of N " p0, 2q magnetic theory, R M " 2ph f`haf´1 qpλ´1q.
we can combined the actions of hopping transformation and Hori-Tong duality to relate three distinct N " p2, 2q theories. Here we would like to couple the theories involved in the generalized 2d N " p0, 2q Hori-Tong duality discussed in the last section, to the 4d N " 1 gauge theory, which can be reproduced by SUSY breaking superpotential from N " 2 superoconformal QCD. We will see that the aforementioned connections among three distinct N " p2, 2q theories still survives under such superpotential deformation.
To do so, we need to first apply 2d/4d fugacity parameter mapping q " q, d λ 2 q λ " ppqqr A 2 and to identify one of the 2d flavor fugacity a l with the parameter z l , i.e. I Electric " I M pa " z, b " b, cq. Insetting this into N " 1 superconformal index for the superpotential deformed theory (2.26), we also need to change the gauge group from UpN q to SUpN q, also set N f " 2N and impose the R-charge constraint (2.27). Without ambiguity and for simplicity, we drop pp; qq in elliptic gamma function, denoting Γpz; p, qq " Γpzq we thus obtain: We conclude that the three equivalent 2d-4d coupled theories present above can be connected by the combination of N " p0, 2q generalization of the N " p2, 2q Hori-Tong duality and "Hopping transformation" considered in [8], as illustrated in figure 2.
Now we can regard the infinite product over "l" as coming from the KK mode running around the additionalS 1 fiber. For each fixed l, there actually exists a copy of double-sine function, and "l" itself can be read as mass of KK mode. Excluding the overall phase factor, we can see this by multiplying all the factors above by´ipr 3 {r 1 q to obtain: Comparing with the double-sine definition: we have: As a result, the elliptic Gamma function can now be written as infinite product of double sine functions: Γpe 2πir 1 u ; e 2πir 1 ω 1 , e 2πir 1 ω 2 q " exp "´i π 3 B 33 pr 1 u|1,r 1 ω 1 ,r 1 ω 2 q  ź lPZ s bˆcb`l r 1 r 3´u r 3( B.10) As both vector and chiral/hypermultiplet contributions to the 4d superconformal indices can all be expressed in terms of elliptic gamma function Γpx; p, qq, while their 3d counterparts are expressed in terms of double sine function s b pxq [20], up to an overall phase, we can therefore regard 4d superconformal index as constructed from summing over infinite number of 3d fields on the ellipsoid S 3 b , each labeled by KK mode number l P Z.

JHEP10(2014)004
On the other hand, we here recall that double-sine function s b pxq can be further decomposed into two copies of "holomorphic blocks" [21,22] which are partition function defined on S 1ˆq D 2 where q " e 2πib 2 is the complex structure modulus of the boundary two torus. The two holomorphic blocks are then glued together via S-fusion rule, S : q " e 2πib 2 Ñq " e 2πi{b 2 as: 1`e 2πib 2 pr`1 2 q e 2πbpc b´z q 1`e 2πib´2p´r´1 2 q e 2πb´1pc b´z q " e´i where px; qq 8 " ś 8 r"0 p1´xq r q is the Pochhammer symbol. So again double sine functions s b p˘c b´z q factorize into purely q andq dependent parts up to an overall phase, for which one can further shows that this phase can also be factorized by the following identity for general case: S , x " exppXq (B.12) where C and # denote some constant and integer which depends on different ways of factorization and can be absorbed by ||pq; qq 8 || 2 S "´2 π log q C 2 . For more details and subtleties about factorization, we refer interested readers to [21][22][23]. On the other hand, let us now focus on the overall phase factor in (B.10). By explicitly using the relations in (B.1) and (B.2), we can factorize B 33 into purely b and 1{b dependence, with "r 1 {r 3 and r 1 u "ũ: We conclude that the elliptic Gamma function is factorizable into purely b and 1{b dependent parts, and each part also contains infinite number of KK modes alongS 1 , where we can regard the total factorized products as two copies of partition function for a 4d field defined on D 2ˆT 2 glued together via S-fusion.

B.2 Rewriting N " 2 superconformal index into twisted superpotential
After general discussion in previous section, we perform the concept concretely by considering N " 2 SQCD as the case we did in section 2:

JHEP10(2014)004
Now substituting the redefinition of parameters in (4.13) and applying (B.10), we can rewrite the contour integral into following alternative form: Let us pause here to discuss what we want to identify as the "holomorphic parameters" and the "anti-holomorphic parameters". Recall that we have two complementary ways to insert a two torus T 2 into four dimensions corresponds to two different parameter matching conditions (4.5) and (4.6), which give the matching of 2d and 4d fugacity parameters (4.7) and its counterpart under p Ø q exchange: These inspire us to consider the following two sets of combinations of parameters in the holomorphic copy and anti-holomorphic copy respectively, which are exchanged under b Ø b´1: Holomorphic : pib, c b´i J, ib´1´iJq, (B.17) Anti´holomorphic : pib´1, c b´i J, ib´iJq, (B.18) For simplicity, in the following, we define ∆ " c b´i J and factorize the integrand into blocks characterized by above two categories of parameters. We focus on the double-sine function part first. Contribution from the vector multiplet, accompanied by (B.11) and (B.12), can be regulated into S-fusion of two holomorphic blocks. Furthermore, to rewrite them into the twisted superpotential form, we use the identity: pqz; qq 8 Ñ exp˜1 log q By this way, we can still identify part of them as product of holomorphic and antiholomorphic block while the non-factorizable terms are extracted now. Note that they have a common dependence on ∆ " 1 4iπ log pq t , this reflects the fact that in (2.8) the nonfactorizable term comes out as power of pq t . Without further discussions for the time being,

JHEP10(2014)004
we treat it simply as a "gluing factor" to glue up two copies of D 2ˆT 2 under S-fusion. Combine all factors and we can get the factorized twisted superpotential form: For consistency, it can be checked that by taking the limit Ñ 0, we can recover the 3d results on two copies of D 2ˆS1 [23] while KK-modes with non-zero "l" decoupled, and, up to a divergence, the non-factorizable terms reduce to the form of (B.12), becoming factorizable as we expect. Moreover we can consider the degenerate limit such that b Ñ 0, while keeping fixed b and J, along with the tbσ α u and tbm i u. In this case, when we remove the 1{b dependent pieces in the last line above, and only keep m " 0 term in the summation, up to overall phase, we recover the form of twisted superpotential for 4d N " 2 gauge theory with the identical gauge group and matter contents reduced on T 2ˆR2 with b being the complex structure modulus of T 2 . We can also consider the complementary limit of b´1 Ñ 0, and keep other corresponding quantities fixed to recover the other copy of reduction on T 2ˆR2 with complex structure of T 2 being 1 b .
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.