So far we studied the Argyres-Douglas CFTs which were obtained by special limits of gauge theories with flavors. The data of these and other related CFTs are summarized in Table 10.1. The Argyres-Douglas CFTs are the first three rows of the table. The fourth row is for the theory with massless flavors. The next two rows are for slightly different classes of theories. Namely, if we consider theory with more than flavors or theory with nonzero charged hypermultiplets, they are infrared free, see (8.1.5) and (8.3.13). They appeared repeatedly as a local behavior close to a singularity on the -plane.
In Table 10.1 we also tabulated the dimension of the Higgs branch. Let us quickly recall how they are obtained. We know does not have one, since its parent theory with does not have one either. For , we consider with with a mass term. Then the Higgs branch is , whose quaternionic dimension is 1. For , we consider with . With a mass term, its Higgs branch can be found by studying a point in a weakly-coupled theory. The physics there is just with three charged hypermultiplets, with the Higgs branch of quaternionic dimension 2. For free theory with flavors, the quaternionic dimension is just , and similarly for theory with flavors it is given just by . One funny feature is that we see
(10.4.1) |
for the first six rows, where is the dual Coxeter number, which is also a contribution to the one-loop running from the adjoint representation of . These theories have just one Coulomb branch modulus, and the low-energy theory on a generic point on the Coulomb branch is just a free theory. Such theories are called rank-1.
We have not discussed the theories listed in the remaining three rows. One way to motivate them is to refer to a classical mathematical result of Kodaira. At a given point on the -plane, we have the ultraviolet curve and the Seiberg-Witten curve . The curve is a torus, whose shape is parameterized by its complex structure , which depend holomophically on . Therefore we have a fibration of torus over the complex plane with the coordinate . The -plane together with the fiber forms a complex two-dimensional space .
Kodaira classified the possible types of singularities of such fibrations, and the first six rows of Table 10.1 is an exact copy of part of that classification. The terminologies are of course different, since he was a mathematician and we are studying gauge theories. Kodaira’s classification had three more rows in addition to the first six rows, which motivated people that there should be three additional theories corresponding to them. The Seiberg-Witten curves for these were constructed first by Minahan and Nemeschansky in [59, 60].
In the mathematical language, a singularity in the torus fibration creates a singularity in the total space of complex dimension two. It is locally of the form where is a finite subgroup of . They have a natural ADE classification, and we can associate a Lie group , see Table 10.2.
Mathematicians associate this group purely mathematically to a torus fibration, and we see that they are exactly the flavor symmetries of the gauge theories, at least to the first six. Mathematicians have associated exceptional groups to the last three cases. It was thus quite tempting that the putative theories which correspond to the last three rows have these exceptional groups as the flavor symmetries. From the feature (10.4.1) relating the flavor symmetry and the dimension of the Higgs branch, it is also tempting to guess the dimension of the Higgs branch of these theories. We call these CFTs , and , respectively.
Note that it is rather hard to have an exceptional flavor symmetry in a classical Lagrangian theory. We already know a general form of the Lagrangian: the superpotential as an theory is forced to be
(10.4.2) |
and it is possible to check explicitly that the flavor symmetry visible in the ultraviolet is a product of , and groups. Therefore, if the exceptional symmetries are to appear, they need to arise via strong-coupling effects. Once the reader comes to Sec. 12.4 of this note, s/he will find exactly how this happens in the field theory setting.
Another way to construct the theories listed in the table uniformly is to use Type IIB string theory and its non-perturbative version F-theory. This approach originates in [5] for with four flavors. For the general case, see e.g. [61]. The Seiberg-Witten curves of these rank-1 theories can be constructed most uniformly in this approach, see e.g. [62].
The type IIB string theory is ten-dimensional, and it has objects called 7-branes and 3-branes, where a -brane extends along spatial direction and one time direction. Let us say the spacetime is of the form
(10.4.3) |
Put a 7-brane in the subspace
(10.4.4) |
and a D3-brane in the subspace
(10.4.5) |
There are various types of 7-branes in F-theory, corresponding to Kodaira’s classification. They can all be obtained by taking a number of the simplest of the 7-branes, called 7-branes, separated along the direction and collapsing them at one point. Then the low-energy theory on the D3-brane gives the corresponding theories.
Due to its tension, one 7-brane creates deficit angles . With 7-branes collapsed to a point, the remaining angle is of . From this the scaling dimension of can be computed to be
(10.4.6) |
which explains an interesting pattern in Table 10.1. These 7-branes obtained by collapsing a number of 7-branes has a gauge symmetry living on its eight-dimensional worldvolume. From the point of view, this gauge symmetry on the 7-brane becomes a flavor symmetry. The D3-brane can be absorbed into this 7-brane as an instanton in the internal direction of (10.4.4). Then, the Higgs branch should be given by the one instanton moduli space of the group . The -instanton moduli space of a group has quaternionic dimension , explaining the relation (10.4.1).
So far we saw that the structure of rank-1 theories closely follows that of the Kodaira classification, listed in Table 10.1. Before going further, it should be mentioned that there are even more rank-1 theories, first found through the analysis of S-dualities of various gauge theories in [63]. Their properties are reviewed from the point of view of the 6d construction in Sec. 7 of [64].