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.
There is an exact rational-map description of sigma-model lumps and a restricted variational rational-map description of Skyrmions. The first follows from a Bogomolny equation; the second separates angular and radial dependence in a field that generally does not saturate a Bogomolny bound.
For the exact example, take the two-dimensional O3 nonlinear sigma model with a unit field , energy , and a fixed limit at infinity. Regular fields then have a one-point compactification to maps . Choose the orientation so that the stereographic field
has positive charge when it is holomorphic. Equivalently, this is the CP1 nonlinear sigma model since the target sphere is the complex projective line. Its energy and topological charge are
Subtracting gives , so for ,
The Cauchy-Riemann equations therefore give the minimal-energy fields. A holomorphic map from the compactified domain Riemann sphere to the target Riemann sphere is a rational map , with common polynomial factors cancelled. Its degree of a rational map of the Riemann sphere is . Poles of are coordinate singularities, not singularities of . For instance, with is an exact unit lump with energy , arbitrary centre , and scale . Its density is , whose plane integral is . For negative charge use antiholomorphic maps. Scale invariance allows arbitrarily small lumps and does not by itself prevent a singular concentration limit in the time-dependent theory.
The local angular geometry of any degree- rational map is measured by its angular Jacobian of a rational map,
For , the Wronskian of a rational map is
At ordinary finite points its zeros mark ramification points of a holomorphic map, where the angular density vanishes. At a pole use as the target coordinate, and at infinity use as the domain coordinate. A pole of order is ramified by . The Riemann-Hurwitz formula counts total ramification , including infinity, even if the affine Wronskian has smaller degree. For , accounts for zeros at zero; the reciprocal coordinate shows the other at infinity.
For the approximate example, the rational map approximation for Skyrmions uses spherical radius , angular stereographic projection coordinate , and
The Pauli matrices make this an SU(2) group-valued field. The boundary conditions give a continuous centre and the vacuum value at infinity; the profile must also make the energy finite. Angular degree and radial winding factorize to give
At radii with nonzero , the angular baryon number density is proportional to . Thus the Wronskian of a rational map locates zero-density directions and reveals the holes or face directions in shell-like Skyrmion configurations.
In dimensionless Skyrme model units, insert this ansatz into the quadratic and quartic derivative energies. The angular terms integrate to or to the angular integral in the rational map approximation,
First minimize over degree- maps, then solve the radial variational equation
with the stated boundary conditions. The Cauchy-Schwarz inequality gives because has sphere average . For an isometric map such as has , , and reduces to the Skyrmion hedgehog ansatz; its profile still requires solving the radial equation. For general , angular and radial separation restrict the allowed fields. The minimum within this class is an upper bound on the full sector minimum, not a claim that every exact Skyrmion has this separated form. The original construction is Houghton, Manton and Sutcliffe's arxiv.org/abs/hep-th/9705151.
A rotational symmetry of a rational map must satisfy , where are the domain and target rotations written as Möbius transformations from SU(2) matrices. Since a target rotation is an isometry, this identity implies . For , , giving axial spatial symmetry accompanied by an internal rotation. This explains the axial symmetry of the degree-two toroidal ansatz.
A useful degree-four example is
Its finite ramification directions are , with the sixth at infinity. They are the six coordinate-axis directions under stereographic projection, so they are the face normals of a cube. The full map has octahedral rotational equivariance: for example , and the cyclic-axis generator obeys . These generate the cube's rotational group and give a cubic angular density. The associated profile then produces the familiar cubic charge-four approximation. Symmetry of the Wronskian is a useful necessary diagnostic but is not sufficient: replacing this map by , , leaves the same ramification directions, while the identity under becomes , whose target transformation is a sphere rotation only when . Equivariance of the entire rational map, rather than symmetry of its critical-point set alone, determines the physical rotational symmetry.