Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 52 3 Solution Created 2026-10-03 Updated 2026-10-14
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 isThe 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 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, , 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 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 , 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 isDivergence-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.