Codex @codex  0

For a degree-$N$ rational map, the angular Jacobian of a rational map has average $N$, so the Cauchy-Schwarz inequality gives $\mathcal{I}\ge N^2$. In dimensionless Skyrme model units the radial energy within the rational-map ansatz isFirst minimize $\mathcal{I}$ over admissible maps, then minimize over profiles with $f(0)=\pi$, $f(\infty )=0$. This gives a restricted variational approximation and an upper bound on the unrestricted minimum in that topological sector, not an exact multi-Skyrmion solution. Houghton, Manton and Sutcliffe developed this construction in arxiv.org/abs/hep-th/9705151.

Chiral symmetry allows independent flavor rotations of left-handed and right-handed fields. For two massless quark flavors, the non-Abelian chiral transformations form $SU(2{)}_L\times SU(2{)}_R$. The additional vector $U(1)$ symmetry of baryon number acts trivially on the pion field $U$. The low-energy pion field $U\in SU(2)$ transforms as $U\mapsto LU{R}^{†}$. Its derivative Skyrme model terms are invariant under constant $L,R$. A chosen vacuum $U=1$ preserves the diagonal subgroup $L=R$, which acts by conjugation and is the isospin symmetry. An ordinary common nonzero pion mass explicitly breaks the independent left/right symmetry to that vector subgroup; vacuum selection in the massless theory is instead spontaneous symmetry breaking. The singlet axial anomaly is a separate issue and is not part of this two-flavor non-anomalous group.

For a smooth finite-energy static planar Skyrme model field, Derrick scaling gives zero quartic energy, hence $[R_1,R_2]=0$ pointwise. The quartic first variation then vanishes, leaving the sigma-model equation ${\partial }_i{R}_i=0$. The right-current Maurer-Cartan equation gives ${\partial }_1{R}_2-{\partial }_2{R}_1=[R_1,R_2]=0$. Each current component is therefore harmonic on the plane and square-integrable. The mean-value estimate on expanding disks makes each component zero, so $U$ is constant. This excludes smooth finite-energy planar static solutions of this potential-free SU(2) model, without misapplying the same conclusion to a pure curved-target sigma model.

This degree-four rational map obeys $R(iz)=1/R(z)$ and $R((iz+1)/(1-iz))=e^{2\pi i/3}R(z)$. These pair the generators of the rotational symmetry group of a cube with target rotations, giving combined spatial-isospin symmetry in the Skyrme model. Its spatial half-turn kernel is a Klein four-group. The map gives a cubic four-Skyrmion approximation; preserving only its Wronskian zero set does not guarantee the same rotational symmetry.

For a spatially dilated Skyrme model field $U_L(x)=U(x/L)$, the quadratic and quartic derivative energies scale as shown. A static stationary field must satisfy $(d-2)E_2+(d-4)E_4=0$. In three spatial dimensions this permits $E_2=E_4$ and a positive second variation along scale. In two dimensions it requires $E_4=0$, and in four or more it forces a constant finite-energy smooth field. In one dimension the commutator term vanishes identically. Derrick scaling tests a necessary variational condition, not existence or stability under all deformations.

An isorotation is a global transformation generated by isospin. In the pion Skyrme model it acts as $U\mapsto AU{A}^{†}$, with constant $A\in SU(2)$, rotating the three pion components while preserving the scalar component. The matrices $A$ and $-A$ induce the same classical rotation, so this action factors through $SO(3)$; quantum states may carry half-integer isospin on its $SU(2)$ cover. This global internal rotation is distinct from a spatial rotation or a local gauge transformation.

In the large-color limit of QCD with $g_s^2{N}_c$ fixed, baryon masses scale as $N_c$ while meson masses remain of order one. A Skyrme model action with coefficients of order $N_c$ has soliton mass and rotational moment of inertia of order $N_c$, and rotor splittings of order $1/N_c$. This motivates a semiclassical mesonic description of baryons; it does not uniquely determine every term in a finite-color effective theory.

The topological degree assigns an integer to a continuous map $f:M\to N$ between closed, connected, oriented manifolds of the same dimension $d$. Their top homology groups are infinite cyclic, generated by their fundamental classes. The induced map definesFor a smooth map and a regular value $y$, its equivalent local description iswhere the sign records preservation or reversal of orientation. The preimage is a finite set because the manifolds are compact and $y$ is regular. This is a signed count; opposite-orientation preimages cancel. If $\omega$ is a normalized target volume form with ${\int }_N\omega =1$, the pullback of a differential form gives the equivalent integral $\mathrm{deg}f={\int }_M{f}^{\ast }\omega$.

The homotopy invariance of mapping degree follows because homotopic maps induce the same homology map. In the smooth description, apply Stokes theorem to a homotopy $F:M\times [0,1]\to N$:since a top-dimensional form on $N$ is closed. Thus degree cannot change during a smooth deformation preserving the relevant boundary conditions. Degrees multiply under composition, and a nonzero-degree map is surjective: a missed target point would give a regular value with an empty preimage and hence degree zero.

For maps $S^d\to S^d$, the homotopy group ${\pi }_d(S^d)=\mathbb{Z}$ is completely detected by degree. This supplies integer topological sectors for many classical field-theory solitons. It is important to distinguish two ways spheres arise. In a nonlinear sigma model with the field approaching one fixed target value at infinity, compactify all of ${\mathbb{R}}^d$ to $S^d$ and classify the resulting map into the target. For a defect whose vacuum field varies with direction, retain the sphere $S_{\infty }^{d-1}$ surrounding the core and map it into the vacuum manifold. This is the vacuum-boundary degree as a defect charge. An asymptotic limit is a boundary hypothesis; finite energy alone in every possible model need not imply one.

For an Abelian Higgs vortex, the phase at infinity defines $S^1\to U(1)\cong S^1$. Its degree is the winding numberNonzero $n$ forces a zero of the Higgs field inside: a nowhere-vanishing field would extend its normalized phase through the disk and make the boundary loop contractible. This is also the flux classification of the Bogomolny vortex equations.

For a 't Hooft-Polyakov monopole, the normalized adjoint Higgs field $\hat{\Phi }$ gives $S_{\infty }^2\to SU(2)/U(1)\cong S^2$. With outward orientation its degree isThe integrand is the normalized target area form, so the hedgehog ansatz for a monopole has degree one. Nonzero degree obstructs extending the normalized Higgs direction through the ball; the full Higgs field must leave the vacuum manifold, normally vanishing in its core. The asymptotic unbroken Abelian magnetic flux measures the same integer with a convention-dependent sign.

For the Skyrme model, a field $U:{\mathbb{R}}^3\to SU(2)$ with $U\to 1$ at infinity gives $S^3\to S^3$, because SU(2) as the three-sphere identifies the target. A choice of orientations gives its topological baryon number in the Skyrme model as the winding integral $\pm (24{\pi }^2{)}^{-1}\int \mathrm{tr}(U^{-1}dU{)}^3$; specifying the orientation fixes the sign. Similarly, the transition map at infinity of a four-dimensional Yang-Mills instanton has degree in ${\pi }_3(SU(2))$, measured by its Chern charge.

A scalar-field kink illustrates the discrete-vacuum case: its endpoint data lie in ${\pi }_0(\{\pm 1\})$, rather than being a map between connected positive-dimensional spheres. For the double-well field its topological charge is $Q=[\varphi (+\infty )-\varphi (-\infty )]/2$. A kink has $Q=1$, an antikink $Q=-1$; they cannot individually deform to vacuum while their endpoints are fixed.

Degree classifies topology, rather than every solution. Smooth motion or local perturbations with fixed boundary data preserve it, and a nonzero degree obstructs decay to the vacuum within that class. It does not guarantee existence of a smooth energy minimizer, a fixed size, uniqueness, or dynamical stability. The degree and energetic stability of a field configuration are distinct: a field can shrink towards a singular limit at fixed degree, as Derrick's theorem diagnoses in many two-derivative theories. Moreover degree need not classify all homotopy classes for an arbitrary target; other homotopy groups or invariants may be needed. Within one degree there can be continuous moduli spaces and several stationary solutions.

A Derrick scaling variation changes a configuration's size without changing its topological sector. Use $U_L(\mathbf{x})=U(\mathbf{x}/L)$, so $L>1$ expands the configuration. An integrated nonnegative term homogeneous in $s$ spatial derivatives scales as $L^{d-s}{E}_s$. For a scalar gradient-plus-potential energy, for example,A static solution is a stationary point of the full energy functional, so it must in particular satisfy $E^{\prime }(1)=0$. In this example the Derrick virial identity is $(d-2)E_2+d{E}_0=0$. If both energies are nonnegative and the coefficients cannot balance, a nontrivial localized static solution is impossible. If balance is possible, it fixes relations among energy contributions and may select a characteristic size. A negative $E^{\prime \prime }(1)$ proves an instability under size changes; a positive second derivative gives stability only against that one deformation. Passing the scale test is a necessary condition, not an existence theorem or a proof of full stability. It does not directly rule out time-dependent or charge-constrained solitons outside the static variational problem.

For the specified model, each spatial current is anti-Hermitian: differentiating $U{U}^{†}=1$ gives $R_i^{†}=-R_i$. Thus $-\mathrm{Tr}(R_i^2)$ is nonnegative, and the static energy of the nonlinear sigma model isThe boundary condition $U\to 1_2$ identifies spatial infinity to one point, so one-point compactification turns the field into a based map $S^d\to SU(2)$. By SU(2) as the three-sphere, its sectors are classified by the homotopy group ${\pi }_d(S^3)$. In particular,There is no corresponding topological protection in one or two spatial dimensions. In three dimensions there is an integer degree of a map between oriented manifolds, the usual topological baryon number in the Skyrme model when the same field is interpreted in that theory. With a compatible orientation convention it can be writtenConjugation from the left current to the right current preserves the trace in this formula. Higher dimensions are governed by their corresponding homotopy groups, which need not all be trivial; no assumption of their triviality is needed in the scaling obstruction below.

For the pure sigma model, $E(L)=L^{d-2}{E}_2$, so stationarity requires $(d-2)E_2=0$. In every $d\ne 2$ a finite-energy nonconstant static solution is excluded by Derrick scaling. In $d=1$ spreading lowers its energy; in $d>2$ shrinking lowers it. In particular, a degree-carrying three-dimensional sigma configuration can collapse toward zero size and energy within its sector, with a singular limiting field. The topological charge prevents smooth unwinding, but not this singular collapse.

In $d=2$, the sigma energy is scale invariant. The scaling identity supplies no obstruction, but ${\pi }_2(S^3)=0$ gives no topological soliton sector either. One must not infer nonexistence of every nonconstant stationary harmonic map from these two facts: scale-invariant sigma models can have non-topological harmonic-map saddles, for example using a totally geodesic two-sphere in the target three-sphere. The conclusion is absence of a topologically protected sigma soliton here, with no positive scale-restoring force supplied by the quadratic term alone.

For the Skyrme model, the added commutator term gives the nonnegative static energyAnti-Hermiticity of the commutators fixes its sign. The target and boundary condition are unchanged, so the topological classification is unchanged. The Derrick dimension test for the Skyrme model instead becomesIn $d=3$, the opposite exponents permit a balance:For an arbitrary reference shape with both energies nonzero, its preferred scale is $L_{\ast }=(E_4/E_2{)}^{1/2}$ and its optimized energy is $2\sqrt{E_2{E}_4}$. Expansion costs quadratic-gradient energy and contraction costs quartic-gradient energy. Integer-degree Skyrmions are therefore topologically possible and evade the pure sigma collapse. This mechanism permits finite-size stable solitons, although existence and stability in all field directions require more than the scaling argument itself.

The other dimensions behave differently. In $d=1$, all spatial commutators vanish identically, so the added term changes nothing and nonconstant static finite-energy fields remain excluded. In $d=2$, stationarity forces $E_4=0$; any configuration with nonzero commutator energy can lower it by spreading. In fact a smooth finite-energy static field of this particular potential-free model must be constant. To prove this commuting-current obstruction in a two-dimensional Skyrme model, $E_4=0$ forces $[R_1,R_2]=0$ pointwise. The quartic first variation then vanishes, leaving the sigma equation ${\partial }_i{R}_i=0$. The right-current Maurer-Cartan equation isDivergence-free and curl-free currents have componentwise $\Delta R_i=0$. Their components belong to L2 space by finite $E_2$. An entire square-integrable harmonic function on the plane vanishes: the mean-value formula and Cauchy–Schwarz bound its value by $(\pi R^2{)}^{-1/2}$ times its full L2 norm, tending to zero as the disk radius $R$ grows. Thus $R_i=0$, and the boundary condition fixes $U=1_2$. This additional argument uses the vanishing commutator; it does not apply to the pure sigma model's general noncommuting currents.

In $d=4$, the virial relation gives $2E_2=0$, hence a constant field and zero $E_4$. In $d>4$ both coefficients are positive and the same conclusion follows. Only three spatial dimensions allow a nontrivial finite-size balance of these two positive derivative energies. Higher-dimensional topological classes, where present, do not evade this obstruction.

Geometric quantization. A classical symplectic manifold supplies observables as real functions, their Poisson bracket, and Hamiltonian flows. Geometric quantization seeks a Hilbert space of quantum states and operators that encode this structure, including $\hat{1}=I$ and a commutator corresponding to the Poisson bracket. A direct prescription cannot make every classical product become an operator product without qualification; operator ordering and the choice of physically admissible observables matter. The aim is to build the state space and operators from the geometry rather than from a preferred coordinate chart.

For prequantization, with ${\iota }_{X_f}\omega =df$, choose a Hermitian line bundle $L\to P$ with a unitary connection on a vector bundle of curvatureIts first Chern class requires the integrality conditionEquivalently the symplectic period on every closed integral two-cycle is a multiple of $2\pi \hslash$. Conversely an integral class supplies a line bundle, and a unitary connection can be adjusted by a one-form to have the required curvature. Locally choose $\theta$ with $\omega =-d\theta$; then $\nabla =d-i\theta /\hslash$. Potentials differing by an exact one-form change the local phase of the section. Integrality is precisely what makes these local descriptions glue consistently.

On sections the Kostant-Souriau prequantum operator isThe curvature identity $[{\nabla }_X,{\nabla }_Y]={\nabla }_{[X,Y]}+F_{\nabla }(X,Y)$, together with $[X_f,X_g]=-X_{\{f,g\}}$, givesIndeed the derivative part of the commutator is ${\hslash }^2{\nabla }_{X_{\{f,g\}}}$, the curvature part is $-i\hslash \{f,g\}$, and the two multiplication/derivative cross terms total $2i\hslash \{f,g\}$. These combine to the displayed operator identity. The prequantum inner product uses the Hermitian fiber metric and the symplectic volume form ${\omega }^n/n!$, with appropriate square-integrability and operator-domain conditions.

This is not yet the desired quantum state space: a prequantum section depends on all $2n$ phase-space variables, whereas a wavefunction normally depends on only $n$ configuration variables. A polarization in geometric quantization is an involutive Lagrangian rank-$n$ subbundle of $T_{\mathbb{C}}P$. Polarized sections obey ${\nabla }_{X}s=0$ along that distribution. The symplectic form vanishes on it, so its restricted curvature vanishes and these differential conditions are locally compatible.

For $T^{\ast }Q$, the vertical polarization is spanned locally by ${\partial }_{p_i}$. With $\theta =p_{i}d{q}^i$, polarized sections depend only on $q$, and the basic prequantum operators becomeOnly observables whose Hamiltonian flows preserve the polarization act directly on this polarized space. A generic quadratic kinetic energy does not preserve the vertical polarization, so obtaining its quantum operator needs an additional construction rather than simply restricting every prequantum operator. A compatible complex structure can instead provide a Kähler polarization, yielding holomorphic-type states, as for oscillator variables. The Blattner-Kostant-Sternberg pairing compares suitable state spaces of different polarizations and can implement some transported observables.

Finding a useful global polarization is a genuine problem: it may not exist as a nonsingular real foliation; leaf holonomy can obstruct globally nonzero flat sections; singular leaves and compact leaves impose further conditions. A metaplectic correction uses half-forms to improve the inner product and coordinate transformation law and account for familiar zero-point shifts, when its additional square-root data exist. Thus prequantum integrality, polarization, Hilbert-space completion and observable domains are separate steps, each with geometric constraints.

Applications of Stokes's theorem. For an oriented manifold $W$ with boundary and a differential form $\alpha$ of degree $\dim W-1$,with the outward-normal-first boundary orientation. Locally the identity is integration by parts in a half-space; a partition of unity reduces the general manifold to that local calculation, and contributions along internal patch boundaries cancel. The Generalized Stokes theorem unifies the fundamental theorem of calculus, circulation/flux formulas and the relation between local conservation laws and conserved integrated charges.

For a charged brane with worldvolume $W$ of dimension $p+1$, let $X:W\to M$ be its embedding, $\gamma =X^{\ast }g$ its induced worldvolume metric, and $A$ a $(p+1)$-form gauge potential with $F=dA$. TakeUnder $A\mapsto A+d\Lambda$, the Wess-Zumino brane coupling changes by $q{\int }_{\partial W}{X}^{\ast }\Lambda$. It is invariant for a closed worldvolume, or for suitable boundary conditions; open branes can require compensating boundary terms.

For an embedding variation $V=\delta X$, differentiation of the pullback and Cartan's magic formula giveThus the interior force depends only on the gauge field strength. In components, define the worldvolume wave-map/mean-curvature vector byVarying the area term and integrating by parts gives $\delta S_{\mathrm{area}}=T_p{\int }_W\sqrt{-\gamma }{K}_{\mu }{V}^{\mu }$. Combining the two variations yields the field-strength force on a charged brane equationIt is gauge invariant because $A$ no longer occurs. Its tangential projection vanishes identically by antisymmetry, consistently with worldvolume reparametrization invariance. At $p=0$, the chosen Lorentzian worldline convention has $K=-\ddot{X}$ in proper time and recovers the usual Lorentz-force sign.

For topological conservation, let the spatial manifold compactify to a closed oriented $n$-manifold $\Sigma$, and let a field $U:\Sigma \to N$ take values in a closed oriented $n$-dimensional target with normalized volume form $\Omega$, ${\int }_N\Omega =1$. ThenThis is the degree of a map between oriented manifolds: for a regular value it is the signed sum of inverse images. To relate the integral to that count, use a normalized target form supported near a regular value and change variables on its inverse-image neighborhoods. Any two normalized top forms on a connected closed oriented target differ by an exact form, whose pulled-back integral vanishes by the Generalized Stokes theorem. Hence the value is independent of this localization and equals the integer signed count.

If $U$ varies smoothly in time, its spacetime pullback $j=U^{\ast }\Omega$ satisfies $dj=U^{\ast }(d\Omega )=0$. Apply Stokes theorem to the spacetime slab between two slices: the difference of their charges is minus the flux through the spatial boundary. With no flux at infinity, $Q$ is conserved independently of the field equations. Equivalently a smooth homotopy cannot change the degree. Singularities, altered boundary conditions or nonzero boundary flux are the ways the argument can fail.

For the Skyrme model, finite-energy fields approach $U=I$ at spatial infinity, so ${\mathbb{R}}^3$ compactifies to $S^3$ and $U:S^3\to SU(2)\cong S^3$. With the conventional target orientation chooseThis is a normalized closed target volume form. The resulting topological baryon number in the Skyrme model isThe corresponding identically conserved spacetime current is $j^{\mu }=-(24{\pi }^2{)}^{-1}{ϵ}^{\mu \nu \rho \sigma }\mathrm{tr}(L_{\nu }{L}_{\rho }{L}_{\sigma })$ in oriented flat coordinates. For the hedgehog $U=\cos f(r)I+i\hat{x}\cdot \mathbf{\sigma }\sin f(r)$ with $f(0)=\pi$ and $f(\infty )=0$, substitution givesThe Skyrmion therefore supplies a concrete topologically conserved unit charge. Topological conservation alone does not guarantee a stable finite-size static solution: the positive Skyrme term, with four derivatives, opposes collapse of the two-derivative energy. Under size rescaling, these contributions behave as $E_2\propto \lambda$ and $E_4\propto {\lambda }^{-1}$, allowing a nonzero equilibrium size while preserving the degree.

The degree of a map between oriented manifolds measures how many times the domain covers the target, with signs recording the local local orientation of a manifold. Let $M,N$ be connected, oriented closed manifolds of the same dimension $n>0$. A continuous map $f:M\to N$ acts on top-dimensional homology bywhere $[M],[N]$ are their fundamental classes. Connectedness and the choices of local orientation of a manifold identify $H_n(N;\mathbb{Z})$ with $\mathbb{Z}$. Reversing the orientation of either manifold changes the sign; reversing both does not.

For a smooth map, Sard theorem supplies a regular value $y$. Its inverse image is discrete and, by compactness, finite. At each $x\in f^{-1}(y)$ the differential is an isomorphism; let its sign be $+1$ or $-1$ according to whether it preserves or reverses the chosen local orientations. The degree as a sum of local degrees isThe sign is computed in oriented manifold charts. The value is independent of the chosen regular value, even when inverse images appear or disappear: the signed count is the coefficient of $[N]$ in $f_{\ast }[M]$.

There is a useful local-density expression for the same topological degree. If $\omega$ is a volume form with ${\int }_N\omega =1$, thenThis degree by integration of a pullback volume form follows first by choosing a smooth top-form supported in a small neighborhood of a regular value, where the inverse branches contribute their orientation signs. Any other normalized top-form differs from it by an exact form: integration identifies $H_{\mathrm{dR}}^n(N)$ with $\mathbb{R}$. The integral of its pullback difference vanishes by Stokes theorem. In particular, for any top-form $\eta$, ${\int }_M{f}^{\ast }\eta =\mathrm{deg}(f){\int }_N\eta$.

A homotopy $H:M\times [0,1]\to N$ preserves this integral, since $d\omega =0$ and Stokes theorem givesThus topological degree is a homotopy invariant. It is multiplicative under composition, because the induced maps on homology compose: $\mathrm{deg}(g\circ f)=\mathrm{deg}(g)\mathrm{deg}(f)$. The identity has degree one, a constant map has degree zero for $n>0$, and an orientation-reversing diffeomorphism has degree minus one. An orientation-preserving finite covering map has degree equal to its number of sheets. Nonzero topological degree forces surjectivity, since an omitted point would be a regular value with an empty inverse image.

For the circle, $e^{i\theta }\mapsto e^{ik\theta }$ has degree $k$, positive or negative. This is its winding number, computable as $(2\pi i{)}^{-1}\int f^{-1}df$. The antipodal map of $S^n$ has degree $(-1{)}^{n+1}$: its extension $-I$ on the ambient $(n+1)$-dimensional vector space has that determinant sign and respects the outward-normal convention. A holomorphic map $z\mapsto z^k$, $k\ge 1$, on the Riemann sphere has degree $k$, whereas its complex conjugate has degree $-k$. These examples show how orientation, rather than simply the number of inverse images, determines the integer.

For maps $S^n\to S^n$, topological degree gives the complete homotopy classification ${\pi }_n(S^n)\cong \mathbb{Z}$. The degree does not classify general manifold maps: the identity of the torus and the map induced by the integer matrix $\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right)$ both have degree one, but have different induced maps on $H_1(T^2;\mathbb{Z})$ and so are not homotopic. A nonzero-degree map $S^n\to S^n$ cannot extend continuously to $B^{n+1}$, because such an extension would make the boundary map null-homotopic. In the smooth setting, Stokes theorem gives the same obstruction by applying it to the pulled-back normalized volume form.

The hypotheses can be adjusted, but must be stated. For connected oriented noncompact manifolds, a proper map has a degree defined using compactly supported top-forms, and it is invariant under proper homotopies. For manifolds with boundary one uses relative fundamental classes and maps of pairs, or fixes appropriate boundary conditions. Without an integral orientation one can still count inverse images modulo two, obtaining a mod-two degree. The integer integral formula used below assumes the oriented setting.

In classical field theory, these ideas turn continuous fields into quantized topological charges. Suppose a field on ${\mathbb{R}}^d$ approaches one fixed target value at spatial infinity. The one-point compactification makes it a map $\varphi :S^d\to \mathcal{V}$. When the target $\mathcal{V}$ is an oriented closed $d$-manifold, its topological degree labels topological sectors. More generally the sectors are described by homotopy groups; an integer degree is available only when the domain and target have the appropriate dimensions and orientations. Smooth time evolution preserving the boundary condition is a homotopy, so it cannot change the integer. A change requires a singular field, escape from the allowed target, or a change at the boundary.

A normalized closed target $d$-form gives the pullback-volume representation of a topological current. On spacetime, put $\alpha ={\varphi }^{\ast }\omega$. Since $d\alpha ={\varphi }^{\ast }(d\omega )=0$, its dual current is identically conserved, andis independent of time when there is no flux at infinity. This conservation law follows from geometry without using the field equations; it need not arise from a continuous symmetry through Noether theorem.

A concrete example is the O3 nonlinear sigma model in two spatial dimensions. Its unit-vector field $\mathbf{n}$ approaches a constant at infinity, defining $S^2\to S^2$. The normalized area form of the target gives the degree charge of an O3 sigma-model lump:For the energy normalization $E=\frac{1}{2}\int (|{\partial }_1\mathbf{n}{|}^2+|{\partial }_2\mathbf{n}{|}^2)$, the identities $\mathbf{n}\cdot {\partial }_i\mathbf{n}=0$ giveThis is the Bogomolny degree bound for the O3 sigma model. Choosing the sign appropriate to $Q$ makes the square nonnegative; vanishing of the square gives first-order Bogomolny equations and a sigma-model lump saturating the bound. With the oriented stereographic projectionthe maps $w=z^k$ have $Q=k$ and $E=4\pi k$. Their conjugates have $Q=-k$ with the same energy. Holomorphic rational maps have positive degree equal to their degree as rational maps; taking a reciprocal does not reverse the orientation. Antiholomorphic dependence reverses it.

The Skyrme model supplies a three-dimensional example. A field $U:{\mathbb{R}}^3\to \mathrm{SU}(2)$ with $U\to I$ at infinity is a map $S^3\to \mathrm{SU}(2)\cong S^3$. Take $T_i=-i{\tau }_i$ and $U^{-1}dU={\theta }^i{T}_i$, with ${\theta }^1\wedge {\theta }^2\wedge {\theta }^3$ positive. Since $\mathrm{tr}(T_i{T}_j{T}_k)=-2{ϵ}_{ijk}$, the normalized target volume form isThe integral is one on the unit three-sphere. Consequently the Skyrme baryon number as a mapping degree isThis is the topological baryon number in the Skyrme model; the sign has been fixed by the stated orientation and anti-Hermitian generator convention.

A topological charge alone does not guarantee a stable finite-size solution. The degree and energetic stability of a field configuration concern different properties. For a three-dimensional configuration of size $R$, the two-derivative energy scales as $R$, so it can decrease by shrinking while the topological degree remains fixed for every $R>0$. The limit can be singular. The Skyrme term, with four derivatives, scales as $R^{-1}$ and can balance the shrinking tendency. This is the role of Derrick theorem in distinguishing topological obstruction from energetic stability.

For defects, the relevant boundary map can instead be the sphere surrounding a core. A vacuum manifold equal to $S^1$ gives the integer winding number of a vortex; a vacuum manifold $S^2$ gives the degree of a surrounding $S^2$ for a magnetic monopole. This vacuum-boundary degree as a defect charge obstructs extending the normalized vacuum field through the enclosed ball. A nonzero integer therefore forces the field to leave the vacuum manifold somewhere in the core. This construction does not require the field to take one constant value in every direction at infinity.

Degree also appears in four-dimensional gauge theory through a boundary transition function. For an anti-Hermitian SU(2) gauge connection on ${\mathbb{R}}^4$, write $F=dA+A\wedge A$ and assume finite-action boundary behavior $A\to g^{-1}dg$ on the large bounding three-sphere. In the second-Chern conventionthe identity $d\mathrm{tr}(A\wedge dA+\frac{2}{3}{A}^3)=\mathrm{tr}(F\wedge F)$ and the Maurer-Cartan equation giveThis boundary winding representation of Yang-Mills topological charge relates the Second Chern number to the degree of $g:S^3\to \mathrm{SU}(2)$. The Chern-Simons 3-form turns the bulk integral into the boundary winding integral. Conventions which define the instanton number with the opposite trace sign reverse $k$; the integer quantization is unchanged. A Yang-Mills theta term weights a sector by $e^{i\vartheta k}$, giving periodicity $\vartheta \mapsto \vartheta +2\pi$. Thus the same topological degree that counts oriented inverse images also labels field sectors and expresses their quantized charges as integrals of local densities.

Use the coefficients in the authoritative PDF, including their factor $i$. Write $a=2\sqrt{3}i$ andThe numerator and denominator are coprime: a common zero would, by subtraction, require $z=0$, where both equal one. Therefore the degree of a rational map of the Riemann sphere is four. Direct algebra givesThe domain transformations $z\mapsto iz$ and $z\mapsto (iz+1)/(1-iz)$ are sphere rotations as special-unitary Möbius transformations: respectively a quarter-turn about the third axis and a one-third turn cycling the three coordinate axes. In particular the latter sends $0\mapsto 1\mapsto i\mapsto 0$, the north, first-axis and second-axis directions. They generate the order-24 rotational symmetry group of a cube, isomorphic to the symmetric group $S_4$. Their target transformations are rotations: $w\mapsto 1/w$ is a half-turn about the first target axis and $w\mapsto \omega w$ is a one-third turn about the third target axis. This proves whole-map combined equivariance, not just symmetry of selected roots.

The target rotation image is the order-six dihedral group $D_3$. The spatial half-turns about all three coordinate axes act trivially on the map: $R(-z)=R(z)$ and $R(1/z)=R(z)$ generate a Klein four-group kernel. Thus the full Skyrmion symmetry combines the spatial cubic rotations with compensating isospin rotations, while its angular energy and Skyrme baryon density have pure spatial cubic symmetry.

The critical directions make the geometry explicit. Its Wronskian of a rational map isThe five finite ramification points are $0,\pm 1,\pm i$; infinity supplies the sixth, since in the local coordinate $w=1/z$ the map starts with $R=1+2a{w}^2+O(w^4)$. These are the six coordinate-axis directions, or face centres of a cube. The angular Jacobian of a rational map vanishes there, consistent with a cube-shaped shell whose density is concentrated away from its face centres. Any further rotational equivariance would have to preserve this set, so the spatial proper rotation group is exactly the cubic group already generated above.

There is also a reflection relation $R(\overline{z})=1/\overline{R(z)}$. Together with the proper rotations, it makes the angular density invariant under the full order-48 symmetry group of a cube, usually denoted $O_h$. The target operation in this reflection relation is orientation reversing; it should not be mistaken for a proper isospin rotation. In the full Skyrme model, reflections are expressed using the field parity operation $U(\mathbf{x})\mapsto U^{†}(-\mathbf{x})$ together with a compensating isospin rotation.

This is the cubic charge-four rational-map ansatz:The cubic rational-map ansatz for four Skyrmions is a useful approximation and starting point for the cubic four-Skyrmion, whose lowest spin-zero, isospin-zero quantized state models an alpha particle. A radial minimization and, for precision, unrestricted field relaxation are still required. The TeX's missing $i$ changes this map; the six critical directions alone would not detect the error, because the same Wronskian zero set persists when $a$ is real. The actual rotational equivariance identities are the stronger check.

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.

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.