Lagrangians for generalized Argyres-Douglas theories

We continue the study of Lagrangian descriptions of 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} Argyres-Douglas theories. We use our recent interpretation in terms of sequential confinement to guess the Lagrangians of all the Argyres-Douglas models with Abelian three dimensional mirror. We find classes of four dimensional 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} quivers that flow in the infrared to generalized Argyres-Douglas theories, such as the (Ak , AkN +N −1) models. We study in detail how the 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} chiral rings map to the Coulomb and Higgs Branches of the 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} CFT’s. The three dimensional mirror RG flows are shown to land on the N=4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=4 $$\end{document} complete graph quivers. We also compactify to three dimensions the gauge theory dual to (A1, D4), and find the expected Abelianization duality with N=4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=4 $$\end{document} SQED with 3 flavors.


Introduction and summary
We recently [1,2] found physical interpretations of the N = 1 Lagrangians for (A 1 , A 2N −1 ) Argyres-Douglas (AD) theories discovered in [3,4] by Maruyoshi and Song. After appropriately correcting the Lagrangians, in order to account for unitarity violations and chiral ring stability, we obtained complete and consistent theories, which for instance allow to JHEP10(2017)106 study the chiral rings and the moduli space of vacua, that indeed map to the Coulomb and Higgs branches of the N = 2 AD CFT's. The consistent description found in [1,2] allows to compactify on a circle, and in 3d we discovered two different physical interpretations. First, in 3d the N = 2 theories are dual to an Abelian model with enhanced supersymmetry. Second, on the mirror side, using a duality for 3d N = 2 theories with monopoles in the superpotential [5], entire quiver tails "sequentially confine" and the RG flow lands on N = 4 SQED with N flavors, which was indeed predicted to be the 3d mirror of (A 1 , A 2N −1 ) [6][7][8].
In this paper we generalize the story to all the AD models with a known 3d Abelian mirror. Such theories can be obtained wrapping k + 1 M 5 branes on a sphere with • an irregular puncture (this class is called (A k , A kN +N −1 ) [9]), • an irregular puncture and a minimal puncture.
Our guiding principle to identify the Lagrangian descriptions for the above two classes of AD models is the "sequential confinement" 3d RG flow, which in the case of (A 1 , A 2N −1 ) has been described in detail in [2].
First we need to find 3d N = 4 mirror pairs T U V ↔T U V with the property that in both T U V andT U V all non-Abelian gauge groups are balanced, i.e. they have N f = 2N c . We find two classes of such mirror pairs: T U V is a linear quiver, whileT U V is a star-shaped quiver. The "sequential confinement" mirror RG flow starts fromT U V and lands on the N = 4 complete graphs [6][7][8] dual to the above two classes of AD models.
On the other hand, T U V can be uplifted to a N = 2 superconformal linear quiver in 4d, and provides the UV starting point for the Maruyoshi-Song flow to the 4d N = 1 Lagrangians we are looking for.
The strategy outlined above allows us to find N = 1 Lagrangians for all the AD theories with Abelian 3d mirror. For instance, our method leads to the prediction that the 4d Lagrangian description of (A k , A kN +N −1 ) is the following N = 1 quiver with k SU(n i ) gauge groups Once the quiver is known, it is a trivial task to perform A-maximization and find 4d checks of the proposal. The consistent superpotential turns out to be

JHEP10(2017)106
The Lagrangian dual to M 5 branes on a sphere with an irregular and a minimal puncture is a N = 1 quiver very similar to (1.1). This class includes as a special case the (A 1 , D 2N ) models found in [10]. The naive superpotential needs to be modified in two ways, using the prescriptions of [1]: some terms should be dropped from the superpotential due to chiral ring stability, and some gauge singlet fields β i,j must be added in order to remove operators violating the unitarity bound from the chiral ring. After these modifications, we have a consistent and complete Lagrangian (1.2), so it is possible to proceed with the analysis of the theories. We show that the chiral ring generators of the N = 1 quiver theory precisely map to the generators of the (A k , A kN +N −1 ) AD models. In particular, non trivial "extended dressed baryons" map to the Higgs Branch of the N = 2 CFT's. As opposed to the case of (A 1 , A 2N −1 ) discussed in [1,2], in these more general models, some of the β-fields are generators of the chiral ring: without adding the β-fields (i.e. simply stating that some set of tr(φ j )-operators decouple) it would not be possible to even see the right number of Higgs Branch generators. Moreover, we show that there are non-trivial holomorphic operators in the quiver that cannot take a vacuum expectation value, and map to the N = 2 superpartners of the Coulomb Branch generators, as in [1,2] (see also [11]).
The consistency of the whole picture is a non trivial check of the prescription of [1] to add a flipping singlet β O for each unitarity-bound-violating operator O.
The paper is organized as follows. In section 2 we analyze the SU(2) 4d theory dual to (A 1 , D 4 ) in detail, since it displays some new features with respect to [1,2] that will be present also for the Lagrangian theories we find in this paper. We then study the 3d mirror RG flow for quiver theories which, through sequential confinement, land on a N = 4 theory with more than one Abelian gauge group.
In section 3 we discuss the mirror pair T U V ↔T U V that uplifts to the 4d Lagrangian (1.1), (1.2) for the theories obtained wrapping M 5's on a sphere with an irregular puncture. We study the conformal manifold, the Coulomb branch and the Higgs branch generators, and the superpartners of the Coulomb branch generators, finding a perfect match with the N = 2 CFT's.
In section 4 we discuss, with a bit less details, the 4d Lagrangian for the theories obtained wrapping M 5's on a sphere with one irregular and one minimal puncture.
In section 5 we provide a detailed study of the chiral ring and moduli space of the lagrangian description of (A 1 , D 4 ) theory in 3d: we discuss the dual abelian description of the theory and study in depth the deformations of the theory, recovering as a byproduct the duality between SU(2) adjoint SQCD with one flavor and SQED with two flavors studied in [1].
• a circle node N denotes a U(N ) gauge group; • a double-circle node N denotes a SU(N ) gauge group; JHEP10(2017)106 • a square node N denotes a U(N ) or SU(N ) flavor group; • sometimes we use an 8-supercharges notation N 1 N 2 , links are bifundamental hypers and adjoints in the vector multiplets are implicit; • sometimes we use a 4-supercharges notation , arrows are bifundamental or adjoint chiral fields.
Notation: flips. A gauge singlet chiral field σ flips an operator O when it enters the superpotential through the term σ · O. As in [2], in this paper we consistently use different names for three classes of flipping fields: α r fields flip dressed mesons operators, β j fields flip Tr(φ j ), γ N fields are generated in the mirror quiver when gauge nodes confine.
Note added. After this work was completed and reported at various talks, we learned about the upcoming paper [12], which overlaps with sections 3 and 4 of the present work.

3d mirrors: sequential confinement to N = 4 Abelian quivers
In this section we study in detail the 3d mirror RG flows, which represent our guiding principle for the rest of the paper. We discuss several models which, through sequential confinement, land on N = 4 theories with more than one Abelian gauge group. This generalizes [2], in which the mirror RG flow landed on U(1) with N flavors. We discuss in detail the superpotential. We first focus on the (A 1 , D 4 ) theory, an example that illustrates all the basic features of the general case. We then generalize to (A 1 , D 2N ) and (A k , A k ).
We start the section discussing the 4d theory dual to (A 1 , D 4 ) , since it presents some new features with respect to [1,2] that will be present also for the two classes of N = 1 Lagrangians found in this paper. The reader interested only in the 4d Lagrangians can skip the remaining of this section and look at sections 3 and 4.

(A 1 , D 4 ) in 4 dimensions
As discovered in [3,4,10], 4d N = 2 SU(2) SQCD with four flavors, upon coupling the moment map to a N = 1 chiral field A and giving next-to-maximal nilpotent vev to A, flows in the IR to an N = 1 SU(2) theory which turns out to be dual to the AD model (A 1 , D 4 ).
We first need to reformulate the Lagrangian as in [1,2], dropping some superpotential terms in order to satisfy chiral ring stability (see also [13]) and adding a gauge singlet field β 2 in order to decouple the operator tr(φ 2 ) that would violate the unitarity bound [14].
The consistent and complete theory ha superpotential As opposed to the cases of cases of adjoint-SU(N ) with one flavor studied in [1,2], in this case with two flavors the field β 2 can take a non zero vacuum expectation value (giving a vev to β 2 makes the adjoint φ massive, reducing the theory to SU(2) SQCD JHEP10(2017)106 with two flavors, which indeed has a vacuum). So β 2 is a non trivial chiral ring generator and its presence will turn out to be crucial in order to have a complete map to the chiral ring generators of (A 1 , D 4 ). There are three non-anomalous U(1) global symmetries plus the R-symmetry. This fact also implies that when compactifying to 3d, in the case with two flavors, a monopole superpotential is generated. The global symmetry charges of the elementary fields and of the chiral ring generators are We chose a normalization of U(1) T such that all the gauge invariant operators that are mapped to the Coulomb (Higgs) branch of the AD model satisfy R = T (R = −2T ). α 0 is mapped to the CB generator of (A 1 , D 4 ). In [2]  CB together form the half-BPS N = 2 "Coulomb Branch supermultiplets", that in the Dolan-Osborn notation [15] are called E (R N =2 ,0,0) . For the SU(2) theory we are discussing 1 the superpartner of α 0 is the operator tr(bb): tr(bb) cannot take a vev (deriving W w.r.t. to φ a c and contracting withb a b c we get tr(bb) 2 = −β 2 tr(bφb) = 0, where the last equality follows from the F-terms of b orb). Indeed The other 8 operators listed (which can be called "dressed baryons" and "dressed mesons") satisfy R = −2T = 4 3 and we claim are mapped to the HB generators of (A 1 , D 4 ), 1 More generally, the SU(N ) adjoint SQCD with 2 flavors q,q, b,b and is dual to (A1, D2N ) AD. The superpartners of the N − 1 αr's are the N − 2 βj's (j = 2, 3, . . . , N − 1) plus tr(bb). βN and the dressed mesons/baryons map to the Higgs Branch of (A1, D2N ) AD.

JHEP10(2017)106
which transform in the adjoint of a global SU(3) symmetry, which is the enhancement of our 2 baryonic symmetries U(1) B . Notice that the singlet β 2 we added (using the prescription of [1]) is part of the octet. What are the relations satisfied from the eight operators (B,B, C,C, N ,Ñ , M, β 2 )? The result is that the relations are different from the relations of the Higgs Branch of (A 1 , D 4 ). We discuss this issue in detail in section 5. Compactifying our theory to 3d, a monopole superpotential is generated, similarly to [16] (the monopole has four fermion zero modes and thanks to the term β 2 Trφ 2 we can soak two of them, obtaining the superpotential term β 2 M), and the 3d compactified theory is dual to U(1) with 3 flavors N = 4. Upon dropping by hand the monopole superpotential term, the resulting 3d theory is dual to U(1) with 3 flavors N = 2 with a peculiar superpotential. For the latter duality, in section 5 we will map the chiral ring generators and also the chiral ring relations. From here, a relevant deformation then takes us to the Abelianization duality with U(1) with 3 flavors N = 4.
Coming back to 4d, we interpret the discrepancy between the chiral ring relations in the N = 1 adjoint-SU(2) theory and (A 1 , D 4 ) as follows: the actual chiral ring is subject to quantum corrections, and the quantum modified chiral ring is precisely the (A 1 , D 4 ) chiral ring displaying SU(3) global symmetry. It would be important to study this issue in more detail.

The 3d mirror RG flow: (A 1 , D 4 )
We now study the 3d mirror RG flow that lands on the 3d mirror of (A 1 , D 4 ), which displays sequential confinement as in [2].
In the IR we want to get the dimensional reduction of (2.1), which contains a monopole superpotential W IR,3d = tr(bφb) + α 0 tr(qq) + β 2 (Trφ 2 + M). (2.5) Notice that β 2 is part of the chiral ring of (2.5) and can have a vev, as was mentioned before, both in four and three dimensions. We thus start in the UV from the 3d theory i φq i +q 1 q 2 +q 2 q 3 + α 0q3 q 1 + β 2 (Trφ 2 + M), (2.6) which upon integrating out the massive flavors becomes (2.5). We call (2.6) and (2.5) T ′ 3d,U V and T ′ 3d,IR respectively. We now move to the mirror side. The mirror of N = 4 SU(2) SQCD with four flavors is [17] For the ease of exposition we numbered the abelian groups in the picture and from now on we will call b i ,b i the U(2) × U(1) i bifundamentals. Since all matter fields transform JHEP10(2017)106 in the bifundamental representation one abelian gauge factor is redundant and can be dropped. We choose to decouple the vector multiplet U(1) 4 , so the cartan subgroup of the SO(8) global symmetry of the theory is described by the topological symmetries of the four remaining nodes. In the following we will only need to consider the SU(3) symmetry associated with the nodes U(1) 1 and U (2). The singlets in the abelian vector multiplets will be denoted ϕ i (i = 1, 2, 3) whereas the trace and traceless parts of the U(2) adjoint arê φ 2 and φ 2 respectively. The operators Trφ 2 and the monopole of SU(2) SQCD are mapped on the mirror side tob 4 The SO(8) global symmetry of SQCD arises quantum mechanically in the mirror theory: the Cartan subgroup U(1) 4 corresponds to the topological symmetry associated with the four abelian gauge groups in figure 2.7, whereas the other generators are related to monopole operators of dimension one, whose multiplets contain conserved currents ( [18]). In the rest of the paper we only need to consider the SU(3) subgroup associated with the gauge groups U(1) 1 and U (2). The map between off-diagonal components of the meson and monopoles is as follows: The two Cartan components of the meson matrix are mapped to ϕ 1 andφ 2 . In (2.8) we have included only the charges under the topological symmetries related to U(1) 1 and U(2), the others being trivial.
The mirror of T ′ 3d,U V and (A 1 , D 4 ) AD theory Using the results reviewed before, we find that the mirror dual of T ′ 3d,U V is the gauge theory in (2.7) with superpotential where we included the dynamically generated monopole term. We now use the monopole duality discovered in [5] (see also [19,20] for previous Abelian examples and [21] for a brane interpretation), which in the case of interest to us states that a 3d N = 2 theory U(N f − 1) with N f flavors and W = M + is dual to a Wess-Zumino model with superpotential Before proceeding, we would like to remark that in what follows the two numerical coefficients of the β 2 term in (2.9) could be replaced by two arbitrary numbers without affecting the final result. The important point is that the β 2 term in (2.9) is not proportional to β 2b4 b 3b3 b 4 , as we would get if in (2.9) we neglected the mirror of the superpotential term β 2 M. According to the monopole duality, the gauge group U(1) 1 confines leaving behind the U(2) adjoint chiral X 2 . The theory (2.9) now becomes as in figure 1 with superpotential (2.11) In this formula M ± denote the monopoles charged under the topological symmetry associated with the U(2) gauge node. As is clearly displayed by the superpotential, X 2 and φ 2 become massive and can be integrated out. At this stage the U(2) gauge group has three flavors and no adjoint matter, so according to the monopole duality it confines and is traded for a 3 × 3 chiral multiplet X 3 , which is nothing but the dual ofb i b j (i, j = 2, 3, 4). This also generates the superpotential term γ 3 det X 3 . Notice that the equations of motion of (2.11) impose the constraint X 2 = − i>1 b ib i . Using this fact we can express det X 2 in terms of traces of X 3 : Notice that in theory (1) the cartan subgroup of the U(3) symmetry under whichb i b j (i, j = 2, 3, 4) transforms in the adjoint representation is gauged: the U(1) 2,3,4 symmetries are generated respectively by the 3 × 3 matrices diag(1, 0, 0), diag(0, 0, 1) and diag(0, 1, 0). Our convention will be that these groups act in the same way on the matrix X 3 after confinement of the U(2) gauge group. As a result, the off-diagonal components of X 3 become bifundamental hypermultiplets charged under the leftover U(1) i symmetries and we relabel the fields as follows: After confinement of the U(2) gauge group the theory in figure 1 becomes as in figure 2 The fields ϕ i now only appear in the superpotential terms As a consequence they become massive and their F-terms set to zero the diagonal components of X 3 . The remaining fields are α 0 , β 2 , γ 2,3 and p i ,p i with superpotential α 0 and γ 3 are massive, so the last two terms disappear, leaving us with which is equivalent to an N = 4 superpotential. This model is known to be the mirror of N = 4 SQED with three flavors and is precisely the mirror of (A 1 , D 4 ) Argyres-Douglas theory proposed by Nanopoulos and Xie [6]. This model is the mirror of N = 4 SQED with three flavors, which must then be the Abelianization of the 3d reduction of (2.1). We will check this statement explicitly in section 5. The (A 1 , D 6 ) AD theory can be obtained by starting from SU(3) SQCD with 6 flavors, whose mirror is the quiver and adding a 5 × 5 flipping field, to which we give a maximal nilpotent vev. In the IR we are left with 4 flipping singlets but two of them violate the unitarity bound and decouple; the same happens to TrΦ 2 and TrΦ 3 and the two "surviving" flipping fields are interpreted as the Coulomb branch operators of D 6 AD theory. As we did in the previous case, we will use a slightly different definition of this theory in which we don't have to decouple any operator: we start from SU(3) SQCD with six flavors, turn on four off-diagonal mass terms and flip the operators TrΦ 2 and TrΦ 3 . We 2 Notice that if we had neglected the mirror of the monopole term in (2.9), instead of (2.15) we would have found This is the supepotantial of the mirror dual of 3d N = 2 SQED with three flavors Q1, Q2, p, one singlet Φ and superpotential W = Φ(Q1Q1 +Q2Q2). (2.17) We will test this statement in section 5.1.

JHEP10(2017)106
also introduce the two flipping fields which do not decouple in the IR. The superpotential of our UV theory is In the above formula we have included the superpotential term involving the dressed monopole generated in the compactification to 3d [16]. This is similar to the SU(2) case discussed previously. Once we have integrated out the massive flavors, we are left in the IR with SU(3) SQCD with two flavors (q and b) and superpotential This theory is IR equivalent to D 6 AD and there are no unitarity bound violations. We claim that the dimensional reduction of the UV theory described in the previous paragraph flows in the IR to the dimensional reduction of D 6 AD theory. Let us now discuss the mirror of the UV theory: the four mass terms are mapped to superpotential terms involving monopole operators charged under a single topological U(1) group, one for each gauge node in the two tails of (2.18) except the abelian node on the right (we call them M + i for i = 1, 2, 3, 4), whereas the terms involving the singlets α 0 and α 1 appearing in (2.20) We conclude that the mirror of our UV theory is the quiver (2.18) with superpotential (2.21) The analysis proceeds as in section 3 of [2] until we dualize the U(3) node, leaving us with the theory and superpotential The monopoles appearing in this formula are charged under the topological symmetry of the U(2) node, M ′ is the dual of M 0−−− appearing in (2.21) and ϕ 5 denotes the chiral in JHEP10(2017)106 the U(1) R vectormultiplet. The first three terms are the superpotential terms generated dynamically when we dualize the nodes and have the following form [2]: Now the U(2) node confines leaving behind a 3 × 3 meson N ij which provides one extra bifundamental (Q 2 andQ 2 ) of the U(1)'s denoted by a square and red circle in (2.22). The field M ′ is now identified with γ 4 . The fields α 0 , α 1 , γ 4 and ϕ 5 become massive and we end up with the theory (2.29) The fields N 11 and N 22 are now massive and integrating them out we are left with which is equivalent to the superpotential of the N = 4 theory proposed in [6].

Generic case (A 1 , D 2N )
In general, we can obtain the mirror of the (A 1 , D 2N +2 ) theory starting from the U(1) mirror of (A 1 , A 2N −1 ) and introducing one extra U(1) node and two hypermultiplets (v and w), in the following way

JHEP10(2017)106
As shown in [2], the 3d mirror of the (A 1 , A 2N −1 ) theory has superpotential where Q i ,Q i is the fundamental hypermultiplet generated at the ith-step, dualizing down the second tail in the sequential confinement. The U(1) × U(1) 3d mirror at the bottom of the RG flow to (A 1 , D 2N +2 ) has superpotential

Linear quivers and the (A k , A k ) theory
The set of theories (A k , A k ) lies at the intersection of the two classes of models we are going to consider in the following two sections, setting N = 1. Here we want to show how the sequential confinement works for this class, i.e. how the correct N = 4 superpotential is recovered in the IR of the mirror RG flow. The 3d mirror IR quivers are the complete graphs proposed in [7]: k + 1 nodes with a bifundamental for each pair of nodes, where one of the nodes is ungauged: complete graph: We focus on the case k = 3 for simplicity. We start by noticing that in four dimensions the N = 2 SU(2) × SU(3) gauge theory ows in the IR to the (A 3 , A 3 ) theory provided we add a 4 × 4 flipping field and give it a maximal nilpotent vev which breaks the SU(4) global symmetry completely (see the next section for a detailed discussion about this statement). In the IR the two quadratic casimirs TrΦ 2 1 , TrΦ 2 2 and one of the singlets saturate the unitarity bound and decouple. Following our prescription for the dimensional reduction, we now consider the theory with superpotential (we call the four SU(3) fundamentals q i ) The mirror of this theory is the quiver JHEP10(2017)106 with a superpotential of the form In the above formula we have included the charge of monopole operators under the three topological U(1) symmetries associated with the three gauge nodes U(1), U(2) and U(3). The terms involving β 2,i include a sum of terms quartic in the bifundamental fields. These are the mirror duals of the operators TrΦ 2 1 , TrΦ 2 2 and the monopole operators which enter in the superpotential terms which arise dynamically. We will not attempt to determine explicitly these terms, although it would be important to fill in this gap.
We denote the singlets in the N = 4 vector multiplets of the gauge groups U(1) i (i = 1, 2, 3) with ϕ i and the trace part of the adjoint chiral in the U(3) vectormultiplet as ϕ 4 . As usual, one U(1) factor of the gauge group decouples since all matter fields transform in the bifundamental representation and we choose to decouple U(1) 4 .
Following the usual procedure of sequential confinement, we find that the gauge groups in the tail U(1), U(2) and U(3) confine leaving behind a 4 × 4 chiral multiplet N. All the diagonal components of N become massive due to the couplings ϕ i N ii appearing in the N = 4 part of the superpotential and are set to zero by the F-terms of the fields ϕ i . The off-diagonal components of N become bifundamentals of the left-over abelian gauge groups, leading to the conclusion that the theory becomes Similarly to the D 6 theory studied before, we can express all the superpotential terms generated dynamically in terms of the components of the matrix N . The same is true for the terms involving β 2,i fields, which now become bilinear in the components of N (although we don't know their precise form). We find the following superpotential:

JHEP10(2017)106
In the above formula γ 3,4 are set to zero by the F-terms of α 0 and α 1 and the superpotential reduces to (2.38) In conclusion, we have come across a theory with precisely the matter content of the N = 4 theory proposed in [7] as the 3d mirror of (A 3 , A 3 ) AD theory. Furthermore, the superpotential has precisely the form we expect for a theory with eight supercharges: there are singlet chirals in one-to-one correspondence with the vectormultiplets of the theory and they couple to the bifundamental matter fields. This is a strong consistency check for our proposal: the quiver (deformed as explained) represents a UV lagrangian completion of the (A 3 , A 3 ) theory. We will perform further checks in the next sections. For arbitrary k, the generalization is as follows: we start from a quiver which is a T (SU(k + 1)) tail, with all but one flavors at the end of the tail gauged by U(1)'s. We introduce k − 1 singlets β 2,i flipping the mirrors of all Trφ 2 i operators and k − 1 singlets α i flipping the sum of all monopole operators charged under k − i topological U(1) groups. All the nodes in the tail confine and are traded for a (k + 1) × (k + 1) chiral multiplet whose diagonal entries are set to zero by F-terms. The off-diagonal components of this chiral provide bifundamental hypermultiplets charged under all possible pairs of the surviving U(1) gauge groups, leaving us with the complete graph with k + 1 vertices.
The superpotential terms involving α i fields become mass terms and their F-terms set to zero all the dynamically generated superpotential terms, except the one generated at the first step, when the U(1) node confines. We are then left with the multiplet γ 2 coupled to the trace of the square of the (k + 1) × (k + 1) chiral multiplet. In conclusion, we find the complete graph with k massless singlets coupled to terms quadratic in the bifundamental fields, which is precisely the matter content and superpotential of the N = 4 theory.
3 (A k , A kN +N −1 ). M 5's on a sphere with an irregular puncture Armed with our 3d mirror "sequential confinement" interpretation of the flow to (A 1 , A 2N −1 ) AD models [1,2], we are in the position to generalize the story. In this section we find 4d Lagrangian field theories that flow to the (A k , A kN +N −1 ) AD models, for generic k positive. The (A k , A kN +N −1 ) models can also be given a Gaiotto description in terms of k M 5 branes wrapping a sphere with an irregular puncture (see the appendix).
Our strategy is to find UV 3d N = 4 mirror pairs T U V ↔T U V such that in both T U V andT U V the non-Abelian nodes are balanced, i.e. they have N f = 2N c . Upon flipping the Coulomb branch moment map inT U V , a maximal nilpotent vev sequentially confinesT U V to a N = 4 Abelian quiver, which is the complete graph 3d mirror of the Ad models.
Then we uplift T U V to 4d, so our 4d starting point is a N = 2 linear balanced quiver gauge theory where the last node has nontrivial global symmetry (in this case the symmetry JHEP10(2017)106 will actually be SU(kN + N )). Flipping the Higgs Branch moment map and giving a maximal nilpotent vev, we end up with an apparently N = 1 4d IR gauge theory, that is actually dual to (A k , A kN +N −1 ) AD theory, as expect from the 3d mirror arguments.
It is interesting to note that the set of theories (A k , A kN +N −1 ) (with k > 1) are special from the S-duality point of view: they are the only ones among the class of (G, G ′ ) models (defined in [9]) that displays an infinite dimensional S-duality group [22]. From our point of view, the set of theories (A k , A kN +N −1 ) is special since they admit an N = 1 Lagrangian coming from a Maruyoshi-Song deformation of a N = 2 quiver that reduced to 3d has a mirror where all non-Abelian gauge groups are balanced. It would be interesting to find a possible relation between these two different perspectives.

3d sequential confinement to the complete graph quiver
In this subsection we qualitatively discuss the 3d story. The T U V ↔T U V mirror pair is: We can understand the mirror pair using the results of [23] for the 3d mirrors of class-S N = 2 theories. As we review in A.1, the quiver on top of (3.1) in 4d has a class-S description as kN M 5's on a sphere with • one maximal puncture ⊗, labelled by the partition [1 kN ], • one puncture ⊕ labelled by the partition [k N ]. In the notation used in the appendix it is a Young diagram with N coloumns with height k.
As we review A.2, the 3d mirror is a N = 4 star-shaped quiver with k + 1 U(1)-tails, and two long tails, as in the bottom of (3.1). 3 The Higgs branch global symmetry SU(kN + N ) of T U V is mapped to a Coulomb branch global symmetry inT U V which is the enhancement of the topological symmetries associated to the kN + N − 1 nodes in the lower row of theT U V quiver. 3 Another way of deriving the mirror: instead of considering a quiver with SU(ni) gauge groups, we can gauge the k U(1)'s to get a U(ni) quiver.
We need to deformT U V a la Maruyoshi-Song, on the 3d mirror side, the linear monopoles superpotential terms trigger a sequential confinement. We don't discuss the superpotential in detail, we just state the general result. As in [1,2] all the nodes in the lower row ofT U V confine. Starting from the leftmost U(1), no new matter fields are created while dualizing the left tail: however, when dualyzing the right tail, at each dualization, we create hypermultiplets in the bifundamental of the groups in the upper row, U(1) k × U(1). After dualizing all the nodes in the right tail, the result is precisely the complete graph N = 4 with k + 1 nodes and N links:

4d analysis: global symmetries and consistent superpotential
In 4 dimensions we start from the quiver on the top of (3.1) with W = W N =2 and give a maximal nilpotent vev to a gauge singlet field coupled to the Higgs Branch moment map. As expected from our 3d argument, we will show that the 4d RG flow lands on the AD theory described by k + 1 M 5's on a sphere with an irregular puncture of rank-N (denoted We then use S-duality and Hanany-Witten rules [24] to find the mirror: In the mirror the effect of the N = 4 gauging of the k U(1)'s is that k U(1)'s are ungauged and a global symmetry SU(k + 1) appears.

JHEP10(2017)106
by ⋆): Giving a maximal nilpotent vev in the SU(kN + N ) flavor group [25,26], we end up with a 4d N = 1 theory with quiver diagram The superpotential reads where we it is understood that b 0 and b k are not present. We dropped terms proportional to dressed mesons tr(qφ h k q) for h ≥ kN because they can be written in terms of tr(qφ h k q) with h < kN , which are flipped to zero by the α h singlets, so chiral ring stability, as in [1,2], implies that such terms must be dropped from W.
The global symmetry is U(1) k b × U(1) T × U(1) R . The k baryonic symmetries U(1) b act with charges ±1 on the bifundamentals b i ,b i and on the flavor q,q. They don't mix with the R-symmetry.
The symmetry U(1) T acts with charges and does mix with the R-symmetry, so we have to perform A-maximization in one variable.
Our convention for the trial R-charges for A-maximization [27] of the various fields is as follows [25]: (3.7) Using the well-known formula [28] a = 3 32 (3TrR 3 − TrR), (3.8) we find that the contribution to the trial a central charge from a hypermultiplet in the bifundamental is:

JHEP10(2017)106
The contribution from a vectormultiplet is and that from α r fields is (3.11) Finally, the contribution from q andq is Combining all the contributions together, we find that the trial a central charge of our theory is Performing A-maximization, we find that the operators tr(φ j i ) (for i = 1, 2, . . . , k and j = 2, 3, . . . , N + 1) and the α kN −1 singlet violate the unitarity bound. We thus add the flipping operators β i,j and remove the α kN −1 singlet. The full superpotential becomes 14) The operator tr(φ N +1 1 ) can be written in terms of tr(φ j 1 ) with j ≤ N so it must not be flipped. A-maximization for this theory tells us all the adjoint fields φ i have the same R-charge, independent of k: The R-charge of other operators are With these R-charges, the central charges a and c match the central charges of the N = 2 AD model, computed in [7].
We claim that the singlets β i,j for j ≤ N cannot take a vev: due to quantum effects, their expectation value leads to a theory with no vacuum. This is analog to [1,2] and it should be possible to prove it along the lines of [29,30].
However, the R = 2 3 operators tr(φ N +1 i ) with i = 2, 3, . . . , k behave differently. The k − 1 associated flipping fields β i,N +1 can take a vev and we interpret them as (some of the) Higgs branch generators of the Argyres-Douglas theory (A k , A kN +N −1 ). The α r singlets are identified with (some of the) Coulomb branch operators of the AD theory.

JHEP10(2017)106
The following table summarizes the global symmetries of the elementary fields: We normalized the U(1) T charge so that R[φ] = T [φ]. As we will see, this implies that the chiral ring elements mapped to the Coulomb branch have R = T , while the chiral ring elements mapped to the Higgs branch have R = −2T .
Notice that for k > 2 the R-charge of the flavor q,q can be negative. This does not violate unitarity because as we will see in section 3.5 the gauge-invariant operators have R > 2 3 : the dressed mesons tr(qφ i k q) with R < 2 3 are flipped to zero, and the dressed baryons have enough insertions of φ's to make their R-charge compatible with the unitarity bound.

Conformal manifold
It is interesting to count the dimension of the conformal manifold of our N = 1 Lagrangians, using the prescription of [31][32][33][34]. Here we assume N > 1. In the quiver we need to consider the beta-functions of the k gauge couplings, plus the 2k − 2 superpotential couplings associated to the interactions Flipping interactions are never marginal: turning on such an interaction we precisely break one gloabal symmetry, the U(1) symmetry that shifts the phase of the free flipping singlet, so we do not need to consider the rest of the superpotential, which is just flipping terms. The crucial point is the following: once the beta-functions (seen as linear functions of the anomalous dimensions of the elementary fields) for the superpotential couplings in (3.19) are zero, the beta-functions for the gauge couplings automatically vanish, except for the bigger gauge group SU(kN ), whose beta-function fixes the scaling dimension of q,q. In other words, k − 1 beta-functions are dependent from the others and give rise to marginal directions.

JHEP10(2017)106
We conclude that the complex dimension of the conformal manifold for our N = 1 quiver is k − 1. This is precisely the complex dimension of the conformal manifold of the N = 2 AD model.
It is noteworthy that there is supersymmetry enhancement on the whole N = 1 conformal manifold, it would have been logically possible that only a submanifold of the N = 1 conformal manifold is actually N = 2.
3.4 Recovering the 4d Coulomb branch of (A k , A kN +N −1 ) Here we identify the gauge invariant fields in T IR 4D that map to the generators of the Coulomb branch of the Argyres-Douglas theory (A k , A kN +N −1 ). They are pretty simple to spot: such operators. In appendix A.3 we review the scaling dimensions of the CB generators of the (A k , A kN +N −1 ) AD model. It is easy to check that there is a one to one map between the Lagrangian operators listed above and the CB generators of (A k , A kN +N −1 ).

Emergent superpartners
In [2] (see section (2.1.1)), we pointed out that each operator O CB in the Lagrangian theory which maps to the CB generators of the AD models has a superpartner O ′ CB under the hidden supersymmetries. Their scaling dimensions satisfy Together each pair (O CB , O ′ CB ) form an half-BPS N = 2 supermultiplet that in the Dolan-Osborn notation [15] are called E (R N =2 ,0,0) . O CB can take a vev, while O ′ CB cannot take a vev.
The case k = 1 was discussed in [2]: the CB operators O CB are the N − 1 α r 's, and the superpartners O ′ CB are precisely the N − 1 β j 's. They satisfy the following relations among their superconformal R-charges:

JHEP10(2017)106
For k > 1 the story is a bit more complicated but it is still true. Focusing on k = 2, the CB operators O CB are the 2N − 1 α r 's and the N − 1 tr(φ j 2 ). The superpartners O ′ CB turn out to be the (N − 1) β 1,j 's, the (N − 1) β 2,j 's, and the N tr(b 1 φ j 2 b 1 ) (j = 0, 1, . . . , N − 1). Using the table 3.17 it is easy to check the following relations among their superconformal R-charges: So we propose the following relations under the emergent N = 2 supersymmetry: We refrain from discussing the details of the cases k > 2. The operators O ′ CB have a similar form to the k = 2 case.

The Higgs branch: dressed baryons vs 3d monopoles in the mirror
The 4d Higgs branch is equal to the 3d Higgs branch, which is equal to the 3d Coulomb branch of the 3d mirror (3.3), the complete graph quiver with k + 1 nodes and N links between each U(1) node, with one node ungauged: We are going to match the generators of the 4d Higgs branch with the generators of the 3d Coulomb Branch of the complete graph Abelian quiver, which were discussed by Del Zotto and Hanany in [35] using Hilbert Series techniques [36].
The k = 1 case We repeat the discussion of [2]. We can make a baryon out of N q fields and N 2 φ fields: 33) where we used the fact that tr(qφ r q) = 0 in the chiral ring if r < N − 1.
The chiral ring relation is precisely the defining equation of C 2 /Z N , known to be the Higgs branch of the Argyres-Douglas theory (A 1 , A 2N −1 ).

The k > 1 case
We now generalize to higher k, we will need to use "extended baryons". We only discuss the generators since the chiral ring relations in general do not match, we expect that the chiral rings are quantum modified.
• . . . All these monopoles can be mapped to baryonic operators. These baryonic operator are quite complicated and we need a short-hand notation for them. The baryons with minimal R-charge, that is R = 2 3 kN , are constructed using either one ε-symbol (for either JHEP10(2017)106 the smallest or the largest gauge groups) or two ε-symbols for two consecutive gauge groups: All these baryons satisfy A mapping to the monopoles with smallest possible dimension goes as follow baryon monopole From the mapping of the smallest chiral ring generators it's easy to infer the map for all the other generators, for instance if k = 3: baryon monopole antibaryon antimonopole This concludes our proof that the 2(2 k − 1) algebraically independent baryons plus the k operators M = tr(qφ kN −1 k q) and β i,N +1 are mapped to the generators of the Higgs Branch of the (A k , A kN +N −1 ) Argyres-Douglas theory.

M 5's on a sphere with irregular and minimal puncture
In this case we make a small change to (3.1) and start from the mirror pair: We can understand the mirror pair exactly as in the previous section: the quiver on top of (4.1) in 4d has a class-S description as kN + 1 M 5's on a sphere with • k + 1 minimal punctures, • one maximal puncture, • one puncture labelled by the partition [k N , 1]. In the notation used in the appendix it is a Young diagram with N coloumns with height k.
It's 3d mirror is thus a N = 4 star-shaped quiver with k + 1 U(1)-tails, and two long tail as in the bottom of (4.1). 4 We now deform the theory with a maximal nilpotent vev for the SU(kN + N + 1) global symmetry. In the mirror quiver, the bottom row of the mirror quiver confines as in the previous section, and the low energy theory is an Abelian quiver with k + 1 U(1) gauge groups, k red nodes and 1 blue node, plus a flavor U(1) node. There are N bifundamentals connecting the k red nodes and the flavor node among themselves,

JHEP10(2017)106
and there is one bifundamental between the blue node and the other k + 1 nodes. For instance for k = 4 the IR quiver is This quiver generalizes the mirror of (A 1 , D 2N ) (obtained setting k = 1), and was proposed to be the 3d mirror of the AD theories obtained wrapping k + 1 M 5's on a sphere with an irregular and a minimal puncture.
In 4 dimensions we start from the quiver on the top of eq. (4.1) with W = W N =2 and give a maximal nilpotent vev to a gauge singlet field coupled to the Higgs Branch moment map. As expected from our 3d argument, we will show that the 4d RG flow lands on the AD theory described by k + 1 M 5's on a sphere with an irregular puncture of rank-N (denoted by ⋆) and a minimal puncture: Uplifting the SU(iN ) quiver at the top of (4.1) to 4d and turning on a maximal nilpotent vev for the SU(kN + N + 1) factor in the Higgs branch global symmetry, in the IR we are a left with the 4d N = 1 quiver Chiral ring stability implies that terms tr(qφ h k q) with h > kN + 1 must be dropped from the superpotential. A-maximization resolves the mixing between a trial R-symmetry and the U(1) t global symmetry defined as in the previous section, setting also in this case

JHEP10(2017)106
The trial R-charge of the various fields is: As before we can write down the contribution to the trial a central charge from the fields in our theory. The contribution from hypermultiplets in the bifundamental and vectormultiplets is the same as in the previous section: and that from α r fields is (4.10) Finally, the contribution from q andq is Combining all the contributions together, we find the trial a central charge By maximizing this expression, one can readily verify (4.6) once the operator decoupling is taken into account: all the operators tr(φ j i ) for j = 2, 3, . . . , N + 1 violate the unitarity bound and we need to add (N −1)k β-fields to decouple them. The consistent superpotential is thus The following table summarizes the non-baryonic global symmetries of the elementary fields: With these R-charges, the central charges a and c match those of the N = 2 AD model computed in [7].

JHEP10(2017)106
The arguments of section 3.3 show that also for this class of theories the conformal manifold has complex dimension k − 1.
The operators O CB are the same set of operators discussed in section 3.4, plus the k − 1 tr(φ iN +1 i ) (i = 2, 3, . . . , k) and one more α. The generators of the Coulomb branch of the AD theory are listed in A.4, where it is shown that the minimal puncture adds k operators to the list. These k AD operators map the k − 1 tr(φ iN +1 i ) and α 0 .
In this case we refrain from discussing the emergent superpartners O ′ CB and the dressed baryons that map to the Higgs Branch of the AD model, the discussion should be similar to the case of (A k , A kN +N −1 ) of the previous section. When we compactify to 3d the SU(2) theory with adjoint φ and 2 flavors q and b with a monopole superpotential is generated, proportional to β 2 : We find it convenient, however, to start our study from the 3d theory above with the monopole term β 2 M removed. The reason is that in this case we can match completely the chiral rings, including the relations.
In four dimensions the vanishing of the gauge coupling beta-function imposes on the R-charges of elementary fields the same relation that in 3d is imposed by the superpotential term β 2 M: Let us consider the theory W = tr(bφb) + α 0 tr(qq) + β 2 2 Tr(φ 2 ) (5.4)

JHEP10(2017)106
The global symmetry charges of the elementary fields and of the chiral ring generators are where we have indicated the trial R-charge of the various fields. From Z-extremization [37,38] we find r q ∼ 0.2555 and r φ = 0.5787. We introduced the two baryonic symmetries are (dressed) baryons charged under them.
The relation φ 2 = 0 immediately implies that dressed mesons and baryons like tr (qφ n 1 q) and ε(φ n 2 q)(φ n 3 q) vanish in the chiral ring if any n i > 1. The F-terms of φ reads Multiplying this equation by b cb a and using the F-termsbφ = φb = 0 we also deduce the equation (b i b i ) 2 = 0. Using the identity ε ab δ d c = ε ad δ b c + ε db δ a c we can also show that dressed baryons of the form εb(φq) are zero in the chiral ring.
In conclusion, all gauge invariants in the chiral ring can be built using q a ,q a , (φq) a , (qφ) a , b a ,b a , β 2 , α 0 , keeping track of the vanishing conditions. The list of chiral ring generators is given in the lower part of (5.5). We claim that the last 8 operators in (5.5) are mapped to the meson components of the abelian theory with three flavors and below we will see that the chiral ring relations are perfectly consistent with this claim.
Finally, using the relation ε ab δ d c = ε ad δ b c + ε db δ a c we find We claim that this theory is IR equivalent to SQED with three flavors (denoted Q iQ i , i = 1, 2 and p,p) and one singlet Φ with superpotential Notice that p,p does not enter the superpotential. The mapping between the chiral ring generators is as follows:

JHEP10(2017)106
The mapping holds when Using these identification the S 3 partition functions match as a function of 4 variables. Notice that in the abelian theory there is a topological U(1) symmetry which acts nontrivially only on the monopole operators M ± . This symmetry is invisible in (5.4). Z-extremization implies that the superconformal R-charges in the U(1) theory are r Q i ∼ 0.5451 and r p ∼ 0.4210 In the U(1) theory the meson matrix precisely satisfies (5.18). So we gave a proof that the full chiral rings, including the relations, are the same in the SU(2) and in the U(1) theories.
In order to get N = 4 SQED with three flavors we should turn on the relevant deformation δW = Φpp, which according to the above mapping corresponds on the SU(2) side to turning on the superpotential term β 2 M. In the N = 4 SQED with three flavors the meson squares to zero so we expect that (5.17) (modulo a redefinition of the diagonal components) satisfies the same relation once we properly take into account the superpotential term β 2 M. It would be nice to study the chiral ring relations in these 3d N = 2 theories using the techniques of [39][40][41][42]. It is not clear to us how to derive this result and, since the Higgs branch does not change under dimensional reduction, we expect an analogous subtlety to arise for theory (2.5) in four dimensions. It would be important to resolve this issue.

JHEP10(2017)106
The superconformal R-charges have been found performing Z-extremization for the mixing with U(1) T and are confirmed to high numerical precision. Already the fact that they are rational is a non-trivial numerical fact. The S 3 partition function reads is the contribution of a chiral field and r q , r b are given by (5.24).
From the above analysis we expect this theory to be dual to N = 4 SQED with 3 flavors, whose S 3 partition function reads (5.26) Notice that the FI parameter is not turned on.

The naive dimensional reduction and its 3d mirror
As we have seen in section 2, T ′ 3d,U V exhibits supersymmetry enhancement in the infrared and is dual to (A 1 , D 4 ) AD theory. One natural question is what happens in the IR to the naive dimensional reduction of the 4d UV theory, T 3d,U V . The answer is totally analogous to the case of (A 1 , A 2N −1 ) discussed in [1,2].
The theory is SU(2) adjoint SQCD with four flavors and superpotential (5.28) and can be obtained from (2.6) by removing the β 2 term (or equivalently by flipping β 2 ) and turning on α 1 (q 2 q 1 +q 3 q 2 ). On the mirror side we should accordingly replace (2.9) with

JHEP10(2017)106
The analysis of the mirror theory proceeds exacty as in section 2 until (2.14), which is replaced by In this theory all the singlets α 0 , α 1 and γ 2,3 become massive and the superpotential simply vanishes. We thus get theory (2) without any singlets and zero superpotential, which is the mirror of N = 2 SQED with three flavors plus three singlets S i and superpotential Assuming the duality between (5.23) and N = 4 SQED of the previous subsection, we can immediately provide the abelian dual for theory (5.29): we just need to flip the two cartan components of the meson matrix of N = 4 SQED with three flavors, which according to the mapping for the chiral ring generators of the previous subsection amounts to flipping β 2 and tr(qφq) in T ′ 3d,IR . This operation leads precisely to the theory (5.29), the naive dimensional reduction of the Maruyoshi-Song model. This provides a clear-cut realization of the duality obstruction: the two flipping fields (5.32) (besides i S i which is already there in the N = 4 theory) are identified in the Maruyoshi-Song model with Trφ 2 and α 1 , which are precisely the operators which violate the unitarity bound in 4d. Their decoupling is crucial for the supersymmetry enhancement in four dimensions however, as we clearly see here, they do not decouple in 3d obstructing supersymmetry enhancement and the duality with the D 4 AD theory.

SU(2)−[2] with flipped M vs U(1)−[3] with W = 0
Starting again from the duality between (5.23) and N = 4 SQED, we can obtain an analogous duality between a SU(2) theory with 2 flavors and U(1) with 3 flavors with W = 0. We need to flip the operator Φ in the Abelian side, which maps to the monopole M in SQCD. On the SU(2) side the superpotential reads W = Tr(bφb) + α 0 Tr(qq) + β 2 Tr(φ 2 ) + β ′ 2 M. (5.33) This fits perfectly with the analysis on the mirror side: by adapting the analysis of the mirror RG flow of section 2, one can show that (2.15) becomes This model is a linear quiver where the three mesons are all flipped to zero. It is known [43] that this model is the mirror of N = 2 SQED with three flavors and zero superpotential.

Flow to SU(2) with 1 flavor vs U(1) with 2 flavors
One more check of the duality between (5.23) and U(1) with 3 flavors N = 4 is provided by giving mass to one of the two flavors in the SU(2) theory. In this way we get SU (2) JHEP10(2017)106 adjoint SQCD with one flavor and rederive the duality discussed in [1] with SQED with two flavors. We proceed as follows: we turn on the superpotential term tr(bq) and integrate out the two massive chiralsb and q. In the IR we find SU(2) with adjoint φ, 1 flavor (that we call p,p) and superpotential W = α 0 tr(pφp) + β 2 (Tr(φ 2 ) + M). (5.35) On the U(1) side we are turning on a nilpotent mass term with rank-1, susy is broken to N = 2 and the low energy theory is U(1) with 2 flavors (Q,Q, P,P ) and superpotential Again, we checked numerically the equality of the associated S 3 partition functions upon setting r Φ = 2r φ . The extremum is at r φ = 0.3481.
Mapping of the chiral ring generators.
The unusual mapping for α 0 is a manifestation of the fact that in the nonabelian theory the topological symmetry is emergent and will be justified shortly. We are unable to identify the precise combination of M ± to which the SU(2) dressed monopole maps. We would like to remark the following fact: the F-terms for Φ in (5.36) gives us the chiral ring relation QQ + 2ΦPP = 0 and according to the chiral ring map we have discussed, this corresponds on the SU(2) side to a relation of the form β 2 = −Mtr(pp). (5.40) It would be interesting to understand directly in the nonabelian theory how such a chiral ring relation arises.
(5.41) The second superpotential term in the r.h.s. violates chiral ring stability (due to the Fterm for α ′ ), so it should be dropped from the superpotential. This fact can also be seen by mirroring twice the theory. 6 We conclude that (5.41) is dual to SQED with two flipped flavors. Notice that (5.41) is precisely the dimensional reduction of the Maruyoshi-Song model for A 3 Argyres-Douglas theory, which is dual to SQED with two flipped flavors [1]. This is a nice further check of our duality.
In order to recover the SU(2) model dual to N = 4 SQED with two flavors, we should flip in (5.35) both tr(pp) and α 0 . If we do that we find SU(2) adjoint SQCD with one flavor and superpotential W = α ′ tr(pp) + β 2 Trφ 2 + β 2 M. (5.43) By assuming that α 0 is mapped to M + + M − as we claimed before, we are led to the conclusion that (5.43) is dual to SQED with two flavors and superpotential At first sight this model looks rather complicated however, understanding its low energy behaviour is a simple task in the mirror dual description, since monopole operators are mapped to off-diagonal components of the meson matrix in the mirror theory. The superpotential of the mirror dual is Notice that here we have dropped the monopole term because in this theory β 2 is not in the chiral ring, so such a term would violate chiral ring stability. This can be seen e.g. by considering (5.40), which clearly reduces to β 2 = 0 when we flip tr(pp). 6 The mirror dual is again SQED with two flavors with superpotential and integrating out massive fields we find that the superpotential simply vanishes, hence the mirror of this model is just the r.h.s. of (5.41) with the second superpotential term removed. See [1] for a similar argument.

JHEP10(2017)106 6 Conclusions and outlook
In this paper we found several new examples of AD theories which admit a lagrangian UV completion. Our guiding principle in finding them is the analysis of the 3d mirror RG flow, combined with known proposals for the mirror duals of AD theories. It would be important to better sistematize the search for lagrangian UV completions of AD theories: our construction provides a guiding principle but crucially assumes that the lagrangian theory is a N = 2 theory deformed by a nilpotent vev for a flipping field. Indeed there is a priori no reason to assume that more general constructions cannot display supersymmetry enhancement.
Once the N = 1 quivers are known, it is straightforward to write down an integral expression for the superconformal index of the theories. It would be nice to analyze such indices and match with recent proposals about the superconformal index of generalized Argyres-Douglas models [44], based on [45,46].
As mentioned in section 3, the set of theories (A k , A kN +N −1 ) are special from the S-duality point of view: they are the only ones among the class of (G, G ′ ) models that display an infinite dimensional S-duality group [22]. From our point of view, the set of theories (A k , A kN +N −1 ) is special since they admit an N = 1 Lagrangian coming from a Maruyoshi-Song deformation of a N = 2 quiver that, reduced to 3d, has a mirror dual in which all non-Abelian gauge groups are balanced. The latter property is true also for the theories discussed in section 4. It would be interesting to find a possible relation between these two very different points of view. It would also be interesting to study the S-duality group of the models of section 4.
As for the compactification to 3d and the expected Abelianization as in [1,2], a new ingredient with respect to the A 2N −1 case is the generation of a monopole superpotential term in the compactification. We only discussed the case of SU(2) with 2 flavors that Abelianizes in a non-trivial way to U(1) with 3 flavors N = 4. Our analysis leaves some puzzles and it would be important to resolve them: first of all we should better understand the mirror map for quiver theories and the dynamical generation of superpotential terms in the compactification. Currently the latter is understood only for models with a single gauge group. Another issue is the analysis of the moduli space of these theories, which seems to be subject to nontrivial quantum relations. We came across this problem in section 5 studying the moduli space of the (A 1 , D 4 ) AD theory.
An advantage of our method is that on the 3d mirror side it is relatively easy to understand which types of nilpotent vevs lead to enhancement of supersymmetry in the infrared (contrary to the four dimensional approach with a-maximization, which requires a detailed case-by-case analysis): if for instance we consider a non principal nilpotent vev for the linear quivers discussed in this paper, on the mirror side some nonabelian gauge groups will survive and even the matter content of the theory is clearly incompatible with supersymmetry enhancement. From this perspective nilpotent vevs which remove all nonabelian nodes in the 3d mirror are clearly special.
The most natural direction for future investigations is to look for lagrangian UV completions of AD-type theories whose mirror contains nonabelian gauge groups such as Type JHEP10(2017)106 IV theories in the notation of [7]. This would significantly enlarge the landscape of lagrangian UV completions of strongly coupled N = 2 SCFTs. As we have already mentioned, with our procedure when a gauge group confines the adjoint chirals of neighbouring nodes in the quiver become massive and disappear from the spectrum. In principle this can be circumvented if a gauge node in the quiver is "connected" through bifundamental matter to two different gauge groups and both confine: in this case one will remove the adjoint chiral and the second will reintroduce it. The problem is the generation of the correct superpotential terms: in the present formulation of our procedure all superpotential terms generated along the process involve gauge singlets and these do not have the required structure to induce supersymmetry enhancement. Clearly some new ingredients are needed (presumably one should look for more general deformations besides nilpotent vevs) and at present we do not have examples of this type.

A Class S theories and spectra of Argyres-Douglas Coulomb branches
In this appendix we review some background material about class S theories we need for our analysis.
A.1 4d N = 2 quivers from M 5's on a sphere As was discussed by Gaiotto [47], every N = 2 conformal linear quiver in four dimensions with SU(n) gauge groups, fundamental and bifundamental matter fields has a class S description: the Riemann surface is a sphere with k + 1 minimal punctures, where k is the number of gauge groups in the quiver, and two generic punctures encoding the structure of the tails at the two ends: every N = 2 linear quiver consists of a "bulk" in which all the gauge groups have the same rank (say N − 1) and a linear tail at both ends, with gauge groups of decreasing rank, whose structure can be described in terms of the Young diagram with N boxes associated with the puncture: the gauge group at the end of the quiver tail is SU(l 1 ) where l 1 is the length of the first row of the Young diagram, the second is SU(l ′ ) where l ′ = l 1 + l 2 and so on. The bulk consists of SU(N ) gauge groups only. For example, in the case of a minimal puncture the quiver starts with a SU(2) gauge group, followed by a SU(3) gauge node and so on. In the case of a full puncture the quiver directly starts with a SU(N ) gauge node. There are bifundamental hypers between neighbouring gauge groups and the number of fundamentals at each node is fixed by the constraint N f = 2N c , which ensures the vanishing of all beta functions.

A.2 3d mirrors of class S theories
The mirror duals of (the dimensional reduction of) class S theories of type A N −1 with regular punctures were worked out in [23]. The mirror theory is a star-shaped quiver with a central U(N ) gauge group with g hypermultiplets in the adjoint representation (where g is the genus of the Riemann surface) coupled to tails of unitary gauge groups which are in one-to-one correspondence with punctures.
As is well known, punctures in A N −1 class S theories are classified by partitions of N , hence they are labelled by Young diagrams with N boxes. We will denote with h i the height of the i-th column and with l i the length of the i-th row. Rows and columns satisfy the constraints l j ≤ l i and h j ≤ h i for j > i. The structure of the linear tail in the mirror theory associated to a given puncture is dictated by the height of columns of the corresponding Young diagram as follows: we start from the central U(N ) node, we include a U(k) gauge node with k = i>1 h i and a hypermultiplet in the bifundamental of U(k) × U(N ), then a third gauge node U(k ′ ) with k ′ = i>2 h i and one hyper in the bifundamental of U(k) × U(k ′ ) and so on. For example, in the case of a minimal puncture (h 1 = N − 1 and h 2 = 1) the tail consists of a single U(1) node and for the full puncture (N columns of height one) the tail is the so-called T (SU(N )) theory: a linear quiver of N − 1 unitary gauge groups with ranks decreasing by one unit each time as we move along the tail starting from the central node.

A.3 Curves and spectrum of (A n , A k ) theories
The theory (A n , A k ) can be defined as the compactification of the N = (2, 0) theory of type A k (we assume without loss of generality n ≥ k) on the sphere with one irregular singularity of type I. The Seiberg-Witten (SW) curve and differential are x k+1 + z n+1 = 0; λ SW = xdz. (A.1) In the above formula the coordinate z parametrizes the sphere and the puncture is located at z = ∞. Exploiting the fact that for every N = 2 SCFT the SW differential has dimension one [λ SW ] = 1, we find the constraint [x] + [z] = 1 and imposing homogeneity of the curve we directly get [x] = n + 1 n + k + 2 ; [z] = k + 1 n + k + 2 .
This can be used to determine the scaling dimension of all Coulomb branch operators, which are described as deformations of the SW curve. Using the freedom to shift x and z by a constant, we can remove all terms in the curve proportional to x n and z k . As a consequence, in deforming the SW curve we will get terms of the form x n−i z k−j u ij (i ≤ n and j ≤ k) and they all have dimension (n + 1)(k + 1)/(n + k + 2). This fact can be used to determine the dimension of u ij , which describes a CB operator whenever [u ij ] > 1. The parameters satisfying the constraint [u ij ] = 1 describe mass parameters associated with (the cartan part of) the global symmetry of the theory and those with dimension strictly smaller than one are interpreted as coupling constants related to N = 2 preserving relevant deformations. In this paper we just consider the special class n + 1 = (k + 1)N , in which [x] = N [z] = N N +1 . The Coulomb branch of the theory includes operators of dimension n N +1 with JHEP10(2017)106 N + 1 < n ≤ N (k + 1) and for every allowed value of n there is at least one operator. More precisely, we have only one Coulomb branch operator for every n in the range N k < n ≤ N (k + 1); two operators for every n in the range N (k − 1) < n ≤ N k and so on, up to k operators in the range N + 1 < n ≤ 2N . Overall, we find k(k − 1 + (N − 1)(k + 1))/2 Coulomb branch operators. We also always have k mass parameters.

A.4 Adding a regular puncture
We can refine the construction including one regular puncture at z = 0. We will call the resulting theory (I n+1,k+1 , Y ) where Y denotes the Young diagram with n + 1 boxes specifying the regular puncture (see also the previous subsection). The undeformed SW curve and differential are the same as in (A.1); the difference arises in specifying the allowed deformations. In order to state the result, let us notice that the deformed SW curve can be written in the form where φ i (z) are meromorphic differentails of degree i with poles at z = 0, ∞. The advantage of this formulation is that the above equation is reparametrization invariant. The pole structure at infinity is the same as in (A.1), but now we also have poles at z = 0 so we don't have anymore the freedom to set to zero the terms proportional to z k by shifting z.
The pole structure at zero is determined by the Young diagram as follows: the meromorphic differentials φ i (z) have a pole of order i − 1 for 2 ≤ i ≤ l 1 , i − 2 for l 1 < i ≤ l 1 + l 2 and similarly for higher values of i (l i is indeed the length of the i-th row of Y ). In the case of minimal puncture all the differentials have a pole of order one whereas the order of the pole is i − 1 for every i in the case of maximal punctures.
In the main body of the paper we consider models with a minimal punctures. In this case the list of Coulomb branch operators is the same as in the (A k , A N (k+1)−1 ) case, with the addition of k operators whose dimension is (1+j)N +1 N +1 with 1 ≤ j ≤ k. We also have one extra mass parameter.
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.