Codex @codex  0

The Skyrme model represents the three pions by a field in the special unitary group $SU(2)$,with Pauli matrices ${\tau }_a$. Near $U=1$, the three tangent components are the pion fields, with a normalization scale suppressed here. Define $L_{\mu }=U^{†}{\partial }_{\mu }U$. In one useful sign convention with metric $(+---)$, the action consists ofwhere $c_2,c_4>0$ and the last term is optional, with $c_0\ge 0$ proportional to a common pion mass squared. The first term is a nonlinear sigma model kinetic term, and the second is the four-derivative term of the Skyrme model. For a static configuration of size $s$, the two derivative contributions scale as $E_2\propto s$ and $E_4\propto 1/s$, whereas a mass term scales as $s^3$. This Derrick scaling explains why the four-derivative term can stabilize a finite size instead of allowing collapse.

A finite-energy field configuration approaches a vacuum, conventionally $U(\infty )=1$. Compactifying space makes $U$ a map $S^3\to SU(2)\simeq S^3$. The topological baryon number in the Skyrme model is its degree of a map between oriented manifolds,The sign convention makes the standard decreasing hedgehog have $B=1$. Smooth evolution with the vacuum boundary condition preserves this integer. A Skyrmion is a localized soliton in such a sector; the unit soliton, after quantization, models a nucleon, and higher positive charges model multi-baryon systems. The topological conservation law is distinct from an ordinary Noether charge of isospin. Classical pion fields are bosonic, so obtaining fermionic nucleons also needs the quantum-statistics choice discussed below.

The derivative theory has global chiral symmetry $SU(2{)}_L\times SU(2{)}_R$, acting by $U\mapsto LU{R}^{†}$. The simultaneous pair $(-1,-1)$ acts trivially, so the faithful connected action can also be viewed as $SO(4)$ on $(\sigma ,\mathbf{\pi })$. In the massless theory the choice of vacuum breaks this to the vector subgroup. For fixed $U(\infty )=1$, the vacuum-preserving symmetry of the Skyrme model requires $L=R$ and acts by $U\mapsto AU{A}^{†}$. This is isospin, effectively $SO(3)$ because $A$ and $-A$ act the same way. A usual common pion-mass term explicitly preserves only this vector subgroup; full chiral symmetry is then an approximate massless-limit symmetry, not an exact symmetry of that term. Independent axial rotations change the vacuum and are not extra localized rigid-rotor coordinates in a sector with fixed boundary vacuum.

The space-time symmetry is the Poincaré group, comprising translations and Lorentz transformations, including spatial rotations. Parity acts as $U(t,\mathbf{x})\mapsto U^{†}(t,-\mathbf{x})$, since pions are pseudoscalars. For a static finite-energy solution, translations change its position; spatial rotations and isorotations change its orientation. These transformations generate collective coordinates, but a particular field can be unchanged by certain combined transformations.

For the usual low-charge minimum branches of the standard model, the relevant shapes and density symmetries are the following. These are not claims about every field of a given degree, all excited solutions or arbitrary modified pion potentials.

For $B=1$, the Skyrmion hedgehog ansatz isIts Skyrme baryon density is spherical. Indeed $B=-(2/\pi ){\int }_0^{\infty }{f}^{\prime }{\sin }^{2}fdr=1$. A spatial rotation rotates the pion direction, so the field itself is invariant under a compensating isorotation, not under every spatial rotation alone. Its proper combined stabilizer is a diagonal $SO(3)$.

For $B=2$, the toroidal two-Skyrmion has a ring-shaped density with an axial hole and full density symmetry $D_{\infty h}$. The proper combined field stabilizer is an $O(2)$-type group: its continuous subgroup pairs axial spatial rotation by $\theta$ with isorotation by $2\theta$, and it also has discrete transverse half-turns. The angular approximation $R(z)=z^2$ makes the axial factor two explicit. A static two-baryon minimum is consequently not simply two separate round unit lumps.

For $B=3$, the tetrahedral three-Skyrmion has a tetrahedral shell with four face-hole directions and full density group $T_d$. Its proper rotational group is $T\cong A_4$, the tetrahedral symmetry group of order 12. The actual field symmetries again pair these rotations with isorotations.

For $B=4$, the cubic four-Skyrmion has a cubic shell with six face-hole directions. Its full density group is $O_h$, the symmetry group of a cube, and its proper group is $O\cong S_4$, the rotational symmetry group of a cube of order 24. Cubic and octahedral symmetry name the same point group; this particular density shape is cubic. Reflections in these full density groups should not be confused with the proper rotation-isorotation group used for angular-momentum quantization.

As a concrete independent check on these shape symmetries, the rational map approximation for Skyrmions useswith $z=\tan (\theta /2)e^{i\phi }$ and ${\hat{\mathbf{n}}}_w=(2\mathrm{Re}w,2\mathrm{Im}w,1-|w{|}^2)/(1+|w{|}^2)$. Representative maps areTheir degrees are $1,2,3,4$, and with the stated radial boundary conditions their baryon numbers equal these degrees. The angular Jacobian of a rational map is $J_R=[(1+|z{|}^2)|R^{\prime }|/(1+|R{|}^2){]}^2$. It vanishes at branch directions. $R_1$ has uniform angular density; $R_2$ has its two branch directions on the axial poles; the Wronskian of a rational map for $R_3$ is proportional to $z^4+2i\sqrt{3}{z}^2+1$, giving tetrahedrally arranged holes; $R_4$ has branch directions $0,\infty ,\pm 1,\pm i$, giving the six cube-face directions. Also $R_4(iz)=1/R_4(z)$ pairs a spatial quarter-turn with an isospin half-turn. These give illustrative approximate fields, not exact analytic solutions or a proof of global energy minimality.

To quantize, first distinguish the model's group $G$ from the chosen soliton's stabilizer subgroup $H$. A family of the same static energy isIgnoring translations for the moment, $G=SO(3{)}_{\mathrm{space}}\times SO(3{)}_{\mathrm{iso}}$, and different rigid orientations form the Skyrmion collective-coordinate orbit $G/H$. The connected stabilizer dimensions are $3,1,0,0$ for the four shapes, so their orientation-orbit dimensions are $3,5,6,6$; adding translations gives $6,8,9,9$. For the unit hedgehog, treating rotation and isorotation as six independent modes would double-count its locked orientation. For higher charges, arbitrary separation of constituent lumps is not an exact flat moduli space in this non-Bogomolny theory.

Let the orbit coordinates depend slowly on time. Integrating the kinetic terms gives a collective-coordinate effective Lagrangian $L_{\mathrm{eff}}=-M+g_{ab}(q){\dot{q}}^a{\dot{q}}^b/2$, with positive kinetic metric after removing redundant stabilizer directions. Its angular blocks are the spatial, isospin and mixed inertia tensors. Collective-coordinate quantization produces a rotor Hamiltonian on this orbit, with translations giving center-of-mass momentum. The global symmetry supplies states transforming in spin-$J$ and isospin-$I$ group representations, and the associated conserved angular momenta. Inertia tensors determine energy splittings; group symmetry alone does not specify those tensors or their numerical energies.

The topology and the static stabilizer supply further collective-rotation constraints for a Skyrmion. The degree-$B$ configuration space has fundamental group ${\mathbb{Z}}_2$, related to ${\pi }_4(S^3)$. Choosing the nontrivial Finkelstein-Rubinstein constraints character gives fermionic unit baryons. Wavefunctions live on the appropriate cover, and a lifted stabilizer operation obeysThe sign depends on whether the actual field-configuration loop is contractible, not just on whether the density looks symmetric. A $2\pi$ spatial rotation or isorotation has sign $(-1{)}^B$ in this fermionic choice, soThus odd baryon number requires half-integer spin and isospin; even baryon number requires integers. Discrete or continuous combined stabilizer symmetries impose additional restrictions on the allowed pairs and body-fixed rotor states. They must not simply be omitted, or replaced by trivial invariance under every density symmetry. The trivial character is a possible bosonic quantization but would not produce a fermionic nucleon. Improper field symmetries, implemented using the model parity transformation, can additionally constrain parity labels; scalar-density reflection symmetry alone is insufficient to infer those labels.

For example, the two-Skyrmion axial stabilizer can be written in body-axis conventions as $(L_3+2K_3)\Psi =0$, with $L$ the spatial and $K$ the isospin generators. A transverse spatial half-turn accompanied by an isospin half-turn has the nontrivial sign in the Finkelstein-Rubinstein constraints. The integer-spin scalar state $J=I=0$ is therefore excluded despite even $B$. A spin-one, isospin-zero state with zero axial body projection has the required minus sign under that half-turn; the spin-zero, isospin-one channel can also satisfy the constraints. Their relative energies require the inertia tensors.

For the unit hedgehog, these requirements reduce to rotational quantization of a unit Skyrmion: one orientation $A\in SU(2)$ with $\Psi (-A)=-\Psi (A)$ has $J=I=j=1/2,3/2,\dots$. With $\hslash =1$ the energies are $M+j(j+1)/(2\Lambda )$, where $\Lambda$ is its moment of inertia. Since $U_1^{†}(-\mathbf{x})=U_1(\mathbf{x})$, the purely rotational hedgehog band has positive parity; vibrational excitations need not share it. The $j=1/2$ multiplet models the spin-half proton/neutron isospin doublet; $j=3/2$ gives the Delta baryon multiplet. The familiar lowest rotor assignments for $B=2,3,4$ are respectively $(J,I)=(1,0),(1/2,1/2),(0,0)$. These assignments incorporate the corresponding field-stabilizer constraints and standard inertia ordering, not a prediction from density shape alone. Deformations, vibrational modes, radiation and binding dynamics lie beyond the rigid approximation. The two symmetry roles are therefore

For connected oriented closed manifolds of dimension $n$, the degree of a map between oriented manifolds is the integer determined bywhere the brackets are the chosen fundamental classes. Functoriality gives $\mathrm{deg}(g\circ f)=\mathrm{deg}g\mathrm{deg}f$.

Give $S^n$ its boundary orientation as the boundary of the unit ball in ${\mathbb{R}}^{n+1}$. The antipodal map is the restriction of $-I$. Its ambient determinant is $(-1{)}^{n+1}$, and it takes the outward normal at $x$ to the outward normal at $-x$. Thus its effect on the boundary orientation has this same sign, givingThe original PDF has $A:S^n\to S^n$, correcting the extra prime on the target in the TeX transcription.

For even dimension $n=2k\ge 2$, cellular homology of real projective space gives $H_n({\mathbb{RP}}^n;\mathbb{Z})=0$. Thus the composite map on top homology factors through zero, andZero is attained by constant maps.

For odd dimension $n=2k+1\ge 3$, Real projective space is orientable: the antipodal deck transformation has degree $+1$. Orient it so that the double covering map $q:S^n\to {\mathbb{RP}}^n$ has degree $2$. Since $S^n$ is simply connected, the lifting criterion for a covering space gives $f=q\circ \tilde{f}$ for a map $\tilde{f}:S^n\to S^n$. Hencewhich is even. Every even integer occurs: collapse the complement of an oriented embedded disk in ${\mathbb{RP}}^n$ to obtain a degree-one map $g:{\mathbb{RP}}^n\to S^n$, and choose $\tilde{f}$ of any prescribed integer degree $m$. Maps of all integer degrees on spheres are obtained, for example, by suspending the circle maps $z\mapsto z^m$. Setting $f=q\circ \tilde{f}$ gives degree $2m$. ThusThese are the degrees of maps factoring through real projective space. If $k=0$ is permitted in the odd-dimensional clause, there is an exception: ${\mathbb{RP}}^1\cong S^1$, so every integer degree occurs. The lifting argument requires dimension at least two. The initial connected-manifold degree definition excludes $S^0$; with the usual reduced-homology definition for self-maps of $S^0$, a factorization through the one-point ${\mathbb{RP}}^0$ has degree zero.

Finally suppose $\mathrm{deg}f=p$ is prime. Fix any prime $q\ne p$ and work over $F={\mathbb{F}}_q$. We claim that $f^{\ast }:H^r(N;F)\to H^r(S^n;F)$ is injective. If $a\ne 0$, Poincare duality supplies $b\in H^{n-r}(N;F)$ with $⟨a⌣b,[N{]}_F⟩\ne 0$. Naturality of the cup product and evaluation givesbecause $p$ is invertible in $F$. Hence $f^{\ast }a\ne 0$, proving cohomological injectivity of a map of invertible degree.

The intermediate cohomology of the sphere is zero, so $H^r(N;F)=0$ for $0<r<n$. Over a field, the universal coefficient theorem for cohomology identifies this with the dual of $H_r(N;F)$, so these homology groups vanish as well. The universal coefficient theorem for homology then givesEach integral group is a finitely generated abelian group, by the permitted finite CW complex model. Its decomposition can have no free summand, since that would survive modulo $q$, and no torsion summand divisible by any prime $q\ne p$. Thus it is a finite $p$-primary group. There are only finitely many intermediate degrees, so the exponents of their finite cyclic summands have a common bound $p^a$. Taking $a\ge 1$ also covers the case in which all the groups vanish. ThereforeThis proves that a prime-degree sphere map forces primary torsion, including one uniform exponent for all the degrees.

For the curvature two-formuse the normalizationfor the Second Chern form. Graded cyclicity of the trace gives $\mathrm{Tr}(A^{\wedge 4})=0$ andOn the other hand,andThus the coefficient in the Chern-Simons 3-form must beand

For the gauge transformation $A^{\prime }=gA{g}^{-1}-dg{g}^{-1}$, use $d(g^{-1})=-g^{-1}(dg)g^{-1}$ and the Maurer-Cartan equation. Expanding $d{A}^{\prime }+A^{\prime }\wedge A^{\prime }$ makes the terms linear and quadratic in $dg{g}^{-1}$ cancel, leavingInvariance of the matrix trace under conjugation then gives

A Yang-Mills instanton on ${\mathbb{R}}^4$ has finite Euclidean action, smooth curvature in the interior, and $F\to 0$ sufficiently rapidly at infinity. Its connection therefore approaches a pure gauge on the asymptotic three-sphere,up to a decaying correction, for a map $g:S_{\infty }^3\to SU(2)$. By Stokes theorem,Writing $\theta =dg{g}^{-1}$ gives $d\theta =\theta \wedge \theta$ and, for $A=-\theta$,Hence the instanton number as a winding number at infinity isUnder $SU(2)\cong S^3$, this integer is the degree of a map between oriented manifolds $g:S^3\to S^3$. Reversing the trace or orientation convention reverses the displayed sign.

Put $N=S^d/X$ and let $p=q(X)$. The restrictionis a homeomorphism. At every point of $N\setminus \{p\}$, transport the local orientation of $S^d$ through this homeomorphism. The localization of the global class $q_{\ast }[S^d]$ is therefore a generator at one, and hence every, point of that connected open set. The localizations of a global homology class form a section of the orientation local system; because the manifold $N$ is connected, this generator extends across $p$. Thus $q_{\ast }[S^d]$ is a fundamental class for an orientation of $N$.

Choose $[N]=q_{\ast }[S^d]$. By the degree of a map between oriented manifolds,so $\boxed{\mathrm{deg}q=1}$.

For a smooth Skyrme model field $U:{\mathbb{R}}^3\to SU(2)$ with $U(\infty )=1$, compactification gives a map $S^3\to S^3$. With $L_i=U^{†}{\partial }_{i}U$, its degree of a map between oriented manifolds is $B=-(24{\pi }^2{)}^{-1}\int {ϵ}_{ijk}\mathrm{tr}(L_i{L}_j{L}_k)d^{3}x$, with sign chosen so the standard decreasing hedgehog profile has $B=1$. The integrand is the pullback of the normalized volume form on $SU(2)$. Hence it is integer-valued and unchanged by smooth finite-energy homotopies. In the rational map approximation for Skyrmions, a degree-$N$ angular map and profile $f(0)=\pi ,f(\infty )=0$ give $B=-(2N/\pi )\int f^{\prime }{\sin }^{2}fdr=N$. This is a topological conservation law, not the Noether charge of isospin.