We can now have some fun manipulating punctures. For example, consider a gauge theory with gauge group , with bifundamental hypermultiplets between consecutive groups, together with additional fundamental hypermultiplets for the first and the last one, see the first row of Fig. 12.18. The Seiberg-Witten solution is easily given: it is given by a sphere of type theory, with two full punctures and simple punctures. We go to a duality frame where we decouple all of these simple punctures. Applying the decoupling procedure we learned in Sec. 12.2, we find that we generate a quiver tail with gauge group
(12.4.1) |
with bifundamental hypermultiplets between two consecutive groups and one doublet for the last . The first gauges an subgroup of the flavor symmetry of the puncture of type , i.e. the full puncture.
In this way, we can construct a theory described by a sphere with three full punctures. This is called the theory, see Fig. 12.19. Note that . As we have three full punctures, the flavor symmetry is at least . When , we saw above that this flavor symmetry enhances to . When , there are more than one gauge group in the original gauge theory. Therefore, we do not have an enhancement from to any other group. This matches with the fact that there is no group containing such that enhances to when . Putting the punctures at , we see that has the form
(12.4.2) |
Therefore this theory has one Coulomb branch operator of dimension , two Coulomb branch operators of dimension , …, and Coulomb branch operators of dimension .
Now we can take two copies of this theory and couple them by an gauge multiplet. In the 6d construction, we just have four full punctures on the sphere. Therefore, we have the S-duality structure exactly as in theory with four flavors, exchanging all four punctures. In fact, theory is just the trifundamental hypermultiplet .
Next, consider the duality shown in Fig. 12.21. We end up with a three-punctured sphere with two full puncture and one puncture of type . In the original gauge theory, we have six fundamental flavors coupling to the gauge multiplet with flavor symmetry. To construct the ultraviolet curve, we split these six flavors into four flavors and two flavors, and applied the rule shown in the third row of Fig. 12.7. Therefore, we see that the theory represented by the three-punctured sphere have a flavor symmetry of the form
(12.4.3) |
Thankfully, there is a unique such group , that is , see Fig. 12.22. We can of course compute the number of Coulomb branch operators this theory has, by studying . Here, let us try a different procedure. Originally, we had the gauge group . Therefore, the numbers of the Coulomb branch operators of dimension 2,3,4 were respectively . On the dual side, the quiver tail contains , which has two operators of dimension 2 and one operator of dimension 1. The theory represented by the three-punctured sphere should account for the difference. Therefore there is just one Coulomb branch operator, of dimension 4. This again 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 can also check the agreement of the current two-point functions and the dimensions of the Higgs branch, as we did at the end of Sec. 12.3.2.
Generalizing this to the symmetry is by now rather straightforward. We perform the duality as shown in Fig. 12.23. In the dual side, we have a three-punctured sphere with one full puncture, another of type , and of type . We see that the flavor symmetry of the theory should satisfy
(12.4.4) |
This nicely fits the structure of Minahan-Nemeschansky’s theory , see Fig. 12.24. Checks of various properties are left as an exercise to the reader.
Finally, let us study a non-conformal example. Consider theory with flavors, with . The curve is
(12.4.5) |
with the differential . Here we demanded and split the mass term as . Clearly something happens when around . This point was first considered in [76]. The correct physics was first discussed in [77]. We will see below that the low-energy limit is an infrared-free gauge theory coupled to the theories and .
To study the infrared behavior, we let
(12.4.6) |
and assume the scaling
(12.4.7) |
and
(12.4.8) |
We then need to assume
(12.4.9) |
In particular we have
(12.4.10) |
In the region , we can approximate the curve (12.4.5) as
with the scaling (12.4.7). When this is written as a degree- equation for , the coefficient of the term is given by
(12.4.12) |
In the limit , two zeros of (12.4.12) collide at . This is exactly the situation we studied in Sec. 12.3 for theory with flavors in the limit. We see that we generate the theory coupled to gauge group; the operator is now regarded as the Coulomb branch vev of this . The parameters and are now the mass parameters for the symmetry of the theory.
In the region , the curve (12.4.5) can be approximated as
(12.4.13) |
where the differential and is an unimportnat constant. We already encountered this in Sec. 11.5; this is the curve describing the Argyres-Douglas point of theory with 2 flavors. Equivalently, we called this theory in Sec. 10.5.
Summarizing, we see that the limiting theory has the structure given in Fig. 12.25. Namely, there is a weakly-coupled gauge group, connecting the region given by a sphere of 6d theory of type , representing the theory, to the region , given by a sphere of 6d theory of type , representing the theory .
In the intermediate region , the curve is just
(12.4.14) |
with . We see that there is an gauge group, with
(12.4.15) |
The dual coordinate is then given roughly by
(12.4.16) |
Using and the relation (12.4.9), we see
(12.4.17) |
Recall that the running is given by
(12.4.18) |
for theory with flavors. This system then effectively has
(12.4.19) |
The is now infrared free. Note that this is correctly the sum of the effective number of flavors of the theory and the theory, as computed already. Indeed, it is for the theory, and for the theory, see (12.3.4) and (10.5.8), respectively.