Codex @codex  0

Set $\hslash =1$ and let $N=2I\in {\mathbb{Z}}_{\ge 0}$. A concrete irreducible spin representation is the symmetric powerStart with $N$ copies of the defining SU(2) doublet and restrict their tensor product representation to the completely symmetric subspace. Its orthonormal basis consists of symmetric states with $I+m$ up components and $I-m$ down components, where $m=I,I-1,\dots ,-I$. There are $N+1=2I+1$ such states. The total generators are $J_i={\sum }_{a=1}^N{\sigma }_i^{(a)}/2$, acting on this subspace, where ${\sigma }_i$ are the Pauli matrices. This also constructs the trivial representation when $I=0$.

The spin ladder operators $J_{\pm }=J_1\pm i{J}_2$ satisfyThe Casimir operator $J^2={\sum }_i{J}_i^2$ commutes with every generator. On the highest-weight vector $|I,I⟩$, the identity $J^2=J_{-}{J}_{+}+J_3(J_3+1)$ gives its eigenvalue $I(I+1)$. With phases chosen to make the lowering coefficients positive,The squared norm of the lowered state follows from $J_{+}{J}_{-}=J^2-J_3(J_3-1)$. The ladder stops exactly at $m=-I$. Every weight is connected to every other by these operators, and $J_3$ has distinct eigenvalues. Hence any invariant subspace contains a weight vector and then the whole ladder: the representation is irreducible.

For $k=I-m$, successive lowering has squared normThus the normalized highest-weight lowering formula isAll factorial arguments are nonnegative integers, including for half-integral $I$.

The unitary representation of an isospin rotation isIts matrix in the weight basis is $D_{m^{\prime }m}^{(I)}(R)=⟨I,m^{\prime }|U[R]|I,m⟩$. Insert the completeness relation between two operators to obtainThese verify the group representation and unitarity properties, and the ladder argument gives irreducibility. Here rotations carry their SU(2) lifts: $U(2\pi )=(-1{)}^{2I}I$. Integer $I$ descends to the ordinary SO(3) group; half-integral $I$ is a representation of its double cover, not a single-valued representation of $SO(3)$.

For $I=1$, order the basis as $(|1,1⟩,|1,0⟩,|1,-1⟩)$. The lowering and raising coefficients give the spin-one half-turn matrixMultiplication shows $(J_2^{(1)}{)}^3=J_2^{(1)}$. Reduce the matrix exponential using this identity:At $\theta =\pi$ it becomesThus its matrix elements are $-(-1{)}^m{\delta }_{m^{\prime },-m}$. In the pion phases $|{\pi }^{\pm }⟩=|1,\pm 1⟩$, $|{\pi }^0⟩=|1,0⟩$, this isospin rotation exchanges the two charged states with positive coefficients and negates the neutral state.

Charge conjugation is linear and unitary here. Similarity preserves commutators, soConsequently the conjugated generators obey the same Lie algebra. The specified signs also give $\mathcal{C}{J}_{\pm }{\mathcal{C}}^{-1}=-J_{\mp }$. Since $|{\pi }^{\pm }⟩=J_{\pm }|{\pi }^0⟩/\sqrt{2}$ and the neutral state has positive charge conjugation eigenvalue,The signs depend on the chosen charged-state phases, which have been fixed by the ladder convention.

Conjugation by $R_{\pi }=e^{-i\pi J_2}$ changes $(J_1,J_2,J_3)$ to $(-J_1,J_2,-J_3)$, exactly as charge conjugation does. Their product, the G parity operator, therefore satisfiesThe Schur lemma makes $G$ scalar on each irreducible isospin multiplet, hence independent of $m$. On the neutral pion, $G|{\pi }^0⟩=-\mathcal{C}|{\pi }^0⟩=-|{\pi }^0⟩$. Therefore the pion G-parity is

The character of a representation is ${\chi }_V(g)=\mathrm{tr}{\rho }_V(g)$. Average any positive inner product over the compact group using Haar measure to obtain a unitary representation. On the maximal torus $\mathrm{diag}(z,z^{-1})$, the commuting unitary operators admit a simultaneous eigenbasis. Each eigenline carries a circle character of a representation $z^n$ by part (a). Hencewith finitely many nonzero coefficients. Every element of special unitary group is conjugate to an element of this torus, so this describes the full character of a representation via its torus restriction. Here the coefficient notation includes zero multiplicities.

Choose a null four-momentum with $E>0$ and orient the third axis so that $2{\sigma }^{\mu }{p}_{\mu }=\mathrm{diag}(4E,0)$. The Super-Poincaré algebra givesFor every state $|v⟩$ in a unitary representation, the second anticommutator is the sum $\Vert Q_2^{A}v{\Vert }^2+\Vert (Q_2^A{)}^{†}v{\Vert }^2$. Thus both operators act trivially. A central charge in supersymmetry also vanishes in this massless supermultiplet: its mixed-spinor anticommutator contains the now-trivial $Q_2$. The remaining $\mathcal{N}$ pairs, normalized by $2\sqrt{E}$, satisfy the canonical anticommutation relationsLabel a Clifford vacuum by its highest helicity $\lambda$ and choose the lowering convention $[J_3,a_A^{†}]=-a_A^{†}/2$. Acting with distinct fermionic creation operators produces the fermionic Fock spaceThis proves the helicity spectrum of a massless supermultiplet and the $2^{\mathcal{N}}$ state count. If the internal charges or helicities do not already make the spectrum invariant under the CPT theorem, add its conjugate using the CPT completion of a supermultiplet.

The spin bound for massless supermultiplets follows directly from the width $\mathcal{N}/2$ of this helicity interval. Requiring $|h|\le 1$ gives $\mathcal{N}\le 4$, achieved by the four-dimensional N=4 super Yang-Mills theory vector multiplet with multiplicities $1,4,6,4,1$ at helicities $1,1/2,0,-1/2,-1$. These helicity bounds are necessary spin restrictions for the usual interacting renormalizable quantum field theory; they do not by themselves establish renormalizability for an arbitrary action. Requiring $|h|\le 2$ gives $\mathcal{N}\le 8$. The four-dimensional N=8 supergravity supergravity multiplet attains this bound with highest helicity $2$ and multiplicities $1,8,28,56,70,56,28,8,1$. There is one $+2$ state and one $-2$ state, the two polarizations of a single graviton.

The stronger restriction relevant to matter is the chirality constraint on extended supersymmetry. An $\mathcal{N}=1$ chiral superfield can contain a left-handed Weyl spinor in a complex gauge group representation $R$. By contrast, a full $\mathcal{N}=2$ hypermultiplet consists of $\mathcal{N}=1$ matter in $R\oplus \overline{R}$, and the gauginos of a vector multiplet are in the real adjoint group representation. Higher unbroken extended supersymmetry retains this pairing. A pseudoreal representation may allow a half-hypermultiplet, but it does not yield net chirality in a genuinely complex gauge group representation. Consequently the chiral gauge spectrum of the Standard Model permits at most unbroken $\mathcal{N}=1$ supersymmetry in its four-dimensional low-energy matter sector.

Use the Young–Jucys–Murphy elements in the group algebra $\mathbb{C}{S}_n$. Their joint spectrum isEquivalently one can use the regular representation, which contains every irreducible representation. The commuting elements are self-adjoint in a unitary representation, so there is a simultaneous eigenbasis.

A standard Young tableau has entries increasing along each row and down each column. If entry $r$ occupies cell $(i_r,j_r)$, its Content of a Young-diagram cell is $c_T(r)=j_r-i_r$. Define the set of content vectors of standard Young tableaux byThe shape here is a partition of an integer; it is not itself the vector of eigenvalues. For $n=1$ both sets consist of $(0)$.

Put $m=n-k$ and take the subgroup $S_m\times S_k$ permuting the first $m$ and last $k$ letters. Define the skew representation of a symmetric group as the multiplicity spaceThe last-letter copy of $S_k$ commutes with $S_m$, so it acts on a map $f$ by $g\cdot f={\rho }_{\lambda }(g)\circ f$. This gives a genuine $\mathbb{C}{S}_k$-module, without claiming that the whole restricted module is itself the skew representation. Equivalently,

Fix a prefix tableau of shape $\mu$ and complete it to shape $\lambda$. Iterated restriction branching rule for a symmetric group identifies the multiplicity-space orthonormal basis with standard skew Young tableaux, using labels $1,\dots ,k$ for the last $k$ cells. The Young orthogonal form restricts to this basis. When $R=s_{i}T$ is standard and $d=c_T(i+1)-c_T(i)$,An admissible interchange has $|d|\ge 2$, so its off-diagonal coefficient is nonzero. Consequently $w_R$ belongs to the group algebra span of $w_T$. The preceding reduced-path argument reaches every standard skew tableau, so this span is the whole module. Every $w_T$ is a cyclic vector for a group representation. The inherited invariant inner product makes this a unitary representation.

Let $P$ be the averaging linear mapFor a unitary representation of a finite group, $P$ is the orthogonal projection onto the invariant subspace $V^G$, and $P\rho (h)=\rho (h)P=P$. Applying this to $\rho (g)v=\lambda v$ gives $Pv=\lambda Pv$. Since $\lambda \ne 1$, $Pv=0$. The vector $v$ is a cyclic vector for a group representation, so its translates span $V$, and every translate also has projection zero. Thus $P=0$ andThis is the cyclic eigenvector obstruction to invariant vectors. Unitarity also gives a direct proof by pairing $v$ with an invariant vector and then pairing every translate; the averaging proof makes the role of cyclicity especially transparent.

Use anti-Hermitian representation matrices for the unitary representation, so $R(X{)}^{†}=-R(X)$. Absorb the gauge coupling into the connection, consistently with the transformation law in the PDF. The appropriate gauge covariant derivative isThis has a plus sign because the inhomogeneous part of the connection transformation is $-ϵ{\partial }_{\mu }X$. Its variation isThus gauge covariance of a scalar covariant derivative givesThe cancellation uses that $R$ is a Lie algebra representation, including its commutator identity.

The gauge field strength isIt is the curvature appearing in $[D_{\mu },D_{\nu }]\varphi =R(F_{\mu \nu })\varphi$. The index positions in the PDF are related by the constant Minkowski metric; lowering the index in its transformation law gives the convention used here.

Take signature $(+,-,-,-)$, let $B$ be a real symmetric gauge-invariant internal form, and let $⟨\cdot ,\cdot {⟩}_V$ be the positive Hermitian form preserved by the unitary matter representation. One consistent Lorentz transformation scalar Lagrangian density isHere $g_{\mathrm{YM}}>0$, $m^2\ge 0$, and $\lambda \ge 0$ give a simple stable potential. The coupling is in the kinetic normalization because it was absorbed into $A_{\mu }$; it is not inserted again into $D_{\mu }$. Taking a zero or another gauge-invariant potential is also possible. A positive nondegenerate $B$ gives the usual physical gauge kinetic energy, as for a compact gauge algebra. More generally the invariance calculation below applies to any symmetric invariant bilinear form on a Lie algebra, including the Killing form.

Under the infinitesimal gauge-field transformation law,Invariance and symmetry of $B$ give the cancellation. For matter, both $\varphi$ and $D_{\mu }\varphi$ transform by $R(X)$, so anti-Hermiticity givesfor either pairing used in the Lagrangian. Its potential is a function of the invariant scalar norm. Therefore $\boxed{{\delta }_X\mathcal{L}=0}$, establishing gauge invariance of this Yang-Mills theory coupled to a scalar. Contraction of spacetime indices with the Minkowski metric gives Lorentz invariance.

For the Adjoint representation, define the Lie algebra structure constants byInternal superscripts here are basis labels, as in the paper; spacetime indices alone are raised with the Minkowski metric. The adjoint covariant derivative and curvature have componentsThese formulas involve no extra factor of $i$, because the generators use the Lie-algebra convention rather than Hermitian physics generators.

To make the Killing-form sign explicit, write $B=s\kappa$ and $⟨\varphi ,\psi {⟩}_V=s{\kappa }^{ab}({\varphi }^a{)}^{\ast }{\psi }^b$. The literal contraction requested in the paper corresponds to $s=1$. For a compact real form of a complex semisimple gauge algebra, its actual positive inner product has $s=-1$, since the Killing form is negative definite. With a complex adjoint scalar, the fully expanded Killing-form Lagrangian for an adjoint scalar isAll repeated internal labels are summed; $s^2=1$ explains the absence of $s$ from the quartic term. Invariance is equivalently the component identity $f^{ca}{}_d{\kappa }^{db}+f^{cb}{}_d{\kappa }^{ad}=0$. For a real adjoint scalar, omit complex conjugation and insert $1/2$ in the scalar kinetic and quadratic mass terms; the same invariance proof applies.

The PDF's identification of the Killing form with an inner product thus requires a sign convention. It also requires nondegeneracy if it is to give ordinary kinetic terms: on an Abelian gauge factor the Killing form vanishes, so an additional invariant metric is needed there. These qualifications do not alter the covariance identities or the formal gauge invariance of the displayed Killing-form contractions.

Work in four-dimensional Minkowski spacetime, with ${\bar{Q}}_{\dot{\alpha }A}=(Q_{\alpha }^A{)}^{†}$ in a unitary representation. The usual Super-Poincaré algebra has the Poincare algebra and possible internal Lorentz scalars as its even generators, and only the stated Weyl spinors as its odd generators. This closure assumption is essential: Lorentz covariance alone would also permit additional tensor-valued generators. It is the setting selected by the Haag–Łopuszański–Sohnius theorem for ordinary interacting relativistic theories.

The Spinor representation of the Lorentz group givesHere ${\sigma }^{\mu \nu }$ denotes the Lorentz algebra matrices in the convention of the paper. Moving $M^{\mu \nu }$ to the left changes the sign; definitions using Hermitian Lorentz algebra generators may also put an explicit $i$ into these matrices. The conjugate relation acts on the dotted Weyl spinor indices.

The tensor product of group representationsis a Lorentz four-vector. The only such even generator is $P_{\mu }$, so the mixed anticommutator must beApplying Hermitian conjugation makes $H$ a Hermitian matrix. Positivity of $\{S,S^{†}\}$ for every linear combination $S$ of supercharges makes $H$ a positive semidefinite matrix on a positive-energy physical superalgebra representation. Remove any null supercharges, which act trivially, and use a unitary diagonalization of a normal matrix followed by rescaling to obtain $H^A{}_B=2{\delta }^A{}_B$. Thus $\mathcal{N}$ counts the independent nontrivial supercharges.

For equal chirality, the tensor product of group representations isConsequently the tentative equal-chirality anticommutator can contain ${ϵ}_{\alpha \beta }{Z}^{AB}$ and a symmetric spinor tensor $T_{\alpha \beta }^{\mu \nu }{M}_{\mu \nu }{Y}^{AB}$, where $T$ is the intertwining operator for Lorentz covariance onto $(1,0)$. Symmetry of the anticommutator under $(A,\alpha )\leftrightarrow (B,\beta )$ forces $Z^{AB}=-Z^{BA}$ and $Y^{AB}=Y^{BA}$. At this stage $Z^{AB}$ is an internal Lorentz scalar, hence commutes with $P_{\mu }$; its full centrality will follow below.

To determine the commutator with translations, Lorentz covariance and the absence of additional odd generators leave onlyand the relation obtained by Hermitian conjugation. The graded Jacobi identity for $(P_{\mu },P_{\nu },Q)$, using $[P_{\mu },P_{\nu }]=0$, giveswhere $\overline{C}$ means entrywise complex conjugation. This equation alone would not imply $C=0$. Contract the graded Jacobi identitywith ${ϵ}^{\alpha \beta }$. The $M$ term drops out because its spinor tensor is symmetric, and $[P_{\mu },Z^{AB}]=0$ makes the remaining left side vanish. Substitution of the mixed anticommutator makes the right side a nonzero numerical multiple of $(C^{AB}-C^{BA})P_{\mu }$. Thus $C=C^T$. It follows that $\overline{C}=C^{†}$ and $C{C}^{†}=0$, whence $C=0$. Applying Hermitian conjugation proves the same assertion for $\bar{Q}$:Returning to the uncontracted graded Jacobi identity now gives $[P_{\mu },\{Q_{\alpha }^A,Q_{\beta }^B\}]=0$. Since the Lorentz algebra generators do not commute with translations, the tentative $M$ term must have $Y^{AB}=0$. HenceIn particular $Z^{11}=0$ for $\mathcal{N}=1$. The dotted-dotted anticommutator follows by Hermitian conjugation applied to the second relation.

The graded Jacobi identity for $(Q^A,Q^B,{\bar{Q}}_C)$, together with $[P,Q]=0$, gives $[Z^{AB},{\bar{Q}}_C]=0$. As a Lorentz scalar, $Z^{AB}$ commutes with $M_{\mu \nu }$, and it already commutes with $P_{\mu }$. Closure and Lorentz covariance make $[Z^{AB},Q_{\alpha }^C]=D^{AB,C}{}_D{Q}_{\alpha }^D$ for some coefficients. Apply the graded Jacobi identity once more:Thus $D=0$. Since every $Z$ and $Z^{†}$ is itself an anticommutator of supercharges, the $Z$'s also commute with each other and their conjugates. Therefore $Z^{AB}$ are central charges in supersymmetry of the displayed algebra. Additional R-symmetry automorphisms are not among the generators specified here.

For boson-fermion degeneracy in a supermultiplet, fix a physical four-momentum $p$ with $p_0=E>0$, and take the finite internal space of states at that four-momentum. Let $\Gamma =(-1{)}^F$ be fermion parity. It anticommutes with each supercharge and its adjoint. For any fixed $A$, summing the diagonal spinor indices givesbecause ${\sigma }^0=1$ and the Pauli matrices are traceless. Cyclicity of the operator trace and $\Gamma Q=-Q\Gamma$ implyThe supertrace of the preceding summed anticommutator therefore vanishes:This counts physical boson and fermion degrees of freedom, including polarizations. The phrase “any representation” needs a qualification: a one-dimensional even supersymmetric vacuum with $P=Q=Z=0$ has one boson and no fermion. Thus the equality applies to positive-energy physical supermultiplets with finite state counts at fixed four-momentum, not to arbitrary abstract superalgebra representations or unregulated infinite-dimensional operator traces.

Use a positive-energy unitary representation with finite helicity states, excluding continuous-spin representations. In the specified frame the Pauli matrices giveFor every $A$ and every state $|\chi ⟩$,Positivity therefore gives $Q_2^A={\bar{Q}}_{\dot{2}A}=0$ on this massless supermultiplet. The equal-chirality anticommutator $\{Q_1^A,Q_2^B\}={ϵ}_{12}{Z}^{AB}$ then shows that every central charge in supersymmetry vanishes on this superalgebra representation.

Normalize the remaining supercharges as fermionic raising and lowering operators:They obey the canonical anticommutation relationsChoose a Clifford vacuum $|\lambda ⟩$ of helicity $\lambda \in \frac{1}{2}\mathbb{Z}$ annihilated by every $a_A$. Such a vector exists because the commuting fermion number operators $a_A^{†}{a}_A$ have eigenvalues $0$ and $1$, and lowering every occupied mode produces a nonzero empty state. In an irreducible representation this empty space has dimension one; multiple empty states produce a direct sum of copies. The states areThe canonical anticommutation relations make these states orthonormal for a normalized Clifford vacuum. In the helicity convention $[J_3,Q_1^A]=\frac{1}{2}{Q}_1^A$, its adjoint has $[J_3,a_A^{†}]=-\frac{1}{2}{a}_A^{†}$. Thus the Clifford vacuum is the highest-helicity state andReversing the rotation convention reverses the displayed ordering and leaves all counts unchanged. The level-$k$ states form the exterior power ${\Lambda }^k{\mathbb{C}}^{\mathcal{N}}$, which explains the binomial coefficient. Summing the binomial coefficients gives the helicity spectrum of a massless supermultiplet:Each application of a fermionic raising and lowering operator reverses fermion parity. The even and odd levels each contain $2^{\mathcal{N}-1}$ states, so a physical massless supermultiplet has $2^{\mathcal{N}-1}$ boson and $2^{\mathcal{N}-1}$ fermion states.

These formulas describe one irreducible representation of the massless Super-Poincaré algebra at fixed four-momentum. A reducible superalgebra representation can contain several such supermultiplets. Also, the CPT theorem sends helicity $h$ to $-h$ and conjugates internal charges. CPT completion of a supermultiplet may therefore require a second $2^{\mathcal{N}}$-state supermultiplet, with highest helicity $\mathcal{N}/2-\lambda$. A necessary condition for the original helicity spectrum of a massless supermultiplet to be self-conjugate is $\lambda =\mathcal{N}/4$; internal charges must also admit the conjugation in a realization compatible with the Spin-statistics theorem. Thus this helicity condition alone is not sufficient for CPT completion of a supermultiplet without doubling. In particular, the original irreducible count is not automatically the count after CPT completion of a supermultiplet.

For the conventional bounds on extended supersymmetry, suppose all massless states satisfy $|h|\le s_{\max }$. The helicity spectrum of a massless supermultiplet occupies an interval of width $\mathcal{N}/2$, whereas the available interval has width $2s_{\max }$. HenceAn ordinary four-dimensional renormalizable quantum field theory without gravity uses interacting massless fields of spin angular momentum at most one. Massless spin angular momentum $3/2$ requires supergravity, whose gravitational coupling has negative mass dimension and is a nonrenormalizable interaction by power counting in quantum field theory. Setting $s_{\max }=1$ gives $\mathcal{N}\le 4$ for conventional renormalizable theories. The bound is attained by four-dimensional N=4 super Yang-Mills theory: choosing $\lambda =1$ givesfor its supersymmetric vector multiplet.

Allowing gravity permits $s_{\max }=2$, so $\mathcal{N}\le 8$ for conventional theories including gravity. The four-dimensional N=8 supergravity supergravity multiplet attains the bound with $\lambda =2$:It has $256$ states, $128$ boson and $128$ fermion states. The conventional claim about a maximum “in general” assumes local interacting four-dimensional theories in Minkowski spacetime with a finite spectrum of fields and no massless spin angular momentum above two. It is not a theorem excluding arbitrary free higher-spin angular momentum constructions or all theories in other spacetime settings.

Finally, a chiral gauge spectrum means that the independent left-handed Weyl spinors occur in complex gauge group representations without obligatorily paired conjugate left-handed Weyl spinors. In four-dimensional N=1 supersymmetry, an irreducible matter supermultiplet with helicities $(0,-\frac{1}{2})$ can carry a complex gauge group representation $R$. Its CPT completion of a supermultiplet supplies the right-handed antiparticle in $\bar{R}$, as every left-handed Weyl spinor requires; it does not supply a second independent left-handed Weyl spinor in $\bar{R}$. Consequently a chiral gauge spectrum is possible.

For $\mathcal{N}=2$, the matter hypermultiplet has helicities $(\frac{1}{2},0,0,-\frac{1}{2})$ before internal charge conjugation. If it carries a complex gauge group representation $R$, its CPT completion of a supermultiplet adds the conjugate hypermultiplet. Equivalently, the resulting full hypermultiplet contains two $\mathcal{N}=1$ chiral superfields, one in $R$ and one in $\bar{R}$. These give a vectorlike gauge spectrum. Half-hypermultiplets can occur in pseudoreal representations, which also do not produce genuinely complex chiral gauge spectra. A supersymmetric vector multiplet has Adjoint representation, hence real gauge quantum numbers. Since every $\mathcal{N}\ge 2$ algebra contains an $\mathcal{N}=2$ subalgebra, the same obstruction applies to greater extended supersymmetry.

Therefore a conventional chiral gauge spectrum is possible only for $\mathcal{N}=0$ or $\mathcal{N}=1$. Here $\mathcal{N}=0$ means no supersymmetry; among theories with actual supersymmetry, only $\mathcal{N}=1$ qualifies. These are necessary structural conditions, not a guarantee that a chosen chiral gauge spectrum satisfies anomaly cancellation.

Let $G$ be a simple Lie group, let $T^a$ be Hermitian matrices for a finite-dimensional unitary representation $R$, and normalizeA matter field $\psi$ transforms locally as ${\psi }^{\prime }(x)=U(x)\psi (x)$, where $U(x)=e^{ig{ϵ}^a(x)T^a}$. An ordinary derivative of $\psi$ does not transform covariantly because it differentiates $U$. Introduce a gauge field $A_{\mu }=A_{\mu }^a{T}^a$ and the gauge covariant derivativeDemanding $D_{\mu }^{\prime }{\psi }^{\prime }=U{D}_{\mu }\psi$ determines the Yang-Mills gauge transformationTo first order in $ϵ$,

The gauge field strength is defined by $[D_{\mu },D_{\nu }]=-ig{F}_{\mu \nu }$:or, in components,Covariance of the commutator givesThe commutator term distinguishes Yang-Mills theory from an Abelian gauge theory and produces cubic and quartic gauge-boson interactions.

For a Dirac field of mass $m$ in $R$, the Lagrangian isEquivalently, the gauge term is proportional to $-\mathrm{tr}(F_{\mu \nu }{F}^{\mu \nu })$. The cyclic property of the trace and $F_{\mu \nu }^{\prime }=U{F}_{\mu \nu }{U}^{-1}$ make it invariant. Unitarity gives ${\bar{\psi }}^{\prime }=\bar{\psi }{U}^{-1}$, while $D_{\mu }^{\prime }{\psi }^{\prime }=U{D}_{\mu }\psi$, so both the matter kinetic term and mass term are invariant. A complex scalar $\varphi$ in a unitary representation may instead be coupled throughprovided the scalar potential $V$ is $G$-invariant.

The simplicity assumption means that the Lie algebra $\mathfrak{g}$ is nonabelian and has no proper nonzero ideal of a Lie algebra. Its Adjoint representation is therefore irreducible, and every invariant symmetric bilinear form is proportional to the Killing form. Consequently the pure gauge kinetic term has one overall gauge coupling for a simple factor. The theory has no independent Abelian gauge direction; if the gauge algebra were a direct sum of simple and Abelian ideals, each factor could instead carry its own coupling. A simple group may still have a discrete center, but this does not add a gauge boson because gauge bosons are indexed by the Lie algebra.

Schur lemma says that an intertwining linear map between irreducible finite-dimensional complex representations is either zero or an isomorphism. In particular, every endomorphism of an irreducible complex representation is a scalar multiple of the identity.

A continuous representation of a topological group is a continuous homomorphismfor a finite-dimensional complex vector space $V$. It is a unitary representation if $V$ has a positive-definite Hermitian inner product for whichfor every $g\in G$ and $v,w\in V$.

For $G=S^1$, start with any positive-definite Hermitian form and average it using normalized Haar measure:Translation invariance makes this form $S^1$-invariant, and positivity is preserved, proving unitarity. Since $S^1$ is abelian, the operators $\rho (z)$ commute; since they are unitary, they are normal. Simultaneous diagonalization therefore decomposes $V$ into common one-dimensional eigenspaces. Thus every representation of the circle group is a direct sum of one-dimensional representations.

WriteThe group law and inverse areA calculation givesEvery element of the centre $Z$ occurs by taking, for example, $x^{\prime }=y=0$ and $y^{\prime }=1$. Hence the commutator subgroup is exactly $Z$. The image of a one-dimensional representation is abelian, so the one-dimensional representation kills the commutator subgroup and its kernel contains $Z$.

Now let $(\rho ,V)$ be a complex representation of $G/Z_0$. Its restriction to the central subgroupis a representation of the circle group. Decompose it into its distinct weight spaces:Because $Z/Z_0$ is central, every $\rho (g)$ commutes with its action and preserves every common eigenspace. Thus the $V_i$ are $G/Z_0$-subrepresentations, as asserted by the central circle weight-space decomposition.