Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 308 3 Solution Created 2026-10-03 Updated 2026-10-05
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 fieldhas 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 areSubtracting 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 isAt 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 , andThe 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 giveAt 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 equationwith 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 isIts 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.
Past exam of the mathematics course of the University of Cambridge 2019 iii Paper 308 3 Solution Created 2026-10-03 Updated 2026-10-05
For , a domain rotation is accompanied by a target rotation . There is also a half-turn about every axis in the equatorial plane, with the corresponding target half-turn. These generate the axial dihedral rotational symmetry: the distinguished spatial axis is the -axis, and the continuous rotations about it are accompanied by twice the angle in target space.
The rational map approximation for Skyrmions usesThe rational-map degree is the Skyrmion baryon number, while zeros of the Wronskian identify directions where the angular baryon density vanishes and therefore influence the shape and energy. For the result is the toroidal Skyrmion.
Quantization treats spatial and isospin rotations as collective coordinates and imposes the Finkelstein-Rubinstein constraints. For even baryon number, spin and isospin are integral. The axial constraint is , and the equatorial half-turn imposes . Restricting to leavesThe and representations violate the discrete constraint.
Skyrme baryon density 2026-10-06
The local Skyrme baryon density is , with and . It is invariant under global isorotations and transforms as a scalar under proper spatial rotations, so its contours reveal the geometric shape of a Skyrmion. For the rational map approximation for Skyrmions, , where is the angular Jacobian of a rational map. Integrating over the sphere gives , recovering the integer total charge. A decreasing profile and holomorphic angular map give a nonnegative density, but a general field may have regions of negative density; positivity is not a general topological theorem. The density is different from the energy density.
Skyrmion hedgehog ansatz Created 2026-10-05 Updated 2026-10-06
The unit Skyrmion has a spherically symmetric ansatz with Pauli matrices , and . The baryon number isThe radial profile is obtained from the Skyrme model variational equation. Spatial rotations and isospin rotations act on the same hedgehog orientation, leaving only three independent rotational collective coordinates.
Skyrmion model of a nucleus 2026-10-06
A charge- multi-Skyrmion provides an intrinsic field configuration for an atomic nucleus with mass number . Its spatial and isospin collective coordinates must be quantized, with Finkelstein-Rubinstein constraints, before assigning physical nuclear states. A classical intrinsic shape is distinct from rotationally invariant observables in a spin-zero state.
For a centered static Skyrmion , the effective rotation-isorotation group is . Its stabilizer subgroup consists of pairs obeying . Thus distinct rigid orientations form the homogeneous space , by the orbit-stabilizer theorem. The unit hedgehog has diagonal stabilizer and three orientation coordinates; the toroidal two-Skyrmion has a one-dimensional continuous stabilizer and five; the tetrahedral and cubic cases have discrete stabilizers and six. Adding three translations gives zero-mode orbit dimensions 6, 8, 9, 9. These are symmetry-generated low-energy coordinates, not a claim that non-Bogomolny multi-Skyrmion solutions possess an exact flat moduli space of arbitrary separations.
Tetrahedral three-Skyrmion 2026-10-06
The familiar low-energy Skyrmion has tetrahedral baryon-density symmetry . Proper rotations form the tetrahedral symmetry group , acting on the field with compensating isorotations. An angular approximation is . Its Wronskian of a rational map is proportional to . The four branch directions are the face-hole directions of a tetrahedral shell. A rational map and a variational radial profile approximate the actual field, and baryon-density symmetry must be distinguished from invariance of the pion field under an unaccompanied spatial rotation.
Topological current 2026-10-06
A local current whose conservation follows from field geometry rather than requiring the field equation. For Skyrmions, pulling back the closed volume form on the target three-sphere gives the current associated with topological baryon number in the Skyrme model. Its spatial integral is a topological charge, unchanged by smooth evolution with the prescribed boundary behaviour.
Toroidal two-Skyrmion 2026-10-06
The standard low-energy Skyrmion in the ordinary Skyrme model has a toroidal baryon-density shape, with axial density symmetry . Its proper combined field symmetries have an -type stabilizer. The angular ansatz in the rational map approximation for Skyrmions explains the axial relation : spatial rotation through is accompanied by isorotation through . The angular density vanishes at the two axial directions, yielding the toroidal hole. This describes the familiar minimal branch and a useful approximate field; it is not an assertion that every degree-two field is toroidal.
The massless derivative Skyrme model has chiral symmetry . For the fixed finite-energy boundary condition , a transformation preserves the same vacuum exactly when , or . This leaves conjugation , the isospin action. Since and act identically, its effective group is . Together with spatial translations and rotations it generates the localized zero-mode orbit of a Skyrmion. Independent axial rotations change the massless vacuum and are not additional normalizable rigid orientation modes in that fixed-vacuum sector. A usual positive pion-mass term preserves only conjugation even before the boundary condition is imposed.