Symmetries and different multiplet descriptions
Before this lesson: Build the action from three adjoint chiral multiplets.
The same action can be described by one vector and three chiral multiplets, or by a vector and a hypermultiplet. Which symmetry is visible in each description, and how do we recover the full theory? The answer requires tracking the fields, not changing their number.
Use the construction of the N=4 action as preparation. We keep its flat Lorentzian theory, , canonical coupling , zero theta angle, and no masses. All fields are adjoint-valued; gauge rank is unrelated to the number of supersymmetries. The specified action has sixteen real Poincaré supercharges. Our task is to exhibit the internal symmetry relating their different presentations.
One quartet of fermions and a real six of scalars
Section titled “One quartet of fermions and a real six of scalars”Reserve for color-algebra indices and for a new R-symmetry index. A gauge transformation acts on color; an R-symmetry rotates supercharges and their multiplets. It does not act as a color change of basis.
Combine the four left Weyl fields into
The constant phase in the fourth entry is a basis convention matching the Yukawa coefficients of the prerequisite. It changes neither the gaugino’s kinetic norm nor its physical states. We will check it below. The quartet transforms as for ; its Lorentzian conjugate transforms in . The gauge field is an R-symmetry singlet. These are the representations described in Minahan, section 2.
The six real scalars need a less familiar representation. An antisymmetric four-by-four tensor has independent entries, but six arbitrary complex entries would be twice too many real fields. Define instead
Thus, with ,
The entries remain color matrices. A dagger on an entry conjugates its color matrix; it is not a transpose of the displayed R-symmetry array. With , this construction obeys the reality condition
For example, and . Only the three complex are independent. This is the real representation , where means the antisymmetric two-index representation. The identification of the scalar six with antisymmetric SU(4) indices is explained in Minahan, section 4 before (4.7).
Its transformation is
Unitarity together with preserves (N03.4): the invariant epsilon tensor converts the two uncontracted matrices into two conjugate matrices. It also preserves
where . Thus SU(4) induces rotations of the six real coordinates. More precisely, is a double cover of : and act identically on , while they act oppositely on . The distinction matters when fermions are included.
Check that the interactions respect the packaging
Section titled “Check that the interactions respect the packaging”The six-scalar potential derived in the prerequisite, , is invariant under these real rotations. The covariant kinetic terms use invariant norms. The fermions provide a further check: scalar symmetry alone would not establish the symmetry of the full action.
Write in a Hermitian color basis. The two Yukawa terms of the prerequisite combine into
Both R indices and all color indices are summed. The Weyl contraction is the inherited , symmetric under exchanging two odd Weyl fields. The terms with give . The two placements of index , using , give . These are precisely the superpotential and gauge Yukawas after cyclic relabeling of the color indices. Omitting the in (N03.1) would spoil their relative phase.
Equation (N03.7) contracts a conjugate antisymmetric tensor with two fundamentals, so it is SU(4) invariant. This checks the actual interactions, rather than just an automorphism of a free supercharge algebra. Tachikawa’s enhancement argument likewise uses the specified massless adjoint-hyper action in (2.1.16)–(2.1.18).
We write the undotted supercharges as in and their adjoints as . This R-index placement agrees with Minahan’s discussion before (3.5). It specifies how the internal index transforms; it does not change the earlier normalization . In particular, a charge in the conjugate representation has the opposite diagonal R weight to the corresponding .
Choose one supersymmetry
Section titled “Choose one supersymmetry”Choose and its adjoint as the manifest N=1 subalgebra. The SU(3) acting on indices leaves this charge fixed, so it is a flavor symmetry relative to this subalgebra. It rotates the three chiral multiplets. Their kinetic term is invariant, and the cubic transforms with the determinant of this three-by-three rotation, which is one.
Normalize the N=1 R generator by and hence . The traceless generator acting on the quartet is
An entry has the sum of the two fundamental weights. Therefore
The subscripts are R weights. The three have charge , their have charge , and has charge one. The scalar cubic has charge two, canceling the charge of . These are representation and action checks; no anomalous-dimension formula was needed to obtain them.
| N=1 multiplet | Physical fields | Bosonic / fermionic polarizations per color generator |
|---|---|---|
| Vector | ||
| Chiral , each of three | ||
| Total | Same full N=4 field collection |
The other twelve real charges remain symmetries. They are not all represented as translations in this one pair of superspace coordinates. Also, the three complex and real used in this presentation do not prove finite-auxiliary off-shell closure of all sixteen charges.
Choose two supersymmetries
Section titled “Choose two supersymmetries”Now retain and their adjoints. This makes an N=2 subalgebra with eight real charges. The fields group as
| N=2 multiplet | N=1 constituents | Physical fields |
|---|---|---|
| Vector | ||
| Full adjoint hyper |
Each row has physical polarizations per generator, giving the same total. The real adjoint representation does not identify the two independent hyper chirals or turn this full hyper into half as many fields.
The selected charge plane is rotated by . The other plane, with indices , has an commuting with the selected eight charges. Its subscript means flavor, not the gauge group. Introduce a commuting R generator and the third generator of this :
Under with the stated weights,
To derive the second line, antisymmetrize two indices. Two indices in the first plane give a singlet of weight two; two in the other give its conjugate. One index from each plane gives a with zero weight. Its four components obey the inherited reality condition, so they supply four real hyper scalars, not four independent complex scalars. Equations (N03.9) and (N03.11) state Lie-algebra branchings and weight normalizations; they do not assert a global direct-product decomposition of SU(4).
The vector scalar is the charge-two singlet. The vector fermions form the first doublet; the hyper fermions form the second. The scalar hyper doublet uses a conjugate, as in the N=2 multiplet construction. That fact can be checked by an actual rotation.
A rotation that mixes two descriptions
Section titled “A rotation that mixes two descriptions”Take to be the identity on indices , with the real block on indices , where , . Substitution in (N03.5) gives
Meanwhile stay fixed. Thus and are doublets for this rotation. Directly, : the cross terms cancel and . The invariant Yukawa contraction provides a check beyond the scalar norm.
For generic , the rotation also mixes and . It therefore does not commute with the single chosen N=1 charge. A transformation can be an R-symmetry of the N=2 description even though it mixes a chiral scalar with an antichiral scalar in N=1 notation. This is not a conjugacy constraint on two independent chiral fields.
The SU(3) rotations visible in the N=1 description and these extra rotations together generate SU(4). For example, commuting a generator that mixes indices with one that mixes produces a generator mixing ; similarly one obtains the generators and the remaining diagonal generator. This explains the enhancement mechanism in the source. The field grouping changes which part is manifest; the fixed action is unchanged.
Exercises
Section titled “Exercises”1. Why the six is real, and why its cover matters
Section titled “1. Why the six is real, and why its cover matters”Starting from three arbitrary complex numbers in one Hermitian color-generator component, construct (N03.3), verify the three independent conjugacy relations, and evaluate . What do and do to the scalars and fermions? Both matrices have determinant one.
Hint 1
The independent complementary pairs are , and . The middle pair has a minus sign.
Hint 2
A scalar tensor has two fundamental indices; a fermion has one. Apply the central phase once for each index.
Solution
The entries are , , , , , and , with the reversed entries fixed by antisymmetry. They satisfy , , and . There are six real independent coordinates and
For , the two scalar factors cancel while each fermion changes sign. It acts as fermion parity on these elementary fields. For , the scalars change sign and each acquires . Thus the two central transformations are different; only the first acts trivially on the scalar six. The bosonic rotation description alone loses this fermionic information.
2. Recover one R generator from the other description
Section titled “2. Recover one R generator from the other description”Find constants such that has charge one on and charge on . Check all three complex scalars and the selected supercharge. Explain why equal R charges of the three scalars do not make them three components of an triplet.
Hint 1
The two fermions have equal and opposite .
Hint 2
Scalar weights add the weights of their two R indices. A supercharge in the conjugate quartet reverses the fundamental weights.
Solution
The equations are and . Hence
For , the weights are ; for they are . All give . The conjugates have opposite weights. On , , giving as required.
Equal eigenvalues of this one generator do not determine an entire non-Abelian representation. Under the selected , is a singlet while the hyper scalars are organized into doublets involving conjugates. They are not a triplet of three holomorphic scalars.
3. Change the action instead of its notation
Section titled “3. Change the action instead of its notation”Add with nonzero constant of mass dimension one. Around the zero-scalar vacuum, determine the quadratic masses of the hyper scalars and fermions. Which supersymmetry does this preserve, and why is this different from merely choosing the N=2 description above?
Hint 1
The trace normalization makes . At the origin, the cubic superpotential gives no quadratic mass.
Hint 2
Use and the Weyl mass matrix . Compare the hyper mass with the vector’s mass before considering rotations that exchange their fields.
Solution
For every color generator,
Writing each complex scalar as two real scalars divided by gives four canonical real masses squared . Also : the two Weyl fields have mass magnitude . The vector multiplet remains massless at this vacuum.
This is the adjoint-hyper mass of the N=2 construction, preserving eight real supercharges; the resulting theory is called N=2*. The original SU(4) cannot mix massive hyper fields with massless vector fields while preserving the quadratic action. It is therefore a changed theory, whereas (N03.11) only reorganized an unchanged massless theory.
The original also assigns the scalar product charge , rather than the charge two required for a superpotential with a fixed neutral coefficient. Assigning a formal compensating charge to can keep track of the deformation, but does not restore the broken symmetry at a fixed nonzero mass.
The full field content, its R representations, and its smaller multiplet descriptions now agree. These checks establish how the specified symmetries act; quantum scale dependence is a separate question. Continue to couplings and conformal invariance to calculate the one-loop cancellation and identify the additional reasoning needed for the exact statement.
Learn 4d N=4 SYM and its exact circular loop
Planar and strong-coupling loop
Operator mixing and spin chain
Global dualities and holography
Enter research after the N=4 circular loop