Skip to content

Lumps, Textures, and Skyrmions

Sigma-model topology labels maps from compactified space into a target manifold, but topology does not select a finite size. In two spatial dimensions the two-derivative O(3)O(3) model has degree-QQ lumps whose energy is scale invariant; their size is a modulus. In three dimensions a two-derivative texture lowers its energy by shrinking. A Skyrmion acquires a finite size only after a four-derivative term supplies the opposing Derrick scaling, subject to the validity of that higher-derivative model.

Required background. Finite-energy boundary data distinguishes whole-space maps from defect boundary maps, and Derrick scaling supplies the virial test. Helpful background. EFT power counting is needed before interpreting higher-derivative stabilization as a controlled approximation.

Let n(x1,x2)\mathbf n(x^1,x^2) be a unit vector, nn=1\mathbf n\mathbin{\cdot}\mathbf n=1, with static energy

E2=12g2R2d2xinin.E_2 =\frac{1}{2g^2}\int_{\mathbb R^2}\mathrm d^2x\, \partial_i\mathbf n\mathbin{\cdot}\partial_i\mathbf n .

Finite energy requires n(x)n\mathbf n(\mathbf x)\to\mathbf n_\infty independent of angle. Adding the point at infinity compactifies the plane to Sspace2S^2_{\mathrm{space}}, so

n:Sspace2Starget2.\mathbf n:S^2_{\mathrm{space}}\longrightarrow S^2_{\mathrm{target}} .

The degree is

Q=14πd2xn(1n×2n)Z.Q =\frac{1}{4\pi} \int\mathrm d^2x\, \mathbf n\mathbin{\cdot} \left(\partial_1\mathbf n\times\partial_2\mathbf n\right) \in\mathbb Z .

Completing a square gives

0d2x(inϵijn×jn)2,E24πg2Q.\begin{aligned} 0 &\leq \int\mathrm d^2x\, \left( \partial_i\mathbf n \mp\epsilon_{ij}\mathbf n\times\partial_j\mathbf n \right)^2,\\ E_2&\geq\frac{4\pi}{g^2}|Q|. \end{aligned}

Stereographic coordinates convert the saturation equation into holomorphic or antiholomorphic maps. For degree one, a representative is

w(z)=ρzZ,z=x1+ix2,w(z)=\frac{\rho}{z-Z}, \qquad z=x^1+ix^2,

where ZZ is the position and ρ0\rho\neq0 encodes size and target orientation. Its energy is 4π/g24\pi/g^2, independent of ρ|\rho|. This is the Belavin–Polyakov lump Belavin and Polyakov 1975, pp. 245–247.

Scale independence is not a stable size. The family contains arbitrarily small profiles with the same classical two-derivative energy. Perturbations, higher derivatives, a potential, curvature, a lattice, or quantum running can lift ρ\rho and may favor collapse or expansion. The topological charge remains meaningful for smooth maps with the boundary condition, but the limiting zero-size configuration is singular and lies outside that configuration space.

“Texture” is used for a nonsingular whole-space configuration whose charge comes from the compactified domain rather than a sphere linking a localized defect. In DD spatial dimensions, a two-derivative sigma-model energy scales as

E2[nλ]=λ2DE2[n],nλ(x)=n(λx).E_2[\mathbf n_\lambda]=\lambda^{2-D}E_2[\mathbf n], \qquad \mathbf n_\lambda(\mathbf x)=\mathbf n(\lambda\mathbf x).

Thus D=2D=2 is scale invariant, whereas in D=3D=3 shrinking the configuration lowers E2E_2. A nontrivial element of π3(M)\pi_3(\mathcal M) does not prevent concentration into a singular limit. A static particle-like texture therefore needs an additional scale-setting term, background, or conserved constraint. This is a direct example of why homotopy classification is not an existence or stability theorem.

Let U(x)SU(2)U(\mathbf x)\in SU(2) with U()=1U(\infty)=\mathbf 1. Compactified space is S3S^3, and SU(2)S3SU(2)\simeq S^3, so the field has an integer degree. With

Li=UiU,L_i=U^\dagger\partial_iU,

choose the oriented charge

B=124π2d3xϵijktr(LiLjLk).B =-\frac{1}{24\pi^2} \int\mathrm d^3x\, \epsilon_{ijk}\operatorname{tr}(L_iL_jL_k).

The standard massless static energy is

E=fπ216d3x[tr(LiLi)]+132e2d3x[tr([Li,Lj][Li,Lj])].E =\frac{f_\pi^2}{16} \int\mathrm d^3x\, \big[-\operatorname{tr}(L_iL_i)\big] +\frac{1}{32e^2} \int\mathrm d^3x\, \big[-\operatorname{tr}([L_i,L_j][L_i,L_j])\big].

The traces are nonpositive because LiL_i is anti-Hermitian, so both displayed contributions are positive. Under Uλ(x)=U(λx)U_\lambda(\mathbf x)=U(\lambda\mathbf x),

E(λ)=λ1E2+λE4.E(\lambda)=\lambda^{-1}E_2+\lambda E_4 .

Stationarity requires E2=E4E_2=E_4, and the positive second scale derivative 2E22E_2 shows stability against uniform rescaling. The four-derivative term is the scale-setting mechanism.

For the hedgehog

U(x)=cosF(r)+ix^σsinF(r),U(\mathbf x) =\cos F(r) +i\,\widehat{\mathbf x}\mathbin{\cdot}\boldsymbol\sigma\,\sin F(r),

regular unit charge uses

F(0)=π,F()=0.F(0)=\pi,\qquad F(\infty)=0 .

Substitution into the charge gives

B=2π0drF(r)sin2F(r)=1.B =-\frac{2}{\pi} \int_0^\infty\mathrm dr\,F'(r)\sin^2F(r)=1 .

The profile equation is nonlinear and is normally solved numerically. Its characteristic radius is R(efπ)1R\sim(ef_\pi)^{-1} up to an order-one number. The original construction is Skyrme 1961, pp. 127–138; Manton and Sutcliffe 2004, ch. 9, pp. 349–415 develop the classical solutions and collective coordinates.

What the higher-derivative term does not prove

Section titled “What the higher-derivative term does not prove”

The Skyrme term demonstrates a mathematically consistent classical stabilization mechanism. If the model is interpreted as a truncation of a derivative expansion, one must also compare

1Refπ\frac{1}{R}\sim ef_\pi

with the EFT cutoff and estimate omitted six- and higher-derivative operators on the soliton. When R1R^{-1} is not parametrically below the cutoff, the classical model can remain useful phenomenologically but its truncation error is not small by power counting alone. Nuclear properties and fitted low-energy constants belong to the phenomenology treatment, not to the general stability argument here.

The shared stability taxonomy makes this distinction visible: a topological degree, a virial balance, a positive Hessian, and a controlled EFT expansion are four different claims. The soliton boundary and stability comparison records the scale modulus of a lump and the scale-setting Skyrme term without promoting either classical result to quantum protection.

Lumps and Skyrmions use compactified whole space rather than a sphere transverse to a defect. The shared boundary-family map shows why they should not be assigned a codimension charge by analogy alone, and why position, scale, and internal orientation are only candidate moduli until their zero-mode norms are checked.

For an isolated two-dimensional lump, position, scale, and target orientation appear as classical moduli in the scale-invariant model. For a Skyrmion, translations and combined spatial/internal orientations generate collective coordinates, while the size is fixed by E2=E4E_2=E_4 rather than remaining a modulus. Adding a pion-mass potential further changes the tail and virial identity.

Charge normalization. Evaluate the degree on an explicit representative and verify that the chosen orientation gives +1+1. Reversing spatial orientation changes the sign but not the energy.

Scale residual. A numerical Skyrmion profile must satisfy E2+E43E0=0-E_2+E_4-3E_0=0 if a nonnegative potential E0E_0 is included.

Regularity. A sequence of shrinking smooth maps can approach a singular limit. Charge conservation applies along smooth finite-energy paths, not after the configuration space has been enlarged to include singular maps.

Quantum scope. Classical collective-coordinate quantization may organize spin and isospin states, but operator ordering, loop corrections, radiation, and EFT counterterms are additional inputs.

Calling the lump size “stable” because the energy is constant. A flat scale direction is a modulus, not a restoring force. Perturbations that lift it determine whether the lump expands or collapses.

Attributing Skyrmion size to topology. Degree prevents smooth unwinding. The opposing scaling of E2E_2 and E4E_4 fixes the size.

Assuming a four-derivative term is automatically controlled. It stabilizes the classical equations, but predictivity requires the profile’s gradients to suppress every omitted operator.

  1. Verify that the O(3)O(3) charge is invariant under the rescaling nλ(x)=n(λx)\mathbf n_\lambda(\mathbf x)=\mathbf n(\lambda\mathbf x) and that E2E_2 is scale invariant in two dimensions.
Solution

Each derivative contributes λ\lambda, while d2x\mathrm d^2x contributes λ2\lambda^{-2}. Both the charge density integral and E2E_2 therefore have net exponent zero. The rescaling changes the size of the map but neither its degree nor its two-derivative energy.

  1. Derive the hedgehog charge from its radial formula.
Solution

Use u=F(r)u=F(r):

B=2ππ0sin2udu=2π(π2)=1.B =-\frac{2}{\pi} \int_\pi^0\sin^2u\,\mathrm du =-\frac{2}{\pi}\left(-\frac{\pi}{2}\right)=1.

If the endpoint values or the spatial orientation are reversed, the sign changes.

Bogomolny Bounds and First-Order Equations explains the exact lump bound and why the generic Skyrme bound is not saturated. Moduli-Space Dynamics and Collective Quantization states when positions and orientations can be quantized.

  • Belavin, Alexander A., and Alexander M. Polyakov. “Metastable States of Two-Dimensional Isotropic Ferromagnets.” JETP Letters 22 (1975): 245–247. CERN record.
  • Manton, Nicholas, and Paul Sutcliffe. Topological Solitons. Cambridge Monographs on Mathematical Physics. Cambridge University Press, 2004, chs. 6 and 9. DOI.
  • Skyrme, T. H. R. “A Non-Linear Field Theory.” Proceedings of the Royal Society of London A 260 (1961): 127–138. DOI.