JHEP04(2017)042 ) with c k , Springer April 10, 2017 March 14, 2017 March 25, 2017 : October 26, 2016 : : : Revised Published Accepted 10.1007/JHEP04(2017)042 Received doi: 7 flavours at finite and infinite ≤ and Noppadol Mekareeya f b N Published for SISSA by ) gauge theories. N [email protected] , Amihay Hanany b = 1 theories with a UV fixed point at infinite coupling is N [email protected] , . Giulia Ferlito, 3 a 1505.06302 The Authors. c Nonperturbative Effects, Solitons Monopoles and Instantons, Supersymmet-

The richness of 5d , [email protected] E-mail: [email protected] The Strand, London WC2R 2LS,Theoretical Physics U.K. Group, Imperial CollegePrince London, Consort Road, London, SW7Theory 2AZ, Division, U.K. Physics Department,CH-1211, CERN, Geneva 23, Switzerland Department of Mathematics, King’s College London, b c a Open Access Article funded by SCOAP ArXiv ePrint: an antisymmetric hypermultiplet and pure SU( Keywords: ric Gauge Theory coupling, we write down theglueball explicit superfield chiral and ring mesons. relationsball Exciting between instanton phenomena superfield operators, appear is the at no infinitecorrected coupling: longer by the nilpotent instanton glue- and operatorsinstanton the operators bilinears. of classical arbitrary We chiral charge. also ring The find relations same expressions analysis are is for quantum performed the for dressing USp(2 of Abstract: due to the existenceering of the local Higgs disorder branch operators of known SU(2) as gauge instanton theories operators. with By consid- Stefano Cremonesi, Instanton operators and thecoupling Higgs branch at infinite JHEP04(2017)042 6 3 38 37 2 C 33 30 18 21 23 26 30 11 16 20 22 25 27 7 9 13 17 37 instanton on – 1 – +1 f 35 N flavours E f N 6 7 theory theory 1 1 flavours: one e E E f 2 N ) gauge theory with one antisymmetric hypermultiplet 24 26 11 16 19 21 6 8 36 k = 6 = 7 = 2 = 3 = 4 = 5 = 0 = 1 ) with one antisymmetric hypermultiplet k f f f f f f f f 0 2.8.1 The2.8.2 generators and their relations ExpansionN in the instanton fugacity 2.9.1 The2.9.2 generators and their relations Expansion in the instanton fugacity 2.6.2 ExpansionN in the instanton fugacity 2.7.1 The2.7.2 generators and their relations ExpansionN in the instanton fugacity N 2.5.1 The2.5.2 generators and their relations ExpansionN in the instanton fugacity 2.6.1 The generators and their relations N 2.3.1 The2.3.2 generators and their relations ExpansionN in the instanton fugacity 2.4.1 The2.4.2 generators and their relations Expansion in the instanton fugacity E N 2.2.1 The 2.2.2 The 2.2.3 The generators and their relations A.1 SU(2) gaugeA.2 theory with USp(2 2.9 2.7 2.8 2.5 2.6 2.3 2.4 2.1 2.2 6 Discussion A Hilbert series of chiral rings with gaugino superfields 3 USp(4) with one antisymmetric4 hypermultiplet USp(2 5 Pure super Yang-Mills theories Contents 1 Introduction 2 SU(2) with JHEP04(2017)042 = 1 N ], Nekrasov , that insert ]. 19 – 28 8 – = 1 SU(2) gauge 20 N ); this global symmetry F ∧ F ( ∗ instanton operators Tr ]. Such UV fixed points at infinite 2 39 4 1 π – 8 1 = J SU(2) × flavour symmetry, which enhances from the 1, form a multiplet under the supersymmetry ]. +1 – 2 –  f 33 , N = E I 32 = 1 field theories at infinite coupling, it was argued , = 2 Yang-Mills theory with simply laced gauge group, 29 N N U(1) apparent in the Lagrangian at finite coupling. Since then × ]. In 5d 0) CFT [ ) , f ] and the enhancement of the global symmetry of these theories has 31 N 7 – in the rest of the paper. In the UV superconformal field theory, the ]. These operators play an important role in enhancing the global 5 = (2 7 flavours exhibits I 31 N – ≤ ], it was pointed out that the UV fixed point of 5d d 1 29 f N = 6 in representations of SO(12) f In order to perform such an analysis we start from the known Higgs branch at infi- Standard lore says that the Higgs branch of theories with 8 supercharges in dimensions In five dimensions, instantons are particles charged under the the U(1) global symmetry N and sharpens the standard lore.coupling, The main instanton goal operators of correct the the paper chiralat is ring to finite relations understand coupling. satisfied how, by at the infinite classical fields nite coupling and write the Hilbert series of such a moduli space for various 5d 3 to 6 are classicallystatement exact, turns and out do to notpoints receive be of quantum the imprecise, corrections. paper, and is Ingauge should that 5 coupling. there be dimensions, are The this corrected. three hypermultipletbranch, different moduli turns regimes, In space, given out fact, by to which 0, one be we finite, of always different and refer in the infinite each to main of as these the regimes, Higgs and hence our analysis corrects that instanton operators withand charge flavour symmetry [ it is believed that thethe instanton Poincar´esymmetry operators and constitute provides the the Kaluza-Kleintheory UV tower completion to that by enhances the uplifting 6 this five dimensional is denoted by U(1) instanton particles are created bya local topological operators known defect as at aon spacetime the point and fields imposesymmetry [ certain of singular boundary the conditions theory. For 5d webs of five-branes [ been studied using variouspartition approaches, including functions and superconformal (refined) indices topological [ string partition functions [ associated with the topological conserved current gauge coupling may exhibit anseminal enhancement work of [ the globaltheory symmetry. with In particular, inglobal the symmetry SO(2 a large class of five dimensional supersymmetric field theories have been constructed using The dynamics of five-dimensional supersymmetrictures. gauge theories From has the many Lagrangian interestingever, fea- perspective by using these string field theoretic methods theories alongthat are with a field not theory number analysis, renormalisable. of itsuperconformal was such How- demonstrated field field theories theories in can the ultraviolet be (UV) considered [ as flowing from certain non-trivial 1 Introduction B JHEP04(2017)042 (1.1) (1.2) , with SU(2), I ) flavour × f . We close isospin and N U(1) 5 -symmetry of R × R ) f N = SU(3) . Several technical 3 6 E 2 the SU(2) C flavours, for which string 7 flavours was studied in R f N ≤ U(1), , f  × a N , H a  x ) Yang-Mills in section I A q N H we study the Higgs branch of SU(2) A R y 2 2 R t = SU(2) instanton on 2  t 2 H  = 1 supersymmetry (that is 8 Poincar´esupercharges) E +1 H ) Yang-Mills theories with an antisymmetric f the Cartan generators of the SO(2 k N – 3 – N are the usual exceptional symmetries. a E ]. The Hilbert series counts the holomorphic func- 8 )) = Tr H ) = Tr 6 , ,E 1 7 [ x, q t, y ( ( = SU(2), , and to pure SU( 2 ,E C 6 4 H 1 t, y E ( ,E H and 7 flavours, spell out the relations in the chiral ring in terms of 3 = 1 SU(2) gauge theory with ≤ flavours: one f = U(1) N f N 1 instanton on N e E +1 = SO(10) and f and the defining equations that these operators satisfy: 5 N 1 E E ]. In there it was argued that, despite being power counting non-renormalisable, , where is the Hilbert space of chiral operators of the SCFT, 1 is the topological charge and +1 I H the global symmetry associated with a topologically conserved current, enhances f N I The analysis presented in this paper focuses on how the Higgs branch of these 5d The paper is organised as follows. In section Such a Hilbert series can then be expressed in terms of the global symmetry of the the Cartan generators of the enhanced global symmetry. Even though we discuss theories with minimal = SU(5), E 1 A 4 theories changes along thedifferent regimes RG for flow. these theories,Higgs In the branch operators particular that we contribute take to the care chiral in ring on distinguishing the three these theories possess stronglyproposed interacting where UV fixed the points. globalU(1) symmetry, Moreover which a at classification finite was to coupling is SO(2 E 2 SU(2) with The dynamics ofdetail 5d in [ mesons, glueball and instanton operators,We and generalise discuss the the dressing analysishypermultiplet of in to instanton sections pure operators. USp(2 the paper with aresults discussion are of relegated our to appendices. results and an outlook in section where symmetry. This decomposition allows usand to the extract instanton the operators contributions torelations of the they the satisfy. Higgs classical branch fields chiral ring and explicitly writegauge down theories the with theory at finite couplingnite coupling: — the latter is a subgroup of the enhanced symmetry at infi- where H theory arguments show thatspace the of Higgs one branch attions infinite that coupling parametrise is theof the Higgs the reduced (enhanced) branch, moduli flavour gradedthe symmetry with theory: and respect the to highest the weight of Cartan the subalgebra SU(2) theories. We mostly focus on the SU(2) gauge theories with JHEP04(2017)042 ] 35 (2.4) (2.5) (2.1) (2.2) . Then de jure f N 2 = 1 notation N ) moduli space as follows. Take ,..., ab = 1 M . reduced 2 I a, b , . ba ] , which is a chiral superfield M S − ,... 2 contributes to the Higgs branch 0 I , = S [1 . ab 4 ) + θ ∧ , the centred (or M ) , (2 = 0= 0 (2.3) f ] ] + V 2 N ]. They are the usual Joseph relations [ cd = 0 ) flavour group. The relations that these M 34 ,... 2 f M ) = SO(2 0 , )[ S θ matrix, N 1 , ab ( f , is now no longer suppressed and will [ – 4 – f [1 f V N M 2 W M N 2 2 × Sym f = Sym N 2 I ], namely 36 ) correspond respectively to: ) denote the adjoint representation. The decomposition θ ( 2.2 V , constructed out of chiral matter superfields in the bifundamental ) instanton. The gauge invariant operators that generate this space ab f ) N M f is the only extra operator that one needs to consider at finite coupling. N S complex branch of the full moduli space. As such, any chiral operator, and in to be an antisymmetric 2 only hence At first sight it mightas seem it counterintuitive is that a bilinear in the vector multiplet. In fact in 5d the Higgs branch is the When the coupling is finite,gaugino one sector. needs to In take into particular,bilinear account the in the contribution glueball the from superfield gaugino the appear superfield in the chiral ring.as This in operator four satisfies dimensions a [ classical relation in the chiral ring We call the last equationis the equivalent to rank the 1 vanishing condition, of since all for degree an 2 antisymmetric minors. matrix it We can construct these representations fromM the adjoint mesons the two terms of ( prescribes that the relations transform inFor the SO(2 representation the minimal nilpotent orbit ofand SO(2 their transformation propertiessecond can symmetric be product of readtransforms. the off Let adjoint, from the the representation decomposition in of which the the generator Higgs branch which is just given by of one SO(2 are mesons of the SU(2)generators gauge satisfy group on and the SO(2 moduli space can be extrapolated from its description as In the classical regime, where fermions are neglected, these 5d theories have the usual • • in 5 dimensions, wepercharges, are and interested the in Higgsand the terminology branch chiral throughout as this ring paper. asymmetry as complex in Even defined though five algebraic in this dimensions, variety. terms formalismHiggs it is of branch. We is not a therefore necessary consistent subsuperalgebra with use to Poincar´esuper- with discuss 4d 4 chiral operators su- and holomorphic functions on the JHEP04(2017)042 and ]. In (2.6) (2.7) (2.8) 1 3 to the [ ab ). The ). 2 is glued 2 f t M 2 C N 2.5 Z 0) = 1 is ,..., intersect, the Hilbert (0 f instanton on representation and the Y ] R ]. Thus, when ) (2.9) +1 f k n 37 and , 38 N , 36 X E Y . The adjoint relation is then ∩ , . . . , x ) such that ab X 1 correct the relation ( k 1 n 2 x t intersect only at the origin.  term is associated to the quadratic H ( f of one . 2 2 SM . − t I Z 1 “anti-instanton operator”, even though it is , . . . , x Y +1 1 ) log − f as generating a 2-point space, which by x k H . Algebraically the Hilbert series for this N = 0 ( ( charge 2 and ) = 1 + f S µ ,E + t Z I ab ) 1 1 k ; f 2 X f N =1 M Z ∞ H – 5 – X k ( SM , contribute to the chiral ring and are responsible , belongs to the class of Higgs operators. This will = SO(2 I , of U(1) S HS )] = 1 Y n e I ∪ f M X . H grades operators by their SU(2) ) and of this newly obtained expression is interesting: it shows , . . . , x f of topological charge t 1 obey the chiral ring relation [ 2 I N e x I ( S f [ ). For the adjoint relation the only possible extra operator that SO(2 , 1 PL 2.5 f there are two extra relations compared to the classical regime, one M 4 t , the net effect on the Hilbert series is simply that of adding a ) ). f N . The fugacity 2.7 S SO(2 , 1 f ) is the Moebius function. The plethystic logarithm of the Hilbert series encodes generators and M k ( morphic to the reduced moduliorder space for this to happenanti-instanton a operators crucial event on the chiral ring takes place: instanton and one can construct inprecisely ( such a representation is At infinite coupling, the moduliators, space carrying is charge a under different space U(1) for altogether. prompting symmetry Instanton enhancement: oper- the Higgs branch in this regime becomes iso- Hilbert series of The plethystic logarithm that at order transforming in the singletsinglet relation and is one ( transforming in the adjoint of SO(2 series of their union is given by the surgery formula where the subtraction is doneto to avoid double counting [ the glueball superfield This signifies that the spaces From an algebraic perspective, when two moduli spaces where 1 signifies the identityoperator operator and the normalisation is chosen so that the power is twice the isospin. The meson become even clearer later, whenone we at recover the infinite finite coupling. coupling HiggsGeometrically branch from we the interpret thea operator slight abuse ofspace notation is we simply denote written by as particular the glueball superfield µ We call the instanton operator The plethystic logarithm of a multivariate function • 3 2 where relations of the chiral ring. mutually BPS with the positively charged instanton operator JHEP04(2017)042 ]. For 2 . Here [ obeying I 2 instanton S Z +1 f . N 5 E = U(1) whilst for 1 e (Sp(1)) = E 4 in the Hilbert series. π ), but instead an infinite 1 ) makes an appearance. − e I 2.6 ) ] and decomposes them into 2 t I, 4 , . 39 [ e S I − , +1 M f . Consequently, the broken moment and N I I E U(1) = SU(2). × 1 ) E f spin higher than 1, e.g. as in section N – 6 – R parameter taking value in θ SO(2 . For all theories of our interest, the Hilbert series = 1 supersymmetry in 5d can be obtained by flowing I symmetry acting on the hypermultiplet moduli space. → N +1 +1 U(1) f f N N no enhancement of the global symmetry occurs: the global × E E ) π f N = ]. This allows us to analyse the generators of the moduli space in θ 40 to the chiral ring will no longer amount to ( S is no longer a nilpotent bilinear in the vector multiplet and it becomes, theory 1 S e E . Classically the moduli space is trivial. 2 = 0 Z f theory is the trivial case. There is no hypermultiplet moduli space. Consequently 0 0 N E operator for all intents and purposes,tribution a of chiral bosonic operator ontower the of Higgs operators branch. will The appear con- generating a factor (1 This is the most dramatic dynamical mechanism happening at infinite coupling: the E Computationally, one starts with the Hilbert series of the reduced one The purpose of this paper is to explore these statements quantitatively for known cases Although this argument applies to most of the theories we study in this paper, it is in general not useful = 0, both at infinite and finite coupling. The moduli space generated by this operator 4 2 instanton operators are absentS and the generatoris of simply the moduli space is just for theories where instanton operators have SU(2) the identity element the global symmetry is 2.2.1 The For the theory with symmetry at finite and infinite coupling is the instanton charge symmetry U(1) 2.2 A pure SU(2) SYMfrom theory two with UV fixedtwo points theories which is have dictated different bythe a global non-trivial discrete symmetry. element the The global existence symmetry of at these infinite coupling is The the Hilbert series for thisThe theory theory is has just no given RGwe by flow. consider 1, Its in corresponding interest this to lies section the in identity since it operator. none being of the the limiting operators case ( of all the theories after this decomposition admitsgenerating a function very [ simpleterms expression of in instanton terms operatorssuch of and generators classical the are fields, highest sufficiently and weight simple in to many be cases written2.1 the down relations explicitly. between maps must vanish onchiral the ring, Higgs this branch sets to of zero the the theory instanton at operators moduli finite space coupling. written in In termsrepresentations terms of of representations of SO(2 of the of UV-IR pairs of theories.gauge We coupling, do which this has asAs follows. soon We as start the frompotential the dimensionful UV which gauge theory is coupling at becomes proportional infinite symmetries finite, to in the a the breaking term norm is squared added of to the the moment scalar maps of the broken JHEP04(2017)042 . I 0 1 − ) 2 t (2.11) (2.10) j > , of the − x is crucial: for | S j | , + ) I 2 − x 2 t through the relation parameter the U(1) ) 1 − I θ − q 2 . Whilst we can easily extract ≡ | )(1 t 4 j 2 t | t − . +1 is − and decompose it in represen- I − valued j j 1 2 q 4 )(1 . This theory is the prototypical | is the fugacity for the instanton 2  t j Z 2 2 | )(1 Z t / q 2 Z 2 − 2 t . / x − is the fugacity for the SU(2) global 5 1 1 2 C . 2 | − t C x −∞ j I ∞ | )(1 0 that is the highest weight state of the X = − q j ≡ 2 t 2 (1 e I t j < can be identified with the factor (1 − 1 = − S . Classically, even this contribution can be ne- n (1 1 – 7 – for 2 S t | where j symmetry, = x ] stands for the character, as a function of j ) = −| n R ) 2 I x e / I ] [2 corresponds to an instanton operator 1 n q j =0 ∞ ; can be written as = ( q X n t | , we obtain | 2 j ]( j I | Z 2 , which is the orbifold t −| / ) = I 2 x , and [2 ; SU(2) C 2 , t 1 SU(2) Z , ]( spin of an instanton operator of charge / 1 f 2 M R [ space generated by f C M is generated by the charge 1 operator H 2 SU(2) . The plethystic logarithm of the Hilbert series shows that the instanton , | I 1 Z j | theory . Similarly so that we can identify the contribution from instanton operators, as well + j f M 1 I ) I [ I representation with highest weight 2 E H R = ( spin as a function of instanton number, it is not clear how to do so for the representation under | ) has a natural interpretation in terms of operators at infinite coupling: j is the fugacity for the SU(2) R | t + The tower of operatorsThis generated enhancement by in the number of operators constructed from powers of and an anti-instanton operator SU(2) number U(1) operator I Each term in the sum 2.11 Algebraically we start from the Hilbert series for The Hilbert series for As we flow away from the UV fixed point, the Higgs branch is lifted and its only rem- Notice how the SU(2) • • 5 the SU(2) the global symmetry, as will be seen for the cases with higher number of flavours. 2.2.3 The generatorsEq. and ( their relations the SU(2) symmetry with U(1) where symmetry acting on representation of SU(2) with such a Dynkin label. Identifying the Cartan subalgebra of tations of U(1) as the finite coupling chiral operators, and their relations. three regimes by means of simple physical arguments. nant is a discrete glected and the Higgs branch isno completely absent. Higgs This branch is in a the remarkable effect classical whereby regime from a full Higgs branch opens up at infinite coupling. For the theory associatedtopological to symmetry the is trivial enhanced tothis element SU(2) regime of by the the instanton Higgs operatorsone-SU(2) at branch instanton infinite of coupling. the In theoryexample is of the isomorphic class to we the study. reduced Since moduli there space is no of flavour symmetry, we can understand the 2.2.2 The JHEP04(2017)042 is a ]: in = 0. ), i.e. 2 2 (2.12) Z 43 P , / = 1, i.e 2.5 There is 2 42 6 f C whereas the = 1 theories N 2 N Z = 2 theories [ N (2), not SO(2). (We thank the O instanton operators, where the ] and 41 , forms a triplet of the SU(2) that e I 7 ) signifies a relation quadratic in the . , dressed 2 = 4 [ I Z 2.11 N and it is freely generated. e I, I S = – 8 – 2 S . , subject to a quadratic nilpotency relation, i P P . h S / ] = 0, we recover the known chiral ring relation ( . As we have explained, the only remnant of P e [ I . S C 2 I, = 0 and lift the Higgs branch entirely. Z = is a full-on operator on the Higgs branch and, together with / i 6 S 2 2 S C P but is set to zero by the F-terms. The moduli space is thus trivial: h / e ] Q . = 2 the infinite coupling Higgs branch is the moduli space of one P 2 [ Q f Z C / N 2 C U(1), the Higgs branch at infinite coupling is thus the union of the one ) can be interpreted as the space of × generated precisely by is the dressing from the operator 2.11 = 1 2 2 t Z = 1 and 1 f − 1 f N the instanton and anti-instantongenerates operators at infinite coupling N On the other hand, one may consider a U(1) gauge theory with one flavour, whose Let us begin with the first option. The Higgs branch of the ADHM gauge theory given For the U(1) instanton moduli space, there are two possible ADHM constructions that Classically, we can set At finite coupling, where The numerator in the rational function of ( = SU(2) To be precise, the flavour symmetry of the quiver gaugeNote theory that is as rings 6 7 2 invariant quantity is it consists of one point only rather than two. referee for raisingdifference this between point.) the two However groups. the moduli space of instantons in question is insensitive to the by USp(2) with oneonly flavour describes one operator the in moduli theThe space chiral moduli of ring, space one of SO(2) one instanton. SO(2) instanton is thus Higgs branch is often referred to as “the moduli space of one U(1) instanton”. The gauge with one flavour.Higgs As branch analysed of the below, latter thecorrect is one Higgs a but point. branch consistency A of withis priori the the the it finite former former. might coupling not regime is We be points provide apparent out an which that independent option the argument is right below. the choice union of theE one instanton moduliSU(2) space and for the one each U(1) factor. instanton moduli For spaces. theone may case consider: of (1) USp(2) gauge theory with one flavour, and (2) U(1) gauge theory 2.3 For instanton for a product gauge group. In such cases the moduli space is given by the the defining equation for the nilpotency of theresidual operator this sense ( factor operators which can only be given by From this form ofbranch the at Hilbert infinite series coupling. we Instantonplay can operators a also similar on give role the to another Higgs monopole branch interpretation in operators to 5d in the 3d Higgs JHEP04(2017)042 2 ∪ Z 2 Z / (2.16) (2.14) (2.13) 2 and C . The last ) as: M 2 Z 2.8 / . 2 2 Z C with a two point and it obeys the 2 ∪ ji is given by Z 2 2 / t 2 Z . 2 ,E + ) C = Φ 1 2 generated by ) t f 2 ij 2 M t − 2 , only intersect at one point, x − 1 2 SO(2) x , Z − − 1 = 1. ] − is 2 f 12 M , subject to a quadratic nilpotency )(1 2 4  Z and can be written using ( 2 t 2, with Φ [ )(1 t ,E 4 , M 2 2 t 2 1 H − t = 0 (2.17) − Z ,E f − 1 ] 1 / M − = 1 2 1 instanton is thus either isomorphic to the ] + = 0 (2.15) )(1 f i C M SM 2 2 )(1 = 0 = 0 t , kl SU(2) 2 E 2 , = ij t 2 Φ 1 SU(2) ij x 2 , ), two further relations hold: 2 P – 9 – 1 jk Φ x f  − S M [ , itself quadratically nilpotent. The finite coupling P f ij . − M 2.15 S [ = (1 H of one Φ P 2 (1 H 2 = , depending on which of the above options is correct. } ,E M ) = = 1 1 factor is Φ x ) = ; f x 2 t M ; ∪ { Z ]( t 2 / 2 ]( 2 Z 2 , is there only in the case of a union of ,E / C 1 ,E P 2 1 f C M [ f is generated by M [ H 2 , the Higgs branch at finite coupling is given by t H 2 or to . In the next subsection, we show that consistency with the finite coupling Z , the former generated by a meson, } 2 2 1 , are orthogonal to each other and intersect only at the origin. Moreover ∼ = Z Z S ∪ ∪ { ] = 1 + 2 2 2 Z is defined by its antisymmetry property and SO(2) with Z Z , / [ 1 / 2 ij 2  H f C C M ) is the usual Joseph relation for the SU(2) minimal nilpotent orbit Let us proceed without making any assumption on whether The extra generator, The generator of the With the second option, the Hilbert series of With the first option, the Hilbert series of The reduced moduli space SO(2) , or 1 2 2.15 f where the last equationgenerated signifies by that thesince two spaces, The theory atM finite coupling hasand a the latter Higgs by the branch glueballchiral superfield which ring is is thus isomorphic defined to by: the union of the origin of the moduli space. Z result tells us that the correct choice is2.3.1 the former. The generators and their relations ( equation encodes the fact that the two spaces, where moduli space. In its presence, beside ( quadratic nilpotency: where space JHEP04(2017)042 , ) 2 P Z = 0. 2.16 ∪ (2.23) (2.24) (2.25) (2.26) (2.27) (2.18) (2.19) (2.20) (2.21) (2.22) 2 2 flavours Z M / f 2 N C ) and ( 2.15 , such that is indeed , we recover the space = 1 corresponds to an M 2 S f ,E 1 N . Then ( f S M ) are finally recovered. 2.17 ) from the ones at infinite coupling are the instanton and anti-instanton 2.17 e I e I M, I, e I. but no extra generator associated with the e I M − II e I e SI IS. II 2 − e II = = = and the glueball = ) can then be rewritten as: Z = = = = S / = 2 ). On the other hand, for a USp(2) gauge theory 2 – 10 – 2 11 12 22 2 = by letting M C Φ Φ Φ be decomposed as: 2.15 M e M S SM MI IM 2 P 2.14 P ,E U(1) instantons, which for . The ADHM construction for U(1) with 1 / 2 ) Z f f M N ) are also taken into account, the classical regime can be ∪ of spin-1 operator is a necessary requirement for the existence 2 ij Z R 2.16 / 2 C , there would be only three generators transforming in the adjoint } = 0, the finite coupling relations ( 1 e I with ∪ { I, 2 2 Z ,E 1 / 2 f M C is the SO(2) mesonic operator and ) can be recovered for the finite coupling limit. However, if the extra operator with M 2 Let us provide a complementary argument based on symmetries that supports the iden- In the classical regime, where we neglect the contribution from This is the required consistency that we mentioned above: The goal is to reproduce the set of equations ( 2.17 ,E 1 , the reduced moduli space of one SO(2) instanton generated by 2 f of a linear hypermultiplet containing1 the flavour, conserved current. there For isM a no U(1) gauge flavour theory symmetry with representation and of SU(2) hence associated no with aforementioned associated U(1) symmetry, generator. as in ( Identifying the latter being given by the ADHM construction oftification USp(2) of with 1 flavour. provides the moduli space ofempty symmetry U( group and thusflavour a symmetry, trivial an moduli SU(2) space. Furthermore, in the presence of a This time, setting Z i.e. a lineartogether combination can of be the rewritten as: meson It is clear that, byin setting ( the instanton operatorsand to the zero, extra only relations oneprecisely of in recovered. the ( To three this equations avail, let where operators respectively. The relation in ( by setting the instanton operators appearingDecompose there the to generators zero. Φ This can be achieved as follows. JHEP04(2017)042 I , i.e with , the , and A U(1) x (2.28) (2.30) (2.29) 2 ). The × ,E 1 SU(3) 2.1 B , . 1 f , subject to A M f , M M I 1 − and 2 U(1) ). m S . 2 × 1 t 2 A t − ) as 2.13 is isomorphic to the union ) fugacity. Replacing + , meeting at a point. As y 8 | 2.8 , which acts as a spectator I ; A SU(2) y SO(4) n 3 t ] 2 is broken to SU(2) | 2 E ]( t ∼ = 3 A n m I SU(2) q E , [2 1 =0 f SU(2) is the fugacity for SU(2) −∞ instanton , M 2 ∞ ∞ U(1) is the highest weight state of the spin , the U(1) 1 X X = y m A q n n × factor in f 6= 0, the tower of states originating from M ) + [ A which is defined in the next paragraph. 2 A 1 t n H B m 1 SU(2) − 2 . t 2 × charge ) + (1 instanton SU(2) Z I x – 11 – ; ∪ × A t SU(3) x ] ) = C B ]( 1 , acts as a dressing for the instanton operators. For 2 ), whilst keeping the representations of SU(2) as one can see explicitly in ( / C U(1) flavour symmetry; hence there is a generator at 1 = SU(3) 2 , m 1 3 SU(3) E ∼ = 2.29 , y, q SU(2) symmetry. For 1 m E ; [ ∼ = ) as an expansion in t = 0, i.e R f ⊃ M =0 ]( [ 2 1 ∞ 2 A X we have that: 2.13 H m ,E M U(1) 1 2 / = , up to a normalisation of charges that is explained below. The × 1 f ) = M I q [ SU(2) , i.e the space 1 , y H × − x ) ; 2 = 0 and is used to differentiate from SU(2) ) are the fugacities for SU(3) and t t 2 ]( A 3 − , x SU(3) 1 ,E SM there are four generators transforming in the adjoint representation of the 1 x 2 = 2 f M Z [ associated with this symmetry. We see that only when we identify = ( factor instead combines with the SU(2) f ∪ 2 H x t N B 2 The SU(3) factor of the enhanced global symmetry Z The subscript representation of the SU(2) / 8 | = 0, the dressing is a different space, due to the presence of an extra piece of the moduli 2 n the representations of SU(3)we in break: ( when one flows awaylogical from symmetry the U(1) fixedSU(2) point. The U(1)for factor the is breaking, and identified together with they the form topo- a global symmetry SO(4). Hence, we decompose where the reduced modulian space algebraic of one varietyrepresentation it SU(2) subject is to generated theHilbert by series Joseph operators can relations, again transforming which be in can written the using be the reducible extracted surgery from adjoint formula ( ( the relations 2.4 The reduced moduli space of one of two cones, hyperK¨ahler the reduced moduli space of one SU(3) instanton, Hence a bare instanton operator| with U(1) the glueball (1 n space unaffected by instantons. It is in fact the space generated by It is instructive to rewritefugacity ( for SU(2), by order C global symmetry SU(2) 2.3.2 Expansion in the instanton fugacity with 1 flavour, there is an SO(2) JHEP04(2017)042 × B (2.37) (2.36) (2.31) (2.32) (2.35) (2.38) (2.33) (2.34) U(1) is shortly). × I are the series B } , ] ,k r 1 , − and U(1) respec- , for U(1)  ,...,n 4 B zw . 1 m q t n 2 2 b t = ] + [1 { µ 2 2 2 n − − 1 . and 2 . n t I = [0 r ) , x q n r 1 2 z . 1) 2 ] k − µ t ] 2 , w − 3 w n , r . . . µ + 1 − n r ! = . 1 1 (1 + − n 1 1 B − z 1 µ is defined as follows: x 0 1 2 1 . . . µ be those of SU(2) → n r + [ µq 1

] + [1 7→ n 1 3 1 fugacity. w ] 1) =0 + µ r = − m , 2 I X ] associated to this Hilbert series is 1 n ,k r µq zw − ⇔ and 40 ] + [1 ( =0 [ U(1) m 0 1 + z , . . . , n X × 9 ,...,n n 1 2 1 B (1 + n – 12 – n  w b =0 ∞ 1 , is the fugacity for U(1) X ] + [2 ,k m = − i 0 is the U(1) q SU(2) X n 2) 1 [0 , q → zw − 2 ) = (0 ) = x → i ) = PE = µ + z, q 1 ; → SU(3) 1] ; t 1 , − 1 ( t µ, q P , where − 1 ; x G q 0) ]( [1 t 2 , x 2 ]( = (1 x 3 SU(3) , , x + w fugacity and 1 SU(3) 2 for the U(1) factor will be related to the fugacity 1 , B 1 x f w M w [ f M = [ H 1 G 0] = ) be the fugacities of SU(3); x , we set , 2 Z are highest weight fugacities s.t. [ [1 , x ∈ 1 =1 x r i I is the fugacity for the highest weight of SU(2) is the SU(2) } i µ µ z = ( { The highest weight generating function Under this map, the Hilbert series of the reduced moduli space of one SU(3) instanton A possible projection matrix that maps the weights of SU(3) to SU(2) x The highest weight generating function for group of rank 9 where coefficients. where becomes where The U(1) charge is anumbers multiple of 3 for states in the root lattice. To obtain integer instanton U(1) as while the adjoint representation decomposes as In other words, we have The character of the fundamental representation of SU(3) is mapped to that of SU(2) tively (the fugacity Under the action ofare this mapped matrix, as the follows: weights of the fundamental representation of SU(3) given by Let JHEP04(2017)042 , × A . A = 0, , the ˙ σ 2 ˙ ρ which (2.39) (2.40) (2.41) S e 0; 2] of T e , which T 1 , ˙ 2 ρ − ˙ SU(2) β µ  ˙ , µq β ∼ = ˙ α B e T =  . ˙ 4 ˙ σ β t ˙ transforming in the ˙ α α 2 ) = 0, transforming in ˙ e 2 µ β = 0. We also identify T i ˙ α e i T = 0 − e 1; 2] where T αβ ˙ imply. , 2 σ  ˙ t ρ 3 ) e αβ T 2 ˙ ,E and ρ µ T 1 ˙ β j 3 and Φ  ) becomes i + f ˙ , σ M ˙ ): 2 1 α 0; 2] + [1 ,  − , 0; 0] = 0, transforming in the [0 ˙ spin 2 generators: the singlet 2.29 β , 2.1 ˙ , ˙ [0 α , β µq R 2 ˙ e = 1 α T 1  + i ˙ ) provides five dominant representations = 0 β , the anti-instanton operator = 0 − ≡ ˙ α 1 ˙ ] 10 β ) k µq I e 2 ˙ T α j 2 t 2.39 e e 1; 0] + [0 0; 0] 2 2 matrix is the subset of matrices with zero Φ T T ≡ , , j j ν = 0, the following statements are equivalent: , with i i I × j (1 + ˙ β – 13 – i  with ˙ 1; 0] + Sym α  , ˙ ˙ β β ˙ ˙ [1 α α + PE[ 2 e e T T 2; 0] + [1 0; 4] + [0 obeys a singlet relation. This is to be expected, since , , ) = PE ˙ β 0; 0] : Φ ˙ α , , the inert meson that we denote by e T , and 2 ν A µ, ν, q ; t ]( 0; 2]) = Sym 1; 0]) = [2 0; 2]) = [0 obeys a quadratic relation transforming in the reducible represen- . The second PE is the contribution from the spectator SU(2) 3 , , , 2 matrix, i.e. 1; 0] + [0 0; 0]1; 2] : Tr( : Φ 4 SU(2) are contracted by the epsilon tensor, e.g. ( j , , , t which we denote by , and the meson transforming in the adjoint of SU(2) ,E i × 2 1 1 ([1 ([0 e [1 [0 [1 × T 2 2 µ − µq 0; 0] whilst f I and is subject to the traceless condition M − , [ = 0. G ≡ 2 . The relations can be read off from ( Sym Sym αβ 1; 0] + [0 case, the generators are Φ e are the fugacities corresponding to the highest weights of SO(4) T A e , I T 3 ) is an expression that carries information about the representation theory ν ,E ([1 1 2 1; 0] + [0 2.39 a symmetric 2 f SU(2) , and M , the term . e T 1; 0] of SU(3) µ Sym × B B , = 0 and Tr Eq. ( The highest weight generating function ( Thus, the highest weight generating function for ( For e T 1; 2]. We can write these relations as follows: 10 , where the indices of det determinant. There is also[1 a quadratic relation mixing Φ Hence the generator Φ tation [1 the minimal nilpotent orbit of traceless 2 For the the [1 SU(3) more concisely than the Hilbertintersection. series However and in furthermore the orderring lattice to explicitly, it we write encodes consider the is what relations a the complete between Joseph the relations operators2.4.1 for on the chiral The generators and their relations we denote by a relation quadratic inSU(2) the generators andwith transforming the in only representation the adjoint representation of that generate the highestfollows. weight lattice Inside the in first a PEinstanton simple we operator can way. identify The the information SU(2) we can denote be by read as where SU(2) JHEP04(2017)042 . , a ∼ = ˙ α αβ  α ) = 2 ab Q  (2.45) (2.46) (2.42) (2.43) (2.44) T b ensures ˙ β β ). Under β Q α a ˙ α 2.41 α . Q e I · . = I ˙ 0] β 11 ˙ , α = 0 ). ; 2] e T 2 0 S 2.46 and αβ ) = ˙ β  2 2 ˙ α ) , 0] + 2[0 T = 0, the classical relation.  σ , ; 2] + [0 . e ab I 1 1 2  ) , is made up of the same fundamental b − − = 1 ) and ( group SU(2). Out of these quarks the ρσ T ˙ 2 β A  β T ρ . Q . I a 2.45 ( α, β ˙ = 0 α 1 2 gauge S 0] + [1 α ˙ = 0 = 0 α β , ; 2] + [1 S = 0 Q ˙ ) = 0 vs 2 Tr( e + I ), ( ˙ ˙ 1 1 α β β α 2 ) = 0 ˙ 1 2 ˙ ˙ = 2 Tr( e β α α β e T = I 2 T ˙ α e I 1 2 e e β e − β T T ) decompose into the five relations T e = 0. Notice that the choice of Φ αβ 2.44 α T α αβ I α α the representations decompose as I e = = T I I S T αβ αβ Sδ A − = 0. 2.41 ; 0] + [1 ; 2] + [1   1 2 0 0 γα γα – 14 – 3 α = e 3 I αβ T T [2 [2 U(1). We choose the following embedding: − ) can be explicitly written as: T βγ βγ αβ = × SU(2) ; 2] : ; 2] : ; 2] : ; 2] :   γβ ; 0] : Tr( be nilpotent is obtained by virtue of the last equation + Φ β 0 1 1 0 2  β β 0 B 2.43 e I × − e → → α ST I I S [1 [0 [2 S [0 αγ I α since this is the one transforming nontrivially under the [1 α αβ T I  S j i 2 matrix, is equivalent to = = = = Φ = U(1) . Before considering gauge invariant combinations, the quarks 2 matrix, 0] : 0] : 0] : i 1; 2] 0; 0] β 3 = 0. Consequently we also restore the condition Tr( × α 3 ; 0] : , , , i , , × αβ α 3 3 α 0 1 1 0 × e I , the generator for the spectator SU(2) T [1 − Φ Φ Φ Φ ˙ [2 [1 B 2, transform in the vector representation of the global symmetry SO(4) β , ˙ 2[0 α [1 I, e T ) that = 1 SU(2) a 1; 0] + [0 , 2.41 ⊃ [1 and in the fundamental representation of the A ) is also recovered. B 2 and , is a traceless 2 2.7 is traceless since Φ = 1 SU(2) αβ SU(2) ) when we set j ˙ α T i × × A α, The finite coupling result that The aim is to decompose the relations in the first and third equations of ( The glueball operator, the instanton and anti-instanton operators and the meson are 2.44 Notice that the meson 11 fields (quarks) aswith the meson SU(2) following gauge invariant mesons can beThe constructed: difference between thesequantum corrected two whilst mesons the is other being in unaffected: the Tr( relations they satisfy at infinite coupling, one being of ( 0, which, forMoreover a ( traceless 2 Recall also from ( In total there are thus 10 equations, namely ( The relations in the second line of ( SU(3) Thus the relations in the first equation of ( where that Φ embedded into the generator Φ SU(3) factor that breaks into SU(2) JHEP04(2017)042 4 4 = t t  0] (2.49) (2.50) (2.51) (2.52) (2.53) (2.55) (2.56) (2.57) (2.48) (2.47) , 4 )[2 t 2 a, b, c, d  − q 0]) ; (2.58) , + 2 q , with αβ  ab ˙ U(1) and compute β β 2] + [1 × M ) . ] , b in subsequent sections. ˙ ˙ 0]) + ( α α γ , β β ( f ) ) )([1 ˙ β α ac a a 1 N e I + ) α δ γ γ − 2 ) α β ) ( ( t q a I I β [ β β 2  e I 0] + [3 α t e γ I + ( , αβ ( α 0]  e I  SI S q , I ) are in correspondence with the 0] ≡ = = 0 (2.54) , = = = )([1 αβ ˙ )[1 β β 1  ˙ ˙ ˙ 1 β ˙ α α e α I cd 2.46 ˙ − )[1 αβ α β β ) − 4 adjoint matrix 2] + ( α 1 q ) ) ) ) , q , = ( b b I ab M − × ab ab + γ γ q ba γ + ab q bc γ γ ( ( αβ ( (  q β β + ˙ M α e M I I M ) and ( ab ab α q − = 2] + [2 ) ab ab ab 4]+( , a 2 , abcd = and ( γ 2] + ( – 15 – M  S SM SM M M 2.45 ( , ab 2] + ( ˙ , β ), ( ˙ α M 0] + [0 0]+[0  2] : 0] : 0] : 0] : 0] : , , ˙ β 0]) : 0]) : , , , , , β , , 0] + [0 2.44 ) [0 [0 [2 [0 , ] 0] + [0 b , γ 0]+[4 3 + [2 ( , ˙ ....  2] + [0 α 2] + [1 2] + [1 , 1 + [2 α , , + − ) ). We emphasise here that the computation of the plethystic  [2 1 + [2 a [ for SO(4) take the following index form: 1+[2 ([1 ([1  γ 1 q  .... a ( 2.48 − γ )] = q + + ≡ , q 2 in ( ) in terms of characters of representations of SO(4) αβ ) 4 ) = 1 + , x t 1 ab , q x γ 2.29 2 ; ( t , x ]( 1 3 x E ; [ t 4 vector indices of SO(4), such that ]( H 3 We can rewrite these relations in terms of a 4 Another approach to see these 10 relations between the operators at infinite coupling E [ PL [ ,..., H and the product of two gamma matrices is defined as: where the spinor indices are raised and lowered with the epsilon tensor. The gamma matrices as follows: terms at order logarithm provides an efficient waythe to moduli write space. down the This relations method that is applied are for crucial the to cases1 describe of higher Indeed, the 10 relations listed in ( The plethystic logarithm of this Hilbert series is is to rewrite ( its plethystic logarithm.as For follows: reference, we present such a Hilbert series up to order JHEP04(2017)042 n ), 2.59 (2.65) (2.64) (2.62) (2.60) (2.61) and as spin R 1 (2.59) − and the glueball , is the nilpotent 2 t αβ 2 ) ν 1 ab =SU(5) γ − ) as it is a relation not 4 ( 1 ,E ab 1 , + 2.54 , the second term in ( n M | f 2 A 2 M n t | S = , x ac µ ] | δ : = 0 (2.63) = n 2 q | αβ      ˙ , n β 2 S cd ˙ t 0 T α , ) n = 0 M q ab ab bc γ n, 2 ( [ −∞ 0 1 0 0 4 3 2 1 0 0 1 0 0 0 0 1 S ∞ M M ab X = =0 ∞ n ab      X n ) constructed in the following way: we take highest weight states for SU(2) ) abcd ) = 2 | =  SM M 2 µ n ) = T – 16 – | 2 2.56 = SU(5) instanton, t x adjoint meson ). Moreover we keep ( ; U(1) 4 t Tr( 0] : 2] : 0] : − × B E , , , instanton operator, the factor outside the sum, is, for ]( 3 )-( 1 U(1), we choose the projection matrix 2.52 D [0 [0 n )(1 q 2 → × t 4 2.50 SU(5) subject to the following relations: , A . 1 2] + [0 − S P , B f M (1 [2 [ ) in terms of an expansion in and H ) = ab 2.39 M ). In order to proceed with a decomposition from weights of SU(5) µ, ν, q is the character of the adjoint representation of SU(5) with fugacities 4 ; t . They transform as spin x , x ]( I 3 3 1] , ,E , x 0 obeying the relation: 1 2 , = 0 there is a contribution coming from the SU(2) = 3 0 f S , x M , n f [ 1 G x N For The classical dressing for each 2 representations of SU(2) = ( / | 6= 0, a space generated by the SU(2) n where [1 x representations to those of SO(6) 2.5 The moduli space of theorbit reduced generated one by thethus adjoint be representation written of as SU(5). Its associated Hilbert series can These relations are athe subset first two of equations ( andthe we substitute glueball the operator instanton bilinear bycorrected on means the by of right instanton hand ( operators. side with sector, generated by which modifies the classical dressing entirely. The latter is in fact, for this charge zero under the U(1) | n operator It is useful to rewrite ( From here, we can extract the transformation properties of instanton operators of charge 2.4.2 Expansion in the instanton fugacity JHEP04(2017)042 , 1 − (2.69) (2.70) (2.67) (2.66) (2.68) w 2 .... y 1 + w . − 1 2 4 t y y  = =  0] and the explicit 0]) 3 1 4 , instanton can be is the basic rela- , , µ 2 1] representations, − 3 2 1 2 4 4 , t , n x , t µ 2 0 4 E [0 t 4 , 2 t 2 q n 2]) 2 − − , t 1 ) 1] + [0 1 .... n 3 , x , , q 2] + 0]) µ 0 1 + , y , 2 2 , ] − 0 t 1 4 2 µ , t , w ([1 , x ) as:  1 [0 0]) + [0 , n q 4 2 1] + [0 2 , − , a singlet of SO(6), the instanton 1 3 q t ). 1 , ( 1 y w − 1]) S − 0 , 1 1 , q , n O , q y y 0 0] + [0 3 [0 2.70 , 1] + , q 1], while at order 0] and cospinor [0 µ ([0 , = = 0 , , is the fugacity for the integer quantized =0 1 0 n , 1 1 3 2 1 + of ( 1]) + , − X q , , n − 2 , q q 1] + 4 [0 ) is a generating function for a lattice with 2 x 2 t , 1 0] + [0 , 3 =0 n µ 0 , 1 − X , 1 n q 1] + [2 2] + , 2.68 , U(1) up to – 17 – [0 , 1 1 =0 2 ∞ (1 + , × ([1 X n , − 0] + [0 , x 2 1 1] + q t , , 1 , x −  ) can be written in terms of the character expansion 1 1 q − 3 , ) = , w w + 1] + 3 3 , q 1] + [0 ([0 2 + 2[0 2.64 , y y , y q 1  ; 1 , t , = = + ) = PE − ]( q 1 2 ; − 1 3 x 2 in the following, where )] = (1 + [0 . Then ( 1 + [0 , µ SU(5) , I 2  1 q , q µ ; x + f = t M ; [ SU(5) as t is the character of a representation of SO(6) as a function of fugacities ]( 5 ]( H ⊃ w y 4 ) = 1 + (1 + [0 ,, x x ] 3 4 4 E ). The information contained in this equation can be carried compactly by , q [ SU(5) , 3 w w , p x 1 we can again recognise the contribution of H 2 ; U(1) , y t = = 2 f 2 M , p t ]( × [ 1 1 1 4 PL [ , y x x G p 1 E [ y H ⇔ = ( , hence we set Below we write downrelations corresponding the to generators the corresponding terms at to order the terms at The plethystic logarithm of this Hilbert series is written in terms of characters of SO(6) conifold structure. 2.5.1 The generatorsThe and generators their and relations theHilbert relations series. can The be Hilbert extracted series from of the the plethystic reduced logarithm moduli of space the of 1 where at and the anti-instanton operators inand the spinor the [0 meson intion the between the adjoint operators. representation [0 Notice that ( where [ y means of the associated highest weight generating function instanton number U(1) of SO(6) States in the root latticew carry a charge multiple of 5 for the U(1) associated to the fugacity which gives the fugacity map JHEP04(2017)042 = ] it 31 (2.82) (2.83) (2.77) (2.78) (2.79) (2.80) (2.71) (2.74) (2.81) (2.72) (2.73) (2.75) (2.76) .  α, β, ρ, σ n . − ) n 3 µ 2 α t I . ( α n β q ) αβ . αβ 0 ) ) ab a a ab γ γ X n< γ ( ( ( -spinor — a representation α β ac | α + α e 6 antisymmetric matrix, the I I δ e SM I n ) n | α SI × ) β S α = = ) 2 e I ac , . The relations corresponding to = µ α δ = ab ef . 2 ef 2 I S γ t , a 6 ( αβ S ( αβ . M αβ ) M βρ β ) n ab ) b e ) = ( α b I cd b q α = expansion. Firstly, an instanton oper- ] cd e I γ b γ γ β 0 M q α bc ( ( ) = γ M bc ≥ M I α ( α X n ab e I I M ab M γ = αβ  ( ab ab ab . ) ab ) 2 β a abcdef α [ 3 abcdef α β SM M M M  S M  γ µ δ and ( ( M 2 – 18 – 6 to denote vector indices and use µ ≡ 2 = as follows: t ρ = 1, here we find a prediction for all q α ab − and it transforms as an ,..., 1 ) 1] : 0] : 1] : 0] : n αβ 0] : 1] : | 0]) : 1]) : , , , , ) M ab , , , , 0 1 0 1 n )(1 a 0 1 γ , subject to the following relations: | 1 0 , , , , 2 = 1 ( , , γ t , , ab ( [0 [0 [0 and the gaugino bilinear [0 − ) can be written as follows: M α spin (1 e I 0] + [0 R 0] + [0 1] + [0 0] + [0 , , 2.70 can take the following forms: using the following relation , , and 0 a, b, c, d 0 ) = 0 1 , and a , β , , S α γ , q [2 of ( α [2 3 I ([1 ([1 4 M t 1 q , µ − 2 ) as an expansion in has SU(2) q µ indices are antisymmetric. The product of two gamma matrices has one ; n t ]( 2.68 α, β ) the generators of the moduli space are on a spinor Dynkin label — of the global flavour group SO(6). Whilst in [ SU(5) , | 2.70 1 4 to denote spinor indices. Note that the spinor representation of SO(6) is complex. n | f Secondly the instanton operators are dressed by a factor, the one in front of the sum, Two very interesting features emerge from the For SO(6), we use M [ G ,..., was found that this result holds for which is generated by ator of charge with 2.5.2 Expansion inWe the rewrite instanton ( fugacity As can be seen,recurrent feature the for classical all relations numberof of are an flavours. SU(4) corrected These matrix by relations can instanton also bilinears be and rewritten this in terms is a From ( instanton operators the terms at order where the lower spinor index and one upper spinor index: 1 The delta symbol carries has one upper and one lower index: The gamma matrices JHEP04(2017)042 y (2.86) (2.87) (2.85) (2.88) (2.84) , a singlet , which is , S 3 n
+2 1 2 − =SO(10) 3 n  ) by keeping only 5 y ) 1 1 +2 , both transforming ,E 1 1 U(1) as follows 1 − n , y 2.79 . q − 2 3 = 4 flavours is isomor- 4 f × q t M y U(1). Hence we rewrite 4 3 µ f 1  n , µ . )-( 1 − 2 × N − + w n y y 2 2 1 q , n t        4 3 q and x 2.74 , y 1 w µ y y 1 q ] 0] , − 4 3 − , 4 + 2 2 SO(10) using a projection matrix µ 0 n y 1 2 y , 2 w µ − 0 ⊂ + , , y 2 2 4 2 4 y w , n, − , n , y , (1 + 2 [0 0 of SO(10) are mapped to the fugacities U(1) 2 2 2 , t − 1 1 w  − =0 x × ∞ w = SO(10) instanton X n  2 , n 0 00 0 00 0 1 00 1 0 0 1 0 1 0 0 0 0 5 associated to − [0 E U(1) character expansion as 0 – 19 – ) = α ) = ) =        ≥ e I x 1 5 × 3 ) = PE ; − 4 t q = ,n , x spin-2 generators: the glueball superfield x ; 2 ]( 4 X 5 4 and ,n R 1 , x α , x , µ U(1) n 3 I 1 2 × 2 4 − 3 µ t SO(10) , x , ; x D 2 1 t 1 5 − → ]( x , x f 5 1 . M 4 1 [ 4 D x t , x P ( H to have integer instanton numbers, rather than even. 1 ) = SO(10) − 2 q . The highest weight lattice is freely, generated as we see from the , 1 2 , q x 3 = is the character of the adjoint representation of SO(10). µ y f ; M 2 [ t , x x ⇔ 1 w G of U(1) as follows: ]( 0] − 1 , x w 0 2 , 0 , x SO(10) , = 4 , 1 1 1 x , f ) we set ( f M N [ , associated to The corresponding highest weight generating function is At finite coupling the theory has a global symmetry SO(8) H 2.85 ab where we recognise the usualof SU(2) SO(8), the instanton operators in the same spinor representationM of SO(8) with opposite U(1)lack charge, of as relations well as at the order meson In ( Under the action of thisof matrix, SO(8) the and fugacities where we decompose representations ofthat SO(8) maps the weights of SO(10) representations to those of SO(8) where [0 this Hilbert series in terms of an SO(8) phic to the reducedgiven moduli by the space minimal of nilpotent one orbit of SO(10). Its Hilbert series is those relations that are not correctedtheme by the for instanton higher operators. number This of feature flavours. is a recurrent 2.6 The Higgs branch at infinite coupling for an SU(2) theory with Interestingly, such relations can be extracted directly from ( JHEP04(2017)042 (2.91) (2.92) (2.93) (2.89) (2.90) (2.95) (2.94) .... 4 t +  4 t 2] ,  ) 0 2] 2 , , − 0 0 ˙ β , q , α 0 ) + ] , )[0 b 2 2 γ q − ( 8 to denote those in the q 8 antisymmetric matrix; ˙ are antisymmetric. The α . . α ˙ + × ) ˙ ˙ 0] + [0 β σ are symmetric. S ˙ β β a 2 , β ρ 2 [ ˙ ) can be written as ˙ α q ,..., 2 ) t ) 1]) + ( β α, γ ] ] δ , , 2  ( d d t 0 0 α, γ γ 1] , ,  = 1 . ( 2.90 ( ≡ 0] ac , ˙ 0 ˙ = 0 (2.96) ρ σ , and ˙ δ ˙ ˙ 1] 0 , α β ρ ρ or 8 to denote those in the conjugate ) 0 ˙ 1]) + ( , , ˙ β ) ) α α , and ˙ of ( α , ˙ c 0 0 c ) ) α e 2 I 0 , , ) a γ γ 4 , , α ab 0] + [0 0 ( ˙ ( t α, β γ β ˙ ˙ I , 1 , ρ γ ˙ β ,..., )[0 α , 0 , which is a 8 α ρ α, β 0] + [0 abcd 1 δ ) , ) α, β, ρ, σ , )[0 γ ab − b b = ( 1 1 1 ( q = 1 , γ γ , 2] + [0 − ( ( M bc cd 0 ˙ , ˙ ˙ q + β α σ , or or ( and ( 0 1] + [0 α α q M M , ˙ – 20 – , ) ) + ρ, 0 a a 0 ab ab [ [ q ˙ )([1 , , ˙ β 0] + [0 is given by β, 1 γ γ , β 0 ( ( M M αβ ˙ ) − 4 , α 0 ] δ 0] + ( t α, q , α b , ≡ ≡ ) 0 γ 0] + ( 0 a , + ˙ ( ; and the glueball superfield )([0 β , , 0] + [0 ˙ γ ˙ 1 β α α αβ q , 0 1 ( e or α ) ) I − , , 0 ) q 0] : 0] : , 1 a + ( [ , , , 1] and ˙ 1 0]. The delta symbol has the following forms: 2 + [2 , abcd abcd 0 2 , + γ , and , ,  0 ( γ γ 1 q αβ , ( ( 0 0 , 1 + [0 δ α can take the following forms: , , 0 − ≡ 0  I , , 1 + [0 + ( a [0 ) up to order 1 + [0  γ αβ ....  ) )] = ab 2.85 + + 0] + [0 γ , q , ( 8 to denote the vector indices, 0 x , ; ) = 1 + 0 t , ]( , q 5 ,..., [2 x E ; [ t = 1 H ]( 5 E The generators of the moduli space are The relations corresponding to terms at order [ PL [ H the instanton operators and similarly for both upper indices; the indices The product of two gamma matrices has the following forms: and similarly for bothproduct of upper four indices; gamma the matrices has indices the following forms: The gamma matrices From this collection ofbranch representations at we can infinite writea, coupling b, the c, d by defining constructing equationsspinor for the the representation relevant [0 Higgs operators.spinor representation For [0 SO(8), we use The plethystic logarithm of this Hilbert series is The expansion of ( 2.6.1 The generators and their relations JHEP04(2017)042 (2.97) (2.98) (2.99) (2.104) (2.105) (2.106) (2.100) (2.101) (2.102) (2.103) 0] of SO(8), , . 0 and transform | αβ , n δ 1 | R ) , 2 ρ t e | I n ρ | 4 I . µ ( n 1 8 q of SU(2) − = 0 . | ) ˙ n ˙ ˙ −∞ β α α n | ∞ β ˙ α 2 X ac = β β e . I t ) ) ) δ n α a a x 2 ( )  I γ γ S 4 ( ( abcd t = 0 β β 2 4 αβ γ = = e I ) ( µ are spin αβ SI S ab bc cd δ αβ − n ) γ n β = = ( e I M M 2] is a reducible representation. β ) by keeping only the relations that are , ˙ ˙ α α α e )(1 ab ab αβ I 0 e I abcd β β , 2 δ 0 0 0 0 0 α ) ) γ t 0 I β M M b b (  = , 2 e I 1 γ γ µ 2.102 cd α ( ( = =0 I ∞ αβ β β X − n e δ )-( M I I ab – 21 – , in the adjoint representation [0 β = 0] + [0 ), here the anti-self-dual 4th rank antisymmetric ab ab ab I , ab 2 )(1 2 0] : 0] : α ) = , 2 2.95 , , M S SM M M I 2.4 M t 0 x 0 2 , ; , , ) can be written as t − 0 0 ]( , , 6 (1 [0 2.88 0]. Explicitly these relations are: ,E 0] = [0 , ) and ( 0] : 2] : 0] : 0] : 1 , ,( 1]) : 1]) : 2 , , , , 0 Such a space has complex dimension 13 and, by adding the 0], subject to relations that transform in the representations can be written as , , ) = , q expansion signifies a space which is algebraically determined by , 0 0 0 0 f , 2.3 M 0] + [0 q 0 0 0 0 , , , , [ 6 0 q , , ; , , , 0 0 0 1 , 12 4 0 0 0 ,E , , , , [1 H 0 , 1 , , 4 , [0 [0 [0 0 , µ ∧ )[0 , f 2 M 2 µ [2 − ; q t 0] + [0 0] + [0 0] and [0 ]( , , + , 1 1 0 2 , , , q 0 0 0 ( , , , SO(10) , = 5 1 ([1 ([1 1 q f f M − 0], [0 [ q , , in the singlet [0 N -spinor representations of SO(8). G 0 | S However the interpretation of the classical dressing is more subtle than in previous , Recall that for SO(8), n 0 | 12 , guessed from the setnot of corrected equations by in the ( instanton operators. 2.7 The Hilbert series of The following features caninstanton be is observed. generated by Whilstrepresentation ( the is classical missing. modulidimension space originating from of the one summoduli SO(8) over the space instanton of number, the one correct SO(10) 14 dimensional instanton is recovered. Again, the classical dressing can be [2 cases. The prefactor in the some of the conditions thatis define a the space moduli generated space by two of operators, and one SO(8) instanton; in particular it Here again we find that instanton operatorsin of charge 2.6.2 Expansion in theIn instanton terms fugacity of an expansion in JHEP04(2017)042 y 1]) , 0]) 0 , (2.112) (2.110) (2.111) (2.107) (2.108) (2.109) , 1 0 , , 0 0 , , 1  , . , 4 3 3 y n +  wy 2 2 2 , 1 . t 0] + [0 +2 t y 2 2 , w 0] + [0 4  n 1 , , 0]) ) y 0]) , 1 , 4 wy 1 2 , 1] +2 0 , 1 , U(1) is given by y − 1 1 w , , . 0 , 1 , q n ] can be written in terms 1 0 , , 0 5 2 5 × 0 6 , , 0 1] 6 , t 3 y , µ 0          5 , , 3 wy 0 .... ,E y 0 w , 1 , 1 n 2 ([1 , , D 0 , + , 1 + ([0 − 4 [0 , − 5 0 f [0 2 4 w q q − y M 4 q , are mapped to the fugacities n q [ y 4 t q w , 4 0 q µ  , 6 5 , H y − 3 ] 5 1 E 0] .... + 3 1] + y 6 , wy w 1] + 1]) + 0] + [0 , 2 2 , , , 0]) + , , of + − 0 , n , µ 0 0 , 0 4 4 , 2 4 as 0 , , , 1 1 1 5 0] + [0 x t 0 to those of , w w 0 0 , 0 , I , , n  − 0 , , , 0 0 6 0   0 , 0 1 , 0 , (1 + 0] , 3 , , E , , 0 2 , 0 [0 1 t , [0 , − 0 2 [0 U(1)  1 ) = ) = , 2 q 1 , n 4 1 6 , − 0 − × 0 00 0 00 0 0 00 0 0 0 00 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 – 22 – , q − 4 [0 q − 0 , x 0 is given by x 1] + [0 0] + [2 5 , ≥ 3 2] + , , 1] + [0          4 3 , 0 , t 0 , x 0] + 0 , , x ) = PE )[1 ,n , 0 0] + 0] + [0 = 4 , , 2 1 2 q 0 , , 0 , X 0 0 ; , , 0 − 5 − 0 ,n 0 , x , , 4 0 , 1 , 1 q , x 3 0 0 , , n 0 0 3 0 U(1) , , , , µ , , + . Thus, the Hilbert series 2 1 , x × 2 1 1 t 3 ([0 [0 , x 5 2 , 2 , µ , 1 2 1 ([1 q 1 D w ; − q − − − 6 , x t 2 + [0 → q q 1 x 1 = ]( 6  + + ( 2 x 6 E + + ( q ) up to order 1 + [0 − , x ,E P 1 is 1  ) = − 3 I f , q + M x 2.109 [ y 1 )] = (1 + [0 of U(1) as follows: ; G ⇔ t , x , q ) = 1 + (1 + [0 w 1 ]( x 6 − 2 ; , q t x ,E x 1 1 ]( ; 6 t f , x M E ]( 1 [ [ 6 x H ( H E [ H PL [ The plethystic logarithm of this Hilbert series is 2.7.1 The generatorsThe and expansion their of relations ( of characters of representations of SO(10) The corresponding highest weight generating function is The fugacity of U(1) Under the action ofof this SO(10) matrix, and the fugacities of A projection matrix that maps the weights of JHEP04(2017)042 = 0] of 0. (2.117) (2.118) (2.119) (2.120) (2.121) (2.122) (2.123) (2.124) (2.113) (2.114) (2.115) (2.116) highest , n, | 0 , n . | 0 n < α, β, ρ, σ , ! n , − ] for ) . α | 5 I n µ | α β 2 , are spin , t ) = 0 , 0 ( 4 α , n a α n β 0 β . ) q αβ ··· ) , ) a 1 0 a 10 antisymmetric matrix; 0 , β . a a , γ 3 , γ ( γ γ S σ × ( X ) are as follows: n< α ac ( ( α ) β I δ ] β β e I ) + d e α e ) I I β α SI 5 γ S α n ) e I ( e , ) I µ = 2.112 3 α . 4 = 4 ab = ] σ I µ γ 4 µ = 2 αβ α α ( a 2 4 ) σ β , βρ β t 3 t ) β a ) ) -spinor representation [0 ) ( a e ] c = ( α αβ b I b γ b e n n ) I − γ γ γ a q γ ( α bc ( M ( = ( 2 2 γ 0 I α β σ ( a , which is a 10 e )(1 ≥ M I I ab 1 1 αβ β 2 X n = a ) can be expanded in the instanton number σ . ab ) ab [ ab ab I 1 ) µ a 2 [ α b

2 α β 10 to denote vector indices and M t M M S SM M M I γ γ δ and ( ( ( × – 23 – 1 − 2.110 ≡ ασ -spinor representation [0 ,..., | ρ ) )(1 α a n 2 [ ) | t αβ 0] : 0] : 0] : 1] : 0] : γ ab ) 0]) : 0]) : , , , , , = 1 ( ; and the gaugino superfield a , , − γ 0 0 0 1 0 α ( 1 1 , , , , , γ ≡ e I , , ( 0 0 0 0 0 (1 0 0 , , , , , β α , , 0 1 0 0 0 and transform in the ) 0 0 , , , , , and , , ) = R [0 [0 [0 a, b, c, d q )[1 α abcd can take the following forms: ; 2 I γ 5 a − ( q γ 0] + [0 1] + [0 1] + [0 , , , µ , , + 0 4 0 0 , 2 , , 0 q , µ 0 0 , ( 2 0 and the conjugate , , 0 indices are symmetric. The product of two gamma matrices has the follow- µ 0 0 , ; , , t [2 n > ]( ([1 ([1 as α, β 6 1 q q ,E − 1 q 16 to denote spinor indices. Note that the spinor representation of SO(10) is complex. f M The generators of the moduli space are The relations appearing in the plethystic logarithm ( For SO(10), we use [ G ,..., From this formula weweight see states that under the SU(2) SO(10) instanton for operators of charge The highest weight generating functionfugacity ( 2.7.2 Expansion in the instanton fugacity the instanton operators The product of four gamma matrices has the following form: where the ing form: 1 The delta symbol has the following form: The gamma matrices JHEP04(2017)042 2 ), of  y 2.4 0]. In (2.127) (2.128) (2.129) (2.125) (2.126) , 0 , charge 0 ) and ( , I 0 ), by keeping , 2.3 1 . , 4 , t 2.123 i 4 t )-( . 4 . U(1) using the projec- µ ac . ×             δ 1 in the spinor represen- + 2.117 2 1 2 n  S t instanton. 2 − t .  6 x ) = 2 2  E  − bc − 1 q q y 3 are mapped to the fugacities charge M , which is a singlet of SO(12); the , + − 7 I S ab 2 2 2 q E y 4 q 0 , M − 3 3 of 0 0 0 0 0 q y 3 , x ) + ( n − 4 4 1  q y − 2 , q 0] : ) is missing altogether. As we have explained in − =0 5 3 ∞ , X n – 24 – q y + 0 2 2.4 , , 0 00 0 00 0 0 00 0 0 0 00 0 0 0 0 00 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 q − 0 6 2 ( , 5 q y ) = 0             , µ x , 2 ; 1 t = + q ]( 2 )  7 µ q ; ,E U(1) = , subject to the relations 0] + [0 5 1 × , can be written as S x 6 1 + 0 f , µ of U(1) as 7 M , D 4 [ 0 h q ,E → , 1 and H , µ 7 0 2 E , f ab µ M P [2 ; t = PE M we recognise the contributions of: 0]; the instanton and the anti-instanton operators with U(1) ]( , 7 2 1 t ,E , 1 0 , f 0 M [ , = 6 0 G , representations can be decomposed into those of SO(12) f 7 N E The dressing factor has the features previously encountered in that is generated by the where at order instanton and the anti-instantontation operators [0 with U(1) which are singlets ofaddition SO(12); there is the a meson fourth-rank in antisymmetric tensor the of adjoint SO(12) representation at [0 order We then have the following highest weight generating function: Under the action ofSO(12) this and matrix, the the fugacity fugacities The tion matrix: 2.8 The Hilbert series of the previous case, this can beonly at the once ones read off which fromspace are the of relations dimension not ( 21 corrected andwe by again, recover by instanton the adding bilinears. the correct contribution 22-dimensional The from moduli the classical space sum dressing of over instantons, is one a classical operators Comparing this space to the moduliit is space clear of that one here SO(10) the instanton rank-1 given condition by ( ( JHEP04(2017)042 32 0] , 32 to 2 0 t (2.132) (2.133) (2.134) (2.135) (2.136) (2.130) (2.131) , ,...,  0 ) 2 , t 2 ,..., 0  − = 1 , ) q 1 2 0] , , = 1 − + . 0 q 2 , ˙ S σ q 0 , + ˙ , ρ, 2 0 1]) αβ 0] + [0 q α, β, ρ, σ , ˙ ,  , β, 0 , ˙ 0]) 0 .... β 0 0] + ( , , , ˙ σ , β , α, ˙ 0 0 ρ ρσ ) + 1 1]. The spinor represen- ] 1 , ,   , 12 antisymmetric matrix, b , 0]) ˙ 4 0] + ( , ρ 0 0 0 t , ˙ 0 , γ 0 βρ β , , × , ( , 1 .... 1  ,   0 0 ˙ . 0 , ˙ ) 0 α , 0] + [2 0 β , , , 4 , 0 , ˙ α 0 + , ˙ α αβ 1 β , ) 0 , 0 − 0   ˙ , 0], and ˙ 4 α a , 0 , ˙ ˙ 0 , q t σ σ [ ,  , 0 , 0 σ σ 1  γ , 1 , 0 ) ) + ( , )[0 ] ] , , 0 0] 0] + [1 0 1 d d 0] + [0 4 , , , , or , ≡ q γ γ − 1 0 0] + [0 1 0 )[0 ( ( 2 q ˙ , , ˙ ˙ , , β , 1 ρ ρ , ˙ 0 ˙ 2 0 ρ ρ α 0 0 β − + , ) ) ) , , ˙ , , q α 0] + [0 . c c 0 , which is a 12 0 0 q  0 , 0] + ( ab , γ γ , , ˙ , , β 1 + ab ( ( γ 1 0 0 0 ˙ ˙ , 1 α 0] + [0 , and the glueball superfield β β , , , q , ) , 0 , β β M 0 − or a , 0 0 ) ) 2 , 0] + ( )[0 , b b 0 γ – 25 – , , 12 to denote vector indices, )([0 2 ( , 0 1 γ γ ,I 1 0 , 0 ( ( − , 0] + ( and ( , ˙ ˙ − , 0 ) is given by q αβ 0 α α 2+ , 0] + [0 0 , q  , α α I 0 , , ) ) 0 + ,..., ˙ , 0 0 β a a , + )(1 + [0 )[0 [ [ 2 ˙ , 0 , α )(2[0 2 3 q q , γ γ 0 1  2.129 or 1 ˙ ( ( and − − , 0 , = 1 β − , q q 0 β + ( + ( q − , 1 ) ≡ ≡ of ( ] α 2 + [0 1 , 2 + + b ˙ αβ σ  , + 4  2 3 ˙ γ ,I t ασ α 1 + [0 ( q q q ) ) − ˙ α  α 1+ α a, b, c, d I 1 + [0 ) + ( + ( + ( abcd abcd 2 + [0 a  [ γ γ  take the forms )] = ( ( γ ( a + , q γ ≡ x ; t ) = 1 + αβ ]( ) 7 , q ab E x [ γ ; ( t H ]( 7 E PL [ The generators of the moduli space are For SO(12), we use [ H where the spinor indicesfollowing forms: are symmetric. The product of four gamma matrices has the The product of two gamma matrices has the following forms: tation of SO(12) isthe pseudoreal, epsilon hence tensor, all which contractions takes of the the forms spinor indices are made with Gamma matrices to denote indices ofdenote the indices spinor of representation the [0 conjugate spinor representation [0 The plethystic logarithm of this Hilbert series is given by where the spinor indices are antisymmetric. the instanton operators The expansion up to order 2.8.1 The generators and their relations JHEP04(2017)042 . ˙ β (2.144) (2.143) (2.137) (2.138) (2.139) (2.140) (2.141) (2.142) α ) a n 2 γ αβ q ) | )( 4 n a | ∓ α 2 1 ··· t I . 1 . Z a  ac 2 ∈ B γ I X δ n ( ! αβ αβ )  − ) m m + β − 1 αβ − β q q 1 I β ab ) | 1 | . m  I I γ α 1 q m m ab α | n ( | 1+ | αβ 2 2 γ ) I α 1+  m t t  ( SI 5 ) in terms of characters of | β | I 1 2 − µ x I = t m α β 1+ 1 | 2 | 5  ] = 5, complicates the features of  I t = ( I 4 α 1 µ m ( | 5 a ˙ I − n β Z 2.131 3 α > 1+ µ 2 α a ∈ = ( I I ) odd = f X b m X bc M = 2+ γ N m ) even ab 2 ( I 4 X a 4 M t ab 1  t m M 2 α + 1 ) and ( a 2 5 ) ab [ − 0 I 4  2 5 µ t 2 2 ab 2 5 M M S SM I ) tµ )(1 − 5 ] µ ( 4 0 0 0 0 0 0 ) can be expanded in powers of the instanton 6 2.130 M t 1 t tµ 2 5 −  2 5 ( µ − 1 µ – 26 – =0 ∞ − 2.129 X n m + 0] : 0] : 0] : 0] : 0] : − q 0]) : , , , , , | 4 , 0 0 0 0 0 )(1 m t m 1 , , , , , 4 4 q | ) = | , t 1 0 0 0 0 t µ 4 x 0 , , , , , m | ; , µ 0 0 0 0 0 1 t t + 0 , , , , , odd − , 2 ]( 0 0 0 1 1 X t 8 0 , , , , , m ) , even 2 ,E )(1 can be written as [0 [0 [0 t X 1 )[0 2 ) 5 µ m 8 t 2 q µ 4 2 f ; 4 − ) M t ,E expansion in terms of a double sum. This separates the classical t [ 5 µ 2 q 1 4 0] + [0 2 5 t t 1] + [0 , − q − H µ , , µ f + 0 M + 1 + 1 4 − 0 , 2 , 2 5 0 )(1 1 q as 0 , µ , (1 + 2 ( µ 1 + , 2 t 0 q 0 , ), we have the following sets of relations: µ +

− , 0 ; 0 t , × (1 , ]( [2 7 2.131 = = PE[( = 7 ,E SU(2). The reader can find the relevant formulae in appendix )([1 1 1 f × − f M q N [ expansion in terms of a one sum only. We still write such an expansion in the second G From ( + q q ( The Hilbert series of types of instantons asthe quadratic generators that, for equality, splitting it into odd and even terms. 2.9 The first equality isdressing a from the one and two instanton contributions. It is precisely the presence of both The highest weight generating function ( number fugacity To aid computations itSO(12) is useful to rewrite ( 2.8.2 Expansion in the instanton fugacity JHEP04(2017)042 of y 2 2 − (2.148) (2.147) (2.145) (2.146) q q 0]) 0]) 0] , , , 0 0
0 , , ) , 2 0 0 0 , , − , 0 0 q 1 1 , , , − 1 0 0 0 + .... . q , , − , 2 1 1 q 0 1] + q , , 1
, ,               ( ) 1] 4 − 0 3 2 t , 2 q q , µ 0 U(1) using the projection  − 0 − , ) q . , × 1]) 0]) 4 0 + 0 4 0] , , , 0] + [1 0] + [1 − + 1] + [0 1 , , , , 0 1 0  q − , 0 2 0 − , , , 0 0 1 2 1 , , q q , , 0 0 0 6 q y , + ( 0 7 0 , , , 0 0 , 0 1 , . , 4 − , 0 0 , µ 0 , are mapped to the fugacities instanton can be written in terms 2 4 0 q µ , , , 0 0 i 0 q y 8 , , 0 0 , 8 + 8 ,
, 0 , , + 0 0 − 0]( + [0 0 ) q E E , 3 6 0 0 , , , 1 , 2 6 + [0 0 q , , q y 0 0 0 0 − − , µ , , , 10 of , q , 0] q q 0 4 8 , 7 − 0] + , q y x 1 µ , + 0 4 , , 7 1 , 2 0 µ 0] + [1 1] + [1 , + 5 q 0 − , 10 0] + [2 2 + [0 , , 0] + [1 0] + [1 0 ( y , q 0 q , + 1 0 , , ,  5 5 0 6 , – 27 – 0 , , , 0 0 0 2 , µ 0 , µ − 0 0 , , 6 7 , + µ , 0 , , q 0 0 y 0 + 2 0 , 4 + 0 0 , , , , t , 0 00 0 00 0 0 00 0 0 0 00 0 0 0 0 00 0 0 0 0 0 00 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 , , 4 0 0 0 2 7 5 −  , 0 0 , , , 1 + µ q y ) + [2 ) µ 0 , , 1 1 3 2 ,               , , 1 1 , 4 6 − − 4 2 , , 0 0 t t 1 q q , q = , , 1 + 0]) + [0 + +  + + , 2 0]) + [0 3 2 t 0 , = U(1) q q , h of U(1) as 0 0] + [0 1] + [0 × 0 U(1) as 0] + [0 , , , x 2] + [0 0] + [0 7 , q , 0]( 0]( 0 , , 1 0 0 D × , , 0 , , , 0 2 , , 1 0 0 , 0 0 , → 0 , , 0 , , , 8 0 0 , , 0 0 0 , 0 0 , E )] ) = PE 1 , , 0 , , , 0 0 q , P , 0 0 1 , 0 0 , , q ; , , 0 , , , 0 0 x , µ 0 0 , 0 0 , ; ; , , 1 , , 0 0 t t , 0 0 , , ) ]( , , ]( (1 + [0 8 8 , q  (1 + [0 E ,E [ x  1 + (2[0 + (2[0 + ([0 + ([0 + [1 + [1 + 2[0 ; representations can be decomposed into those of SO(14) t H f = M 8 ]( [ 8 E = 1 + G PL [ E [ H The plethystic logarithm of this Hilbert series is given by 2.9.1 The generatorsThe and Hilbert their series relations ofof the characters reduced of moduli SO(14) space of 1 SO(14) and the fugacity We then have the following highest weight generating function: Under the action of this matrix, the fugacities matrix The JHEP04(2017)042 , in 15 , . 15 X 0 0] + ) , 2 0] (2.155) (2.152) (2.153) (2.154) (2.150) (2.151) (2.149) U(1) as 0 0] , , X , 0 0 × 0 , , , 0 2 instanton 0 0 , ,  , 0 0 1 , is proportional , , 0] , 0 0 , .... 0 , − , 0 +1 , 1 0 4 of SO(16) satisfies 0 , .... t I 0 , 0] , 0 , . , , + 1+ X 0]) 1 0 I 4 , , , + [2 q t 0 0 1 +4 = 0 , whereas the field  , , , ) 0 1]) +2 0 0] 0 0] + [0 4 − . , , 1+ , , , a , 2 0] − 0 I 0 0 0 0 I 0 , , q M , , , , , 0 0 0 0 0 a 0 2+ , , , + , , , I 0 ) 0 0 and .... 0 0 4 , 2 , , , 1] of SO(16) branches to those of , q + 0 2 − 0 , 0 + − 0 1 + [0 , + [0 , , 2 q 1 , 0 , ) implies that 0 4  0 I , 1 0 2] + ( 0 t , , 2 + , 0 , , − 0  3 t − 1 , 0 2 , 150 − 1] ). 0 , . 2 − 0] q . The adjoint field , q t , 0 0]) , 2 q , 1] + [0 + [0 0 0 , , 0 X ,S , 0] , , 0 0 , 4 + [1 0]) 2 + [2 , 0 0] + [1 0]) 0])( 0 and the meson 0 , , 0 of ( , − , 1 2 , , ,  2.175 , in , 0 0 = 0 , 0 , 0 1 1 0 4 − 0 0 , , = 0 0] S 0 , t , 0 , , , 2 0] of SO(16) contains the charge − , , , 0 0 , 0 , 0] – 28 – 0 , 0 0 0 0 M − , , 0 0 2 , , , 0 X , , , a 0 2 , t , 0 0 , 0 , 0 0 , 0 0 0 I 0 , , 0 0  , , , 0 , , , 0 , , ) 0 , − ) and ( 0 , 0 0 , 0 0 0 a 2 2 , and 0 0 , , , [0 0 , , , 0 , 1 , − 0 , 0 1 , 0 0 0 , 0 S q , , , , , , 0 , 1 0 , , 1] + [0 2.165 0 , + , −→ 0 , − , + [0 0 , 1 instanton operators 2 2 0 ,I , 3 I 1 1] q , 0] + [2  , q , 1] + [0 0 , , 0] + [0 0] + [1 1] + [1 0 , , 1 1] 0]( 0] + ([0 , , , , = 0 0 0 , 1] + [0 + [1 2+ , , , 1 + [0 0 0 0 0 , , 0 , I 0 0 0 , , , , 0 0 , imply that 0 , , , a 0 0 0 2+ ) in components, we see that the vanishing components ( 0 , , 0 , 0 0 0 , , , I , 0 0 , 0 , , , −→ 0 0 0 16 0 , , 0 , , 0 0 0 , , , a 2+ , 0 0 , 0 , , , 1 1 0 0] I 15 0 , , 0 , 0 0 0 , , the glueball superfields , , 2.153 , ) , 0 , )] 0 , , , 0 2 0 0 0 0 − , 0 , 0 0 1 , z , , , 2 , 0] of SO(16). This representation branches into those of SO(14) 0 , 0 , , , ; X 0 I 0 , , t , , [0 , 0 , 0 ]( 0 , , ) 8 , + [1 0 + ([0 + [0 + ([0 + [1 + [0 2+ z 0 , I E + (1 + [0 + [0 U(1) as and ( ; , [ 0 t 0 , × H , ]( 0 16 = ([0 , 8 0 , = 1 + ([0 , 0 16 E Thus, one independent singlet at order Note that the spinor representation [0 It is also useful to write the Hilbert series written in terms of characters of represen- [ ) , PL[ [2 2 0 H , X Upon expanding ( ( These relations are collected in ( transforming in[0 the rank two symmetric representation [2 to the singlet formedthe by matrix relation corresponding to the charge the adjoint representation [0 operators SO(14) The plethystic logarithm of this Hilbert series is tations of SO(16): JHEP04(2017)042 = , 0] of +1 , 1 (2.157) (2.158) (2.168) (2.160) (2.161) (2.162) (2.163) (2.164) (2.166) (2.167) (2.156) (2.159) 1 +2 0] , − , 0 0] 1 , , 0] , 0 0 , , α, β, ρ, σ 0 α 1+ , , α 1 , I β 0 0 , 0 σρ ) ac α , , 0 ) , β δ ] 0 0 , ab ) 0 c , , β α 0 4 , γ ) γ ) β 0 1 1+ , a ( 0 ( , , I 0 − − β , ··· 0 1 , 1 ) − 1 βσ , I I a 0 2 a ) − ( ( , I b 1 γ + [1 ( . I γ a α 2+ 1+ ( + β ( 1 + [0 I I β ) + [0 − 3 2 α 1+ αβ − αβ σ + = I − ) 1 1] ) ) ] I a 0] of SO(16) is +1 , 14 antisymmetric matrix; the a [ . 0] ) d − , 0 = αβ c γ , 2 γ 1] S γ 0 ) , × ( αβ ( I 0 , ( , = ( a ] − 0 ) α , 3 , 0 b a 2 . 0 b , ] = 0 (2.165) ) γ ( σ 0 , ≡ 2+ I 4 , ( 0 αβ γ 2 , − I 0 a 0 ) ( , − αβ σ 1 a βρ 0 3 , a b [ , 2 ) 2+ α 0 ) α ) are as follows: 1+ αρ I ) a , 0 + I ] c I a 1 ) γ , ) ( 1 b , ( , 0 γ γ − , S SI bc 0 M γ a ( 0 , 2+ + 1 abc 0 2 , ( 2 α , I 1+ I a , γ 0 σ = = ( M I 0 2.149 ab 1 . 1 , αβ , + a σ . ab ab [ ab ) + [1 0 ) 2 a [ b + [0 of ( α β 14 to denote vector indices and , which is a 14 0] M M M S SM M or ( γ γ + [0 δ +3 0 , 4 ( ( ab – 29 – t 0 3 1 0] 0] , − , , ≡ 0] : 0] : 0] : 0] : M 0 ασ and ( 1 0]) : 1]) : 0 ,..., , , , , , 1] ρ ) , , , , 0 0 0 0 α , 0 a 0 1 0 0 [ , , , , ) αβ , 0 , , , , ) 0 0 0 0 γ , 0 ab 0 0 0 = 1 1 a , , , , ( , 0 , , , , γ 1 0 0 0 γ , 1 ( 0 0 0 σρ 0 ( , , , , ≡ , 0 , ) , , , 0 0 0 0 , ] 0 0 0 0 β c , , , , ; and the gaugino superfield 0 α , , , , U(1) is 0 0 1 0 α γ , ) 0 0 e , , , , ( + [0 I 0 [0 , , × , [0 [0 [0 a, b, c, d βσ + [0 abcd can take the following forms: [0 ) b γ and a −→ ( γ γ ( 0] + [0 α 0] + [1 1] + [1 0] , −→ I , , , 0 αβ 1 0 0 ) , 0] , , , a 0 , [ 0 0 0 , 1 γ , , , indices are antisymmetric. The product of two gamma matrices is 0 , ( 0 0 0 , 0 , , , 0 , ≡ 0 0 1 , 0 , , , 0 , α, β 0 0 0 , αρ 0 , , , ) , [2 0 0 , , ([0 ([0 64 to denote the spinor indices. Note that the spinor representation of SO(14) is abc 1 q 0 [0 γ For SO(14), we use The relations corresponding to order For future reference, the branching rule of the representation [1 , ( − q [1 ,..., The generators of the moduliinstanton space operators are The product of three gamma matrices has the forms symmetric in the spinor indices. The product of four gamma matrices is where the 1 complex. The delta symbol has the form The gamma matrices and the branching rule of the representation [0 SO(16) to those of SO(14) JHEP04(2017)042 (3.3) (3.1) (3.2) 4 t SU(2). (2.169) (2.170) (2.171) (2.172) (2.175) (2.176) × , 5 2 . t  n 5 2 10 n q t | 2 2 β 4 2 q ]) | ) n µ | 5 − ) 2 1 n 40 1 | 2 µ ) t I ( 6 1 t − µ i β 5 1+ αβ ( 5 I ) µ t Z 12 . ( 2 2 t ([1; 2] + [1; 0]) ∈ Z 2 5 αβ 2 µ abc i X ) ∈ n 1 − µ 6 γ 5 t X ( µ 4 n = 0 4 = 0 (2.174) ! ! abc + t α 4 3 1 µ γ ) + 8 − n n n ( a − t 2 − − αβ 2 = 0 (2.173) 4 q q .... a a ) + 2+ 2 I 1 ) t 3 q 3 1 + (1 + [0; 4] + [2; 2] + [4; 0]) 2 3 α 1+ | I a t 4 − n n + 4 I + ([0; 2] + [0; 6] + [2; 0] 3 µ a t αβ 2 SI SI γ + n − − t ) 6 I ( | ) 5 .... ) ) 3 t a ) = = ( t + 4 α 4 2 t = = 4 γ ) t t = 2 2 µ 7 + t ( ] ] − 7 7 − − 3 µ c c µ 2+ 2 6 b b 2+ 2 1 µ µ + [1; 2] + 1 6 t I I µ α a 1+ 2+ I I I ( ( ( 2 µ 2 µ ) can be rewritten in terms of an implicit ( I I 0 0 + [1; 2] ab ab t Z [ [ ab ab µ < < − : 2 ], whose global symmetry is SU(2) ∈ + a a a 3 1 2+ 2 2+ t 6 4 4 X X + ( ]. For reference, we provide here the explicit t n n X M M M M I I I [ 2 n t 4 – 30 – 2.147 ) 2 t 44 + + × 2 2 ) C 3 1 0] : 0] : 0] : 0] : 1] : 1] : 0] : 2 1 µ n n , , , , , , , + (1 + µ ) ) 0 0 0 0 0 0 0 2 + q q , , , , , , , t + 2 4 2 1 0 0 0 0 0 0 0 ) t t ([2; 0] + [0; 2]) 7 , , , , , , , µ 2 6 6 0 0 0 0 0 0 0 ( µ µ µ µ −  , , , , , , , 6 ( ( 0 0 0 0 1 1 0 0 0 µ = ([0; 2] + [2; 0]) , , , , , , , ( ≥ ≥ 0 0 0 0 0 0 0 + ([1; 2] + [1; 4] + [3; 2]) + 2[2; 4] + [4; 2] + [6; 0]) h 1 3 i , , , , , , , X X (1 + ) n n h [1 [0 [0 [0 [0 [1 PE )[0 2 3 3 2 2 2 ) = PE 4 y, x q q q 2 − − − ; × × × ) = 1 + ([0; 2] + [2; 0]) − q q q t q , µ ]( 1 + y, x µ ) = PE ; ; 4 t q t q ; ]( SU(2) ( ]( , involving 5 sums: µ 2 ; q t f M ]( SU(2) [ SU(2) , , 8 2 2 H ,E h f 1 f M M [ [ f M G PL H [ G expansion in 2.9.2 Expansion inThe the highest instanton weight fugacity generating function ( The corresponding highest weight generating function is (see (4.25) of [ The plethystic logarithm of this expression is group. The Higgs branchmoduli at space infinite of coupling 2 ofThe SU(2) this Hilbert theory instantons series is on is identifiedexpression with given of the the by reduced Hilbert (3.14) series of up [ to order 3 USp(4) with oneIn antisymmetric this hypermultiplet theory, we pick the trivial value of the discrete theta angle for the USp(4) gauge JHEP04(2017)042 2 µ . (3.7) (3.8) (3.9) (3.4) (3.5) (3.6) (3.12) (3.10) (3.11) ! +1 2 for the | j , | ) 3 t t 1  = 1 µ ) ( 1 | j − | 2 q . t ) j 3 ) + t q j . i, j, k, l 1 q ( µ j , 0 1 ↔ 0 −∞ k ∞ j µ − i X ) 0 = i , with in the representation [2; 0] b j ) + ij (1
b A + ( ) . ij 4 1 (
. A a t j U(1) language. Up to charge 2 µ ( 0 ik ji M ) t A k )  2 − 2 1 ij ) × a ) M µ a 1 a + , A M A ( 2 = and − A 0 ( ji t ( − ) 0 1  ik ij kk , | a ab )  jj j | 1 ) P  A M 2 is the fugacity associated to the Cartan 0 t ab 0 − t 1  1 ) = Tr( ii = 0 j q kk  2 µ w 0 q = (  j = + P 0 . is the fugacity for the topological symmetry. = i − ij ,M SU(2). = q ij ) i −∞ 2 as ∞ a M 6 ab – 31 – ba X × ij = 2 for the first SU(2) and t M w ij q j ) P ) (1 A + ( ) P 2 1 , 0 ) ) ( 4 2 ) b µ 2 1 a t 2 6 = = t µ A A P M − 2 1 ( − q = 1 ( : Tr( 0 ab µ 5 ab 4 t P jj 1 + t 1 P  − ) (1 0 0 µ can be written as 2 h ii bb t (1   4 − t [0; 0]

− : Tr( : Tr( a, b, c, d SU(2): 6 6 × (1 t t are are : : × ) = PE 5 6 5 5 t t q t t ) = ; [0; 2] [2; 0] q 1 ; µ 1 ; [1; 0] [1; 2] t µ are respectively the fugacities for the highest weights of the SU(2) acting the rank two symmetric tensors ; symmetry. More precisely, if a doublet of rank two symmetric tensors ( ]( t 2 : I : µ ]( 2 3 t t SU(2) , 2 and SU(2) , 1 2 f M µ [ f in the representation [1; 2] of SU(2) Order Order and [0; 2] of SU(2) M G [ Let us now rewrite the above statements in SU(2) Let us use the indices • • G This can be written as a power series in normalisation, we identify thewith Cartan the subalgebra U(1) ofgenerator the of latter the SU(2) latter associatedThe SU(2), highest with then weight generating function can then be written as The relations at order The relations at order The singlet relation at order on the centre of instantons and the SU(2) associatedsecond with SU(2). the internal The degrees generators of of freedom. the moduli space are as follows. where JHEP04(2017)042 (3.23) (3.24) (3.16) (3.17) (3.18) (3.19) (3.20) (3.21) (3.22) (3.13) (3.14) (3.15) 4 t 6 t −  5 ) 3 t t 1 4   − t 3 ) ) q t 2 1  )  ) − − + 2 ) 1 q q 1 .... q − − − q q + + + q 2 q + 6 + q t + 2 q  q q ) . , , 3 . − ba 1 + [2] + ( q a P ) + ( ) + [1]( = 0 = 0  1 [1] + [1]( 1 , + a a − =  − − 3 f J q e I. q [1] + [1]( q ,T 5 + ab S SJ I  t = 0 + a , + 2 P e  . t J a + + q = a ) + q . e  1 J a a ) ) + ( 2 2 ) ) I t − 2 ST 1 b , S e q IT IT  − with − a + ) X q q J 1 + a + 2 + + a WW e I,S. ) + − 0 0 0 + a q + 2 X ab q e IJ bb bb bb 2 q X P I, P    q 0 0 0 + can be written as b = b b – 32 – e q T J J 4 a t = Tr( ab ab ab [1] : = Tr ( P P ST P ab , a 2[1] + [1]( P T ....  : Tr( [1] 1 + [2] + ( 1 can be written explicitly as follows: 4  + − : : : : − t 1 : 6 , the generators are 1 + [2] + ( + (1 + 2[2])( [2] : 5 5 5 5 t , = 2 2[1] + [3] + (2[1] + [3])( 2 + 3[2] + [4] + [6] + (2 + 2[2] + [4])( 2 + [2] + [4] + (1 + [2])( t t t t  [0] , q 1 t    i − ) [1] [1] [1] [1] [1] 1 q + + + q − can be written as y, q q, q are identified as a product of two gauginos and one antisymmetric q ; 5 t t a ) = 1 + T ]( At order are identified as a product of two antisymmetric tensors: y, q The relation at order ; ab t SU(2) , P ]( 2 f M [ SU(2) , H 2 h f M [ PL H The relations. The relations at order where the generators tensor At order 3, the generators are denoted by The generators. The generators The plethystic logarithm of this Hilbert series is given by The Hilbert series up to order JHEP04(2017)042 ) k k -th k (4.2) (4.3) (4.4) (4.1) ; the (3.25) (3.26) (3.27) (3.28) such that . : 2 S C ! , ) ) 1 Macaulay2 m ! ) − − , m x ) tx 2 m t t , w 2 − t, x m w − ]( x , 2 )(1 ; 1 C ab )(1 m j tx 1 + t − m ( e IP − k x I =1 m (1 k t + ) H [Sym = − b e m J e  I, I. H m e I, -th symmetric power of ) a (1 ν 2 2 ) ]. Below we consider the moduli space ( 1 e n I I 4 J m − [ SI =1 m ) t, x ν ∞ + + x 2 , X = m x ) gauge theory with 1 antisymmetric hy- + ]( b b 2 ; C b k + 2 b T T

t =1 ∞ Z e T a a J C x X ]( m e a j a ( J J 2 × t T

J exp  ab ab C 2 – 33 – [   ab + C  +1 H [Sym exp = = ab ) k ν = ) PE e P I I H w d 2 j 2 2 3 2 +1 ; t . 2 πiν t n 2 S S S S ν ) 2 ]( d w A plane. Hence, the moduli space is expected to be the 2 wt πiν ( Z =1 − | 2 [ ν : : : : 8 | k =0 H , whose Hilbert series is given by j 6 6 6 6 I X O = 2 directly from the field theory side using =1 2 t t t | SU(2) instantons on 1 ν qt = (1 + Z | k = can be written as k − [2] ) = I ) = 6 q × is the moduli space generated by the glueball superfield t ) is the Hilbert series for the 2 corresponds to the number of gaugino superfields. 2 C x, w ) = Z ; w t, x t t, x, w ( ]( t, x ( , the theory in question can be realised as the worldvolume theory of 2 k ]( k =1 C 2 k H n ) with one antisymmetric hypermultiplet C H k n is the classical moduli space of a USp(2) gauge theory with 1 antisymmetric = 1, the Higgs branch at finite coupling is [Sym 2 k C [Sym H H Note that this result also holds for USp(2 For higher For = 0. The Hilbert series is then given by 2 of the theory at finite coupling. 4 USp(2 As in the previous sections, we pick the trivial value of the discrete theta angle for USp(2 We tested the resultdetails for are presented in appendix permultiplet and 1 fundamental hypermultiplet. This is because the classical moduli space where symmetric power of where the fugacity coincident D4-branes on an where hypermultiplet and S with the moduli space of gauge group. The Higgs branch of the conformal field theory at infinite coupling is identified The relations at order JHEP04(2017)042 . 2 C (4.5) (4.6) (4.7) (4.9) (4.8) .... (4.10) ] t + ) ) 1 A similar 6 5 t 4 − t . ) t ) x 6 ) 13 ) 2 4 5 ). w WW t + w ) w 1 x + [1] x, w − + 4 ; k 4.10 t a 2 − w ( + ([3] 4 w k X PE[( t 4 .... e 2 2 t H ([2] ) ) ) ··· w + 4 , which is identical to 1 − 1 wt 6 2 a − w t — this space is in fact the 5 ( C t [2] + 2[6]  2 tx ) , + component that can be fac- + [2] X 4  ) 4 .... ) of the reduced moduli space ] + ( C 2 1; 3 k w − 2 2 t w a + w + t ) Tr( C − 1 ) 2 5 X 6 + 2 t x, w )(1 t k w ) ; 2 − + [2]  t 4 tx ··· x 6 + (1 + [4] + 2[2] ≤ ( w 2 w 2 k ,..., ; 3 w p w − a t ) e k H ) [1]( + X ) has a 2 ≤ (1 1 ≤ .... 2 4 + [1] − a w + ([4] + [2] + 1 + Z p 2 w 4 + WW 3 2 X t ) t ) = w 6 x + ([3] + [1] 2 × ≤ 2 t a − 2 ) 2 Tr( w t 4 – 34 – 3 X ) C t x, w 1 + 2[2] 2 w ( 2 ; a , for all 0 k SO(2) instantons on 2 ( t ) PE[( w [2] + (1 + [2]) w ( + [1] 4 w X ,..., +2 k k t  + ([3] + [1] 2 ) p e + [2] t t 2 3 . H − ) − , for all 2 t a ) 2 Tr( 2 ) + [1] p x +2 t 2 w X , 2 w ; k 2 ) )(1 t t t ], where it was pointed out that the generating function of w a ) 4 ]( t 2 46 2 X 4 )] = ([2] + w 1 , we have two sets of generators transforming in: C w a at order WW [ k 1 2 X 2. The set of relations with the lowest dimension transform in the a H , the moduli space is thus freely generated by ( , w X ] at order ] t, x, w + ([6] + [4] Tr( p p ( + ([3] + [5] + ([1] + 2[3]) + (1 + [2] + 3[4]) , ) = = 2, we have = 1 2] at order ) = 1 + ([2] + Tr( =3 → ∞ 2 k k ) = (1 + k , a − )] = ([2] + ) = 1 + ([2] + ) k e x, w H X k ; 1 t For general For a ( k PL[ t, x, w , . . . , a X WW . ( t, x, w t, x, w 2 H ( ( k ]. Explicitly, these generators are =2 , a Tr( Tr( k =2 =3 1 45 k k a e = 3, we have H e e H H representation [ representation [ Since the symmetric product Sym In the limit k We would like to express our thanks to Nick Dorey for his nice presentation at the Swansea workshop 1. 2. 13 PL[ -symmetric power of the moduli space of 1 SO(2) instanton on situation was considered inmulti-trace [ operators for onemany brane branes. is equal to that of single traceand operators especially for for infinitely discussing this point. where representation [ these follow from the8.5 generators of of [ the moduli space of two instantons, given by section The plethystic logarithm of this Hilbert series is The plethystic logarithm of this Hilbert series is For Examples. k tored out, it is naturalas to follows: define the Hilbert series of this theory is the moduli space of General JHEP04(2017)042 . ∨ G h can Z (5.2) (5.3) (5.1) / 1). In m 2 , C ] the result ) = (0 17 2 , singlets under , q e I 2 ] to give analogous p ) gauge group the , . In [ 6 ] that the instanton S R 9 N = 3): . The value of 2, the isometry group , I m N , rules out the D and E R N > 1) and ( . It is then straightforward − G N, 14 . , for some N m Z ) = ( / Z 1 2 / ] at finite coupling where the instanton 2 N. , q C 1 ). C 36 p e e [ = I I. I 1 representation of SU(2) S q 1 respectively. For 2 = 2 I, S, p N − ∨ G – 35 – h = 2, the isometry of the Higgs branch is enhanced − S 2 q N 1 p 0 and ) transformation on the 5-brane web can be exploited to , , which has spin-1 under SU(2) . For Z I , S spin of instanton operators in pure Yang-Mills theories is given R charge +1 I is the dual Coxeter number of the group ∨ G h ) pure Yang-Mills a stringy construction provides a complementary view- N = 1 pure Yang-Mills theory, the Higgs branch at infinite coupling takes a ] it was argued by counting zero modes that for an SU( is identified with U(1) N 31 N , where Z ), and with U(1) ∨ G / h The construction can be generalised by means of orientifold planes [ The generators of the Higgs branch at infinite coupling are For SU( In [ 2 N 1 2 We thank Cumrun Vafa for discussions about this point. C 14 of to SU(2) and the operators form a triplet ( results for the case of classical gauge groups. The Higgs branch at infinite coupling is therefore SU( At infinite coupling, the twodimensional 5-branes Higgs intersect and branch, moveperK¨ahlercones which apart, of giving dimension has a 1, a one thethe quaternionic space cone chiral has structure. ring to be ofcases, an the Using implying ADE operator the that singularity. The the classification existencebe Higgs of in deduced branch has hy- by considering to the be intersection number, which is given by: point. For this therory, anset SL(2 the charges ofthis the basis, external the 5-brane web legs can to be ( depicted as follows (this example is for which reduces to the standardoperators nilpotency are set for to zero. The Higgs branch at infinite coupling is thus the orbifold was generalised to arbitrary gaugecontribution to groups. the superconformal Using index the is given observationHilbert by of an series, “SU(2)-covariantized” [ version the of SU(2) the by to construct the relation between the instanton operators and the glueball operator: For 5d simple orbifold structure.this statement. Field theoretic and stringyinstanton arguments operators can transform be in the provided spin- for 5 Pure super Yang-Mills theories JHEP04(2017)042 = 1 theories N , which at finite S 2 instanton operators as  = 1 theories for all values of the gauge N 1 ones complicates the picture and leaves the – 36 –  7 flavours a nice pattern was established. The finite 7, the presence of charge , ≤ f = 6 N f N 5 the defining equations for the space associated to the dressing , we have analysed the dressing of instanton operators by mesons ≤ q f N The techniques developed in this paper could also be applied to other 5d By expanding the highest weight generating function of the Hilbert series at infinite For pure SU(2) theories with gelantonj; University of Milano-Bicocca andGaberdiel; Alberto LPTHE Zaffaroni; at ETH the ZurichClaudius University and Pierre Klare; Matthias et Harvard Marie Universitygata, Curie and Francesco (Jussieu), Michele Fucito, Nick del Francisco Halmagyi Morales Zotto;STFC and and University studentship. Massimo of Bianchi. Rome G.F. Tor is Ver- supported by an would also like to thankfor Perimeter the Institute and kind the hospitalityworkshops Korea received. Institute and for researchers Advanced N.M. Studies velopments for gratefully in their acknowledges M-theory the kind Workshop followingIPMU, hospitality (South institutes, World and Premier Korea), International partial Kimyeong ResearchJapan, support: Lee Center Masahito and Initiative Yamazaki Modern and (WPI Seok Tirasan Initiative), De- Kim; Khandhawit; MEXT, University Kavli of Torino and Carlo An- We are grateful to Nick Dorey,Rodriguez-Gomez Kazuo Hosomichi, for Ken useful Intriligator, discussions. Neilfor Lambert S.C. and Theoretical and Diego Physics A.H. (workshop thank “Holographicfor the Methods Galileo hospitality for Galilei and Strongly Institute Coupled INFN Systems”) for partial support during the completion of this work. A.H. first principles and useassociated such to knowledge the to Higgs branch derivecan at a shine infinite some general coupling. light formula We in for hope this the that direction. the Hilbert results series of thisAcknowledgments paper generators independent from theinterpretation charge of the classical dressing in a preliminary andwith unsatisfactory known stage. Higgs branch at infinitegoal coupling. is We to leave better this to understand future supersymmetric work. instanton The operators long term and their dressing from coupling in powers of and gauginos. For can be obtained bythe keeping instanton the operators. relations For at infinite coupling which are not corrected by an ordinary chiral operator on the Higgs branch. coupling relations involving mesons andpling the by glueball bilinears operator in are the correctedtheory. instanton at operators, New infinite in relations cou- the also obvious arise way dictated which by exist representation uniquely at infinite coupling. A coherent picture ofcoupling the emerges Higgs from branch this ofdefine paper. the 5d In chiral particular, ring weA at have crucial infinite presented result coupling explicit of relations and thiscoupling that are paper is consistent is a with the nilpotent those correction bilinear at to in the finite the glueball coupling. gaugino superfield, superfield and at infinite coupling becomes 6 Discussion JHEP04(2017)042 = = i N (A.1) (A.2) (A.3) (A.4) (A.5) 4 and the 15 , with a i . Q ,..., . For reference, . 1 c is adjoint valued , , . 2 α = 1 f , W A and = 1 language, which . b = 1 subject to the condi- ab N ]): ) ,...,N Macaulay2 α 36 a, d ab ) W α 2, = 1 , i W 2, = 1 , ,( i a = 1. In 4d Q . = 1 . I α, β = 3 in source code (SC) a ∀ f = 0 2, = 0 N i d , ab Q ) i a is an anti-commuting variable = 1 α ) = 0 Q – 37 – α α ab W flavours cd ) ( carries the USp(4) spin index ) can be computed using  ∀ . α f ab ↔ α ab A I  ) follows from gauge invariance and supersymmetry.  W N β λ A.5 W A.4 + ( = 1 formalism adopted in this appendix yields results for -terms relevant to the classical Higgs branch are cd ) F ) and ( N = 0 SU(2). These are usually denoted by undotted and dotted β i c W × A.4 . ( Q ab ab W ), ( ) ) 2. The α α , 2. Since we focus on holomorphic functions, which are highest weights , A.3 W W ) follows from the fact that the lowest component of the gaugino super- ( ( ) indicates how the gaugino superfield acts on fundamental fields. = 1 bc bc ), ( = 1 Each component of (   a A.3 I A.5 A.2 and representations, we restrict ourselves to ), ( f R index N A.1 2 R The Hilbert series of the ring of variables Now let us discuss the inclusion of the gaugino superfield ( We will see that the 4d In five dimensions, the gaugino Here and in the main body of the paper, our relations are valid in the chiral ring. As operator relations, 15 ,..., tions ( we provide the Macaulay2 code for the case of they hold up to a superderivative. The condition ( field is fermionic.The The relation relation ( ( Moreover, we impose the following conditions (see section 2 of [ These relations are symmetric under the interchange of theand indices is chosen to be a traceless symmetric 2-index tensor: A.1 SU(2) gaugeLet theory with us denote1 the chiral matter fields appearing in the Lagrangian by superfield is henceforth denoted as the Hilbert series that areanti-instanton consistent operators with to the chiral zero ring inin obtained the the by five setting main dimensional instanton body UV and of fixed the point, paper. which is discussed of SU(2) we adopt throughout theto paper, [1; 0] the + [0;indices, fundamental 1] representation respectively. of of SU(2) Since USp(4)1 the decomposes latter holomorphic correspond approach, to we non-chiral adhere operators to in the the undotted 4d SU(2) spinor index. The gaugino In this appendix weat present finite a coupling. method In tothe this compute gaugino computation the superfield we Hilbert include series the of classical the chiral Higgs operatorsSU(2) branch as well as A Hilbert series of chiral rings with gaugino superfields JHEP04(2017)042 is 2 4 Z t (A.9) (A.6) (A.7) (A.8) -terms (A.15) (A.10) (A.11) (A.12) (A.13) (A.14)  4 F ] w and 2 36 0] 1 C 0] + − ) ,..., are the fugacities x 0 , ; . , ,..., t x 0 = 0 ]( , ) 2 , 1 f = 0 p , S and N 2 2 1 + [2 t [0  2 0] W SO(2 ) instanton on w − , f ,S 1 2 ) gauge indices. The , in the adjoint representation t N ). f ) k ji ,..., M , 2 0] + k [ ). 0 = 0 such that w M H ij 4.6 S − = 0 , p, of this is , , 0 ,..., [0 i ) + 4 2 = 0 0] + 0
t , subject to the relations k , b 2 Z w =0 α ∞ ij 1 ; p 2), we impose the conditions [ X Z X , t ∪ , ,SM W 0 ij M ) a ]( + × ,..., , α f 2 . 0 2 0 2 X N are the USp(2 = 1 , Z t , W = 0 [ C 2 1 ab ] k .... α  , – 38 – is an anti-commuting variable H w 0 2 Tr kl k SO(2 , + [0 + ) = 0 kk 2 ij α ) gauge group and restricting to the scalar sector 1 = M π J kl 1 k α 0 ) = = ([0 W f ij 32 Sym [ M (with ,..., jj W i , w J − ) ij 0 a ij α x , ii ; = 1 = X J t W ,M x, w S ]( − = 0 ; 2 , i, j t ) kl a Z kl β ji ]( α = 0 2 X ∪ W W Z jk ) ij α α ij f ( ∪ = 2 and N M counts the number of gaugino superfields W ) , W ( ij f ij α = 2, we recover the Hilbert series ( w jk jk is the reduced moduli space of one SO(2 N SO(2 M k J J W each component of = 1 , ) 1 f ) gauge theory with one antisymmetric hypermultiplet a N SO(2 , f k M 1 [ f H SO(2 ), and the glueball ). The plethystic logarithm up to order M , is the symplectic matrix associated with USp(2 [ f f 1 ij H N N f , where h M J ij a After integrating over the USp(2 For the gaugino superfield After integrating over the SU(2) gauge group and restricting to the scalar sector under PL X under the Lorentz group, we obtain the Hilbert series of the space In particular, for where A.2 USp(2 The analysis is similarby to the previous subsection.associated Let to us the denote classical the Higgs antisymmetric branch fields is This shows that theof generators SO(2 are the meson of SO(2 where the fugacity the Lorentz group, we obtain the Hilbert series of the space where the moduli space generated by the glueball superfield JHEP04(2017)042 × Qai (B.1) , with as ab i a ) 0; 0] 4 α , 0; 2] t Q , 0 W , 2 , 1 ,( , 0 0; 0]) i a , 0 , , 0 Q 0 , 0 , , 0 0 , , 0 , 2 2 + [0 , 2 t  ). Here we write − 0; 3] + [0 , 2 A.5 0; 0]) 1 t , , 0 0 0; 1] + [0 , , , 0 0 1 0; 0]) , , , , ) and ( 0 0 0 0 , SU(2) , , , 1 0 0 A.4 , , , × 1 0 ), ( , , 1 , A.3 0; 1] + [0 , 0; 1] + [0 1 ), ( – 39 – , , 1 0 , 2. the number of gaugino superfields associated with 0; 2] + [0 , , t A.2 , 0 0 0 0; 1] + [0 , , , , 0 ), ( 0 0 1 , ) in terms of characters of representations of SO(12) , , , 0 0 0 , A.1 ) is , , 1 0 , , is multi-graded with respect to the following charges (in order): 1. 2.131 B.1 0 R , 0; 4] + [0 , . 0; 2] + [0 0 α , , ) and ( code to compute the Hilbert series of the ring of variables 0 0 0; 0] + [0 , , , 0 0 0 0; 2] + [0 , , , , . The ring )] 0 0 2.130 1 0 α , , , , 0 , y 0 0 , ) x , , wab ; , 3. the weights of the SU(2) gauge group, and 4. the weights of the SU(2) symmetry 0 0 t , y Macaulay2 , , w as x ]( 0 .... 7 ; , = 6 in representations of SO(12) t ab .A E ) + + [0 + (1 + [0 [ ]( f α 7 = 1 + ([0 H -charge associated with the fugacity N W E = ([0 [ R = 3, subject to the conditions ( H f PL [ The plethystic logarithm of ( B Here we rewrite ( SU(2): Figure 1 N and ( the the fugacity associated with the index JHEP04(2017)042 ) and (B.2) 2.137 ]. 0; 1] to Nucl. N ] , , 4 Nucl. 1 t , , ,  0 , SPIRE 0 IN , 0; 2] 0 , ][ , 0 , ]. 0 superconformal , [0 , d S 0 5 (1997) 56 ]. , ]. 1 arXiv:1311.4199 , SPIRE ]. [ and IN − ][ ]. SPIRE SPIRE 2 ]. B 497 and the superconformal index I IN IN SPIRE , hep-th/9902179 θ ][ ][ ) there is only one independent D IN [ ]. 1; 1] + [0 5 2+ SPIRE ][ , I SPIRE (2014) 112 0 B.1 IN superconformal indices at large- , IN ]. 0 ][ five-branes, five-dimensional field theories ]. 03 ][ , -brane webs, symmetry enhancement and D SPIRE 0 Discrete ) Five-dimensional supersymmetric gauge Nucl. Phys. IN , instanton index as a Hilbert series , 0 Five-branes, seven-branes and (1999) 006 ][ p, q , SPIRE ( hep-th/9609070 SPIRE D JHEP IN [ 5 03 IN , ][ hep-th/9710116 hep-th/9608111 ][ – 40 – [ [ hep-th/9609071 Small instantons, Del Pezzo surfaces and type-I-prime [ 0; 1] + [1 Webs of JHEP On the , -dim superconformal index with enhanced en global , 1 arXiv:1305.6870 (1997) 229 , 0; 2] corresponds to arXiv:1206.6781 [ 0 , [ Extremal transitions and five-dimensional supersymmetric , 0 0 , ), which permits any use, distribution and reproduction in (1998) 002 (1996) 753 , arXiv:1310.2150 Branes, superpotentials and superconformal fixed points 0 . In the Hilbert series ( 0 , ]. ]. [ (1997) 155 , 0 01 B 483 hep-th/9704170 M , [ 0 arXiv:1305.5684 , field theories B 388 (2013) 081 [ (2012) 142 SPIRE SPIRE ) ). B 497 n IN JHEP IN 08 [ ( 10 , CC-BY 4.0 ][ 0; 0] + [0 (2014) 079 0; 0] to E , , 0 0 This article is distributed under the terms of the Creative Commons : this means that the singlets coming from these three sets of operators supersymmetric gauge theory 2.139 Nucl. Phys. , (1997) 239 (2014) 1 01 , 4 0 , t 0 JHEP Five-dimensional SUSY field theories, nontrivial fixed points and string D , , JHEP Phys. Lett. , 5 0 0 , Notes on enhancement of flavor symmetry and , , ]. , 0 1 Nucl. Phys. , JHEP , B 504 B 878 , , .... SPIRE + + [2 IN hep-th/9702198 arXiv:1310.7509 duality in [ Phys. holography index five-dimensional symmetry [ Phys. and grid diagrams theory field theories theories and degenerations of Calabi-Yau spaces dynamics The representation [0 and [0 M. Taki, O. Bergman, D. G. Rodr´ıguez-G´omezand Zafrir, 5 O. Bergman, D. G. Rodr´ıguez-G´omezand Zafrir, 5 O. Bergman, D. G. Rodr´ıguez-G´omezand Zafrir, O. DeWolfe, A. Hanany, A. Iqbal and E. Katz, H.-C. Kim, S.-S. Kim and K. Lee, 5 D. G. Rodr´ıguez-G´omezand Zafrir, O. Aharony and A. Hanany, O. Aharony, A. Hanany and B. Kol, D.R. Morrison and N. Seiberg, K.A. Intriligator, D.R. Morrison and N. Seiberg, N. Seiberg, M.R. Douglas, S.H. Katz and C. Vafa,  [7] [8] [9] [5] [6] [3] [4] [1] [2] 1 [12] [13] [10] [11] References must be proportional toand each the other. relation These ( indeed correspond toOpen the trace Access. part ofAttribution ( License ( any medium, provided the original author(s) and source are credited. I singlet at order JHEP04(2017)042 , 01 07 03 , SU(2) (2015) 09 JHEP JHEP ]. ]. 06 JHEP (2014) 116 ]. , , D-type , ]. d 12 (2011) 011 6 JHEP SPIRE SPIRE -branes and , SCFT SPIRE JHEP 02 4 IN IN theories , d IN D ][ SPIRE partition functions 5 ][ ][ N JHEP IN , N supersymmetric gauge ][ supersymmetric quiver d T theories JHEP d ]. 5 ]. d T , d 5 5 N 5 supersymmetric USp, SO ]. -branes, T (2015) 141 description of 5 d d 5 instanton operators d SPIRE ]. M Instanton operators in 5 ]. theory SPIRE 04 5 d IN IN ]. 5 SPIRE 0) ][ , ][ IN gauge theories (2 SPIRE arXiv:1412.2789 SPIRE ][ arXiv:1503.08136 arXiv:1012.2882 JHEP D A new [ IN IN [ [ 5 , SPIRE Non-lagrangian theories from brane d ][ ][ ]. IN 5 arXiv:1505.04439 ]. [ ][ -branes, toric diagrams and gauge theory 5 SPIRE Fiber-base duality and global symmetry SPIRE (2015) 019 IN Topological strings and (2015) 087 (2011) 083 M IN ]. ]. [ – 41 – General instanton counting and ][ ]. ]. 03 Supersymmetrizing 07 01 dualities to arXiv:1501.01031 (2015) 097 arXiv:1505.04743 [ arXiv:1411.2450 [ d [ 4 SPIRE SPIRE 08 SPIRE SPIRE IN IN ]. arXiv:1210.3605 arXiv:1310.3841 JHEP IN IN [ JHEP JHEP [ Seiberg-Witten curve via toric-like diagram ][ ][ , Topological vertex for Higgsed Exact partition functions of Higgsed arXiv:1112.5228 , , ][ ][ n [ ]. ]. ]. JHEP Lifting E SPIRE , super Yang-Mills theory and (2015) 167 d IN (2015) 052 ][ SPIRE SPIRE SPIRE 07 (2015) 043B06 BPS degeneracies and superconformal index in diverse dimensions arXiv:1310.3854 arXiv:1211.4886 = 5 04 [ (2014) 175 , IN IN IN D D ][ ][ ][ (2012) 105 (2014) 105031 5 01 2015 JHEP On 04 Instanton operators and symmetry enhancement in A comment on the enhancement of global symmetries in superconformal JHEP , Instanton operators and symmetry enhancement in super-Yang-Mills , arXiv:1501.00927 arXiv:1409.0571 arXiv:1505.00260 arXiv:1406.6793 D 90 D [ [ [ [ JHEP (2014) 014 Instanton operators and symmetry enhancement in Duality and enhancement of symmetry in 5 , PTEP JHEP , 06 , arXiv:1411.7903 [ arXiv:1012.2880 arXiv:1408.4040 arXiv:1410.2806 theories [ quantum five-dimensional gauge theories (2015) 114 enhancement 082 (2015) 023 JHEP (2015) 093 Phys. Rev. junctions gauge theories duality gauge theories in and exceptional gauge theories minimal conformal matter (2015) 063 [ [ M.R. Douglas, N. Lambert, C. Papageorgakis and M. Schmidt-Sommerfeld, N. Lambert, C. Papageorgakis and M. Schmidt-Sommerfeld, D. Rodriguez-Gomez and J. Schmude, Y. Tachikawa, S.-S. Kim and F. Yagi, 5 H. Hayashi and G. Zoccarato, H. Hayashi, H.-C. Kim and T. Nishinaka, H. Hayashi and G. Zoccarato, V. Mitev, E. Pomoni, M. Taki and F. Yagi, A. Iqbal and C. Vafa, L. Bao, V. Mitev, E. Pomoni, M. Taki and F. Yagi, L. Bao, E. Pomoni, M. Taki and F. Yagi, D. Bashkirov, G. Zafrir, H. Hayashi, S.-S. Kim, K. Lee, M. Taki and F. Yagi, K. Yonekura, G. Zafrir, O. Bergman and G. Zafrir, C. Hwang, J. Kim, S. Kim and J. Park, [32] [33] [29] [30] [31] [27] [28] [24] [25] [26] [22] [23] [20] [21] [17] [18] [19] [15] [16] [14] JHEP04(2017)042 J. 10 , ]. 32 Ann. (2007) , JHEP ]. 11 = 2 SPIRE , ]. IN N ]. ][ SPIRE SPIRE IN SPIRE IN ][ J. Diff. Geom. IN ]. ][ , ][ ]. SPIRE IN ]. SPIRE ][ arXiv:1309.2657 IN [ Hilbert series for theories with ]. ][ ]. Adv. Theor. Math. Phys. Coulomb branch and the moduli SPIRE hep-th/0608050 , Chiral rings and anomalies in [ IN hep-th/0311066 hep-th/0211170 [ ][ [ SPIRE SPIRE Counting BPS operators in gauge theories: IN IN (2014) 005 Yang-Mills theories with vectorlike matter ][ ][ Hilbert series for moduli spaces of two The Hilbert series of the one instanton moduli 01 (2007) 050 Monopole operators and Hilbert series of Coulomb arXiv:1408.6835 == 2 braine surgery [ (2004) 2015 – 42 – (2002) 071 11 ]. arXiv:1505.02160 JHEP An introduction to supersymmetric gauge theories and 12 d N = 2 [ , 3 A 19 N Counting BPS operators in the chiral ring of arXiv:1205.4741 SPIRE JHEP ]. [ IN , (2014) 103 JHEP ][ arXiv:1005.3026 , Highest weight generating functions for Hilbert series (1976) 1. arXiv:1505.02409 [ 12 SPIRE [ (2015) 132 9 IN ][ 11 gauge theories (2013) 070 JHEP , 01 Instantons and the geometry of the nilpotent variety = 4 (2010) 100 JHEP Int. J. Mod. Phys. N The Hilbert series of , , 06 d (2015) 455401 3 arXiv:1408.4690 JHEP The minimal orbit in a simple lie algebra and its associated maximal ideal [ , ´ Ecole Norm. Sup. JHEP A 48 hep-th/0611346 , [ quivers, syzygies and plethystics instantons space of instantons branches of Aharony duals Phys. space (2014) 152 matrix models supersymmetric gauge theories or 1091 (1990) 473. Sci. de supersymmetric gauge theory A. Hanany, N. Mekareeya and S.S. Razamat, S. Cremonesi, G. Ferlito, A. Hanany and N. Mekareeya, S. Benvenuti, B. Feng, A. Hanany and Y.-H. He, A. Hanany, C. Hwang, H. Kim, J. Park and R.-K.S. Seong, Cremonesi, S. Benvenuti, A. Hanany and N. Mekareeya, A. Hanany and R. Kalveks, S. Cremonesi, A. Hanany and A. Zaffaroni, R. Argurio, G. Ferretti and R. Heise, A. Hanany and C. Romelsberger, A. Joseph, F. Cachazo, M.R. Douglas, N. Seiberg and E. Witten, P.B. Kronheimer, [44] [45] [46] [42] [43] [39] [40] [41] [37] [38] [35] [36] [34]