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
Abstract
We propose new 3d Seiberg-like dualities by considering various monopole superpotential deformations on 3d 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 -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 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 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 theory with fundamental flavors and linear monopole superpotentials is identified with the S-duality wall for the 4d 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 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 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 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 theories with three and four fundamental flavors and a single adjoint field with the superpotential . We perform the -maximization to check when the monopole deformation is relevant. We also comment on the symmetry enhancement of the 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
2.1 Review of the duality without the monopole superpotential
In this section, we first review the Seiberg-like duality of a 3d gauge theory with one adjoint and fundamental matters Kim:2013cma , which we call the Kim–Park duality.
-
•
Theory A is the 3d gauge theory with pairs of fundamental and anti-fundamental , one adjoint chiral multiplet and the superpotential
(1) -
•
Theory B is the 3d gauge theory with pairs of fundamental and anti-fundemental , one adjoint , and gauge singlet chiral multiplets and for and . The superpotential is given by
(2) where are the monopole operators of Theory B.
The global symmetry and charges are summarized in Table 1.
1 | 0 | ||||
1 | 0 | ||||
0 | 0 | ||||
-1 | 0 | ||||
-1 | 0 | ||||
0 | 0 | ||||
2 | 0 | ||||
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 on the adjoint field such that the traces of powers of higher than are truncated in the chiral ring. In 4d, the duality of a theory with such a superpotential, later called the theory Intriligator:2003mi , was studied in Kutasov:1995ve ; Kutasov:1995np ; Kutasov:1995ss . It was also discussed that two and theories with are connected by an RG flow triggered by the extra superpotential Kutasov:2003iy ; Intriligator:2016sgx
(3) |
This deformation leads to a discrete set of the vacuum expectation values of , breaking the theory as follows:
(4) |
where the theory is an ordinary SQCD without the adjoint because it contains the mass term for . Especially, once we turn on where is a generic polynomial of degree in , the VEV of is parameterized by
(5) |
where ’s are the distinct solutions to the equation
(6) |
This breaks the gauge group into
(7) |
where each sector only has pairs of fundamental and anti-fundamental fields. The adjoint field becomes massive because . 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 , , and for . While the branch described by is lifted after turning on the polynomial superpotential , the dimensions of the other branches remain unchanged. For instance, both the original theory and the broken theory have -dimensional Coulomb branches, which are respectively described by for and by for where are a pair of monopole operators of each sector.
One can consider the same deformation for Theory B. The corresponding deformation on the dual side should be the same polynomial superpotential of degree now in because the term is mapped to . The VEV of is parameterized by
(8) |
where ’s are the solutions to the equation
(9) |
This VEV breaks the dual gauge group into
(10) |
where now one can see that should satisfy
(11) |
so that it is consistent with the duality of the broken theory. Each sector then has pairs of fundamental and anti-fundamental fields and singlets interacting via the superpotential:
(12) |
which is the Aharony dual theory Aharony:1997gp of the sector of the broken theory. Hence, once we turn on the polynomial superpotential , 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:
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 SQCD can be deformed by the monopole superpotential 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 SQCD put on a circle, whose effective theory is 3-dimensional. Similarly, one can also consider the compactification of a 4d SQCD, which flows to the same fixed point as the 3d theory deformed by the monopole superpotential Aharony:2013dha . Moreover, this theory further flows to the 3d theory with linear monopole superpotential Benini:2017dud once we turn on some real mass breaking into . 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 theory with flavors deformed by linear monopole superpotential enjoys the following Seiberg-like duality.
-
•
Theory A is the 3d gauge theory with flavors and the superpotential
(13) where are the monopole operators of Theory A.
-
•
Theory B is the 3d gauge theory with flavors , gauge singlets , and the superpotential
(14) where 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 theory with an adjoint matter and the superpotential has monopole operators for . 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:
(15) |
For , 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 SQCD with an antisymmetric matter and turning on suitable real mass breaking into . Most importantly, this 4d theory enjoys the Intriligator–Leigh–Strassler duality Intriligator:1995ax , which in turn descends to a duality for the 3d SQCD with an adjoint matter and the superpotential
(16) |
The dual theory is given by the theory with the superpotential
(17) |
which also includes the linear superpotential of the dual monopole operators . Note that the monopole superpotential lifts the Coulomb branch of the moduli space.
We attempt to generalize this duality for . Since have the smallest conformal dimension among the monopole operators of the single adjoint theory, it is often the case that decouple in the IR and its linear deformation breaks supersymmetry. Nevertheless, even in such cases, there could exist interacting for higher , 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 .
Our proposal is as follows.
-
•
Theory A is the 3d gauge theory with pairs of fundamental and anti-fundamental , one adjoint chiral multiplet and the superpotential
(18) where are monopole operators of Theory A.
-
•
Theory B is the 3d gauge theory with pairs of fundamental and anti-fundemental , one adjoint , and gauge singlet chiral multiplets for and . The superpotential is given by
(19) where are the monopole operators of Theory B.
Due to the monopole superpotential, monopole operators of Theory A and of Theory B become massive for . The duality map of the remaining monopole operators is given by
(20) |
Since the superpotential for 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 , let us first revisit the case using such an altenative approach and then discuss subsequently. We first note that the extra superpotential (15) with :
(21) |
is mapped to the superpotential of the same form on the dual side
(22) |
where 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
(23) |
which gives rise to non-zero VEVs of the dual monopole operators .
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:
(24) |
As seen in the previous subsection, this leads to the nonzero VEV of , which breaks the theory into the sectors consisting of the gauge theories without an adjoint matter for . Each sector has a pair of monopole operators and the extra monopole superpotential (21) we turn on is expected to descend to the following linear superpotential for each sector:
(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 theory with the superpotential:
(26) |
We find that the collection of those dual sectors is nothing but the effective low energy description of the theory with the superpotential:
(27) |
where is given in (17). As argued in the previous subsection, and the first term of result in distinct vacuum solutions governed by the theories without the adjoint . Then the remaining terms of become the superpotential (26) for each sector. Hence, the theory with the superpotential (27) flows to the collection of the theories with the superpotential (26).
One should note that is dual to , the extra superpotential we introduce on the original side. Thus, once we turn off both of them, we have a duality between the theory with the superpotential (16) and the 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:
(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 . We first recall that the theory with an adjoint matter has the -dimensional Coulomb branch described by for , whose dimension is not affected even if we turn on the polynomial superpotential . Once the polynomial superpotential is turned on, the theory is decomposed into sectors, each of which has a 2-dimensional Coulomb branch described by their own monopole operators . Therefore, the total Coulomb branch is still a -dimensional one, now described by for .
We expect that the monopole superpotential (21) completely lifts this -dimensional Coulomb branch because it descends to the monopole superpotential (25) of each sector of the broken theory. Now let us imagine we turn on the monopole superpotential only for sectors of the broken theory. In that case, we still have un-lifted Coulomb branch for 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
(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 gauge theory, the dual sectors also combine into a gauge theory for .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 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 -dimensional.
We propose that the deformation (15) plays such a role. Namely, if we turn on the monopole superpotential
(35) |
we expect that this lifts the components of the Coulomb branch described by for . 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 theory and a 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 and . In addition, they also demand the -charge of the monopole operators to be 2; i.e.,
(36) |
which is satisfied only if the -charge of and is given by
(37) |
The -charge of and is then determined by
(38) |
This requires the -charge of the dual monopole operators to be
(39) |
which is consistent with the monopole terms in the dual superpotential (19). The resulting global charges are summarized in Table 2.
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
(40) |
is turned on, the monopole operators for become -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 :
(41) |
Here is the fermion number operator. and are supercharges chosen such that only the BPS states saturating
(42) |
contribute to the index, where energy , angular momentum , and -charge are three Cartans of the bosonic subgroup of the 3d superconformal group . 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 -charges of the monopole operators are free parameters, whose values at the IR fixed point should be independently determined by the -maximization Jafferis:2010un because the -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 -charges and fugacities because they are constrained by the given monopole superpotential. For examples, since the monopole superpotential (40) breaks and , there is no global symmetry that can be mixed with along the RG-flow unless there is an emergent symmetry. In such a case, the superconformal -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 -charge value determined by (37), which makes the -charge of two. A few examples of the results we obtain are shown in Table 3, whereas more results can be found in appendix A.
n | SCI | ||
---|---|---|---|
2 | |||
3 | |||
4 |
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:
(43) |
where the right hand side shows the corresponding dual operators, which describe the same moduli space. Note that on the left hand side are monopole operators, while 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:
(44) |
because they combine with some fermionic operators and become -exact. In addition, on the dual side, the singlets for all , which used to describe the Coulomb branch of the moduli space, are now all massive. Instead, we have dual monopole operators for , which are mapped to the monopole operators of the original theory as follows:
(45) |
Those monopole operators parameterize the unlifted Coulomb branch of the moduli space, which now has dimension rather than .
Therefore, in generic cases, the vacuum moduli space is parameterized by the VEVs of the following gauge invariant operators:
(46) | ||||
(47) | ||||
(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:
(49) |
if is less than either or .
To see the truncation of the monopole operators (44), let us examine the case with and as an example. Before turning on the monopole superpotential , the index is given by444While we have shown the terms up to to avoid clutter, the next terms up to can be easily obtained by taking the plethystic exponential of (2.3).
(50) |
where and are the characters of the representation of and that of respectively, and and are the and fugacities. While we have used a trial UV value of -charge , which is the same as the one determined in (37), the superconformal IR value can be obtained by shifting where the mixing coefficient should be determined by the -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
(51) |
where both sides are multiplied by 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 for :
(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:
(53) | ||||
(54) |
for , which play important roles when we turn on the monopole superpotential. Indeed, if we turn on the monopole superpotential ,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 in this case. However, this should be independently checked using, e.g., the -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 and , whose fugacities and thus have to be 1. Once we set in (2.3), we see that the monopole contribution (52) for is exactly canceled by , the contribution of the trace parts of and . In contrast, the monopole contribution (52) for still remains nontrivial. This means that the lowest monopole operators remain nontrivial in the chiral ring and still parametrize the Coulomb branch when we turn on the monopole superpotential , while the other monopole operators for combine with the trace parts of the fermionic operators and and become a long multiplet along the RG-flow. Therefore, the components of the Coulomb branch described by for are now lifted quantum mechanically.
In fact, this cancelation between the and for is generic because, with , always give the contribution , whose charges are fixed by the monopole superpotential , whereas the trace parts of and give exactly the same contribution with the opposite sign. Thus, we conclude that the components of the Coulomb branch parameterized by for are lifted by the monopole superpotential . The unlifted components are described by massless monopole operators for , which are mapped to the dual monopole operators under the proposed duality as shown in (45). Note that the monopole operators for of the dual theory also get lifted due to the dual superpotential , 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 are truncated due to the the F-term condition . However, if the gauge rank is smaller than , (or for ,) they are also subject to the classical rank conditions as follows:666Here the equation means the operator is written in terms of other chiral generators; e.g., of a gauge theory is not an independent generator because it is identified with .
(55) | ||||
(56) | ||||
(57) |
due to the characteristic equation of the matrix field . For example, is constrained because it is mapped to the following state with magnetic flux on via operator state correspondence of conformal field theories
(58) |
where the gauge group is broken to due to the magnetic flux, and is taken over unbroken . Then for is written in terms of with , and so is .
Among those three types of operators, is further subject to quantum mechanical truncation, which are expected from the duality. Recall that of the theory is mapped to of the dual theory. If the dual gauge rank is smaller than , the dual operator is also constrained by the classical rank condition:
(59) |
Due to the duality, the original operator must satisfy the same condition, which is the quantum effect in the theory instead. Namely, on top of the classical condition (55), the operator of the theory is constrained quantum mechanically as follows:
(60) |
if . On the other hand, the meson operators and the monopole operators are mapped to the gauge singlet operators and 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 , leading to an interesting consequence on chiral ring generators. We have seen that once we turn on the monopole superpotential , the gauge rank of the dual theory is reduced from to . Therefore, if the reduced dual rank is smaller than both and , there is quantum mechanical truncation of as follows:
(61) |
which shows that more operators are truncated than the case without the monopole superpotential.
For example, let us consider the case with and , whose dual theory is given by the theory before turning on the monopole superpotential. Since both and are larger than , we don’t expect any further constraint on other than the F-term condition . Therefore, 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
(62) |
with the plethystic logarithm
(63) |
where one can see the nontrivial contribution of .
However, if we turn on the monopole superpotential , the dual gauge rank becomes ; i.e., the dual theory is a Wess–Zumino theory of and . Since there is no on the dual side, we expect some quantum mechanical constraint should be imposed on on the original side as well. Indeed, this can be seen from the index, which is obtained from (2.3) by taking because the monopole superpotential breaks and . In the same manner, the plethystic log of the index is given by (2.3) with , where we find that the contribution of is exactly canceled by the negative contribution since we set . We note that this negative contribution originally reflects the classical rank condition for meson operators of the gauge group
(64) |
which is due to the fact that the gauge indices run over 1, 2 only. Thus, the cancelation indicates that is now identified with , which is now nontrivial in the chiral ring but not an independent generator once we turn on the monopole superpotential .
Let us give you another example with . We consider the case with and , whose dual theory is given by the theory before turning on the monopole superpotential. Since both and are larger than , again we don’t expect any further constraint on other than the F-term condition , implying that for are nontrivial chiral ring generators parametrizing the moduli space. If we look at the plethystic log of the superconformal index:
(65) |
we find the nontrivial contribution of for .
However, once we turn on the monopole superpotential , the dual gauge rank becomes . Since there is no on the dual side, we also expect a quantum mechanical constraint imposed on on the original side, which can be seen from the index by taking . Once we take , the plethystic log of the index shows that the contribution of is exactly canceled by the negative contribution . On the other hand, the contributions of and remain nontrivial as expected. We expect such cancelation should happen whenever the dual gauge rank becomes smaller than both and .
Lastly, we expect similar conditions for the monopole operators because they are now mapped to the dual monopole operators rather than the gauge singlet under the monopole-deformed duality. Indeed, one can use a similar argument to show that, if , the theory with the monopole superpotential yields extra quantum truncation of the monopole operators :
(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 and , where are lifted due to the monopole superpotential, while remain massless. See (52) and (53). In this case, we don’t see any extra constraint on other than (44) because both and are larger than . On the other hand, if we consider the case, now the dual rank becomes zero, requiring to vanish as well. Before showing its index, we have to comment that for with , is given by . Thus, the meson operators and have negative -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 and with the superpotential
(67) |
so that they do not contribute to the index. The F-term equations of and require . Once we flip and , the index is given by777In fact, a gauge invariant operator is decoupled if its -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 -charges are no greater than 1/2. On the other hand, here, and for the other examples, we only flip those with negative -charges for simplicity.
(68) |
with the plethystic logarithm
(69) |
where we can see that the contribution of is canceled by negative contribution once we set . This shows that, if the dual rank is less than or equal to , there are extra quantum constraints on the monopole operators as we expect in (66).
3 3d SQCD with double adjoint matters and
3.1 Review of the duality without the monopole superpotential
Now we move on to the duality for a 3d gauge theory with two adjoint matters. The duality without the monopole superpotential was proposed in Hwang:2018uyj as follows.
-
•
Theory A is the 3d gauge theory with pairs of fundamental and anti-fundamental , two adjoint chiral multiplets and the superpotential
(70) -
•
Theory B is the 3d gauge theory with pairs of fundamental and anti-fundemental , two adjoint , and three sets of gauge singlet chiral multiplets:888Our are denoted by in Hwang:2018uyj .
(74) The superpotential is given by
(75) where and are the monopole operators of Theory B.
The global symmetry and charges are summarized in Table 4.
For a generic case, the vacuum moduli space is described by
(81) |
with the constraint
(82) | ||||
(83) |
which is due to the F-term condition . Because of this condition, only one linear combination of and and that of and are nontrivial chiral ring generators, which will be simply denoted by and respectively.
Again it is helpful to examine the deformation by the superpotential where is a generic polynomial of degree in . The vacuum solutions for the adjoint fields are parametrized by
(84) |
where ’s are the solutions to the equation
(85) |
and are the two solutions to the equation
(86) |
and lastly are the solutions to the equation
(87) | |||
(88) |
Note that the adjoint VEVs are decomposed into several block matrices, either 1-dimensional or 2-dimensional. At a given vacuum solution, both and become massive, and the gauge group is broken into
(89) |
where is satisfied. In particular, is embedded in as a diagonal subgroup of . Accordingly, a fundamental or an anti-fundamental field of becomes two copies of a fundamental or an anti-fundamental field of . Thus, the 2-dimensional VEV sectors, with gauge group , have pairs of fundamental and anti-fundamental fields. On the other hand, the 1-dimensional VEV sectors, with gauge group , have 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 , the expectation values of the adjoints break the dual gauge group as follows:
(90) |
with
(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:
(92) | ||||
(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 matrix fields for and the matrix fields for , which are thus -dimensional in total, the same as the mesonic Higgs branch dimension of the undeformed theory described by for and . Similarly, the Coulomb branch is described by and , which are -dimensional, again the same as the Coulomb branch dimension of the undeformed theory described by and for with and . 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: carrying the unit topological symmetry charge and carrying the topological symmetry charge . Thus, one can also consider two types of deformations by linear monopole superpotentials:
(94) |
and
(95) |
where we focus on the and cases for simplicity and leave the other cases for future works.
Firstly, we consider the deformation (94) with the simplest monopole operators . We conjecture that this linear superpotential leads to a new monopole duality as follows.
-
•
Theory A is the 3d gauge theory with pairs of fundamental and anti-fundamental , two adjoint chiral multiplets and the superpotential
(96) where are a pair of monopole operators of Theory A with topological symmetry charge .
-
•
Theory B is the 3d gauge theory with pairs of fundamental and anti-fundemental , two adjoint , and gauge singlet chiral multiplets for , and . The superpotential is given by
(97) where are a pair of monopole operators of Theory B with topological symmetry charge .
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 , which makes both adjoint fields and massive. As we have discussed in the previous subsection, the low energy description consists of several broken sectors
(98) |
without the adjoint fields. Furthermore, the extra superpotential (94) would descend to the following linear monopole superpotential:
(99) |
for each sector and
(100) |
for each sector where and are the monopole operators of the sector and the 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:
(101) |
with the dual superpotentials
(102) |
where we also have the linear monopole superpotentials of the dual monopole operators and .
Indeed, this is exactly what we expect from Theory B deformed by the same polynomial superpotential. Once we turn on for Theory B, the non-zero VEVs of and lead to the low energy description with the broken gauge group
(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:
(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 or . 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 and and also demands the -charge of the monopole operators to be 2; i.e.,
(108) |
which is satisfied only if the -charge of and is given by
(109) |
The -charge of and is then determined by
(110) |
This requires the -charge of the dual monopole operators to be
(111) |
which is consistent with the monopole terms in the dual superpotential (97). The resulting global charges are summarized in Table 5.
Next, let us consider the deformation
(112) |
The duality we propose is as follows.
-
•
Theory A is the 3d gauge theory with pairs of fundamental fields and anti-fundamental fields , two adjoint fields and the superpotential
(113) where are a pair of monopole operators of Theory A with topological symmetry charge .
-
•
Theory B is the 3d gauge theory with pairs of fundamental fields and anti-fundemental fields , two adjoint fields , and gauge singlet fields for , and . The superpotential is given by
(114) where are a pair of monopole operators of Theory B with topological symmetry charge .
To check the duality, we again turn on the polynomial superpotential , which breaks the gauge group into
(115) |
Recall that is embedded in as a diagonal subgroup of . Thus, the unit charged monopole operators of the sector should correspond to the doubly charged monopole operators of the unbroken theory. We therefore expect that the deformation (112) by only leads to the monopole superpotential for the 2-dimensional VEV sectors, in contrast to the deformation (94) by 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
(116) | ||||
(117) |
with the superpotential
(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 . The expected theory leading to such a low energy description when deformed by is the theory with the superpotential (114). One can check that once we turn on the polynomial superpotential , the first and second terms lead to the non-zero VEVs of and , which break the gauge group into
(119) |
while the remaining terms descend to the superpotential (118) of the broken theory. Those relations can be summarized as:
(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 or .
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 -charge of and must be
(124) |
because the -charge of the monopole operator :
(125) |
should be 2. The -charge of and is then given by
(126) |
This requires the -charge of the dual monopole operators to be
(127) |
which is consistent with the dual monopole superpotential (114). The resulting global charges are summarized in Table 6.
We will also provide further evidence of the duality using the superconformal index. See section 3.4.
3.3 The superconformal index for
In this subsection, we provide nontrivial evidence of the proposed duality for the double adjoint theory with monopole superpotential
(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 -charge. Then, as explained in the single adjoint case, the index with the monopole superpotential can be obtained by taking the -charge of the fundamental matters to be determined by (109) and turning off the fugacities of and , 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 | SCI | |
---|---|---|
3 | ||
In some cases, 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:
(129) | ||||
(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:
(131) | ||||
(132) | ||||
(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:
(134) |
which happens when .
To see the truncation of the monopole operators (129), let us consider the case as an example. To read off chiral ring relations, it is convenient to evaluate the plethystic logarithm of the index999The (unrefined) index of the case is given in appendix A., which is given by
(135) |
where we keep and nontrivial; thus, this corresponds to the index before turning on the monopole superpotential. Note that both sides are multiplied by to remove the contribution of descendants derived by the derivative operator. We have used determined by (109) as a trial -charge and also suppressed many terms irrelevant to our discussion here. One can see the contributions of the monopole operators :
(136) |
for and that of :
(137) |
Now recall that the index after turning on the monopole superpotential can be simply obtained by taking . Then the contributions of and would be canceled by negative contributions in the trivial representation of the 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 are canceled by the negative contributions of the following fermionic operators:
(138) |
for . On the other hand, we couldn’t identify the general pattern of the cancelation for the monopole operators because their contributions appear at higher orders of , which are hard to evaluate for higher values of and . Nevertheless, we have confirmed for and that there are some negative contributions, which may cancel the contribution of . Such cancelations imply that the monopole operators and 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 and as shown in (134). As in the single adjoint case, we first note that the operators for are classically truncated as
(139) |
due to the characteristic equation of the matrix field for . 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 get extra quantum constraints:
(140) |
if because their dual operators are classically constrained as follows:
(141) |
Similarly, the operator also gets quantum constraint
(142) |
if because in this case the dual gauge rank is zero, and the dual operator doesn’t exist.
Now we turn on the monopole superpotential (128). Then the dual gauge rank decreases from to , which affects the quantum constraints on and . Indeed, if the dual rank is smaller than , we expect quantum constraints on as follows:
(143) |
Furthermore, now vanishes when . Therefore, combined with the original constraints before turning on the monopole superpotential, the complete truncation of and in the presence of the monopole superpotential (128) is given by (134).
Let us discuss some examples. We are going to consider the cases: with . In those cases, the dual ranks are given by respectively. Firstly, for , the plethystic log of the index is given by
(144) |
where has to be 1 if the monopole superpotential is turned on. One can see that the contributions of and for ,
(145) |
are all nontrivial regardless of . Therefore, those operators are not affected by the monopole superpotential, which is consistent with the fact that the extra quantum truncation happens only when .
Next, for , the plethystic log of the index is given by
(146) |
For , i.e., before turning on the monopole superpotential, one can find the nontrivial contributions (168) of and for . On the other hand, once we set , i.e., after turning on the monopole superpotential, the contribution of is canceled by . This shows that is quantum mechanically truncated, which is consistent with the fact that its dual operator is classically truncated because the dual gauge rank is 2.
Similarly, for , the plethystic log of the index is given by
(147) |
where we have only evaluated the index up to due to the limited computing power. Nevertheless, up to this order, we find all the expected contributions of and for when . Once we set , the contribution of is canceled by , which is expected because the dual operator of is classically truncated in the dual theory.
Lastly, for , the plethystic log of the index is given by
(148) |
which is evaluated only up to due to the limited computing power. One can see the contribution of when , which is canceled by when , which shows the expected quantum truncation (134) of .
3.4 The superconformal index for
Lastly, we test our proposal for the duality with monopole superpotentail
(149) |
using the superconformal index. Again the index is computed using the factorization formula in Hwang:2018uyj with the -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 | SCI | |
---|---|---|
5 | ||
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 remain massless, the other monopole operators all become massive once the superpotential (149) is turned on:
(150) |
As a result, in generic cases, the moduli space are parametrized by
(151) | ||||
(152) | ||||
(153) | ||||
(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:
(155) |
which happens when .
To see the truncation of the monopole operators (150), let us consider the case , 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 case is given in appendix A. before turning on the monopole superpotential (149) is given by
(156) |
where we have used the -charge determined by (124). Again, both sides are multiplied by to remove the contribution of descendants derived by the derivative operator. We find the contributions of the monopole operators for :
(157) |
and those of for :
(158) |
Once we turn on the monopole superpotential (149), we have to set . Then one can see that the contributions of are canceled by
(159) |
the contributions of fermionic operators
(160) |
for , which is consistent with what we expect in (129). On the other hand, the contributions of remain nontrivial regardless of and , which also agrees with the expectation.
The second effect of the monopole superpotential (149) is the quantum truncation of the operators , , and . Recall that, before turning on the monopole superpotential, , , and 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:
(161) |
On the other hand, once we turn on the monopole superpotential (149), the dual gauge rank decreases from to , in which case we expect quantum constraints on or as follows:
(162) | ||||
(163) | ||||
(164) | ||||
(165) |
Therefore, combined with the original constraints in (161), the complete truncation of and in the presence of the monopole superpotential (149) is given by (155).
Let us discuss some examples. We are going to consider the cases: with , whose dual ranks are respectively. Firstly, for , the plethystic log of the index is given by
(166) |
where and have to be 1 if the monopole superpotential is turned on. One can see that the contributions of and for ,
(167) |
and those of and for ,
(168) |
are all nontrivial regardless of and . Therefore, those operators are not affected by the monopole superpotential, which is consistent with the fact that the extra quantum truncation happens only when .
Next, for , the plethystic log of the index is given by
(169) |
For , i.e., before turning on the monopole superpotential, one can find the nontrivial contributions (167) and (168) of , and , while once we set , i.e., after turning on the monopole superpotential, the contribution of is canceled by . This shows that are quantum mechanically truncated, which is consistent with the fact that its dual operators are classically truncated because the dual gauge rank is 5.
Similarly, for , the plethystic log of the indices are given by
(170) |
(171) |
(172) |
(173) |
(174) |
where we set for simplicity. One can see that the contributions of and appearing in the above indices satisfy the condition (155). In addition, once we set , the contributions of also satisfy the condition (155).
4 The -maximization with 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 -maximization Jafferis:2010un , which determines the superconformal -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 theories with and . Since this cubic superpotential of the adjoint field is relevant, we fix and perform the -maximization to determine the -charge of the fundamental field and those the monopole operators , which are given in terms of as follows:
(175) | ||||
(176) |
respectively. One can carry out similar analysis for other values of and , which we don’t do here due to computational simplicity.
The result of the -maximization is summarized in Table 9.
For , both and are relevant operators because their dimensions are less than 2. For example, we can turn on
(177) |
which triggers an RG flow to a new IR fixed point having another dual UV description, the theory with extra matrix fields and the superpotential
(178) |
where the contracted gauge and flavor indices are omitted for simplicity. As seen in (37), the monopole superpotential fixes the -charge of the fundamental field to so that becomes two.
We can compute the superconformal index with this value of , which is given by
(179) |
where is the character of the representation of the global symmetry, and is that of . Note that is broken by the monopole superpotential. We observe negative terms of order , which are the contributions of the current multiplet Razamat:2016gzx . In this case, it is in the adjoint representation of , 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 , only are relevant operators, while are not. Thus, we can now turn on , leading to the following superpotential of Theory A:
(180) |
The conjectured dual theory is the same theory with extra matrix fields and the superpotential
(181) |
The monopole terms in the superpotential fix the -charge of the fundamental field to , with which we can compute the superconformal index at the monopole-deformed fixed point as follow:
(182) |
The contribution of the conserved current multiplet is given by the negative contribution of order , which is in this case. This shows that the theory preserves the global symmetry
(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 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 theory with examined above is one such example. Using the superconformal index, we will show that the UV symmetry of this theory is enhanced to 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 .121212This 3d model can be obtained from a 4d theory with one antisymmetric and eight fundamental chirals. With even and some extra gauge singlets, this 4d model exhibits the enhanced global symmetry in the IR Razamat:2017hda . This model without the cubic superpotential was shown to have the partition function invariant under the discrete symmetries belonging to the Weyl group Bult , which strongly signals that the model has the enhanced 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 or in this case, which corresponds to or in Theory A, respectively. Here we choose to flip in Theory A, and accordingly in Theory B. Thus, we introduce new gauge singlets in the representation of and an extra superpotential interaction
(184) |
which leads to the total superpotential
(185) |
On the dual side, the extra superpotential corresponds to
(186) |
Once we solve the F-term equations for and , becomes massive, and is identified with . The resulting superpotential of the dual theory is given by
(187) |
This is exactly the same as the superpotential (185), while the duality still nontrivially maps the meson operators as follows:
(188) | ||||
(189) |
In other words, this is a self-duality of the theory exchanging two chiral ring generators:
(190) |
Now we compute the index of the self-dual theory after the flipping. The corresponding index is given by
(191) |
Note that the negative terms, which are supposed to capture the conserved currents, fit the adjoint representation of because is decomposed under as follows:
(192) |
Similarly, of is decomposed as
(193) |
Therefore, the expanded index can be written in terms of the characters as follows:
(194) |
where is the character of the representation written in terms of the fugacities . This shows that the theory exhibits the following enhancement of the symmetry in the IR:
(195) |
Notice that this theory is the same as the adjoint SQCD with four flavors discussed in Amariti:2018wht ; Benvenuti:2018bav up to the cubic superpotential for the adjoint field . This model without the cubic superpotential was shown to have the partition function invariant under the Weyl group actions Bult . To see the connection between the two models, let us introduce an extra singlet with a superpotential term flipping the operator :
(196) |
Note that such a flip of does not spoil the self-duality. The total superpotential is now written as
(197) |
One can compute the corresponding index, which is naively given by
(198) |
However, the negative 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 -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
(199) |
up to suitable coefficients because , an adjoint field of the gauge group, is a 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 set them zero, and has to be dropped. Once we drop those terms, we have an extra symmetry, which rotates the adjoint field . More precisely, now the monopole operators are also charged under such with charge , and the monopole superpotential terms in (197) break into a single symmetry in such a way that the monopole operators are neutral under . Since are neutral, their -charges are independent of the mixing between the -symmetry and , which requires that the -charges of and must satisfy
(200) |
to ensure the -charge of : to be always two. With this condition, we conduct the -maximization allowing the mixing between the -symmetry and , which results in the following -charge of :
(201) |
This indicates that the dimension of the operator also falls below the unitarity bound and decouples from the interacting sector. Hence, we need to flip by another singlet , which results in the adjoint SQCD with four flavors and the superpotential
(202) |
This model is identical to the one discussed in Amariti:2018wht ; Benvenuti:2018bav up to the flip of . The -charges obtained from the -maximization are
(203) |
with which no more operators hit the unitarity bound. Using those -charges, we obtain the index
(204) |
where is the fugacity of normalized such that the adjoint field has charge 1. The fugacities and of the manifest symmetry are neatly organized into the characters of representations, which are decomposed under as follows:
(205) | ||||
(206) | ||||
(207) |
In particular, the contribution of the conserved currents, , is in the adjoint representation of . This proves that the model with the superpotential (202) exhibits the following enhancement of the symmetry in the IR:
(208) |
Note that this model has an additional 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 gauge theories with adjoint matters and fundamental flavors and their new Seiberg-like dualities. The first duality we propose is for the 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 gauge theory with pairs of fundamental and anti-fundamental , one adjoint chiral multiplet and the superpotential
(209) where are monopole operators of Theory A.
-
•
Theory B is the 3d gauge theory with pairs of fundamental and anti-fundemental , one adjoint , and gauge singlet chiral multiplets and for and . The superpotential is given by
(210) where are the monopole operators of Theory B.
The second and third dualities we propose are for the theory with two adjoint matters. The theory with two adjoint matters has two types of monopole operators, which we call and . Thus, we have considered two monopole dualities including and in the superpotential, respectively. For the deformation by , two dual theories are as follows.
-
•
Theory A is the 3d gauge theory with pairs of fundamental fields and anti-fundamental fields , two adjoint fields and the superpotential
(211) where are a pair of monopole operators of Theory A with topological symmetry charge .
-
•
Theory B is the 3d gauge theory with pairs of fundamental fields and anti-fundemental fields , two adjoint fields , and gauge singlet fields for , and . The superpotential is given by
(212) where are a pair of monopole operators of Theory B with topological symmetry charge .
On the other hand, the duality deformed by is given as follows.
-
•
Theory A is the 3d gauge theory with pairs of fundamental fields and anti-fundamental fields , two adjoint fields and the superpotential
(213) where are a pair of monopole operators of Theory A with topological symmetry charge .
-
•
Theory B is the 3d gauge theory with pairs of fundamental fields and anti-fundemental fields , two adjoint fields , and gauge singlet fields for , and . The superpotential is given by
(214) where are a pair of monopole operators of Theory B with topological symmetry charge .
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 -maximization Jafferis:2010un . The -maximization determines the superconformal -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 -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 -maximization was performed for in Hwang:2018uyj , whose result for is reported here in Table 10. This result also determines the -charges of the monopole operators and ; see Table 11 and Table 12, which can be used to determine the relevance of the monopole superpotentials.
0.348 | - | - | - | ||
0.293 | 0.352 | 0.384 | 0.404 |
1.05 | - | - | - | ||
0.914 | 1.44 | 1.96 | 2.48 |
2.61 | - | - | - | ||
2.33 | 3.39 | 4.43 | 5.46 |
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 , whose IR -charge is shown in Table 12 for . In both cases, is relevant for because its IR -charge is less than 2. Hence, we expect that the deformation by 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 , which show a perfect match under the proposed duality. See appendix A.
On the other hand, for , has the IR -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 theory with , we notice that is a relevant deformation of the theory because its -charge is . See Table 10. Once we turn on in the superpotential, the theory is supposed to flow a new fixed point without , which is broken by . The corresponding index is given by
(215) |
for which we have flipped the decoupled operator , whose -charge is 1/2. For the 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 preserves , whose currents should contribute 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: and , contributing to the index. Since they are charged under , their nonzero couplings break , 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 is broken on a generic point of this three-dimensional manifold, where the index is given by
(216) |
Notice that the negative contribution to the term is , which is consistent with the fact that the global symmetry is now without any abelian symmetry. Also one can see the positive contribution of the three exactly marginal monopole operators. Their couplings parametrize a three-dimensional conformal manifold where the theory on a generic point preserves , while there is a special point with the additional symmetry preserved, whose index is given by (5.2).
Our duality proposal then implies that the dual theory deformed by flows to a certain point on this three-dimensional conformal manifold where is preserved, while is broken. Unfortunately, we weren’t able to study the -maximization of the dual 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 theory is exactly the same as (5.2). Furthermore, one can also move along the conformal manifold to the special point with the extra symmetry. On the original side, this can be done by turning on 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 but also . Indeed, we have computed the indices of the dual pair keeping the fugacity up to , which show perfect agreement. See the first few terms given in (5.2). This is strong evidence of the existence of the duality preserving for the theory with . 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 symmetry, which would lead to another duality preserving .
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 . Again we focus on . The IR -charge of is shown in Table 11. The proposed duality requires , which is only satisfied for since we take . One can see that is a relevant deformation for , while it is irrelevant for .
We have computed the indices for those relevant cases, which show perfect matches under the proposed duality. In particular, the index for the theory with and those for the theories with are given by131313Note that we have omitted the fugacities for the computational simplicity.
(217) | ||||
(218) | ||||
(219) |
which agree with the dual indices and , respectively. Thus, we expect that the deformation by triggers an RG flow to a new interacting fixed point, to which both dual theories flow.
On the other hand, for , 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 always contributes 1 to the index. However, the indices for are given by141414In this case, the index should only be interpreted as the supersymmetric partition function on rather than the superconformal index.
(220) | ||||
(221) |
Especially, the index for vanishes, which signals that the theory has no supersymmetric vacuum.
For , the index doesn’t vanish but starts with a nonzero power of rather than 1. We thus conclude that the 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
n | SCI | ||
---|---|---|---|
1 | |||
2 | |||
3 | |||
n | SCI | ||
---|---|---|---|
3 | |||
4 | |||
A.2 Double adjoints with
n | SCI | |
---|---|---|
3 | ||
A.3 Double adjoints with
n | SCI | |
---|---|---|
3 | ||
n | SCI | |
---|---|---|
5 | ||
n | SCI | |
---|---|---|
5 | ||
References
- (1) N. Seiberg, Electric - magnetic duality in supersymmetric nonAbelian gauge theories, Nucl. Phys. B 435 (1995) 129–146, [hep-th/9411149].
- (2) O. Aharony, S. S. Razamat, N. Seiberg and B. Willett, 3d dualities from 4d dualities, JHEP 07 (2013) 149, [1305.3924].
- (3) O. Aharony, S. S. Razamat, N. Seiberg and B. Willett, 3 dualities from 4 dualities for orthogonal groups, JHEP 08 (2013) 099, [1307.0511].
- (4) S. Pasquetti, S. S. Razamat, M. Sacchi and G. Zafrir, Rank E-string on a torus with flux, SciPost Phys. 8 (2020) 014, [1908.03278].
- (5) C. Hwang, S. Pasquetti and M. Sacchi, 4d mirror-like dualities, JHEP 09 (2020) 047, [2002.12897].
- (6) K. A. Intriligator and N. Seiberg, Mirror symmetry in three-dimensional gauge theories, Phys. Lett. B 387 (1996) 513–519, [hep-th/9607207].
- (7) C. Hwang, S. Pasquetti and M. Sacchi, Rethinking mirror symmetry as a local duality on fields, 2110.11362.
- (8) L. E. Bottini, C. Hwang, S. Pasquetti and M. Sacchi, 4d -duality wall and relations, 2110.08001.
- (9) M. Berkooz, The Dual of supersymmetric SU(2k) with an antisymmetric tensor and composite dualities, Nucl. Phys. B 452 (1995) 513–525, [hep-th/9505067].
- (10) P. Pouliot, Duality in SUSY SU(N) with an antisymmetric tensor, Phys. Lett. B 367 (1996) 151–156, [hep-th/9510148].
- (11) M. A. Luty, M. Schmaltz and J. Terning, A Sequence of duals for Sp(2N) supersymmetric gauge theories with adjoint matter, Phys. Rev. D 54 (1996) 7815–7824, [hep-th/9603034].
- (12) S. Pasquetti and M. Sacchi, From 3 dualities to 2 free field correlators and back, JHEP 11 (2019) 081, [1903.10817].
- (13) S. Pasquetti and M. Sacchi, 3d dualities from 2d free field correlators: recombination and rank stabilization, JHEP 01 (2020) 061, [1905.05807].
- (14) S. Benvenuti, I. Garozzo and G. Lo Monaco, Sequential deconfinement in 3d = 2 gauge theories, JHEP 07 (2021) 191, [2012.09773].
- (15) S. Benvenuti and G. Lo Monaco, A toolkit for ortho-symplectic dualities, 2112.12154.
- (16) K. Nii, 3d Deconfinement, Product gauge group, Seiberg-Witten and New 3d dualities, JHEP 08 (2016) 123, [1603.08550].
- (17) M. Sacchi, New 2d = (0, 2) dualities from four dimensions, JHEP 12 (2020) 009, [2004.13672].
- (18) S. Bajeot and S. Benvenuti, S-confinements from deconfinements, 2201.11049.
- (19) L. E. Bottini, C. Hwang, S. Pasquetti and M. Sacchi, Dualities from dualities: the sequential deconfinement technique, 2201.11090.
- (20) A. Amariti and S. Rota, 3d SO/USp adjoint SQCD: s-confinement and exact identites, 2202.06885.
- (21) F. Benini, S. Benvenuti and S. Pasquetti, SUSY monopole potentials in 2+1 dimensions, JHEP 08 (2017) 086, [1703.08460].
- (22) O. Aharony, IR duality in d = 3 N=2 supersymmetric USp(2N(c)) and U(N(c)) gauge theories, Phys. Lett. B 404 (1997) 71–76, [hep-th/9703215].
- (23) J. Bhattacharya, S. Bhattacharyya, S. Minwalla and S. Raju, Indices for Superconformal Field Theories in 3,5 and 6 Dimensions, JHEP 02 (2008) 064, [0801.1435].
- (24) J. Bhattacharya and S. Minwalla, Superconformal Indices for N = 6 Chern Simons Theories, JHEP 01 (2009) 014, [0806.3251].
- (25) S. Cheon, D. Gang, S. Kim and J. Park, Refined test of AdS4/CFT3 correspondence for N=2,3 theories, JHEP 05 (2011) 027, [1102.4273].
- (26) Y. Imamura, D. Yokoyama and S. Yokoyama, Superconformal index for large N quiver Chern-Simons theories, JHEP 08 (2011) 011, [1102.0621].
- (27) C. Krattenthaler, V. P. Spiridonov and G. S. Vartanov, Superconformal indices of three-dimensional theories related by mirror symmetry, JHEP 06 (2011) 008, [1103.4075].
- (28) D. Jafferis and X. Yin, A Duality Appetizer, 1103.5700.
- (29) A. Kapustin and B. Willett, Generalized Superconformal Index for Three Dimensional Field Theories, 1106.2484.
- (30) D. Bashkirov, Aharony duality and monopole operators in three dimensions, 1106.4110.
- (31) C. Hwang, H. Kim, K.-J. Park and J. Park, Index computation for 3d Chern-Simons matter theory: test of Seiberg-like duality, JHEP 09 (2011) 037, [1107.4942].
- (32) D. Gang, E. Koh, K. Lee and J. Park, ABCD of 3d and 4 Superconformal Field Theories, 1108.3647.
- (33) C. Hwang, K.-J. Park and J. Park, Evidence for Aharony duality for orthogonal gauge groups, JHEP 11 (2011) 011, [1109.2828].
- (34) A. Kapustin, H. Kim and J. Park, Dualities for 3d Theories with Tensor Matter, JHEP 12 (2011) 087, [1110.2547].
- (35) D. Gang, C. Hwang, S. Kim and J. Park, Tests of AdS4/CFT3 correspondence for chiral-like theory, JHEP 02 (2012) 079, [1111.4529].
- (36) T. Dimofte and D. Gaiotto, An E7 Surprise, JHEP 10 (2012) 129, [1209.1404].
- (37) M. Honda and Y. Honma, 3d superconformal indices and isomorphisms of M2-brane theories, JHEP 01 (2013) 159, [1210.1371].
- (38) S. Choi, C. Hwang and S. Kim, Quantum vortices, M2-branes and black holes, 1908.02470.
- (39) N. Bobev and P. M. Crichigno, Universal spinning black holes and theories of class , JHEP 12 (2019) 054, [1909.05873].
- (40) J. Nian and L. A. Pando Zayas, Microscopic entropy of rotating electrically charged AdS4 black holes from field theory localization, JHEP 03 (2020) 081, [1909.07943].
- (41) F. Benini, D. Gang and L. A. Pando Zayas, Rotating Black Hole Entropy from M5 Branes, JHEP 03 (2020) 057, [1909.11612].
- (42) S. Choi and C. Hwang, Universal 3d Cardy Block and Black Hole Entropy, JHEP 03 (2020) 068, [1911.01448].
- (43) S. Kim, The Complete superconformal index for N=6 Chern-Simons theory, Nucl. Phys. B 821 (2009) 241–284, [0903.4172].
- (44) Y. Imamura and S. Yokoyama, Index for three dimensional superconformal field theories with general R-charge assignments, JHEP 04 (2011) 007, [1101.0557].
- (45) H. Kim and J. Park, Aharony Dualities for 3d Theories with Adjoint Matter, JHEP 06 (2013) 106, [1302.3645].
- (46) A. Amariti and L. Cassia, USp(2Nc) SQCD3 with antisymmetric: dualities and symmetry enhancements, JHEP 02 (2019) 013, [1809.03796].
- (47) A. Amariti, L. Cassia, I. Garozzo and N. Mekareeya, Branes, partition functions and quadratic monopole superpotentials, Phys. Rev. D 100 (2019) 046001, [1901.07559].
- (48) C. Hwang, H. Kim and J. Park, On 3d Seiberg-Like Dualities with Two Adjoints, Fortsch. Phys. 66 (2018) 1800064, [1807.06198].
- (49) S. Benvenuti, A tale of exceptional dualities, JHEP 03 (2019) 125, [1809.03925].
- (50) C. Hwang and J. Park, Factorization of the 3d superconformal index with an adjoint matter, JHEP 11 (2015) 028, [1506.03951].
- (51) K. A. Intriligator and B. Wecht, RG fixed points and flows in SQCD with adjoints, Nucl. Phys. B 677 (2004) 223–272, [hep-th/0309201].
- (52) D. Kutasov, A Comment on duality in N=1 supersymmetric nonAbelian gauge theories, Phys. Lett. B 351 (1995) 230–234, [hep-th/9503086].
- (53) D. Kutasov and A. Schwimmer, On duality in supersymmetric Yang-Mills theory, Phys. Lett. B 354 (1995) 315–321, [hep-th/9505004].
- (54) D. Kutasov, A. Schwimmer and N. Seiberg, Chiral rings, singularity theory and electric - magnetic duality, Nucl. Phys. B 459 (1996) 455–496, [hep-th/9510222].
- (55) D. Kutasov, A. Parnachev and D. A. Sahakyan, Central charges and U(1)(R) symmetries in N=1 superYang-Mills, JHEP 11 (2003) 013, [hep-th/0308071].
- (56) K. Intriligator and E. Nardoni, Deformations of SCFTs, JHEP 09 (2016) 043, [1604.04294].
- (57) K. A. Intriligator, R. G. Leigh and M. J. Strassler, New examples of duality in chiral and nonchiral supersymmetric gauge theories, Nucl. Phys. B 456 (1995) 567–621, [hep-th/9506148].
- (58) M. Fujitsuka, M. Honda and Y. Yoshida, Higgs branch localization of 3d = 2 theories, PTEP 2014 (2014) 123B02, [1312.3627].
- (59) F. Benini and W. Peelaers, Higgs branch localization in three dimensions, JHEP 05 (2014) 030, [1312.6078].
- (60) C. Hwang, H.-C. Kim and J. Park, Factorization of the 3d superconformal index, JHEP 08 (2014) 018, [1211.6023].
- (61) C. Beem, T. Dimofte and S. Pasquetti, Holomorphic Blocks in Three Dimensions, JHEP 12 (2014) 177, [1211.1986].
- (62) D. L. Jafferis, The Exact Superconformal R-Symmetry Extremizes Z, JHEP 05 (2012) 159, [1012.3210].
- (63) S. Benvenuti, B. Feng, A. Hanany and Y.-H. He, Counting BPS Operators in Gauge Theories: Quivers, Syzygies and Plethystics, JHEP 11 (2007) 050, [hep-th/0608050].
- (64) S. S. Razamat and G. Zafrir, Exceptionally simple exceptional models, JHEP 11 (2016) 061, [1609.02089].
- (65) S. S. Razamat and G. Zafrir, E8 orbits of IR dualities, JHEP 11 (2017) 115, [1709.06106].
- (66) S. S. Razamat, O. Sela and G. Zafrir, Curious patterns of IR symmetry enhancement, JHEP 10 (2018) 163, [1809.00541].
- (67) C. Hwang, S. Pasquetti and M. Sacchi, Flips, dualities and symmetry enhancements, JHEP 05 (2021) 094, [2010.10446].
- (68) F. J. van de Bult, Hyperbolic Hypergeometric Functions, http://math.caltech.edu/ vdbult/Thesis.pdf.
- (69) S. Benvenuti and S. Giacomelli, Supersymmetric gauge theories with decoupled operators and chiral ring stability, Phys. Rev. Lett. 119 (2017) 251601, [1706.02225].
- (70) D. Green, Z. Komargodski, N. Seiberg, Y. Tachikawa and B. Wecht, Exactly Marginal Deformations and Global Symmetries, JHEP 06 (2010) 106, [1005.3546].