Let us now study the discrete R-symmetry. We assign the charges under continuous R-symmetry to be given by
(8.3.1) |
The rotation
(8.3.2) |
is anomalous, but can be compensated by
(8.3.3) |
Equivalently, the dynamical scale transforms as
(8.3.4) |
Therefore is a genuine symmetry, which does
(8.3.5) |
where . The reason why we put a prime to the symbol here will be explained shortly. Unfortunately this does not tell us much about the structure on the -plane, as it acts trivially on it.
We can perform a slightly subtler operation. Consider the action on the hypermultiplets given by
So far we always said that the flavor symmetry is . This operation is a flavor parity action
(8.3.8) |
Recall that in an -instanton background, the number of zero-modes of is just . Then the operation (8.3.7) multiplies the path integral measure by . This means that the parity part of the classical flavor symmetry is anomalous. That said, as we have a term in the integrand of the path integral, we can compensate it by the shift .
Then, we can combine phase rotations (8.3.2), (8.3.3) with and the flavor parity (8.3.7) to have a genuine unbroken symmetry. Summarizing, this is a combination of two actions: the first one is
(8.3.9) |
and the second one is
(8.3.10) |
In total this is a symmetry acting on the -plane by .
At the first sight this looks contradictory with the structure of the -plane found in Fig. 8.4: the two singularities are at and . The way out is to set
(8.3.11) |
This illustrates a subtlety which is often there in the non-perturbative analysis of field theories. Naively, is defined to be . But a composite operator needs to be defined with care, by carefully performing the regularization and the renormalization. As there are almost no divergence between two chiral operators in a supersymmetric theory, it is relatively safe to do this for chiral composite operators, although one still needs to take care of the point splitting between two gauge-dependent chiral operators, which is known as a source of Konishi’s anomaly [55], for example. At least perturbatively, we can take the holomorphic scheme and that uniquely fixes the regularization and the renormalization of chiral composite operators to all orders in perturbation theory. There still is, however, non-perturbative ambiguity in the definition of the scheme. In our present case, and both have mass dimension two and has charge under the continuous broken R-symmetry, therefore they tend to mix. When we guessed the curve in Sec. 6.4.4, we did not take the discrete unbroken R-symmetry into account, thus there was a discrepancy between the appearing in the curve and the which was constructed by definition to transform nicely under the discrete R-symmetry.
We learned that the low energy behavior at and , or equivalently at is related by the discrete R-symmetry combined with the flavor parity. Let us study them in more detail. We know that the monodromy at is given by (8.2.7). Let us say close to , where is a constant. Applying the transformation once, we see that the running of the dual coupling is
(8.3.12) |
where sets the energy scale. Compare this with the running of the dual coupling (4.3.22) at the monopole point of the pure theory. The factor in the numerator comes from the lower-left entry of in (8.2.7), or more physically from the fact that two pairs of the branch points simultaneously collide as shown in Fig. 8.3. In general, when a gauge theory is coupled to several hypermultiplets with charges given by , the running is given by
(8.3.13) |
Then we can conclude uniquely that there are two hypermultiplets with charge . This can be seen from the higher-dimensional perspective: there are disk-shaped membranes as in Fig. 6.4 for each pair of colliding branch points. They become massless when the branch points do collide, thus providing two charged hypermultiplets.