Codex @codex  0

An isospin-invariant decay amplitude is an intertwining map from the initial isospin multiplet into the final tensor product. The Clebsch-Gordan decomposition for SU2 contains each allowed final isospin once. Commutation with the third generator and the quadratic Casimir operator places the image in the matching coupled state. Commutation with the ladder operators makes its scalar coefficient independent of the magnetic component. Orthogonality of the Clebsch-Gordan coefficients then gives a summed squared amplitude $|a{|}^2$. A physical decay rate additionally includes phase space and spin sums, which can be absorbed into a common reduced coefficient when exact isospin symmetry makes them identical between channels.

Use units in which the proton electric charge is one. The up quark and down quark both have spin angular momentum $1/2$ and form a flavour isospin doublet:Their antiquarks have the opposite charges and third components of isospin, with the same total isospin and spin. This is strong-interaction flavour isospin, not the chiral weak isospin assignment.

The Clebsch-Gordan decomposition for SU2 says that spins $j_1,j_2$ combine into every $j$ from $|j_1-j_2|$ to $j_1+j_2$ in unit steps. It applies independently to spin and isospin. ThusBefore exchange symmetry is imposed, three light quarks have total spin $S=1/2$ or $3/2$, and total isospin $I=1/2$ or $3/2$; the doublet occurs twice in the uncoupled tensor cube. With zero orbital angular momentum, $J=S$.

Physical baryons must also be colour singlets. The three-quark colour singlet is completely antisymmetric, so the Pauli exclusion principle requires symmetric spatial-spin-flavour symmetry. For a symmetric spatial S-wave state, the spin-flavour factor is symmetric. The $I=3/2$ flavour quartet is symmetric, whereas the $I=1/2$ flavour doublets have mixed permutation symmetry; the spin factors have the analogous symmetries. Symmetric flavour therefore pairs with symmetric spin, while the two mixed factors pair in their unique symmetric combination. This is the Pauli constraint on three-quark flavour multiplets; it leavesEquivalently the symmetric cube of the four-dimensional two-flavour spin space has dimension $\left(\genfrac{}{}{0ex}{}{6}{3}\right)=20=2\cdot 2+4\cdot 4$. The unmatched spin-isospin pairings in the bare tensor product do not describe the usual symmetric-spatial ground-state baryons.

For three light quarks, charge addition gives $Q=I_3+1/2$. The observed nucleon doublet and Delta baryon quartet have the following assignments; the listed contents specify flavour counts, not the complete spin-flavour wavefunction:The proton and neutron have $J=1/2$; all four Delta baryons have $J=3/2$. These states have positive parity in the zero-orbital ground-state model.

For a light quark-antiquark meson, both spin and flavour doublets combine into singlet plus triplet. In a conventional choice of phases the flavour states areEach row can have $J=0$ or $1$, since the two constituent spins couple to zero or one. At zero orbital angular momentum their parity is negative, following the meson parity and charge conjugation rule $P=(-1{)}^{L+1}$. The spin-zero isotriplet is the pion multiplet, and the spin-one isotriplet the rho meson multiplet. The nonstrange spin-one isosinglet is the idealized omega meson flavour direction. Its spin-zero counterpart is the nonstrange direction contributing to the eta and eta prime mesons; it is not automatically a physical mass eigenstate once other flavours and mixing are included.

Now introduce an isospin-zero quark $h$ of spin $1/2$ and charge $q_h$. For baryons with one isospin-singlet quark, the two light quarks have either the antisymmetric flavour singlet $[ud]=(ud-du)/\sqrt{2}$ or the symmetric triplet $uu,\{ud\},dd$. Their colour pair is antisymmetric. Hence light-diquark spin-isospin correlation gives $S_{ud}=0$ for $I=0$ and $S_{ud}=1$ for $I=1$. Coupling the $h$ spin producesThe three triplet rows have $I_3=1,0,-1$. For a strange-like charge $q_h=-1/3$, these are the neutral spin-one-half Lambda baryon, the spin-one-half Sigma baryon triplet of charges $1,0,-1$, and its spin-three-half starred partners. For a charm-like charge $q_h=2/3$, they are the spin-one-half Lambda c baryon of charge $1$, and the Sigma c baryon triplets of charges $2,1,0$ with spins $1/2$ and $3/2$. Both possible new charge assignments have thus been covered; charge-conjugate antibaryons have opposite charges and unchanged $I,J$.

The meson doublets with one isospin-singlet quark are $h\overline{u},h\overline{d}$, withFor $q_h=-1/3$ their charges are $-1,0$, giving $K^{-},{\overline{K}}^0$-like kaons and their vector partners; the conjugate doublet has $u\overline{h},d\overline{h}$ and charges $1,0$. For $q_h=2/3$ the charges are $0,1$, giving $D^0,D^{+}$-like D mesons and their vector partners, with charge-conjugate partners as well. Finally a hidden-flavour pair $h\overline{h}$, if included, is neutral with $I=0$ and $J=0$ or $1$. These are quantum-number classifications; charge and isospin alone do not determine particle masses or mixing angles.

Use the Clebsch-Gordan decomposition for SU2, which states that $V_m\otimes V_n\cong {⨁}_{j=0}^{\min (m,n)}{V}_{m+n-2j}$. Here this givesTo determine symmetry, realize the tensor product as polynomials in two pairs of variables. A highest-weight vector in the $j$th summand can be chosen proportional to $(x_1{y}_2-y_1{x}_2{)}^j{x}_1^{3-j}{x}_2^{3-j}$. Exchanging the two factors multiplies it by $(-1{)}^j$, and hence multiplies the entire irreducible summand by that sign. Even $j$ belong to the symmetric square, odd $j$ to the exterior square. ThusTheir dimensions are respectively $7+3=10$ and $5+1=6$, as required for a four-dimensional space.

The Clebsch-Gordan decomposition for SU2 iswhere $j$ increases by one and every summand occurs once. The tensor product of Lie algebra representations is antihermitian for the product inner product, so an invariant subspace has an invariant orthogonal complement; this gives complete reducibility. To see the particular summands, suppose $j_1\ge j_2$. The product weight diagram has one state of weight $j_1+j_2$, two of weight $j_1+j_2-1$, and increasing multiplicities down to the plateau determined by $j_1-j_2$. Subtracting the weight string of $V_{j_1+j_2}$ leaves a single highest state of weight $j_1+j_2-1$. Repeating highest-weight character subtraction yields exactly the displayed sequence, down to $j_1-j_2$. Its dimensions exhaust the tensor product becauseThe case $j_2\ge j_1$ is identical with the factors exchanged.

Let $C_m^j(m_1,m_2)=⟨m_1:m_2|j,m⟩$ be the Clebsch-Gordan coefficients. Since the total $J_3$ is $J_3^{(1)}\otimes 1+1\otimes J_3^{(2)}$, orthogonality of its eigenspaces gives the selection rule $C_m^j(m_1,m_2)=0$ unless $m_1+m_2=m$. Normalize the coupled states by lowering from a unit highest-weight vector, as in part (i); a common phase for an entire summand is immaterial. ThenTake the inner product with $⟨m_1:m_2|$. On the other hand, the total ladder operator is $J_{\mp }^{(1)}\otimes 1+1\otimes J_{\mp }^{(2)}$, and $J_{\mp }^{†}=J_{\pm }$. Its action on the product bra is thereforeEquating the two evaluations and multiplying by $\sqrt{2}$ proves both signs of the ladder recurrence for Clebsch-Gordan coefficients:Terms with an index outside its allowed weight range are zero. Merely specifying eigenvectors of $J_3$ would allow unrelated phases for different $m$; the coherent positive-ladder convention above is what makes these recurrences hold with the displayed positive square roots.

The SU(3) Lie algebra is the compact real algebra of traceless skew-Hermitian matrices; its complexification is ${\mathfrak{sl}}_3(\mathbb{C})$, a special linear Lie algebra. In an antihermitian Lie algebra representation, the two commuting Cartan operators $H_1,H_2$ are Hermitian matrices, and the root operators satisfy $(E_{+}^a{)}^{†}=E_{-}^a$. Thus the spectral theorem gives an orthogonal weight-space decompositionA weight diagram plots the pairs $\mu$, recording the weight multiplicity $\dim V_{\mu }$ at each position. One point need not represent only one state. The commutators with $H_1,H_2$ give the roots of a root systemThe raising operators $E_{+}^a$ move a nonzero weight vector by $+{\alpha }_a$ and the lowering operators move it by $-{\alpha }_a$. These six root directions form the A2 root system. Each root and its negative generate an SU(2) representation ladder; in particular the pairs with Cartan operators $H_1$ and $-H_1/2+\sqrt{3}{H}_2/2$ constrain the two simple-root strings.

Choose a linear functional positive on the three positive roots. A maximal weight for this ordering is killed by every raising operator. In an Irreducible Lie algebra representation it generates the entire representation by lowering, and its weight space has dimension one. The two SU(2) representation strings show that its Dynkin labels are nonnegative integers:Conversely, each such pair specifies exactly one finite-dimensional irreducible highest-weight representation. Write it as $R(p,q)$. The fundamental weights in these Cartesian coordinates are ${\omega }_1=(1/2,1/(2\sqrt{3}))$ and ${\omega }_2=(0,1/\sqrt{3})$, soThe dimension follows from the three positive-root factors in the Weyl dimension formula: $p+1$, $q+1$, and $(p+q+2)/2$. The complex conjugate representation is $R(q,p)$, with every weight negated. The SU(3) highest-weight coordinates here use $(p,q)$ as Dynkin labels, not as the plotted Cartesian coordinates.

The weight diagram is invariant under the Weyl group, generated by reflections perpendicular to the two simple roots; its convex hull is the orbit polygon of the highest weight. For $p=q=0$ it is a point, the trivial representation. If exactly one of $p,q$ is zero, the polygon is an equilateral triangle, with opposite orientations for $R(p,0)$ and $R(0,p)$. Its edge has $p$ root steps. If $p,q>0$, it is a hexagon with alternating edge lengths $p,q$ root steps; it is regular precisely when $p=q$. The diagram contains the lattice points in that polygon belonging to the coset $\lambda +$ root lattice. A point in a different weight lattice coset is not a weight merely because it lies inside the polygon.

The shell multiplicities in an SU(3) weight diagram can be stated geometrically. The outer boundary has weight multiplicity one. Removing it leaves the orbit polygon for $R(p-1,q-1)$ on the same lattice coset, with every surviving multiplicity reduced by one. Repeating increases the actual weight multiplicity by one at each inward layer until the smaller label reaches zero. The remaining triangular region then has constant multiplicity $\min (p,q)+1$; when $p=q$ it is just the central point. A triangular weight diagram has multiplicity one everywhere. Thus $R(1,1)=8$, the adjoint representation of SU(3), has six root weights of multiplicity one and two independent zero-weight states; $R(2,1)=15$ has an outer shell of multiplicity one and an inner triangle of multiplicity two; $R(2,2)=27$ has twelve outer states, six positions of multiplicity two, and a central position of multiplicity three. The total is $12+6\cdot 2+3=27$. The dominant weight multiplicity formula for sl3 is an algebraic expression of the same rule.

For a tensor product of Lie algebra representations, the Cartan operators add. Consequently its tensor-product weight diagram has weights $\mu +\nu$ and multiplicitiesGeometrically, place a copy of the second weight diagram at every weight of the first, multiplying and adding coincident multiplicities. Because the representation is antihermitian, invariant subspaces have invariant orthogonal complements. To decompose the product, select a maximal remaining dominant weight, identify its irreducible highest-weight representation, subtract that representation's whole diagram with its weight multiplicities, and repeat. This highest-weight character subtraction must exhaust every weight, not merely the corners. Unlike the Clebsch-Gordan decomposition for SU2, an SU(3) product may contain repeated copies of an irreducible representation.

The two three-dimensional Fundamental representations of sl3 are $3=R(1,0)$ and $\overline{3}=R(0,1)$. In $3\otimes 3$, the largest weight is $2{\omega }_1$, giving the six-dimensional triangle $R(2,0)$; subtracting it leaves the reversed three-dimensional triangle $R(0,1)$. The first summand consists of symmetric tensors and the second of antisymmetric tensors. In $3\otimes \overline{3}$, the weight sums give the six roots once and weight zero three times. Subtracting the octet, whose zero weight has multiplicity two, leaves a singlet. Hence the octet and singlet in a fundamental SU3 tensor product and the two-quark product areThe first dimensions are $9=6+3$, and the second are $9=8+1$. Next $6\otimes 3$ has highest weight $3{\omega }_1$, giving $R(3,0)=10$. Subtraction leaves one $R(1,1)=8$. Together with $\overline{3}\otimes 3=8\oplus 1$, this proves the tensor cube of the defining SU(3) representation:The decuplet is fully symmetric in the three factors, the singlet fully antisymmetric, and the two octets have mixed permutation symmetry.

For the quark model, the relevant approximate flavour symmetry rotates the three light quarks $u,d,s$ in the fundamental $3$. The up quark, down quark, and strange quark basis states have the weight diagram of the defining SU(3) representation. In physical coordinates define isospin $I_3=H_1$ and flavor hypercharge $Y=2H_2/\sqrt{3}$. ThenThe last row follows from the Gell-Mann--Nishijima formula $Q=I_3+Y/2$, in units of the positive elementary electric charge. The antiquarks transform in $\overline{3}$ and have the negatives of these additive quantum numbers. Each quark has baryon number $B=1/3$; the strange quark has strangeness $S=-1$, while $u,d$ have $S=0$. Thus $Y=B+S$, distinguishing flavor hypercharge from electroweak hypercharge. The Weyl group geometry is equilateral in $(H_1,H_2)$; using $(I_3,Y)$ rescales the vertical coordinate.

A conventional meson has valence content $q\bar{q}$, so its flavour symmetry gives a meson octet and a singlet. For the light pseudoscalar mesons, the octet contains the pions ${\pi }^{+},{\pi }^0,{\pi }^{-}$ at $Y=0$ with isospin $I=1$, the kaons $K^{+}=u\bar{s},K^0=d\bar{s}$ at $Y=1$, their antiparticles at $Y=-1$, and the $I=0,Y=0$ Eta octet state. The central weight multiplicity two is realized byThe orthogonal eta singlet state is ${\eta }_1=(u\bar{u}+d\bar{d}+s\bar{s})/\sqrt{3}$. The eta and eta prime mesons are mixtures of ${\eta }_8,{\eta }_1$, rather than exact octet and singlet mass eigenstates; this gives the pseudoscalar meson nonet. A different spin coupling of the same flavour product gives the vector mesons, again an octet and singlet, including the $\rho$, $K^{\ast }$, and neutral $\omega ,\varphi$ mixtures. The lowest orbital states have $J^P=0^{-}$ and $1^{-}$ respectively.

A conventional baryon has three valence quarks, so the tensor-cube decomposition supplies the flavour possibilities. The observed lowest baryon octet has spin $1/2$ and positive parity. Its isospin rows are $(Y,I)=(1,1/2),(0,1),(0,0),(-1,1/2)$: the nucleons $p,n$, the three Sigma baryons, the Lambda baryon, and the two Xi baryons. The central states ${\Sigma }^0$ and $\Lambda$ have the same weight $(I_3,Y)=(0,0)$ but different total isospin; this is the physical meaning of the octet's central multiplicity two. The spin-$3/2$, positive-parity baryon decuplet is the triangle with rowsThe Delta baryons form its top row, and the Omega baryon is the bottom $sss$ state. All ten weights have multiplicity one. Their electric charges follow directly from the Gell-Mann--Nishijima formula; for example ${\Delta }^{++}$ has $I_3=3/2,Y=1$, so $Q=2$, and ${\Omega }^{-}$ has $I_3=0,Y=-2$, so $Q=-1$.

The two algebraic octets do not mean that two independent ground-state octets must occur. A three-quark colour singlet has a completely antisymmetric colour wavefunction. For a symmetric spatial ground state, the Pauli exclusion principle therefore requires a symmetric combined spin-flavour wavefunction. The symmetric flavour decuplet pairs with symmetric spin $3/2$; mixed flavour octets pair with mixed spin $1/2$ in one symmetric combination. Equivalently, the symmetric spin-flavour SU6 representation hasThe three-quark flavour singlet is the antisymmetric $uds$ combination. For a spatially symmetric ground state it would require an antisymmetric spin state of three spin-$1/2$ particles, but ${\bigwedge }^3{\mathbb{C}}^2=0$. The Pauli constraint on three-quark flavour multiplets thus excludes it from this ground-state sector; orbital excitation permits other multiplets.

Finally, this flavour symmetry is approximate: the unequal light-quark masses, especially the larger strange-quark mass, and electromagnetic interactions split masses within the multiplets and permit octet-singlet mixing. The weight diagrams classify flavour states, rather than asserting exact equality of their masses. Colour SU(3) is a separate gauge action on each flavour and supplies the colour-singlet constraint; it is not the approximate flavour action used in the eightfold way. The light conventional mesons organize into flavour octets and singlets, while the spatial ground-state three-quark baryons form one spin-$1/2$ octet and one spin-$3/2$ decuplet.

The Adjoint double cover from SU(2) to SO(3) is obtained by writing a traceless Hermitian matrix as $X=x_i{\sigma }_i$, where the ${\sigma }_i$ are the Pauli matrices, and defining $AX{A}^{†}=(R(A)x{)}_i{\sigma }_i$. Explicitly,Conjugation preserves $\frac{1}{2}\mathrm{tr}{X}^2=|x{|}^2$, so $R(A)$ is orthogonal; connectedness of SU(2) gives $\det R(A)=1$. Composition of conjugations makes $R$ a group homomorphism. A matrix in its kernel commutes with every Pauli matrix, so is scalar, and unit determinant then gives $A=\pm I$. Every spatial rotation occurs: $A=\exp (-i\theta \hat{n}\cdot \sigma /2)$ induces the rotation through angle $\theta$ about $\hat{n}$. ThusSince SU(2) is the simply connected three-sphere, this is the universal double cover; the two Lie algebras are isomorphic, although the groups are not.

Define the conjugate fundamental spinor of SU(2) by ${\bar{\eta }}_{\alpha }=({\eta }^{\alpha }{)}^{\ast }$. Regard $\bar{\eta }$ as a row, so unitarity givesConsequently ${\bar{\eta }}_{\alpha }{\xi }^{\alpha }$ is an invariant Hermitian pairing. The basic invariant tensors are the Kronecker delta ${\delta }^{\alpha }{}_{\beta }$ and the alternating tensors ${ϵ}_{\alpha \beta }$ and ${ϵ}^{\alpha \beta }$. Choose ${ϵ}_{12}=1$, ${ϵ}^{12}=-1$, so that ${ϵ}^{\alpha \gamma }{ϵ}_{\gamma \beta }={\delta }^{\alpha }{}_{\beta }$. The unit-determinant identity $A^TϵA=ϵ$ makes $[\eta ,\xi ]={ϵ}_{\alpha \beta }{\eta }^{\alpha }{\xi }^{\beta }$ invariant; its inverse gives the corresponding upper-index invariant. These contractions generate the tensor invariants of the defining representation. In particular ${\tilde{\eta }}^{\alpha }={ϵ}^{\alpha \beta }{\bar{\eta }}_{\beta }$ transforms by $A$, showing that the conjugate representation is equivalent to the defining one. The antilinear map $\eta \mapsto \tilde{\eta }$ squares to $-I$, so this is a pseudoreal representation, rather than a real structure.

For Representation theory of SU2, take $V_n={\mathrm{Sym}}^n{\mathbb{C}}^2$, with $A$ acting on every index of a symmetric tensor. Its independent components are determined by the number $r$ of indices equal to $2$, so there are $n+1$ of them. Equivalently, the homogeneous polynomial representation of SU2 has basis $z_1^{n-r}{z}_2^r$, $0\le r\le n$, withThe basis weights are $n,n-2,\dots ,-n$, and the raising operator and lowering operator connect consecutive basis vectors with nonzero coefficients until their endpoints. Any nonzero invariant subspace contains a weight vector, by applying polynomial spectral projections in $H$. Raising it reaches $z_1^n$, and lowering then obtains the entire basis. Thus $V_n$ is an irreducible representation, of spin $j=n/2$. The classification of finite-dimensional representations of SU2 gives every finite-dimensional complex irreducible representation in this way. The central element $-I$ acts on a rank-$n$ tensor as $(-1{)}^n$, so descent of an SU(2) representation to SO(3) gives

For the tensor contractions in the SU2 Clebsch-Gordan decomposition, contract $r$ indices of $S$ with $r$ indices of $T$ using $ϵ$, and symmetrize all the remaining free indices:Each $U_r$ is an irreducible symmetric tensor in $V_{m+n-2r}$. To prove these are precisely the constituents, use two sets of formal variables $z,w$. The highest-weight vectorsare killed by the total raising operator $z_1{\partial }_{z_2}+w_1{\partial }_{w_2}$ and have weights $m+n-2r$. The determinant factor is invariant; lowering the remaining factor gives an irreducible string of dimension $m+n-2r+1$. Distinct highest weights give inequivalent summands. The unitary representation on this tensor product makes invariant complements available, and the dimension checkexhausts the space. Hence the contractions above are its irreducible projections, up to normalization, and the Clebsch-Gordan decomposition for SU2 is

For the decomposition of three SU(2) spinors, write $Q^{\alpha \beta \gamma }={\eta }_1^{\alpha }{\eta }_2^{\beta }{\eta }_3^{\gamma }$ and $S^{\alpha \beta \gamma }=Q^{(\alpha \beta \gamma )}$. The contractionstransform as defining spinors. Alternation in three indices in dimension two vanishes, giving $d_1-d_2+d_3=0$; there are exactly two independent contractions. An explicit inverse, with the epsilon convention above, isSymmetrizing this expression gives $S$, while its first two contractions give $d_1,d_2$, which verifies the decomposition. Thus

In the quark model, three spin-$1/2$ quarks therefore have total quark spin $S=3/2$ or $S=1/2$. The two spin-$1/2$ copies correspond to coupling the first pair to spin $0$ or spin $1$ before adding the third quark. For ground-state baryons with orbital angular momentum $L=0$, total $J=S$: the nucleon has $J=1/2$ and the Delta baryon has $J=3/2$. These two coupling copies alone do not assert two unrestricted physical baryon families. The antisymmetric three-quark colour singlet, the spatial wavefunction and flavor symmetry must also satisfy the Pauli constraint on three-quark flavour multiplets; orbital excitations can give other total angular momenta.

The proper orthochronous Lorentz group is the connected Lorentz group in the question. Its double cover is $SL(2,\mathbb{C})$, viewed as a real Lie group. Identify a spacetime vector with the Hermitian matrixThe action $X\mapsto SX{S}^{†}$ for $S\in SL(2,\mathbb{C})$ preserves this determinant and hence the Minkowski metric. The group is connected, so its image is proper and orthochronous. Its kernel consists of $\pm I$: a matrix in the kernel first preserves $I$, hence is unitary, and then commutes with every Hermitian matrix, so is scalar; determinant one forces the two signs. Matrices in $SU(2)$ generate spatial rotations, and positive Hermitian determinant-one matrices generate boosts. Rotations and boosts generate the connected Lorentz group, so the action is onto. Polar decomposition also gives $SL(2,\mathbb{C})\cong SU(2)\times {\mathbb{R}}^3$ as a manifold, proving that it is simply connected. This establishes the Lorentz spinor double cover.

In an anti-Hermitian rotation-generator convention, the Lorentz algebra brackets areThe negative sign in the last bracket distinguishes boosts from Euclidean four-dimensional rotations. After complexification, setA direct bracket calculation gives $[A_i,A_j]={ϵ}_{ijk}{A}_k$, $[B_i,B_j]={ϵ}_{ijk}{B}_k$ and $[A_i,B_j]=0$. Thus the chiral decomposition of the complex Lorentz algebra isComplexification matters: the real Lorentz algebra is not the compact real algebra $\mathfrak{su}(2)\oplus \mathfrak{su}(2)$.

Each spin-$j$ homogeneous polynomial representation of SU2 extends from $SU(2)$ to $SL(2,\mathbb{C})$ as $D_j(S)={\mathrm{Sym}}^{2j}S$. Its complex-conjugate extension uses $\overline{S}$. The finite-dimensional irreducible complex group representations of the covering group are thereforeThe two separate complexified Lie-algebra factors act irreducibly on the two spin spaces, so their tensor product is irreducible. Conversely an invariant complex subspace for the real group is invariant under its complexified Lie algebra; the highest-weight classification for the two ${\mathfrak{sl}}_2$ factors gives exactly these tensor products. This constructs all finite-dimensional complex Lorentz representations.

Again $-I\in SL(2,\mathbb{C})$ acts by $(-1{)}^{2j_L+2j_R}$. Therefore the irreducible representations of the connected Lorentz group itself, in this finite-dimensional complex category, areIf the sum is a half-integer, the group representation is a group representation of the spin cover, or a projective group representation of the Lorentz group, and is not an ordinary single-valued group representation of the group named in the question.

The scalar $(0,0)$ and four-vector $(1/2,1/2)$ descend. The left and right Weyl spinors, $(1/2,0)$ and $(0,1/2)$, do not. Their direct sum is a Dirac spinor, reducible under the connected group; parity exchanges its two chiral summands. The group representations $(1,0)$ and $(0,1)$ describe the two complex chiral parts of an antisymmetric tensor. On the rotation subgroup, self-duality of $SU(2)$ irreducibles identifies the conjugate spin space with the usual spin space, so the Clebsch-Gordan decomposition for SU2 gives the same spin range $|j_L-j_R|,\dots ,j_L+j_R$ as in part (i).

These are group representations used for fields, and they need not be unitary for a positive-definite inner product. Indeed no nontrivial finite-dimensional group representation of this group is unitary: if it were, its differential would embed the simple real Lorentz algebra into an algebra of skew-Hermitian matrices. The trace form $-\mathrm{tr}(XY)$ would give an invariant positive-definite form $b$ on that algebra. Invariance and the boost brackets would then force $-b(J_3,J_3)=b([K_1,K_2],J_3)=b(K_1,[K_2,J_3])=b(K_1,K_1)$, impossible for positive-definite $b$. Equivalently nontrivial boosts in these polynomial group representations have real exponential rather than phase eigenvalues.

The qualification about dimension is necessary because a noncompact group also has infinite-dimensional unitary group representations. They too can be built using $SU(2)$ spin spaces, but not by a single finite pair. For example, the rotation content of induced Lorentz representations is obtained from normalized induced representations of the upper triangular subgroup of $SL(2,\mathbb{C})$, with $n\in \mathbb{Z}$, $\rho \in \mathbb{R}$ and unitary characters $(a/|a|{)}^n|a{|}^{2i\rho }$ on its diagonal $(a,a^{-1})$, trivial on its unipotent part. In the compact picture this uses functions on $SU(2)$ satisfyingExpanding functions into $SU(2)$ matrix coefficients selects a single right-torus weight from each spin space, giving the rotation contentNormalized induction supplies the boost action, coupling these infinitely many rotation spaces. The central sign is $(-1{)}^n$, so the even-$n$ family descends to the connected Lorentz group and has integer rotation spins. This explains both the finite-dimensional field construction and why a classification of unitary group representations cannot simply be identified with the finite two-spin labels.

Start with the classification of finite-dimensional representations of SU2. Its irreducible complex group representations are the spin-$j$ spacesThe central element $-I$ acts on $V_j$ as $(-1{)}^{2j}$. These facts follow also by realizing $V_j$ as homogeneous polynomials of degree $2j$ in two variables: the raising and lowering operators connect all of their one-dimensional weight spaces, and the highest-weight classification supplies every irreducible.

Identify Euclidean four-space with the quaternions. The unit quaternions, each a copy of $SU(2)$, act byThe norm is multiplicative, so this is an orthogonal action. It preserves orientation because the acting group is connected. If it fixes every $q$, setting $q=1$ first gives $a=b$, and then this quaternion must commute with every quaternion; a real unit quaternion is $\pm 1$. The kernel is therefore $\{(1,1),(-1,-1)\}$.

For completeness, the differential is injective: if imaginary quaternions $u,v$ satisfy $uq-qv=0$ for every $q$, then $u=v$ is central and imaginary, hence zero. Both Lie algebras have dimension six. Thus the image contains a neighbourhood of the identity and is an open subgroup of the connected SO(4) group, so it is the whole group. This proves the Spin(4) double coverThe covering group is simply connected since each $SU(2)$ is a three-sphere.

The irreducible representations of a product of compact groups are tensor products of irreducibles of its two factors. One way to see this is to decompose an irreducible space into isotypic components for the first factor; the second commutes with the first, so only one isotypic component can occur. The multiplicity space must then be irreducible for the second factor. Hence the covering-group irreducibles are $V_{j_L}\otimes V_{j_R}$. By central parity on SU2 tensor products, the kernel element acts as $(-1{)}^{2j_L+2j_R}$. The group representation descends to $SO(4)$ precisely when that sign is positive. The representations of SO(4) from two SU2 spins are thereforeEvery finite-dimensional irreducible complex group representation of $SO(4)$ is obtained this way. Since the group is compact, these are also all its continuous irreducible unitary group representations, up to equivalence.

The Lie-algebra version makes the two spin labels visible locally. Choose rotation generators $J_i$ and generators $K_i$ mixing the fourth direction with the first three, normalized so thatThen $A_i=(J_i+K_i)/2$ and $B_i=(J_i-K_i)/2$ obey two commuting copies of $\mathfrak{su}(2)$. The quaternion quotient determines which Lie algebra representations integrate to the actual group, rather than only to its cover.

For example, $(0,0)$ is the scalar, $(1/2,1/2)$ is the four-vector, and $(1,0)$ and $(0,1)$ are the three-dimensional self-dual and anti-self-dual two-form group representations. The half-spin spaces $(1/2,0)$ and $(0,1/2)$ belong to the cover and do not descend to $SO(4)$. Restricting to rotations fixing the real quaternion axis gives the diagonal $SU(2)$, and the Clebsch-Gordan decomposition for SU2 yieldswith steps of one. For a descended group representation these diagonal spins are integers, as required for the spatial $SO(3)$ subgroup.

The Clebsch-Gordan decomposition for SU2 statesRealize the tensor product as polynomials of bidegree $(m,n)$ in $(x_1,y_1)$ and $(x_2,y_2)$. The determinant $D=x_1{y}_2-y_1{x}_2$ is invariant under the simultaneous SU2 action. For each $r$, the vectorhas torus weight $q=m+n-2r$ and is killed by $E=x_1{\partial }_{y_1}+x_2{\partial }_{y_2}$. Applying $F=y_1{\partial }_{x_1}+y_2{\partial }_{x_2}$ produces $q+1$ nonzero vectors of distinct weights, with $F^{q+1}{v}_r=0$. The relations $[E,F]=H$ and $H{v}_r=q{v}_r$ give $E{F}^j{v}_r=j(q-j+1)F^{j-1}{v}_r$, so their span is an irreducible copy of $V_q$.

These irreducible submodules have distinct highest weights and form a direct sum: a sum of earlier ones cannot contain an irreducible module inequivalent to all its summands. Equivalently use complete reducibility, obtained by averaging an inner product over the compact group. Assuming $m\le n$, their total dimension iswhich equals the dimension of the tensor product. Hence they exhaust it, proving the theorem.

Applying the Clebsch-Gordan decomposition for SU2 givesandOn the summand $V_{6-2j}$, interchange of the two tensor factors acts by $(-1{)}^j$; this is the flip parity in the SU2 tensor square. The even-$j$ summands make the symmetric square, so

The special unitary group in two dimensions isLet $V_1={\mathbb{C}}^2$ be its defining group representation, and for $n\ge 0$ letthe homogeneous polynomial representation of SU2 on homogeneous polynomials of degree $n$ in two variables. It has degree of a representation $n+1$. The representations $V_0,V_1,V_2,\dots$ are pairwise nonisomorphic, continuous, finite-dimensional irreducible representations, and the classification of finite-dimensional representations of SU2 says that this is the complete list.