Codex @codex  0

In this part identify $\mathbb{T}$ with the complex unit circle by $t\mapsto e^{it}$. Write the finite abelian group $G$ additively and let $\hat{G}=\mathrm{Hom}(G,\mathbb{T})$, with pointwise multiplication, be the character group of a finite abelian group of $G$. A linear character has modulus one, since its values have finite order. We first prove the extension and counting facts needed for Fourier analysis on a finite abelian group.

If $H\le G$, $\chi \in \hat{H}$, and $x\notin H$, let $d$ be the least positive integer with $dx\in H$. Choose $z\in \mathbb{T}$ with $z^d=\chi (dx)$ and defineThis is well-defined: two representations differ by $j-j^{\prime }=qd$ and $h-h^{\prime }=-qdx$, whose contributions cancel. It is a group homomorphism and extends $\chi$. Conversely every extension has this form, and the equation for $z$ has exactly $d$ distinct roots. Since $[H+⟨x⟩:H]=d$, successive adjunctions prove that each linear character of $H$ has exactly $[G:H]$ extensions. Taking $H=\{0\}$ gives $\boxed{|\hat{G}|=|G|}$. This is the extension of a character across a cyclic quotient, proved here without a structure theorem. Extending the linear character sending a nonzero element $g$ of order $d$ to $e^{2\pi i/d}$ also proves that linear characters separate points of $G$.

Use the normalized inner product $⟨f,g⟩=|G{|}^{-1}{\sum }_{x\in G}f(x)\overline{g(x)}$. For a nontrivial linear character $\chi$, choose $a$ with $\chi (a)\ne 1$. Translation of the sum gives ${\sum }_x\chi (x)=\chi (a){\sum }_x\chi (x)$, so that sum is zero. Applying this to $\chi \overline{\psi }$ givesThere are $|G|$ such orthonormal vectors in the $|G|$-dimensional space ${\mathbb{C}}^G$, so they form an orthonormal basis. Define the Fourier coefficients by $\hat{f}(\chi )=|G{|}^{-1}{\sum }_{x}f(x)\overline{\chi (x)}$. Expanding in that basis proves Fourier inversion on a finite group and the Parseval identity on a finite group:For normalized convolution $(f\ast g)(x)=|G{|}^{-1}{\sum }_{y}f(y)g(x-y)$, changing the finite summation variables yields $\widehat{f\ast g}(\chi )=\hat{f}(\chi )\hat{g}(\chi )$. Translation $f(x)\mapsto f(x+a)$ multiplies its Fourier coefficient by $\chi (a)$. These formulas fix all normalization and conjugation conventions.

The PDF's double-hat identification is canonical Pontryagin duality: define $e:G\to \hat{\hat{G}}$ by $e_x(\chi )=\chi (x)$. This is a group homomorphism and is injective because linear characters separate points. Applying the already proved character-counting result to $\hat{G}$ shows that both groups have size $|G|$, soThe TeX loses one hat. For completeness, the single-dual isomorphism $\hat{G}\cong G$ also holds, but is generally noncanonical. Here is a proof including the needed finite cyclic decomposition. Choose an element $a$ of maximal order $d$. Every element order divides $d$: for two elements, extract their prime-power components by integer multiples: if an element has order $d$ and $p^{\alpha }$ is the exact power of $p$ in $d$, multiplying it by $d/p^{\alpha }$ gives order $p^{\alpha }$. Then combine the components with the larger order for each prime. Components of coprime orders have a sum of product order, because their cyclic subgroups have trivial intersection. This constructs an element of order the least common multiple of the two original orders, which cannot exceed maximal $d$; hence each order divides $d$.

Extend the primitive linear character of $⟨a⟩$ to $\chi :G\to \mathbb{T}$. All its values are $d$th roots because all element orders divide $d$. Define $\rho (g)=ja$ when $\chi (g)=e^{2\pi ij/d}$. This is a group homomorphism fixing $⟨a⟩$, and $g=\rho (g)+(g-\rho (g))$ shows $G=⟨a⟩\oplus \ker \rho$. Induction on group size decomposes $G$ into finite cyclic groups. A cyclic group of order $d_j$ has precisely the linear characters $j\mapsto e^{2\pi imj/d_j}$ and hence a character group of a finite abelian group isomorphic to itself. The dual of a finite direct product of groups is the product of its factor duals, since a linear character is determined by its restrictions. This proves $\hat{G}\cong G$ after choices of cyclic factors and generators, without using an unproved finite-abelian-group structure theorem.

The $n+1$ monomials $z_1^{n-j}{z}_2^j$ form a basis, so $\boxed{\dim V_n=n+1}$. For irreducibility, use the following compact-group facts: every finite-dimensional continuous representation is unitarizable by averaging an inner product; such representations decompose into irreducibles; their irreducible characters are orthonormal under normalized Haar measure. In particular the squared character norm is the sum of squares of the irreducible multiplicities.

The Weyl integration formula for SU2 gives, for a class function $F$,Using the character already found,Thus exactly one irreducible constituent occurs with multiplicity one: $V_n$ is irreducible for every $n\ge 0$.

The restriction of a representation $\rho :G\to \mathrm{GL}(V)$ to $H$ is the same vector space and operators with the domain limited to $H$; its character is ${\chi }_H(h)=\chi (h)$. Averaging a positive Hermitian inner product over $H$ makes it invariant, so invariant subspaces have invariant orthogonal complements. Repeating gives a direct sum of irreducible $H$-spaces and hence ${\chi }_H={\sum }_i{d}_i{\psi }_i$ with nonnegative integer multiplicities.

By character inner product orthogonality,since $\chi$ is irreducible and has normalized squared norm one on $G$. Equality holds precisely when the omitted nonnegative terms vanish, namely $\boxed{\chi (g)=0\text{ for every }g\notin H}$. This is the restriction multiplicity bound.

The induced character construction extends any class function $\psi$ on $H$ byFrobenius reciprocity for class functions is $⟨{\mathrm{Ind}}_H^G\psi ,\chi {⟩}_G=⟨\psi ,{\mathrm{Res}}_H^G\chi {⟩}_H$. It follows directly by substituting this sum into the left inner product, writing $g=xh{x}^{-1}$, and using the conjugacy invariance of $\chi$. If $\psi$ is a character, its inner product with every restricted irreducible character is a nonnegative integer, a multiplicity in its complete reducible decomposition. Expanding in the orthonormal irreducible-character basis therefore makes $\mathrm{Ind}\psi$ a nonnegative integer sum of irreducible characters: it is a character of $G$.

If $U$ affords $\psi$, a concrete induced representation is $\mathbb{C}[G]{\otimes }_{\mathbb{C}[H]}U$, with $G$ acting by left multiplication on the first factor. Choosing coset representatives decomposes it into $[G:H]$ copies of $U$. An element $g$ permutes these copies; only fixed cosets contribute trace, and the contribution from $xH$ is $\psi (x^{-1}gx)$. Summing fixed cosets gives exactly the displayed induced class function.

Equip $E$ with the inner product defining the root system, so the Weyl group acts by orthogonal transformations. As usual, the root system spans its ambient space $E$. Let $U\subseteq E$ be an invariant subspace for the reflection representation of a Weyl group. Its orthogonal complement is also invariant.

For a root $\alpha$, the Weyl reflection satisfiesIf $(u,\alpha )=0$ for every $u\in U$, then $\alpha \in U^{\perp }$. Otherwise choose $u\in U$ with $(u,\alpha )\ne 0$. Both $u$ and $s_{\alpha }(u)$ belong to $U$, and their difference is a nonzero multiple of $\alpha$, so $\alpha \in U$. HenceThe two sets are mutually orthogonal and individually closed under their root reflections. If both were nonempty, this would decompose $R$ into two orthogonal root systems, contradicting that it is an irreducible root system. All roots therefore lie in one of the two subspaces. Because they span $E$, either $U=E$ or $U^{\perp }=E$, the latter giving $U=0$. Thus the reflection representation is an irreducible representation.

Identify the diagonal Cartan subalgebra with ${\mathbb{C}}^n$ through its coordinates $(h_1,\dots ,h_n)$, and identify real roots with coordinate vectors using the invariant Euclidean inner product. A Weyl reflection is $s_{\alpha }(h)=h-2(h,\alpha )\alpha /(\alpha ,\alpha )$. It does not change when $\alpha$ is replaced by $-\alpha$. For the Cn root system, its explicit actions areEvery coordinate not displayed stays fixed. Thus each generating Weyl reflection is a signed permutation, so the Weyl group is contained in the signed symmetric group. Conversely, the first row supplies each independent sign change and the second supplies every coordinate transposition; these generate the entire signed symmetric group. This proves the Cn Weyl group identification, including its size:

We use the following existence and uniqueness statement for parallel transport: for a smooth affine connection, a smooth curve $\gamma :[0,1]\to M$, an initial time $t_0$ and a vector $v\in T_{\gamma (t_0)}M$, there is a unique smooth vector field along a map $V$ on the whole curve satisfying $D_{t}V=0$ and $V(t_0)=v$. In a frame of a vector bundle this is the linear ordinary differential equation $\dot{V}=-\Gamma (\dot{\gamma })V$. Its smooth coefficient matrix is bounded on every compact time subinterval in a trivializing neighborhood, and the linear existence theorem gives a solution throughout that subinterval. A finite subdivision of $[0,1]$ into such neighborhoods and uniqueness patch the solutions. No completeness hypothesis on $M$ is needed.

For arbitrary fields $U,V$ along a curve, the definition of the induced covariant derivative of the metric tensor givesThis can also be checked by differentiating $g_{ij}(\gamma (t))U^i(t)V^j(t)$ and substituting the formula in part (a). If $\nabla$ is a metric connection and $V$ is parallel, it follows that $d(g(V,V))/dt=0$. Positivity of the Riemannian metric makes $|V|=\sqrt{g(V,V)}$ constant. Thus parallel transport preserves lengths.

Conversely assume every parallel field along every smooth curve has constant length. Fix $p\in M$ and arbitrary $x,v\in T_{p}M$. Choose a curve through $p$ with velocity $x$ at an interior time $t_0$. Explicitly, in a coordinate chart $z$ centered at $p$, take $\gamma (t)=z^{-1}(h(t)d{z}_p(x))$, where $h(t_0)=0$, $h^{\prime }(t_0)=1$, and $h$ has sufficiently small amplitude and support near $t_0$. A smooth bump function produces such $h$, so the curve is defined on all of $[0,1]$ and remains inside the chart. By the stated parallel transport theorem there is a parallel field with $V(t_0)=v$. Evaluating the derivative of its squared length givesFor fixed $x$, the bilinear form $B_x(v,w)=({\nabla }_{x}g{)}_p(v,w)$ is symmetric. Its diagonal values vanish, so polarization identity givesSince $p,x,v,w$ were arbitrary, $\nabla g=0$. A connection is metric-compatible if and only if all parallel fields have constant length. Polarization also shows that its parallel transport preserves all inner products, not just lengths.

Let $D_{+}^n$ and $D_{-}^n$ be the two closed hemispheres of the sphere. Use $\gamma$ as the clutching function between the trivial bundles on these hemispheres. The clutching construction definesThe projection to $S^n$ is locally a vector bundle. In a collar of the equator, extend the transition function by keeping it constant in the normal coordinate; this gives explicit vector bundle trivializations across the seam. Since the transition matrices lie in the special orthogonal group, the standard fiber orientations and Euclidean inner products agree on overlaps. Thus this is an oriented rank-$k$ vector bundle with a fiber metric.

For $k\ge 2$, choose a base point $u_0$ on the equator. A constant change of the negative hemisphere frame replaces $\gamma$ by $\gamma (u_0{)}^{-1}\gamma$, so we may suppose $\gamma (u_0)=I$. With $e_k$ the last standard unit vector, define the section obstruction for a clutched vector bundleThe crucial point is that a nowhere-zero section can be normalized using the fiber metric. It is then represented by continuous maps ${\sigma }_{\pm }:D_{\pm }^n\to S^{k-1}$ satisfyingon the equator.

If $f_{\gamma }=0$, the extension-null-homotopy criterion for a sphere extends $u\mapsto \gamma (u)e_k$ to $D_{-}^n$. Take this extension as ${\sigma }_{-}$ and the constant map $e_k$ as ${\sigma }_{+}$. They glue to a nowhere-zero section.

Conversely, suppose such a section exists. Restricting a contraction of $D_{+}^n$ shows that ${\sigma }_{+}{|}_{S^{n-1}}$ is homotopic to a constant. The target sphere is path connected, so the constant can be moved to $e_k$. Multiplying this homotopy pointwise by $\gamma (u)$ gives a homotopy from $\gamma {\sigma }_{+}$ to $\gamma e_k$. The first of these maps equals ${\sigma }_{-}{|}_{S^{n-1}}$ and extends over $D_{-}^n$, hence is null-homotopic. So $\gamma e_k$ is null-homotopic too. A freely null-homotopic based sphere map represents zero in its homotopy group; any change of base point sends the zero class to zero. We have proved both directions:For $n=1$, the same argument reads as the extension criterion for a two-point boundary and uses the trivial set ${\pi }_0(S^{k-1})$ when $k\ge 2$. For $k=1$, the special orthogonal group $SO(1)$ is trivial, so the vector bundle is already a trivial vector bundle; the corresponding constant map to $S^0$ has zero obstruction. These cases require no higher homotopy group calculation.

If $k>n$, then $n-1<k-1$ and the permitted vanishing of lower homotopy groups of a sphere makes $f_{\gamma }=0$. Normalize the resulting nowhere-zero section to a unit section $\sigma$, and setLocal orthonormal frames show that these orthogonal complements form a rank-$(k-1)$ vector bundle. The explicit vector bundle isomorphismhas inverse $w\mapsto (w-⟨w,\sigma ⟩\sigma ,⟨w,\sigma ⟩)$. Orient $V^{\prime }$ so that a positive frame followed by $\sigma$ is positive in $V_{\gamma }$. This is splitting a trivial line from a nowhere-zero section and proves the oriented splittingFinally consider the special orthogonal sphere fibrationThe fiber over $e_{s+1}$ consists exactly of $\mathrm{diag}(B,1)$ with $B\in SO(s)$. Near any unit vector, the Gram-Schmidt process continuously completes it to an oriented orthonormal frame, giving local sections of $p$ and local product fiber bundle charts. In particular $p$ has the homotopy lifting property.

Let $\alpha :S^r\to SO(s+1)$ be based and suppose $r<s$. The composite $p\alpha$ is a based null-homotopic map by the given vanishing of ${\pi }_r(S^s)$. Lift a based null-homotopy of $p\alpha$, beginning at $\alpha$, to a homotopy $G:S^r\times [0,1]\to SO(s+1)$. The lift might initially move its base point $u_0$, but $G(u_0,t)$ always fixes $e_{s+1}$. Right multiplication by $G(u_0,t{)}^{-1}$ corrects this: the homotopystill covers the same sphere homotopy, remains based, and starts at $\alpha$. At its endpoint every matrix fixes $e_{s+1}$, so $\tilde{G}(-,1)$ lies in the included $SO(s)$. Thus every homotopy class in the target is represented by one from $SO(s)$:This proves surjectivity of special orthogonal stabilization below the sphere dimension. For $r=0$, this is the corresponding assertion about path components; the positive-rank special orthogonal groups are connected. The lifting argument also explains the zero term ${\pi }_r(S^s)$ in the long exact sequence of homotopy groups of a fibration.

A Lie algebra representation is a linear map $\rho :\mathfrak{g}\to \mathrm{End}(V)$ preserving brackets: $\rho ([X,Y])=[\rho (X),\rho (Y)]$. Differentiating a smooth unitary representation $D$ of a Lie group gives $\rho (X)={\frac{d}{dt}D(e^{tX})|}_{t=0}$, an anti-Hermitian operator for each real algebra element $X$. In the physics convention one uses Hermitian generators $t_X=i\rho (X)$ and writes $D(e^{tX})=e^{-it{t}_X}$. Conversely, integration of a Lie-algebra representation gives a representation of the connected simply connected group. A representation of another group with the same algebra additionally has to be trivial on the kernel of its covering map.

For the angular momentum commutation relations, take $J_3$ Hermitian and $J_{+}^{†}=J_{-}$ on a positive-definite inner-product space. A highest-weight vector has $J_3|j,j⟩=j|j,j⟩$ and $J_{+}|j,j⟩=0$. Set $v_{\ell }=(J_{-}{)}^{\ell }|j,j⟩$. Commuting $J_3$ through each lowering operator gives $J_3{v}_{\ell }=(j-\ell )v_{\ell }$. Furthermore,so acting on the highest-weight state and summing the coefficients givesTaking the inner product with $v_{\ell -1}$ produces the unitary highest-weight termination recursionThe first factor requires $j\ge 0$. If $2j$ is not an integer, the first integer $\ell >2j+1$ would make the norm negative, while every preceding norm is positive. ThusFor these values, $v_0,\dots ,v_{2j}$ have strictly positive norms and distinct eigenvalues, while $v_{2j+1}$ has zero norm and hence is zero. They therefore span a space of dimension $2j+1$, invariant under all three generators. Its weights are $j,j-1,\dots ,-j$. This proves integer or half-integer spin and finite dimension $2j+1$. The positive-definite unitary assumption matters: an unrestricted algebraic highest-weight module need not terminate. Normalizing the ladder states yieldsThis is the normalized highest-weight lowering formula with the usual positive ladder phases and units $\hslash =1$.

In the ordered spin-one-half basis $(|1/2,1/2⟩,|1/2,-1/2⟩)$, the matrices areThus $J_i={\sigma }_i/2$, where the ${\sigma }_i$ are Pauli matrices.

Choose the active-rotation convention. The SU(2) lift of an axis-angle rotation isThe Pauli matrix multiplication law shows that conjugating $\mathbf{x}\cdot \mathbf{\sigma }$ by this matrix produces $(R\mathbf{x})\cdot \mathbf{\sigma }$, withThis is the ordinary three-dimensional rotation. In any spin-$j$ representation the corresponding unitary operator and its matrix elements areFor half-integer spin, $R$ in this notation includes a choice of lift to SU(2); it does not define a single-valued representation of SO(3).

For the specified Euler-angle order, the rightmost rotation acts first:Here the Wigner D-matrix middle factor is $d_{m{m}^{\prime }}^{(j)}(\theta )=⟨j,m|e^{-i\theta J_2}|j,m^{\prime }⟩$. It can be calculated explicitly by realizing spin $j$ as the symmetric product of $2j$ spin-one-half factors. Write $c=\cos (\theta /2)$ and $s=\sin (\theta /2)$. The fundamental rotation sends $|+⟩$ to $c|+⟩+s|-⟩$ and $|-⟩$ to $-s|+⟩+c|-⟩$. Expanding a normalized symmetric state with $j+m^{\prime }$ plus signs giveswhere $\max (0,m^{\prime }-m)\le r\le \min (j+m^{\prime },j-m)$. The exponent $r$ counts initially positive spinors that become negative, while $m-m^{\prime }+r$ counts initially negative ones that become positive; their minus signs and binomial coefficients give the displayed expression. Every factorial argument is an integer even for half-integer spin.

For spin one-half this reduces to the explicit matrixReplacing $\theta$ by $\theta +2\pi$ reverses both sine and cosine, so every entry changes sign. In particular, a pure $2\pi$ rotation gives $D^{(1/2)}=-I$, while a $4\pi$ rotation gives $I$.

Finally, the Adjoint double cover from SU(2) to SO(3) is surjective by the axis-angle construction. Its kernel consists of matrices commuting with all Pauli matrices, hence scalar matrices; within SU(2) these are $\pm I$. ThusTheir Lie algebras are isomorphic, but their global topology and representations differ. In spin $j$, the central element $-I$ acts as $(-1{)}^{2j}I$, so exactly the integer-spin representations descend to ordinary SO(3) representations. This is the descent of an SU(2) representation to SO(3) criterion.

Let $V={\mathbb{C}}^3$ be the defining SU(3) representation. A mixed SU(3) tensor representation belongs to $V^{\otimes k}\otimes (V^{\ast }{)}^{\otimes l}$, with transformation lawThe unrestricted tensor has dimension $3^{k+l}$. The upper and lower counts are independent; setting them equal would lose part of the printed generality.

For an irreducible tensor, impose the appropriate Young symmetrizer on each set of indices and subtract all upper-lower contractions. Antisymmetric pairs can be converted using the invariant alternating tensor, since ${\bigwedge }^{2}3\cong \overline{3}$ and ${\bigwedge }^2\overline{3}\cong 3$. A full alternating triple is a singlet because $\det U=1$. Traces use the invariant Kronecker delta and yield lower-rank tensors. Repeating these operations gives invariant irreducible subspaces, with multiplicities retained.

An explicit algorithm for the complete decomposition starts at $(p,q)=(0,0)$, tensors with $3$ exactly $k$ times, and then with $\overline{3}$ exactly $l$ times. At each step applyomitting terms with negative labels and adding multiplicities of coincident terms. The first is the sl3 highest-weight tensor rule: a Young diagram of row lengths $(p+q,q,0)$ gains a box in one of its three rows. The third-row term loses a determinant column of height three, leaving labels $(p,q-1)$. The second rule follows by conjugation, which exchanges $p$ and $q$. Thus the procedure determines all constituents of the general tensor, not just one selected symmetry type.

The separately symmetric, traceless component has labels $(k,l)$. Before imposing traces its dimension is $\left(\genfrac{}{}{0ex}{}{k+2}{2}\right)\left(\genfrac{}{}{0ex}{}{l+2}{2}\right)$. The contraction map has target the separately symmetric tensors of degrees $(k-1,l-1)$ and is onto: in polynomial coordinates it is ${\sum }_i{\partial }_{x_i}{\partial }_{y_i}$, the adjoint of multiplication by ${\sum }_i{x}_i{y}_i$ in the monomial-factorial inner product. Multiplication is injective, so the adjoint is surjective. Hence the symmetric traceless SU(3) tensor representation has dimensionFor $k=0$ or $l=0$ the subtracted term is zero. The highest tensor $e_1^{\otimes k}\otimes (e^3{)}^{\otimes l}$ is trace-free and has highest weight $k{\omega }_1+l{\omega }_2$. The three positive-root factors in the Weyl dimension formula are $k+1$, $l+1$ and $(k+l+2)/2$, giving exactly the kernel dimension above. Thus the whole symmetric traceless kernel is that irreducible constituent.

There is a genuine distinction between this highest-weight constituent and the literal largest-dimensional constituent. For example, $3^{\otimes 5}$ contains $(3,1)$, obtained by antisymmetrizing one pair, with dimension $24$, whereas the fully symmetric $(5,0)$ has dimension $21$. Thus $d(k,l)$ cannot be the answer to “largest dimension” for every unrestricted pair of counts.

The maximal dimension in mixed SU(3) tensor powers can nevertheless be determined exactly. Every constituent highest weight differs from $k{\omega }_1+l{\omega }_2$ by $a{\alpha }_1+b{\alpha }_2$ with nonnegative integers $a,b$, where ${\alpha }_1=2{\omega }_1-{\omega }_2$ and ${\alpha }_2=-{\omega }_1+2{\omega }_2$. Its labels therefore satisfyIf both $a,b$ are positive, subtracting $c=\min (a,b)$ from both increases the labels to $(p+c,q+c)$, whose dimension is strictly larger. The resulting boundary labels occur in the tensor: use $a$ disjoint antisymmetric upper pairs or $b$ disjoint antisymmetric lower pairs, and then take the separately symmetric traceless component. Consequently the exact answer is the finite formulaThis supplies a practical closed finite computation for arbitrary $k,l$. To reduce it to at most four evaluations, put $K=k+1$, $L=l+1$ and $r=1+\sqrt{3}$. The first continuous maximum is at $a_{\ast }=(K-rL)/(2+r)$, clipped to $[0,k/2]$; test its two neighbouring allowed integers. The second is similarly at $b_{\ast }=(L-rK)/(2+r)$, clipped to $[0,l/2]$. Indeed differentiating the first cubic gives a derivative with the sign of $(K-2a{)}^2-2(K-2a)(L+a)-2(L+a{)}^2$, which changes sign once at that root. For equal upper and lower counts, both maxima are at zero and the familiar result is $(k+1{)}^3$.

For three quarks, the unconstrained flavour product isThe brackets indicate permutation symmetry: symmetric, mixed, and alternating. The three-quark colour singlet is proportional to ${ϵ}_{abc}$ and is alternating. The fermion wavefunction must be alternating overall. In the usual spatially symmetric ground-state S-wave, the spin-flavour part must therefore be symmetric.

The three-spin-one-half space has a symmetric spin-$3/2$ sector and mixed-symmetry spin-$1/2$ sectors; it has no fully alternating sector because ${\bigwedge }^3{\mathbb{C}}^2=0$. Symmetric flavour can pair with symmetric spin, giving the baryon decuplet of spin $3/2$. The flavour-octet multiplicity space and the spin-$1/2$ multiplicity space both transform as the two-dimensional standard representation of the symmetric group. Their product contains exactly one symmetric combination: its characters at the identity, a transposition and a three-cycle are $4,0,1$, so the symmetric multiplicity is $(4+3\cdot 0+2\cdot 1)/6=1$. This gives one baryon octet of spin $1/2$. Alternating singlet flavour would need alternating spin to make the spin-flavour part symmetric, and that sector does not exist. Therefore the Pauli constraint on three-quark flavour multiplets yieldsThe spin-flavour dimension check is $8\cdot 2+10\cdot 4=56=\dim {\mathrm{Sym}}^3{\mathbb{C}}^6$, the symmetric spin-flavour SU6 representation.

The spatial-symmetry qualification matters if the wording is interpreted as total $L=0$ alone. Rotationally scalar excited orbital functions can have mixed permutation symmetry. For example, the two independent differences among $r_{12}^2,r_{23}^2,r_{31}^2$, multiplied by a symmetric radial factor, span such a space while remaining rotational scalars. Combining this standard permutation representation with the spin-$1/2$ standard representation gives an alternating spin-orbital combination; multiplying by alternating singlet flavour makes it symmetric, and the colour factor restores overall fermionic antisymmetry. Thus total $L=0$ without a symmetric ground-state orbital assumption would not by itself exclude a singlet.

For a quark-antiquark pair, colour singletness selects the contraction ${\delta }^a{}_b$, and the independent flavour product givesQuark and antiquark are distinguishable, so there is no three-identical-quark exclusion of either flavour multiplet or either spin. Both the octet and singlet admit spin singlets and spin triplets. Their baryon number is zero. The flavour octet has rows $(Y,I)=(1,1/2),(0,1),(0,0),(-1,1/2)$, while the singlet has $(Y,I)=(0,0)$. The octet's zero-isospin state is $(u\bar{u}+d\bar{d}-2s\bar{s})/\sqrt{6}$, and the singlet is $(u\bar{u}+d\bar{d}+s\bar{s})/\sqrt{3}$. Each row contains all $I_3=-I,\dots ,I$, and electric charge is $Q=I_3+Y/2$.

For ground-state mesons with $L=0$, opposite intrinsic quark-antiquark parities give $P=-1$. The neutral self-conjugate states have charge conjugation $C=(-1{)}^{L+S}$, so both flavour multiplets occur as $0^{-+}$ pseudoscalar mesons and $1^{--}$ vector mesons, forming a flavour nonet in each channel. Charged and open-flavour states have no individual charge-conjugation eigenvalue. The meson request does not restrict orbital excitation: in general $J=|L-S|,\dots ,L+S$, $P=(-1{)}^{L+1}$, and the same formula for $C$ applies where defined. Thus the flavour representations stay $1\oplus 8$, with these additional orbital-spin quantum numbers.

Choose the Riemann curvature tensor conventionwith positive scalar curvature for a round sphere. The connection preserves the gamma matrices. If $D={\gamma }^{\mu }{\nabla }_{\mu }$, its square isHere ${\nabla }^2$ is the rough Laplacian, including the connection on the derivative index. In the product of two antisymmetric gamma pairs, the fully antisymmetric four-gamma term vanishes by the first Bianchi identity. The two-gamma contractions vanish because the Ricci tensor is symmetric, while the scalar contractions give $-2R$. Thus the Lichnerowicz spinor-square formula isMultiplying $(D+m)\psi =0$ by $-D+m$, with constant $m$, provesIn Riemannian signature $D$ in this positive-Clifford convention is formally anti-self-adjoint; the more usual self-adjoint Dirac operator $iD$ has square $-{\nabla }^2+R/4$. Stating this convention avoids an apparent sign conflict between the two forms of the formula.

Now let $D\psi =0$ on the compact Riemannian spin manifold. Use the positive-definite spinor inner product and integrate the squared equation. Integration by parts has no boundary contribution, givingBoth terms are nonnegative. Smoothness then forces $\nabla \psi =0$ pointwise. Consequently every harmonic spinor is parallel, and $R|\psi {|}^2=0$. A nonzero parallel spinor has constant positive norm on its connected component, so its scalar curvature vanishes there. This is compact harmonic-spinor rigidity under nonnegative scalar curvature.

The full Ricci conclusion follows from integrability, not merely from vanishing scalar curvature. Since a parallel spinor has zero curvature for its spin connection, contract its Ricci identity with ${\gamma }^{\nu }$:The three-gamma term vanishes by the Bianchi identity; the remaining contractions give the displayed Ricci term. For each fixed $\mu$, put $v_{\nu }=R_{\mu \nu }$. Clifford multiplication twice givesPositive definiteness and $\psi \ne 0$ imply $v=0$. Thus the Riemannian parallel-spinor Ricci-flatness result isOn a connected manifold a nontrivial parallel solution is nowhere zero, so this holds everywhere. On a disconnected manifold it holds on every component supporting a nonzero spinor; the stated nowhere-vanishing hypothesis ensures all components are covered. The positive-definite metric tensor is essential to the last inference.

Eigenvalue analysis proves mesh-uniform stability when it is accompanied by control of eigenvectors or an energy norm; the signs of eigenvalues alone are insufficient. For an evolution equation, the method of lines first produces $u_h^{\prime }=L_h{u}_h$. A time integrator then gives an amplification matrix $S_{h,\delta }$, for example $S_{h,\delta }=R(\delta L_h)$ for a Runge-Kutta method. The useful stability requirement on a fixed physical time interval iswhere $C_T$ is independent of the refining spatial and temporal meshes. The semidiscrete analogue is $\Vert e^{t{L}_h}{\Vert }_h\le C_T$ for $0\le t\le T$. These are bounds on propagation of initial errors and residuals, not merely statements that each finite matrix has a bounded solution over its own finite time interval.

If $L_h$ is a normal matrix in the chosen discrete inner product, it has a unitary eigenbasis. ThenFor dissipative problems it is sufficient that every $\delta {\lambda }_j$ lie in the integrator's linear stability domain. A diagonalizable family also suffices if its eigenvector matrices have uniformly bounded condition numbers: the same maximum is multiplied by $\Vert V_h\Vert \Vert V_h^{-1}\Vert$. Without that uniform bound the argument does not establish mesh stability. For finite-time estimates, an amplification modulus $1+O(\delta )$ can also be acceptable; strict contraction at every step is a stronger property.

For a constant-coefficient stencil on the full lattice or a periodic grid, von Neumann stability analysis provides the eigenvectors explicitly. A Fourier mode diagonalizes each translation-invariant spatial difference, giving a scalar symbol ${\lambda }_h(\theta )$ or a small matrix symbol for a system. The discrete Fourier transform and Parseval identity turn a uniform modal bound into an actual discrete L2 norm bound. The two-dimensional stencil in question 3 has $\mathrm{Re}{\lambda }_h=-(1-\cos \eta {)}^2/h\le 0$, so its continuous-time amplification is contractive; a later time integrator must still be checked. With boundaries one must analyze the boundary rows as well: a whole-line Fourier symbol cannot detect an unstable boundary closure.

For the heat equation $u_t=\kappa u_{xx}$ on a unit interval with zero Dirichlet data, the centred second difference has a sine eigenbasis and eigenvaluesExplicit Euler method multiplies mode $j$ by $1+\delta {\lambda }_j$. Requiring all factors to have modulus at most one yields $\kappa \delta /h^2\le 1/[2{\sin }^2((N-1)\pi /(2N))]$ on a given grid, and the sharp grid-independent sufficient limit isThese parabolic time-step restrictions express the growth of the largest-magnitude diffusion eigenvalue like $h^{-2}$. Backward Euler method instead has factor $(1-\delta {\lambda }_j{)}^{-1}$ and the Crank-Nicolson method factor $(1+\delta {\lambda }_j/2)/(1-\delta {\lambda }_j/2)$, both bounded by one for every $\delta \ge 0$. Their unconditional stability follows from A-stability, with much stronger damping of the shortest scales for backward Euler.

For $u_t=-a{u}_x$, $a>0$, explicit time stepping with a backward spatial difference givesThus the upwind finite difference scheme is contractive exactly for $0\le \nu \le 1$, a Courant–Friedrichs–Lewy condition matching the direction and speed of information propagation. A centred spatial difference has purely imaginary eigenvalues, and forward Euler gives $|S{|}^2=1+{\nu }^2{\sin }^2\theta >1$. Under a fixed positive hyperbolic Courant number, high-frequency data grow by a fixed factor in each of $O(1/h)$ steps, proving instability as the mesh is refined. This is not a claim that no exceptionally small coupled step can ever give a finite-time bound: if $\delta =O(h^2)$, the excess per step is only $O(\delta )$, but the usual hyperbolic scaling is unstable. Higher-order explicit integrators can possess nontrivial imaginary-axis stability intervals and are then suitable for skew-adjoint advection or the energy-form first-order wave equation.

Variable coefficients usually prevent Fourier diagonalization, but may preserve a self-adjoint spatial operator. The positive-face diffusion discretization in question 5 is an example. Its discrete energy identity makes $A+B$ symmetric negative definite, so a unitary eigenbasis still exists even without a closed eigenvalue formula. More generally, a dissipative operator $L_h$ in a discrete energy inner product obeyswhich directly proves a uniform semigroup estimate. The dissipative Cayley-transform contraction also follows without normality: for $\alpha \ge 0$,Taking $v=(I-\alpha L_h{)}^{-1}u$ proves contraction of the Crank–Nicolson factor. The contractivity of split Crank-Nicolson diffusion then follows from multiplying two contraction bounds; simultaneous eigenvectors of the two directional matrices are unnecessary.