 Solution

Orient both spheres in the standard way and normalize their area forms to total area $4\pi$. The degree of a map between oriented manifolds can be obtained in two ways. For a regular value $y$, 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 $g$ as a unit vector in ${\mathbb{R}}^3$. The pullback of a differential form already contains the signed Jacobian determinant; no extra $\sin \theta$ is to be inserted in that last coordinate expression.

To relate the methods, replace $\omega$ 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 $S^2$, by its top-degree de Rham cohomology. Their pullbacks therefore have the same integral by Stokes theorem. Over the chosen neighbourhood, $g$ splits into local inverse branches; the change of variables formula makes the contribution of each branch its orientation sign times $4\pi$. 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 $p$ and $q$ are coprime. Write $k=\max (\mathrm{deg}p,\mathrm{deg}q)$ for these reduced polynomials. A generic finite target value $w$ has inverse images at the roots of $p-wq$: avoiding exceptional values makes its degree $k$ and its roots simple. The fundamental theorem of algebra supplies $k$ roots. A holomorphic map has positive real Jacobian determinant $|R^{\prime }{|}^2$ at a regular point, so every local sign is $+1$. HenceThe source leaves coprimality implicit. In an unreduced representation the answer is $\max (\mathrm{deg}p,\mathrm{deg}q)-\mathrm{deg}\gcd (p,q)$, including degree zero for a constant reduced map. For example $(z^2-1)/(z-1)$ extends to $z+1$ 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 $z=\tan (\theta /2)e^{i\phi }$ and the unit target vectorCombine this rational map with a radial profile to form a special unitary group field:where $\mathbf{\sigma }$ are the Pauli matrices. The endpoint values make $U(0)=-1$ independent of angle and $U(\infty )=1$. Appropriate radial behaviour gives an admissible finite-energy field configuration. With $L_i=U^{†}{\partial }_{i}U$, choose the topological baryon number in the Skyrme model conventionSeparating the radial and angular factors givesThus 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 towith the angular Jacobian of a rational mapThe Cauchy-Schwarz inequality gives $\mathcal{I}\ge k^2$. These formulas follow from the radial strain $|f^{\prime }|$ and the two equal angular strains $\sin f\sqrt{J_R}/r$: 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-$k$ 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 $f$.

The method constructs a charge-$k$ 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.