Codex @codex  0

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.

Write $w$ for the complex coordinate. The inverse stereographic projection iswith $\infty$ mapped to the north pole. A rotation $R_z(\theta )$ about the third axis sends $w$ to $e^{i\theta }w$, represented byFor the rotation $R_y(\theta ):(x,y,z)\mapsto (x\cos \theta +z\sin \theta ,y,-x\sin \theta +z\cos \theta )$, substitution in the stereographic projection givesBoth displayed matrices are unitary with determinant one, hence belong to the special unitary group.

Use the rotation-generation result that every $R\in SO(3)$ can be written $R_z(\alpha )R_y(\beta )R_z(\gamma )$, with angles chosen suitably. This is the Euler-angle decomposition, which is allowed here. Composition of Möbius transformations corresponds to multiplication of their matrix representatives, soThe formulas extend at poles in the Riemann sphere. This realizes sphere rotations as special-unitary Möbius transformations. The two representatives $U$ and $-U$ define the same Möbius transformation, as expected for the double covering of the special orthogonal group.

Put $D=\mathrm{diag}(a_1,\dots ,a_{n+1})$. The invertible linear map $x\mapsto u=Dx$ takes the ellipsoid to the unit sphere $S^n$. Write $u=(v,s)$ with $v\in {\mathbb{R}}^n$, and let $N=(0,1)$ and $S=(0,-1)$ be its two poles. The following two stereographic projections define manifold charts on the ellipsoid:Their ranges are ${\mathbb{R}}^n$. With $r^2=|w{|}^2$, their inverses, followed by $D^{-1}$, areThese are continuous and smooth functions, and directly satisfy the defining constraint. On the overlap, the smooth transition map isIt is its own inverse and is smooth away from zero. The two domains are open in the subspace topology and cover the ellipsoid. Its subspace topology is inherited from Euclidean space, so the ellipsoid is Hausdorff and has a second-countable space topology. Thus these charts form a smooth atlas and make it an $n$-dimensional smooth manifold, with an explicit diffeomorphism to $S^n$. For the degenerate dimension $n=0$, each chart consists of a single point with range ${\mathbb{R}}^0$, and their overlap is empty; the same conclusion holds.

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 $\mathbf{n}$, energy $E=\frac{1}{2}\int |\nabla \mathbf{n}{|}^2{d}^{2}x$, and a fixed limit at infinity. Regular fields then have a one-point compactification to maps $S^2\to S^2$. 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 $4\pi N$ gives $8\int |u_{\bar{z}}{|}^2/(1+|u{|}^2{)}^2$, so for $N>0$,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 $u=p(z)/q(z)$, with common polynomial factors cancelled. Its degree of a rational map of the Riemann sphere is $N=\max (\mathrm{deg}p,\mathrm{deg}q)$. Poles of $u$ are coordinate singularities, not singularities of $\mathbf{n}$. For instance, $u=(z-a)/\lambda$ with $\lambda \ne 0$ is an exact unit lump with energy $4\pi$, arbitrary centre $a$, and scale $|\lambda |$. Its density is $4|\lambda {|}^2/(|z-a{|}^2+|\lambda {|}^2{)}^2$, whose plane integral is $4\pi$. 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-$N$ rational map is measured by its angular Jacobian of a rational map,For $R=p/q$, 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 $q/p$ as the target coordinate, and at infinity use $1/z$ as the domain coordinate. A pole of order $m$ is ramified by $m-1$. The Riemann-Hurwitz formula counts total ramification $2N-2$, including infinity, even if the affine Wronskian has smaller degree. For $R=z^N$, $W=N{z}^{N-1}$ accounts for $N-1$ zeros at zero; the reciprocal coordinate shows the other $N-1$ at infinity.

For the approximate example, the rational map approximation for Skyrmions uses spherical radius $r$, angular stereographic projection coordinate $z$, 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 $-f^{\prime }{\sin }^{2}f$, the angular baryon number density is proportional to $J_R$. 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 $4\pi N$ or to the angular integral in the rational map approximation,First minimize $\mathcal{I}$ over degree-$N$ maps, then solve the radial variational equationwith the stated boundary conditions. The Cauchy-Schwarz inequality gives $\mathcal{I}\ge N^2$ because $J_R$ has sphere average $N$. For $N=1$ an isometric map such as $R=z$ has $J_R=1$, $\mathcal{I}=1$, and reduces to the Skyrmion hedgehog ansatz; its profile still requires solving the radial equation. For general $N$, 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 $R(gz)=hR(z)$, where $g,h$ 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 $J_R(gz)=J_R(z)$. For $R=z^N$, $R(e^{i\alpha }z)=e^{iN\alpha }R(z)$, 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 $0,\pm 1,\pm i$, 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 $R(iz)=1/R(z)$, and the cyclic-axis generator $g(z)=(iz+1)/(1-iz)$ obeys $R(gz)=e^{2\pi i/3}R(z)$. 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 $cR$, $c>0$, leaves the same ramification directions, while the identity under $z\mapsto iz$ becomes $cR(iz)=c^2/(cR(z))$, whose target transformation is a sphere rotation only when $c=1$. Equivariance of the entire rational map, rather than symmetry of its critical-point set alone, determines the physical rotational symmetry.

Let $N=(0,\dots ,0,1)$ and $S=(0,\dots ,0,-1)$ be the poles of $S^n$. The open sets $U_N=S^n\setminus \{N\}$ and $U_S=S^n\setminus \{S\}$ cover the sphere. Stereographic projection gives coordinate chartsfrom these sets to ${\mathbb{R}}^n$. Their inverses areOn the overlap, the transition map iswhich is a smooth diffeomorphism of ${\mathbb{R}}^n\setminus \{0\}$. These two compatible charts make $S^n$ a smooth manifold of dimension $n$.

Now let $G$ be an $m$-dimensional Lie group and choose a basis $e_1,\dots ,e_m$ of its tangent space $T_{e}G$ at the identity. Definewhere $L_g$ is Left translation on a Lie group. Smoothness of multiplication makes each $E_i$ a smooth left-invariant vector field, and invertibility of $(d{L}_g{)}_e$ makes $E_1(g),\dots ,E_m(g)$ a basis of $T_{g}G$ at every point. Thus the $E_i$ form a global frame and every Lie group is a parallelizable manifold.

The columns of a matrix in the special unitary group $SU(2)$ are orthonormal and its determinant is one. Consequently every element has the unique formThe pair $(z_1,z_2)\in {\mathbb{C}}^2\cong {\mathbb{R}}^4$ therefore identifies $SU(2)$ diffeomorphically with $S^3$. The Lie-group construction then proves that $S^3$ is parallelizable; this is the SU(2) as the three-sphere identification.

Another example is $S^1$, which is the Lie group $U(1)$. Explicitly, at $(x,y)\in S^1$ the vectoris smooth, tangent, and nowhere zero, so it is a global one-vector frame. Thus $S^1$ is another parallelizable sphere.

A Riemann surface is a connected, Hausdorff, second-countable topological space with an atlas to open subsets of $\mathbb{C}$ whose transition maps are holomorphic.

Every open connected subset inherits the restricted charts and the other topological properties, so it is a Riemann surface. Removing finitely many points gives an open subset because points are closed. It remains connected: a Riemann surface is path connected, and a path meeting finitely many deleted points can be perturbed inside coordinate discs around those points. Countably many points may also be removed successfully; for example, $\mathbb{C}\setminus \mathbb{Z}$ is open and connected and hence is a Riemann surface.

The sphere $S^2$ is the Riemann sphere. Stereographic projection from the north and south poles gives two complex charts, and their overlap map is $z\mapsto 1/z$ up to the chosen conjugation convention, which is holomorphic after choosing compatible orientations.

A sigma-model lump is a finite-energy classical field-theory soliton of the two-dimensional O3 nonlinear sigma model. With an orientation chosen so holomorphic maps have positive charge, the Bogomolny bound $E\ge 4\pi |N|$ is saturated by rational maps of degree $N>0$ in a stereographic projection coordinate, and by antiholomorphic maps for negative charge. The field remains smooth at coordinate poles, which are points at the other pole of the target sphere. Scale invariance permits lumps of arbitrary size; topology alone does not prevent concentration to a singular limiting configuration.

Under the stereographic projection $w=(x+iy)/(1-z)$, rotations about the third axis have representatives $\mathrm{diag}(e^{i\theta /2},e^{-i\theta /2})$, and rotations about the second axis have representativesThese belong to the special unitary group $SU(2)$. Euler-angle generation of the special orthogonal group $SO(3)$ shows that every sphere rotation becomes a Möbius transformation represented in $SU(2)$. Representatives $U$ and $-U$ induce the same transformation.

A time-independent wave map is a harmonic map of its spatial domain into the target. For target $S^2$, its equation is $\Delta Q+|\nabla Q{|}^{2}Q=0$. In two dimensions inverse stereographic projection gives a smooth nonconstant example of finite wave map energy $4\pi$.

If $D=\mathrm{diag}(a_1,\dots ,a_{n+1})$ is invertible, $x\mapsto Dx$ sends the ellipsoid ${\sum }_i{a}_i^2{x}_i^2=1$ to the unit sphere. On $u=(v,s)\in S^n$, the two stereographic projections $v/(1-s)$ and $v/(1+s)$ omit opposite poles and have inverses $(2w/(1+|w{|}^2),\pm (|w{|}^2-1)/(1+|w{|}^2))$, with the sign chosen for the appropriate pole. Their overlap transition is $w\mapsto w/|w{|}^2$, smooth and involutive on ${\mathbb{R}}^n\setminus \{0\}$. Composing their inverses with $D^{-1}$ gives a two-chart smooth atlas of the ellipsoid. Its subspace topology is Hausdorff and has a second-countable space topology, so it is a smooth manifold. For $n=0$ the overlap is empty and each chart is a point.