A rigid Skyrmion orientation is quantized on a cover of its Skyrmion collective-coordinate orbit. A lifted combined rotation in the static field's stabilizer subgroup identifies the same classical field and imposes , where the sign is the chosen Finkelstein-Rubinstein constraints character of that configuration-space loop. Choosing the nontrivial character models unit baryons as fermions. A spatial rotation or isorotation of charge then has sign : deforming the field to separated unit lumps adds the unit-lump loop classes in the fundamental group , while the labelled orbital paths can be contracted in three dimensions. The resulting Finkelstein-Rubinstein constraints sign is the product of the unit-lump signs. Hence spin and isospin are half-integer for odd and integer for even . Further stabilizer constraints restrict which pairs and which body-fixed states occur. The energy operator comes from the inertia tensors on the orbit; symmetry selects allowed states but does not by itself determine their energies. A bosonic choice of the trivial topological character is mathematically possible but does not model a fermionic nucleon.
Cubic four-Skyrmion 2026-10-06
The familiar low-energy Skyrmion has a cubic baryon-density shell with six face-hole directions and full density symmetry , the symmetry group of a cube. The proper subgroup is , the rotational symmetry group of a cube; its field invariance includes compensating isorotations. A useful rational map approximation for Skyrmions has . The relation pairs a spatial quarter-turn with a target half-turn. Its branch directions are , corresponding to the six coordinate-axis directions. The map gives an approximate field, not an exact analytic energy-minimizing solution.
Finkelstein-Rubinstein constraints impose the allowed signs under combined spatial and isospin rotations of a quantized Skyrmion. They encode the fermionic or bosonic exchange behavior of topological solitons.
Nucleon Created 2026-10-05 Updated 2026-10-06
The proton and neutron form the nucleon isospin doublet, with spin angular momentum and baryon number one. A unit Skyrmion with the fermionic Finkelstein-Rubinstein constraints gives these quantum numbers in its lowest rotational multiplet.
A Derrick scaling variation changes a configuration's size without changing its topological sector. Use , so expands the configuration. An integrated nonnegative term homogeneous in spatial derivatives scales as . 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 . In this example the Derrick virial identity is . 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 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 gives . Thus is nonnegative, and the static energy of the nonlinear sigma model is
The boundary condition identifies spatial infinity to one point, so one-point compactification turns the field into a based map . By SU(2) as the three-sphere, its sectors are classified by the homotopy group . 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 written
Conjugation 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, , so stationarity requires . In every a finite-energy nonconstant static solution is excluded by Derrick scaling. In spreading lowers its energy; in 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 , the sigma energy is scale invariant. The scaling identity supplies no obstruction, but 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 energy
Anti-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 becomes
In , the opposite exponents permit a balance:
For an arbitrary reference shape with both energies nonzero, its preferred scale is and its optimized energy is . 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 , all spatial commutators vanish identically, so the added term changes nothing and nonconstant static finite-energy fields remain excluded. In , stationarity forces ; 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, forces pointwise. The quartic first variation then vanishes, leaving the sigma equation . The right-current Maurer-Cartan equation is
Divergence-free and curl-free currents have componentwise . Their components belong to L2 space by finite . An entire square-integrable harmonic function on the plane vanishes: the mean-value formula and Cauchy–Schwarz bound its value by times its full L2 norm, tending to zero as the disk radius grows. Thus , and the boundary condition fixes . This additional argument uses the vanishing commutator; it does not apply to the pure sigma model's general noncommuting currents.
In , the virial relation gives , hence a constant field and zero . In 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 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 , choose a Hermitian line bundle with a unitary connection on a vector bundle of curvature
Its first Chern class requires the integrality condition
Equivalently the symplectic period on every closed integral two-cycle is a multiple of . 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 with ; then . 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 is
The curvature identity , together with , gives
Indeed the derivative part of the commutator is , the curvature part is , and the two multiplication/derivative cross terms total . These combine to the displayed operator identity. The prequantum inner product uses the Hermitian fiber metric and the symplectic volume form , with appropriate square-integrability and operator-domain conditions.
This is not yet the desired quantum state space: a prequantum section depends on all phase-space variables, whereas a wavefunction normally depends on only configuration variables. A polarization in geometric quantization is an involutive Lagrangian rank- subbundle of . Polarized sections obey along that distribution. The symplectic form vanishes on it, so its restricted curvature vanishes and these differential conditions are locally compatible.
For , the vertical polarization is spanned locally by . With , polarized sections depend only on , and the basic prequantum operators become
Only 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 with boundary and a differential form of degree ,
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 of dimension , let be its embedding, its induced worldvolume metric, and a -form gauge potential with . Take
Under , the Wess-Zumino brane coupling changes by . It is invariant for a closed worldvolume, or for suitable boundary conditions; open branes can require compensating boundary terms.
For an embedding variation , differentiation of the pullback and Cartan's magic formula give
Thus the interior force depends only on the gauge field strength. In components, define the worldvolume wave-map/mean-curvature vector by
Varying the area term and integrating by parts gives . Combining the two variations yields the field-strength force on a charged brane equation
It is gauge invariant because no longer occurs. Its tangential projection vanishes identically by antisymmetry, consistently with worldvolume reparametrization invariance. At , the chosen Lorentzian worldline convention has in proper time and recovers the usual Lorentz-force sign.
For topological conservation, let the spatial manifold compactify to a closed oriented -manifold , and let a field take values in a closed oriented -dimensional target with normalized volume form , . Then
This 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 varies smoothly in time, its spacetime pullback satisfies . 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, 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 at spatial infinity, so compactifies to and . With the conventional target orientation choose
This is a normalized closed target volume form. The resulting topological baryon number in the Skyrme model is
The corresponding identically conserved spacetime current is in oriented flat coordinates. For the hedgehog with and , substitution gives
The 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 and , allowing a nonzero equilibrium size while preserving the degree.
Use the coefficients in the authoritative PDF, including their factor . Write and
The numerator and denominator are coprime: a common zero would, by subtraction, require , where both equal one. Therefore the degree of a rational map of the Riemann sphere is four. Direct algebra gives
The domain transformations and 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 , the north, first-axis and second-axis directions. They generate the order-24 rotational symmetry group of a cube, isomorphic to the symmetric group . Their target transformations are rotations: is a half-turn about the first target axis and 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 . The spatial half-turns about all three coordinate axes act trivially on the map: and 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 is
The five finite ramification points are ; infinity supplies the sixth, since in the local coordinate the map starts with . 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 . Together with the proper rotations, it makes the angular density invariant under the full order-48 symmetry group of a cube, usually denoted . 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 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 changes this map; the six critical directions alone would not detect the error, because the same Wronskian zero set persists when is real. The actual rotational equivariance identities are the stronger check.
For every real , direct substitution gives the axially equivariant monomial rational map identity
The first is a spatial rotation through about the third axis compensated by a target rotation through , hence by an isospin rotation of the Skyrmion. The second pairs the spatial half-turn about the first axis with a target half-turn about that axis. For , these generate the continuous axial rotation group together with perpendicular half-turns, often written ; it is the group of rotations preserving an axis in the three-dimensional special orthogonal group. Under rotations about the axis, the pure spatial stabilizer of the map itself includes the cyclic group , whereas the larger symmetry just described is combined spatial-target equivariance. Also gives a paired reflection symmetry of its angular density.
The angular Jacobian of a rational map is
It depends only on latitude. Put ; then . Since for , the maximum is at , the equator. For it vanishes at the two poles, producing an axially symmetric ring of angular Skyrme baryon density. For , is the identity: every spatial rotation is compensated by the same target rotation, and the rational map approximation for Skyrmions becomes the fully spherically symmetric Skyrmion hedgehog ansatz. The charge and uses are
The degree-one construction captures the symmetry of the unit Skyrmion exactly; its radial profile still has to be solved. The degree-two map supplies the appropriate toroidal two-Skyrmion symmetry and useful initial data. Higher monomials give axial charge- competitors, but axial symmetry need not minimize the energy: the usual lowest-charge examples already include the tetrahedral three-Skyrmion and the cubic four-Skyrmion. Topological charge determines neither shape nor energy optimality by itself.
Orient both spheres in the standard way and normalize their area forms to total area . The degree of a map between oriented manifolds can be obtained in two ways. For a regular value , 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 as a unit vector in . The pullback of a differential form already contains the signed Jacobian determinant; no extra is to be inserted in that last coordinate expression.
To relate the methods, replace 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 , by its top-degree de Rham cohomology. Their pullbacks therefore have the same integral by Stokes theorem. Over the chosen neighbourhood, splits into local inverse branches; the change of variables formula makes the contribution of each branch its orientation sign times . 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 and are coprime. Write for these reduced polynomials. A generic finite target value has inverse images at the roots of : avoiding exceptional values makes its degree and its roots simple. The fundamental theorem of algebra supplies roots. A holomorphic map has positive real Jacobian determinant at a regular point, so every local sign is . Hence
The source leaves coprimality implicit. In an unreduced representation the answer is , including degree zero for a constant reduced map. For example extends to 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 and the unit target vector
Combine this rational map with a radial profile to form a special unitary group field:
where are the Pauli matrices. The endpoint values make independent of angle and . Appropriate radial behaviour gives an admissible finite-energy field configuration. With , choose the topological baryon number in the Skyrme model convention
Separating the radial and angular factors gives
Thus 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 to
with the angular Jacobian of a rational map
The Cauchy-Schwarz inequality gives . These formulas follow from the radial strain and the two equal angular strains : 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- 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 .
The method constructs a charge- 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 . Its Lagrangian density has the form
Asymptotic 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 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 . Chiral symmetry breaking leaves its vector subgroup , 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 field
where is the pion decay constant in this normalization and 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 is
Here 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 at spatial infinity compactifies physical space to . Since is itself a three-sphere, the field defines a map with integer topological charge in . This is identified with the topological baryon number in the Skyrme model:
The associated topological current is identically conserved. A single Skyrmion has , and a multi-Skyrmion with 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 in three dimensions, let be the quadratic-gradient, quartic-gradient, and potential energies. Their scale dependence is
The 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 . The displayed scaling convention uses , so it is the inverse of the equally common convention.
The connection with QCD is strengthened by large-Nc baryon scaling. Generalize the number of colors to while keeping fixed. Meson masses remain of order one, their interactions weaken, and an effective mesonic action has an overall scale of order . In the Skyrme model this corresponds to and of order , so the soliton mass and rotational moment of inertia are also of order , whereas rotational level splittings are of order . These are the expected baryon scaling properties of large- QCD. A massive, semiclassical soliton built from meson fields is therefore consistent with the underlying theory, even though physical 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 spectrum
in units with . The Finkelstein-Rubinstein constraints impose the correct fermionic sign under a nontrivial configuration-space loop. In particular a spatial rotation acts on a charge- state by in the physical odd-color theory: odd admits half-integer spin, while even has integer spin. For , the lowest allowed doublet represents the proton and neutron; the 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 , identifying it with the deuteron. The cubic four-Skyrmion has an allowed 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 therefore
It 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 ,
with Pauli matrices . Near , the three tangent components are the pion fields, with a normalization scale suppressed here. Define . In one useful sign convention with metric , the action consists of
where and the last term is optional, with 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 , the two derivative contributions scale as and , whereas a mass term scales as . 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 . Compactifying space makes a map . 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 . 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 , acting by . The simultaneous pair acts trivially, so the faithful connected action can also be viewed as on . In the massless theory the choice of vacuum breaks this to the vector subgroup. For fixed , the vacuum-preserving symmetry of the Skyrme model requires and acts by . This is isospin, effectively because and 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 , 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.
Figure 1.
Schematic Skyrmion configurations
. Schematic shapes of the Skyrme baryon density at low charge: sphere, torus, tetrahedral shell and cubic shell. They show shape and symmetry, rather than numerically computed density isosurfaces. Details.
For , the Skyrmion hedgehog ansatz is
Its Skyrme baryon density is spherical. Indeed . 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 .
For , the toroidal two-Skyrmion has a ring-shaped density with an axial hole and full density symmetry . The proper combined field stabilizer is an -type group: its continuous subgroup pairs axial spatial rotation by with isorotation by , and it also has discrete transverse half-turns. The angular approximation makes the axial factor two explicit. A static two-baryon minimum is consequently not simply two separate round unit lumps.
For , the tetrahedral three-Skyrmion has a tetrahedral shell with four face-hole directions and full density group . Its proper rotational group is , the tetrahedral symmetry group of order 12. The actual field symmetries again pair these rotations with isorotations.
For , the cubic four-Skyrmion has a cubic shell with six face-hole directions. Its full density group is , the symmetry group of a cube, and its proper group is , 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 uses
with and . Representative maps are
Their degrees are , and with the stated radial boundary conditions their baryon numbers equal these degrees. The angular Jacobian of a rational map is . It vanishes at branch directions. has uniform angular density; has its two branch directions on the axial poles; the Wronskian of a rational map for is proportional to , giving tetrahedrally arranged holes; has branch directions , giving the six cube-face directions. Also 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 from the chosen soliton's stabilizer subgroup . A family of the same static energy is
Ignoring translations for the moment, , and different rigid orientations form the Skyrmion collective-coordinate orbit . The connected stabilizer dimensions are for the four shapes, so their orientation-orbit dimensions are ; adding translations gives . 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 , 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- and isospin- 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- configuration space has fundamental group , related to . Choosing the nontrivial Finkelstein-Rubinstein constraints character gives fermionic unit baryons. Wavefunctions live on the appropriate cover, and a lifted stabilizer operation obeys
The sign depends on whether the actual field-configuration loop is contractible, not just on whether the density looks symmetric. A spatial rotation or isorotation has sign in this fermionic choice, so
Thus 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 , with the spatial and 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 is therefore excluded despite even . 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 with has . With the energies are , where is its moment of inertia. Since , the purely rotational hedgehog band has positive parity; vibrational excitations need not share it. The multiplet models the spin-half proton/neutron isospin doublet; gives the Delta baryon multiplet. The familiar lowest rotor assignments for are respectively . 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
A collective coordinate describes a position, orientation, or another parameter of a family of static solitons. For a family , promote to a slowly varying and substitute into the field action. In a scalar theory with unit kinetic coefficient, this gives the collective-coordinate effective Lagrangian
For a gauge-theory soliton, one also solves the Gauss law constraint in gauge theory constraint and projects out pure gauge transformations; arbitrary variations of gauge representatives do not define the physical metric. Tangent vectors to an exactly equal-energy family are zero modes in field theory. If is constant, the Euler-Lagrange equations of this moduli-space approximation are
the geodesic equations of its Riemannian metric. The approximation neglects radiation and deformation modes; it describes motion sufficiently slow that these omitted degrees of freedom remain unexcited to the required accuracy.
In collective-coordinate quantization, take the wavefunction measure and the minimal scalar Hamiltonian operator
The Laplace-Beltrami operator supplies coordinate-invariant kinetic energy. Global identifications and statistics must be imposed on the wavefunctions; the classical metric alone does not choose them. Curvature-ordering terms and loop corrections are additional quantum input.
For the phi-four kink, use the normalization and profile of Question 1. Substituting gives
The metric is constant because of translation invariance. This proves the translational dynamics of a phi-four kink: classically the centre moves at constant velocity, and quantum mechanically
Plane waves label the continuous translational momentum, with no position-dependent potential. Uniform-motion Lorentz invariance upgrades the dispersion to ; the displayed collective Lagrangian is its small-velocity expansion. Small perturbations also include an internal shape mode and continuum radiation, which this single collective coordinate omits. The fluctuation operator of a phi-four kink in this normalization is
the translational eigenfunction has , the shape mode has , and continuum modes in the spectrum start at . Thus the free-coordinate states describe the kink's low translational energies, not its full excitation spectrum or quantum mass correction.
For two Abelian Higgs vortices at critical coupling, the static energy is and the Abelian Higgs vortex moduli space has four real dimensions. Let be their positions, , and . The centre of mass decouples; the relative metric is rotationally symmetric and can be written
At large separation, , recovering two free particles. Although there is no static separation potential, the nonconstant metric produces velocity-dependent interaction. Coincidence is smooth in the relative coordinate for two identical vortices , not in the double-valued . Smoothness gives for near zero. A head-on geodesic continues through to the opposite real ray, so changes its line by : the vortices scatter through a right angle. This geometric argument does not require an explicit formula for .
With ordinary bosonic exchange statistics, relative wavefunctions are single-valued in and smooth at coincidence. In the separated polar coordinate they obey , with even integer angular labels. Their kinetic operator is
The apparent singularity at must be resolved with the smooth coordinate and regularity, rather than arbitrary boundary conditions on a punctured cone. The free centre-of-mass motion and the asymptotically free relative geometry give quantum scattering states; a flat static energy does not imply that the metric is flat or that scattering is absent. This is not a prediction of a discrete family of static two-vortex bound separations. The smooth collision geometry is developed in David Tong's arxiv.org/abs/hep-th/0509216.
For a Skyrmion of baryon number one, the Skyrmion hedgehog ansatz is
where are the Pauli matrices. Include a centre and an orientation through . Hedgehog symmetry identifies spatial rotations with opposite internal rotations, so there are three independent orientation coordinates, not six. Since and give the same field, the physical orientation space is , with SU(2) group as its double cover. Write . The leading collective Lagrangian has the form
where is the rotational moment of inertia obtained by integrating the profile's field kinetic energy.
For the fermionic quantization appropriate to baryons, the Finkelstein-Rubinstein constraints on the double cover impose . In SU(2) representations, the central element acts by , so must be half-integer. Left and right group actions supply isospin and spin angular momentum; hedgehog symmetry makes their magnitudes equal. The rotational quantization of a unit Skyrmion therefore gives
The level has four spin-isospin states and models the nucleon doublet, proton and neutron, each with two spin states. The level has sixteen states and models the Delta baryon quartet, each with four spin states. The rotor predicts a splitting . Without the fermionic sign, single-valued functions on would instead allow integer , which is a different quantization. High rotor levels can couple to deformation and pion radiation; this semiclassical approximation does not establish that its entire formal tower consists of stable particles.