First complexify the Clifford algebra in spacetime dimensions. Multiplying appropriate generators by converts the signature to the Euclidean form without changing the complex module dimension. Pair the generators into
The Clifford algebra relations give
The commuting occupation operators have eigenvalues zero or one. Choose a nonzero state killed by every ; repeated annihilation reaches such a state in any finite irreducible module. Acting with distinct creation operators produces the occupation states
Their distinct occupation patterns make them linearly independent, and their span is invariant under every Clifford generator. Irreducibility therefore makes it the entire Dirac module. This derives the even-dimensional Clifford spinor dimension:
The chirality matrix is a phase-adjusted product of all generators. It squares to one, anticommutes with each generator and acts as occupation parity up to an overall sign. Its two eigenspaces each have states. The even Clifford algebra, and hence the connected spin group, preserves them, giving irreducible Weyl spinors of complex dimension . A Majorana spinor imposes a reality condition only in signatures where it exists; simultaneous Majorana and Weyl conditions are not available in every even dimension.
In Lorentzian ten dimensions, the complex Dirac module has dimension , and a Weyl module dimension . A Majorana-Weyl spinor is allowed and has real components before its equation of motion. The massless Dirac equation leaves eight physical gaugino polarizations. A ten-dimensional massless gauge field also has physical polarizations. Thus ten-dimensional super Yang-Mills theory has eight bosonic and eight fermionic states per gauge generator, with sixteen real supercharges.
For dimensional reduction, take a flat six-torus with periodic fermions and retain fields independent of its coordinates. Split into and six internal components , . The latter are four-dimensional real adjoint scalar fields. Under the spin groups of the two factors, a ten-dimensional chiral spinor decomposes as
for , with . The Majorana condition relates these conjugate pieces, leaving four independent four-dimensional Weyl spinors. The supersymmetry parameters reduce in exactly the same fashion: sixteen real charges are four four-dimensional supersymmetries. The resulting field content is
The on-shell counts are bosonic and fermionic states, as required. The internal spin group supplies the R-symmetry of the reduced action.
To derive its scalar potential, use Hermitian gauge matrices and a positive trace inner product, with
If the internal volume is , integration gives . Since internal derivatives vanish,
With mostly-minus spacetime signature, has an extra minus sign and the double sum over mixed indices gives a factor two. Rescale and to canonical fields. The resulting bosonic Lagrangian is
where . A commutator of Hermitian matrices is anti-Hermitian, so the last term is minus a nonnegative scalar potential:
The sum is over ordered internal pairs; a sum over would instead have coefficient . Trace normalization merely changes the matched gauge-coupling convention.
The origin attains zero potential, so the global minima are exactly
For a compact connected gauge group, a commuting tuple is simultaneously conjugate into a Cartan subalgebra. Write , where is the rank. Every choice of the real numbers has zero potential. After the residual Weyl group identifications, the classical commuting-scalar vacua of four-dimensional N=4 Yang-Mills theory form in the four-dimensional theory. For one may describe them as six simultaneous diagonal matrices, with tracelessness and permutations of their common eigenvalue labels. Varying these eigenvalues changes gauge-invariant configurations while leaving , proving the existence of genuine flat directions of a scalar potential, not just gauge-equivalent directions. Generic values break the gauge group to its maximal torus; coincident eigenvalue vectors produce enhanced unbroken gauge symmetry. If one keeps a finite compact torus rather than the four-dimensional limit, large gauge transformations add periodic identifications of the Wilson-line coordinates.