As an example of the application of what we learned in this section, let us consider the pure supersymmetric Yang-Mills theory with gauge group . The content of this section will not be used much in the rest of the lecture note.
This theory has just the vector multiplet, with the Lagrangian
(3.3.1) |
The one-loop running of the coupling is given by
(3.3.2) |
and therefore we define the dynamical scale by the relation
(3.3.3) |
We assign R-charge zero to the gauge field, and R-charge 1 to the gaugino . The phase rotation is anomalous, and needs to be compensated by . The shift of by is still a symmetry, therefore the discrete rotation
(3.3.4) |
is a symmetry generating . Note that under this symmetry, defined above has the transformation
(3.3.5) |
This theory is believed to confine, with nonzero gaugino condensate . What would be the value of this condensate? This should be of mass dimension 3 and of R-charge 2. The only candidate is
(3.3.6) |
for some constant . The symmetry (3.3.5) acts in the same way on both sides by the multiplication by . Assuming that the numerical constant is non-zero, this is further spontaneously broken to , generating distinct solutions
(3.3.7) |
where . Unbroken acts on the fermions by , which is a rotation. This symmetry is hard to break.
It is now generally believed that this theory has these supersymmetric vacua and not more. For other gauge groups, the analysis proceeds in the same manner, by replacing by the dual Coxeter number of the gauge group under consideration. For example, we have vacua for the pure gauge theory.
It is instructive to recall another way to compute the number of vacua in the pure Yang-Mills theory with gauge group , originally discussed in [39]. We put the system in a spatial box of size with the periodic boundary condition in each direction. We keep the time direction as . By performing the Kaluza-Klein reduction along the three spatial directions, the system becomes supersymmetric quantum mechanics with infinite number of degrees of freedom.
The box still preserves the translation generators and the supertranslations unbroken. We just use a linear combination of and , satisfying
(3.3.8) |
We also have the fermion number operator such that
(3.3.9) |
Consider eigenstates of the Hamiltonian , given by
(3.3.10) |
In general, the multiplet structure under the algebra of , , and is of the form
(3.3.11) |
involving four states. When or , the multiplet only has two states. If , the multiplet has only one state, and is automatically zero due to the equality
(3.3.12) |
We see that a bosonic state is always paired with a fermionic state unless .
This guarantees that the Witten index
(3.3.13) |
is a robust quantity independent of the change in the size of the box: when a perturbation makes a number of zero-energy states to non-zero energy , the states involved are necessarily composed of pairs of a fermionic state and a bosonic state. Thus it cannot change .
Therefore, we can compute the Witten index in the limit where the box size is far smaller than the scale set by the dynamics. Then the system is weakly coupled, and we can use perturbative analysis. To have almost zero energy, we need to have in the spatial directions, since magnetic fields contribute to the energy. Then the only low-energy degrees of freedom in the system are the holonomies
(3.3.14) |
which commute with each other. Assuming that they can be simultaneously diagonalized, we have
together with gaugino zero modes
(3.3.18) |
with the condition that
(3.3.19) |
The wavefunction of this truncated quantum system is given by a linear combination of states of the form
(3.3.20) |
which is invariant under the permutation acting on the index . To have zero energy, the wavefunction cannot have dependence on anyway, since the derivatives with respect to them are the components of the electric field, and they contribute to the energy. Thus the only possible zero energy states are just invariant polynomials of s. We find states with the wavefunctions given by
(3.3.21) |
where . They all have the same Grassmann parity, and contribute to the Witten index with the same sign. Thus we found states in the limit of small box, too.
The construction so far, when applied to other groups, only gives states. For example, let us consider for for . Then the method explained so far only gives states
(3.3.22) |
and does not agree with when . This conundrum was already pointed out in [39] and resolved later in the Appendix I of [40] by the same author.6 What was wrong was the assumption that three commuting matrices can be simultaneously diagonalized as in (3.3.17). It is known that there is another component where they cannot be simultaneously diagonalized into the Cartan torus. For , an example is given by the triple
These three matrices might look diagonal, but not in the same Cartan subgroup. This component adds one supersymmetric state. Then, in total, we have , reproducing .
For larger , one can consider given by the form
(3.3.26) |
where are in the Cartan subgroup of . Applying the analysis leading to (3.3.21) in both components, i.e. in the component where are in the Cartan subgroup of , and in the component where has the form (3.3.26), we find in total
(3.3.27) |
zero-energy states, thus reproducing states. This analysis has been extended to arbitrary gauge groups [41, 42].