In terms of chiral multiplets, the hypermultiplet consists of two doublets and where is the index. There is an superpotential
(5.1.1) |
where is the bare mass of the hypermultiplet. Classically, together with still gives supersymmetric vacua. With nonzero , the gauge group is broken to , and the physical mass of the fields and can be found by explicitly expanding the superpotential above:
(5.1.2) |
We see that the masses are
(5.1.3) |
where we allow all four choices of signs.
In general, the BPS mass formula is
(5.1.4) |
where is the charge under the flavor symmetry, under which has charge and has charge .
From the one-loop running of the coupling constant, we find
in the ultraviolet region. Here we defined
(5.1.7) |
where the subscript is a reminder that we are dealing with the theory. From this, we can determine the monodromy at infinity acting on :
(5.1.8) |
exactly as in the pure case.
To study the strong coupling region of the system, let us first consider two extreme cases. When is very big, we expect the running of the coupling to be given roughly as in Fig. 5.1. Namely, at around the scale , the fields and decouple, and the system effectively becomes the pure gauge theory, which we studied in the last section. Correspondingly, the structure of the -plane in the region should be effectively the same with that of the pure theory, with two singularities at .
A rough relation between and can be read off from the schematic graph of the running coupling shown in Fig. 5.1. The rightmost segment in the graph is given by
(5.1.9) |
and the middle segment in the graph, representing the effectively pure theory, is
(5.1.10) |
Equating these two values at , we obtain
(5.1.11) |
In addition, we know from (5.1.3) that the quanta of one component of and become very light when . This should produce a singularity in the -plane at around . We therefore expect that the -plane to have three singularities, as shown in Fig. 5.2. Note that local physics at the three singularities, at and at , is always just gauge theory with one charged hypermultiplet.
In the other extreme when , we can make use of the discrete R symmetry. The standard R-charge assignment is as follows:
(5.1.12) |
The rotation
(5.1.13) |
is anomalous, but can be compensated by
(5.1.14) |
Therefore is a genuine symmetry, which does
(5.1.15) |
This guarantees that singularities in the -plane should appear in triples, related by rotation. A minimal assumption is then to have exactly three singularities, as shown in Fig. 5.3. Having three singularities is consistent with our previous analysis when was very big. We expect that the situation in Fig. 5.2 will smoothly change into the one in Fig. 5.3 when is adiabatically changed.
Let us denote the monodromies around each of the three singularities by , see Fig. 5.4. Clearly, we should have
(5.1.16) |
where was given in (5.1.8). As the three singularities are related by discrete R-symmetry, they should be conjugate. For example, as shown in Fig. 5.5, we expect .
A solution is given by
(5.1.17) |
together with
(5.1.18) |
As found here is the same as found in the pure case (4.2.9), the local physics close to the singularity is also the same, i.e. it is described by an gauge theory coupled to one charged hypermultiplet. The same can be said for and .
For the pure case, we saw that the light charged hypermultiplet in this low energy description was a monopole in the original description. Is the same true in this case? It is easier to give a definitive answer when is very big. Then, the two singularities in the strong coupled region have the same physics as that of the pure theory, and thus we should have light monopoles and dyons there. At the third singularity , one component of the doublet hypermultiplet becomes very light. For all three singularities, the low-energy description is that of a gauge theory coupled to one charged hypermultiplet.
By gradually decreasing to be zero, these three singularities become the three singularities related by the discrete R symmetry. At this stage, it is not possible to say which of the three was originally the one whose light particle came from the doublet hypermultiplet and which two of the three were the ones with monopoles and dyons. This loss of the distinction between the hypermultiplets which were elementary fields and the hypermultiplets which came from solitons such as monopoles or dyons is somewhat surprising to an eye trained in the classical field theory. We will see this more explicitly below, in Fig. 5.10.