Now we have learned enough techniques to understand the S-dual of theory with flavors, see the first row of Fig. 12.13. Originally, we have a sphere with four punctures: two at , are full punctures, and two at , are simple punctures. We would like to understand the limit . We end up decoupling two simple punctures from the other two. We already learned what happens in this decoupling process.
The simple puncture is a puncture of type . Decoupling two of them, we generate a puncture of type . This puncture has a flavor symmetry when , and when . The behavior of the duality when is somewhat more peculiar than the other cases. In any case, there is an symmetry exchanging the last two columns of height 2, and a weakly-coupled dynamical group gauges this symmetry. There is in addition one flavor in the doublet representation for this gauge group coming from the almost decoupled sphere on the right, see the last row of Fig. 12.13.
The question is the nature of the sphere on the left hand side. It has three punctures: two are full punctures, and one is of type . Assuming all the mass parameters are zero, we can determine the behavior of fields easily, as the pole structure at is . We see that
(12.3.1) |
This theory has one dimension- operator for each . The flavor symmetry is at least associated to the full punctures, and associated to the puncture of type . Call this funny conformal field theory , for which we introduce a graphical notation as in Fig. 12.14. In the original theory, the symmetry was part of the flavor symmetry rotating the whole hypermultiplets in the fundamental representation. We then need to demand that this theory has a larger flavor symmetry
(12.3.2) |
We finally have the S-duality statement:
(12.3.3) |
This general statement was found by Chacaltana and Distler in [72]. We know that the dual gauge coupling has zero beta function. Applying the analysis as in Sec. 10.5, we find that the flavor symmetry of the theory contributes to the running of the coupling as if it has effectively three hypermultiplets in the doublet. Equivalently, we have
(12.3.4) |
where is the flavor symmetry current. See Fig. 12.15.
When we can say a little more about this duality. This was originally found by Argyres and Seiberg in [74]; the presentation here follows that given by Gaiotto in [8].
Now the puncture of type is a full puncture. Therefore the theory is given by a sphere with three full punctures, see Fig. 12.16. The structure of is already given in (12.3.1). Therefore, this theory has just one Coulomb branch operator, of dimension 3.
We know that there is an enhancement of the flavor symmetry associated to two full punctures to , as in (12.3.2). We have three full punctures. Therefore, it should be that the flavor symmetry of this theory should be such that we have the following diagram
(12.3.5) |
for any choice of two out of three s. Fortunately, there is unique such , that is , see Fig. 12.17. There, on the left, we introduce a diagrammatic notation for this theory. On the center and on the right, we have the extended Dynkin diagram of with one node removed.16 We clearly see subgroups and . We already saw above that this theory has only one Coulomb branch operator, and its dimension is three. This nicely fits the feature of a rank-1 superconformal theory announced to exist in Sec. 10.4. This is equivalent to Minahan-Nemeschansky’s theory .
We conclude that we have the following duality:
(12.3.6) |
We can give a few more checks to this duality. The first one concerns the current two-point functions. Firstly, we computed the current two-point function for the flavor symmetry in (12.3.4). Then the whole flavor currents, which include the ones, should have the same coefficient in front of the two-point function. Note that flavor symmetry of the gauge theory with six flavors is also a subgroup of this flavor symmetry. Therefore, we should have
(12.3.7) |
This is indeed the case, since the left hand side can be computed in the extreme weakly-coupled regime, where they just come from three hypermultiplets in the fundamental representation of .
The second check is about the Higgs branch. The theory with six flavors has a Higgs branch of quaternionic dimension
(12.3.8) |
Let us perform the computation in the dual side. The theory has a Higgs branch of quaternionic dimension 11, as we tabulated in Table 10.1. We have a doublet of in addition, and we perform the hyperkähler quotient with respect to gauge group. Therefore the quaternionic dimension is
(12.3.9) |
which agrees with what we found above in the original gauge theory side. Here we only compared the dimensions, but they can be shown to be equivalent as hyperkähler manifolds, see [75].