This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

aainstitutetext: Department of Applied Mathematics and Theoretical Physics, University of Cambridge,
Cambridge CB3 0WA, U.K.
bbinstitutetext: Department of Physics, Pohang University of Science and Technology (POSTECH),
Pohang 37673, Republic of Korea

Monopole deformations of 3d Seiberg-like dualities with adjoint matters

Chiung Hwang b    Sungjoon Kim b    and Jaemo Park [email protected] [email protected] [email protected]
Abstract

We propose new 3d 𝒩=2\mathcal{N}=2 Seiberg-like dualities by considering various monopole superpotential deformations on 3d 𝒩=2\mathcal{N}=2 U(Nc)U(N_{c}) SQCDs with fundamental and adjoint matter fields. We provide nontrivial evidence of these new dualities by comparing the superconformal indices, from which we analyze the change of the moduli space due to the monopole deformation. In addition, we perform the FF-maximization to check the relevance of the monopole deformation for some examples, one of which is found to exhibit nontrivial symmetry enhancement in the IR. We prove such enhancement of the global symmetry using the superconformal index.

1 Introduction

The infra-red (IR) duality is one of the most interesting phenomena of quantum field theories. It tells us that two high energy theories flow to the same IR fixed point along the renormalization group (RG) flows and describe identical low energy dynamics. While it is a very nontrivial question to answer how such a duality works microscopically, we usually have a better understanding and more control of the duality if the theory is supersymmetric. Indeed, pioneered by the seminal work by Seiberg Seiberg:1994pq , various examples of supersymmetric IR dualities have been proposed so far and used to explain the non-perturbative phenomena of supersymmetric gauge theories.

In the last decade, our understanding of the relations of such supersymmetric dualities to each other has been significantly enlarged. For instance, the work of Aharony:2013dha ; Aharony:2013kma provides a very concrete connection between 4d and 3d Seiberg-like dualities. Also, a new type of 4d IR duality, called mirror-like duality Pasquetti:2019hxf ; Hwang:2020wpd , has been found and shown to reduce to 3d 𝒩=4\mathcal{N}=4 mirror symmetry Intriligator:1996ex upon circle compactification and some real mass deformation. Those 3d and 4d mirror dualities can be derived from a set of two basic duality moves Hwang:2021ulb , which originates from the iterative application of particular Seiberg-like dualities Bottini:2021vms . In addition, many examples of IR dualities with matter fields in rank-2 tensor representations of the gauge group have been derived from simpler dualities without such tensor representation fields by using a technique called deconfinement. See Berkooz:1995km ; Pouliot:1995me ; Luty:1996cg ; Pasquetti:2019uop ; Pasquetti:2019tix ; Benvenuti:2020gvy ; Benvenuti:2021nwt ; Nii:2016jzi ; Sacchi:2020pet ; Bajeot:2022kwt ; Bottini:2022vpy ; Amariti:2022wae for example. Those nontrivial relations of supersymmetric dualities provide crucial hints for the deeper structures behind those dualities.

Interestingly, in such relations of supersymmetric IR dualities, the monopole superpotential plays an important role. When a 4d duality is reduced to 3d, a nontrivial superpotential involving a monopole operator is generated in the resulting 3d theory Aharony:2013dha ; Aharony:2013kma , which is crucial to obtain the correct 3d duality. In addition, the deconfinement technique applied to an adjoint field in a 3d U(N)U(N) theory is based on the Benini–Benvenuti–Pasquetti duality Benini:2017dud , which is a variation of the Aharony duality Aharony:1997gp deformed by linear monopole superpotentials. Also, such monopole-deformed theories lead to interesting IR fixed points; e.g., the 3d 𝒩=2\mathcal{N}=2 U(N)U(N) theory with 2N+22N+2 fundamental flavors and linear monopole superpotentials is identified with the S-duality wall for the 4d 𝒩=2\mathcal{N}=2 SQCD Benini:2017dud . Therefore, the study of monopole superpotential is an important problem to understand more aspects of IR dynamics and dualities of 3d supersymmetric gauge theories.

For this reason, in this paper, we discuss the monopole deformation of 3d 𝒩=2\mathcal{N}=2 theories with adjoint matters, which leads to new Seiberg-like dualities in the presence of the monopole superpotential. One of the most powerful tests of such dualities is the matching of the superconformal index Bhattacharya:2008zy ; Bhattacharya:2008bja , capturing the the spectrum of chiral operators at the superconformal fixed point.111The 3d superconformal index has been used to test various supersymmetric IR dualities and the AdS/CFT correspondence. Some earlier works can be found in Cheon:2011th ; Imamura:2011uj ; Krattenthaler:2011da ; Jafferis:2011ns ; Kapustin:2011jm ; Bashkirov:2011vy ; Hwang:2011qt ; Gang:2011xp ; Hwang:2011ht ; Kapustin:2011vz ; Gang:2011jj ; Dimofte:2012pd ; Honda:2012ik . Especially, via the AdS/CFT correspondence, it can also be used to count the microstates of rotating electric AdS4AdS_{4} black holes Choi:2019zpz ; Bobev:2019zmz ; Nian:2019pxj ; Benini:2019dyp ; Choi:2019dfu . One can obtain its exact expression using the supersymmetric localization technique, which is given by a finite-dimensional matrix integral equipped with flux summations Kim:2009wb ; Imamura:2011su . We will provide nontrivial evidence of the proposed dualities by making explicit comparisons of the superconformal indices.

The remaining part of the paper is organized as follows.

  • In section 2, we discuss the monopole deformation of 3d U(Nc)U(N_{c}) gauge theories with one adjoint and fundamental matters. We first review the known duality of this adjoint SQCD Kim:2013cma and propose a new duality in the presence of a linear monopole superpotential. This is a generalization of Amariti:2018wht ; Amariti:2019rhc , which examined the deformation of the same theory by different monopole superpotentials. We also exhibit the result of the superconformal index computation, which provides nontrivial evidence of the proposed duality.

  • In section 3, we move on to the theories with two adjoint matters. Again we first review the known duality for the theory Hwang:2018uyj and propose its monopole deformation. Note that the double adjoint theory has two types of monopole operators, carrying one and two units of magnetic flux, respectively. We discuss the monopole deformation by each type of monopole operator.

  • In section 4, we discuss explicit examples of the single adjoint case. Specifically, we discuss the monopole deformation of U(2)U(2) theories with three and four fundamental flavors and a single adjoint field XX with the superpotential TrX3\mathrm{Tr}X^{3}. We perform the FF-maximization to check when the monopole deformation is relevant. We also comment on the symmetry enhancement of the U(2)U(2) theory with four flavors, in connection with a similar model discussed in Amariti:2018wht ; Benvenuti:2018bav without the superpotential for the adjoint field.

  • In section 5, we conclude the paper by summarizing the proposed dualities and giving brief discussions on RG flows and conformal manifold, specifically for the theories with two adjoint matters.

  • In appendix A, we list the results of the index computation, which provide strong evidence of the conjectured dualities. All the global symmetry fugacities are omitted for simplicity.

2 3d SQCD with a single adjoint matter and W=TrXn+1W=\mathrm{Tr}X^{n+1}

2.1 Review of the duality without the monopole superpotential

In this section, we first review the Seiberg-like duality of a 3d U(Nc)U(N_{c}) gauge theory with one adjoint and fundamental matters Kim:2013cma , which we call the Kim–Park duality.

  • Theory A is the 3d 𝒩=2\mathcal{N}=2 U(Nc)U(N_{c}) gauge theory with NfN_{f} pairs of fundamental QaQ^{a} and anti-fundamental Q~a~\tilde{Q}^{\tilde{a}}, one adjoint chiral multiplet XX and the superpotential

    WA=TrXn+1.\displaystyle W_{A}=\mathrm{Tr}X^{n+1}\,. (1)
  • Theory B is the 3d 𝒩=2\mathcal{N}=2 U(nNfNc)U(nN_{f}-N_{c}) gauge theory with NfN_{f} pairs of fundamental qa~q_{\tilde{a}} and anti-fundemental q~a\tilde{q}_{a}, one adjoint X^\hat{X}, and nNf+22nnN_{f}{}^{2}+2n gauge singlet chiral multiplets Mia~a{M_{i}}^{\tilde{a}a} and Vi±V_{i}^{\pm} for a,a~=1,Nfa,\tilde{a}=1,\dots N_{f} and i=0,,n1i=0,\ldots,n-1. The superpotential is given by

    WB=TrX^n+1+i=0n1Miq~X^n1iq+i=0n1(Vi+V^n1i+ViV^n1i+)\displaystyle W_{B}=\mathrm{Tr}\hat{X}^{n+1}+\sum_{i=0}^{n-1}M_{i}\tilde{q}\hat{X}^{n-1-i}q+\sum_{i=0}^{n-1}\left(V_{i}^{+}\hat{V}_{n-1-i}^{-}+V_{i}^{-}\hat{V}_{n-1-i}^{+}\right) (2)

    where V^i±\hat{V}_{i}^{\pm} are the monopole operators of Theory B.

The global symmetry and charges are summarized in Table 1.

U(1)RU(1)_{R} SU(Nf)tSU(N_{f})_{t} SU(Nf)uSU(N_{f})_{u} U(1)AU(1)_{A} U(1)TU(1)_{T}
QQ ΔQ\Delta_{Q} 𝐍f\mathbf{N}_{f} 𝟏\mathbf{1} 1 0
Q~\tilde{Q} ΔQ\Delta_{Q} 𝟏\mathbf{1} 𝐍f\mathbf{N}_{f} 1 0
XX 2n+1\frac{2}{n+1} 𝟏\mathbf{1} 𝟏\mathbf{1} 0 0
qq 2n+1ΔQ\frac{2}{n+1}-\Delta_{Q} 𝟏\mathbf{1} 𝐍f¯\overline{\mathbf{N}_{f}} -1 0
q~\tilde{q} 2n+1ΔQ\frac{2}{n+1}-\Delta_{Q} 𝐍f¯\overline{\mathbf{N}_{f}} 𝟏\mathbf{1} -1 0
X^\hat{X} 2n+1\frac{2}{n+1} 𝟏\mathbf{1} 𝟏\mathbf{1} 0 0
MiM_{i} 2ΔQ+2in+12\Delta_{Q}+\frac{2i}{n+1} 𝐍f\mathbf{N}_{f} 𝐍f\mathbf{N}_{f} 2 0
Vi±V_{i}^{\pm} (1ΔQ)Nf2n+1(Nc1i)\begin{subarray}{c}(1-\Delta_{Q})N_{f}\\ -\frac{2}{n+1}(N_{c}-1-i)\end{subarray} 𝟏\mathbf{1} 𝟏\mathbf{1} Nf-N_{f} ±1\pm 1
V^i±\hat{V}_{i}^{\pm} (12n+1+ΔQ)Nf2n+1(N~c1i)\begin{subarray}{c}(1-\frac{2}{n+1}+\Delta_{Q})N_{f}\\ -\frac{2}{n+1}(\tilde{N}_{c}-1-i)\end{subarray} 𝟏\mathbf{1} 𝟏\mathbf{1} NfN_{f} ±1\pm 1
Table 1: The representations of the chiral operators under the global symmetry groups of the theory with one adjoint and fundamental matters. The elementary fields of Theory A are presented in the top box, whereas those of Theory B are presented in the middle box. Both the monopole operators of Theory A and their dual singlets are denoted by Vi±V_{i}^{\pm}, whose charges are shown in the middle box. Similarly, the monopole operators of Theory B are denoted by V^i±\hat{V}_{i}^{\pm}, whose charges are shown in the bottom box. Note that N~c\tilde{N}_{c} is the dual gauge rank, which is defined by N~c=nNfNc\tilde{N}_{c}=nN_{f}-N_{c}.

One can also generalize this duality to have the different numbers of fundamental and anti-fundamental matters, possibly with a nonzero Chern–Simons term, by giving real mass to some flavors Hwang:2015wna . In this paper, we focus on the same number of the fundamental and anti-fundamental matters for simplicity.

The superpotential (1) imposes the F-term condition Xn=0X^{n}=0 on the adjoint field XX such that the traces of powers of XX higher than nn are truncated in the chiral ring. In 4d, the duality of a theory with such a superpotential, later called the AnA_{n} theory Intriligator:2003mi , was studied in Kutasov:1995ve ; Kutasov:1995np ; Kutasov:1995ss . It was also discussed that two AnA_{n} and AnA_{n^{\prime}} theories with n>nn>n^{\prime} are connected by an RG flow triggered by the extra superpotential Kutasov:2003iy ; Intriligator:2016sgx

i=nn1TrXi+1.\displaystyle\sum_{i=n^{\prime}}^{n-1}\mathrm{Tr}X^{i+1}\,. (3)

This deformation leads to a discrete set of the vacuum expectation values of XX, breaking the theory as follows:

AnAn+(nn)A1,\displaystyle A_{n}\quad\longrightarrow\quad A_{n^{\prime}}+\left(n-n^{\prime}\right)A_{1}\,, (4)

where the A1A_{1} theory is an ordinary SQCD without the adjoint because it contains the mass term for XX. Especially, once we turn on ΔWX=Tr[fn(X)]\Delta W_{X}=\mathrm{Tr}\left[f_{n}(X)\right] where fn(x)f_{n}(x) is a generic polynomial of degree nn in xx, the VEV of XX is parameterized by

Xk=1nxk𝟏rk,k=1nrk=Nc\displaystyle\left<X\right>\sim\oplus_{k=1}^{n}x_{k}\mathbf{1}_{r_{k}}\,,\qquad\sum_{k=1}^{n}r_{k}=N_{c} (5)

where xkx_{k}’s are the nn distinct solutions to the equation

(n+1)xn+fn(x)=0.\displaystyle(n+1)x^{n}+f_{n}^{\prime}(x)=0\,. (6)

This breaks the gauge group U(Nc)U(N_{c}) into

k=1nU(rk)\displaystyle\prod_{k=1}^{n}U(r_{k}) (7)

where each U(rk)U(r_{k}) sector only has NfN_{f} pairs of fundamental and anti-fundamental fields. The adjoint field becomes massive because fn′′(xk)0f_{n}^{\prime\prime}(x_{k})\neq 0. We will call this deformed theory the broken theory because the gauge group is partially broken.

For the original Theory A, the moduli space of vacua is parametrized by the VEV of chiral operators MiQ~XiQM_{i}\equiv\tilde{Q}X^{i}Q, TrXi+1\mathrm{Tr}X^{i+1}, and Vi±V_{i}^{\pm} for i=0,,n1i=0,\dots,n-1. While the branch described by TrXi+1\mathrm{Tr}X^{i+1} is lifted after turning on the polynomial superpotential ΔWX=Tr[fn(X)]\Delta W_{X}=\mathrm{Tr}\left[f_{n}(X)\right], the dimensions of the other branches remain unchanged. For instance, both the original theory and the broken theory have 2n2n-dimensional Coulomb branches, which are respectively described by Vi±V_{i}^{\pm} for i=0,,n1i=0,\dots,n-1 and by V(k)±V^{(k)}{}^{\pm} for k=1,,nk=1,\dots,n where V(k)±V^{(k)}{}^{\pm} are a pair of monopole operators of each U(rk)U(r_{k}) sector.

One can consider the same deformation for Theory B. The corresponding deformation on the dual side should be the same polynomial superpotential ΔWX^=Tr[fn(X^)]\Delta W_{\hat{X}}=\mathrm{Tr}\left[f_{n}(\hat{X})\right] of degree nn now in X^\hat{X} because the term TrXk\mathrm{Tr}X^{k} is mapped to TrX^k\mathrm{Tr}\hat{X}^{k}. The VEV of X^\hat{X} is parameterized by

X^k=1nx^k𝟏r~k,k=1nr~k=N~c=nNfNc\displaystyle\left<\hat{X}\right>\sim\oplus_{k=1}^{n}\hat{x}_{k}\mathbf{1}_{\tilde{r}_{k}}\,,\qquad\sum_{k=1}^{n}\tilde{r}_{k}=\tilde{N}_{c}=nN_{f}-N_{c} (8)

where x^k\hat{x}_{k}’s are the nn solutions to the equation

(n+1)x^n+fn(x^)=0.\displaystyle(n+1)\hat{x}^{n}+f_{n}^{\prime}(\hat{x})=0\,. (9)

This VEV breaks the dual gauge group U(N~c)U(\tilde{N}_{c}) into

k=1nU(r~k)\displaystyle\prod_{k=1}^{n}U(\tilde{r}_{k}) (10)

where now one can see that r~k\tilde{r}_{k} should satisfy

r~k=Nfrk\displaystyle\tilde{r}_{k}=N_{f}-r_{k} (11)

so that it is consistent with the duality of the broken theory. Each U(r~k)U(\tilde{r}_{k}) sector then has NfN_{f} pairs of fundamental and anti-fundamental fields (q(k),q~(k))(q^{(k)},\tilde{q}^{(k)}) and Nf+22N_{f}{}^{2}+2 singlets M(k),V(k)±M^{(k)},\,V^{(k)}{}^{\pm} interacting via the superpotential:

WB(k)=M(k)q~(k)q(k)+V(k)V^(k)++V(k)V^(k),+\displaystyle W_{B}^{(k)}=M^{(k)}\tilde{q}^{(k)}q^{(k)}+V^{(k)}{}^{+}\hat{V}^{(k)}{}^{-}+V^{(k)}{}^{-}\hat{V}^{(k)}{}^{+}\,, (12)

which is the Aharony dual theory Aharony:1997gp of the U(rk)U(r_{k}) sector of the broken theory. Hence, once we turn on the polynomial superpotential ΔWX=Tr[fn(X)]\Delta W_{X}=\mathrm{Tr}\left[f_{n}(X)\right], the Kim–Park duality lands on the Aharony duality of each broken sector. In the next subsection, we will see that such polynomial superpotential deformation is also useful for investigating new dualities with monopole superpotentials.

2.2 Dualities with linear monopole superpotentials: ΔW=Vα++Vα\Delta W=V_{\alpha}^{+}+V_{\alpha}^{-}

In 3d, the Coulomb branch of the vacuum moduli space is described by the VEVs of monopole chiral operators. If such monopole operators are relevant, the theory can also be deformed by them and lead to new fixed points in the IR. For example, it is known that a 3d U(N)U(N) SQCD can be deformed by the monopole superpotential ΔW=V+V\Delta W=V^{+}V^{-} Aharony:2013dha and flow to an IR fixed point distinct from the original one without the monopole superpotential. Interestingly, such a new fixed point can be reached from a 4d U(N)U(N) SQCD put on a circle, whose effective theory is 3-dimensional. Similarly, one can also consider the compactification of a 4d USp(2N)USp(2N) SQCD, which flows to the same fixed point as the 3d USp(2N)USp(2N) theory deformed by the monopole superpotential ΔW=V\Delta W=V Aharony:2013dha . Moreover, this theory further flows to the 3d U(N)U(N) theory with linear monopole superpotential ΔW=V++V\Delta W=V^{+}+V^{-} Benini:2017dud once we turn on some real mass breaking USp(2N)USp(2N) into U(N)U(N). Note that all those fixed points are distinct from those of the original 3d theories without the monopole superpotentials if the deformation is relevant.

In addition, such monopole deformation also leads to new IR dualities. For instance, Benini:2017dud shows that the 3d U(Nc)U(N_{c}) theory with NfN_{f} flavors deformed by linear monopole superpotential ΔW=V++V\Delta W=V^{+}+V^{-} enjoys the following Seiberg-like duality.

  • Theory A is the 3d 𝒩=2\mathcal{N}=2 U(Nc)U(N_{c}) gauge theory with NfN_{f} flavors (Q,Q~)(Q,\tilde{Q}) and the superpotential

    WA=V++V\displaystyle W_{A}=V^{+}+V^{-} (13)

    where V±V^{\pm} are the monopole operators of Theory A.

  • Theory B is the 3d 𝒩=2\mathcal{N}=2 U(NfNc2)U(N_{f}-N_{c}-2) gauge theory with NfN_{f} flavors (q,q~)(q,\tilde{q}), Nf2N_{f}{}^{2} gauge singlets MM, and the superpotential

    WB=Mq~q+V^++V^\displaystyle W_{B}=M\tilde{q}q+\hat{V}^{+}+\hat{V}^{-} (14)

    where V^±\hat{V}^{\pm} are the monopole operators of Theory B.

There are also studies of the monopole deformation of adjoint SQCDs and their dualities Amariti:2018wht ; Amariti:2019rhc . As reviewed in the previous subsection, the U(Nc)U(N_{c}) theory with an adjoint matter and the superpotential W=TrXn+1W=\mathrm{Tr}\,X^{n+1} has 2n2n monopole operators Vi±V_{i}^{\pm} for i=0,,n1i=0,\dots,n-1. Therefore, one can consider a large variety of monopole superpotentials and corresponding dualities.

In this subsection, we examine the deformation of the single adjoint theory by the following linear monopole superpotential:

ΔWA=Vα++Vα.\displaystyle\Delta W_{A}=V_{\alpha}^{+}+V_{\alpha}^{-}\,. (15)

For α=0\alpha=0, this type of monopole superpotential has been discussed in Amariti:2018wht , which shows that the adjoint theory with such monopole superpotential can be obtained by compactifying a 4d USp(2Nc)USp(2N_{c}) SQCD with an antisymmetric matter and turning on suitable real mass breaking USp(2Nc)USp(2N_{c}) into U(Nc)U(N_{c}). Most importantly, this 4d USp(2Nc)USp(2N_{c}) theory enjoys the Intriligator–Leigh–Strassler duality Intriligator:1995ax , which in turn descends to a duality for the 3d U(Nc)U(N_{c}) SQCD with an adjoint matter and the superpotential

WAα=0=TrXn+1+V0++V0.\displaystyle W_{A}^{\alpha=0}=\mathrm{Tr}X^{n+1}+V_{0}^{+}+V_{0}^{-}\,. (16)

The dual theory is given by the U(nNfNc2n)U(nN_{f}-N_{c}-2n) theory with the superpotential

WBα=0=TrX^n+1+i=0n1Miq~X^n1iq+V^0++V^0,\displaystyle W_{B}^{\alpha=0}=\mathrm{Tr}\hat{X}^{n+1}+\sum_{i=0}^{n-1}M_{i}\tilde{q}\hat{X}^{n-1-i}q+\hat{V}_{0}^{+}+\hat{V}_{0}^{-}\,, (17)

which also includes the linear superpotential of the dual monopole operators V^0±\hat{V}_{0}^{\pm}. Note that the monopole superpotential lifts the Coulomb branch of the moduli space.

We attempt to generalize this duality for α>0\alpha>0. Since V0±V_{0}^{\pm} have the smallest conformal dimension among the 2n2n monopole operators of the single adjoint theory, it is often the case that V0±V_{0}^{\pm} decouple in the IR and its linear deformation breaks supersymmetry. Nevertheless, even in such cases, there could exist interacting Vα±V_{\alpha}^{\pm} for higher α>0\alpha>0, which would give rise to some relevant deformation of the theory. Hence, it is natural to ask if one can find new dualities by turning on the monopole superpotential (15) for α>0\alpha>0.

Our proposal is as follows.

  • Theory A is the 3d 𝒩=2\mathcal{N}=2 U(Nc)U(N_{c}) gauge theory with NfN_{f} pairs of fundamental QaQ^{a} and anti-fundamental Q~a~\tilde{Q}^{\tilde{a}}, one adjoint chiral multiplet XX and the superpotential

    WAmon=TrXn+1+Vα++Vα.\displaystyle W_{A}^{mon}=\mathrm{Tr}X^{n+1}+V_{\alpha}^{+}+V_{\alpha}^{-}\,. (18)

    where Vα±V_{\alpha}^{\pm} are monopole operators of Theory A.

  • Theory B is the 3d 𝒩=2\mathcal{N}=2 U(nNfNc2n+2α)U(nN_{f}-N_{c}-2n+2\alpha) gauge theory with NfN_{f} pairs of fundamental qa~q_{\tilde{a}} and anti-fundemental q~a\tilde{q}_{a}, one adjoint X^\hat{X}, and nNf2nN_{f}{}^{2} gauge singlet chiral multiplets Mia~a{M_{i}}^{\tilde{a}a} for a,a~=1,,Nfa,\tilde{a}=1,\dots,N_{f} and i=0,,n1i=0,\ldots,n-1. The superpotential is given by

    WBmon=TrX^n+1+i=0n1Miq~X^n1iq+V^α++V^α.\displaystyle W_{B}^{mon}=\mathrm{Tr}\hat{X}^{n+1}+\sum_{i=0}^{n-1}M_{i}\tilde{q}\hat{X}^{n-1-i}q+\hat{V}_{\alpha}^{+}+\hat{V}_{\alpha}^{-}\,. (19)

    where V^α±\hat{V}_{\alpha}^{\pm} are the monopole operators of Theory B.

Due to the monopole superpotential, monopole operators Vj±V_{j}^{\pm} of Theory A and V^j±\hat{V}_{j}^{\pm} of Theory B become massive for jαj\geq\alpha. The duality map of the remaining monopole operators is given by

Vi±V^i±,i=0,,α1.\displaystyle V_{i}^{\pm}\quad\longleftrightarrow\quad\hat{V}_{i}^{\pm}\,,\qquad i=0,\dots,\alpha-1\,. (20)

Since the superpotential for α>0\alpha>0 is not obtained from the compactification, we should take an alternative approach to obtain the duality deformed by those dressed monopole operators. For this reason, although our main interest is α>0\alpha>0, let us first revisit the α=0\alpha=0 case using such an altenative approach and then discuss α>0\alpha>0 subsequently. We first note that the extra superpotential (15) with α=0\alpha=0:

ΔWA=V0++V0\displaystyle\Delta W_{A}=V_{0}^{+}+V_{0}^{-} (21)

is mapped to the superpotential of the same form on the dual side

ΔWB=V0++V0\displaystyle\Delta W_{B}=V_{0}^{+}+V_{0}^{-} (22)

where V0±V_{0}^{\pm} are now elementary gauge singlets rather than monopole operators of the theory. Together with the original superpotential of the dual theory (2), the total superpotential of the deformed dual theory is given by

WB\displaystyle W_{B}^{\prime} =WB+ΔWB\displaystyle=W_{B}+\Delta W_{B}
=TrX^n+1+i=0n1Miq~X^n1iq+i=0n1(Vi+V^n1i+ViV^n1i+)+V0++V0,\displaystyle=\mathrm{Tr}\hat{X}^{n+1}+\sum_{i=0}^{n-1}M_{i}\tilde{q}\hat{X}^{n-1-i}q+\sum_{i=0}^{n-1}\left(V_{i}^{+}\hat{V}_{n-1-i}^{-}+V_{i}^{-}\hat{V}_{n-1-i}^{+}\right)+V_{0}^{+}+V_{0}^{-}\,, (23)

which gives rise to non-zero VEVs of the dual monopole operators V^n1±\hat{V}_{n-1}^{\pm}.

While the direct analysis of the corresponding Higgs mechanism is complicated, we can take a shortcut using another deformation of the theory: we go back to the original side and turn on the polynomial superpotential of the adjoint field:

ΔWX=Tr[fn(X)].\displaystyle\Delta W_{X}=\mathrm{Tr}\left[f_{n}(X)\right]. (24)

As seen in the previous subsection, this leads to the nonzero VEV of XX, which breaks the theory into the nn sectors consisting of the U(rk)U(r_{k}) gauge theories without an adjoint matter for k=1,,nk=1,\dots,n. Each sector has a pair of monopole operators V(k)±V^{(k)}{}^{\pm} and the extra monopole superpotential (21) we turn on is expected to descend to the following linear superpotential for each sector:

WA(k)=V(k)++V(k).\displaystyle W_{A}^{(k)}=V^{(k)}{}^{+}+V^{(k)}{}^{-}\,. (25)

Note that this is exactly the linear monopole superpotential (13) discussed in Benini:2017dud . Thus, the dual theory of each sector is given by the U(Nfrk2)U(N_{f}-r_{k}-2) theory with the superpotential:

WB(k)=M(k)q~(k)q(k)+V^(k)++V^(k).\displaystyle W_{B}^{(k)}=M^{(k)}\tilde{q}^{(k)}q^{(k)}+\hat{V}^{(k)}{}^{+}+\hat{V}^{(k)}{}^{-}\,. (26)

We find that the collection of those dual sectors is nothing but the effective low energy description of the U(nNfNc2n)U(nN_{f}-N_{c}-2n) theory with the superpotential:

W=WBα=0+ΔWX^,ΔWX^=Tr[fn(X^)]\displaystyle W=W_{B}^{\alpha=0}+\Delta W_{\hat{X}}\,,\qquad\Delta W_{\hat{X}}=\mathrm{Tr}\left[f_{n}(\hat{X})\right] (27)

where WBα=0W_{B}^{\alpha=0} is given in (17). As argued in the previous subsection, ΔWX^\Delta W_{\hat{X}} and the first term of WBα=0W_{B}^{\alpha=0} result in nn distinct vacuum solutions governed by the U(Nfrk2)U(N_{f}-r_{k}-2) theories without the adjoint X^\hat{X}. Then the remaining terms of WBα=0W_{B}^{\alpha=0} become the superpotential (26) for each U(Nfrk2)U(N_{f}-r_{k}-2) sector. Hence, the U(nNfNc2n)U(nN_{f}-N_{c}-2n) theory with the superpotential (27) flows to the collection of the U(Nfrk2)U(N_{f}-r_{k}-2) theories with the superpotential (26).

One should note that ΔWX^\Delta W_{\hat{X}} is dual to ΔWX\Delta W_{X}, the extra superpotential we introduce on the original side. Thus, once we turn off both of them, we have a duality between the U(Nc)U(N_{c}) theory with the superpotential (16) and the U(nNfNc2n)U(nN_{f}-N_{c}-2n) theory with the superpotential (17), which should be the one obtained from the theory with (2.2) after Higgsing. Indeed, this is exactly the duality proposed in Amariti:2018wht obtained by compactifying the 4d duality. The duality and its deformation by the adjoint polynomial superpotential can be summarized as follows:

U(Nc)U(nNfNc2n)k=1nU(rk)k=1nU(Nfrk2)\displaystyle\begin{array}[]{ccc}U(N_{c})&\quad\longleftrightarrow&U(nN_{f}-N_{c}-2n)\\ \big{\downarrow}&&\big{\downarrow}\\ {\displaystyle\prod_{k=1}^{n}U(r_{k})}&\quad\longleftrightarrow&{\displaystyle\prod_{k=1}^{n}U(N_{f}-r_{k}-2)}\end{array} (31)

where a horizontal arrow denotes the duality between the two theories, while a vertical arrow indicates the deformation by the polynomial superpotential of the adjoint field.

Notice that the Coulomb branch of each broken sector on the right hand side is completely lifted by the monopole superpotential (25). Therefore, we expect that the monopole superpotential (21) also lifts the entire Coulomb branch on the left hand side. This will be confirmed by the superconformal index shortly in section 2.3.

Now let us move on to the generalization to α>0\alpha>0. We first recall that the theory with an adjoint matter has the 2n2n-dimensional Coulomb branch described by Vi±V_{i}^{\pm} for i=0,,n1i=0,\dots,n-1, whose dimension is not affected even if we turn on the polynomial superpotential ΔWX=Tr[fn(X)]\Delta W_{X}=\mathrm{Tr}\left[f_{n}(X)\right]. Once the polynomial superpotential is turned on, the theory is decomposed into nn sectors, each of which has a 2-dimensional Coulomb branch described by their own monopole operators V(k)±V^{(k)}{}^{\pm}. Therefore, the total Coulomb branch is still a 2n2n-dimensional one, now described by V(k)±V^{(k)}{}^{\pm} for k=1,,nk=1,\dots,n.

We expect that the monopole superpotential (21) completely lifts this 2n2n-dimensional Coulomb branch because it descends to the monopole superpotential (25) of each U(rk)U(r_{k}) sector of the broken theory. Now let us imagine we turn on the monopole superpotential only for m<nm<n sectors of the broken theory. In that case, we still have un-lifted Coulomb branch for nmn-m sectors, which enjoy the Aharony duality Aharony:1997gp rather than the Benini–Benvenuti–Pasquetti duality Benini:2017dud . Namely, the dual relations of the broken sectors are given by

{U(rk)U(Nfrk)without the monopole superpotential,U(rk)U(Nfrk2)with the monopole superpotential,\displaystyle\left\{\begin{array}[]{cccc}U(r_{k})&\quad\longleftrightarrow&U(N_{f}-r_{k})&\qquad\text{without the monopole superpotential,}\\ U(r_{k})&\quad\longleftrightarrow&U(N_{f}-r_{k}-2)&\qquad\text{with the monopole superpotential,}\end{array}\right. (34)

depending on the presence of the monopole superpotential. Now if we turn off the adjoint polynomial superpotential so that the left hand side is restored to the U(Nc)U(N_{c}) gauge theory, the dual sectors also combine into a U(nNfNc2m)U(nN_{f}-N_{c}-2m) gauge theory for m<nm<n.222Given the fixed number of the sectors with the monopole superpotential, there is a subtlety in choosing which sector has the monopole superpotential and which sector doesn’t. However, this is not significant for our purpose as the full Weyl symmetry of U(Nc)U(N_{c}) will be restored once the adjoint polynomial superpotential is turned off, which is what we are interested in. From this relation, one would expect that there exists a monopole deformation of the original theory lifting the Coulomb branch only partially such that the remaining Coulomb branch is 2(nm)2(n-m)-dimensional.

We propose that the deformation (15) plays such a role. Namely, if we turn on the monopole superpotential

ΔWA=Vα++Vα,\displaystyle\Delta W_{A}=V_{\alpha}^{+}+V_{\alpha}^{-}\,, (35)

we expect that this lifts the components of the Coulomb branch described by Vj±V_{j}^{\pm} for jαj\geq\alpha. In the next subsection, we will provide nontrivial evidence of this claim using the superconformal index. Furthermore, now the duality of each broken sector combines to predict a new duality between a U(N)U(N) theory and a U(nNfNc2n+2α)U(nN_{f}-N_{c}-2n+2\alpha) theory with monopole superpotentials, which is exactly what we proposed at the beginning of this subsection.

We need to check if new monopole terms in the superpotentials (18) and (19) are consistent with the global charges shown in Table 1. First we note that the monopole terms in (18) break the U(1)AU(1)_{A} and U(1)TU(1)_{T}. In addition, they also demand the RR-charge of the monopole operators Vα±V_{\alpha}^{\pm} to be 2; i.e.,

(1ΔQ)Nf2n+1(Nc1α)=2,\displaystyle(1-\Delta_{Q})N_{f}-\frac{2}{n+1}(N_{c}-1-\alpha)=2\,, (36)

which is satisfied only if the RR-charge ΔQ\Delta_{Q} of QQ and Q~\tilde{Q} is given by

ΔQ=(n+1)Nf2Nc2n+2α(n+1)Nf.\displaystyle\Delta_{Q}=\frac{(n+1)N_{f}-2N_{c}-2n+2\alpha}{(n+1)N_{f}}\,. (37)

The RR-charge Δq\Delta_{q} of qq and q~\tilde{q} is then determined by

Δq=2n+1ΔQ=(n1)Nf+2Nc+2n2α(n+1)Nf.\displaystyle\Delta_{q}=\frac{2}{n+1}-\Delta_{Q}=\frac{-(n-1)N_{f}+2N_{c}+2n-2\alpha}{(n+1)N_{f}}\,. (38)

This requires the RR-charge of the dual monopole operators V^α±\hat{V}_{\alpha}^{\pm} to be

(1Δq)Nf2n+1(N~c1α)\displaystyle\quad\left(1-\Delta_{q}\right)N_{f}-\frac{2}{n+1}\left(\tilde{N}_{c}-1-\alpha\right)
=(12n+1+ΔQ)Nf2n+1(nNfNc2n+α1)\displaystyle=\left(1-\frac{2}{n+1}+\Delta_{Q}\right)N_{f}-\frac{2}{n+1}(nN_{f}-N_{c}-2n+\alpha-1)
=2,\displaystyle=2\,, (39)

which is consistent with the monopole terms in the dual superpotential (19). The resulting global charges are summarized in Table 2.

U(1)RU(1)_{R} SU(Nf)tSU(N_{f})_{t} SU(Nf)uSU(N_{f})_{u}
QQ NfNc+N~c(n+1)Nf\frac{N_{f}-N_{c}+\tilde{N}_{c}}{(n+1)N_{f}} 𝐍f\mathbf{N}_{f} 𝟏\mathbf{1}
Q~\tilde{Q} NfNc+N~c(n+1)Nf\frac{N_{f}-N_{c}+\tilde{N}_{c}}{(n+1)N_{f}} 𝟏\mathbf{1} 𝐍f\mathbf{N}_{f}
XX 2n+1\frac{2}{n+1} 𝟏\mathbf{1} 𝟏\mathbf{1}
Vi±V_{i}^{\pm} 2+2n+1(iα)2+\frac{2}{n+1}(i-\alpha) 𝟏\mathbf{1} 𝟏\mathbf{1}
qq NfN~c+Nc(n+1)Nf\frac{N_{f}-\tilde{N}_{c}+N_{c}}{(n+1)N_{f}} 𝟏\mathbf{1} 𝐍f¯\overline{\mathbf{N}_{f}}
q~\tilde{q} NfN~c+Nc(n+1)Nf\frac{N_{f}-\tilde{N}_{c}+N_{c}}{(n+1)N_{f}} 𝐍f¯\overline{\mathbf{N}_{f}} 𝟏\mathbf{1}
X^\hat{X} 2n+1\frac{2}{n+1} 𝟏\mathbf{1} 𝟏\mathbf{1}
MiM_{i} 2Nf2Nc+2N~c(n+1)Nf+2in+1\frac{2N_{f}-2N_{c}+2\tilde{N}_{c}}{(n+1)N_{f}}+\frac{2i}{n+1} 𝐍f\mathbf{N}_{f} 𝐍f\mathbf{N}_{f}
V^i±\hat{V}_{i}^{\pm} 2+2n+1(iα)2+\frac{2}{n+1}(i-\alpha) 𝟏\mathbf{1} 𝟏\mathbf{1}
Table 2: The representations of the chiral operators under the global symmetry groups of the single adjoint theory with the linear monopole superpotential ΔWA=Vα++Vα\Delta W_{A}=V_{\alpha}^{+}+V_{\alpha}^{-} and its dual. Now the monopole operators Vi±V_{i}^{\pm} and V^i±\hat{V}_{i}^{\pm} are presented together with the elementary fields in the upper box and the lower box, respectively. Note that N~c\tilde{N}_{c} is the dual gauge rank, which is now defined by N~c=nNfNc2n+2α\tilde{N}_{c}=nN_{f}-N_{c}-2n+2\alpha.

2.3 The superconformal index and the chiral ring truncation

In this subsection, we attempt to support our proposal by providing nontrivial evidence using the superconformal index. We will see that the evaluated indices show the perfect agreement under the proposed duality. Furthermore, from the index, we also show that if the monopole superpotential

ΔWA=Vα++Vα.\displaystyle\Delta W_{A}=V_{\alpha}^{+}+V_{\alpha}^{-}\,. (40)

is turned on, the monopole operators Vj±V_{j}^{\pm} for jαj\geq\alpha become QQ-exact and vanish in the chiral ring, captureing the algebraic structure of the moduli space, as we claimed in the previous subsection.

The definition of the 3d superconformal index is given by Bhattacharya:2008zy ; Bhattacharya:2008bja :

I=Tr(1)Feβ{Q,S}xE+jitiFi.\displaystyle I=\mathrm{Tr}(-1)^{F}e^{\beta^{\prime}\{Q,S\}}x^{E+j}\prod_{i}t_{i}^{F_{i}}\,. (41)

Here FF is the fermion number operator. QQ and S=QS=Q^{\dagger} are supercharges chosen such that only the BPS states saturating

{Q,S}=EjR0\displaystyle\{Q,S\}=E-j-R\geq 0 (42)

contribute to the index, where energy EE, angular momentum jj, and RR-charge RR are three Cartans of the bosonic subgroup of the 3d 𝒩=2\mathcal{N}=2 superconformal group SO(3,2)×SO(2)SO(3,2)\times SO(2). FiF_{i} are the Cartan charges of the global symmetry.

This index can be evaluated using the localization technique, either localization on the Coulomb branch Kim:2009wb ; Imamura:2011su or that on the Higgs branch Fujitsuka:2013fga ; Benini:2013yva leading to the factorized form of the index Hwang:2012jh .333The factorized index is also closely related to the notion of holomorphic block Beem:2012mb . Indeed, the index of the single adjoint theory without the monopole superpotential was computed using the Coulomb branch formula in Kim:2013cma and using the factorization formula in Hwang:2015wna . For the index without the monopole superpotential, the RR-charges of the monopole operators V0±V_{0}^{\pm} are free parameters, whose values at the IR fixed point should be independently determined by the FF-maximization Jafferis:2010un because the RR-symmetry can vary along the RG-flow as it mixes with other abelian global symmetries. On the other hand, the index with the monopole superpotential can be obtained using the same formulas but with fixed RR-charges and fugacities because they are constrained by the given monopole superpotential. For examples, since the monopole superpotential (40) breaks U(1)AU(1)_{A} and U(1)TU(1)_{T}, there is no U(1)U(1) global symmetry that can be mixed with U(1)RU(1)_{R} along the RG-flow unless there is an emergent U(1)U(1) symmetry. In such a case, the superconformal RR-charge at the IR fixed point is the same as the UV value, which is fixed by the monopole superpotential.

In order to compute the index for the single adjoint theory with the monopole superpotential, we use the factorization formula derived in Hwang:2015wna and insert the RR-charge value ΔQ\Delta_{Q} determined by (37), which makes the RR-charge of Vα±V_{\alpha}^{\pm} two. A few examples of the results we obtain are shown in Table 3, whereas more results can be found in appendix A.

n ΔWA\Delta W_{A} (Nf,Nc,N~c)\!\!(N_{f},N_{c},\tilde{N}_{c})\!\! SCI
2 V0++V0V_{0}^{+}\!+\!V_{0}^{-}\!\! (3,2,0)(3,2,0) 1+9x2/9+45x4/9+165x2/3+504x8/9+1359x10/9+3327x4/3+7515x14/9+15876x16/9+31681x2+O(x19/9)\begin{array}[]{c}1+9x^{2/9}+45x^{4/9}+165x^{2/3}+504x^{8/9}+1359x^{10/9}\\ +3327x^{4/3}+7515x^{14/9}+15876x^{16/9}\\ +31681x^{2}+O\left(x^{19/9}\right)\end{array}
3 V1++V1V_{1}^{+}\!+\!V_{1}^{-}\!\! (5,5,6)(5,5,6) 1+x+25x3/5+2x+50x11/10+325x6/5+4x3/2+100x8/5+950x17/10+2925x9/543x2+175x21/10+2225x11/5+11050x23/10+20475x12/588x5/2900x13/5+4125x27/10+30225x14/5+93600x29/10+118573x3+O(x31/10)\begin{array}[]{c}1+\sqrt{x}+25x^{3/5}+2x+50x^{11/10}+325x^{6/5}+4x^{3/2}\\ +100x^{8/5}+950x^{17/10}+2925x^{9/5}-43x^{2}+175x^{21/10}\\ +2225x^{11/5}+11050x^{23/10}+20475x^{12/5}-88x^{5/2}\\ -900x^{13/5}+4125x^{27/10}+30225x^{14/5}+93600x^{29/10}\\ +118573x^{3}+O\left(x^{31/10}\right)\end{array}
(5,11,0)(5,11,0) 1+25x2/5+325x4/5+2925x6/5+20450x8/5+118130x2+O(x21/10)\begin{array}[]{c}1+25x^{2/5}+325x^{4/5}+2925x^{6/5}+20450x^{8/5}\\ +118130x^{2}+O\left(x^{21/10}\right)\end{array}
4 V1++V1V_{1}^{+}\!+\!V_{1}^{-}\!\! (3,4,2)(3,4,2) 1+9x2/15+45x4/15+166x2/5+513x8/15+1413x2/3+3575x4/5+8451x14/15+18909x16/15+40443x6/5+83259x4/3+165807x22/15+320729x8/5+604629x26/15+1113786x28/15+2009121x2+O(x31/15)\begin{array}[]{c}1+9x^{2/15}+45x^{4/15}+166x^{2/5}+513x^{8/15}+1413x^{2/3}\\ +3575x^{4/5}+8451x^{14/15}+18909x^{16/15}+40443x^{6/5}\\ +83259x^{4/3}+165807x^{22/15}+320729x^{8/5}+604629x^{26/15}\\ +1113786x^{28/15}+2009121x^{2}+O\left(x^{31/15}\right)\end{array}
Table 3: The superconformal index results for the single adjoint theories with ΔWA=Vα++Vα\Delta W_{A}=V_{\alpha}^{+}+V_{\alpha}^{-}. Here we list a specific examples with (n,α,Nf,Nc)=(2,0,3,2),(3,1,5,5),(3,1,5,11)(n,\alpha,N_{f},N_{c})=(2,0,3,2),\,(3,1,5,5),\,(3,1,5,11) and (4,1,3,4)(4,1,3,4), whereas more results are given in appendix A. Note that the index for (n,α,Nf,Nc)=(3,1,5,11)(n,\alpha,N_{f},N_{c})=(3,1,5,11) is obtained after flipping Q~Q\tilde{Q}Q and Q~XQ\tilde{Q}XQ, the operators with negative RR-charges, by the superpotential (67). The SU(Nf)t×SU(Nf)uSU(N_{f})_{t}\times SU(N_{f})_{u} flavor fugacities are all omitted for simplicity. The gauge rank of the dual theory is given by N~c=nNfNc2n+2α\tilde{N}_{c}=nN_{f}-N_{c}-2n+2\alpha.

In all the cases we have examined, the indices of each dual pair show the exact agreement, which is strong evidence of the duality we propose.

Capturing the spectrum of the chiral operators, the superconformal index tells us many important aspects of the theory. For example, the algebraic structure of the vacuum moduli space can be deduced from the index because it is parametrized by the VEV of chiral operators. Especially, we can see how the moduli space is deformed once we turn on the monopole superpotential (40). First recall that, in general, the moduli space of the theory without the monopole superpotential is parameterized by the following chiral operators:

Q~XiQMi,i=0,,n1,TrXiTrX^i,i=1,,n1,Vi±Vi±,i=0,,n1,\displaystyle\begin{aligned} \tilde{Q}X^{i}Q\quad&\longleftrightarrow\quad M_{i}\,,\qquad\qquad i=0,\dots,n-1\,,\\ \mathrm{Tr}X^{i}\quad&\longleftrightarrow\quad\mathrm{Tr}\hat{X}^{i}\,,\qquad\quad i=1,\dots,n-1\,,\\ V_{i}^{\pm}\quad&\longleftrightarrow\quad V_{i}^{\pm}\,,\qquad\quad\,\,\,\,\,i=0,\dots,n-1\,,\end{aligned} (43)

where the right hand side shows the corresponding dual operators, which describe the same moduli space. Note that Vi±V_{i}^{\pm} on the left hand side are monopole operators, while Vi±V_{i}^{\pm} on the right hand side are elementary gauge singlet fields.

If we turn on the linear monopole superpotential (40), as we will show shortly, we find that some of the monopole operators vanish in the chiral ring as follows:

Vj±0,j=α,,n1\displaystyle V_{j}^{\pm}\quad\sim\quad 0\,,\qquad\quad j=\alpha,\dots,n-1 (44)

because they combine with some fermionic operators and become QQ-exact. In addition, on the dual side, the singlets Vi±V_{i}^{\pm} for all ii, which used to describe the Coulomb branch of the moduli space, are now all massive. Instead, we have dual monopole operators V^i±\hat{V}_{i}^{\pm} for i=0,,α1i=0,\dots,\alpha-1, which are mapped to the monopole operators of the original theory as follows:

Vi±\displaystyle V_{i}^{\pm}\quad V^i±,i=0,,α1.\displaystyle\longleftrightarrow\quad\hat{V}_{i}^{\pm}\,,\qquad\quad\,\,\,\,\,i=0,\dots,\alpha-1\,. (45)

Those monopole operators parameterize the unlifted Coulomb branch of the moduli space, which now has dimension 2α2\alpha rather than 2n2n.

Therefore, in generic cases, the vacuum moduli space is parameterized by the VEVs of the following gauge invariant operators:

Q~XiQ\displaystyle\tilde{Q}X^{i}Q\quad Mi,i=0,,n1,\displaystyle\longleftrightarrow\quad M_{i}\,,\qquad\qquad i=0,\dots,n-1\,, (46)
TrXi\displaystyle\mathrm{Tr}X^{i}\quad TrX^i,i=1,,n1,\displaystyle\longleftrightarrow\quad\mathrm{Tr}\hat{X}^{i}\,,\qquad\quad i=1,\dots,n-1\,, (47)
Vi±\displaystyle V_{i}^{\pm}\quad V^i±,i=0,,α1\displaystyle\longleftrightarrow\quad\hat{V}_{i}^{\pm}\,,\qquad\quad\,\,\,\,\,i=0,\dots,\alpha-1 (48)

where the right hand side shows the corresponding dual operators describing the same moduli space. In addtion, we will also see that if the gauge ranks are bounded in a certain range, there are additional effects of the monopole superpotential as follows:

TrXi0,i=min(Nc+1,nNfNc2n+2α+1),,n1,Vi±0,i=min(Nc,nNfNc2n+2α),,α1\displaystyle\begin{aligned} \mathrm{Tr}X^{i}\quad&\sim\quad 0\,,\qquad\qquad i=\mathrm{min}(N_{c}+1,nN_{f}-N_{c}-2n+2\alpha+1),\dots,n-1\,,\\ V_{i}^{\pm}\quad&\sim\quad 0\,,\qquad\qquad i=\mathrm{min}(N_{c},nN_{f}-N_{c}-2n+2\alpha),\dots,\alpha-1\end{aligned} (49)

if min(Nc,nNfNc2n+2α)\mathrm{min}(N_{c},nN_{f}-N_{c}-2n+2\alpha) is less than either n1n-1 or α\alpha.

To see the truncation of the monopole operators (44), let us examine the case with (n,Nf,Nc)=(3,5,5)(n,N_{f},N_{c})=(3,5,5) and ΔWA=V1++V1\Delta W_{A}=V_{1}^{+}+V_{1}^{-} as an example. Before turning on the monopole superpotential ΔWA=V1++V1\Delta W_{A}=V_{1}^{+}+V_{1}^{-}, the index is given by444While we have shown the terms up to x2x^{2} to avoid clutter, the next terms up to x3x^{3} can be easily obtained by taking the plethystic exponential of (2.3).

I=1+x12+𝟓t𝟓uτ2x35+2x+2 5t𝟓uτ2x1110+(𝟏𝟓t𝟏𝟓u+𝟏𝟎t𝟏𝟎u)τ4x65\displaystyle I=1+x^{\frac{1}{2}}+\mathbf{5}_{t}\mathbf{5}_{u}\tau^{2}x^{\frac{3}{5}}+2x+2\,\mathbf{5}_{t}\mathbf{5}_{u}\tau^{2}x^{\frac{11}{10}}+\left(\mathbf{15}_{t}\mathbf{15}_{u}+\mathbf{10}_{t}\mathbf{10}_{u}\right)\tau^{4}x^{\frac{6}{5}}
+(2+τ5(w+w1))x32+4 5t𝟓uτ2x85\displaystyle\quad+\left(2+\tau^{-5}\left(w+w^{-1}\right)\right)x^{\frac{3}{2}}+4\,\mathbf{5}_{t}\mathbf{5}_{u}\tau^{2}x^{\frac{8}{5}}
+((𝟏𝟓t+𝟏𝟎t)(𝟏𝟓u+𝟏𝟎u)+𝟏𝟓t𝟏𝟓u+𝟏𝟎t𝟏𝟎u)τ4x1710\displaystyle\quad+\left((\mathbf{15}_{t}+\mathbf{10}_{t})(\mathbf{15}_{u}+\mathbf{10}_{u})+\mathbf{15}_{t}\mathbf{15}_{u}+\mathbf{10}_{t}\mathbf{10}_{u}\right)\tau^{4}x^{\frac{17}{10}}
+(𝟒𝟎t𝟒𝟎u+𝟑𝟓t𝟑𝟓u+𝟏𝟎¯t𝟏𝟎¯u)τ6x95+(1+2τ5(w+w1)𝟐𝟒t𝟐𝟒u)x2+\displaystyle\quad+\left(\mathbf{40}_{t}\mathbf{40}_{u}+\mathbf{35}_{t}\mathbf{35}_{u}+\overline{\mathbf{10}}_{t}\overline{\mathbf{10}}_{u}\right)\tau^{6}x^{\frac{9}{5}}+\left(1+2\tau^{-5}\left(w+w^{-1}\right)-\mathbf{24}_{t}-\mathbf{24}_{u}\right)x^{2}+\dots (50)

where 𝐧t\mathbf{n}_{t} and 𝐧u\mathbf{n}_{u} are the characters of the representation 𝐧\mathbf{n} of SU(Nf)tSU(N_{f})_{t} and that of SU(Nf)uSU(N_{f})_{u} respectively, and τ\tau and ww are the U(1)AU(1)_{A} and U(1)TU(1)_{T} fugacities. While we have used a trial UV value of RR-charge ΔQ=(n+1)Nf2Nc2n+2α(n+1)Nf\Delta_{Q}=\frac{(n+1)N_{f}-2N_{c}-2n+2\alpha}{(n+1)N_{f}}, which is the same as the one determined in (37), the superconformal IR value can be obtained by shifting ττxα\tau\rightarrow\tau x^{\alpha} where the mixing coefficient α\alpha should be determined by the FF-maximization. To read the chiral ring relations, it is convenient to take the plethystic logarithm Benvenuti:2006qr , which gets the contribution from the single trace operators, both bosonic and fermionic, as well as their relations. For the current example, the plethystic log of the index is given by

(1x2)PL[I]\displaystyle\quad(1-x^{2})\,\mathrm{PL}\left[I\right]
=x12+𝟓t𝟓uτ2x35+x+𝟓t𝟓uτ2x1110+τ5(w+w1)x32+𝟓t𝟓uτ2x85\displaystyle=x^{\frac{1}{2}}+\mathbf{5}_{t}\mathbf{5}_{u}\tau^{2}x^{\frac{3}{5}}+x+\mathbf{5}_{t}\mathbf{5}_{u}\tau^{2}x^{\frac{11}{10}}+\tau^{-5}\left(w+w^{-1}\right)x^{\frac{3}{2}}+\mathbf{5}_{t}\mathbf{5}_{u}\tau^{2}x^{\frac{8}{5}}
+(τ5(w+w1)𝟐𝟒t𝟐𝟒u2)x2+(τ5(w+w1)𝟐𝟒t𝟐𝟒u2)x52\displaystyle\quad+\left(\tau^{-5}\left(w+w^{-1}\right)-\mathbf{24}_{t}-\mathbf{24}_{u}-2\right)x^{2}+\left(\tau^{-5}\left(w+w^{-1}\right)-\mathbf{24}_{t}-\mathbf{24}_{u}-2\right)x^{\frac{5}{2}}
+(𝟐𝟒t𝟐𝟒u3)x3+,\displaystyle\quad+\left(-\mathbf{24}_{t}-\mathbf{24}_{u}-3\right)x^{3}+\dots\,, (51)

where both sides are multiplied by (1x2)(1-x^{2}) to remove the contribution of the descendants derived by the derivative operator. From this plethystic logarithm of the index, we can easily find the contribution of the monopole operators Vi±V_{i}^{\pm} for i=0,1,2i=0,1,2:

τ5(w+w1)x3+i2,\displaystyle\tau^{-5}\left(w+w^{-1}\right)x^{\frac{3+i}{2}}\,, (52)

which are all independent operators describing the Coulomb branch of the moduli space. On the other hand, we are also interested in the fermionic operators giving the following contributions:

ψQXi1Q\displaystyle\psi_{Q}^{\dagger}X^{i-1}Q\, :(𝟐𝟒t+1)x3+i2,\displaystyle:\qquad-\left(\mathbf{24}_{t}+1\right)x^{\frac{3+i}{2}}\,, (53)
Q~Xi1ψQ~\displaystyle\tilde{Q}X^{i-1}\psi_{\tilde{Q}}^{\dagger}\, :(𝟐𝟒u+1)x3+i2\displaystyle:\qquad-\left(\mathbf{24}_{u}+1\right)x^{\frac{3+i}{2}} (54)

for i=1,2i=1,2, which play important roles when we turn on the monopole superpotential. Indeed, if we turn on the monopole superpotential ΔWA=V1++V1\Delta W_{A}=V_{1}^{+}+V_{1}^{-},555Here we assume all the terms in the superpotential are relevant in the IR so that the theory flows to the IR fixed point with the expected symmetry, which is SU(Nf)2SU(N_{f})^{2} in this case. However, this should be independently checked using, e.g., the FF-maximization, which we wasn’t able to conduct for this and subsequent examples due to limited computing resources. Nevertheless, regardless of the actual relevance of the superpotential for those particular examples, the explanation here can be regarded as a demonstration of the general structure of the indices and the chiral rings of the theories when their superpotentials are relevant. this breaks U(1)AU(1)_{A} and U(1)TU(1)_{T}, whose fugacities τ\tau and ww thus have to be 1. Once we set τ=w=1\tau=w=1 in (2.3), we see that the monopole contribution (52) for i=1, 2i=1,\,2 is exactly canceled by 2x3+i2-2x^{\frac{3+i}{2}}, the contribution of the trace parts of ψQXi1Q\psi_{Q}^{\dagger}X^{i-1}Q and Q~Xi1ψQ~\tilde{Q}X^{i-1}\psi_{\tilde{Q}}^{\dagger}. In contrast, the monopole contribution (52) for i=0i=0 still remains nontrivial. This means that the lowest monopole operators V0±V_{0}^{\pm} remain nontrivial in the chiral ring and still parametrize the Coulomb branch when we turn on the monopole superpotential ΔWA=V1++V1\Delta W_{A}=V_{1}^{+}+V_{1}^{-}, while the other monopole operators Vi±V_{i}^{\pm} for i1i\geq 1 combine with the trace parts of the fermionic operators ψQXi1Q\psi_{Q}^{\dagger}X^{i-1}Q and Q~Xi1ψQ~\tilde{Q}X^{i-1}\psi_{\tilde{Q}}^{\dagger} and become a long multiplet along the RG-flow. Therefore, the components of the Coulomb branch described by Vj±V_{j}^{\pm} for j1j\geq 1 are now lifted quantum mechanically.

In fact, this cancelation between the Vα+j±V_{\alpha+j}^{\pm} and (ψQXjQ,Q~XjψQ~)\left(\psi_{Q}^{\dagger}X^{j}Q,\,\tilde{Q}X^{j}\psi_{\tilde{Q}}^{\dagger}\right) for j=0,n1αj=0,\dots n-1-\alpha is generic because, with τ=w=1\tau=w=1, Vα+j±V_{\alpha+j}^{\pm} always give the contribution 2x2+2jn+12x^{2+\frac{2j}{n+1}}, whose charges are fixed by the monopole superpotential ΔWA=Vα++Vα\Delta W_{A}=V_{\alpha}^{+}+V_{\alpha}^{-}, whereas the trace parts of ψQXjQ\psi_{Q}^{\dagger}X^{j}Q and Q~XjψQ~\tilde{Q}X^{j}\psi_{\tilde{Q}}^{\dagger} give exactly the same contribution with the opposite sign. Thus, we conclude that the components of the Coulomb branch parameterized by Vj±V_{j}^{\pm} for jαj\geq\alpha are lifted by the monopole superpotential ΔWA=Vα++Vα\Delta W_{A}=V_{\alpha}^{+}+V_{\alpha}^{-}. The unlifted components are described by massless monopole operators Vi±V_{i}^{\pm} for i=0,,α1i=0,\dots,\alpha-1, which are mapped to the dual monopole operators under the proposed duality as shown in (45). Note that the monopole operators V^j±\hat{V}_{j}^{\pm} for jαj\geq\alpha of the dual theory also get lifted due to the dual superpotential ΔWB=V^α++V^α\Delta W_{B}=\hat{V}_{\alpha}^{+}+\hat{V}_{\alpha}^{-}, which is another simple consistency check for the proposed duality because both theories have the same Coulomb branch quantum mechanically.

Next, let us examine the extra truncation of chiral ring generators (49) when the gauge ranks are bounded in a particular range. We first recall the case without the monopole superpotential, whose chiral ring generators are given by (43). Note that the operators with higher ini\geq n are truncated due to the the F-term condition Xn=0X^{n}=0. However, if the gauge rank is smaller than nn, (or n1n-1 for TrXi\mathrm{Tr}X^{i},) they are also subject to the classical rank conditions as follows:666Here the equation 𝒪0\mathcal{O}\sim 0 means the operator 𝒪\mathcal{O} is written in terms of other chiral generators; e.g., TrX2\mathrm{Tr}X^{2} of a U(1)U(1) gauge theory is not an independent generator because it is identified with (TrX)2(\mathrm{Tr}X)^{2}.

TrXi\displaystyle\mathrm{Tr}X^{i}\quad 0,i=Nc+1,,n1,\displaystyle\sim\quad 0\,,\qquad\qquad i=N_{c}+1,\dots,n-1\,, (55)
Q~XiQ\displaystyle\tilde{Q}X^{i}Q\quad 0,i=Nc,,n1,\displaystyle\sim\quad 0\,,\qquad\qquad i=N_{c},\dots,n-1\,, (56)
Vi±\displaystyle V_{i}^{\pm}\quad 0,i=Nc,,n1\displaystyle\sim\quad 0\,,\qquad\qquad i=N_{c},\dots,n-1 (57)

due to the characteristic equation of the matrix field XX. For example, Vi±V_{i}^{\pm} is constrained because it is mapped to the following state with magnetic flux on S2S^{2} via operator state correspondence of conformal field theories

TrNc1Xi|±1,0Nc1+permutations by the Weyl group\displaystyle\mathrm{Tr}_{N_{c}-1}X^{i}\left|\pm 1,0^{N_{c}-1}\right>\quad+\quad\text{permutations by the Weyl group} (58)

where the gauge group is broken to U(Nc1)×U(1)U(N_{c}-1)\times U(1) due to the magnetic flux, and TrNc1\mathrm{Tr}_{N_{c}-1} is taken over unbroken U(Nc1)U(N_{c}-1). Then TrNc1Xi\mathrm{Tr}_{N_{c}-1}X^{i} for iNci\geq N_{c} is written in terms of TrNc1Xj\mathrm{Tr}_{N_{c}-1}X^{j} with j<Ncj<N_{c}, and so is Vi±V_{i}^{\pm}.

Among those three types of operators, TrXi\mathrm{Tr}X^{i} is further subject to quantum mechanical truncation, which are expected from the duality. Recall that TrXi\mathrm{Tr}X^{i} of the U(Nc)U(N_{c}) theory is mapped to TrX^i\mathrm{Tr}\hat{X}^{i} of the dual U(nNfNc)U(nN_{f}-N_{c}) theory. If the dual gauge rank N~c=nNfNc\tilde{N}_{c}=nN_{f}-N_{c} is smaller than n1n-1, the dual operator TrX^i\mathrm{Tr}\hat{X}^{i} is also constrained by the classical rank condition:

TrX^i0,i=N~c+1,,n1.\displaystyle\mathrm{Tr}\hat{X}^{i}\quad\sim\quad 0\,,\qquad\qquad i=\tilde{N}_{c}+1,\dots,n-1\,. (59)

Due to the duality, the original operator TrXi\mathrm{Tr}X^{i} must satisfy the same condition, which is the quantum effect in the U(Nc)U(N_{c}) theory instead. Namely, on top of the classical condition (55), the operator TrXi\mathrm{Tr}X^{i} of the U(Nc)U(N_{c}) theory is constrained quantum mechanically as follows:

TrXi0,i=nNfNc+1,,min(n1,Nc)\displaystyle\mathrm{Tr}X^{i}\quad\sim\quad 0\,,\qquad\qquad i=nN_{f}-N_{c}+1,\dots,\mathrm{min}(n-1,N_{c}) (60)

if nNfNc<min(n1,Nc)nN_{f}-N_{c}<\mathrm{min}(n-1,N_{c}). On the other hand, the meson operators Q~XiQ\tilde{Q}X^{i}Q and the monopole operators Vi±V_{i}^{\pm} are mapped to the gauge singlet operators MiM_{i} and Vi±V_{i}^{\pm} on the dual side respectively, which are not constrained by any classical rank condition. Therefore, we don’t expect any extra quantum truncation for them in general.

Now we move on to the case with the monopole superpotential. The same analysis can be applied to the theory with the monopole superpotential ΔWA=Vα++Vα\Delta W_{A}=V_{\alpha}^{+}+V_{\alpha}^{-}, leading to an interesting consequence on chiral ring generators. We have seen that once we turn on the monopole superpotential ΔWA=Vα++Vα\Delta W_{A}=V_{\alpha}^{+}+V_{\alpha}^{-}, the gauge rank of the dual theory is reduced from nNfNcnN_{f}-N_{c} to nNfNc2n+2αnN_{f}-N_{c}-2n+2\alpha. Therefore, if the reduced dual rank is smaller than both n1n-1 and NcN_{c}, there is quantum mechanical truncation of TrXi\mathrm{Tr}X^{i} as follows:

TrXi0,i=nNfNc2n+2α+1,,min(n1,Nc),\displaystyle\mathrm{Tr}X^{i}\quad\sim\quad 0\,,\qquad\quad i=nN_{f}-N_{c}-2n+2\alpha+1,\dots,\mathrm{min}(n-1,N_{c})\,, (61)

which shows that more operators are truncated than the case without the monopole superpotential.

For example, let us consider the case with (n,Nf,Nc)=(2,3,2)(n,N_{f},N_{c})=(2,3,2) and ΔWA=V0++V0\Delta W_{A}=V_{0}^{+}+V_{0}^{-}, whose dual theory is given by the U(4)U(4) theory before turning on the monopole superpotential. Since both Nc=2N_{c}=2 and N~c=4\tilde{N}_{c}=4 are larger than n1=1n-1=1, we don’t expect any further constraint on TrXi\mathrm{Tr}X^{i} other than the F-term condition Xn=X2=0X^{n}=X^{2}=0. Therefore, TrX\mathrm{Tr}X should be a nontrivial chiral ring generator and parametrize the moduli space. Indeed, this can be confirmed by the superconformal index, which is given by

I\displaystyle I =1+𝟑t𝟑uτ2x29+(𝟔t𝟔u+𝟑¯t𝟑¯u)τ4x49+((𝟏𝟎t𝟏𝟎u+𝟖t𝟖u)τ6+1)x23\displaystyle=1+\mathbf{3}_{t}\mathbf{3}_{u}\tau^{2}x^{\frac{2}{9}}+\left(\mathbf{6}_{t}\mathbf{6}_{u}+\mathbf{\overline{3}}_{t}\mathbf{\overline{3}}_{u}\right)\tau^{4}x^{\frac{4}{9}}+\left(\left(\mathbf{10}_{t}\mathbf{10}_{u}+\mathbf{8}_{t}\mathbf{8}_{u}\right)\tau^{6}+1\right)x^{\frac{2}{3}}
+((𝟏𝟓t𝟏𝟓u+𝟏𝟓t𝟏𝟓u+𝟔¯t𝟔¯u)τ8+2 3t𝟑uτ2)x89+\displaystyle\quad+\left(\left(\mathbf{15}_{t}\mathbf{15}_{u}+\mathbf{15^{\prime}}_{t}\mathbf{15^{\prime}}_{u}+\mathbf{\overline{6}}_{t}\mathbf{\overline{6}}_{u}\right)\tau^{8}+2\,\mathbf{3}_{t}\mathbf{3}_{u}\tau^{2}\right)x^{\frac{8}{9}}+\dots (62)

with the plethystic logarithm

(1x2)PL[I]\displaystyle(1-x^{2})\,\mathrm{PL}[I] =𝟑t𝟑uτ2x29+(1τ6)x23+𝟑t𝟑uτ2x89𝟑¯t𝟑¯uτ4x109+𝟑t𝟑u(τ8τ2)x149\displaystyle=\mathbf{3}_{t}\mathbf{3}_{u}\tau^{2}x^{\frac{2}{9}}+(1-\tau^{6})x^{\frac{2}{3}}+\mathbf{3}_{t}\mathbf{3}_{u}\tau^{2}x^{\frac{8}{9}}-\mathbf{\overline{3}}_{t}\mathbf{\overline{3}}_{u}\tau^{4}x^{\frac{10}{9}}+\mathbf{3}_{t}\mathbf{3}_{u}\left(\tau^{8}-\tau^{2}\right)x^{\frac{14}{9}}
𝟑¯t𝟑¯uτ10x169+((𝟖t+𝟖u+1)τ6+τ3(w+w1)𝟖t𝟖u3)x2+\displaystyle\quad-\mathbf{\overline{3}}_{t}\mathbf{\overline{3}}_{u}\tau^{10}x^{\frac{16}{9}}+\left(\left(\mathbf{8}_{t}+\mathbf{8}_{u}+1\right)\tau^{6}+\tau^{-3}\left(w+w^{-1}\right)-\mathbf{8}_{t}-\mathbf{8}_{u}-3\right)x^{2}+\dots (63)

where one can see the nontrivial contribution x23x^{\frac{2}{3}} of TrX\mathrm{Tr}X.

However, if we turn on the monopole superpotential ΔWA=V0++V0\Delta W_{A}=V_{0}^{+}+V_{0}^{-}, the dual gauge rank becomes N~c=0\tilde{N}_{c}=0; i.e., the dual theory is a Wess–Zumino theory of MiM_{i} and Vi±V_{i}^{\pm}. Since there is no TrX^\mathrm{Tr}\hat{X} on the dual side, we expect some quantum mechanical constraint should be imposed on TrX\mathrm{Tr}X on the original side as well. Indeed, this can be seen from the index, which is obtained from (2.3) by taking τ=w=1\tau=w=1 because the monopole superpotential breaks U(1)AU(1)_{A} and U(1)TU(1)_{T}. In the same manner, the plethystic log of the index is given by (2.3) with τ=w=1\tau=w=1, where we find that the contribution x23x^{\frac{2}{3}} of TrX\mathrm{Tr}X is exactly canceled by the negative contribution τ6x23-\tau^{6}x^{\frac{2}{3}} since we set τ=1\tau=1. We note that this negative contribution originally reflects the classical rank condition for meson operators of the U(2)U(2) gauge group

ϵa~b~c~ϵabc(M0)a~a(M0)b~b(M0)c~c=ϵa~b~c~ϵabcQ~αa~QαaQ~βb~QβbQ~γc~Qγc0,\displaystyle\epsilon_{\tilde{a}\tilde{b}\tilde{c}}\epsilon_{abc}(M_{0})^{\tilde{a}a}(M_{0})^{\tilde{b}b}(M_{0})^{\tilde{c}c}\quad=\quad\epsilon_{\tilde{a}\tilde{b}\tilde{c}}\epsilon_{abc}\tilde{Q}^{\tilde{a}}_{\alpha}Q^{\alpha a}\tilde{Q}^{\tilde{b}}_{\beta}Q^{\beta b}\tilde{Q}^{\tilde{c}}_{\gamma}Q^{\gamma c}\quad\sim\quad 0\,, (64)

which is due to the fact that the gauge indices α,β,γ\alpha,\beta,\gamma run over 1, 2 only. Thus, the cancelation indicates that TrX\mathrm{Tr}X is now identified with ϵ~ϵ(M0)3\tilde{\epsilon}\epsilon(M_{0})^{3}, which is now nontrivial in the chiral ring but not an independent generator once we turn on the monopole superpotential ΔWA=V0++V0\Delta W_{A}=V_{0}^{+}+V_{0}^{-}.

Let us give you another example with α0\alpha\neq 0. We consider the case with (n,Nf,Nc)=(4,3,4)(n,N_{f},N_{c})=(4,3,4) and ΔWA=V1++V1\Delta W_{A}=V_{1}^{+}+V_{1}^{-}, whose dual theory is given by the U(8)U(8) theory before turning on the monopole superpotential. Since both Nc=4N_{c}=4 and N~c=8\tilde{N}_{c}=8 are larger than n1=3n-1=3, again we don’t expect any further constraint on TrXi\mathrm{Tr}X^{i} other than the F-term condition Xn=X4=0X^{n}=X^{4}=0, implying that TrXi\mathrm{Tr}X^{i} for i=1,2,3i=1,2,3 are nontrivial chiral ring generators parametrizing the moduli space. If we look at the plethystic log of the superconformal index:

(1x2)PL[I]\displaystyle(1-x^{2})\,\mathrm{PL}[I] =𝟑t𝟑uτ2x215+x25+𝟑t𝟑uτ2x815+x45+𝟑t𝟑uτ2x1415+(1τ6)x65+𝟑t𝟑uτ2x43\displaystyle=\mathbf{3}_{t}\mathbf{3}_{u}\tau^{2}x^{\frac{2}{15}}+x^{\frac{2}{5}}+\mathbf{3}_{t}\mathbf{3}_{u}\tau^{2}x^{\frac{8}{15}}+x^{\frac{4}{5}}+\mathbf{3}_{t}\mathbf{3}_{u}\tau^{2}x^{\frac{14}{15}}+\left(1-\tau^{6}\right)x^{\frac{6}{5}}+\mathbf{3}_{t}\mathbf{3}_{u}\tau^{2}x^{\frac{4}{3}}
+𝟑¯t𝟑¯uτ4x2215+(τ3(w+w1)τ6)x85𝟑t𝟑uτ2x2615\displaystyle\quad+\mathbf{\overline{3}}_{t}\mathbf{\overline{3}}_{u}\tau^{4}x^{\frac{22}{15}}+\left(\tau^{-3}\left(w+w^{-1}\right)-\tau^{6}\right)x^{\frac{8}{5}}-\mathbf{3}_{t}\mathbf{3}_{u}\tau^{2}x^{\frac{26}{15}}
𝟑¯t𝟑¯uτ4x2815+(τ3(w+w1)τ6𝟖t𝟖u3)x2+,\displaystyle\quad-\mathbf{\overline{3}}_{t}\mathbf{\overline{3}}_{u}\tau^{4}x^{\frac{28}{15}}+\left(\tau^{-3}\left(w+w^{-1}\right)-\tau^{6}-\mathbf{8}_{t}-\mathbf{8}_{u}-3\right)x^{2}+\dots\,, (65)

we find the nontrivial contribution x2i5x^{\frac{2i}{5}} of TrXi\mathrm{Tr}X^{i} for i=1,2,3i=1,2,3.

However, once we turn on the monopole superpotential ΔWA=V1++V1\Delta W_{A}=V_{1}^{+}+V_{1}^{-}, the dual gauge rank becomes N~c=2\tilde{N}_{c}=2. Since there is no TrX^3\mathrm{Tr}\hat{X}^{3} on the dual side, we also expect a quantum mechanical constraint imposed on TrX3\mathrm{Tr}X^{3} on the original side, which can be seen from the index by taking τ=w=1\tau=w=1. Once we take τ=w=1\tau=w=1, the plethystic log of the index shows that the contribution x65x^{\frac{6}{5}} of TrX3\mathrm{Tr}X^{3} is exactly canceled by the negative contribution τ6x65-\tau^{6}x^{\frac{6}{5}}. On the other hand, the contributions of TrX\mathrm{Tr}X and TrX2\mathrm{Tr}X^{2} remain nontrivial as expected. We expect such cancelation should happen whenever the dual gauge rank becomes smaller than both NcN_{c} and n1n-1.

Lastly, we expect similar conditions for the monopole operators Vi±V_{i}^{\pm} because they are now mapped to the dual monopole operators V^i±\hat{V}_{i}^{\pm} rather than the gauge singlet Vi±V_{i}^{\pm} under the monopole-deformed duality. Indeed, one can use a similar argument to show that, if nNfNc2n+2α<min(α1,Nc1)nN_{f}-N_{c}-2n+2\alpha<\mathrm{min}(\alpha-1,N_{c}-1), the theory with the monopole superpotential ΔWA=Vα++Vα\Delta W_{A}=V_{\alpha}^{+}+V_{\alpha}^{-} yields extra quantum truncation of the monopole operators Vi±V_{i}^{\pm}:

Vi±0,i=nNfNc2n+2α,,min(α1,Nc1)\displaystyle V_{i}^{\pm}\quad\sim\quad 0\,,\qquad\quad i=nN_{f}-N_{c}-2n+2\alpha,\dots,\mathrm{min}(\alpha-1,N_{c}-1) (66)

in addition to the condition (44) that we have already found and the classical rank condition (57).

Let us consider an example. First we recall the example with (n,Nf,Nc)=(3,5,5)(n,N_{f},N_{c})=(3,5,5) and ΔWA=V1++V1\Delta W_{A}=V_{1}^{+}+V_{1}^{-}, where V1,2±V_{1,2}^{\pm} are lifted due to the monopole superpotential, while V0±V_{0}^{\pm} remain massless. See (52) and (53). In this case, we don’t see any extra constraint on Vi±V_{i}^{\pm} other than (44) because both Nc=5N_{c}=5 and N~c=6\tilde{N}_{c}=6 are larger than α1=0\alpha-1=0. On the other hand, if we consider the (n,Nf,Nc)=(3,5,11)(n,N_{f},N_{c})=(3,5,11) case, now the dual rank N~c\tilde{N}_{c} becomes zero, requiring V0±V_{0}^{\pm} to vanish as well. Before showing its index, we have to comment that for (n,Nf,Nc)=(3,5,11)(n,N_{f},N_{c})=(3,5,11) with ΔWA=V1++V1\Delta W_{A}=V_{1}^{+}+V_{1}^{-}, ΔQ\Delta_{Q} is given by ΔQ=(n+1)Nf2Nc2n+2α(n+1)Nf=310\Delta_{Q}=\frac{(n+1)N_{f}-2N_{c}-2n+2\alpha}{(n+1)N_{f}}=-\frac{3}{10}. Thus, the meson operators Q~Q\tilde{Q}Q and Q~XQ\tilde{Q}XQ have negative RR-charges, which indicates that those operators are decoupled in the IR. In order to obtain the series expansion of the index, we need to flip those decoupled operators, i.e., make them massive by introducing extra singlets m1m_{1} and m2m_{2} with the superpotential

δWflip=m1Q~XQ+m2Q~Q\displaystyle\delta W_{\text{flip}}=m_{1}\tilde{Q}XQ+m_{2}\tilde{Q}Q (67)

so that they do not contribute to the index. The F-term equations of m1m_{1} and m2m_{2} require Q~Q=Q~XQ=0\tilde{Q}Q=\tilde{Q}XQ=0. Once we flip Q~Q\tilde{Q}Q and Q~XQ\tilde{Q}XQ, the index is given by777In fact, a gauge invariant operator is decoupled if its RR-charge is less than or equal to 1/2. Thus, to obtain the index of the interacting sector, we have to flip all the gauge invariant operators whose RR-charges are no greater than 1/2. On the other hand, here, and for the other examples, we only flip those with negative RR-charges for simplicity.

I\displaystyle I =1+𝟓t𝟓uτ2x25+(1τ10)x12+(𝟏𝟓t𝟏𝟓u+𝟏𝟎t𝟏𝟎u)τ2x45+(𝟓t𝟓uτ2𝟓t𝟓uτ12)x910\displaystyle=1+\mathbf{5}_{t}\mathbf{5}_{u}\tau^{2}x^{\frac{2}{5}}+\left(1-\tau^{10}\right)x^{\frac{1}{2}}+\left(\mathbf{15}_{t}\mathbf{15}_{u}+\mathbf{10}_{t}\mathbf{10}_{u}\right)\tau^{2}x^{\frac{4}{5}}+\left(\mathbf{5}_{t}\mathbf{5}_{u}\tau^{2}-\mathbf{5}_{t}\mathbf{5}_{u}\tau^{12}\right)x^{\frac{9}{10}}
+2(1τ10)x+\displaystyle\quad+2\left(1-\tau^{10}\right)x+\dots (68)

with the plethystic logarithm

(1x2)PL[I]\displaystyle(1-x^{2})\,\mathrm{PL}\left[I\right] =𝟓t𝟓uτ2x25+(1τ10)x12+(1τ10)x\displaystyle=\mathbf{5}_{t}\mathbf{5}_{u}\tau^{2}x^{\frac{2}{5}}+\left(1-\tau^{10}\right)x^{\frac{1}{2}}+\left(1-\tau^{10}\right)x
+(τ5τ5)(w+w1)x32𝟓¯t𝟓¯uτ8x85\displaystyle\quad+\left(\tau^{-5}-\tau^{5}\right)\left(w+w^{-1}\right)x^{\frac{3}{2}}-\mathbf{\overline{5}}_{t}\mathbf{\overline{5}}_{u}\tau^{8}x^{\frac{8}{5}}
+((𝟐𝟒t+𝟐𝟒u+2)τ10+(τ5τ5)(w+w1)𝟐𝟒t𝟐𝟒u2)x2+\displaystyle\quad+\left(\left(\mathbf{24}_{t}+\mathbf{24}_{u}+2\right)\tau^{10}+\left(\tau^{-5}-\tau^{5}\right)\left(w+w^{-1}\right)-\mathbf{24}_{t}-\mathbf{24}_{u}-2\right)x^{2}+\dots (69)

where we can see that the contribution τ5(w+w1)x32\tau^{-5}\left(w+w^{-1}\right)x^{\frac{3}{2}} of V0±V_{0}^{\pm} is canceled by negative contribution τ5(w+w1)x32-\tau^{5}\left(w+w^{-1}\right)x^{\frac{3}{2}} once we set τ=w=1\tau=w=1. This shows that, if the dual rank N~c\tilde{N}_{c} is less than or equal to α1\alpha-1, there are extra quantum constraints on the monopole operators as we expect in (66).

3 3d SQCD with double adjoint matters and W=TrXn+1+TrXY2W=\mathrm{Tr}X^{n+1}+\mathrm{Tr}XY^{2}

3.1 Review of the duality without the monopole superpotential

Now we move on to the duality for a 3d U(Nc)U(N_{c}) gauge theory with two adjoint matters. The duality without the monopole superpotential was proposed in Hwang:2018uyj as follows.

  • Theory A is the 3d 𝒩=2\mathcal{N}=2 U(Nc)U(N_{c}) gauge theory with NfN_{f} pairs of fundamental QaQ^{a} and anti-fundamental Q~a~\tilde{Q}^{\tilde{a}}, two adjoint chiral multiplets X,YX,\,Y and the superpotential

    WA=TrXn+1+TrXY2.\displaystyle W_{A}=\mathrm{Tr}X^{n+1}+\mathrm{Tr}XY^{2}\,. (70)
  • Theory B is the 3d 𝒩=2\mathcal{N}=2 U(3nNfNc)U(3nN_{f}-N_{c}) gauge theory with NfN_{f} pairs of fundamental qa~q_{\tilde{a}} and anti-fundemental q~a\tilde{q}_{a}, two adjoint X^,Y^\hat{X},\,\hat{Y}, and three sets of gauge singlet chiral multiplets:888Our Vn,0±V_{n,0}^{\pm} are denoted by V0,2±V_{0,2}^{\pm} in Hwang:2018uyj .

    Ms,t,a~as=0,,n1,t=0,1,2,a,a~=1,,Nf,Vs,t±,s=0,,n,t=0,1,st=0,Wu±,u=0,,n32.\displaystyle\begin{array}[]{ll}M_{s,t}{}^{\tilde{a}a}\,,&s=0,\dots,n-1\,,\quad t=0,1,2\,,\quad a,\tilde{a}=1,\dots,N_{f}\,,\\ V_{s,t}^{\pm}\,,&s=0,\dots,n\,,\quad t=0,1\,,\quad st=0\,,\\ W_{u}^{\pm}\,,&u=0,\dots,\frac{n-3}{2}\,.\end{array} (74)

    The superpotential is given by

    WB\displaystyle W_{B} =TrX^n+1+TrX^Y^2+s=0n1t=02Ms,tq~X^n1sY^2tq\displaystyle=\mathrm{Tr}\hat{X}^{n+1}+\mathrm{Tr}\hat{X}\hat{Y}^{2}+\sum_{s=0}^{n-1}\sum_{t=0}^{2}M_{s,t}\tilde{q}\hat{X}^{n-1-s}\hat{Y}^{2-t}q
    +s=0nVs,0±V^ns,0+V0,1±V^0,1+u=0n32Wu±W^n32u\displaystyle\quad+\sum_{s=0}^{n}V_{s,0}^{\pm}\hat{V}_{n-s,0}^{\mp}+V_{0,1}^{\pm}\hat{V}_{0,1}^{\mp}+\sum_{u=0}^{\frac{n-3}{2}}W_{u}^{\pm}\hat{W}_{\frac{n-3}{2}-u}^{\mp} (75)

    where V^s,t±\hat{V}_{s,t}^{\pm} and W^u±\hat{W}_{u}^{\pm} are the monopole operators of Theory B.

The global symmetry and charges are summarized in Table 4.

SU(Nf)tSU(N_{f})_{t} SU(Nf)uSU(N_{f})_{u} U(1)AU(1)_{A} U(1)TU(1)_{T} U(1)RU(1)_{R}
QQ 𝐍𝐟\mathbf{N_{f}} 𝟏\mathbf{1} 11 0 ΔQ\Delta_{Q}
Q~\tilde{Q} 𝟏\mathbf{1} 𝐍𝐟\mathbf{N_{f}} 11 0 ΔQ\Delta_{Q}
XX 𝟏\mathbf{1} 𝟏\mathbf{1} 0 0 2n+1\frac{2}{n+1}
YY 𝟏\mathbf{1} 𝟏\mathbf{1} 0 0 nn+1\frac{n}{n+1}
qq 𝟏\mathbf{1} 𝐍𝐟¯\overline{\mathbf{N_{f}}} 1-1 0 2nn+1ΔQ\frac{2-n}{n+1}-\Delta_{Q}
q~\tilde{q} 𝐍𝐟¯\overline{\mathbf{N_{f}}} 𝟏\mathbf{1} 1-1 0 2nn+1ΔQ\frac{2-n}{n+1}-\Delta_{Q}
X^\hat{X} 𝟏\mathbf{1} 𝟏\mathbf{1} 0 0 2n+1\frac{2}{n+1}
Y^\hat{Y} 𝟏\mathbf{1} 𝟏\mathbf{1} 0 0 nn+1\frac{n}{n+1}
Ms,tM_{s,t} 𝐍𝐟\mathbf{N_{f}} 𝐍𝐟\mathbf{N_{f}} 22 0 2ΔQ+2s+ntn+12\Delta_{Q}+\frac{2s+nt}{n+1}
Vs,t±V_{s,t}^{\pm} 𝟏\mathbf{1} 𝟏\mathbf{1} Nf-N_{f} ±1\pm 1 (1ΔQ)Nf1n+1(Nc1)+2s+ntn+1(1-\Delta_{Q})N_{f}-\frac{1}{n+1}(N_{c}-1)+\frac{2s+nt}{n+1}
Wu±W_{u}^{\pm} 𝟏\mathbf{1} 𝟏\mathbf{1} 2Nf-2N_{f} ±2\pm 2 2(1ΔQ)Nf2n+1(Nc1)+2+4un+12(1-\Delta_{Q})N_{f}-\frac{2}{n+1}(N_{c}-1)+\frac{2+4u}{n+1}
V^s,t±\hat{V}_{s,t}^{\pm} 𝟏\mathbf{1} 𝟏\mathbf{1} NfN_{f} ±1\pm 1 (12nn+1+ΔQ)Nf1n+1(N~c1)+2s+ntn+1(1-\frac{2-n}{n+1}+\Delta_{Q})N_{f}-\frac{1}{n+1}(\tilde{N}_{c}-1)+\frac{2s+nt}{n+1}
W^u±\hat{W}_{u}^{\pm} 𝟏\mathbf{1} 𝟏\mathbf{1} 2Nf2N_{f} ±2\pm 2 2(12nn+1+ΔQ)Nf2n+1(N~c1)+2+4un+12(1-\frac{2-n}{n+1}+\Delta_{Q})N_{f}-\frac{2}{n+1}(\tilde{N}_{c}-1)+\frac{2+4u}{n+1}
Table 4: The representations of the chiral operators under the global symmetry groups of the double adjoint theory. The top box is devoted to the elementary fields of Theory A, whereas the middle box is devoted to those of Theory B. Note that the monopole operators of Theory A have the same charges as the gauge singlets Vs,t±,Wu±V_{s,t}^{\pm},\,W_{u}^{\pm} of Theory B. On the other hand, the charges of the monopole operators of Theory B are given in the bottom box where N~c\tilde{N}_{c} is the dual gauge rank given by N~c=3nNfNc\tilde{N}_{c}=3nN_{f}-N_{c}. The indices of Vs,t±V_{s,t}^{\pm} satisfy st=0st=0.

For a generic case, the vacuum moduli space is described by

Ms,t=Q~XsYtQ,s=0,,n1,t=0,1,2,TrXs,s=1,,n,TrYt,t=1,2,Vs,t±,s=0,,n,t=0,1,2,st=0,Wu±,u=0,,n32,\displaystyle\begin{array}[]{cl}M_{s,t}=\tilde{Q}X^{s}Y^{t}Q\,,&s=0,\dots,n-1,\quad t=0,1,2\,,\\ \mathrm{Tr}X^{s}\,,&s=1,\dots,n\,,\\ \mathrm{Tr}Y^{t}\,,&t=1,2\,,\\ V_{s,t}^{\pm}\,,&s=0,\dots,n,\quad t=0,1,2,\quad st=0\,,\\ W_{u}^{\pm}\,,&u=0,\dots,\frac{n-3}{2}\,,\end{array} (81)

with the constraint

TrXn\displaystyle\mathrm{Tr}X^{n}\quad TrY2,\displaystyle\sim\quad\mathrm{Tr}Y^{2}\,, (82)
Vn,0±\displaystyle V_{n,0}^{\pm}\quad V0,2±,\displaystyle\sim\quad V_{0,2}^{\pm}\,, (83)

which is due to the F-term condition XnY2X^{n}\sim Y^{2}. Because of this condition, only one linear combination of TrXn\mathrm{Tr}X^{n} and TrY2\mathrm{Tr}Y^{2} and that of Vn,0±V_{n,0}^{\pm} and V0,2±V_{0,2}^{\pm} are nontrivial chiral ring generators, which will be simply denoted by TrXn\mathrm{Tr}X^{n} and Vn,0±V_{n,0}^{\pm} respectively.

Again it is helpful to examine the deformation by the superpotential ΔWX=Tr[fn(X)]\Delta W_{X}=\mathrm{Tr}\left[f_{n}(X)\right] where fn(x)f_{n}(x) is a generic polynomial of degree nn in xx. The vacuum solutions for the adjoint fields are parametrized by

Xdiag(x11d𝟏m11d,,xn1d𝟏mn1d,0𝟏mn+11d,0𝟏mn+21d,x12d𝟏m12dσ1,,x(n1)/22d𝟏m(n1)/22dσ1)Ydiag(0𝟏m11d,,0𝟏mn1d,yn+11d𝟏mn+11d,yn+21d𝟏mn+21d,y12d𝟏m12dσ2,,y(n1)/22d𝟏m(n1)/22dσ2)\displaystyle\begin{aligned} \langle X\rangle\sim\mathrm{diag}\left(x^{1d}_{1}{\bf 1}_{m^{1d}_{1}},\cdots,x^{1d}_{n}{\bf 1}_{m^{1d}_{n}},0{\bf 1}_{m^{1d}_{n+1}},0{\bf 1}_{m^{1d}_{n+2}},x^{2d}_{1}{\bf 1}_{m^{2d}_{1}}\otimes\sigma_{1},\cdots,x^{2d}_{(n-1)/2}{\bf 1}_{m^{2d}_{(n-1)/2}}\otimes\sigma_{1}\right)\\ \langle Y\rangle\sim\mathrm{diag}\left(0{\bf 1}_{m^{1d}_{1}},\cdots,0{\bf 1}_{m^{1d}_{n}},y^{1d}_{n+1}{\bf 1}_{m^{1d}_{n+1}},y^{1d}_{n+2}{\bf 1}_{m^{1d}_{n+2}},y^{2d}_{1}{\bf 1}_{m^{2d}_{1}}\otimes\sigma_{2},\cdots,y^{2d}_{(n-1)/2}{\bf 1}_{m^{2d}_{(n-1)/2}}\otimes\sigma_{2}\right)\end{aligned} (84)

where xk1dx^{1d}_{k}’s are the nn solutions to the equation

(n+1)xn+fn(x)=0,\displaystyle(n+1)x^{n}+f_{n}^{\prime}(x)=0\,, (85)

yn+11dy^{1d}_{n+1} and yn+21dy^{1d}_{n+2} are the two solutions to the equation

y2+fn(0)=0,\displaystyle y^{2}+f_{n}^{\prime}(0)=0\,, (86)

and lastly (xk2d)2,(yk2d)2(x^{2d}_{k})^{2},\,(y^{2d}_{k})^{2} are the n12\frac{n-1}{2} solutions to the equation

(n+1)xn1+fn(x)fn(x)2x=0,\displaystyle(n+1)x^{n-1}+\frac{f_{n}^{\prime}(x)-f_{n}^{\prime}(-x)}{2x}=0\,, (87)
y2+fn(x)+fn(x)2=0.\displaystyle y^{2}+\frac{f_{n}^{\prime}(x)+f_{n}^{\prime}(-x)}{2}=0\,. (88)

Note that the adjoint VEVs are decomposed into several block matrices, either 1-dimensional or 2-dimensional. At a given vacuum solution, both XX and YY become massive, and the gauge group U(Nc)U(N_{c}) is broken into

i=1n+2U(mi1d)j=1n12U(mj2d)\displaystyle\prod_{i=1}^{n+2}U(m^{1d}_{i})\prod_{j=1}^{\frac{n-1}{2}}U(m^{2d}_{j}) (89)

where Nc=i=1n+2mi1d+j=1n122mj2dN_{c}=\sum_{i=1}^{n+2}m^{1d}_{i}+\sum_{j=1}^{\frac{n-1}{2}}2m^{2d}_{j} is satisfied. In particular, U(mj2d)U(m^{2d}_{j}) is embedded in U(Nc)U(N_{c}) as a diagonal subgroup of U(mj2d)×U(mj2d)U(2mj2d)U(Nc)U(m^{2d}_{j})\times U(m^{2d}_{j})\subset U(2m^{2d}_{j})\subset U(N_{c}). Accordingly, a fundamental or an anti-fundamental field of U(Nc)U(N_{c}) becomes two copies of a fundamental or an anti-fundamental field of U(mj2d)U(m^{2d}_{j}). Thus, the 2-dimensional VEV sectors, with gauge group j=1n12U(mj2d)\prod_{j=1}^{\frac{n-1}{2}}U(m^{2d}_{j}), have 2Nf2N_{f} pairs of fundamental and anti-fundamental fields. On the other hand, the 1-dimensional VEV sectors, with gauge group i=1n+2U(mi1d)\prod_{i=1}^{n+2}U(m^{1d}_{i}), have NfN_{f} pairs of fundamental and anti-fundamental fields. Please see Hwang:2018uyj for more detailed discussions.

The same deformation can be considered in Theory B. In the presence of the extra polynomial superpotential ΔWX^=Tr[fn(X^)]\Delta W_{\hat{X}}=\mathrm{Tr}\left[f_{n}(\hat{X})\right], the expectation values of the adjoints break the dual gauge group as follows:

U(3nNfNc)i=1n+2U(Nfmi1d)j=1n12U(2Nfmj2d)\displaystyle U(3nN_{f}-N_{c})\quad\longrightarrow\quad\prod_{i=1}^{n+2}U(N_{f}-m^{1d}_{i})\prod_{j=1}^{\frac{n-1}{2}}U(2N_{f}-m^{2d}_{j}) (90)

with

3nNfNc=i=1n+2(Nfmi1d)+2×j=1n12(2Nfmj2d)\displaystyle 3nN_{f}-N_{c}=\sum_{i=1}^{n+2}(N_{f}-m^{1d}_{i})+2\times\sum_{j=1}^{\frac{n-1}{2}}(2N_{f}-m^{2d}_{j}) (91)

where each sector is the Aharony dual of the corresponding broken sector (89) of deformed Theory A; i.e., we have a duality for each broken sector as follows:

U(mi1d) with Nf flavors(Q,Q~)WA(1d,i)=0\displaystyle\begin{matrix}U(m^{1d}_{i})\text{ with $N_{f}$ flavors}(Q,\tilde{Q})\\ W_{A}^{(1d,i)}=0\end{matrix}\quad U(Nfmi1d) with Nf flavors (q,q~)WB(1d,i)=M(i)q~(i)q(i)+V(i)V^(i)++V(i)V^(i),+\displaystyle\longleftrightarrow\quad\begin{matrix}U(N_{f}-m^{1d}_{i})\text{ with $N_{f}$ flavors }(q,\tilde{q})\\ W_{B}^{(1d,i)}=M^{(i)}\tilde{q}^{(i)}q^{(i)}+V^{(i)}{}^{+}\hat{V}^{(i)}{}^{-}+V^{(i)}{}^{-}\hat{V}^{(i)}{}^{+}\,,\end{matrix} (92)
U(mj2d) with 2Nf flavors(𝖰,𝖰~)WA(2d,j)=0\displaystyle\begin{matrix}U(m^{2d}_{j})\text{ with $2N_{f}$ flavors}(\mathsf{Q},\tilde{\mathsf{Q}})\\ W_{A}^{(2d,j)}=0\end{matrix}\quad U(2Nfmj2d) with 2Nf flavors (𝗊,𝗊~)WB(2d,j)=𝖬(j)𝗊~(j)𝗊(j)+𝖵(j)𝖵^(j)++𝖵(j)𝖵^(j).+\displaystyle\longleftrightarrow\quad\begin{matrix}U(2N_{f}-m^{2d}_{j})\text{ with $2N_{f}$ flavors }(\mathsf{q},\tilde{\mathsf{q}})\\ W_{B}^{(2d,j)}=\mathsf{M}^{(j)}\tilde{\mathsf{q}}^{(j)}\mathsf{q}^{(j)}+\mathsf{V}^{(j)}{}^{+}\hat{\mathsf{V}}^{(j)}{}^{-}+\mathsf{V}^{(j)}{}^{-}\hat{\mathsf{V}}^{(j)}{}^{+}\,.\end{matrix} (93)

As in the single adjoint case, the adjoint Higgs branch is completely lifted by the polynomial superpotential deformation, whereas the mesonic Higgs branch is described by the Nf×NfN_{f}\times N_{f} matrix fields M(i)M^{(i)} for i=1,,n+2i=1,\dots,n+2 and the 2Nf×2Nf2N_{f}\times 2N_{f} matrix fields 𝖬(j)\mathsf{M}^{(j)} for j=1,,n12j=1,\dots,\frac{n-1}{2}, which are thus 3nNf23n{N_{f}}^{2}-dimensional in total, the same as the mesonic Higgs branch dimension of the undeformed theory described by Ms,tM_{s,t} for s=0,,n1s=0,\dots,n-1 and t=0,1,2t=0,1,2. Similarly, the Coulomb branch is described by V(i)±V^{(i)}{}^{\pm} and 𝖵(j)±\mathsf{V}^{(j)}{}^{\pm}, which are 3n+33n+3-dimensional, again the same as the Coulomb branch dimension of the undeformed theory described by Vs,t±V_{s,t}^{\pm} and Wu±W_{u}^{\pm} for s=0,,n,t=0,1s=0,\dots,n,\,t=0,1 with st=0st=0 and u=0,,n32u=0,\dots,\frac{n-3}{2}. In the next subsection, we will use this adjoint polynomial deformation to deduce the monopole dualities for the double adjoint theory.

3.2 Dualities with linear monopole superpotentials

Recall that the double adjoint theory has the two types of monopole operators: Vs,t±V_{s,t}^{\pm} carrying the unit topological symmetry charge and Wu±W_{u}^{\pm} carrying the topological symmetry charge ±2\pm 2. Thus, one can also consider two types of deformations by linear monopole superpotentials:

ΔWA=V0,0++V0,0\displaystyle\Delta W_{A}=V_{0,0}^{+}+V_{0,0}^{-} (94)

and

ΔWA=W0++W0\displaystyle\Delta W_{A}=W_{0}^{+}+W_{0}^{-} (95)

where we focus on the s=t=0s=t=0 and u=0u=0 cases for simplicity and leave the other cases for future works.

Firstly, we consider the deformation (94) with the simplest monopole operators V0,0±V_{0,0}^{\pm}. We conjecture that this linear superpotential leads to a new monopole duality as follows.

  • Theory A is the 3d 𝒩=2\mathcal{N}=2 U(Nc)U(N_{c}) gauge theory with NfN_{f} pairs of fundamental QaQ^{a} and anti-fundamental Q~a~\tilde{Q}^{\tilde{a}}, two adjoint chiral multiplets X,YX,\,Y and the superpotential

    WAmon=TrXn+1+TrXY2+V0,0++V0,0\displaystyle W_{A}^{mon}=\mathrm{Tr}X^{n+1}+\mathrm{Tr}XY^{2}+V_{0,0}^{+}+V_{0,0}^{-} (96)

    where V0,0±V_{0,0}^{\pm} are a pair of monopole operators of Theory A with topological symmetry charge ±1\pm 1.

  • Theory B is the 3d 𝒩=2\mathcal{N}=2 U(3nNfNc4n2)U(3nN_{f}-N_{c}-4n-2) gauge theory with NfN_{f} pairs of fundamental qa~q_{\tilde{a}} and anti-fundemental q~a\tilde{q}_{a}, two adjoint X^,Y^\hat{X},\,\hat{Y}, and 3nNf23n{N_{f}}^{2} gauge singlet chiral multiplets Ms,ta~aM_{s,t}{}^{\tilde{a}a} for a,a~=1,,Nfa,\tilde{a}=1,\dots,N_{f}, s=0,,n1s=0,\dots,n-1 and t=0,1,2t=0,1,2. The superpotential is given by

    WBmon=TrX^n+1+TrX^Y^2+s=0n1t=02Ms,tq~X^n1sY^2tq+V^0,0++V^0,0.\displaystyle W_{B}^{mon}=\mathrm{Tr}\hat{X}^{n+1}+\mathrm{Tr}\hat{X}\hat{Y}^{2}+\sum_{s=0}^{n-1}\sum_{t=0}^{2}M_{s,t}\tilde{q}\hat{X}^{n-1-s}\hat{Y}^{2-t}q+\hat{V}_{0,0}^{+}+\hat{V}_{0,0}^{-}\,. (97)

    where V^0,0±\hat{V}_{0,0}^{\pm} are a pair of monopole operators of Theory B with topological symmetry charge ±1\pm 1.

As we will see shortly, the Coulomb branch of the moduli space, which was described by the monopole operators in Theory A and by the dual singlets in Theory B, is now completely lifted due to the monopole superpotential.

As in the single adjoint case, let us deform the theories by the polynomial superpotential ΔWX=Tr[fn(X)]\Delta W_{X}=\mathrm{Tr}\left[f_{n}(X)\right], which makes both adjoint fields XX and YY massive. As we have discussed in the previous subsection, the low energy description consists of several broken sectors

i=1n+2U(mi1d)j=1n12U(mj2d)\displaystyle\prod_{i=1}^{n+2}U(m^{1d}_{i})\prod_{j=1}^{\frac{n-1}{2}}U(m^{2d}_{j}) (98)

without the adjoint fields. Furthermore, the extra superpotential (94) would descend to the following linear monopole superpotential:

WA(1d,i)=V(i)++V(i)\displaystyle W^{(1d,i)}_{A}=V^{(i)}{}^{+}+V^{(i)}{}^{-} (99)

for each U(mi1d)U(m^{1d}_{i}) sector and

WA(2d,i)=𝖵(j)++𝖵(j)\displaystyle W^{(2d,i)}_{A}=\mathsf{V}^{(j)}{}^{+}+\mathsf{V}^{(j)}{}^{-} (100)

for each U(mj2d)U(m^{2d}_{j}) sector where V(i)±V^{(i)}{}^{\pm} and 𝖵(j)±\mathsf{V}^{(j)}{}^{\pm} are the monopole operators of the U(mi1d)U(m^{1d}_{i}) sector and the U(mj2d)U(m^{2d}_{j}) sector respectively. In the presence of such monopole superpotentials, one can apply the Benini–Benvenuti–Pasquetti duality Benini:2017dud on each sector, which gives rise to the following duality relations:

U(mi1d)U(Nfmi1d2),U(mj2d)U(2Nfmj2d2)\displaystyle\begin{aligned} U(m^{1d}_{i})\quad&\longleftrightarrow\quad U(N_{f}-m^{1d}_{i}-2)\,,\\ U(m^{2d}_{j})\quad&\longleftrightarrow\quad U(2N_{f}-m^{2d}_{j}-2)\end{aligned} (101)

with the dual superpotentials

WB(1d,i)=M(i)q~(i)q(i)+V^(i)++V^(i),WB(2d,j)=𝖬(j)𝗊~(j)𝗊(j)+𝖵^(j)++𝖵^(j)\displaystyle\begin{aligned} W^{(1d,i)}_{B}&=M^{(i)}\tilde{q}^{(i)}q^{(i)}+\hat{V}^{(i)}{}^{+}+\hat{V}^{(i)}{}^{-}\,,\\ W^{(2d,j)}_{B}&=\mathsf{M}^{(j)}\tilde{\mathsf{q}}^{(j)}\mathsf{q}^{(j)}+\hat{\mathsf{V}}^{(j)}{}^{+}+\hat{\mathsf{V}}^{(j)}{}^{-}\end{aligned} (102)

where we also have the linear monopole superpotentials of the dual monopole operators V^(i)±\hat{V}^{(i)}{}^{\pm} and 𝖵^(j)±\hat{\mathsf{V}}^{(j)}{}^{\pm}.

Indeed, this is exactly what we expect from Theory B deformed by the same polynomial superpotential. Once we turn on ΔWX^=Tr[fn(X^)]\Delta W_{\hat{X}}=\mathrm{Tr}\left[f_{n}(\hat{X})\right] for Theory B, the non-zero VEVs of X^\hat{X} and Y^\hat{Y} lead to the low energy description with the broken gauge group

i=1n+2U(Nfmi1d2)j=1n12U(2Nfmj2d2)\displaystyle\prod_{i=1}^{n+2}U(N_{f}-m^{1d}_{i}-2)\prod_{j=1}^{\frac{n-1}{2}}U(2N_{f}-m^{2d}_{j}-2) (103)

and the superpotential (102), which is consistent with the BBP duality (101) for each broken sector. The proposed duality and its deformation by the adjoint polynomial superpotential can be depicted as follows:

U(Nc)U(3nNfNc4n2)i=1n+2U(mi1d)j=1n12U(mj2d)i=1n+2U(Nfmi1d2)j=1n12U(2Nfmj2d2)\displaystyle\begin{array}[]{ccc}U(N_{c})&\quad\longleftrightarrow&U(3nN_{f}-N_{c}-4n-2)\\ \big{\downarrow}&&\big{\downarrow}\\ {\displaystyle\prod_{i=1}^{n+2}U(m^{1d}_{i})\prod_{j=1}^{\frac{n-1}{2}}U(m^{2d}_{j})}&\quad\longleftrightarrow&{\displaystyle\prod_{i=1}^{n+2}U(N_{f}-m^{1d}_{i}-2)\prod_{j=1}^{\frac{n-1}{2}}U(2N_{f}-m^{2d}_{j}-2)}\end{array} (107)

where a horizontal arrow denotes the duality between the two theories, while a vertical arrow indicates the deformation by the polynomial superpotential of the adjoint field XX or X^\hat{X}. Note that the Coulomb branch of each broken sector on the right hand side is completely lifted by the monopole superpotentials (99) and (100). Therefore, we expect that the monopole superpotential (94) also lifts the entire Coulomb branch on the left hand side. This will be confirmed by the superconformal index shortly in section 3.3.

We need to check if new monopole terms in the superpotentials (94) and (97) are consistent with the global charges shown in Table 4. Again the monopole superpotential (94) breaks the U(1)AU(1)_{A} and U(1)TU(1)_{T} and also demands the RR-charge of the monopole operators V0,0±V_{0,0}^{\pm} to be 2; i.e.,

(1ΔQ)Nf1n+1(Nc1)=2,\displaystyle(1-\Delta_{Q})N_{f}-\frac{1}{n+1}(N_{c}-1)=2\,, (108)

which is satisfied only if the RR-charge ΔQ\Delta_{Q} of QQ and Q~\tilde{Q} is given by

ΔQ=(n+1)NfNc2n1(n+1)Nf.\displaystyle\Delta_{Q}=\frac{(n+1)N_{f}-N_{c}-2n-1}{(n+1)N_{f}}\,. (109)

The RR-charge Δq\Delta_{q} of qq and q~\tilde{q} is then determined by

Δq=2nn+1ΔQ=(2n1)Nf+Nc+2n+1(n+1)Nf.\displaystyle\Delta_{q}=\frac{2-n}{n+1}-\Delta_{Q}=\frac{-(2n-1)N_{f}+N_{c}+2n+1}{(n+1)N_{f}}\,. (110)

This requires the RR-charge of the dual monopole operators V^α±\hat{V}_{\alpha}^{\pm} to be

(1Δq)Nf1n+1(N~c1)\displaystyle\quad\left(1-\Delta_{q}\right)N_{f}-\frac{1}{n+1}\left(\tilde{N}_{c}-1\right)
=(12nn+1+ΔQ)Nf1n+1(3nNfNc4n3)\displaystyle=\left(1-\frac{2-n}{n+1}+\Delta_{Q}\right)N_{f}-\frac{1}{n+1}(3nN_{f}-N_{c}-4n-3)
=2,\displaystyle=2\,, (111)

which is consistent with the monopole terms in the dual superpotential (97). The resulting global charges are summarized in Table 5.

SU(Nf)tSU(N_{f})_{t} SU(Nf)uSU(N_{f})_{u} U(1)RU(1)_{R}
QQ 𝐍𝐟\mathbf{N_{f}} 𝟏\mathbf{1} (2n)NfNc+N~c2(n+1)Nf\frac{(2-n)N_{f}-N_{c}+\tilde{N}_{c}}{2(n+1)N_{f}}
Q~\tilde{Q} 𝟏\mathbf{1} 𝐍𝐟\mathbf{N_{f}} (2n)NfNc+N~c2(n+1)Nf\frac{(2-n)N_{f}-N_{c}+\tilde{N}_{c}}{2(n+1)N_{f}}
XX 𝟏\mathbf{1} 𝟏\mathbf{1} 2n+1\frac{2}{n+1}
YY 𝟏\mathbf{1} 𝟏\mathbf{1} nn+1\frac{n}{n+1}
Vs,t±V_{s,t}^{\pm} 𝟏\mathbf{1} 𝟏\mathbf{1} 2+2s+ntn+12+\frac{2s+nt}{n+1}
Wu±W_{u}^{\pm} 𝟏\mathbf{1} 𝟏\mathbf{1} 4n+6+4un+1\frac{4n+6+4u}{n+1}
qq 𝟏\mathbf{1} 𝐍𝐟¯\overline{\mathbf{N_{f}}} (2n)NfN~c+Nc2(n+1)Nf\frac{(2-n)N_{f}-\tilde{N}_{c}+N_{c}}{2(n+1)N_{f}}
q~\tilde{q} 𝐍𝐟¯\overline{\mathbf{N_{f}}} 𝟏\mathbf{1} (2n)NfN~c+Nc2(n+1)Nf\frac{(2-n)N_{f}-\tilde{N}_{c}+N_{c}}{2(n+1)N_{f}}
X^\hat{X} 𝟏\mathbf{1} 𝟏\mathbf{1} 2n+1\frac{2}{n+1}
Y^\hat{Y} 𝟏\mathbf{1} 𝟏\mathbf{1} nn+1\frac{n}{n+1}
Ms,tM_{s,t} 𝐍𝐟\mathbf{N_{f}} 𝐍𝐟\mathbf{N_{f}} (2n)NfNc+N~c(n+1)Nf+2s+ntn+1\frac{(2-n)N_{f}-N_{c}+\tilde{N}_{c}}{(n+1)N_{f}}+\frac{2s+nt}{n+1}
V^s,t±\hat{V}_{s,t}^{\pm} 𝟏\mathbf{1} 𝟏\mathbf{1} 2+2s+ntn+12+\frac{2s+nt}{n+1}
W^u±\hat{W}_{u}^{\pm} 𝟏\mathbf{1} 𝟏\mathbf{1} 4n+6+4un+1\frac{4n+6+4u}{n+1}
Table 5: The representations of the chiral operators under the global symmetry groups of the double adjoint theory with the linear monopole superpotential ΔWA=V0,0++V0,0\Delta W_{A}=V_{0,0}^{+}+V_{0,0}^{-} and its dual. Now the monopole operators (Vs,t±,Wu±)(V_{s,t}^{\pm},W_{u}^{\pm}) and (V^s,t±,W^u±)(\hat{V}_{s,t}^{\pm},\hat{W}_{u}^{\pm}) are presented together with the elementary fields in the upper box and the lower box respectively. Note that N~c\tilde{N}_{c} is the dual gauge rank, which is defined by N~c=3nNfNc4n2\tilde{N}_{c}=3nN_{f}-N_{c}-4n-2.

Next, let us consider the deformation

ΔWA=W0++W0.\displaystyle\Delta W_{A}=W_{0}^{+}+W_{0}^{-}\,. (112)

The duality we propose is as follows.

  • Theory A is the 3d 𝒩=2\mathcal{N}=2 U(Nc)U(N_{c}) gauge theory with NfN_{f} pairs of fundamental fields QaQ^{a} and anti-fundamental fields Q~a~\tilde{Q}^{\tilde{a}}, two adjoint fields X,YX,\,Y and the superpotential

    WAmon=TrXn+1+TrXY2+W0++W0\displaystyle W_{A}^{mon}=\mathrm{Tr}X^{n+1}+\mathrm{Tr}XY^{2}+W_{0}^{+}+W_{0}^{-} (113)

    where W0±W_{0}^{\pm} are a pair of monopole operators of Theory A with topological symmetry charge ±2\pm 2.

  • Theory B is the 3d 𝒩=2\mathcal{N}=2 U(3nNfNc2n+2)U(3nN_{f}-N_{c}-2n+2) gauge theory with NfN_{f} pairs of fundamental fields qa~q_{\tilde{a}} and anti-fundemental fields q~a\tilde{q}_{a}, two adjoint fields X^,Y^\hat{X},\,\hat{Y}, and 3nNf23n{N_{f}}^{2} gauge singlet fields Ms,ta~aM_{s,t}{}^{\tilde{a}a} for a,a~=1,,Nfa,\tilde{a}=1,\dots,N_{f}, s=0,,n1s=0,\dots,n-1 and t=0,1,2t=0,1,2. The superpotential is given by

    WBmon=TrX^n+1+TrX^Y^2+s=0n1t=02Ms,tq~X^n1sY^2tq+W^0++W^0.\displaystyle W_{B}^{mon}=\mathrm{Tr}\hat{X}^{n+1}+\mathrm{Tr}\hat{X}\hat{Y}^{2}+\sum_{s=0}^{n-1}\sum_{t=0}^{2}M_{s,t}\tilde{q}\hat{X}^{n-1-s}\hat{Y}^{2-t}q+\hat{W}_{0}^{+}+\hat{W}_{0}^{-}\,. (114)

    where W^0±\hat{W}_{0}^{\pm} are a pair of monopole operators of Theory B with topological symmetry charge ±2\pm 2.

To check the duality, we again turn on the polynomial superpotential ΔW=Tr[fn(X)]\Delta W=\mathrm{Tr}\left[f_{n}(X)\right], which breaks the gauge group U(Nc)U(N_{c}) into

i=1n+2U(mi1d)j=1n12U(mj2d).\displaystyle\prod_{i=1}^{n+2}U(m^{1d}_{i})\prod_{j=1}^{\frac{n-1}{2}}U(m^{2d}_{j})\,. (115)

Recall that U(mj2d)U(m^{2d}_{j}) is embedded in U(Nc)U(N_{c}) as a diagonal subgroup of U(mj2d)×U(mj2d)U(2mj2d)U(Nc)U(m^{2d}_{j})\times U(m^{2d}_{j})\subset U(2m^{2d}_{j})\subset U(N_{c}). Thus, the unit charged monopole operators of the U(mj2d)U(m^{2d}_{j}) sector should correspond to the doubly charged monopole operators of the unbroken U(Nc)U(N_{c}) theory. We therefore expect that the deformation (112) by W0±W_{0}^{\pm} only leads to the monopole superpotential for the 2-dimensional VEV sectors, in contrast to the deformation (94) by V0,0±V_{0,0}^{\pm} leading to the monopole superpotentials for both the 1-dimensional VEV sectors and 2-dimensional VEV sectors. As a result, the dual theory of each sector is given by

U(mi1d)\displaystyle U(m^{1d}_{i})\quad U(Nfmi1d),\displaystyle\longleftrightarrow\quad U(N_{f}-m^{1d}_{i})\,, (116)
U(mi2d)\displaystyle U(m^{2d}_{i})\quad U(2Nfmi2d2)\displaystyle\longleftrightarrow\quad U(2N_{f}-m^{2d}_{i}-2) (117)

with the superpotential

WB(1d,i)=M(1d,i)q~(1d,i)q(1d,i)+V(1d,i)V^(1d,i)++V(1d,i)V^(1d,i),+WB(2d,i)=M(2d,i)q~(2d,i)q(2d,i)+V^(2d,i)++V^(2d,i)\displaystyle\begin{aligned} W^{(1d,i)}_{B}&=M^{(1d,i)}\tilde{q}^{(1d,i)}q^{(1d,i)}+V^{(1d,i)}{}^{+}\hat{V}^{(1d,i)}{}^{-}+V^{(1d,i)}{}^{-}\hat{V}^{(1d,i)}{}^{+}\,,\\ W^{(2d,i)}_{B}&=M^{(2d,i)}\tilde{q}^{(2d,i)}q^{(2d,i)}+\hat{V}^{(2d,i)}{}^{+}+\hat{V}^{(2d,i)}{}^{-}\end{aligned} (118)

where we have applied the Aharony duality Aharony:1997gp for the 1-dimensional VEV sectors and the BBP duality Benini:2017dud for the 2-dimensional VEV sectors.

This should be the low energy description of the entire dual theory deformed by the polynomial superpotential ΔW=Tr[fn(X^)]\Delta W=\mathrm{Tr}\left[f_{n}(\hat{X})\right]. The expected theory leading to such a low energy description when deformed by Tr[fn(X^)]\mathrm{Tr}\left[f_{n}(\hat{X})\right] is the U(3nNfNc2n+2)U(3nN_{f}-N_{c}-2n+2) theory with the superpotential (114). One can check that once we turn on the polynomial superpotential Tr[fn(X^)]\mathrm{Tr}\left[f_{n}(\hat{X})\right], the first and second terms lead to the non-zero VEVs of X^\hat{X} and Y^\hat{Y}, which break the gauge group U(3nNfNc2n+2)U(3nN_{f}-N_{c}-2n+2) into

i=1n+2U(Nfmi1d)j=1n12U(2Nfmj2d2),\displaystyle\prod_{i=1}^{n+2}U(N_{f}-m^{1d}_{i})\prod_{j=1}^{\frac{n-1}{2}}U(2N_{f}-m^{2d}_{j}-2)\,, (119)

while the remaining terms descend to the superpotential (118) of the broken theory. Those relations can be summarized as:

U(Nc)U(3nNfNc2n+2)i=1n+2U(mi1d)j=1n12U(mj2d)i=1n+2U(Nfmi1d)j=1n12U(2Nfmj2d2)\displaystyle\begin{array}[]{ccc}U(N_{c})&\quad\longleftrightarrow&U(3nN_{f}-N_{c}-2n+2)\\ \big{\downarrow}&&\big{\downarrow}\\ {\displaystyle\prod_{i=1}^{n+2}U(m^{1d}_{i})\prod_{j=1}^{\frac{n-1}{2}}U(m^{2d}_{j})}&\quad\longleftrightarrow&{\displaystyle\prod_{i=1}^{n+2}U(N_{f}-m^{1d}_{i})\prod_{j=1}^{\frac{n-1}{2}}U(2N_{f}-m^{2d}_{j}-2)}\end{array} (123)

where a horizontal arrow denotes the duality between the two theories, while a vertical arrow indicates the perturbation by the polynomial superpotential of the adjoint field XX or X^\hat{X}.

One can check that the superpotentials (112) and (114) are consistent with the conjectured duality. First we note that the monopole superpotential (112) demands that the RR-charge ΔQ\Delta_{Q} of QQ and Q~\tilde{Q} must be

ΔQ=(n+1)NfNcn+1(n+1)Nf\displaystyle\Delta_{Q}=\frac{(n+1)N_{f}-N_{c}-n+1}{(n+1)N_{f}} (124)

because the RR-charge of the monopole operator W0±W_{0}^{\pm}:

2(1ΔQ)Nf2n+1(Nc1)+2n+1\displaystyle 2(1-\Delta_{Q})N_{f}-\frac{2}{n+1}(N_{c}-1)+\frac{2}{n+1} (125)

should be 2. The RR-charge of qq and q~\tilde{q} is then given by

2nn+1ΔQ=(2n1)Nf+Nc+n1(n+1)Nf.\displaystyle\frac{2-n}{n+1}-\Delta_{Q}=\frac{-(2n-1)N_{f}+N_{c}+n-1}{(n+1)N_{f}}\,. (126)

This requires the RR-charge of the dual monopole operators W^0±\hat{W}_{0}^{\pm} to be

2(1Δq)Nf2n+1(N~c1)+2n+1\displaystyle\quad 2(1-\Delta_{q})N_{f}-\frac{2}{n+1}(\tilde{N}_{c}-1)+\frac{2}{n+1}
=2(12nn+1+ΔQ)Nf2n+1(3nNfNc2n+1)+2n+1\displaystyle=2\left(1-\frac{2-n}{n+1}+\Delta_{Q}\right)N_{f}-\frac{2}{n+1}(3nN_{f}-N_{c}-2n+1)+\frac{2}{n+1}
=2,\displaystyle=2\,, (127)

which is consistent with the dual monopole superpotential (114). The resulting global charges are summarized in Table 6.

SU(Nf)tSU(N_{f})_{t} SU(Nf)uSU(N_{f})_{u} U(1)RU(1)_{R}
QQ 𝐍𝐟\mathbf{N_{f}} 𝟏\mathbf{1} (2n)NfNc+N~c2(n+1)Nf\frac{(2-n)N_{f}-N_{c}+\tilde{N}_{c}}{2(n+1)N_{f}}
Q~\tilde{Q} 𝟏\mathbf{1} 𝐍𝐟\mathbf{N_{f}} (2n)NfNc+N~c2(n+1)Nf\frac{(2-n)N_{f}-N_{c}+\tilde{N}_{c}}{2(n+1)N_{f}}
XX 𝟏\mathbf{1} 𝟏\mathbf{1} 2n+1\frac{2}{n+1}
YY 𝟏\mathbf{1} 𝟏\mathbf{1} nn+1\frac{n}{n+1}
Vs,t±V_{s,t}^{\pm} 𝟏\mathbf{1} 𝟏\mathbf{1} n+2s+ntn+1\frac{n+2s+nt}{n+1}
Wu±W_{u}^{\pm} 𝟏\mathbf{1} 𝟏\mathbf{1} 2+4un+12+\frac{4u}{n+1}
qq 𝟏\mathbf{1} 𝐍𝐟¯\overline{\mathbf{N_{f}}} (2n)NfN~c+Nc2(n+1)Nf\frac{(2-n)N_{f}-\tilde{N}_{c}+N_{c}}{2(n+1)N_{f}}
q~\tilde{q} 𝐍𝐟¯\overline{\mathbf{N_{f}}} 𝟏\mathbf{1} (2n)NfN~c+Nc2(n+1)Nf\frac{(2-n)N_{f}-\tilde{N}_{c}+N_{c}}{2(n+1)N_{f}}
X^\hat{X} 𝟏\mathbf{1} 𝟏\mathbf{1} 2n+1\frac{2}{n+1}
Y^\hat{Y} 𝟏\mathbf{1} 𝟏\mathbf{1} nn+1\frac{n}{n+1}
Ms,tM_{s,t} 𝐍𝐟\mathbf{N_{f}} 𝐍𝐟\mathbf{N_{f}} (2n)NfNc+N~c(n+1)Nf+2s+ntn+1\frac{(2-n)N_{f}-N_{c}+\tilde{N}_{c}}{(n+1)N_{f}}+\frac{2s+nt}{n+1}
V^s,t±\hat{V}_{s,t}^{\pm} 𝟏\mathbf{1} 𝟏\mathbf{1} n+2s+ntn+1\frac{n+2s+nt}{n+1}
W^u±\hat{W}_{u}^{\pm} 𝟏\mathbf{1} 𝟏\mathbf{1} 2+4un+12+\frac{4u}{n+1}
Table 6: The representations of the chiral operators under the global symmetry groups of the double adjoint theory with the linear monopole superpotential ΔWA=W0++W0\Delta W_{A}=W_{0}^{+}+W_{0}^{-} and its dual. The monopole operators (Vs,t±,Wu±)(V_{s,t}^{\pm},W_{u}^{\pm}) and (V^s,t±,W^u±)(\hat{V}_{s,t}^{\pm},\hat{W}_{u}^{\pm}) are presented together with the elementary fields in the upper box and the lower box respectively. Note that N~c\tilde{N}_{c} is the dual gauge rank, which is defined by N~c=3nNfNc2n+2\tilde{N}_{c}=3nN_{f}-N_{c}-2n+2.

We will also provide further evidence of the duality using the superconformal index. See section 3.4.

3.3 The superconformal index for ΔW=V0,0++V0,0\Delta W=V_{0,0}^{+}+V_{0,0}^{-}

In this subsection, we provide nontrivial evidence of the proposed duality for the double adjoint theory with monopole superpotential

ΔWA=V0,0++V0,0\displaystyle\Delta W_{A}=V_{0,0}^{+}+V_{0,0}^{-} (128)

using the superconformal index. The index of the double adjoint theory without the monopole superpotential can be computed using the factorization formula derived in Hwang:2018uyj with some trial RR-charge. Then, as explained in the single adjoint case, the index with the monopole superpotential can be obtained by taking the RR-charge of the fundamental matters to be ΔQ\Delta_{Q} determined by (109) and turning off the fugacities of U(1)AU(1)_{A} and U(1)TU(1)_{T}, which are broken by the monopole superpotential. We have computed the indices for several dual pairs, some of which are listed in Table 7.

n (Nf,Nc,N~c)(N_{f},N_{c},\tilde{N}_{c}) SCI
(4,22,0)(4,22,0) 1+16x8+136x4+832x3/8+4132x+O(x5/8)\begin{array}[]{c}1+16\sqrt[8]{x}+136\sqrt[4]{x}+832x^{3/8}+4132\sqrt{x}+O\left(x^{5/8}\right)\end{array}
(4,21,1)(4,21,1) 1+16x4+153x+1089x3/4+6373x+O(x5/4)\begin{array}[]{c}1+16\sqrt[4]{x}+153\sqrt{x}+1089x^{3/4}+6373x+O\left(x^{5/4}\right)\end{array}
3 (4,20,2)(4,20,2) 1+16x8+136x4+832x3/8+4133x+17712x5/8+67849x3/4+237760x7/8+774456x+2372208x9/8+6893045x5/4+19130640x11/8+50987445x3/2+O(x13/8)\begin{array}[]{c}1+16\sqrt[8]{x}+136\sqrt[4]{x}+832x^{3/8}+4133\sqrt{x}+17712x^{5/8}+67849x^{3/4}\\ +237760x^{7/8}+774456x+2372208x^{9/8}+6893045x^{5/4}\\ +19130640x^{11/8}+50987445x^{3/2}+O\left(x^{13/8}\right)\end{array}
(4,19,3)(4,19,3) 1+16x4+153x+1105x3/4+6614x+34457x5/4+160992x3/2+O(x7/4)\begin{array}[]{c}1+16\sqrt[4]{x}+153\sqrt{x}+1105x^{3/4}+6614x+34457x^{5/4}\\ +160992x^{3/2}+O\left(x^{7/4}\right)\end{array}
Table 7: The superconformal index results for the double adjoint theories with ΔWA=V0,0++V0,0\Delta W_{A}=V_{0,0}^{+}+V_{0,0}^{-}. Here we list a few examples with (n,Nf)=(3,4)(n,N_{f})=(3,4), whereas more results with (n,Nf)=(3,3)(n,N_{f})=(3,3) are given in appendix A. The SU(Nf)t×SU(Nf)uSU(N_{f})_{t}\times SU(N_{f})_{u} flavor fugacities are all omitted for simplicity. The gauge rank of the dual theory is given by N~c=3nNfNc4n2\tilde{N}_{c}=3nN_{f}-N_{c}-4n-2.

In some cases, ΔQ\Delta_{Q} determined by (109) becomes negative, and therefore, some mesonic operators have negative conformal dimensions. Since such operators are decoupled from the interacting theory, we remove their contributions from the index by flipping them; i.e., we introduce extra singlets coupled to those decoupled operators so that both of them become massive and integrated out. The evaluated indices show perfect agreement, which is strong evidence of the duality we propose.

Furthermore, we have found that the linear monopole superpotential (128) results in the nontrivial truncation of the chiral ring generators. First of all, as argued in the previous subsection, all the monopole operators become massive once the superpotential (128) is turned on:

Vs,t±\displaystyle V_{s,t}^{\pm}\quad 0,s=0,,n,t=0,1,st=0,\displaystyle\sim\quad 0\,,\qquad\qquad s=0,\dots,n,\quad t=0,1,\quad st=0\,, (129)
Wu±\displaystyle W_{u}^{\pm}\quad 0,u=0,,n32,\displaystyle\sim\quad 0\,,\qquad\qquad u=0,\dots,\frac{n-3}{2}\,, (130)

which can be explicitly confirmed by the superconformal index as we will show shortly. Therefore, in generic cases, the moduli space is parameterized by the following chiral ring generators:

Q~XsYtQ\displaystyle\tilde{Q}X^{s}Y^{t}Q\quad Ms,t,s=0,,n1,t=0,1,2,\displaystyle\longleftrightarrow\quad M_{s,t}\,,\qquad\qquad s=0,\dots,n-1,\quad t=0,1,2\,, (131)
TrXs\displaystyle\mathrm{Tr}X^{s}\quad TrX^s,s=1,,n,\displaystyle\longleftrightarrow\quad\mathrm{Tr}\hat{X}^{s}\,,\qquad\quad\;\;s=1,\dots,n\,, (132)
TrY\displaystyle\mathrm{Tr}Y\quad TrY^\displaystyle\longleftrightarrow\quad\mathrm{Tr}\hat{Y} (133)

where the right hand side shows the corresponding dual operators, which describe the same moduli space. In addition, as in the single adjoint case, there is the additional truncation of chiral ring generators if the gauge ranks are bounded in a particular range:

TrXs0,s=min(Nc+1,3nNfNc4n1),,n,TrY0,ifmin(Nc,3nNfNc4n2)=0,\displaystyle\begin{aligned} \mathrm{Tr}X^{s}\quad&\sim\quad 0\,,\quad\quad s=\mathrm{min}(N_{c}+1,3nN_{f}-N_{c}-4n-1),\dots,n\,,\\ \mathrm{Tr}Y\quad&\sim\quad 0\,,\quad\quad\text{if}\quad\mathrm{min}(N_{c},3nN_{f}-N_{c}-4n-2)=0\,,\end{aligned} (134)

which happens when min(Nc,3nNfNc4n2)<n\mathrm{min}(N_{c},3nN_{f}-N_{c}-4n-2)<n.

To see the truncation of the monopole operators (129), let us consider the case (n,Nf,Nc)=(3,3,5)(n,N_{f},N_{c})=(3,3,5) as an example. To read off chiral ring relations, it is convenient to evaluate the plethystic logarithm of the index999The (unrefined) index of the (n,Nf,Nc)=(3,3,5)(n,N_{f},N_{c})=(3,3,5) case is given in appendix A., which is given by

(1x2)PL[I]\displaystyle\quad(1-x^{2})\,\mathrm{PL}\left[I\right]
=(𝟑t𝟑uτ2+1)x12++(τ3(w+w1)2τ62+)x2+()x94\displaystyle=\left(\mathbf{3}_{t}\mathbf{3}_{u}\tau^{2}+1\right)x^{\frac{1}{2}}+\dots+\left(\tau^{-3}\left(w+w^{-1}\right)-2\tau^{6}-2+\dots\right)x^{2}+\left(\dots\right)x^{\frac{9}{4}}
+(τ3(w+w1)3τ62+)x52+(τ3(w+w1)3τ63+)x114\displaystyle\quad+\left(\tau^{-3}\left(w+w^{-1}\right)-3\tau^{6}-2+\dots\right)x^{\frac{5}{2}}+\left(\tau^{-3}\left(w+w^{-1}\right)-3\tau^{6}-3+\dots\right)x^{\frac{11}{4}}
+((τ3τ3)(w+w1)2τ63+)x3+()x134\displaystyle\quad+\left(\left(\tau^{-3}-\tau^{3}\right)\left(w+w^{-1}\right)-2\tau^{6}-3+\dots\right)x^{3}+\left(\dots\right)x^{\frac{13}{4}}
+((τ32τ3)(w+w1)+5τ64+)x72+\displaystyle\quad+\left(\left(\tau^{-3}-2\tau^{3}\right)\left(w+w^{-1}\right)+5\tau^{6}-4+\dots\right)x^{\frac{7}{2}}+\dots
+(τ6(w2+w2)+33τ6τ3(w+w1)18τ122+)x92+\displaystyle\quad+\left(\tau^{-6}\left(w^{2}+w^{-2}\right)+33\tau^{6}-\tau^{-3}\left(w+w^{-1}\right)-18\tau^{12}-2+\dots\right)x^{\frac{9}{2}}+\dots (135)

where we keep τ\tau and ww nontrivial; thus, this corresponds to the index before turning on the monopole superpotential. Note that both sides are multiplied by (1x2)(1-x^{2}) to remove the contribution of descendants derived by the derivative operator. We have used ΔQ\Delta_{Q} determined by (109) as a trial RR-charge and also suppressed many terms irrelevant to our discussion here. One can see the contributions of the monopole operators Vs,t±V_{s,t}^{\pm}:

τ3(w+w1)x8+2s+3t4\displaystyle\tau^{-3}\left(w+w^{-1}\right)x^{\frac{8+2s+3t}{4}} (136)

for s=0,1,2,3,t=0,1,st=0s=0,1,2,3,\,t=0,1,\,st=0 and that of W0±W_{0}^{\pm}:

τ6(w2+w2)x92.\displaystyle\tau^{-6}\left(w^{2}+w^{-2}\right)x^{\frac{9}{2}}\,. (137)

Now recall that the index after turning on the monopole superpotential can be simply obtained by taking τ=w=1\tau=w=1. Then the contributions of Vs,t±V_{s,t}^{\pm} and W0±W_{0}^{\pm} would be canceled by negative contributions in the trivial representation of the SU(3)t×SU(3)uSU(3)_{t}\times SU(3)_{u} global symmetry, which are shown in (3.3). Especially, motivated by the result of the single adjoint case, we expect that, in general, the contributions of Vs,t±V_{s,t}^{\pm} are canceled by the negative contributions of the following fermionic operators:

(ψQ)aXsYtQa,Q~a~XsYt(ψQ~)a~\displaystyle(\psi_{Q}^{\dagger})^{a}X^{s}Y^{t}Q_{a}\,,\quad\tilde{Q}^{\tilde{a}}X^{s}Y^{t}(\psi_{\tilde{Q}}^{\dagger})_{\tilde{a}}\quad :2x8+2s+3t4\displaystyle:\qquad-2x^{\frac{8+2s+3t}{4}} (138)

for s=0,1,2,3,t=0,1,st=0s=0,1,2,3,\,t=0,1,\,st=0. On the other hand, we couldn’t identify the general pattern of the cancelation for the monopole operators Wu±W_{u}^{\pm} because their contributions appear at higher orders of xx, which are hard to evaluate for higher values of NfN_{f} and NcN_{c}. Nevertheless, we have confirmed for Nc3N_{c}\leq 3 and Nc=5N_{c}=5 that there are some negative contributions, which may cancel the contribution of Wu±W_{u}^{\pm}. Such cancelations imply that the monopole operators Vs,t±V_{s,t}^{\pm} and W0±W_{0}^{\pm} become Q-exact and vanish in the chiral ring; i.e., the Coulomb branch of the moduli space is completely lifted.

In addition, we also find that the monopole superpotential (128) can give rise to extra constraints on TrXs\mathrm{Tr}X^{s} and TrY\mathrm{Tr}Y as shown in (134). As in the single adjoint case, we first note that the operators TrXs\mathrm{Tr}X^{s} for s=1,,ns=1,\dots,n are classically truncated as

TrXs\displaystyle\mathrm{Tr}X^{s}\quad 0,s=Nc+1,,n\displaystyle\sim\quad 0\,,\qquad\quad s=N_{c}+1,\dots,n (139)

due to the characteristic equation of the matrix field XX for Nc<nN_{c}<n. Note that this doesn’t depend on the existence of the monopole superpotential.

On the other hand, there is also quantum mechanical truncation, whose effect does depend on the presence of the monopole superpotential. Before we turn on the monopole superpotential, the operators TrXs\mathrm{Tr}X^{s} get extra quantum constraints:

TrXs\displaystyle\mathrm{Tr}X^{s}\quad 0,s=3nNfNc+1,,min(n,Nc)\displaystyle\sim\quad 0\,,\qquad\quad s=3nN_{f}-N_{c}+1,\dots,\mathrm{min}(n,N_{c}) (140)

if 3nNfNc<min(n,Nc)3nN_{f}-N_{c}<\mathrm{min}(n,N_{c}) because their dual operators TrX^s\mathrm{Tr}\hat{X}^{s} are classically constrained as follows:

TrX^s\displaystyle\mathrm{Tr}\hat{X}^{s}\quad 0,s=3nNfNc+1,,n.\displaystyle\sim\quad 0\,,\qquad\quad s=3nN_{f}-N_{c}+1,\dots,n\,. (141)

Similarly, the operator TrY\mathrm{Tr}Y also gets quantum constraint

TrY0\displaystyle\mathrm{Tr}Y\quad\sim\quad 0 (142)

if 3nNfNc=03nN_{f}-N_{c}=0 because in this case the dual gauge rank is zero, and the dual operator TrY^\mathrm{Tr}\hat{Y} doesn’t exist.

Now we turn on the monopole superpotential (128). Then the dual gauge rank decreases from 3nNfNc3nN_{f}-N_{c} to 3nNfNc4n+23nN_{f}-N_{c}-4n+2, which affects the quantum constraints on TrXs\mathrm{Tr}X^{s} and TrY\mathrm{Tr}Y. Indeed, if the dual rank is smaller than min(n,Nc)\mathrm{min}(n,N_{c}), we expect quantum constraints on TrXs\mathrm{Tr}X^{s} as follows:

TrXs\displaystyle\mathrm{Tr}X^{s}\quad 0,s=3nNfNc4n1,,min(n,Nc).\displaystyle\sim\quad 0\,,\quad\quad s=3nN_{f}-N_{c}-4n-1,\dots,\mathrm{min}(n,N_{c})\,. (143)

Furthermore, TrY\mathrm{Tr}Y now vanishes when N~c=3nNfNc4n2=0\tilde{N}_{c}=3nN_{f}-N_{c}-4n-2=0. Therefore, combined with the original constraints before turning on the monopole superpotential, the complete truncation of TrXs\mathrm{Tr}X^{s} and TrY\mathrm{Tr}Y in the presence of the monopole superpotential (128) is given by (134).

Let us discuss some examples. We are going to consider the cases: Nc=19, 20, 21, 22N_{c}=19,\,20,\,21,\,22 with (n,Nf)=(3,4)(n,N_{f})=(3,4). In those cases, the dual ranks are given by N~c=3, 2, 1, 0\tilde{N}_{c}=3,\,2,\,1,\,0 respectively. Firstly, for Nc=19N_{c}=19, the plethystic log of the index is given by

(1x2)PL[I]\displaystyle(1-x^{2})\,\mathrm{PL}[I] =𝟒t𝟒uτ2x14+(𝟒t𝟒uτ2+1)x12+(𝟒t𝟒uτ2+1)x34+x+𝟒t𝟒uτ2x54+x32\displaystyle=\mathbf{4}_{t}\mathbf{4}_{u}\tau^{2}x^{\frac{1}{4}}+\left(\mathbf{4}_{t}\mathbf{4}_{u}\tau^{2}+1\right)x^{\frac{1}{2}}+\left(\mathbf{4}_{t}\mathbf{4}_{u}\tau^{2}+1\right)x^{\frac{3}{4}}+x+\mathbf{4}_{t}\mathbf{4}_{u}\tau^{2}x^{\frac{5}{4}}+x^{\frac{3}{2}}
+\displaystyle\quad+\dots (144)

where τ\tau has to be 1 if the monopole superpotential is turned on. One can see that the contributions of TrY\mathrm{Tr}Y and TrXs\mathrm{Tr}X^{s} for s=1, 2, 3s=1,\,2,\,3,

x34,xs2,s=1,2,3,\displaystyle x^{\frac{3}{4}}\,,\qquad x^{\frac{s}{2}}\,,\quad s=1,2,3\,, (145)

are all nontrivial regardless of τ\tau. Therefore, those operators are not affected by the monopole superpotential, which is consistent with the fact that the extra quantum truncation happens only when min(Nc,3nNfNc4n2)<n\mathrm{min}(N_{c},3nN_{f}-N_{c}-4n-2)<n.

Next, for Nc=20N_{c}=20, the plethystic log of the index is given by

(1x2)PL[I]\displaystyle(1-x^{2})\,\mathrm{PL}[I] =𝟒t𝟒uτ2x18+𝟒t𝟒uτ2x38+x12+𝟒t𝟒uτ2x58+x34+x+𝟒t𝟒uτ2x98\displaystyle=\mathbf{4}_{t}\mathbf{4}_{u}\tau^{2}x^{\frac{1}{8}}+\mathbf{4}_{t}\mathbf{4}_{u}\tau^{2}x^{\frac{3}{8}}+x^{\frac{1}{2}}+\mathbf{4}_{t}\mathbf{4}_{u}\tau^{2}x^{\frac{5}{8}}+x^{\frac{3}{4}}+x+\mathbf{4}_{t}\mathbf{4}_{u}\tau^{2}x^{\frac{9}{8}}
+(1τ16)x32+.\displaystyle\quad+\left(1-\tau^{16}\right)x^{\frac{3}{2}}+\dots\,. (146)

For τ1\tau\neq 1, i.e., before turning on the monopole superpotential, one can find the nontrivial contributions (168) of TrY\mathrm{Tr}Y and TrXs\mathrm{Tr}X^{s} for s=1, 2, 3s=1,\,2,\,3. On the other hand, once we set τ=1\tau=1, i.e., after turning on the monopole superpotential, the contribution x32x^{\frac{3}{2}} of TrX3\mathrm{Tr}X^{3} is canceled by τ16x32-\tau^{16}x^{\frac{3}{2}}. This shows that TrX3\mathrm{Tr}X^{3} is quantum mechanically truncated, which is consistent with the fact that its dual operator TrX^3\mathrm{Tr}\hat{X}^{3} is classically truncated because the dual gauge rank is 2.

Similarly, for Nc=21N_{c}=21, the plethystic log of the index is given by

(1x2)PL[I]\displaystyle(1-x^{2})\,\mathrm{PL}[I] =𝟒t𝟒uτ2x14+(𝟒t𝟒uτ2+1)x12+x34+(𝟒t𝟒uτ2+1τ16)x+.\displaystyle=\mathbf{4}_{t}\mathbf{4}_{u}\tau^{2}x^{\frac{1}{4}}+\left(\mathbf{4}_{t}\mathbf{4}_{u}\tau^{2}+1\right)x^{\frac{1}{2}}+x^{\frac{3}{4}}+\left(\mathbf{4}_{t}\mathbf{4}_{u}\tau^{2}+1-\tau^{16}\right)x+\dots\,. (147)

where we have only evaluated the index up to xx due to the limited computing power. Nevertheless, up to this order, we find all the expected contributions of TrY\mathrm{Tr}Y and TrXs\mathrm{Tr}X^{s} for s=1, 2s=1,\,2 when τ1\tau\neq 1. Once we set τ=1\tau=1, the contribution xx of TrX2\mathrm{Tr}X^{2} is canceled by τ16x-\tau^{16}x, which is expected because the dual operator of TrX2\mathrm{Tr}X^{2} is classically truncated in the dual U(1)U(1) theory.

Lastly, for Nc=22N_{c}=22, the plethystic log of the index is given by

(1x2)PL[I]\displaystyle(1-x^{2})\,\mathrm{PL}[I] =𝟒t𝟒uτ2x18+𝟒t𝟒uτ2x38+(1τ16)x12+.\displaystyle=\mathbf{4}_{t}\mathbf{4}_{u}\tau^{2}x^{\frac{1}{8}}+\mathbf{4}_{t}\mathbf{4}_{u}\tau^{2}x^{\frac{3}{8}}+\left(1-\tau^{16}\right)x^{\frac{1}{2}}+\dots\,. (148)

which is evaluated only up to x12x^{\frac{1}{2}} due to the limited computing power. One can see the contribution of TrX\mathrm{Tr}X when τ1\tau\neq 1, which is canceled by τ16x12-\tau^{16}x^{\frac{1}{2}} when τ=1\tau=1, which shows the expected quantum truncation (134) of TrX\mathrm{Tr}X.

3.4 The superconformal index for ΔW=W0++W0\Delta W=W_{0}^{+}+W_{0}^{-}

Lastly, we test our proposal for the duality with monopole superpotentail

ΔWA=W0++W0\displaystyle\Delta W_{A}=W_{0}^{+}+W_{0}^{-} (149)

using the superconformal index. Again the index is computed using the factorization formula in Hwang:2018uyj with the RR-charge fixed by the formula (124). We have computed the indices for several examples, some of which are shown in Table 8, where the operators with negative conformal dimensions are all flipped. We observe the exact agreement of the indices for each dual pair.

n (Nf,Nc,N~c)(N_{f},N_{c},\tilde{N}_{c}) SCI
(2,22,0)(2,22,0) 1+4x3+14x2/3+36x+81x4/3+156x5/3+272x2+428x7/3+628x8/3+O(x17/6)\begin{array}[]{c}1+4\sqrt[3]{x}+14x^{2/3}+36x+81x^{4/3}+156x^{5/3}+272x^{2}\\ +428x^{7/3}+628x^{8/3}+O\left(x^{17/6}\right)\end{array}
(2,21,1)(2,21,1) 1+4x6+11x3+28x+62x2/3+131x5/6+264x+500x7/6+917x4/3+1619x3/2+2771x5/3+4630x11/6+7510x2+11915x13/6+18502x7/3+28116x5/2+41987x8/3+O(x17/6)\begin{array}[]{c}1+4\sqrt[6]{x}+11\sqrt[3]{x}+28\sqrt{x}+62x^{2/3}+131x^{5/6}+264x+500x^{7/6}\\ +917x^{4/3}+1619x^{3/2}+2771x^{5/3}+4630x^{11/6}+7510x^{2}\\ +11915x^{13/6}+18502x^{7/3}+28116x^{5/2}+41987x^{8/3}+O\left(x^{17/6}\right)\end{array}
(2,20,2)(2,20,2) 1+4x6+15x3+40x+105x2/3+239x5/6+535x+1103x7/6+2233x4/3+4284x3/2+8075x5/3+14652x11/6+26146x2+45332x13/6+77380x7/3+129092x5/2+212259x8/3+O(x17/6)\begin{array}[]{c}1+4\sqrt[6]{x}+15\sqrt[3]{x}+40\sqrt{x}+105x^{2/3}+239x^{5/6}+535x+1103x^{7/6}\\ +2233x^{4/3}+4284x^{3/2}+8075x^{5/3}+14652x^{11/6}+26146x^{2}\\ +45332x^{13/6}+77380x^{7/3}+129092x^{5/2}+212259x^{8/3}+O\left(x^{17/6}\right)\end{array}
5 (2,19,3)(2,19,3) 1+4x6+15x3+44x+117x2/3+287x5/6+658x+1439x7/6+3008x4/3+6071x3/2+11870x5/3+22569x11/6+41879x2+75983x13/6+135121x7/3+235897x5/2+404861x8/3+O(x17/6)\begin{array}[]{c}1+4\sqrt[6]{x}+15\sqrt[3]{x}+44\sqrt{x}+117x^{2/3}+287x^{5/6}+658x+1439x^{7/6}\\ +3008x^{4/3}+6071x^{3/2}+11870x^{5/3}+22569x^{11/6}+41879x^{2}\\ +75983x^{13/6}+135121x^{7/3}+235897x^{5/2}+404861x^{8/3}+O\left(x^{17/6}\right)\end{array}
(2,18,4)(2,18,4) 1+4x6+15x3+44x+121x2/3+299x5/6+706x+1567x7/6+3359x4/3+6911x3/2+13829x5/3+26856x11/6+50982x2+94560x13/6+172085x7/3+307324x5/2+540035x8/3+O(x17/6)\begin{array}[]{c}1+4\sqrt[6]{x}+15\sqrt[3]{x}+44\sqrt{x}+121x^{2/3}+299x^{5/6}+706x+1567x^{7/6}\\ +3359x^{4/3}+6911x^{3/2}+13829x^{5/3}+26856x^{11/6}+50982x^{2}\\ +94560x^{13/6}+172085x^{7/3}+307324x^{5/2}+540035x^{8/3}+O\left(x^{17/6}\right)\end{array}
(2,17,5)(2,17,5) 1+4x6+15x3+44x+121x2/3+303x5/6+718x+1615x7/6+3487x4/3+7267x3/2+14684x5/3+28880x11/6+55441x2+104155x13/6+191864x7/3+347173x5/2+617955x8/3+O(x17/6)\begin{array}[]{c}1+4\sqrt[6]{x}+15\sqrt[3]{x}+44\sqrt{x}+121x^{2/3}+303x^{5/6}+718x+1615x^{7/6}\\ +3487x^{4/3}+7267x^{3/2}+14684x^{5/3}+28880x^{11/6}+55441x^{2}\\ +104155x^{13/6}+191864x^{7/3}+347173x^{5/2}+617955x^{8/3}+O\left(x^{17/6}\right)\end{array}
(2,16,6)(2,16,6) 1+4x6+15x3+44x+121x2/3+303x5/6+722x+1627x7/6+3535x4/3+7395x3/2+15040x5/3+29740x11/6+57480x2+108679x13/6+201631x7/3+367444x5/2+659006x8/3+O(x19/6)\begin{array}[]{c}1+4\sqrt[6]{x}+15\sqrt[3]{x}+44\sqrt{x}+121x^{2/3}+303x^{5/6}+722x+1627x^{7/6}\\ +3535x^{4/3}+7395x^{3/2}+15040x^{5/3}+29740x^{11/6}+57480x^{2}\\ +108679x^{13/6}+201631x^{7/3}+367444x^{5/2}+659006x^{8/3}+O\left(x^{19/6}\right)\end{array}
Table 8: The superconformal index results for the double adjoint theories with ΔWA=W0++W0\Delta W_{A}=W_{0}^{+}+W_{0}^{-}. Here we list a few examples with (n,Nf)=(5,2)(n,N_{f})=(5,2), whereas the other results with (n,Nf)=(5,2)(n,N_{f})=(5,2) and those with (n,Nf)=(3,1),(3,2)(n,N_{f})=(3,1),\,(3,2) are given in appendix A. The SU(Nf)t×SU(Nf)uSU(N_{f})_{t}\times SU(N_{f})_{u} flavor fugacities are all omitted for simplicity. The gauge rank of the dual theory is given by N~c=3nNfNc2n+2\tilde{N}_{c}=3nN_{f}-N_{c}-2n+2.

In addition, from the index, we also observe that some chiral ring generators are truncated due to the monopole superpotential (149). Firstly, while the monopole operators Vs,t±V_{s,t}^{\pm} remain massless, the other monopole operators Wu±W_{u}^{\pm} all become massive once the superpotential (149) is turned on:

Wu±\displaystyle W_{u}^{\pm}\quad 0,u=0,,n32.\displaystyle\sim\quad 0\,,\qquad\qquad u=0,\dots,\frac{n-3}{2}\,. (150)

As a result, in generic cases, the moduli space are parametrized by

Q~XsYtQ\displaystyle\tilde{Q}X^{s}Y^{t}Q\quad Ms,t,s=0,,n1,t=0,1,2,\displaystyle\longleftrightarrow\quad M_{s,t}\,,\qquad\quad\;\;s=0,\dots,n-1,\quad t=0,1,2\,, (151)
TrXs\displaystyle\mathrm{Tr}X^{s}\quad TrX^s,s=1,,n,\displaystyle\longleftrightarrow\quad\mathrm{Tr}\hat{X}^{s}\,,\qquad\quad s=1,\dots,n\,, (152)
TrY\displaystyle\mathrm{Tr}Y\quad TrY^,\displaystyle\longleftrightarrow\quad\mathrm{Tr}\hat{Y}\,, (153)
Vs,t±\displaystyle V_{s,t}^{\pm}\quad V^s,t±,s=0,,n,t=0,1,st=0\displaystyle\longleftrightarrow\quad\hat{V}_{s,t}^{\pm}\,,\qquad\qquad s=0,\dots,n,\quad t=0,1,\quad st=0 (154)

where the right hand side shows the corresponding dual operators, which describe the same moduli space. Again, there is the extra truncation of chiral ring generators if the gauge ranks are in a certain range:

Vs,0±0,s=min(Nc,3nNfNc2n+2),,n,V0,t±0,t=min(Nc,3nNfNc2n+2),,1,TrXs0,s=min(Nc+1,3nNfNc2n+3),,n,TrY0,ifmin(Nc,3nNfNc2n+2)=0.\displaystyle\begin{aligned} V_{s,0}^{\pm}\quad&\sim\quad 0\,,\qquad\quad s=\mathrm{min}(N_{c},3nN_{f}-N_{c}-2n+2),\dots,n\,,\\ V_{0,t}^{\pm}\quad&\sim\quad 0\,,\qquad\quad t=\mathrm{min}(N_{c},3nN_{f}-N_{c}-2n+2),\dots,1\,,\\ \mathrm{Tr}X^{s}\quad&\sim\quad 0\,,\qquad\quad s=\mathrm{min}(N_{c}+1,3nN_{f}-N_{c}-2n+3),\dots,n\,,\\ \mathrm{Tr}Y\quad&\sim\quad 0\,,\qquad\quad\text{if}\quad\mathrm{min}(N_{c},3nN_{f}-N_{c}-2n+2)=0\,.\end{aligned} (155)

which happens when min(Nc,3nNfNc2n+2)n\mathrm{min}(N_{c},3nN_{f}-N_{c}-2n+2)\leq n.

To see the truncation of the monopole operators (150), let us consider the case (n,Nf,Nc)=(5,2,14)(n,N_{f},N_{c})=(5,2,14), whose gauge rank and dual rank are large enough to avoid any accidental truncation of the monopole operators. The plethystic log of the index101010The (unrefined) index of the (n,Nf,Nc)=(5,2,14)(n,N_{f},N_{c})=(5,2,14) case is given in appendix A. before turning on the monopole superpotential (149) is given by

(1x2)PL[I]\displaystyle\quad(1-x^{2})\,\mathrm{PL}\left[I\right]
=(𝟐t𝟐uτ2)x16+(1+𝟐t𝟐uτ2)x13+(𝟐t𝟐uτ2)x12+(1+𝟐t𝟐uτ2)x23\displaystyle=\left(\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}\right)x^{\frac{1}{6}}+\left(1+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}\right)x^{\frac{1}{3}}+\left(\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}\right)x^{\frac{1}{2}}+\left(1+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}\right)x^{\frac{2}{3}}
+(1+τ2(w+w1)+𝟐t𝟐uτ2)x56+(τ2(w+w1)+𝟐t𝟐uτ2)x76+(1+𝟐t𝟐uτ2)x43\displaystyle\quad+\left(1+\tau^{-2}\left(w+w^{-1}\right)+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}\right)x^{\frac{5}{6}}+\left(\tau^{-2}\left(w+w^{-1}\right)+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}\right)x^{\frac{7}{6}}+\left(1+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}\right)x^{\frac{4}{3}}
+τ2(w+w1)x32+(1+τ2(w+w1)+𝟐t𝟐uτ2)x53+τ2(w+w1)x116\displaystyle\quad+\tau^{-2}\left(w+w^{-1}\right)x^{\frac{3}{2}}+\left(1+\tau^{-2}\left(w+w^{-1}\right)+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}\right)x^{\frac{5}{3}}+\tau^{-2}\left(w+w^{-1}\right)x^{\frac{11}{6}}
+(2+τ4(w2+w2)𝟑t𝟑u+𝟐t𝟐uτ2+𝟐t𝟐uτ2)x2+(τ2(w+w1)+𝟐t𝟐uτ2)x136\displaystyle\quad+\left(-2+\tau^{-4}\left(w^{2}+w^{-2}\right)-\mathbf{3}_{t}-\mathbf{3}_{u}+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{-2}+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}\right)x^{2}+\left(\tau^{-2}\left(w+w^{-1}\right)+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{-2}\right)x^{\frac{13}{6}}
+(2τ4𝟑t𝟑u+𝟐t𝟐uτ2)x73+τ2(w+w1)x52+\displaystyle\quad+\left(-2-\tau^{4}-\mathbf{3}_{t}-\mathbf{3}_{u}+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{-2}\right)x^{\frac{7}{3}}+\tau^{-2}\left(w+w^{-1}\right)x^{\frac{5}{2}}+
+(2+τ4(w2+w2)τ4𝟑t𝟑u+𝟐t𝟐u(τ2τ6))x83+\displaystyle\quad+\left(-2+\tau^{-4}\left(w^{2}+w^{-2}\right)-\tau^{4}-\mathbf{3}_{t}-\mathbf{3}_{u}+\mathbf{2}_{t}\mathbf{2}_{u}\left(\tau^{-2}-\tau^{6}\right)\right)x^{\frac{8}{3}}+\dots (156)

where we have used the RR-charge ΔQ\Delta_{Q} determined by (124). Again, both sides are multiplied by (1x2)(1-x^{2}) to remove the contribution of descendants derived by the derivative operator. We find the contributions of the monopole operators Vs,t±V_{s,t}^{\pm} for s=0,1,2,3,4,5,t=0,1,st=0s=0,1,2,3,4,5,\,t=0,1,\,st=0:

τ2(w+w1)x5+2s+5t6\displaystyle\tau^{-2}\left(w+w^{-1}\right)x^{\frac{5+2s+5t}{6}} (157)

and those of Wu±W_{u}^{\pm} for u=0,1u=0,1:

τ4(w2+w2)x6+2u3.\displaystyle\tau^{-4}\left(w^{2}+w^{-2}\right)x^{\frac{6+2u}{3}}\,. (158)

Once we turn on the monopole superpotential (149), we have to set τ=w=1\tau=w=1. Then one can see that the contributions of Wu±W_{u}^{\pm} are canceled by

2x6+2u3,\displaystyle-2x^{\frac{6+2u}{3}}\,, (159)

the contributions of fermionic operators

(ψQ)aX2uQa\displaystyle(\psi_{Q}^{\dagger})^{a}X^{2u}Q_{a} (160)

for u=0,1u=0,1, which is consistent with what we expect in (129). On the other hand, the contributions of Vs,t±V_{s,t}^{\pm} remain nontrivial regardless of τ\tau and ww, which also agrees with the expectation.

The second effect of the monopole superpotential (149) is the quantum truncation of the operators Vs,t±V_{s,t}^{\pm}, TrXs\mathrm{Tr}X^{s}, and TrY\mathrm{Tr}Y. Recall that, before turning on the monopole superpotential, Vs,t±(s=0,,n,t=0,1,st=0)V_{s,t}^{\pm}\,(s=0,\dots,n,\,t=0,1,\,st=0), TrXs(s=0,,n)\mathrm{Tr}X^{s}\,(s=0,\dots,n), and TrY\mathrm{Tr}Y are all nontrivial in the chiral ring only when both the original gauge rank and dual gauge rank are large enough. Otherwise, there are either classical or quantum constraints:

Vs,0±0,s=min(Nc,3nNfNc),,n,V0,t±0,t=min(Nc,3nNfNc),,1,TrXs0,s=min(Nc+1,3nNfNc+1),,n,TrY0,ifmin(Nc,3nNfNc)=0.\displaystyle\begin{aligned} V_{s,0}^{\pm}\quad&\sim\quad 0\,,\qquad\quad s=\mathrm{min}(N_{c},3nN_{f}-N_{c}),\dots,n\,,\\ V_{0,t}^{\pm}\quad&\sim\quad 0\,,\qquad\quad t=\mathrm{min}(N_{c},3nN_{f}-N_{c}),\dots,1\,,\\ \mathrm{Tr}X^{s}\quad&\sim\quad 0\,,\qquad\quad s=\mathrm{min}(N_{c}+1,3nN_{f}-N_{c}+1),\dots,n\,,\\ \mathrm{Tr}Y\quad&\sim\quad 0\,,\qquad\quad\text{if}\quad\mathrm{min}(N_{c},3nN_{f}-N_{c})=0\,.\end{aligned} (161)

On the other hand, once we turn on the monopole superpotential (149), the dual gauge rank decreases from 3nNfNc3nN_{f}-N_{c} to 3nNfNc2n+23nN_{f}-N_{c}-2n+2, in which case we expect quantum constraints on Vs,t±V_{s,t}^{\pm} or TrXs\mathrm{Tr}X^{s} as follows:

Vs,0±\displaystyle V_{s,0}^{\pm}\quad 0,s=3nNfNc2n+2,,min(n,Nc1),\displaystyle\sim\quad 0\,,\qquad\quad s=3nN_{f}-N_{c}-2n+2,\dots,\mathrm{min}(n,N_{c}-1)\,, (162)
V0,t±\displaystyle V_{0,t}^{\pm}\quad 0,t=3nNfNc2n+2,,min(1,Nc1),\displaystyle\sim\quad 0\,,\qquad\quad t=3nN_{f}-N_{c}-2n+2,\dots,\min(1,N_{c}-1)\,, (163)
TrXs\displaystyle\mathrm{Tr}X^{s}\quad 0,s=3nNfNc2n+3,,min(n,Nc),\displaystyle\sim\quad 0\,,\qquad\quad s=3nN_{f}-N_{c}-2n+3,\dots,\mathrm{min}(n,N_{c})\,, (164)
TrY\displaystyle\mathrm{Tr}Y\quad 0,if3nNfNc2n+2=0.\displaystyle\sim\quad 0\,,\qquad\quad\text{if}\quad 3nN_{f}-N_{c}-2n+2=0\,. (165)

Therefore, combined with the original constraints in (161), the complete truncation of TrXs\mathrm{Tr}X^{s} and TrY\mathrm{Tr}Y in the presence of the monopole superpotential (149) is given by (155).

Let us discuss some examples. We are going to consider the cases: 16Nc2216\leq N_{c}\leq 22 with (n,Nf)=(5,2)(n,N_{f})=(5,2), whose dual ranks are 6N~c06\geq\tilde{N}_{c}\geq 0 respectively. Firstly, for Nc=16N_{c}=16, the plethystic log of the index is given by

(1x2)PL[INc=16]\displaystyle\quad(1-x^{2})\,\mathrm{PL}\left[I^{N_{c}=16}\right]
=𝟐t𝟐uτ2x16+(1+𝟐t𝟐uτ2)x13+𝟐t𝟐uτ2x12+(1+𝟐t𝟐uτ2)x23\displaystyle=\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}x^{\frac{1}{6}}+\left(1+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}\right)x^{\frac{1}{3}}+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}x^{\frac{1}{2}}+\left(1+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}\right)x^{\frac{2}{3}}
+(1+τ2(w+w1)+𝟐t𝟐uτ2)x56+(1+𝟐t𝟐uτ2)x+τ2(w+w1)x76\displaystyle\quad+\left(1+\tau^{-2}\left(w+w^{-1}\right)+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}\right)x^{\frac{5}{6}}+\left(1+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}\right)x+\tau^{-2}\left(w+w^{-1}\right)x^{\frac{7}{6}}
+(1+𝟐t𝟐uτ2)x43+τ2(w+w1)x32+(1+τ2(w+w1)+𝟐t𝟐uτ2)x53\displaystyle\quad+\left(1+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}\right)x^{\frac{4}{3}}+\tau^{-2}\left(w+w^{-1}\right)x^{\frac{3}{2}}+\left(1+\tau^{-2}\left(w+w^{-1}\right)+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}\right)x^{\frac{5}{3}}
+τ2(w+w1)x116+(2+τ4(w2+w2)𝟑t𝟑u+𝟐t𝟐uτ2)x2\displaystyle\quad+\tau^{-2}\left(w+w^{-1}\right)x^{\frac{11}{6}}+\left(-2+\tau^{-4}\left(w^{2}+w^{-2}\right)-\mathbf{3}_{t}-\mathbf{3}_{u}+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{-2}\right)x^{2}
+(τ2(w+w1)+𝟐t𝟐uτ2)x136+(2τ4τ8𝟑t𝟑u+𝟐t𝟐u(τ2τ6))x73\displaystyle\quad+\left(\tau^{-2}\left(w+w^{-1}\right)+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{-2}\right)x^{\frac{13}{6}}+\left(-2-\tau^{4}-\tau^{8}-\mathbf{3}_{t}-\mathbf{3}_{u}+\mathbf{2}_{t}\mathbf{2}_{u}\left(\tau^{-2}-\tau^{6}\right)\right)x^{\frac{7}{3}}
+(τ2(w+w1)+𝟐t𝟐uτ2)x52+\displaystyle\quad+\left(\tau^{-2}\left(w+w^{-1}\right)+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{-2}\right)x^{\frac{5}{2}}+\dots (166)

where τ\tau and ww have to be 1 if the monopole superpotential is turned on. One can see that the contributions of Vs,0±V_{s,0}^{\pm} and V0,t±V_{0,t}^{\pm} for s=1,,5,t=0,1s=1,\dots,5,\,t=0,1,

τ2(w+w1)x5+2s6,τ2(w+w1)x5(t+1)6,s=1,,5,t=0,1\displaystyle\tau^{-2}\left(w+w^{-1}\right)x^{\frac{5+2s}{6}}\,,\qquad\tau^{-2}\left(w+w^{-1}\right)x^{\frac{5(t+1)}{6}}\,,\qquad\quad s=1,\dots,5,\quad t=0,1 (167)

and those of TrY\mathrm{Tr}Y and TrXs\mathrm{Tr}X^{s} for s=1,,5s=1,\dots,5,

x56,xs3,s=1,,5,\displaystyle x^{\frac{5}{6}}\,,\qquad x^{\frac{s}{3}}\,,\qquad\quad s=1,\dots,5\,, (168)

are all nontrivial regardless of τ\tau and ww. Therefore, those operators are not affected by the monopole superpotential, which is consistent with the fact that the extra quantum truncation happens only when min(Nc,3nNfNc2n+2)n\mathrm{min}(N_{c},3nN_{f}-N_{c}-2n+2)\leq n.

Next, for Nc=17N_{c}=17, the plethystic log of the index is given by

(1x2)PL[INc=17]\displaystyle\quad(1-x^{2})\,\mathrm{PL}\left[I^{N_{c}=17}\right]
=𝟐t𝟐uτ2x16+(1+𝟐t𝟐uτ2)x13+𝟐t𝟐uτ2x12+(1+𝟐t𝟐uτ2)x23\displaystyle=\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}x^{\frac{1}{6}}+\left(1+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}\right)x^{\frac{1}{3}}+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}x^{\frac{1}{2}}+\left(1+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}\right)x^{\frac{2}{3}}
+(1+τ2(w+w1)+𝟐t𝟐uτ2)x56+x+(τ2(w+w1)+𝟐t𝟐uτ2)x76\displaystyle\quad+\left(1+\tau^{-2}\left(w+w^{-1}\right)+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}\right)x^{\frac{5}{6}}+x+\left(\tau^{-2}\left(w+w^{-1}\right)+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}\right)x^{\frac{7}{6}}
+x43+(τ2(w+w1)+𝟐t𝟐uτ2)x32+(1+τ2(w+w1))x53\displaystyle\quad+x^{\frac{4}{3}}+\left(\tau^{-2}\left(w+w^{-1}\right)+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{2}\right)x^{\frac{3}{2}}+\left(1+\tau^{-2}\left(w+w^{-1}\right)\right)x^{\frac{5}{3}}
+τ2(w+w1)x116+(2+τ4(w2+w2)τ8𝟑t𝟑u+𝟐t𝟐uτ2)x2\displaystyle\quad+\tau^{-2}\left(w+w^{-1}\right)x^{\frac{11}{6}}+\left(-2+\tau^{-4}\left(w^{2}+w^{-2}\right)-\tau^{8}-\mathbf{3}_{t}-\mathbf{3}_{u}+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{-2}\right)x^{2}
+(τ2(w+w1)+𝟐t𝟐u(τ2τ6))x136+(2τ4τ8𝟑t𝟑u+𝟐t𝟐uτ2)x73\displaystyle\quad+\left(\tau^{-2}\left(w+w^{-1}\right)+\mathbf{2}_{t}\mathbf{2}_{u}\left(\tau^{-2}-\tau^{6}\right)\right)x^{\frac{13}{6}}+\left(-2-\tau^{4}-\tau^{8}-\mathbf{3}_{t}-\mathbf{3}_{u}+\mathbf{2}_{t}\mathbf{2}_{u}\tau^{-2}\right)x^{\frac{7}{3}}
+((τ2τ6)(w+w1)τ8+𝟐t𝟐u(τ2τ6))x52+\displaystyle\quad+\left(\left(\tau^{-2}-\tau^{6}\right)\left(w+w^{-1}\right)-\tau^{8}+\mathbf{2}_{t}\mathbf{2}_{u}\left(\tau^{-2}-\tau^{6}\right)\right)x^{\frac{5}{2}}+\dots (169)

For τ,w1\tau,w\neq 1, i.e., before turning on the monopole superpotential, one can find the nontrivial contributions (167) and (168) of Vs,t±V_{s,t}^{\pm}, TrY\mathrm{Tr}Y and TrXs\mathrm{Tr}X^{s}, while once we set τ=w=1\tau=w=1, i.e., after turning on the monopole superpotential, the contribution τ2(w+w1)x52\tau^{-2}\left(w+w^{-1}\right)x^{\frac{5}{2}} of V5,0±V_{5,0}^{\pm} is canceled by τ6(w+w1)x52-\tau^{6}\left(w+w^{-1}\right)x^{\frac{5}{2}}. This shows that V5,0±V_{5,0}^{\pm} are quantum mechanically truncated, which is consistent with the fact that its dual operators V^5,0±\hat{V}_{5,0}^{\pm} are classically truncated because the dual gauge rank is 5.

Similarly, for 18Nc2218\leq N_{c}\leq 22, the plethystic log of the indices are given by

(1x2)PL[INc=18]\displaystyle\quad(1-x^{2})\,\mathrm{PL}\left[I^{N_{c}=18}\right]
=𝟐t𝟐ux16+(1+𝟐t𝟐u)x13+𝟐t𝟐ux12+(1+𝟐t𝟐u)x23+(1+w+w1)x56+(1+𝟐t𝟐u)x\displaystyle=\mathbf{2}_{t}\mathbf{2}_{u}x^{\frac{1}{6}}+\left(1+\mathbf{2}_{t}\mathbf{2}_{u}\right)x^{\frac{1}{3}}+\mathbf{2}_{t}\mathbf{2}_{u}x^{\frac{1}{2}}+\left(1+\mathbf{2}_{t}\mathbf{2}_{u}\right)x^{\frac{2}{3}}+\left(1+w+w^{-1}\right)x^{\frac{5}{6}}+\left(1+\mathbf{2}_{t}\mathbf{2}_{u}\right)x
+(w+w1)x76+(1+𝟐t𝟐u)x43+(w+w1)x32+(w+w1)x53+(w+w1)x116\displaystyle\quad+\left(w+w^{-1}\right)x^{\frac{7}{6}}+\left(1+\mathbf{2}_{t}\mathbf{2}_{u}\right)x^{\frac{4}{3}}+\left(w+w^{-1}\right)x^{\frac{3}{2}}+\left(w+w^{-1}\right)x^{\frac{5}{3}}+\left(w+w^{-1}\right)x^{\frac{11}{6}}
+(3+w2+w2𝟑t𝟑u)x2+(1+𝟐t𝟐u)x136+(4𝟑t𝟑u)x73\displaystyle\quad+\left(-3+w^{2}+w^{-2}-\mathbf{3}_{t}-\mathbf{3}_{u}\right)x^{2}+\left(-1+\mathbf{2}_{t}\mathbf{2}_{u}\right)x^{\frac{13}{6}}+\left(-4-\mathbf{3}_{t}-\mathbf{3}_{u}\right)x^{\frac{7}{3}}
𝟐t𝟐u(w+w1)x52+,\displaystyle\quad-\mathbf{2}_{t}\mathbf{2}_{u}\left(w+w^{-1}\right)x^{\frac{5}{2}}+\dots\,, (170)
(1x2)PL[INc=19]\displaystyle\quad(1-x^{2})\,\mathrm{PL}\left[I^{N_{c}=19}\right]
=𝟐t𝟐ux16+(1+𝟐t𝟐u)x13+𝟐t𝟐ux12+x23+(1+w+w1+𝟐t𝟐u)x56+x\displaystyle=\mathbf{2}_{t}\mathbf{2}_{u}x^{\frac{1}{6}}+\left(1+\mathbf{2}_{t}\mathbf{2}_{u}\right)x^{\frac{1}{3}}+\mathbf{2}_{t}\mathbf{2}_{u}x^{\frac{1}{2}}+x^{\frac{2}{3}}+\left(1+w+w^{-1}+\mathbf{2}_{t}\mathbf{2}_{u}\right)x^{\frac{5}{6}}+x
+(w+w1+𝟐t𝟐u)x76+(w+w1)x32+(w+w1)x53(1+𝟐t𝟐u)x116\displaystyle\quad+\left(w+w^{-1}+\mathbf{2}_{t}\mathbf{2}_{u}\right)x^{\frac{7}{6}}+\left(w+w^{-1}\right)x^{\frac{3}{2}}+\left(w+w^{-1}\right)x^{\frac{5}{3}}-\left(1+\mathbf{2}_{t}\mathbf{2}_{u}\right)x^{\frac{11}{6}}
+(3+w2+w2𝟑t𝟑u+𝟐t𝟐u)x2+(6(1+𝟐t𝟐u)(w+w1)𝟑t𝟑u)x73\displaystyle\quad+\left(-3+w^{2}+w^{-2}-\mathbf{3}_{t}-\mathbf{3}_{u}+\mathbf{2}_{t}\mathbf{2}_{u}\right)x^{2}+\left(-6-\left(1+\mathbf{2}_{t}\mathbf{2}_{u}\right)\left(w+w^{-1}\right)-\mathbf{3}_{t}-\mathbf{3}_{u}\right)x^{\frac{7}{3}}
+,\displaystyle\quad+\dots\,, (171)
(1x2)PL[INc=20]\displaystyle\quad(1-x^{2})\,\mathrm{PL}\left[I^{N_{c}=20}\right]
=𝟐t𝟐ux16+(1+𝟐t𝟐u)x13+(1+𝟐t𝟐u)x23+(1+w+w1)x56+𝟐t𝟐ux+(w+w1)x76\displaystyle=\mathbf{2}_{t}\mathbf{2}_{u}x^{\frac{1}{6}}+\left(1+\mathbf{2}_{t}\mathbf{2}_{u}\right)x^{\frac{1}{3}}+\left(1+\mathbf{2}_{t}\mathbf{2}_{u}\right)x^{\frac{2}{3}}+\left(1+w+w^{-1}\right)x^{\frac{5}{6}}+\mathbf{2}_{t}\mathbf{2}_{u}x+\left(w+w^{-1}\right)x^{\frac{7}{6}}
x32+(w+w1𝟐t𝟐u)x53+(5+w2+w2ww1𝟑t𝟑u)x2\displaystyle\quad-x^{\frac{3}{2}}+\left(w+w^{-1}-\mathbf{2}_{t}\mathbf{2}_{u}\right)x^{\frac{5}{3}}+\left(-5+w^{2}+w^{-2}-w-w^{-1}-\mathbf{3}_{t}-\mathbf{3}_{u}\right)x^{2}
𝟐t𝟐u(w+w1)x136+(5w2w2ww1𝟑t𝟑u)x73\displaystyle\quad-\mathbf{2}_{t}\mathbf{2}_{u}\left(w+w^{-1}\right)x^{\frac{13}{6}}+\left(-5-w^{2}-w^{-2}-w-w^{-1}-\mathbf{3}_{t}-\mathbf{3}_{u}\right)x^{\frac{7}{3}}
+(2(1+𝟐t𝟐u)(w+w1)𝟐t𝟐u)x52+,\displaystyle\quad+\left(-2-\left(1+\mathbf{2}_{t}\mathbf{2}_{u}\right)\left(w+w^{-1}\right)-\mathbf{2}_{t}\mathbf{2}_{u}\right)x^{\frac{5}{2}}+\dots\,, (172)
(1x2)PL[INc=21]\displaystyle\quad(1-x^{2})\,\mathrm{PL}\left[I^{N_{c}=21}\right]
=𝟐t𝟐ux16+x13+𝟐t𝟐ux12+(1+w+w1+𝟐t𝟐u)x56x76𝟐t𝟐ux322x53𝟐t𝟐ux116\displaystyle=\mathbf{2}_{t}\mathbf{2}_{u}x^{\frac{1}{6}}+x^{\frac{1}{3}}+\mathbf{2}_{t}\mathbf{2}_{u}x^{\frac{1}{2}}+\left(1+w+w^{-1}+\mathbf{2}_{t}\mathbf{2}_{u}\right)x^{\frac{5}{6}}-x^{\frac{7}{6}}-\mathbf{2}_{t}\mathbf{2}_{u}x^{\frac{3}{2}}-2x^{\frac{5}{3}}-\mathbf{2}_{t}\mathbf{2}_{u}x^{\frac{11}{6}}
+(2𝟐t𝟐u(w+w1)𝟑t𝟑u)x2x73+,\displaystyle\quad+\left(-2-\mathbf{2}_{t}\mathbf{2}_{u}\left(w+w^{-1}\right)-\mathbf{3}_{t}-\mathbf{3}_{u}\right)x^{2}-x^{\frac{7}{3}}+\dots\,, (173)
(1x2)PL[INc=22]=𝟐t𝟐ux13+𝟐t𝟐ux23𝟐t𝟐ux43𝟐t𝟐ux53,\displaystyle\quad(1-x^{2})\,\mathrm{PL}\left[I^{N_{c}=22}\right]=\mathbf{2}_{t}\mathbf{2}_{u}x^{\frac{1}{3}}+\mathbf{2}_{t}\mathbf{2}_{u}x^{\frac{2}{3}}-\mathbf{2}_{t}\mathbf{2}_{u}x^{\frac{4}{3}}-\mathbf{2}_{t}\mathbf{2}_{u}x^{\frac{5}{3}}\,, (174)

where we set τ=1\tau=1 for simplicity. One can see that the contributions of TrXs\mathrm{Tr}X^{s} and TrY\mathrm{Tr}Y appearing in the above indices satisfy the condition (155). In addition, once we set w=1w=1, the contributions of Vs,t±V_{s,t}^{\pm} also satisfy the condition (155).

4 The FF-maximization with W=TrX3W=\mathrm{Tr}X^{3} and the symmetry enhancement

Note that our duality assumes the monopole superpotential is relevant, or at least there is a sequence of RG-flows reaching the expected monopole-deformed fixed point in the IR.111111We will elaborate what we mean by this in section 5.2. Such relevance of monopole superpotential should be independently checked using, e.g., the FF-maximization Jafferis:2010un , which determines the superconformal RR-charges, and hence the conformal dimensions, of the chiral fields in the IR. An operator having an IR dimension less than two would then trigger an RG flow to a new IR fixed point.

In this section, we examine some explicit examples of the monopole-deformed adjoint SQCD discussed in section 2 with relevant monopole superpotentials. Specifically, we consider U(2)U(2) theories with Nf=3, 4N_{f}=3,\,4 and WA=TrX3W_{A}=\mathrm{Tr}X^{3}. Since this cubic superpotential of the adjoint field XX is relevant, we fix ΔX=2/3\Delta_{X}=2/3 and perform the FF-maximization to determine the RR-charge ΔQ\Delta_{Q} of the fundamental field QQ and those the monopole operators V0±,V1±V_{0}^{\pm},\,V_{1}^{\pm}, which are given in terms of ΔQ\Delta_{Q} as follows:

ΔV0\displaystyle\Delta_{V_{0}} =Nf(1ΔQ)23,\displaystyle=N_{f}(1-\Delta_{Q})-\frac{2}{3}\,, (175)
ΔV1\displaystyle\Delta_{V_{1}} =Nf(1ΔQ),\displaystyle=N_{f}(1-\Delta_{Q})\,, (176)

respectively. One can carry out similar analysis for other values of NcN_{c} and NfN_{f}, which we don’t do here due to computational simplicity.

The result of the FF-maximization is summarized in Table 9.

ΔQ\Delta_{Q} ΔV0\Delta_{V_{0}} ΔV1\Delta_{V_{1}}
Nf=3N_{f}=3 0.36730.3673 1.2311.231 1.8981.898
Nf=4N_{f}=4 0.40050.4005 1.7311.731 2.3982.398
Table 9: The RR-charges determined by the FF-maximization for U(2)U(2) theories with W=TrX3W=\mathrm{Tr}X^{3}.

For Nf=3N_{f}=3, both V0±V_{0}^{\pm} and V1±V_{1}^{\pm} are relevant operators because their dimensions are less than 2. For example, we can turn on

ΔWA=V1++V1,\displaystyle\Delta W_{A}=V_{1}^{+}+V_{1}^{-}\,, (177)

which triggers an RG flow to a new IR fixed point having another dual UV description, the U(2)U(2) theory with extra matrix fields M0,M1M_{0},\,M_{1} and the superpotential

WBmon=TrX3+M1q~q+M0q~X^q+V^1++V^1\displaystyle W_{B}^{mon}=\mathrm{Tr}X^{3}+M_{1}\tilde{q}q+M_{0}\tilde{q}\hat{X}q+\hat{V}_{1}^{+}+\hat{V}_{1}^{-} (178)

where the contracted gauge and flavor indices are omitted for simplicity. As seen in (37), the monopole superpotential ΔWA=V1++V1\Delta W_{A}=V_{1}^{+}+V_{1}^{-} fixes the RR-charge of the fundamental field QQ to ΔQ=1/3\Delta_{Q}=1/3 so that ΔV1\Delta_{V_{1}} becomes two.

We can compute the superconformal index with this value of ΔQ\Delta_{Q}, which is given by

I\displaystyle I =1+(𝟑t𝟑u+1)x23+(𝟔t𝟔u+2 3t𝟑u+𝟑¯t𝟑¯u+3)x43\displaystyle=1+\left(\mathbf{3}_{t}\mathbf{3}_{u}+1\right)x^{\frac{2}{3}}+\left(\mathbf{6}_{t}\mathbf{6}_{u}+2\,\mathbf{3}_{t}\mathbf{3}_{u}+\overline{\mathbf{3}}_{t}\overline{\mathbf{3}}_{u}+3\right)x^{\frac{4}{3}}
+(𝟏𝟎t𝟏𝟎u+𝟖t𝟖u+2 6t𝟔u+𝟔t𝟑¯u+𝟑¯t𝟔u+3 3t𝟑u+𝟑¯t𝟑¯u+2𝟖t𝟖u)x2+\displaystyle\quad+\left(\mathbf{10}_{t}\mathbf{10}_{u}+\mathbf{8}_{t}\mathbf{8}_{u}+2\,\mathbf{6}_{t}\mathbf{6}_{u}+\mathbf{6}_{t}\overline{\mathbf{3}}_{u}+\overline{\mathbf{3}}_{t}\mathbf{6}_{u}+3\,\mathbf{3}_{t}\mathbf{3}_{u}+\overline{\mathbf{3}}_{t}\overline{\mathbf{3}}_{u}+2-\mathbf{8}_{t}-\mathbf{8}_{u}\right)x^{2}+\dots (179)

where 𝐧t\mathbf{n}_{t} is the character of the representation 𝐧\mathbf{n} of the SU(3)tSU(3)_{t} global symmetry, and 𝐧u\mathbf{n}_{u} is that of SU(3)uSU(3)_{u}. Note that U(1)A×U(1)TU(1)_{A}\times U(1)_{T} is broken by the monopole superpotential. We observe negative terms of order x2x^{2}, which are the contributions of the current multiplet Razamat:2016gzx . In this case, it is in the adjoint representation (𝟖,𝟖)(\mathbf{8},\mathbf{8}) of SU(3)t×SU(3)uSU(3)_{t}\times SU(3)_{u}, as expected.

Furthermore, we have also computed the index of the dual theory, giving exactly the same index, which is strong evidence of the proposed duality. Thus, we expect that the monopole superpotential (177) indeed leads to a new fixed point in the IR, to which both Theory A and Theory B flow.

On the other hand, for Nf=4N_{f}=4, only V0±V_{0}^{\pm} are relevant operators, while V1±V_{1}^{\pm} are not. Thus, we can now turn on ΔWA=V0++V0\Delta W_{A}=V_{0}^{+}+V_{0}^{-}, leading to the following superpotential of Theory A:

WAmon=TrX3+V0++V0.\displaystyle W_{A}^{mon}=\mathrm{Tr}X^{3}+V_{0}^{+}+V_{0}^{-}\,. (180)

The conjectured dual theory is the same U(2)U(2) theory with extra matrix fields M0,M1M_{0},\,M_{1} and the superpotential

WBmon=TrX^3+M1q~q+M0q~X^q+V^0++V^0.\displaystyle W_{B}^{mon}=\mathrm{Tr}\hat{X}^{3}+M_{1}\tilde{q}q+M_{0}\tilde{q}\hat{X}q+\hat{V}_{0}^{+}+\hat{V}_{0}^{-}\,. (181)

The monopole terms in the superpotential fix the RR-charge of the fundamental field QQ to ΔQ=1/3\Delta_{Q}=1/3, with which we can compute the superconformal index at the monopole-deformed fixed point as follow:

I\displaystyle I =1+(𝟒t𝟒u+1)x23+(𝟏𝟎t𝟏𝟎u+𝟔t𝟔u+2 4t𝟒u+1)x43\displaystyle=1+\left(\mathbf{4}_{t}\mathbf{4}_{u}+1\right)x^{\frac{2}{3}}+\left(\mathbf{10}_{t}\mathbf{10}_{u}+\mathbf{6}_{t}\mathbf{6}_{u}+2\,\mathbf{4}_{t}\mathbf{4}_{u}+1\right)x^{\frac{4}{3}}
+(𝟐𝟎t𝟐𝟎u+𝟐𝟎t𝟐𝟎u+2 10t𝟏𝟎u+𝟏𝟎t𝟔u+𝟔t𝟏𝟎u+𝟔t𝟔u+𝟒t𝟒u𝟏𝟓t𝟏𝟓u)x2+.\displaystyle\quad+\left(\mathbf{20}_{t}\mathbf{20}_{u}+\mathbf{20}^{\prime}_{t}\mathbf{20}^{\prime}_{u}+2\,\mathbf{10}_{t}\mathbf{10}_{u}+\mathbf{10}_{t}\mathbf{6}_{u}+\mathbf{6}_{t}\mathbf{10}_{u}+\mathbf{6}_{t}\mathbf{6}_{u}+\mathbf{4}_{t}\mathbf{4}_{u}-\mathbf{15}_{t}-\mathbf{15}_{u}\right)x^{2}+\dots\,. (182)

The contribution of the conserved current multiplet is given by the negative contribution of order x2x^{2}, which is (𝟏𝟓t+𝟏𝟓u)x2-\left(\mathbf{15}_{t}+\mathbf{15}_{u}\right)x^{2} in this case. This shows that the theory preserves the global symmetry

SU(4)t×SU(4)u\displaystyle SU(4)_{t}\times SU(4)_{u} (183)

without any abelian symmetries as expected because they are broken by the monopole superpotential. We have also computed the index of the dual theory, which gives exactly the same index.

Note that those examples are almost self-dual because Theory A and Theory B are identical up to extra gauge singlets flipping the meson operators in Theory B. Interestingly, one can make those dual pairs exactly self-dual by re-flipping part of those extra singlets in Theory B, and equivalently, flipping part of the mesons in Theory A. In general, such self-duality implies an emergent 2\mathbb{Z}_{2} symmetry of the theory in the IR. If the theory enjoys more self-dualities, more emergent discrete symmetries would appear. Surprisingly, such emergent discrete symmetries sometimes lead to the enhancement of the continuous global symmetry Razamat:2017hda ; Razamat:2018gbu ; Hwang:2020ddr , whose Weyl group is constructed from that of the manifest symmetry and the emergent discrete symmetries induced by the self-dualities.

We will see that the U(2)U(2) theory with Nf=4N_{f}=4 examined above is one such example. Using the superconformal index, we will show that the SU(4)t×SU(4)uSU(4)_{t}\times SU(4)_{u} UV symmetry of this theory is enhanced to SO(12)SO(12) in the IR if we flip part of its mesons. This example is closely related to a model proposed in Amariti:2018wht ; Benvenuti:2018bav , where a similar adjoint QCD was discussed but without the cubic superpotential for the adjoint field XX.121212This 3d model can be obtained from a 4d USp(2N)USp(2N) theory with one antisymmetric and eight fundamental chirals. With even NN and some extra gauge singlets, this 4d model exhibits the enhanced E7×U(1)E_{7}\times U(1) global symmetry in the IR Razamat:2017hda . This model without the cubic superpotential was shown to have the Sb3S^{3}_{b} partition function invariant under the discrete symmetries belonging to the SO(12)SO(12) Weyl group Bult , which strongly signals that the model has the enhanced SO(12)SO(12) symmetry in the IR. We will also prove this claim by computing its superconformal index.

As explained, one can make the duality exactly self-dual by flipping part of the extra singlets in Theory B, either M0M_{0} or M1M_{1} in this case, which corresponds to Q~Q\tilde{Q}Q or Q~XQ\tilde{Q}XQ in Theory A, respectively. Here we choose to flip Q~Q\tilde{Q}Q in Theory A, and accordingly M0M_{0} in Theory B. Thus, we introduce new gauge singlets m1m_{1} in the representation (𝟒¯,𝟒¯)(\overline{\mathbf{4}},\overline{\mathbf{4}}) of SU(4)t×SU(4)uSU(4)_{t}\times SU(4)_{u} and an extra superpotential interaction

ΔWA=m1Q~Q,\displaystyle\Delta W_{A}=m_{1}\tilde{Q}Q\,, (184)

which leads to the total superpotential

WAself-dual=TrX3+m1Q~Q+V0++V0.\displaystyle W_{A}^{\text{self-dual}}=\mathrm{Tr}X^{3}+m_{1}\tilde{Q}Q+V_{0}^{+}+V_{0}^{-}\,. (185)

On the dual side, the extra superpotential corresponds to

ΔWB=m1M0.\displaystyle\Delta W_{B}=m_{1}M_{0}\,. (186)

Once we solve the F-term equations for m1m_{1} and M0M_{0}, M0M_{0} becomes massive, and m1m_{1} is identified with q~X^q\tilde{q}\hat{X}q. The resulting superpotential of the dual theory is given by

WBself-dual=TrX^3+M1q~q+V^0++V^0.\displaystyle W_{B}^{\text{self-dual}}=\mathrm{Tr}\hat{X}^{3}+M_{1}\tilde{q}q+\hat{V}_{0}^{+}+\hat{V}_{0}^{-}\,. (187)

This is exactly the same as the superpotential (185), while the duality still nontrivially maps the meson operators as follows:

Q~XQ\displaystyle\tilde{Q}XQ\quad M1,\displaystyle\longleftrightarrow\quad M_{1}\,, (188)
m1\displaystyle m_{1}\quad q~X^q.\displaystyle\longleftrightarrow\quad\tilde{q}\hat{X}q\,. (189)

In other words, this is a self-duality of the theory exchanging two chiral ring generators:

Q~XQ\displaystyle\tilde{Q}XQ\quad m1.\displaystyle\longleftrightarrow\quad m_{1}\,. (190)

Now we compute the index of the self-dual theory after the flipping. The corresponding index is given by

Iself-dual=1+x23+(𝟒t𝟒u+𝟒¯t𝟒¯u+1)x43(𝟏𝟓t+𝟏𝟓u+𝟔t𝟔u)x2+.\displaystyle I^{\text{self-dual}}=1+x^{\frac{2}{3}}+\left(\mathbf{4}_{t}\mathbf{4}_{u}+\overline{\mathbf{4}}_{t}\overline{\mathbf{4}}_{u}+1\right)x^{\frac{4}{3}}-\left(\mathbf{15}_{t}+\mathbf{15}_{u}+\mathbf{6}_{t}\mathbf{6}_{u}\right)x^{2}+\dots\,. (191)

Note that the negative x2x^{2} terms, which are supposed to capture the conserved currents, fit the adjoint representation 𝟔𝟔\mathbf{66} of SO(12)SO(12) because 𝟔𝟔\mathbf{66} is decomposed under SU(4)×SU(4)SO(12)SU(4)\times SU(4)\subset SO(12) as follows:

𝟔𝟔(𝟏𝟓,𝟏)(𝟏,𝟏𝟓)(𝟔,𝟔).\displaystyle\mathbf{66}\quad\longrightarrow\quad(\mathbf{15},\mathbf{1})\oplus(\mathbf{1},\mathbf{15})\oplus(\mathbf{6},\mathbf{6})\,. (192)

Similarly, 𝟑𝟐\mathbf{32} of SO(12)SO(12) is decomposed as

𝟑𝟐(𝟒,𝟒)(𝟒¯,𝟒¯).\displaystyle\mathbf{32}\quad\longrightarrow\quad(\mathbf{4},\mathbf{4})\oplus(\overline{\mathbf{4}},\overline{\mathbf{4}})\,. (193)

Therefore, the expanded index can be written in terms of the SO(12)SO(12) characters as follows:

Iself-dual=1+x23+(𝟑𝟐t,u+1)x43𝟔𝟔t,ux2+,\displaystyle I^{\text{self-dual}}=1+x^{\frac{2}{3}}+\left(\mathbf{32}_{t,u}+1\right)x^{\frac{4}{3}}-\mathbf{66}_{t,u}\,x^{2}+\dots\,, (194)

where 𝐧t,u\mathbf{n}_{t,u} is the character of the SO(12)SO(12) representation 𝐧\mathbf{n} written in terms of the SU(4)t×SU(4)uSU(4)_{t}\times SU(4)_{u} fugacities t,ut,\,u. This shows that the theory exhibits the following enhancement of the symmetry in the IR:

SU(4)t×SU(4)uSO(12).\displaystyle SU(4)_{t}\times SU(4)_{u}\quad\longrightarrow\quad SO(12)\,. (195)

Notice that this theory is the same as the U(N)U(N) adjoint SQCD with four flavors discussed in Amariti:2018wht ; Benvenuti:2018bav up to the cubic superpotential for the adjoint field XX. This model without the cubic superpotential was shown to have the Sb3S^{3}_{b} partition function invariant under the SO(12)SO(12) Weyl group actions Bult . To see the connection between the two models, let us introduce an extra singlet x1x_{1} with a superpotential term flipping the operator TrX\mathrm{Tr}X:

ΔW=x1TrX.\displaystyle\Delta W^{\prime}=x_{1}\,\mathrm{Tr}X\,. (196)

Note that such a flip of TrX\mathrm{Tr}X does not spoil the self-duality. The total superpotential is now written as

Wself-dual=TrX3+x1TrX+m1Q~Q+V0++V0.\displaystyle W^{\text{self-dual}^{\prime}}=\mathrm{Tr}X^{3}+x_{1}\,\mathrm{Tr}X+m_{1}\tilde{Q}Q+V_{0}^{+}+V_{0}^{-}\,. (197)

One can compute the corresponding index, which is naively given by

Iself-dual=1+(𝟒t𝟒u+𝟒¯t𝟒¯u+1)x43(𝟏𝟓t+𝟏𝟓u+𝟔t𝟔u+𝟒t𝟒u+𝟒¯t𝟒¯u+1)x2+.\displaystyle I^{\text{self-dual}^{\prime}}=1+\left(\mathbf{4}_{t}\mathbf{4}_{u}+\overline{\mathbf{4}}_{t}\overline{\mathbf{4}}_{u}+1\right)x^{\frac{4}{3}}-\left(\mathbf{15}_{t}+\mathbf{15}_{u}+\mathbf{6}_{t}\mathbf{6}_{u}+\mathbf{4}_{t}\mathbf{4}_{u}+\overline{\mathbf{4}}_{t}\overline{\mathbf{4}}_{u}+1\right)x^{2}+\dots\,. (198)

However, the negative x2x^{2} terms capturing the conserved current do not fit the adjoint representation of any Lie group, which is inconsistent. It turns out this is because we are missing some abelian symmetries whose contribution to the superconformal RR-symmetry in the IR is nontrivial. To find such abelian symmetries, let us reexamine the superpotential (197). We note that the first term can actually be written as

TrX3(TrX)(TrX2)+(TrX)3\displaystyle\mathrm{Tr}X^{3}\sim\left(\mathrm{Tr}X\right)\left(\mathrm{Tr}X^{2}\right)+(\mathrm{Tr}X)^{3} (199)

up to suitable coefficients because XX, an adjoint field of the U(2)U(2) gauge group, is a 2×22\times 2 matrix field. According to Benvenuti:2017lle , those two terms do not satisfy the condition called the chiral ring stability, because the F-term equation of x1x_{1} set them zero, and has to be dropped. Once we drop those terms, we have an extra U(1)XU(1)_{X} symmetry, which rotates the adjoint field XX. More precisely, now the monopole operators are also charged under such U(1)XU(1)_{X} with charge Nc+1=1-N_{c}+1=-1, and the monopole superpotential terms in (197) break U(1)A×U(1)T×U(1)XU(1)_{A}\times U(1)_{T}\times U(1)_{X} into a single U(1)vU(1)_{v} symmetry in such a way that the monopole operators V0±V_{0}^{\pm} are neutral under U(1)vU(1)_{v}. Since V0±V_{0}^{\pm} are U(1)vU(1)_{v} neutral, their RR-charges are independent of the mixing between the RR-symmetry and U(1)vU(1)_{v}, which requires that the RR-charges of XX and QQ must satisfy

ΔX=24ΔQ\displaystyle\Delta_{X}=2-4\Delta_{Q} (200)

to ensure the RR-charge of V0±V_{0}^{\pm}: ΔV0=44ΔQΔX\Delta_{V_{0}}=4-4\Delta_{Q}-\Delta_{X} to be always two. With this condition, we conduct the FF-maximization allowing the mixing between the RR-symmetry and U(1)vU(1)_{v}, which results in the following RR-charge of XX:

ΔX0.1323.\displaystyle\Delta_{X}\approx 0.1323\,. (201)

This indicates that the dimension of the operator TrX2\mathrm{Tr}X^{2} also falls below the unitarity bound Δ1/2\Delta\geq 1/2 and decouples from the interacting sector. Hence, we need to flip TrX2\mathrm{Tr}X^{2} by another singlet x2x_{2}, which results in the U(2)U(2) adjoint SQCD with four flavors and the superpotential

Wself-dual′′=x1TrX+x2TrX2+m1Q~Q+V0++V0.\displaystyle W^{\text{self-dual}^{\prime\prime}}=x_{1}\mathrm{Tr}X+x_{2}\,\mathrm{Tr}X^{2}+m_{1}\tilde{Q}Q+V_{0}^{+}+V_{0}^{-}\,. (202)

This model is identical to the one discussed in Amariti:2018wht ; Benvenuti:2018bav up to the flip of TrXi\mathrm{Tr}X^{i}. The RR-charges obtained from the FF-maximization are

ΔQ=0.625,ΔX=0.5,\displaystyle\Delta_{Q}=0.625\,,\qquad\Delta_{X}=-0.5\,, (203)

with which no more operators hit the unitarity bound. Using those RR-charges, we obtain the index

Iself-dual′′=1+𝟑𝟐t,uvx34+𝟒𝟔𝟐t,uvx32(𝟔𝟔t,u+1)x2+,\displaystyle I^{\text{self-dual}^{\prime\prime}}=1+\mathbf{32}_{t,u}\sqrt{v}x^{\frac{3}{4}}+\mathbf{462}_{t,u}vx^{\frac{3}{2}}-\left(\mathbf{66}_{t,u}+1\right)x^{2}+\dots\,, (204)

where vv is the fugacity of U(1)vU(1)_{v} normalized such that the adjoint field XX has charge 1. The fugacities tt and uu of the manifest SU(4)t×SU(4)uSU(4)_{t}\times SU(4)_{u} symmetry are neatly organized into the characters of SO(12)SO(12) representations, which are decomposed under SU(4)t×SU(4)uSO(12)SU(4)_{t}\times SU(4)_{u}\subset SO(12) as follows:

𝟑𝟐\displaystyle\mathbf{32} =(𝟒,𝟒)+(𝟒¯,𝟒¯),\displaystyle=(\mathbf{4},\mathbf{4})+(\overline{\mathbf{4}},\overline{\mathbf{4}})\,, (205)
𝟔𝟔\displaystyle\mathbf{66} =(𝟔,𝟔)+(𝟏𝟓,𝟏)+(𝟏,𝟏𝟓),\displaystyle=(\mathbf{6},\mathbf{6})+(\mathbf{15},\mathbf{1})+(\mathbf{1},\mathbf{15})\,, (206)
𝟒𝟔𝟐\displaystyle\mathbf{462} =(𝟏,𝟏)+(𝟔,𝟔)+(𝟏𝟎,𝟏𝟎)+(𝟏𝟎¯,𝟏𝟎¯)+(𝟏𝟓,𝟏𝟓).\displaystyle=(\mathbf{1},\mathbf{1})+(\mathbf{6},\mathbf{6})+(\mathbf{10},\mathbf{10})+(\overline{\mathbf{10}},\overline{\mathbf{10}})+(\mathbf{15},\mathbf{15})\,. (207)

In particular, the contribution of the conserved currents, (𝟔𝟔t,u+1)x2-\left(\mathbf{66}_{t,u}+1\right)x^{2}, is in the adjoint representation of SO(12)×U(1)vSO(12)\times U(1)_{v}. This proves that the model with the superpotential (202) exhibits the following enhancement of the symmetry in the IR:

SU(4)t×SU(4)u×U(1)vSO(12)×U(1)v.\displaystyle SU(4)_{t}\times SU(4)_{u}\times U(1)_{v}\quad\longrightarrow\quad SO(12)\times U(1)_{v}\,. (208)

Note that this model has an additional U(1)vU(1)_{v} symmetry compared to the previous model with the superpotential (185).

5 Discussions

5.1 Summary of the dualities

In this paper, we have examined the monopole deformation of the 3d 𝒩=2\mathcal{N}=2 U(N)U(N) gauge theories with adjoint matters and fundamental flavors and their new Seiberg-like dualities. The first duality we propose is for the U(N)U(N) gauge theory with one adjoint matter deformed by a linear monopole superpotential. We have proposed that the following pair of theories are dual to each other.

  • Theory A is the 3d 𝒩=2\mathcal{N}=2 U(Nc)U(N_{c}) gauge theory with NfN_{f} pairs of fundamental QaQ^{a} and anti-fundamental Q~a~\tilde{Q}^{\tilde{a}}, one adjoint chiral multiplet XX and the superpotential

    WAmon=TrXn+1+Vα++Vα.\displaystyle W_{A}^{mon}=\mathrm{Tr}X^{n+1}+V_{\alpha}^{+}+V_{\alpha}^{-}\,. (209)

    where Vα±V_{\alpha}^{\pm} are monopole operators of Theory A.

  • Theory B is the 3d 𝒩=2\mathcal{N}=2 U(nNfNc2n+2α)U(nN_{f}-N_{c}-2n+2\alpha) gauge theory with NfN_{f} pairs of fundamental qa~q_{\tilde{a}} and anti-fundemental q~a\tilde{q}_{a}, one adjoint X^\hat{X}, and nNf+22nnN_{f}{}^{2}+2n gauge singlet chiral multiplets Mia~a{M_{i}}^{\tilde{a}a} and Vi±V_{i}^{\pm} for a,a~=1,,Nfa,\tilde{a}=1,\dots,N_{f} and i=0,,n1i=0,\ldots,n-1. The superpotential is given by

    WBmon=TrX^n+1+i=0n1Miq~X^n1iq+V^α++V^α.\displaystyle W_{B}^{mon}=\mathrm{Tr}\hat{X}^{n+1}+\sum_{i=0}^{n-1}M_{i}\tilde{q}\hat{X}^{n-1-i}q+\hat{V}_{\alpha}^{+}+\hat{V}_{\alpha}^{-}\,. (210)

    where V^α±\hat{V}_{\alpha}^{\pm} are the monopole operators of Theory B.

The second and third dualities we propose are for the U(N)U(N) theory with two adjoint matters. The theory with two adjoint matters has two types of monopole operators, which we call Vs,t±V_{s,t}^{\pm} and Wu±W_{u}^{\pm}. Thus, we have considered two monopole dualities including V0,0±V_{0,0}^{\pm} and W0±W_{0}^{\pm} in the superpotential, respectively. For the deformation by V0,0±V_{0,0}^{\pm}, two dual theories are as follows.

  • Theory A is the 3d 𝒩=2\mathcal{N}=2 U(Nc)U(N_{c}) gauge theory with NfN_{f} pairs of fundamental fields QaQ^{a} and anti-fundamental fields Q~a~\tilde{Q}^{\tilde{a}}, two adjoint fields X,YX,\,Y and the superpotential

    WAmon=TrXn+1+TrXY2+V0,0++V0,0\displaystyle W_{A}^{mon}=\mathrm{Tr}X^{n+1}+\mathrm{Tr}XY^{2}+V_{0,0}^{+}+V_{0,0}^{-} (211)

    where V0,0±V_{0,0}^{\pm} are a pair of monopole operators of Theory A with topological symmetry charge ±1\pm 1.

  • Theory B is the 3d 𝒩=2\mathcal{N}=2 U(3nNfNc4n2)U(3nN_{f}-N_{c}-4n-2) gauge theory with NfN_{f} pairs of fundamental fields qa~q_{\tilde{a}} and anti-fundemental fields q~a\tilde{q}_{a}, two adjoint fields X^,Y^\hat{X},\,\hat{Y}, and 3nNf23n{N_{f}}^{2} gauge singlet fields Ms,ta~aM_{s,t}{}^{\tilde{a}a} for a,a~=1,,Nfa,\tilde{a}=1,\dots,N_{f}, s=0,,n1s=0,\dots,n-1 and t=0,1,2t=0,1,2. The superpotential is given by

    WBmon=TrX^n+1+TrX^Y^2+s=0n1t=02Ms,tq~X^n1sY^2tq+V^0,0++V^0,0.\displaystyle W_{B}^{mon}=\mathrm{Tr}\hat{X}^{n+1}+\mathrm{Tr}\hat{X}\hat{Y}^{2}+\sum_{s=0}^{n-1}\sum_{t=0}^{2}M_{s,t}\tilde{q}\hat{X}^{n-1-s}\hat{Y}^{2-t}q+\hat{V}_{0,0}^{+}+\hat{V}_{0,0}^{-}\,. (212)

    where V^0,0±\hat{V}_{0,0}^{\pm} are a pair of monopole operators of Theory B with topological symmetry charge ±1\pm 1.

On the other hand, the duality deformed by W0±W_{0}^{\pm} is given as follows.

  • Theory A is the 3d 𝒩=2\mathcal{N}=2 U(Nc)U(N_{c}) gauge theory with NfN_{f} pairs of fundamental fields QaQ^{a} and anti-fundamental fields Q~a~\tilde{Q}^{\tilde{a}}, two adjoint fields X,YX,\,Y and the superpotential

    WAmon=TrXn+1+TrXY2+W0++W0\displaystyle W_{A}^{mon}=\mathrm{Tr}X^{n+1}+\mathrm{Tr}XY^{2}+W_{0}^{+}+W_{0}^{-} (213)

    where W0±W_{0}^{\pm} are a pair of monopole operators of Theory A with topological symmetry charge ±2\pm 2.

  • Theory B is the 3d 𝒩=2\mathcal{N}=2 U(3nNfNc2n+2)U(3nN_{f}-N_{c}-2n+2) gauge theory with NfN_{f} pairs of fundamental fields qa~q_{\tilde{a}} and anti-fundemental fields q~a\tilde{q}_{a}, two adjoint fields X^,Y^\hat{X},\,\hat{Y}, and 3nNf23n{N_{f}}^{2} gauge singlet fields Ms,ta~aM_{s,t}{}^{\tilde{a}a} for a,a~=1,,Nfa,\tilde{a}=1,\dots,N_{f}, s=0,,n1s=0,\dots,n-1 and t=0,1,2t=0,1,2. The superpotential is given by

    WBmon=TrX^n+1+TrX^Y^2+s=0n1t=02Ms,tq~X^n1sY^2tq+W^0++W^0.\displaystyle W_{B}^{mon}=\mathrm{Tr}\hat{X}^{n+1}+\mathrm{Tr}\hat{X}\hat{Y}^{2}+\sum_{s=0}^{n-1}\sum_{t=0}^{2}M_{s,t}\tilde{q}\hat{X}^{n-1-s}\hat{Y}^{2-t}q+\hat{W}_{0}^{+}+\hat{W}_{0}^{-}\,. (214)

    where W^0±\hat{W}_{0}^{\pm} are a pair of monopole operators of Theory B with topological symmetry charge ±2\pm 2.

5.2 RG flows of double adjoint matters and the conformal manifold

We should stress that although the generic forms of the dualities are given as above, our analysis in sections 2 and 3 are valid when the monopole superpotential triggers an RG flow to a new fixed point distinct from the original ones without the monopole superpotentials; otherwise, the IR fixed point would have extra symmetries other than the one we assume, which are not taken into account in our index computation. Indeed, the relevant monopole deformation is not always the case and has to be checked using, e.g., the FF-maximization Jafferis:2010un . The FF-maximization determines the superconformal RR-charges, and hence the conformal dimensions, of the chiral fields in the IR. A relevant operators then has the IR dimension less than 2. For example, in section 4, we conducted the FF-maximization for a particular set of examples with one adjoint matter and showed their monopole deformations are relevant and lead to new IR fixed points. For the theory with two adjoints, on the other hand, the FF-maximization was performed for n=3n=3 in Hwang:2018uyj , whose result for ΔQ\Delta_{Q} is reported here in Table 10. This result also determines the RR-charges of the monopole operators V0,0±V_{0,0}^{\pm} and W0±W_{0}^{\pm}; see Table 11 and Table 12, which can be used to determine the relevance of the monopole superpotentials.

ΔQ\Delta_{Q} Nf=1N_{f}=1 Nf=2N_{f}=2 Nf=3N_{f}=3 Nf=4N_{f}=4 Nf=5N_{f}=5
U(2)U(2) 0.2120.212 0.348 - - -
U(3)U(3) 0.0800.080 0.293 0.352 0.384 0.404
Table 10: The IR RR-charge of the fundamental field QQ of the double adjoint theory without the monopole superpotential Hwang:2018uyj . The values for U(2)U(2) with Nf3N_{f}\geq 3 are absent because TrX4\mathrm{Tr}X^{4} is irrelevant in those cases, which were thus excluded for the original HKP duality Hwang:2018uyj for the double adjoint theory without the monopole superpotential.
ΔV0,0±\Delta_{V_{0,0}^{\pm}} Nf=1N_{f}=1 Nf=2N_{f}=2 Nf=3N_{f}=3 Nf=4N_{f}=4 Nf=5N_{f}=5
U(2)U(2) 0.5380.538 1.05 - - -
U(3)U(3) 0.420.42 0.914 1.44 1.96 2.48
Table 11: The IR RR-charge of the monopole operator V0,0±V_{0,0}^{\pm} of the double adjoint theory without the monopole superpotential Hwang:2018uyj . Again the values for U(2)U(2) with Nf3N_{f}\geq 3 are absent because TrX4\mathrm{Tr}X^{4} is irrelevant.
ΔW0±\Delta_{W_{0}^{\pm}} Nf=1N_{f}=1 Nf=2N_{f}=2 Nf=3N_{f}=3 Nf=4N_{f}=4 Nf=5N_{f}=5
U(2)U(2) 1.581.58 2.61 - - -
U(3)U(3) 1.341.34 2.33 3.39 4.43 5.46
Table 12: The IR RR-charge of the monopole operator W0±W_{0}^{\pm} of the double adjoint theory without the monopole superpotential. Again the values for U(2)U(2) with Nf3N_{f}\geq 3 are absent because TrX4\mathrm{Tr}X^{4} is irrelevant.

Hence, we would like to conclude the paper making some comments on the RG-flows of those examples with two adjoint matters in the presence of monopole superpotentials.

Let us first consider the deformation by W0±W_{0}^{\pm}, whose IR RR-charge is shown in Table 12 for Nc=2,3N_{c}=2,3. In both cases, W0±W_{0}^{\pm} is relevant for Nf=1N_{f}=1 because its IR RR-charge is less than 2. Hence, we expect that the deformation by W0±W_{0}^{\pm} triggers an RG flow to a different IR fixed point and gives rise to a new duality with the monopole superpotential as we proposed. Indeed, we have computed the indices for Nf=1N_{f}=1, which show a perfect match under the proposed duality. See appendix A.

On the other hand, for Nf2N_{f}\geq 2, W0±W_{0}^{\pm} has the IR RR-charge greater than 2 and therefore is an irrelevant deformation. Nevertheless, interestingly, we have found another RG flow, followed by a marginal deformation, that may lead us to the expected fixed point enjoying the proposed duality. For instance, if we consider the U(2)U(2) theory with Nf=2N_{f}=2, we notice that det(Q~Q)\det(\tilde{Q}Q) is a relevant deformation of the theory because its RR-charge is 4ΔQ=1.392<24\Delta_{Q}=1.392<2. See Table 10. Once we turn on det(Q~Q)\det(\tilde{Q}Q) in the superpotential, the theory is supposed to flow a new fixed point without U(1)AU(1)_{A}, which is broken by det(Q~Q)\det(\tilde{Q}Q). The corresponding index is given by

I\displaystyle I =1+(1+w+w1)x34+(1+𝟐t𝟐u)x+(w+w1)x54\displaystyle=1+\left(1+w+w^{-1}\right)x^{\frac{3}{4}}+\left(1+\mathbf{2}_{t}\mathbf{2}_{u}\right)x+\left(w+w^{-1}\right)x^{\frac{5}{4}}
+(3+w2+2w+2w1+w2+𝟐t𝟐u)x32+(𝟐t𝟐u(w+w1)+2 2t𝟐u+w+w1)x74\displaystyle\quad+\left(3+w^{2}+2w+2w^{-1}+w^{-2}+\mathbf{2}_{t}\mathbf{2}_{u}\right)x^{\frac{3}{2}}+\left(\mathbf{2}_{t}\mathbf{2}_{u}\left(w+w^{-1}\right)+2\,\mathbf{2}_{t}\mathbf{2}_{u}+w+w^{-1}\right)x^{\frac{7}{4}}
+(𝟑t𝟑u1+𝟑t𝟑u+𝟐t+𝟐u+2w2+2w2)x2+,\displaystyle\quad+\left(-\mathbf{3}_{t}-\mathbf{3}_{u}-1+\mathbf{3}_{t}\mathbf{3}_{u}+\mathbf{2}_{t}+\mathbf{2}_{u}+2w^{2}+2w^{-2}\right)x^{2}+\dots\,, (215)

for which we have flipped the decoupled operator TrX\mathrm{Tr}X, whose RR-charge is 1/2. For the x2x^{2} term, it is known that only the conserved currents and the marginal operators contribute to this order, with negative and positive signs respectively Razamat:2016gzx . Indeed, the theory deformed by det(Q~Q)\det(\tilde{Q}Q) preserves SU(2)t×SU(2)u×U(1)TSU(2)_{t}\times SU(2)_{u}\times U(1)_{T}, whose currents should contribute (𝟑t+𝟑u+1)x2-\left(\mathbf{3}_{t}+\mathbf{3}_{u}+1\right)x^{2} to the index, which is exactly the case shown in (5.2). In addition, this case also has marginal operators, whose couplings would parametrize the conformal manifold. Especially, let us focus on part of the conformal manifold parametrized by monopole operators. There are four marginal monopole operators: (V0±)2(V_{0}^{\pm})^{2} and W0±W_{0}^{\pm}, contributing 2(w2+w2)x22\left(w^{2}+w^{-2}\right)x^{2} to the index. Since they are charged under U(1)TU(1)_{T}, their nonzero couplings break U(1)TU(1)_{T}, whose conserved current then combines with one of the marginal operators and becomes a long multiplet Green:2010da . Therefore, only the other three remain exactly marginal and describe part of the conformal manifold. Note that U(1)TU(1)_{T} is broken on a generic point of this three-dimensional manifold, where the index is given by

I\displaystyle I =1+3x34+(1+𝟐t𝟐u)x+2x54+(9+𝟐t𝟐u)x32+(4 2t𝟐u+2)x74\displaystyle=1+3x^{\frac{3}{4}}+\left(1+\mathbf{2}_{t}\mathbf{2}_{u}\right)x+2x^{\frac{5}{4}}+\left(9+\mathbf{2}_{t}\mathbf{2}_{u}\right)x^{\frac{3}{2}}+\left(4\,\mathbf{2}_{t}\mathbf{2}_{u}+2\right)x^{\frac{7}{4}}
+(𝟑t𝟑u+𝟑t𝟑u+𝟐t+𝟐u+3)x2+.\displaystyle\quad+\left(-\mathbf{3}_{t}-\mathbf{3}_{u}+\mathbf{3}_{t}\mathbf{3}_{u}+\mathbf{2}_{t}+\mathbf{2}_{u}+3\right)x^{2}+\dots\,. (216)

Notice that the negative contribution to the x2x^{2} term is (𝟑t+𝟑u)x2-\left(\mathbf{3}_{t}+\mathbf{3}_{u}\right)x^{2}, which is consistent with the fact that the global symmetry is now SU(2)t×SU(2)uSU(2)_{t}\times SU(2)_{u} without any abelian symmetry. Also one can see the positive contribution 3x23x^{2} of the three exactly marginal monopole operators. Their couplings parametrize a three-dimensional conformal manifold where the theory on a generic point preserves SU(2)t×SU(2)uSU(2)_{t}\times SU(2)_{u}, while there is a special point with the additional U(1)TU(1)_{T} symmetry preserved, whose index is given by (5.2).

Our duality proposal then implies that the dual U(12)U(12) theory deformed by W0±W_{0}^{\pm} flows to a certain point on this three-dimensional conformal manifold where SU(2)t×SU(2)uSU(2)_{t}\times SU(2)_{u} is preserved, while U(1)TU(1)_{T} is broken. Unfortunately, we weren’t able to study the FF-maximization of the dual U(12)U(12) theory due to the limit of the computation power. Nevertheless, assuming the monopole deformation is relevant for the dual theory or at least there is an RG flow to a conformal manifold containing the expected monopole-deformed fixed point, we have checked the index of the dual U(12)U(12) theory is exactly the same as (5.2). Furthermore, one can also move along the conformal manifold to the special point with the extra U(1)TU(1)_{T} symmetry. On the original side, this can be done by turning on det(Q~Q)\det(\tilde{Q}Q) but turning off all the monopole terms in the superpotential. This suggests another duality between the proposed dual pair with different superpotentials preserving not only SU(2)t×SU(2)uSU(2)_{t}\times SU(2)_{u} but also U(1)TU(1)_{T}. Indeed, we have computed the indices of the dual pair keeping the U(1)TU(1)_{T} fugacity ww up to x5x^{5}, which show perfect agreement. See the first few terms given in (5.2). This is strong evidence of the existence of the duality preserving U(1)TU(1)_{T} for the U(2)U(2) theory with Nf=2N_{f}=2. It would also be interesting to investigate if there are other cases exhibiting a similar RG flow to the conformal manifold and a special point thereof with the extra U(1)TU(1)_{T} symmetry, which would lead to another duality preserving U(1)TU(1)_{T}.

The above example demonstrates that, even if the monopole operator is irrelevant, there can be some other relevant deformation triggering an RG flow to the conformal manifold, connected to the monopole-deformed fixed point by a marginal deformation. On the other hand, one can attempt to engineer a sequence of RG flows directly flowing to the monopole-deformed fixed point by coupling the theory to another interacting CFT Benini:2017dud . Imposing a suitable interaction between the original theory and the other CFT, one can make the monopole operator relevant and initiate an RG flow to a new fixed point by turning on such relevant monopole deformation. The new fixed point would have extra fields coming from the coupled CFT, which however can be made massive and integrated out. Thus, the resulting IR theory is the expected monopole-deformed fixed point enjoying the monopole duality. It would be interesting to study if such RG flows to the monopole-deformed fixed points enjoying our dualities can be engineered for cases with irrelevant monopole operators.

Next, we consider the deformation by V0,0±V_{0,0}^{\pm}. Again we focus on Nc=2, 3N_{c}=2,\,3. The IR RR-charge of V0,0±V_{0,0}^{\pm} is shown in Table 11. The proposed duality requires N~c=3nNfNc4n20\tilde{N}_{c}=3nN_{f}-N_{c}-4n-2\geq 0, which is only satisfied for Nf2N_{f}\geq 2 since we take n=3n=3. One can see that V0,0±V_{0,0}^{\pm} is a relevant deformation for 2Nf42\leq N_{f}\leq 4, while it is irrelevant for Nf5N_{f}\geq 5.

We have computed the indices for those relevant cases, which show perfect matches under the proposed duality. In particular, the index for the U(2)U(2) theory with Nf=3N_{f}=3 and those for the U(3)U(3) theories with Nf=3,4N_{f}=3,4 are given by131313Note that we have omitted the SU(Nf)t×SU(Nf)uSU(N_{f})_{t}\times SU(N_{f})_{u} fugacities for the computational simplicity.

I(Nc,Nf)=(2,3)\displaystyle I^{(N_{c},N_{f})=(2,3)} =1+10x+x3/4+65x+19x5/4+311x3/2+145x7/4+1203x2+,\displaystyle=1+10\sqrt{x}+x^{3/4}+65x+19x^{5/4}+311x^{3/2}+145x^{7/4}+1203x^{2}+\dots\,, (217)
I(Nc,Nf)=(3,3)\displaystyle I^{(N_{c},N_{f})=(3,3)} =1+9x1/3+x+45x2/3+x3/4+18x5/6+167x+18x13/12+126x7/6\displaystyle=1+9x^{1/3}+\sqrt{x}+45x^{2/3}+x^{3/4}+18x^{5/6}+167x+18x^{13/12}+126x^{7/6}
+x5/4+531x4/3+126x17/12+573x3/2+36x19/12+1575x5/3+571x7/4\displaystyle\quad+x^{5/4}+531x^{4/3}+126x^{17/12}+573x^{3/2}+36x^{19/12}+1575x^{5/3}+571x^{7/4}
+2043x11/6+360x23/12+4453x2+,\displaystyle\quad+2043x^{11/6}+360x^{23/12}+4453x^{2}+\dots\,, (218)
I(Nc,Nf)=(3,4)\displaystyle I^{(N_{c},N_{f})=(3,4)} =1+x+17x3/4+2x+33x5/4+172x3/2+,\displaystyle=1+\sqrt{x}+17x^{3/4}+2x+33x^{5/4}+172x^{3/2}+\dots\,, (219)

which agree with the dual indices I(N~c,Nf)=(11,3),I(N~c,Nf)=(10,3)I^{(\tilde{N}_{c},N_{f})=(11,3)},\,I^{(\tilde{N}_{c},N_{f})=(10,3)} and I(N~c,Nf)=(19,4)I^{(\tilde{N}_{c},N_{f})=(19,4)}, respectively. Thus, we expect that the deformation by V0,0±V_{0,0}^{\pm} triggers an RG flow to a new interacting fixed point, to which both dual theories flow.

On the other hand, for Nf=2N_{f}=2, the computed indices still agree under the duality but do not have the standard form of the superconformal index, which must start with 1 because the identity operator of the SCFT on 3\mathbb{R}^{3} always contributes 1 to the index. However, the indices for Nf=2N_{f}=2 are given by141414In this case, the index should only be interpreted as the supersymmetric partition function on S2×S1S^{2}\times S^{1} rather than the superconformal index.

I(Nc,Nf)=(2,2)\displaystyle I^{(N_{c},N_{f})=(2,2)} =x145x3414x5429x74+,\displaystyle=-x^{\frac{1}{4}}-5x^{\frac{3}{4}}-14x^{\frac{5}{4}}-29x^{\frac{7}{4}}+\dots\,, (220)
I(Nc,Nf)=(3,2)\displaystyle I^{(N_{c},N_{f})=(3,2)} =0.\displaystyle=0\,. (221)

Especially, the index for Nc=3N_{c}=3 vanishes, which signals that the theory has no supersymmetric vacuum. For Nc=2N_{c}=2, the index doesn’t vanish but starts with a nonzero power of xx rather than 1. We thus conclude that the U(2)U(2) theory also doesn’t flow to a conformal fixed point in the IR although the interpretation of the nonzero negative terms in (220) is unclear. It would be interesting to examine their interpretation and more detailed IR dynamics of this theory.

Acknowledgements.
We would like to thank K. Avner, S. Pasquetti, and M. Sacchi for valuable discussions. This research is supported by NRF-2021R1A6A1A10042944 (JP) and NRF-2021R1A2C1012440 (JP, SK). CH is partially supported by the STFC consolidated grant ST/T000694/1.

Appendix A More results of the superconformal index computation

In this appendix, we provide the list of superconformal indices for the three monopole dualities we propose. Each dual pair show the perfect match of the indices, which is strong evidence of the proposed dualities.

A.1 Single adjoint with ΔWA=Vα++Vα\Delta W_{A}=V_{\alpha}^{+}+V_{\alpha}^{-}

n ΔWA\Delta W_{A} (Nf,Nc,N~c)(N_{f},N_{c},\tilde{N}_{c}) SCI
(2,0,0)(2,0,0) 1\begin{array}[]{c}1\end{array}
(3,0,1)(3,0,1) 1\begin{array}[]{c}1\end{array}
(3,1,0)(3,1,0) 1+9x2/3+36x4/3+84x2+135x8/3+198x10/3+327x4+O(x13/3)\begin{array}[]{c}1\!+\!9x^{2/3}\!+\!36x^{4/3}\!+\!84x^{2}\!+\!135x^{8/3}\!+\!198x^{10/3}\!+\!327x^{4}\!+\!O(x^{13/3})\end{array}
(4,0,2)(4,0,2) 1\begin{array}[]{c}1\end{array}
1 V0++V0V_{0}^{+}\!+\!V_{0}^{-}\!\! (4,1,1)(4,1,1) 1+16x+70x2+128x3+259x4+464x5+326x6+O(x7)\begin{array}[]{c}1+16x+70x^{2}+128x^{3}+259x^{4}+464x^{5}+326x^{6}+O(x^{7})\end{array}
(4,2,0)(4,2,0) 1+16x+136x+800x3/2+3620x2+13344x5/2+O(x3)\begin{array}[]{c}1\!+\!16\sqrt{x}\!+\!136x\!+\!800x^{3/2}\!+\!3620x^{2}\!+\!13344x^{5/2}\!+\!O(x^{3})\end{array}
(5,0,3)(5,0,3) 1\begin{array}[]{c}1\end{array}
(5,1,2)(5,1,2) 1+25x6/548x2+225x12/5+25x14/5700x16/5+O(x18/5)\begin{array}[]{c}1+25x^{6/5}-48x^{2}+225x^{12/5}+25x^{14/5}-700x^{16/5}+O\left(x^{18/5}\right)\end{array}
(5,2,1)(5,2,1) 1+25x4/5+325x8/548x2+2825x12/51150x14/5+O(x16/5)\begin{array}[]{c}1+25x^{4/5}+325x^{8/5}-48x^{2}+2825x^{12/5}-1150x^{14/5}+O\left(x^{16/5}\right)\end{array}
(5,3,0)(5,3,0) 1+25x2/5+325x4/5+2925x6/5+20450x8/5+118130x2+O(x11/5)\begin{array}[]{c}1\!+\!25x^{2/5}\!+\!325x^{4/5}\!+\!2925x^{6/5}\!+\!20450x^{8/5}\!+\!118130x^{2}\!+\!O\left(x^{11/5}\right)\end{array}
(2,0,0)(2,0,0) 1\begin{array}[]{c}1\end{array}
(3,0,2)(3,0,2) 1\begin{array}[]{c}1\end{array}
V0++V0V_{0}^{+}\!+\!V_{0}^{-}\!\! (3,1,1)(3,1,1) 1+10x2/3+45x4/3+120x2+220x8/3+342x10/3+560x4+O(x13/3)\begin{array}[]{c}1\!+\!10x^{2/3}\!+\!45x^{4/3}\!+\!120x^{2}\!+\!220x^{8/3}\!+\!342x^{10/3}\!+\!560x^{4}\!+\!O(x^{13/3})\end{array}
(3,2,0)(3,2,0) 1+9x2/9+45x4/9+165x2/3+504x8/9+1359x10/9+3327x4/3+7515x14/9+15876x16/9+31681x2+O(x19/9)\begin{array}[]{c}1+9x^{2/9}+45x^{4/9}+165x^{2/3}+504x^{8/9}+1359x^{10/9}+3327x^{4/3}\\ +7515x^{14/9}+15876x^{16/9}+31681x^{2}+O\left(x^{19/9}\right)\end{array}
2 (1,0,0)(1,0,0) 1\begin{array}[]{c}1\end{array}
(2,1,1)(2,1,1) 1+5x2/3+15x4/3+19x2+20x8/3+31x10/3+59x4+O(x14/3)\begin{array}[]{c}1\!+\!5x^{2/3}\!+\!15x^{4/3}\!+\!19x^{2}\!+\!20x^{8/3}\!+\!31x^{10/3}\!+\!59x^{4}\!+\!O(x^{14/3})\end{array}
V1++V1V_{1}^{+}\!+\!V_{1}^{-}\!\! (3,1,3)(3,1,3) 1+x2/3+9x10/9+2x4/3+9x16/916x2+36x20/9+O(x8/3)\begin{array}[]{c}1\!+\!x^{2/3}\!+\!9x^{10/9}\!+\!2x^{4/3}\!+\!9x^{16/9}\!-\!16x^{2}\!+\!36x^{20/9}\!+\!O(x^{8/3})\end{array}
(3,2,2)(3,2,2) 1+10x2/3+66x4/3+294x2+980x8/3+O(x10/3)\begin{array}[]{c}1\!+\!10x^{2/3}\!+\!66x^{4/3}\!+\!294x^{2}\!+\!980x^{8/3}\!+\!O(x^{10/3})\end{array}
(3,3,1)(3,3,1) 1+9x2/9+45x4/9+166x2/3+513x8/9+1413x10/9+3575x4/3+8442x14/9+18819x16/9+39939x2+O(x19/9)\begin{array}[]{c}1+9x^{2/9}+45x^{4/9}+166x^{2/3}+513x^{8/9}+1413x^{10/9}+3575x^{4/3}\\ +8442x^{14/9}+18819x^{16/9}+39939x^{2}+O\left(x^{19/9}\right)\end{array}
(2,0,0)(2,0,0) 1\begin{array}[]{c}1\end{array}
V0++V0V_{0}^{+}\!+\!V_{0}^{-}\!\! (3,1,2)(3,1,2) 1+x+9x2/3+x+9x7/6+36x4/3+9x5/3+36x11/6+O(x2)\begin{array}[]{c}1\!+\!\sqrt{x}\!+\!9x^{2/3}\!+\!x\!+\!9x^{7/6}\!+\!36x^{4/3}\!+\!9x^{5/3}\!+\!36x^{11/6}\!+\!O(x^{2})\end{array}
(3,2,1)(3,2,1) 1+9x1/3+x+45x2/3+18x5/6+166x+117x7/6+513x4/3+489x3/2+1440x5/3+1584x11/6+3735x2+O(x13/6)\begin{array}[]{c}1+9x^{1/3}+\sqrt{x}+45x^{2/3}+18x^{5/6}+166x+117x^{7/6}+513x^{4/3}\\ +489x^{3/2}+1440x^{5/3}+1584x^{11/6}+3735x^{2}+O\left(x^{13/6}\right)\end{array}
3 (2,1,1)(2,1,1) 1+5x+14x+31x3/2+44x2+56x5/2+69x3+96x7/2+O(x4)\begin{array}[]{c}1\!+\!5\sqrt{x}\!+\!14x\!+\!31x^{3/2}\!+\!44x^{2}\!+\!56x^{5/2}\!+\!69x^{3}\!+\!96x^{7/2}\!+\!O(x^{4})\end{array}
V1++V1V_{1}^{+}\!+\!V_{1}^{-}\!\! (3,2,3)(3,2,3) 1+x+9x2/3+2x+18x7/6+45x4/3+3x3/2+27x5/3+117x11/6+151x2+36x13/6+198x7/3+O(x5/2)\begin{array}[]{c}1+\sqrt{x}+9x^{2/3}+2x+18x^{7/6}+45x^{4/3}+3x^{3/2}+27x^{5/3}\\ +117x^{11/6}+151x^{2}+36x^{13/6}+198x^{7/3}+O\left(x^{5/2}\right)\end{array}
(3,3,2)(3,3,2) 1+9x1/3+x+45x2/3+18x5/6+167x+126x7/6+531x4/3+573x3/2+1575x5/3+2025x11/6+4453x2+O(x13/6)\begin{array}[]{c}1+9x^{1/3}+\sqrt{x}+45x^{2/3}+18x^{5/6}+167x+126x^{7/6}+531x^{4/3}\\ +573x^{3/2}+1575x^{5/3}+2025x^{11/6}+4453x^{2}+O\left(x^{13/6}\right)\end{array}
n ΔWA\Delta W_{A} (Nf,Nc,N~c)(N_{f},N_{c},\tilde{N}_{c}) SCI
(2,2,2)(2,2,2) 1+5x+22x+70x3/2+179x2+374x5/2+661x3+O(x7/2)\begin{array}[]{c}1\!+\!5\sqrt{x}\!+\!22x\!+\!70x^{3/2}\!+\!179x^{2}\!+\!374x^{5/2}\!+\!661x^{3}+O(x^{7/2})\end{array}
3 V2++V2V_{2}^{+}\!+\!V_{2}^{-}\!\! (3,3,4)(3,3,4) 1+x+9x2/3+4x+18x7/6+45x4/3+6x3/2+54x5/3+126x11/6+160x2+90x13/6+378x7/3+550x5/2+O(x8/3)\begin{array}[]{c}1+\sqrt{x}+9x^{2/3}+4x+18x^{7/6}+45x^{4/3}+6x^{3/2}+54x^{5/3}\\ +126x^{11/6}+160x^{2}+90x^{13/6}+378x^{7/3}+550x^{5/2}+O\left(x^{8/3}\right)\end{array}
(3,4,3)(3,4,3) 1+9x1/3+x+45x2/3+18x5/6+169x+126x7/6+549x4/3+576x3/2+1674x5/3+2079x11/6+4873x2+O(x13/6)\begin{array}[]{c}1+9x^{1/3}+\sqrt{x}+45x^{2/3}+18x^{5/6}+169x+126x^{7/6}+549x^{4/3}\\ +576x^{3/2}+1674x^{5/3}+2079x^{11/6}+4873x^{2}+O\left(x^{13/6}\right)\end{array}
(3,1,3)(3,1,3) 1+x2/5+9x2/3+x4/5+9x16/15+x6/5+36x4/3+9x22/15+36x26/15+9x28/15+84x2+O(x31/15)\begin{array}[]{c}1+x^{2/5}+9x^{2/3}+x^{4/5}+9x^{16/15}+x^{6/5}+36x^{4/3}\\ +9x^{22/15}+36x^{26/15}+9x^{28/15}+84x^{2}+O\left(x^{31/15}\right)\end{array}
V0++V0V_{0}^{+}\!+\!V_{0}^{-}\!\! (3,2,2)(3,2,2) 1+10x2/5+65x4/5+310x6/5+1210x8/5+4002x2+11605x12/5+30020x14/5+O(x16/5)\begin{array}[]{c}1+10x^{2/5}+65x^{4/5}+310x^{6/5}+1210x^{8/5}+4002x^{2}\\ +11605x^{12/5}+30020x^{14/5}+O\left(x^{16/5}\right)\end{array}
(3,3,1)(3,3,1) 1+9x2/15+45x4/15+166x2/5+513x8/15+1413x2/3+3574x4/5+8442x14/15+18855x16/15+40196x6/5+82332x4/3+162819x22/15+312130x8/5+581958x26/15+1058085x28/15+1880074x2+O(x31/15)\begin{array}[]{c}1+9x^{2/15}+45x^{4/15}+166x^{2/5}+513x^{8/15}+1413x^{2/3}\\ +3574x^{4/5}+8442x^{14/15}+18855x^{16/15}+40196x^{6/5}\\ +82332x^{4/3}+162819x^{22/15}+312130x^{8/5}+581958x^{26/15}\\ +1058085x^{28/15}+1880074x^{2}+O\left(x^{31/15}\right)\end{array}
(2,1,1)(2,1,1) 1+5x2/5+14x4/5+30x6/5+56x8/5+80x2+105x12/5+𝒪(x14/5)\begin{array}[]{c}1\!+\!5x^{2/5}\!+\!14x^{4/5}\!+\!30x^{6/5}\!+\!56x^{8/5}\!+\!80x^{2}\!+\!105x^{12/5}\!+\!\mathcal{O}(x^{14/5})\end{array}
(3,2,4)(3,2,4) 1+x2/5+9x2/3+2x4/5+18x16/15+2x6/5+45x4/3+27x22/15+4x8/5+117x26/15+36x28/15+151x2+O(x31/15)\begin{array}[]{c}1+x^{2/5}+9x^{2/3}+2x^{4/5}+18x^{16/15}+2x^{6/5}+45x^{4/3}\\ +27x^{22/15}+4x^{8/5}\!+\!117x^{26/15}\!+\!36x^{28/15}\!+\!151x^{2}\!+\!O\left(x^{31/15}\right)\end{array}
V1++V1V_{1}^{+}\!+\!V_{1}^{-}\!\! (3,3,3)(3,3,3) 1+10x2/5+65x4/5+330x6/5+1411x8/5+5276x2+17685x12/5+53940x14/5+O(x16/5)\begin{array}[]{c}1+10x^{2/5}+65x^{4/5}+330x^{6/5}+1411x^{8/5}\\ +5276x^{2}+17685x^{12/5}+53940x^{14/5}+O\left(x^{16/5}\right)\end{array}
4 (3,4,2)(3,4,2) 1+9x2/15+45x4/15+166x2/5+513x8/15+1413x2/3+3575x4/5+8451x14/15+18909x16/15+40443x6/5+83259x4/3+165807x22/15+320729x8/5+604629x26/15+1113786x28/15+2009121x2+O(x31/15)\begin{array}[]{c}1+9x^{2/15}+45x^{4/15}+166x^{2/5}+513x^{8/15}+1413x^{2/3}\\ +3575x^{4/5}+8451x^{14/15}+18909x^{16/15}+40443x^{6/5}\\ +83259x^{4/3}+165807x^{22/15}+320729x^{8/5}+604629x^{26/15}\\ +1113786x^{28/15}+2009121x^{2}+O\left(x^{31/15}\right)\end{array}
(2,2,2)(2,2,2) 1+5x2/5+20x4/5+61x6/5+165x8/5+373x2+756x12/5+1361x14/5+O(x16/5)\begin{array}[]{c}1+5x^{2/5}+20x^{4/5}+61x^{6/5}+165x^{8/5}+373x^{2}+756x^{12/5}\\ +1361x^{14/5}+O\left(x^{16/5}\right)\end{array}
(3,3,5)(3,3,5) 1+x2/5+9x2/3+2x4/5+18x16/15+5x6/5+45x4/3+36x22/15+7x8/5+126x26/15+72x28/15+158x2+O(x31/15)\begin{array}[]{c}1+x^{2/5}+9x^{2/3}+2x^{4/5}+18x^{16/15}+5x^{6/5}+45x^{4/3}\\ +36x^{22/15}\!+\!7x^{8/5}\!+\!126x^{26/15}\!+\!72x^{28/15}\!+\!158x^{2}\!+\!O\left(x^{31/15}\right)\end{array}
V2++V2V_{2}^{+}\!+\!V_{2}^{-}\!\! (3,4,4)(3,4,4) 1+10x2/5+65x4/5+332x6/5+1451x8/5+5606x2+O(x11/5)\begin{array}[]{c}1\!+\!10x^{2/5}\!+\!65x^{4/5}\!+\!332x^{6/5}\!+\!1451x^{8/5}\!+\!5606x^{2}\!+\!O\left(x^{11/5}\right)\end{array}
(3,5,3)(3,5,3) 1+9x2/15+45x4/15+166x2/5+513x8/15+1413x2/3+3575x4/5+8451x14/15+18909x16/15+40446x6/5+83286x4/3+165951x22/15+321308x8/5+606582x26/15+1119600x28/15+2024869x2+O(x31/15)\begin{array}[]{c}1+9x^{2/15}+45x^{4/15}+166x^{2/5}+513x^{8/15}+1413x^{2/3}\\ +3575x^{4/5}+8451x^{14/15}+18909x^{16/15}+40446x^{6/5}\\ +83286x^{4/3}+165951x^{22/15}+321308x^{8/5}+606582x^{26/15}\\ +1119600x^{28/15}+2024869x^{2}+O\left(x^{31/15}\right)\end{array}
V3++V3V_{3}^{+}\!+\!V_{3}^{-}\!\! (2,3,3)(2,3,3) 1+5x2/5+22x4/5+77x6/5+238x8/5+641x2+1575x12/5+3495x14/5+O(x16/5)\begin{array}[]{c}1+5x^{2/5}+22x^{4/5}+77x^{6/5}+238x^{8/5}+641x^{2}\\ +1575x^{12/5}+3495x^{14/5}+O\left(x^{16/5}\right)\end{array}
(3,5,5)(3,5,5) 1+10x2/5+67x4/5+352x6/5+1584x8/5+6320x2+22946x12/5+76934x14/5+O(x16/5)\begin{array}[]{c}1+10x^{2/5}+67x^{4/5}+352x^{6/5}+1584x^{8/5}+6320x^{2}\\ +22946x^{12/5}+76934x^{14/5}+O\left(x^{16/5}\right)\end{array}
Table 13: The superconformal index results for the single adjoint theories with ΔWA=Vα++Vα\Delta W_{A}=V_{\alpha}^{+}+V_{\alpha}^{-}. For simplicity, the SU(Nf)t×SU(Nf)uSU(N_{f})_{t}\times SU(N_{f})_{u} flavor fugacities are all omitted. This table includes all possible cases up to n4n\leq 4, Nf3N_{f}\leq 3, and Nc,N~c5N_{c},\tilde{N}_{c}\leq 5 with conditions ΔQ,Δq>0\Delta_{Q},\Delta_{q}>0. Especially, we exhibit more results with Nf5N_{f}\leq 5 for n=1n=1, in which case the adjoint field becomes massive such that the corresponding duality is nothing but the Benini–Benvenuti–Pasquetti duality Benini:2017dud . In addition, the case with ΔWA=V0++V0\Delta W_{A}=V_{0}^{+}+V_{0}^{-} corresponds to the Amariti–Cassia duality Amariti:2018wht . Therefore, our index results provide nontrivial evidence for those dualities.

A.2 Double adjoints with ΔWA=V0,0++V0,0\Delta W_{A}=V_{0,0}^{+}+V_{0,0}^{-}

n (Nf,Nc,N~c)(N_{f},N_{c},\tilde{N}_{c}) SCI
(3,13,0)(3,13,0) 1+9x1/6+45x1/3+9x5/12+165x+81x7/12+504x2/3+405x3/4+1404x5/6+1485x11/12+3732x+4536x13/12+9549x7/6+12396x5/4+23382x4/3+31428x17/12+54766x3/2+75132x19/12+123264x5/3+170757x7/4+O(x11/6)\begin{array}[]{c}1+9x^{1/6}+45x^{1/3}+9x^{5/12}+165\sqrt{x}+81x^{7/12}+504x^{2/3}+405x^{3/4}+1404x^{5/6}\\ +1485x^{11/12}+3732x+4536x^{13/12}+9549x^{7/6}+12396x^{5/4}+23382x^{4/3}\\ +31428x^{17/12}+54766x^{3/2}+75132x^{19/12}+123264x^{5/3}+170757x^{7/4}+O(x^{11/6})\end{array}
(3,12,1)(3,12,1) 1+9x1/12+45x1/6+165x1/4+504x1/3+1368x5/12+3409x+7938x7/12+17496x2/3+36869x3/4+74817x5/6+146952x11/12+280531x+522279x13/12+950868x7/6+1696594x5/4+2972232x4/3+5120685x17/12+O(x3/2)\begin{array}[]{c}1+9x^{1/12}+45x^{1/6}+165x^{1/4}+504x^{1/3}+1368x^{5/12}+3409\sqrt{x}+7938x^{7/12}\\ +17496x^{2/3}+36869x^{3/4}+74817x^{5/6}+146952x^{11/12}+280531x+522279x^{13/12}\\ +950868x^{7/6}+1696594x^{5/4}+2972232x^{4/3}+5120685x^{17/12}+O(x^{3/2})\end{array}
(3,11,2)(3,11,2) 1+9x1/4+55x+265x3/4+1100x+4072x5/4+13793x3/2+43396x7/4+128283x2+O(x9/4)\begin{array}[]{c}1+9x^{1/4}+55\sqrt{x}+265x^{3/4}+1100x+4072x^{5/4}+13793x^{3/2}+43396x^{7/4}\\ +128283x^{2}+O\left(x^{9/4}\right)\end{array}
(3,10,3)(3,10,3) 1+9x1/6+45x1/3+9x5/12+166x+81x7/12+513x2/3+406x3/4+1458x5/6+1512x11/12+3980x+4743x13/12+10485x7/6+13453x5/4+26541x4/3+35667x17/12+64663x3/2+89559x19/12+152487x5/3+214672x7/4+O(x11/6)\begin{array}[]{c}1+9x^{1/6}+45x^{1/3}+9x^{5/12}+166\sqrt{x}+81x^{7/12}+513x^{2/3}+406x^{3/4}+1458x^{5/6}\\ +1512x^{11/12}+3980x+4743x^{13/12}+10485x^{7/6}+13453x^{5/4}+26541x^{4/3}\\ +35667x^{17/12}+64663x^{3/2}+89559x^{19/12}+152487x^{5/3}+214672x^{7/4}+O(x^{11/6})\end{array}
(3,9,4)(3,9,4) 1+9x1/12+45x1/6+165x1/4+504x1/3+1368x5/12+3409x+7938x7/12+17496x2/3+36869x3/4+74817x5/6+146952x11/12+280532x+522297x13/12+951003x7/6+1697246x5/4+2974644x4/3+5128209x17/12+O(x3/2)\begin{array}[]{c}1+9x^{1/12}+45x^{1/6}+165x^{1/4}+504x^{1/3}+1368x^{5/12}+3409\sqrt{x}+7938x^{7/12}\\ +17496x^{2/3}+36869x^{3/4}+74817x^{5/6}+146952x^{11/12}+280532x+522297x^{13/12}\\ +951003x^{7/6}+1697246x^{5/4}+2974644x^{4/3}+5128209x^{17/12}+O\left(x^{3/2}\right)\end{array}
(3,8,5)(3,8,5) 1+9x1/4+55x+265x3/4+1100x+4081x5/4+13893x3/2+44080x7/4+131902x2+O(x9/4)\begin{array}[]{c}1+9x^{1/4}+55\sqrt{x}+265x^{3/4}+1100x+4081x^{5/4}+13893x^{3/2}+44080x^{7/4}\\ +131902x^{2}+O\left(x^{9/4}\right)\end{array}
3 (3,7,6)(3,7,6) 1+9x1/6+45x1/3+9x5/12+166x+81x7/12+513x2/3+406x3/4+1458x5/6+1512x11/12+3980x+4743x13/12+10485x7/6+13453x5/4+26541x4/3+35676x17/12+64663x3/2+89640x19/12+152496x5/3+215077x7/4+O(x11/6)\begin{array}[]{c}1+9x^{1/6}+45x^{1/3}+9x^{5/12}+166\sqrt{x}+81x^{7/12}+513x^{2/3}+406x^{3/4}+1458x^{5/6}\\ +1512x^{11/12}+3980x+4743x^{13/12}+10485x^{7/6}+13453x^{5/4}+26541x^{4/3}\\ +35676x^{17/12}+64663x^{3/2}+89640x^{19/12}+152496x^{5/3}+215077x^{7/4}+O\left(x^{11/6}\right)\end{array}
(3,6,7)(3,6,7) 1+9x1/3+x+9x7/12+45x2/3+x3/4+18x5/6+81x11/12+167x+27x13/12+171x7/6+406x5/4+540x4/3+288x17/12+978x3/2+1539x19/12+1791x5/3+1870x7/4+4086x11/6+5193x23/12+6478x2+O(x25/12)\begin{array}[]{c}1+9x^{1/3}+\sqrt{x}+9x^{7/12}+45x^{2/3}+x^{3/4}+18x^{5/6}+81x^{11/12}+167x+27x^{13/12}\\ +171x^{7/6}+406x^{5/4}+540x^{4/3}+288x^{17/12}+978x^{3/2}+1539x^{19/12}\\ +1791x^{5/3}+1870x^{7/4}+4086x^{11/6}+5193x^{23/12}+6478x^{2}+O\left(x^{25/12}\right)\end{array}
(3,5,8)(3,5,8) 1+10x+10x3/4+65x+109x5/4+384x3/2+748x7/4+2041x2+O(x9/4)\begin{array}[]{c}1+10\sqrt{x}+10x^{3/4}+65x+109x^{5/4}+384x^{3/2}+748x^{7/4}+2041x^{2}+O\left(x^{9/4}\right)\end{array}
(3,4,9)(3,4,9) 1+9x1/6+45x1/3+166x+513x2/3+x3/4+1413x5/6+18x11/12+3575x+126x13/12+8451x7/6+571x5/4+18909x4/3+2016x17/12+40444x3/2+6111x19/12+83277x5/3+16696x7/4+165978x11/6+42120x23/12+O(x2)\begin{array}[]{c}1+9x^{1/6}+45x^{1/3}+166\sqrt{x}+513x^{2/3}+x^{3/4}+1413x^{5/6}+18x^{11/12}+3575x\\ +126x^{13/12}+8451x^{7/6}+571x^{5/4}+18909x^{4/3}+2016x^{17/12}+40444x^{3/2}\\ +6111x^{19/12}+83277x^{5/3}+16696x^{7/4}+165978x^{11/6}+42120x^{23/12}+O\left(x^{2}\right)\end{array}
(3,3,10)(3,3,10) 1+9x1/3+x+45x2/3+x3/4+18x5/6+167x+18x13/12+126x7/6+x5/4+531x4/3+126x17/12+573x3/2+36x19/12+1575x5/3+571x7/4+2043x11/6+360x23/12+4453x2+O(x25/12)\begin{array}[]{c}1+9x^{1/3}+\sqrt{x}+45x^{2/3}+x^{3/4}+18x^{5/6}+167x+18x^{13/12}+126x^{7/6}\\ +x^{5/4}+531x^{4/3}+126x^{17/12}+573x^{3/2}+36x^{19/12}+1575x^{5/3}+571x^{7/4}\\ +2043x^{11/6}+360x^{23/12}+4453x^{2}+O\left(x^{25/12}\right)\end{array}
(3,2,11)(3,2,11) 1+10x+x3/4+65x+19x5/4+311x3/2+145x7/4+1203x2+O(x9/4)\begin{array}[]{c}1+10\sqrt{x}+x^{3/4}+65x+19x^{5/4}+311x^{3/2}+145x^{7/4}+1203x^{2}+O\left(x^{9/4}\right)\end{array}
(3,1,12)(3,1,12) 1+x+9x2/3+x3/4+x+9x7/6+36x4/3+9x17/12+x3/2+9x5/3+36x11/6+84x2+O(x25/12)\begin{array}[]{c}1+\sqrt{x}+9x^{2/3}+x^{3/4}+x+9x^{7/6}+36x^{4/3}+9x^{17/12}+x^{3/2}+9x^{5/3}\\ +36x^{11/6}+84x^{2}+O\left(x^{25/12}\right)\end{array}
Table 14: The superconformal index results for the double adjoint theories with ΔWA=V0,0++V0,0\Delta W_{A}=V_{0,0}^{+}+V_{0,0}^{-}. Here we list the cases with (n,Nf)=(3,3)(n,N_{f})=(3,3) and 1Nc131\leq N_{c}\leq 13. In each case, the gauge invariant operators with negative conformal dimension are flipped for the expansion of the index. The SU(Nf)t×SU(Nf)uSU(N_{f})_{t}\times SU(N_{f})_{u} flavor fugacities are all omitted for simplicity.

A.3 Double adjoints with ΔWA=W0++W0\Delta W_{A}=W_{0}^{+}+W_{0}^{-}

n (Nf,Nc,N~c)(N_{f},N_{c},\tilde{N}_{c}) SCI
(1,5,0)(1,5,0) 1+x1/4+2x+2x3/4+3x+3x5/4+3x3/2+2x7/4+2x2+2x9/4+3x5/2+3x11/4+4x3+O(x13/4)\begin{array}[]{c}1+x^{1/4}+2\sqrt{x}+2x^{3/4}+3x+3x^{5/4}+3x^{3/2}+2x^{7/4}+2x^{2}+2x^{9/4}\\ +3x^{5/2}+3x^{11/4}+4x^{3}+O\left(x^{13/4}\right)\end{array}
(1,4,1)(1,4,1) 1+x1/4+3x+7x3/4+10x+14x5/4+26x3/2+29x7/4+34x2+49x9/4+51x5/2+50x11/4+73x3+O(x13/4)\begin{array}[]{c}1+x^{1/4}+3\sqrt{x}+7x^{3/4}+10x+14x^{5/4}+26x^{3/2}+29x^{7/4}+34x^{2}\\ +49x^{9/4}+51x^{5/2}+50x^{11/4}+73x^{3}+O\left(x^{13/4}\right)\end{array}
(1,3,2)(1,3,2) 1+x1/4+3x+7x3/4+11x+19x5/4+33x3/2+44x7/4+61x2+84x9/4+100x5/2+118x11/4+145x3+O(x13/4)\begin{array}[]{c}1+x^{1/4}+3\sqrt{x}+7x^{3/4}+11x+19x^{5/4}+33x^{3/2}+44x^{7/4}+61x^{2}\\ +84x^{9/4}+100x^{5/2}+118x^{11/4}+145x^{3}+O\left(x^{13/4}\right)\end{array}
(1,2,3)(1,2,3) 1+2x+4x3/4+4x+8x5/4+14x3/2+12x7/4+17x2+24x9/4+20x5/2+20x11/4+31x3+O(x13/4)\begin{array}[]{c}1+2\sqrt{x}+4x^{3/4}+4x+8x^{5/4}+14x^{3/2}+12x^{7/4}+17x^{2}+24x^{9/4}\\ +20x^{5/2}+20x^{11/4}+31x^{3}+O\left(x^{13/4}\right)\end{array}
(1,1,4)(1,1,4) 1+2x+3x3/4+3x+3x5/4+8x3/2+3x7/4+4x2+7x9/4+5x5/2+2x11/4+10x3+O(x13/4)\begin{array}[]{c}1+2\sqrt{x}+3x^{3/4}+3x+3x^{5/4}+8x^{3/2}+3x^{7/4}+4x^{2}+7x^{9/4}\\ +5x^{5/2}+2x^{11/4}+10x^{3}+O\left(x^{13/4}\right)\end{array}
(2,14,0)(2,14,0) 1+4x+10x+16x3/2+19x2+20x5/2+26x3+O(x7/2)\begin{array}[]{c}1+4\sqrt{x}+10x+16x^{3/2}+19x^{2}+20x^{5/2}+26x^{3}+O\left(x^{7/2}\right)\end{array}
(2,13,1)(2,13,1) 1+4x1/4+11x+31x3/4+74x+156x5/4+320x3/2+611x7/4+1078x2+1846x9/4+3016x5/2+4660x11/4+7013x3+O(x13/4)\begin{array}[]{c}1+4x^{1/4}+11\sqrt{x}+31x^{3/4}+74x+156x^{5/4}+320x^{3/2}+611x^{7/4}\\ +1078x^{2}+1846x^{9/4}+3016x^{5/2}+4660x^{11/4}+7013x^{3}+O\left(x^{13/4}\right)\end{array}
(2,12,2)(2,12,2) 1+4x1/4+15x+43x3/4+117x+283x5/4+655x3/2+1416x7/4+2944x2+5840x9/4+11190x5/2+20656x11/4+36955x3+O(x13/4)\begin{array}[]{c}1+4x^{1/4}+15\sqrt{x}+43x^{3/4}+117x+283x^{5/4}+655x^{3/2}+1416x^{7/4}\\ +2944x^{2}+5840x^{9/4}+11190x^{5/2}+20656x^{11/4}+36955x^{3}+O\left(x^{13/4}\right)\end{array}
(2,11,3)(2,11,3) 1+4x1/4+15x+47x3/4+129x+331x5/4+794x3/2+1803x7/4+3923x2+8213x9/4+16607x5/2+32591x11/4+62180x3+O(x13/4)\begin{array}[]{c}1+4x^{1/4}+15\sqrt{x}+47x^{3/4}+129x+331x^{5/4}+794x^{3/2}+1803x^{7/4}\\ +3923x^{2}+8213x^{9/4}+16607x^{5/2}+32591x^{11/4}+62180x^{3}+O\left(x^{13/4}\right)\end{array}
3 (2,10,4)(2,10,4) 1+4x1/4+15x+47x3/4+133x+343x5/4+842x3/2+1947x7/4+4322x2+9244x9/4+19138x5/2+38460x11/4+75365x3+O(x13/4)\begin{array}[]{c}1+4x^{1/4}+15\sqrt{x}+47x^{3/4}+133x+343x^{5/4}+842x^{3/2}+1947x^{7/4}\\ +4322x^{2}+9244x^{9/4}+19138x^{5/2}+38460x^{11/4}+75365x^{3}+O\left(x^{13/4}\right)\end{array}
(2,9,5)(2,9,5) 1+4x1/4+15x+47x3/4+133x+347x5/4+854x3/2+1995x7/4+4466x2+9648x9/4+20177x5/2+41031x11/4+81348x3+O(x13/4)\begin{array}[]{c}1+4x^{1/4}+15\sqrt{x}+47x^{3/4}+133x+347x^{5/4}+854x^{3/2}+1995x^{7/4}\\ +4466x^{2}+9648x^{9/4}+20177x^{5/2}+41031x^{11/4}+81348x^{3}+O\left(x^{13/4}\right)\end{array}
(2,8,6)(2,8,6) 1+4x1/4+15x+47x3/4+133x+347x5/4+858x3/2+2007x7/4+4514x2+9788x9/4+20569x5/2+42031x11/4+83799x3+O(x13/4)\begin{array}[]{c}1+4x^{1/4}+15\sqrt{x}+47x^{3/4}+133x+347x^{5/4}+858x^{3/2}+2007x^{7/4}\\ +4514x^{2}+9788x^{9/4}+20569x^{5/2}+42031x^{11/4}+83799x^{3}+O\left(x^{13/4}\right)\end{array}
(2,7,7)(2,7,7) 1+4x1/4+15x+47x3/4+133x+347x5/4+858x3/2+2011x7/4+4522x2+9824x9/4+20665x5/2+42291x11/4+84443x3+O(x13/4)\begin{array}[]{c}1+4x^{1/4}+15\sqrt{x}+47x^{3/4}+133x+347x^{5/4}+858x^{3/2}+2011x^{7/4}\\ +4522x^{2}+9824x^{9/4}+20665x^{5/2}+42291x^{11/4}+84443x^{3}+O\left(x^{13/4}\right)\end{array}
(2,6,8)(2,6,8) 1+5x+7x3/4+20x+41x5/4+95x3/2+176x7/4+379x2+705x9/4+1359x5/2+2494x11/4+4587x3+O(x13/4)\begin{array}[]{c}1+5\sqrt{x}+7x^{3/4}+20x+41x^{5/4}+95x^{3/2}+176x^{7/4}+379x^{2}\\ +705x^{9/4}+1359x^{5/2}+2494x^{11/4}+4587x^{3}+O\left(x^{13/4}\right)\end{array}
(2,5,9)(2,5,9) 1+4x1/4+11x+31x3/4+79x+183x5/4+412x3/2+889x7/4+1833x2+3690x9/4+7232x5/2+13784x11/4+25751x3+O(x13/4)\begin{array}[]{c}1+4x^{1/4}+11\sqrt{x}+31x^{3/4}+79x+183x^{5/4}+412x^{3/2}+889x^{7/4}\\ +1833x^{2}+3690x^{9/4}+7232x^{5/2}+13784x^{11/4}+25751x^{3}+O\left(x^{13/4}\right)\end{array}
(2,4,10)(2,4,10) 1+5x+3x3/4+20x+21x5/4+73x3/2+96x7/4+241x2+367x9/4+750x5/2+1193x11/4+2200x3+O(x13/4)\begin{array}[]{c}1+5\sqrt{x}+3x^{3/4}+20x+21x^{5/4}+73x^{3/2}+96x^{7/4}+241x^{2}\\ +367x^{9/4}+750x^{5/2}+1193x^{11/4}+2200x^{3}+O\left(x^{13/4}\right)\end{array}
(2,3,11)(2,3,11) 1+x+7x3/4+2x+13x5/4+37x3/2+26x7/4+77x2+164x9/4+154x5/2+339x11/4+603x3+O(x13/4)\begin{array}[]{c}1+\sqrt{x}+7x^{3/4}+2x+13x^{5/4}+37x^{3/2}+26x^{7/4}+77x^{2}\\ +164x^{9/4}+154x^{5/2}+339x^{11/4}+603x^{3}+O\left(x^{13/4}\right)\end{array}
(2,2,12)(2,2,12) 1+x+3x3/4+6x+5x5/4+18x3/2+23x7/4+28x2+49x9/4+70x5/2+73x11/4+103x3+O(x13/4)\begin{array}[]{c}1+\sqrt{x}+3x^{3/4}+6x+5x^{5/4}+18x^{3/2}+23x^{7/4}+28x^{2}\\ +49x^{9/4}+70x^{5/2}+73x^{11/4}+103x^{3}+O\left(x^{13/4}\right)\end{array}
(2,1,13)(2,1,13) 1+x+3x3/4+x+6x5/4+5x3/2+6x7/42x2+10x9/4+4x5/2+3x11/4+8x3+O(x13/4)\begin{array}[]{c}1+\sqrt{x}+3x^{3/4}+x+6x^{5/4}+5x^{3/2}+6x^{7/4}-2x^{2}\\ +10x^{9/4}+4x^{5/2}+3x^{11/4}+8x^{3}+O\left(x^{13/4}\right)\end{array}
n (Nf,Nc,N~c)(N_{f},N_{c},\tilde{N}_{c}) SCI
(2,22,0)(2,22,0) 1+4x1/3+14x2/3+36x+81x4/3+156x5/3+272x2+428x7/3+628x8/3+O(x17/6)\begin{array}[]{c}1+4x^{1/3}+14x^{2/3}+36x+81x^{4/3}+156x^{5/3}+272x^{2}\\ +428x^{7/3}+628x^{8/3}+O\left(x^{17/6}\right)\end{array}
(2,21,1)(2,21,1) 1+4x1/6+11x1/3+28x+62x2/3+131x5/6+264x+500x7/6+917x4/3+1619x3/2+2771x5/3+4630x11/6+7510x2+11915x13/6+18502x7/3+28116x5/2+41987x8/3+O(x17/6)\begin{array}[]{c}1+4x^{1/6}+11x^{1/3}+28\sqrt{x}+62x^{2/3}+131x^{5/6}+264x+500x^{7/6}\\ +917x^{4/3}+1619x^{3/2}+2771x^{5/3}+4630x^{11/6}+7510x^{2}\\ +11915x^{13/6}+18502x^{7/3}+28116x^{5/2}+41987x^{8/3}+O\left(x^{17/6}\right)\end{array}
(2,20,2)(2,20,2) 1+4x1/6+15x1/3+40x+105x2/3+239x5/6+535x+1103x7/6+2233x4/3+4284x3/2+8075x5/3+14652x11/6+26146x2+45332x13/6+77380x7/3+129092x5/2+212259x8/3+O(x17/6)\begin{array}[]{c}1+4x^{1/6}+15x^{1/3}+40\sqrt{x}+105x^{2/3}+239x^{5/6}+535x+1103x^{7/6}\\ +2233x^{4/3}+4284x^{3/2}+8075x^{5/3}+14652x^{11/6}+26146x^{2}\\ +45332x^{13/6}+77380x^{7/3}+129092x^{5/2}+212259x^{8/3}+O\left(x^{17/6}\right)\end{array}
(2,19,3)(2,19,3) 1+4x1/6+15x1/3+44x+117x2/3+287x5/6+658x+1439x7/6+3008x4/3+6071x3/2+11870x5/3+22569x11/6+41879x2+75983x13/6+135121x7/3+235897x5/2+404861x8/3+O(x17/6)\begin{array}[]{c}1+4x^{1/6}+15x^{1/3}+44\sqrt{x}+117x^{2/3}+287x^{5/6}+658x+1439x^{7/6}\\ +3008x^{4/3}+6071x^{3/2}+11870x^{5/3}+22569x^{11/6}+41879x^{2}\\ +75983x^{13/6}+135121x^{7/3}+235897x^{5/2}+404861x^{8/3}+O\left(x^{17/6}\right)\end{array}
(2,18,4)(2,18,4) 1+4x1/6+15x1/3+44x+121x2/3+299x5/6+706x+1567x7/6+3359x4/3+6911x3/2+13829x5/3+26856x11/6+50982x2+94560x13/6+172085x7/3+307324x5/2+540035x8/3+O(x17/6)\begin{array}[]{c}1+4x^{1/6}+15x^{1/3}+44\sqrt{x}+121x^{2/3}+299x^{5/6}+706x+1567x^{7/6}\\ +3359x^{4/3}+6911x^{3/2}+13829x^{5/3}+26856x^{11/6}+50982x^{2}\\ +94560x^{13/6}+172085x^{7/3}+307324x^{5/2}+540035x^{8/3}+O\left(x^{17/6}\right)\end{array}
(2,17,5)(2,17,5) 1+4x1/6+15x1/3+44x+121x2/3+303x5/6+718x+1615x7/6+3487x4/3+7267x3/2+14684x5/3+28880x11/6+55441x2+104155x13/6+191864x7/3+347173x5/2+617955x8/3+O(x17/6)\begin{array}[]{c}1+4x^{1/6}+15x^{1/3}+44\sqrt{x}+121x^{2/3}+303x^{5/6}+718x+1615x^{7/6}\\ +3487x^{4/3}+7267x^{3/2}+14684x^{5/3}+28880x^{11/6}+55441x^{2}\\ +104155x^{13/6}+191864x^{7/3}+347173x^{5/2}+617955x^{8/3}+O\left(x^{17/6}\right)\end{array}
5 (2,16,6)(2,16,6) 1+4x1/6+15x1/3+44x+121x2/3+303x5/6+722x+1627x7/6+3535x4/3+7395x3/2+15040x5/3+29740x11/6+57480x2+108679x13/6+201631x7/3+367444x5/2+659006x8/3+O(x19/6)\begin{array}[]{c}1+4x^{1/6}+15x^{1/3}+44\sqrt{x}+121x^{2/3}+303x^{5/6}+722x+1627x^{7/6}\\ +3535x^{4/3}+7395x^{3/2}+15040x^{5/3}+29740x^{11/6}+57480x^{2}\\ +108679x^{13/6}+201631x^{7/3}+367444x^{5/2}+659006x^{8/3}+O\left(x^{19/6}\right)\end{array}
(2,15,7)(2,15,7) 1+4x1/6+15x1/3+44x+121x2/3+303x5/6+722x+1631x7/6+3547x4/3+7443x3/2+15168x5/3+30096x11/6+58340x2+110723x13/6+206170x7/3+377276x5/2+679445x8/3+O(x19/6)\begin{array}[]{c}1+4x^{1/6}+15x^{1/3}+44\sqrt{x}+121x^{2/3}+303x^{5/6}+722x+1631x^{7/6}\\ +3547x^{4/3}+7443x^{3/2}+15168x^{5/3}+30096x^{11/6}+58340x^{2}\\ +110723x^{13/6}+206170x^{7/3}+377276x^{5/2}+679445x^{8/3}+O\left(x^{19/6}\right)\end{array}
(2,14,8)(2,14,8) 1+4x1/6+15x1/3+44x+121x2/3+303x5/6+722x+1631x7/6+3551x4/3+7455x3/2+15216x5/3+30224x11/6+58696x2+111583x13/6+208214x7/3+381816x5/2+689280x8/3+O(x19/6)\begin{array}[]{c}1+4x^{1/6}+15x^{1/3}+44\sqrt{x}+121x^{2/3}+303x^{5/6}+722x+1631x^{7/6}\\ +3551x^{4/3}+7455x^{3/2}+15216x^{5/3}+30224x^{11/6}+58696x^{2}\\ +111583x^{13/6}+208214x^{7/3}+381816x^{5/2}+689280x^{8/3}+O\left(x^{19/6}\right)\end{array}
(2,13,9)(2,13,9) 1+4x1/6+15x1/3+44x+121x2/3+303x5/6+722x+1631x7/6+3551x4/3+7459x3/2+15228x5/3+30272x11/6+58824x2+111939x13/6+209070x7/3+383848x5/2+693776x8/3+O(x19/6)\begin{array}[]{c}1+4x^{1/6}+15x^{1/3}+44\sqrt{x}+121x^{2/3}+303x^{5/6}+722x+1631x^{7/6}\\ +3551x^{4/3}+7459x^{3/2}+15228x^{5/3}+30272x^{11/6}+58824x^{2}\\ +111939x^{13/6}+209070x^{7/3}+383848x^{5/2}+693776x^{8/3}+O\left(x^{19/6}\right)\end{array}
(2,12,10)(2,12,10) 1+4x1/6+15x1/3+44x+121x2/3+303x5/6+722x+1631x7/6+3551x4/3+7459x3/2+15232x5/3+30284x11/6+58872x2+112063x13/6+209414x7/3+384660x5/2+695692x8/3+O(x19/6)\begin{array}[]{c}1+4x^{1/6}+15x^{1/3}+44\sqrt{x}+121x^{2/3}+303x^{5/6}+722x+1631x^{7/6}\\ +3551x^{4/3}+7459x^{3/2}+15232x^{5/3}+30284x^{11/6}+58872x^{2}\\ +112063x^{13/6}+209414x^{7/3}+384660x^{5/2}+695692x^{8/3}+O\left(x^{19/6}\right)\end{array}
(2,11,11)(2,11,11) 1+4x1/6+15x1/3+44x+121x2/3+303x5/6+722x+1631x7/6+3551x4/3+7459x3/2+15232x5/3+30288x11/6+58880x2+112099x13/6+209494x7/3+384888x5/2+696196x8/3+O(x19/6)\begin{array}[]{c}1+4x^{1/6}+15x^{1/3}+44\sqrt{x}+121x^{2/3}+303x^{5/6}+722x+1631x^{7/6}\\ +3551x^{4/3}+7459x^{3/2}+15232x^{5/3}+30288x^{11/6}+58880x^{2}\\ +112099x^{13/6}+209494x^{7/3}+384888x^{5/2}+696196x^{8/3}+O\left(x^{19/6}\right)\end{array}
(2,10,12)(2,10,12) 1+5x1/3+4x+20x2/3+27x5/6+75x+121x7/6+268x4/3+456x3/2+900x5/3+1541x11/6+2843x2+4826x13/6+8506x7/3+14238x5/2+24248x8/3+O(x19/6)\begin{array}[]{c}1+5x^{1/3}+4\sqrt{x}+20x^{2/3}+27x^{5/6}+75x+121x^{7/6}+268x^{4/3}\\ +456x^{3/2}+900x^{5/3}+1541x^{11/6}+2843x^{2}+4826x^{13/6}\\ +8506x^{7/3}+14238x^{5/2}+24248x^{8/3}+O\left(x^{19/6}\right)\end{array}
(2,9,13)(2,9,13) 1+4x1/6+11x1/3+28x+67x2/3+151x5/6+324x+667x7/6+1330x4/3+2581x3/2+4891x5/3+9070x11/6+16495x2+29496x13/6+51924x7/3+90107x5/2+154331x8/3+O(x19/6)\begin{array}[]{c}1+4x^{1/6}+11x^{1/3}+28\sqrt{x}+67x^{2/3}+151x^{5/6}+324x+667x^{7/6}\\ +1330x^{4/3}+2581x^{3/2}+4891x^{5/3}+9070x^{11/6}+16495x^{2}\\ +29496x^{13/6}+51924x^{7/3}+90107x^{5/2}+154331x^{8/3}+O\left(x^{19/6}\right)\end{array}
n (Nf,Nc,N~c)(N_{f},N_{c},\tilde{N}_{c}) SCI
(2,8,14)(2,8,14) 1+5x1/3+20x2/3+7x5/6+65x+41x7/6+190x4/3+176x3/2+536x5/3+611x11/6+1454x2+1876x13/6+3843x7/3+5322x5/2+9856x8/3+O(x19/6)\begin{array}[]{c}1+5x^{1/3}+20x^{2/3}+7x^{5/6}+65x+41x^{7/6}+190x^{4/3}+176x^{3/2}\\ +536x^{5/3}+611x^{11/6}+1454x^{2}+1876x^{13/6}+3843x^{7/3}\\ +5322x^{5/2}+9856x^{8/3}+O\left(x^{19/6}\right)\end{array}
(2,7,15)(2,7,15) 1+4x1/6+11x1/3+28x+63x2/3+135x5/6+280x+555x7/6+1068x4/3+2001x3/2+3661x5/3+6570x11/6+11573x2+20058x13/6+34248x7/3+57685x5/2+95975x8/3+O(x19/6)\begin{array}[]{c}1+4x^{1/6}+11x^{1/3}+28\sqrt{x}+63x^{2/3}+135x^{5/6}+280x+555x^{7/6}\\ +1068x^{4/3}+2001x^{3/2}+3661x^{5/3}+6570x^{11/6}+11573x^{2}\\ +20058x^{13/6}+34248x^{7/3}+57685x^{5/2}+95975x^{8/3}+O\left(x^{19/6}\right)\end{array}
(2,6,16)(2,6,16) 1+5x1/3+20x2/3+3x5/6+65x+21x7/6+190x4/3+96x3/2+514x5/3+351x11/6+1316x2+1116x13/6+3234x7/3+3220x5/2+7696x8/3+O(x19/6)\begin{array}[]{c}1+5x^{1/3}+20x^{2/3}+3x^{5/6}+65x+21x^{7/6}+190x^{4/3}+96x^{3/2}\\ +514x^{5/3}+351x^{11/6}+1316x^{2}+1116x^{13/6}+3234x^{7/3}\\ +3220x^{5/2}+7696x^{8/3}+O\left(x^{19/6}\right)\end{array}
5 (2,5,17)(2,5,17) 1+x1/3+4x+2x2/3+11x5/6+13x+21x7/6+47x4/3+58x3/2+117x5/3+171x11/6+260x2+451x13/6+635x7/3+1032x5/2+1533x8/3+O(x19/6)\begin{array}[]{c}1+x^{1/3}+4\sqrt{x}+2x^{2/3}+11x^{5/6}+13x+21x^{7/6}+47x^{4/3}\\ +58x^{3/2}+117x^{5/3}+171x^{11/6}+260x^{2}+451x^{13/6}+635x^{7/3}\\ +1032x^{5/2}+1533x^{8/3}+O\left(x^{19/6}\right)\end{array}
(2,4,18)(2,4,18) 1+x1/3+6x2/3+3x5/6+11x+5x7/6+31x4/3+26x3/2+68x5/3+57x11/6+142x2+160x13/6+314x7/3+355x5/2+627x8/3+O(x19/6)\begin{array}[]{c}1+x^{1/3}+6x^{2/3}+3x^{5/6}+11x+5x^{7/6}+31x^{4/3}+26x^{3/2}\\ +68x^{5/3}+57x^{11/6}+142x^{2}+160x^{13/6}+314x^{7/3}+355x^{5/2}\\ +627x^{8/3}+O\left(x^{19/6}\right)\end{array}
(2,3,19)(2,3,19) 1+x1/3+2x2/3+7x5/6+3x+13x7/6+4x4/3+26x3/2+39x5/3+38x11/6+80x2+57x13/6+157x7/3+201x5/2+237x8/3+O(x19/6)\begin{array}[]{c}1+x^{1/3}+2x^{2/3}+7x^{5/6}+3x+13x^{7/6}+4x^{4/3}+26x^{3/2}\\ +39x^{5/3}+38x^{11/6}+80x^{2}+57x^{13/6}+157x^{7/3}+201x^{5/2}\\ +237x^{8/3}+O\left(x^{19/6}\right)\end{array}
(2,2,20)(2,2,20) 1+x1/3+2x2/3+3x5/6+6x+5x7/6+11x4/3+7x3/2+23x5/3+25x11/6+33x2+39x13/6+47x7/3+61x5/2+96x8/3+O(x19/6)\begin{array}[]{c}1+x^{1/3}+2x^{2/3}+3x^{5/6}+6x+5x^{7/6}+11x^{4/3}+7x^{3/2}\\ +23x^{5/3}+25x^{11/6}+33x^{2}+39x^{13/6}+47x^{7/3}+61x^{5/2}\\ +96x^{8/3}+O\left(x^{19/6}\right)\end{array}
(2,1,21)(2,1,21) 1+x1/3+x2/3+3x5/6+x+6x7/6+x4/3+6x3/2+5x5/3+6x11/62x2+6x13/6+4x7/3+10x5/2+4x8/3+O(x19/6)\begin{array}[]{c}1+x^{1/3}+x^{2/3}+3x^{5/6}+x+6x^{7/6}+x^{4/3}+6x^{3/2}\\ +5x^{5/3}+6x^{11/6}-2x^{2}+6x^{13/6}+4x^{7/3}+10x^{5/2}\\ +4x^{8/3}+O\left(x^{19/6}\right)\end{array}
Table 15: The superconformal index results for the double adjoint theories with ΔWA=W0++W0\Delta W_{A}=W_{0}^{+}+W_{0}^{-}. Here we list the cases with (n,Nf)=(3,1),(3,2)(n,N_{f})=(3,1),\,(3,2) and (n,Nf)=(5,2)(n,N_{f})=(5,2). In each case, the gauge invariant operators with negative conformal dimension are flipped for the expansion of the index. The SU(Nf)t×SU(Nf)uSU(N_{f})_{t}\times SU(N_{f})_{u} flavor fugacities are all omitted for simplicity.

References