The curve for theory with flavors was guessed in (6.4.11):
(8.5.1) |
We see that diverges at independent of , and there are four branch points which move as changes, see Fig. 8.10. The reason we put tildes above the mass parameters will become clear soon.
Let us check the behavior when . Two branch points are at and another branch point is at . We now put the -cycle around , where . Then we see that the integral is given as before by
(8.5.2) |
The -cycle integral can be approximated by
(8.5.3) |
From this we find
(8.5.4) |
thus reproducing the field-theoretical one-loop computation (8.1.6).
When and , the coupling at the scale is still small, and the classical analysis using the superpotential (8.4.1) is almost valid. We expect that around , i.e. when , the gauge group is broken to with three charge-1 hypermultiplets. This point on the -plane counts as three singularities, since when are slightly different, they should be at three slightly different points . When , the theory can be effectively described by pure gauge theory, which have the monopole point and the dyon point. In total we expect five singularities on the -plane, see Fig. 8.11.
We would like to study the massless case, . Here, we cannot just set in the curve (8.5.1).11 We already saw that, when , the vev can mix with the one-instanton factor . Here, with , the one-instanton factor is and it can mix with any neutral chiral dimension-1 operator. The curve makes only flavor symmetry manifest. The mass parameter corresponding to the flavor symmetry is neutral, chiral, and of dimension 1. Therefore there can be a mixing of the form
(8.5.5) |
where is a constant. Here, we fix the untilded mass parameter to transform linearly under the Weyl symmetry of the flavor symmetry.
To determine , we set
(8.5.6) |
and study the singularities in the -plane. This is just the flavor Weyl transform of the flavor symmetric choice of masses, therefore three out of five singularities on the -plane should still collide as in (8.11). By an explicit computation, one finds that this happens only when .
Finally we can set . The curve is now
(8.5.7) |
There is an -independent branch point of at . Two other branch points move with , and are at the solutions of
(8.5.8) |
The branch points collide when or :
The monodromy at infinity is
(8.5.9) |
Denoting the monodromies around , by and , we have
(8.5.10) |
By going to the S-dual frame at , we find that the running of the dual coupling is
(8.5.11) |
where the scale is set by . Comparing with (8.3.13), the low energy physics can be guessed to be a gauge theory, coupled either (i) to just one charge-2 hypermultiplets or (ii) to four charge-1 hypermultiplets.
Recall that the classical theory has a Higgs branch. The choice (i) does not have a Higgs branch at . It does not have one at either. The Higgs branch should be preserved by the quantum correction, and thus this choice is ruled out.
The choice (ii) does have a Higgs branch at . We have four charge-1 hypermultiplets coupled to the gauge multiplet. Then the complex dimension of the Higgs branch is . This is acted on by the flavor symmetry rotating four hypermultiplets.
Classically, we have three hypermultiplets in the doublet of . Then the complex dimension of the Higgs branch is . This agrees with the computation above. Recall that three hypermultiplets in the doublet of count as six half-hypermultiplets of doublet, with flavor symmetry. As , we see that the symmetry of the Higgs branch also agrees. We should recall that the monopole in this theory transforms as the spinor representation of the flavor symmetry. In our case the spinor of is the fundamental four-dimensional representation of . This is also consistent with our choice that at there are four charged hypermultiplets electrically coupled to the dual . By a more detailed analysis we can check that the Higgs branches agree as hyperkähler manifolds.