Codex @codex  0

For a Lie bracket over $\mathbb{R}$ or $\mathbb{C}$, antisymmetry of a Lie bracket means $[x,y]=-[y,x]$. In particular $[x,x]=0$ in these characteristic-zero fields. The Jacobi identity isIt expresses compatibility of the bracket with its own adjoint action. Bilinearity must hold over the chosen base field, and the bracket must take its values in the same vector space.

For the matrix commutator, bilinearity and antisymmetry follow directly from distributivity. Associativity of matrix multiplication givesadding the two cyclic permutations cancels every monomial. Thus the Jacobi identity holds in the entire matrix algebra. For a specified linear subspace, the only additional bracket condition is closure: $AB-BA$ must belong to the subspace whenever $A,B$ do. It is unnecessary to require closure under the separate products $AB$ and $BA$.

To determine the special unitary Lie algebra, let $g(t)$ be a differentiable curve in the special unitary group with $g(0)=I$ and $A=g^{\prime }(0)$. Differentiating $g(t{)}^{†}g(t)=I$ gives $A^{†}+A=0$. Differentiating $\det g(t)=1$ at the identity gives $\mathrm{tr}A=0$. Conversely a traceless skew-Hermitian matrix has $e^{tA}$ unitary and $\det e^{tA}=e^{t\mathrm{tr}A}=1$, so it really is a tangent vector. ThereforeThis is a real Lie algebra of complex matrices: multiplication by $i$ generally leaves this real subspace. Its complexification is ${\mathfrak{sl}}_n(\mathbb{C})$, not the compact algebra itself. For $A,B\in \mathfrak{su}(n)$,Thus closure holds, and the already verified commutator identities establish all the Lie algebra axioms.

The cross-product Lie algebra on ${\mathbb{R}}^3$ is bilinear, antisymmetric and closed because the cross product has those properties. Its Jacobi identity follows from the vector triple-product identity:In the cyclic sum, the coefficients cancel by symmetry of the scalar product.

For the explicit relation to the SU(2) Lie algebra, take the three Pauli matrices and defineThese matrices are traceless and Skew-Hermitian, and the three images of the standard basis form a real basis of $\mathfrak{su}(2)$. Using the Pauli matrix commutator identity,Hence $F$ is a real Lie algebra isomorphism. The factor and sign $-i/2$ are essential for preserving the unscaled cross-product bracket. At the group level there is an Adjoint double cover from SU(2) to SO(3); the isomorphism of their tangent algebras does not identify the two global groups.

Take $D_{\mu }={\partial }_{\mu }+i{K}_{\mu }$, with the Pauli matrices acting on the Higgs doublet. For electroweak hypercharge $Y=1/2$,This specifies every component of the gauge covariant derivative for the electroweak interaction. Expanding the gauge-covariant kinetic term makes its derivative, trilinear and quartic interactions explicit:where the Pauli matrix multiplication law givesThe antisymmetric Pauli contribution vanishes because $W_{\mu }^a{W}^{b\mu }$ is symmetric in $a,b$. Reversing the sign convention for $D_{\mu }$ reverses the linear gauge interactions consistently, without changing the masses.

A nonzero vacuum expectation value requires ${\mu }^2<0$. Minimizing the Higgs potential gives $v^2=-{\mu }^2/\lambda$. By an gauge transformation choosein unitary gauge. The electroweak doublet gauge-boson mass matrix follows by inserting the vacuum expectation value in the gauge-covariant kinetic term:Define the charged electroweak gauge bosons and the neutral rotation through the Weinberg angle bywith inverse $W_{\mu }^3=c_W{Z}_{\mu }+s_W{A}_{\mu }$ and $B_{\mu }=-s_W{Z}_{\mu }+c_W{A}_{\mu }$. ThenThe factors differ because $W^{+}$ and $W^{-}$ are conjugate fields whereas $Z$ is real. The massless photon corresponds to the unbroken Lie algebra generator $Q=T_3+Y$, which annihilates $⟨\varphi ⟩$. Thus three of the four real gauge bosons acquire mass, with $m_W=m_Z{c}_W$. The three would-be Goldstone bosons provide their longitudinal polarizations; the remaining scalar $h$ is the Higgs boson.

Introduce the left-handed lepton doublet $L=({\nu }_{eL},e_L{)}^T$, with $Y_L=-1/2$, and the right-handed singlet $e_R$, with $Y_R=-1$. Use the chiral projectors $P_L=(1-{\gamma }^5)/2$ and $P_R=(1+{\gamma }^5)/2$ in the course's convention. The minimal Standard Model has no right-handed neutrino. The gauge-invariant fermion terms areThe doublet contraction in the Yukawa interaction is a singlet, and its total hypercharge is $+1/2+1/2-1=0$. A bare term ${\bar{e}}_L{e}_R$ would fail electroweak gauge invariance. The gauge covariant derivatives above already give all the requested fermion-gauge couplings. In terms of mass eigenstates, $e=g{s}_W=g^{\prime }{c}_W$ and they becomeThus the weak charged current is chiral and the neutrino has zero electric charge. The gauge-invariant electron Yukawa mass follows from the Yukawa interaction after electroweak symmetry breaking:Rephase $e_R$ to make $y_e$ real and positive. It givesThe electron Dirac mass is therefore compatible with the original gauge symmetry through the Higgs mechanism. The neutrino remains massless in this minimal renormalizable lepton sector.

Introduce a parameter $t$ to keep track of total degree. The power series for the matrix exponential givesSet $S=X+Y$ and $C=\frac{1}{2}[X,Y]$, where the commutator is $[X,Y]=XY-YX$. Expanding a second matrix exponential givesSincethe two expressions agree through total degree two. More explicitly, applying the local matrix logarithm to the first expansion gives $\log (e^{tX}{e}^{tY})=t(X+Y)+\frac{1}{2}{t}^2[X,Y]+O(t^3)$. This proves the displayed order of the Baker--Campbell--Hausdorff formula. The Lie algebra is closed under the commutator, so its displayed exponent lies in the same Lie algebra. The expansion is a formal power series identity, or a convergent identity sufficiently near the identity matrix; this argument does not assert unrestricted global convergence.

The next two terms of the Baker--Campbell--Hausdorff formula are the two cubic commutators:Here $O(4)$ means total degree at least four in $X,Y$. If one continues by one more degree, the quartic contribution is $-\frac{1}{24}[Y,[X,[X,Y]]]$.

For the Pauli matrices, use the Pauli matrix multiplication lawPut $N=\mathbf{n}\cdot \mathbf{\tau }$. The antisymmetric term disappears when contracted with $n_a{n}_b$, so $N^2=|\mathbf{n}{|}^{2}I=I$. Consequently every even power of $N$ equals $I$, and every odd power equals $N$. Splitting the matrix exponential into even and odd terms of its power series yieldsThe Pauli matrices are Hermitian matrices, and the components of $\mathbf{n}$ are real, so $N^{†}=N$. For real $\alpha$, the resulting matrix $U$ satisfiesAlso $\mathrm{tr}N=0$ and $N^2=I$, so its two eigenvalues are $1,-1$. The eigenvalues of $U$ are therefore $e^{i\alpha },e^{-i\alpha }$, whose product is one. Thus $U$ is a unitary matrix with determinant one: it belongs to the SU(2) group.

Multiplying the two exact Pauli matrix exponentials, and using ${\tau }_1{\tau }_2=i{\tau }_3$, givesIn particular, the ${\tau }_3$ term has a minus sign. Its quadratic Taylor expansion isTaking $X=i\alpha {\tau }_1$, $Y=i\beta {\tau }_2$, the Pauli matrix commutator identity gives $[X,Y]=-2i\alpha \beta {\tau }_3$. The quadratic exponent in the Baker--Campbell--Hausdorff formula is therefore $Z=i\alpha {\tau }_1+i\beta {\tau }_2-i\alpha \beta {\tau }_3$. In $e^Z=I+Z+\frac{1}{2}{Z}^2+O(3)$, only the linear part of $Z$ contributes to $Z^2$ through degree two. The anticommutator ${\tau }_1{\tau }_2+{\tau }_2{\tau }_1=0$ gives $Z^2=-({\alpha }^2+{\beta }^2)I+O(3)$, reproducing the exact product's quadratic expansion.

Rescale the ambient coordinates by $q_i=a_i{r}_i$. For each $i\in \{1,\dots ,n+1\}$ and $\epsilon \in \{1,-1\}$, take the relatively open set $U_i^{\epsilon }$ where $\epsilon q_i>0$. Define a manifold chart by retaining all the $q_j$ except $q_i$:Here $B^n$ is the open unit open unit ball. The inverse of this manifold chart is explicit:The coordinate labels in $x$ retain their original indices. All the $a_i$ are nonzero, so this inverse exists; the strictly positive radicand makes it smooth on the whole open open unit ball. Projection and this inverse are continuous, so each manifold chart is a homeomorphism onto an open subset of ${\mathbb{R}}^n$.

These $2(n+1)$ manifold charts cover the ellipsoid, because at every point at least one $q_i$ is nonzero. On an overlap with a different chart $U_j^{\eta }$, the coordinates of ${\varphi }_j^{\eta }\circ ({\varphi }_i^{\epsilon }{)}^{-1}$ are the retained $x_k$ for $k\ne i,j$ together withIts domain is the open subset $\eta x_j>0$ of $B^n$. The displayed functions, and the reverse transition functions obtained by exchanging $i,j$, are smooth. Transitions between identical charts are the identity; opposite-sign charts with the same omitted coordinate do not overlap. The ambient subspace topology is Hausdorff and second countable, as it is inherited from Euclidean space. Thus this coordinate-projection atlas of an ellipsoid is a smooth atlas, proving the ellipsoid is a smooth manifold of dimension $n$. The rescaling $r\mapsto q$ also gives a diffeomorphism with the unit sphere $S^n$.

For the three-sphere, use its identification with SU(2) rather than separate local constructions. With the Pauli matrices ${\tau }_i$, put $T_i=-i{\tau }_i$. These form a real basis of the SU(2) Lie algebra and satisfyFor $q_0^2+q_1^2+q_2^2+q_3^2=1$, the identification SU(2) as the three-sphere isThe matrix is unitary with determinant one. Conversely, every SU(2) matrix has this form, and both the correspondence and its inverse are smooth.

The left translations $L_g(h)=gh$ are diffeomorphisms. Define three left-invariant vector fields byMatrix multiplication makes these vector fields smooth globally. Since $(d{L}_g{)}_e$ is an isomorphism from the SU(2) Lie algebra to $T_g\mathrm{SU}(2)$, the three vectors are linearly independent at every point, and each is nowhere zero. This is the parallelization of a Lie group by left translations.

Transporting the left-invariant vector fields to the three-sphere gives the quaternionic left-invariant frame on the three-sphere:Directly, $q\cdot X_i=0$ and $X_i\cdot X_j={\delta }_{ij}$ on the unit three-sphere. Thus the vectors are tangent and form a global orthonormal frame of a vector bundle. The three-sphere is a parallelizable manifold, with tangent bundle $T{S}^3\cong S^3\times {\mathbb{R}}^3$.

For spin $1/2$, $\mathbf{S}=\hslash \mathbf{\sigma }/2$. The Pauli matrices satisfy ${\sigma }_i{\sigma }_j={\delta }_{ij}I+i{ϵ}_{ijk}{\sigma }_k$. The antisymmetric term vanishes on contraction with $n_i{n}_j$, and $|\mathbf{n}|=1$, so $(\mathbf{n}\cdot \mathbf{\sigma }{)}^2=I$. Separating the even and odd terms of the exponential series givesFor the single-particle Hamiltonian, unitary time evolution consequently acts asFor two spins the joint eigenstates of total angular momentum are the spin-one-half triplet statewith $J^2=2{\hslash }^2$ and $J_3=m\hslash$, and the spin-one-half singlet stateThese follow by adding the two spin-$1/2$ angular momenta, or by direct action of the Pauli matrices.

The two terms of the specified Hamiltonian commute, so its evolution factorizes into rotations with opposite angles on the two tensor factors. The unique initial $J_3=\hslash$ state is $|\uparrow \uparrow ⟩$. With $c=\cos (\lambda t/2)$, $s=\sin (\lambda t/2)$, its evolved state isThe singlet amplitude is $i\sqrt{2}cs$, giving the requested probability

For this question use the mostly-plus Dirac convention: the Minkowski metric is ${\eta }_{ab}=\mathrm{diag}(-1,1,1,1)$ andThis convention matches the printed plane-wave phase and final identity. It is related to the usual mostly-minus Dirac equation by reversing the metric and taking the negatives of the usual gamma matrices. In particular, the resulting Dirac action and its Dirac adjoint describe the same physical massive field. The Dirac gamma matrices are four complex $4\times 4$ matrices representing the spacetime Clifford algebra with quadratic form $-\eta$. The irreducible complex representation has dimension four. A convenient explicit choice is the negative of the standard Dirac representation of the gamma matrices:where ${\sigma }^i$ are the Pauli matrices. Their multiplication law verifies the displayed anticommutator.

In this representation the gamma matrix adjoint and transpose identities areandThe invariant way to express the latter pattern uses the charge-conjugation matrix:Individual transpose signs depend on the basis. More generally, a similarity transformation ${\gamma }^{\prime a}=M{\gamma }^a{M}^{-1}$ changes the Hermitizing matrix to $H^{\prime }=M^{-†}{\gamma }^0{M}^{-1}$ and the charge-conjugation matrix to $C^{\prime }=MC{M}^T$. Then ${\gamma }^{\prime a†}=H^{\prime }{\gamma }^{\prime a}{H}^{\prime -1}$ and $C^{\prime -1}{\gamma }^{\prime a}{C}^{\prime }=-{\gamma }^{\prime aT}$. Thus the simple formula with ${\gamma }^{\prime 0}$ itself presumes a compatible Hermitian basis, rather than an arbitrary nonunitary similarity transformation.

Applying $(i{\gamma }^a{\partial }_a-m)$ to the Dirac equation gives $(\square -m^2)\Psi =0$. Its mass shell is $p^2=-m^2$, so the frequencies are $p^0=\pm \sqrt{{\mathbf{p}}^2+m^2}$. The Dirac spinor transforms in the four-component Spinor representation of the Lorentz group. Under spatial rotations, the two upper and the two lower components each transform as a two-component spin-$1/2$ representation: the spin angular momentum matrices are $\mathrm{diag}({\sigma }^i,{\sigma }^i)/2$. At rest the positive-energy equation selects the upper two components, giving two independent spin polarizations, and the negative-frequency equation selects the lower two.

In the quantum theory a mode expansion isWith the mostly-plus Dirac convention, $e^{ip\cdot x}=e^{-iEt+i\mathbf{p}\cdot \mathbf{x}}$ is positive frequency. The negative-frequency coefficient obeys $(/p+m)v_s(p)=0$. The fermionic annihilation operators $b_s$ and $d_s$ satisfy the canonical anticommutation relations, with their respective fermionic creation operators. The $b_s^{†}$ excitations are particles; the $d_s^{†}$ excitations are antiparticles with the same positive energy, mass and spin-$1/2$ but opposite charge. After normal ordering, the Hamiltonian operator contains positive multiples of $b_s^{†}{b}_s+d_s^{†}{d}_s$. Reinterpreting the negative-frequency part as antiparticle creation supplies a spectrum bounded below rather than a physical tower of negative-energy particles.

For the printed $e^{ip\cdot x}$ wave, ${\partial }_a\Psi =i{p}_a\Psi$. Substitution givesThe spin label $s$ indexes the two states of a spin-$1/2$ particle, rather than varying the particle's total spin. For real on-shell $p$, Hermitian conjugation and ${\gamma }^{a†}={\gamma }^0{\gamma }^a{\gamma }^0$ giveThese are right and left null-vector equations for the same on-shell matrix.

To obtain the Gordon identity, take both external Dirac spinors to have the same real mass $m$. Their two equations implyDefine ${\gamma }^{ab}=[{\gamma }^a,{\gamma }^b]/2$. The Clifford algebra relation yieldsThereforeMultiplying the previous null-vector equation by $-1$ proves the required formula exactly:For $m\ne 0$ it can be solved for the vector-current matrix element, separating a momentum term from the antisymmetric Dirac spinor term. The identity before division also holds at $m=0$. The signs depend jointly on the metric, Clifford relation, Dirac mass term and plane-wave phase. In the mostly-minus convention of Questions 1 and 3, the printed phase instead gives $(/p+m)u=0$; the corresponding identity uses $(p_b-p_b^{\prime })$ in the antisymmetric term. Mixing that convention with the formula proved here would produce an apparent sign error.

Orient both spheres in the standard way and normalize their area forms to total area $4\pi$. The degree of a map between oriented manifolds can be obtained in two ways. For a regular value $y$, use the degree as a sum of local degrees:Each inverse image is isolated by the inverse function theorem, and compactness makes the set finite. The determinant is computed in consistently oriented local coordinates. A second method is spherical degree by area pullback:where the last formula represents $g$ as a unit vector in ${\mathbb{R}}^3$. The pullback of a differential form already contains the signed Jacobian determinant; no extra $\sin \theta$ is to be inserted in that last coordinate expression.

To relate the methods, replace $\omega$ by a smooth top-degree differential form with the same total integral supported in a small neighbourhood of a regular value. Two such top-degree forms with equal integral differ by an exact differential form on $S^2$, by its top-degree de Rham cohomology. Their pullbacks therefore have the same integral by Stokes theorem. Over the chosen neighbourhood, $g$ splits into local inverse branches; the change of variables formula makes the contribution of each branch its orientation sign times $4\pi$. Their sum is precisely the first formula. Thus the area integral is an integer and agrees with the signed inverse-image count.

For a nonconstant rational map, first use common-factor reduction of a rational map so $p$ and $q$ are coprime. Write $k=\max (\mathrm{deg}p,\mathrm{deg}q)$ for these reduced polynomials. A generic finite target value $w$ has inverse images at the roots of $p-wq$: avoiding exceptional values makes its degree $k$ and its roots simple. The fundamental theorem of algebra supplies $k$ roots. A holomorphic map has positive real Jacobian determinant $|R^{\prime }{|}^2$ at a regular point, so every local sign is $+1$. HenceThe source leaves coprimality implicit. In an unreduced representation the answer is $\max (\mathrm{deg}p,\mathrm{deg}q)-\mathrm{deg}\gcd (p,q)$, including degree zero for a constant reduced map. For example $(z^2-1)/(z-1)$ extends to $z+1$ and has degree one, although the unreduced maximum degree is two. Exceptional inverse images at infinity or multiple roots do not change the degree of a rational map of the Riemann sphere.

For the rational map approximation for Skyrmions, use stereographic projection $z=\tan (\theta /2)e^{i\phi }$ and the unit target vectorCombine this rational map with a radial profile to form a special unitary group field:where $\mathbf{\sigma }$ are the Pauli matrices. The endpoint values make $U(0)=-1$ independent of angle and $U(\infty )=1$. Appropriate radial behaviour gives an admissible finite-energy field configuration. With $L_i=U^{†}{\partial }_{i}U$, choose the topological baryon number in the Skyrme model conventionSeparating the radial and angular factors givesThus the degree of a rational map of the Riemann sphere supplies the Skyrmion charge.

In conventional dimensionless massless Skyrme model units, its static energy reduces towith the angular Jacobian of a rational mapThe Cauchy-Schwarz inequality gives $\mathcal{I}\ge k^2$. These formulas follow from the radial strain $|f^{\prime }|$ and the two equal angular strains $\sin f\sqrt{J_R}/r$: the quadratic energy sums their squares and the quartic Skyrme term sums their pairwise products of squares. Minimize the angular integral in the rational map approximation over degree-$k$ maps, then minimize the remaining radial energy with the stated endpoints. This replaces a three-dimensional field minimization by finitely many map coefficients and an ordinary differential equation for $f$.

The method constructs a charge-$k$ variational approximation, with topology built in and with rotational symmetry of a rational map translated into combined spatial and isospin rotations. It is efficient for identifying shapes and providing initial data for unrestricted numerical relaxation. Its restrictions are equally concrete: it uses one radial profile and a holomorphic angular map independent of radius, so it cannot represent arbitrary radial-angular correlations, separated clusters, or all deformations. Apart from the degree-one Skyrmion hedgehog ansatz, it generally does not solve the full field equation exactly. Massive-pion terms can be included in the radial functional but do not remove these restrictions, and multi-shell or unrestricted fields may be needed for larger charges. Approximate energy minima and a final collective-coordinate quantization are distinct steps.

QCD supplies the underlying strong interaction; Skyrmions provide a mesonic effective description of baryons, and quantized multi-Skyrmions can model nuclei. These are related descriptions at different scales, not three identical theories.

In QCD, quarks carry color charge and interact through gluons, the gauge fields of the color special unitary group $SU(3)$. Its Lagrangian density has the formAsymptotic freedom makes short-distance processes accessible through small-coupling expansions, but nuclear scales involve strongly coupled, confined dynamics. Observable hadrons are color singlets. A nucleon, either a proton or a neutron, is a baryon with baryon number one; a nucleus contains $A=Z+N$ such units of baryon number. Directly extracting all nuclear binding energies, spectra and interactions from QCD is difficult, motivating low-energy effective field theories that preserve its symmetries and relevant degrees of freedom.

For the two light quark flavours, the small-mass limit has approximate chiral symmetry $SU(2{)}_L\times SU(2{)}_R$. Chiral symmetry breaking leaves its vector subgroup $SU(2{)}_V$, the approximate isospin symmetry. The three pions are the associated Goldstone bosons in the massless limit and pseudo-Goldstone bosons when the light quark masses are retained. Package these pions into a special unitary group fieldwhere $F_{\pi }$ is the pion decay constant in this normalization and ${\sigma }_a$ are the Pauli matrices. The nonlinear sigma model is the leading two-derivative mesonic theory. The Skyrme model adds a specific four-derivative stabilizing interaction. One conventional normalization isHere $e$ is a dimensionless model coupling, not electric charge. The last term accounts for a common pion mass and preserves vector isospin. It vanishes in the chiral massless limit. This effective field theory uses color-singlet mesonic fields and does not resolve constituent quarks or gluons inside a baryon.

The condition $U(\mathbf{x})\to 1$ at spatial infinity compactifies physical space to $S^3$. Since $SU(2)$ is itself a three-sphere, the field defines a map $S^3\to S^3$ with integer topological charge in ${\pi }_3(S^3)=\mathbb{Z}$. This is identified with the topological baryon number in the Skyrme model:The associated topological current is identically conserved. A single Skyrmion has $B=1$, and a multi-Skyrmion with $B=A>0$ is a candidate intrinsic configuration for an ordinary nucleus; negative charge describes antibaryonic sectors. Integer topology prevents a smooth finite-energy unwinding into the classical vacuum, but it does not by itself guarantee a nonzero-size energy minimum.

The energetic reason for the Skyrme term is Derrick scaling. For the rescaled field $U_{\lambda }(\mathbf{x})=U(\mathbf{x}/\lambda )$ in three dimensions, let $E_2,E_4,E_0$ be the quadratic-gradient, quartic-gradient, and potential energies. Their scale dependence isThe two-derivative nonlinear sigma model alone can lower its static energy by shrinking. The positive quartic Skyrme term instead grows under shrinking, permitting a balance and a stable soliton size. Without the mass term, this balance gives $E_2=E_4$. The displayed scaling convention uses $U(\mathbf{x}/\lambda )$, so it is the inverse of the equally common $U(\lambda \mathbf{x})$ convention.

The connection with QCD is strengthened by large-Nc baryon scaling. Generalize the number of colors to $N_c$ while keeping $g_s^2{N}_c$ fixed. Meson masses remain of order one, their interactions weaken, and an effective mesonic action has an overall scale of order $N_c$. In the Skyrme model this corresponds to $F_{\pi }^2$ and $e^{-2}$ of order $N_c$, so the soliton mass and rotational moment of inertia are also of order $N_c$, whereas rotational level splittings are of order $1/N_c$. These are the expected baryon scaling properties of large-$N_c$ QCD. A massive, semiclassical soliton built from meson fields is therefore consistent with the underlying theory, even though physical $N_c=3$ is only a finite value and the simplest Skyrme model is not uniquely determined by this argument.

To represent a nucleon, a classical Skyrmion must be quantized. The unit Skyrmion hedgehog ansatz ties spatial rotations to isospin rotations. Its collective coordinates include its position and orientation; rotational quantization of a unit Skyrmion gives the rotor spectrumin units with $\hslash =1$. The Finkelstein-Rubinstein constraints impose the correct fermionic sign under a nontrivial configuration-space loop. In particular a $2\pi$ spatial rotation acts on a charge-$B$ state by $(-1{)}^B$ in the physical odd-color theory: odd $B$ admits half-integer spin, while even $B$ has integer spin. For $B=1$, the lowest allowed $J=I=1/2$ doublet represents the proton and neutron; the $J=I=3/2$ rotor state represents the Delta baryon resonance. A bosonic pion field can therefore describe fermionic baryons because the quantum wavefunction carries this nontrivial topological sign.

For nuclei, minimize the classical energy in a fixed baryon number sector, then quantize the permitted rotations, isospin rotations, and relevant vibrations or relative motions. The toroidal two-Skyrmion has a lowest nuclear state with $J=1,I=0$, identifying it with the deuteron. The cubic four-Skyrmion has an allowed $J=I=0$ state appropriate to the alpha particle. The rational map approximation for Skyrmions makes these intrinsic symmetries easier to construct, while collective-rotation constraints for a Skyrmion select allowed nuclear quantum numbers. A spin-zero state has rotationally invariant laboratory expectation values; a classical cubic intrinsic field should not be interpreted as a fixed cube visible in every orientation. Collective-coordinate quantization restores this distinction between intrinsic shape and a physical quantum state.

The nuclear force also has a mesonic interpretation. At large separation the tails of Skyrmions are weak pion fields; with nonzero mass their multipole falloff derives from derivatives of the Yukawa potential. Their interaction depends on relative orientation, and after quantization generates the familiar spin- and isospin-dependent pion-exchange structure of the nuclear force. Attractive channels allow several unit Skyrmions to form a lower-energy multi-Skyrmion. In nuclear language the positive nuclear binding energy is the difference between the separated nucleon masses and the mass of the quantized bound state, not just a count of topological units.

The limitations remain physical. The simplest Skyrme model retains only selected terms in a derivative expansion, and finite solitons probe gradients where omitted terms can matter. Its parameters require matching or calibration; predicted binding can be too strong, and masses, radii and spectra are not all fixed correctly by topology. Rotational quantization alone neglects quantum and vibrational corrections, especially when clustering or breakup channels are important. More general mesonic interactions, additional meson fields, and less restrictive classical ansätze can improve the description, but they introduce further low-energy information. The organizing relation is thereforeIt links underlying quark and gluon dynamics to a geometric, symmetry-based account of baryons and nuclei, while keeping the distinction between an effective approximation and a full derivation from QCD.

Write every displayed block identity as $I_2$. Direct block multiplication in the Dirac representation of the gamma matrices givesThus their mixed anticommutator is zero. For two spatial indices,Using the Pauli matrix multiplication law givesThese exhaust all time-time, time-space and space-space cases of the Clifford algebra. No special choice of individual Pauli matrices beyond their stated anticommutator is needed.