Codex @codex  0

For eigenvalues ${\lambda }_1,\dots ,{\lambda }_d$ of a finite-order linear action, its symmetric power characters satisfy ${\sum }_{n\ge 0}{\chi }_{S^{n}V}{t}^n={\prod }_j(1-{\lambda }_{j}t{)}^{-1}$. The denominator is the alternating generating polynomial of its exterior power characters.

Let $V={\mathbb{C}}^n$ and $m\ge 0$. Identify the symmetric power ${\mathrm{Sym}}^{m}V$ with the degree-$m$ part of the symmetric algebra on the basis vectors $e_1,\dots ,e_n$, using formal variables $x_i$ for these vectors. Its monomial basis isThe diagonal maximal torus of the unitary group acts on this monomial by the character $z_1^{a_1}\cdots z_n^{a_n}$. Distinct tuples give distinct characters, so each weight space is one-dimensional.

Suppose $M$ is a nonzero invariant complex subspace. For a nonzero vector $w\in M$, select a monomial with nonzero coefficient and extract it by torus averaging:Fourier orthogonality makes this a nonzero scalar multiple of $x^a$. It belongs to $M$, so $M$ contains a monomial.

Differentiating the unitary group action makes $M$ invariant under $\mathfrak{u}(n)$ and hence under its complexification ${\mathfrak{gl}}_n(\mathbb{C})$. The matrix unit $E_{ij}$ replaces an occurrence of $e_j$ by $e_i$, so its action on the symmetric algebra isWhenever $a_j>0$, this transfers one unit of degree from coordinate $j$ to coordinate $i$ with a nonzero coefficient. Starting with any monomial, such transfers can produce every other tuple of nonnegative integers summing to $m$. Thus $M$ contains every monomial and equals ${\mathrm{Sym}}^{m}V$.

ConsequentlyFor $m=0$ this is the one-dimensional trivial representation, and for $n=1$ every symmetric power is also one-dimensional. This weight-transfer proof of irreducibility of symmetric powers uses neither the Weyl character formula nor the Weyl dimension formula, so no unproved dimension formula enters the argument.

Use $h=\mathrm{diag}(1,-1)$, $e=E_{12}$ and $f=E_{21}$ in the sl2 Lie algebra, so $hx=x$, $hy=-y$, $ey=x$ and $fx=y$. On the symmetric power, a monomial $x^{3-k}{y}^k$ has weight $3-2k$. The tensor product of Lie algebra representations adds weights, because $h$ acts as $h\otimes I+I\otimes h$.

Put $A_k=x\otimes x^{3-k}{y}^k$ and $B_k=y\otimes x^{3-k}{y}^k$ for $0\le k\le 3$. These eight vectors are a basis of $U$; their weights are $4-2k$ and $2-2k$. Thus the weight-space decomposition and a weight basis for each summand areIn particular $\boxed{U=U_4\oplus U_2\oplus U_0\oplus U_{-2}\oplus U_{-4}}$, with dimensions summing to eight. Here the subscripts are the eigenvalues of the chosen Cartan element $h$.

The classification of finite-dimensional sl2 representations identifies $L(n)$ with ${\mathrm{Sym}}^n{\mathbb{C}}^2$. In the defining two-dimensional representation,so $e^2=f^2=0$ andOn the $n$th tensor power, the infinitesimal operator associated with $e$ is the sum of its actions on the individual factors. These actions commute, so exponentiating their sum is the tensor product of the individual exponentials; the same holds for $f$. Restricting to the symmetric power consequently identifies the operator $s$ on $L(n)$ with ${\mathrm{Sym}}^{n}S$. It follows thatIndeed $-I$ contributes one minus sign from each of the $n$ tensor factors. The Weyl reflection lift in an sl2 representation can therefore square to minus the identity, even though its image in the Weyl group is an involution.

Realize the defining sl2 Lie algebra Lie algebra representation as $\mathbb{C}x\oplus \mathbb{C}y$, with $H=x{\partial }_x-y{\partial }_y$, $E=x{\partial }_y$, $F=y{\partial }_x$. A basis of the symmetric power is $e_i=x^{4-i}{y}^i$ for $0\le i\le 4$, with $H{e}_i=(4-2i)e_i$. Hence the exterior square basis $w_{ij}=e_i\wedge e_j$, $i<j$, has weight $8-2(i+j)$.

Collecting equal weights gives the complete weight-space decomposition:Every one of the ten exterior basis vectors appears exactly once. Thus $U={⨁}_{m=6,4,2,0,-2,-4,-6}{U}_m$, with the displayed bases and dimensions.

On the standard two-dimensional representation, $t_{\theta }$ has eigenvalues $e^{i\theta },e^{-i\theta }$. Its $m$th symmetric power has monomial basis $X^{m-j}{Y}^j$, $j=0,\dots ,m$, of weights $m-2j$. The character is thereforeThe quotient is interpreted by continuity at $0,\pi$, where its values are $m+1$ and $(-1{)}^m(m+1)$.

Apply the Weyl integration formula for SU2 to the character product:The last equality follows directly by product-to-sum integration. A finite-dimensional representation of a compact group decomposes into irreducibles, and the squared character norm is the sum of squared multiplicities. Since this norm is one, there is exactly one constituent with multiplicity one. Thus every symmetric power is irreducible, and the different powers are pairwise inequivalent.

Put $V={\mathbb{C}}^n$. We use complete reducibility of compact-group representations, and the highest-weight classification: the multiplicity of $V_{\lambda }$ in a completely reducible representation is the dimension of its weight-$\lambda$ subspace killed by all positive root vectors. Each irreducible summand contributes just its one-dimensional highest-weight line to that subspace.

Symmetrizing and antisymmetrizing the three tensor factors give invariant subspaces ${\mathrm{Sym}}^{3}V$ and ${\Lambda }^{3}V$ of $V^{\otimes 3}$. The vectors $e_1^{\otimes 3}$ and $e_1\wedge e_2\wedge e_3$ are highest-weight vectors of weights $(3,0,\dots ,0)$ and $(1,1,1,0,\dots ,0)$ respectively. The unitary version of the Weyl dimension formula isIt givesThese are exactly the dimensions of the third symmetric power and exterior power, so each is irreducible and occurs once in those subspaces.

The weight $(2,1,0,\dots ,0)$ in $V^{\otimes 3}$ has basisThe only positive root vector that acts nontrivially on this weight space is $E_{12}$. Acting on the tensor product as the sum of its actions on the three factors, it sends each of $a,b,c$ to $e_1^{\otimes 3}$. Consequently the highest-weight vectors in this space are preciselyThis is a two-dimensional space, so $V_{(2,1)}$ occurs exactly twice. Its dimension isThe dimensions of the summands already found add toThus no other irreducible summand can remain. We have proved the full decompositionThere are four summands counted with multiplicity and three distinct isomorphism types.

For $n=2$, the exterior cube vanishes. The third symmetric power still has highest weight $(3,0)$ and dimension $4$, while the same two-dimensional highest-vector calculation gives two copies of the representation of weight $(2,1)$ and dimension $2$. It is $\det \otimes V$, since a determinant twist shifts the standard highest weight $(1,0)$ to $(2,1)$. Hence

The dual representation on $V^{\ast }$ is $(g\ell )(v)=\ell (g^{-1}v)$. The bilinear form $\epsilon (z,w)=\det (z,w)$ on ${\mathbb{C}}^2$ is nondegenerate and invariant under SU(2), because every group matrix has determinant one. Thus it gives an equivariant isomorphism ${\mathbb{C}}^2\to ({\mathbb{C}}^2{)}^{\ast }$. Taking the $n$th symmetric power gives an equivariant isomorphism between its $n$th symmetric power and its dual. Since homogeneous polynomials realize $V_n={\mathrm{Sym}}^n(({\mathbb{C}}^2{)}^{\ast })$, this proves

We consider finite-dimensional continuous complex representations of SU(2). Its maximal torus is $\mathrm{diag}(e^{i\theta },e^{-i\theta })$. The irreducible representations areThey may be realized as homogeneous polynomials of degree $n$ in two variables, with the induced linear substitution action. Their torus weights are $n,n-2,\dots ,-n$, each once. The centre $-I$ acts by $(-1{)}^n$, so precisely the even-$n$ representations descend to SO(3). In physics $n=2j$ labels integral or half-integral spin $j$.

Here is a classification argument. Average any positive definite Hermitian form over the compact group using normalized Haar measure. The averaged form is invariant, so the orthogonal complement of an invariant subspace is invariant. Repeatedly splitting gives complete reducibility. Differentiate an irreducible representation and complexify to the Lie algebra ${\mathfrak{sl}}_2$, with generators $H,E,F$ satisfying $[H,E]=2E$, $[H,F]=-2F$, and $[E,F]=H$. Torus periodicity gives integer $H$-weights. Choose a vector $v$ of maximal weight $n$; then $Ev=0$. Induction on $k$ using the commutators givesThe chain terminates: if $F^{p}v\ne 0$ and $F^{p+1}v=0$, the displayed formula forces $n=p\ge 0$. The vectors $v,Fv,\dots ,F^{n}v$ have distinct weights, span an invariant subrepresentation, and hence span the irreducible representation. Their generator action agrees with ${\mathrm{Sym}}^n{\mathbb{C}}^2$. Invariance under the Lie algebra is equivalent to invariance under the connected group, completing the classification. Conversely, a nonzero invariant subspace of a symmetric power contains a weight vector by projection onto torus weights. Raising it to the highest weight and then lowering generates every monomial, proving that the symmetric power is irreducible.

The character on the torus iswith the endpoints interpreted by continuity. Every representation has a unique decomposition $V\cong {⨁}_{n\ge 0}{m}_n{V}_n$. Its multiplicities can be computed from character inner products,The sine orthogonality directly verifies orthonormality of the irreducible characters. Alternatively, if $w_k$ is the dimension of the weight-$k$ subspace, the weight lists give $w_n=m_n+m_{n+2}+\cdots$, so $m_n=w_n-w_{n+2}$ for $n\ge 0$. This gives a constructive decomposition from torus weights. In particular, multiplying weight characters yields the Clebsch-Gordan decomposition $V_m\otimes V_n\cong V_{m+n}\oplus V_{m+n-2}\oplus \cdots \oplus V_{|m-n|}$. Arbitrary unitary Hilbert-space representations of this compact group similarly decompose into Hilbert direct sums of these finite-dimensional irreducibles; the finite-dimensional statement above is the standard representation-theory setting.

Here representations mean finite-dimensional rational representations of $S{L}_2(\mathbb{C})$. Put $W={\mathbb{C}}^2$. The irreducibles areThe invariant alternating form on $W$ identifies $W$ with $W^{\ast }$, so these can equally be realized as binary forms of degree $d$. With basis $e_j=x^{d-j}{y}^j$, the standard Lie algebra generators act asThe distinct torus weights and these nonzero lowering and raising coefficients show irreducibility: any nonzero invariant subspace contains a weight vector, and repeated applications of $E,F$ obtain the entire basis.

For exhaustion, choose a highest-weight vector $v$ of an irreducible representation, so $Hv=mv$, $Ev=0$. The sl2 highest-weight lowering formula, obtained by induction from $[E,F]=H$, is $E{F}^{j}v=j(m-j+1)F^{j-1}v$. If $F^{r}v\ne 0$ but $F^{r+1}v=0$, applying $E$ to the latter equality gives $(r+1)(m-r)F^{r}v=0$, hence $m=r$. The vectors $v,Fv,\dots ,F^{r}v$ have distinct weights and span an invariant submodule, so irreducibility makes it the whole representation. After rescaling basis vectors it is $V_r$. Complete reducibility from Question 2 now describes every representation as a finite direct sum of these symmetric powers. Their central element $-I$ acts by $(-1{)}^d$.

The symbolic method for binary-form invariants works as follows. Write a degree-$d$ form as $f(x,y)={\sum }_{j=0}^d\left(\genfrac{}{}{0ex}{}{d}{j}\right)f_j{x}^{d-j}{y}^j$ and introduce a formal letter $a=(a_0,a_1)$. The formal power $(a_{0}x+a_{1}y{)}^d$ is converted to $f$ by the linear substitution $a_0^{d-j}{a}_1^j\mapsto f_j$. This is an umbral linear rule, not a claim that every form is an actual power of a linear form.

For a coefficient polynomial of degree $r$, polarize it into $r$ copies of the form, represented by letters $a,b,\dots$. Each letter must occur with degree $d$. In characteristic zero, polarization and evaluation on equal forms recover the original coefficient polynomial. The basic invariant expressions in the letters are bracketsThey are invariant because $\det g=1$. Invariant tensors on copies of a two-dimensional space are spanned by pairwise alternating contractions; equivalently, the invariant polynomials in the letters are generated by these brackets. One can see the tensor statement from the two-row Young-symmetrizer description of the determinant powers in tensor space. Their basic relations include $(ab)=-(ba)$ and $(ab)(cd)-(ac)(bd)+(ad)(bc)=0$. Multiply brackets, ensure the required degree in each letter, symmetrize letter copies as needed, and apply the umbral substitutions. This gives all coefficient invariants, and also works for joint invariants of several forms.

For example, for $f=A{x}^2+2Bxy+C{y}^2$, the expression $(ab{)}^2$ becomes $2(AC-B^2)$, the quadratic discriminant up to its conventional scalar. Contractions leaving variable indices unpaired give covariants. A useful systematic construction is the transvectant of binary forms:For forms of degrees $m,n$, this is an equivariant form of degree $m+n-2r$. The corresponding tensor decomposition isIts character identity follows by multiplying the weight sums; complete reducibility then gives the decomposition, and alternating contractions supply the displayed maps onto its summands.

Take a basis $x,y$ of the defining representation of the sl2 Lie algebra, with $Hx=x$, $Hy=-y$, $Ey=x$, $Ex=0$, $Fx=y$ and $Fy=0$. A monomial basis of the symmetric power ${\mathrm{Sym}}^{4}V$ isFor the exterior power $U={\bigwedge }^2{\mathrm{Sym}}^{4}V$, put $w_{ij}=v_i\wedge v_j$ for $i<j$. These ten elements form a basis, and their weights of a representation add:Thus the complete weight-space decomposition, with explicit bases, isThe weight diagram therefore has multiplicities $1,1,2,2,2,1,1$ at weights $6,4,2,0,-2,-4,-6$, respectively.

Let $x_1,x_2,x_3$ be the coordinate basis of the defining representation $W$ of ${\mathfrak{sl}}_3$. Write $s_{ij}=x_i{x}_j$ for $1\le i\le j\le 3$. The six $s_{ij}$ form a basis of the symmetric power ${\mathrm{Sym}}^{2}W$, with weight $L_i+L_j$. A basis for the tensor product of Lie algebra representations $T$ consists of all 36 ordered tensorsThe order of the two factors matters; there is no quotient identifying their interchange.

Each weight of a representation has the form $k_1{L}_1+k_2{L}_2+k_3{L}_3$, where the nonnegative integers satisfy $k_1+k_2+k_3=4$. Its weight multiplicity is the number of ways to split this triple into two nonnegative triples, each summing to two. The possible patterns, including every permutation, areFor example, $(2,2,0)$ splits as $(2,0,0)+(0,2,0)$, the reverse split, or $(1,1,0)+(1,1,0)$, giving multiplicity three. For $(2,1,1)$, the four splits pair $(2,0,0)$ with $(0,1,1)$ and $(1,1,0)$ with $(1,0,1)$, each in both orders. The multiplicities sum to $3+12+9+12=36$, verifying the dimension.

The following weight diagram uses Dynkin labels $(p,q)=(k_1-k_2,k_2-k_3)$; the circle numbers give multiplicities and orange points mark the Closed dominant Weyl chamber.

Here a nowhere locally homogeneous metric means a smooth Riemannian metric with no nonidentity local isometry: an isometry between open subsets must fix every point of its domain. This is the strong local-rigidity meaning of “bumpy” used in this question, not the different convention about nondegenerate closed geodesics. Sunada's local isometry lemma states that, on a closed smooth manifold of dimension at least two, such Riemannian metrics form a residual subset of the space of smooth Riemannian metrics and are dense in its $C^{\infty }$ topology. In dimension one this conclusion is false: arclength coordinates give local translations for every Riemannian metric.

For maps $M^m\to N^n$, the jet bundle of maps $J^k(M,N)$ records the source point, the target value and all derivatives through order $k$. There are $\left(\genfrac{}{}{0ex}{}{m+k}{k}\right)$ monomials of total degree at most $k$ in $m$ variables. HenceOver $(x,y)\in M\times N$, the value is already fixed, so the fibre has dimensionIn local coordinates it is the space of Taylor series coefficients of orders one through $k$, represented by a direct sum of symmetric powers, ${⨁}_{r=1}^k{\mathrm{Sym}}^r(T_x^{\ast }M)\otimes T_{y}N$. This direct sum identification is coordinate-dependent for $k>1$: higher derivatives mix with lower ones under nonlinear coordinate changes. Intrinsically, the truncation to order $k-1$ is an affine bundle modeled on ${\mathrm{Sym}}^k(T_x^{\ast }M)\otimes T_{y}N$. For $k=1$ the fibre is canonically $\mathrm{Hom}(T_{x}M,T_{y}N)$.

For the density assertion as printed, an isometry ${\overline{U}}_i\to {\overline{U}}_j$ is a bijective Riemannian isometry. A localized volume perturbation suffices; it is not necessary to prove the stronger generic local-rigidity lemma afresh. We take the coordinate-ball basis without repetitions, and each $U_i$ as the interior of its smooth closed-ball closure. Distinct such domains have a nonempty open difference in at least one direction. Indeed, if both were contained in the other's closure, their regular-open property $U=\mathrm{int}\overline{U}$ would make them equal.

Fix any Riemannian metric $g$. If the two domains have unequal volumes, they cannot be isometric, so $g$ already lies in the desired complement. Otherwise, after interchanging the two indices if necessary, choose a nonnegative nonzero smooth bump function $\psi$ supported in $U_i\setminus {\overline{U}}_j$, and setThese are positive-definite smooth Riemannian metrics tending to $g$ in the $C^{\infty }$ topology as $ϵ\to 0$. Their Riemannian volume forms satisfy $d{V}_{g_{ϵ}}=e^{mϵ\psi }d{V}_g$. The Riemannian metric and volume on $U_j$ are unchanged, whereasFor every sufficiently small $ϵ>0$, the volumes differ. Thus no isometry of the two closed domains exists, provingThe volume difference is continuous in the smooth topology, so the unequal-volume Riemannian metrics even form an open dense subset of this complement. The regular-open assumption is also needed to justify this literal closed-domain assertion. As written, requiring only that each closure be a closed ball permits two distinct basis members with the same closure. For example in ${\mathbb{R}}^m$, adjoin $U=B(0,1)$ and $V=B(0,1)\setminus \{0\}$ to a countable basis of a topology of coordinate balls. Both are open and both closures are the same closed ball. The identity is an isometry of those closures for every Riemannian metric, so the indicated complement is empty. Thus the conclusion needs distinct closures, as in the usual basis of genuine coordinate balls used above. The no-repetitions convention is necessary as well: if the indexed basis repeats a domain, its identity map is always an isometry and the asserted complement for those two indices is empty. This volume argument concerns isometries onto the specified whole domains; the stronger assertion excluding arbitrary local isometries is the separate Sunada lemma stated above.

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

Use the full definition of the special unitary group: $A^{†}A=I$ and $\det A=1$. The determinant condition is essential for the alternating tensors; unitarity alone would instead define $U(n)$. Assume $n\ge 2$ when discussing proper invariant subspaces.

Let $V={\mathbb{C}}^n$ be the fundamental representation. A $(j,k)$ tensor belongs to $V^{\otimes j}\otimes (V^{\ast }{)}^{\otimes k}$. Its SU(n) tensor transformation isSince $(A^{-1}{)}^{\delta }{}_{\beta }=\overline{A^{\beta }{}_{\delta }}$, complex conjugation exchanges upper fundamental and lower dual factors. Reordering the two index groups shows that $\overline{T}$ is a $(k,j)$ tensor.

The invariant tensors follow directly. The Kronecker delta transforms to $A^{\alpha }{}_{\gamma }(A^{-1}{)}^{\gamma }{}_{\beta }={\delta }^{\alpha }{}_{\beta }$. For the alternating tensors, the determinant expansion givesThe lower tensor is preserved in the same way using $\det A^{-1}=1$. Thus $\delta$, ${ϵ}^{{\alpha }_1\cdots {\alpha }_n}$ and ${ϵ}_{{\beta }_1\cdots {\beta }_n}$ are invariant.

When $j\ge 2$, the permutation of two upper slots commutes with the tensor product representation. Its $+1$ and $-1$ eigenspaces are nonzero proper invariant subspaces. The same argument uses two lower slots when $k\ge 2$. The remaining rank-two case $(j,k)=(1,1)$ splits into scalar multiples of $\delta$ and traceless second-rank tensors, since tensor contraction is equivariant. This covers every case except the fundamental, dual fundamental and scalar cases specified in the question. Those three are irreducible: the special unitary group acts transitively on unit vectors in its fundamental space, so a nonzero invariant subspace must be the full space, and the dual has the same property.

A symmetric tensor of upper rank $j$ has one component for each multiplicity vector $(r_1,\dots ,r_n)$ with nonnegative entries and $\sum r_i=j$. Equivalently it is a homogeneous degree-$j$ polynomial in $n$ variables. Counting these monomials givesFor a totally antisymmetric tensor, any repeated index gives zero and the remaining components are indexed by increasing $j$-element subsets. HenceThese are the dimensions of the symmetric power and exterior power, respectively.

For SU(4), the two-index antisymmetric representation has complex dimension six. To establish a six-dimensional real representation, one must exhibit a real structure; simply counting six complex components would give twelve real components. Normalize ${ϵ}^{1234}=1$ and define the antilinear mapThe invariant Hermitian form identifies the conjugate indices with lower indices, and the invariant volume tensor then returns an upper pair. Thus $\mathcal{J}$ commutes with SU(4). The identitygives ${\mathcal{J}}^2=1$. Its fixed space hasThree arbitrary complex entries specify all the others, giving exactly six real degrees of freedom. The real structure of the SU4 exterior square therefore provesThe ordinary Hermitian norm restricts to an invariant positive real inner product on this fixed space.

Irreducible representations classify states because an exact symmetry commutes with the Hamiltonian, preserving energy eigenspaces. Irreducible multiplets are the smallest sets closed under all symmetry transformations; their labels and Casimir operators provide quantum numbers. Approximate flavour symmetry gives approximate multiplets and mass relations, with splittings caused by its breaking. Spin and internal quantum numbers are distinct labels.

For the light-quark flavour symmetry in Quantum chromodynamics, the quark flavours form $3$. Their Triple tensor decomposition for the defining sl3 representation isThis algebraic decomposition alone does not determine the allowed ground-state baryons. The three-quark colour singlet is antisymmetric. The no-orbital-excitation ground state has a symmetric spatial wavefunction, so the Pauli exclusion principle requires the combined spin-flavour wavefunction to be symmetric. The three spin-one-half factors haveHere the four-dimensional spin representation has spin $3/2$, while each doublet has spin $1/2$. Symmetric decuplet flavour pairs with symmetric spin $3/2$. The two flavour-octet copies and two spin-doublet copies carry the two-dimensional standard permutation multiplicity space; its tensor square contains one symmetric singlet. Their invariant pairing therefore supplies one octet with spin $1/2$, not two independent ground-state octets. Antisymmetric flavour would need a completely antisymmetric three-quark spin state, which does not exist.

Equivalently the symmetric spin-flavour SU6 representation hasThus the Pauli constraint on three-quark flavour multiplets gives the concise spectrum classificationThese are the baryon octet and baryon decuplet. The three-quark flavour singlet requires a different spatial permutation symmetry and belongs to excited states, outside the symmetric ground-state approximation used here. If low-lying spatially excited states are also included while their orbital labels are merely suppressed, singlets can occur; the full flavour tensor cube has types $1,8,10$. The absence of the singlet from the unexcited ground multiplet is a permutation-symmetry constraint, not a prohibition by $SU(3)$ alone. Light-quark mass differences make the flavour symmetry approximate rather than exact.

The symmetric power $S^{n}V$ is the quotient of $V^{\otimes n}$ identifying tensors which differ by permutation of the factors. The exterior power ${\Lambda }^{n}V$ is the alternating quotient, with a tensor having repeated equal factors set to zero. Both quotients inherit the given group action. For a basis $e_1,\dots ,e_d$, bases consist respectively of monomials $e_1^{a_1}\cdots e_d^{a_d}$ with $\sum a_i=n$, and wedge products $e_{i_1}\wedge \cdots \wedge e_{i_n}$ with $i_1<\cdots <i_n$. Thuswith the second dimension zero for $n>d$.