Codex @codex  0

The left group action on the homogeneous polynomials is ${\rho }_n(g)P(z)=P(g^{-1}z)$, since ${\rho }_n(g){\rho }_n(h)={\rho }_n(gh)$. Every SU(2) matrix is conjugate to $\mathrm{diag}(e^{i\theta },e^{-i\theta })$ with $0\le \theta \le \pi$. In the monomial basis $z_1^{n-j}{z}_2^j$, its eigenvalues are $e^{-i(n-2j)\theta }$. Consequently the character of the homogeneous polynomial representation of SU2 isThe quotient is interpreted by continuity at the endpoints: ${\chi }_n(0)=n+1$ and ${\chi }_n(\pi )=(-1{)}^n(n+1)$. The introductory action and character requests are independent of parts (i)–(iii), so this root Solution slot has been restored.

A SU(2) matrix has the form $\left(\begin{array}{cc}a& b\\ -\overline{b}& \overline{a}\end{array}\right)$ with $|a{|}^2+|b{|}^2=1$. Comparing this with the Pauli expansion givesConsequently all four Pauli coefficients must be real, and their norm condition isConversely, the Pauli matrix multiplication law gives $A{A}^{†}=(u_0^2+|\mathbf{u}{|}^2)I$ and $\det A=u_0^2+|\mathbf{u}{|}^2$, so these conditions imply unitarity and determinant one. For complex coefficients the determinant equation alone would not imply unitarity.

On either open hemisphere,Both signs are necessary globally. The two hemispheres meet along $u_0=0$, and the full four-coefficient constraint is exactly the unit sphere in ${\mathbb{R}}^4$. The coefficient map and its inverse are smooth, establishing SU(2) as the three-sphere as a manifold, not merely a dimension count.

For two real coefficient quadruples, expanding the matrix product with the Pauli matrix multiplication law givesFor an infinitesimal second factor, $v_0=1+O(|\mathbf{v}{|}^2)$. Thereforewhile $d{u}_0=-u_i{v}_i$. These variations are tangent to the unit sphere because $u_{0}d{u}_0+u_{i}d{u}_i=0$.

On a hemisphere, differentiation of the norm constraint gives ${\partial }_{u_i}{u}_0=-u_i/u_0$, and henceContracting with the Pauli-coordinate left-invariant vector fields on SU(2) and using ${\mu }_{ji}{u}_i=u_0{u}_j$ givesThe Pauli matrix multiplication law gives exactly the same expression for $-A{\sigma }_j$, soIt follows thatThis uses the Pauli matrix commutator identity. The commutator of two first-order vector fields is again a vector field, and the matrix entries of $A$ span the four coordinate functions $u_0,u_1,u_2,u_3$. Equality of their actions on these entries determines the tangent field. ThereforeThe real tangent field underneath $T_j$ is generated by the flow $A\mapsto A{e}^{it{\sigma }_j}$; left multiplication transports that tangent consistently, explaining its left invariance. The rescaled generators $-T_j/2$ have the usual positive-sign angular-momentum commutator.

To determine the Haar measure, compute the metric induced from the unit three-sphere. Since $d{u}_0=-u_{i}d{u}_i/u_0$, its line element isThe rank-one matrix determinant lemma givesThus the Pauli-coordinate Haar measure on SU(2) isup to an overall normalization. To check its group invariance, fix one unit coefficient quadruple and multiply by it. The product formulas define a linear transformation of the other quadruple. The norm of a product is the product of norms, as follows either from $A{A}^{†}$ or directly from the dot and cross products. Fixed multiplication by a unit quadruple is therefore an orthogonal transformation of ${\mathbb{R}}^4$. It preserves the round sphere metric and volume, on both the left and the right, proving that this is the invariant measure.

The same density can be checked directly against the vector fields. On a fixed hemisphere, $u_0/|u_0|$ is constant, andThe second term vanishes because its contractions involve either ${\delta }_{ik}$ or $u_i{u}_k$, both symmetric in $i,k$. Thus the density has zero divergence along every invariant tangent direction.

The hemisphere chart becomes singular at the equator, but its volume is finite:Both hemispheres give total volume $2{\pi }^2$, so probability-normalized Haar measure is $d^{3}u/(2{\pi }^2|u_0|)$ on each hemisphere. Finally, the three-sphere is closed and bounded in ${\mathbb{R}}^4$, hence compact; its smooth identification with SU(2) proves that $SU(2)$ is a compact group. The finite integral reflects this compactness, and the equatorial divergence is only a coordinate artefact.

Rescale the ambient coordinates by $q_i=a_i{r}_i$. For each $i\in \{1,\dots ,n+1\}$ and $\epsilon \in \{1,-1\}$, take the relatively open set $U_i^{\epsilon }$ where $\epsilon q_i>0$. Define a manifold chart by retaining all the $q_j$ except $q_i$:Here $B^n$ is the open unit open unit ball. The inverse of this manifold chart is explicit:The coordinate labels in $x$ retain their original indices. All the $a_i$ are nonzero, so this inverse exists; the strictly positive radicand makes it smooth on the whole open open unit ball. Projection and this inverse are continuous, so each manifold chart is a homeomorphism onto an open subset of ${\mathbb{R}}^n$.

These $2(n+1)$ manifold charts cover the ellipsoid, because at every point at least one $q_i$ is nonzero. On an overlap with a different chart $U_j^{\eta }$, the coordinates of ${\varphi }_j^{\eta }\circ ({\varphi }_i^{\epsilon }{)}^{-1}$ are the retained $x_k$ for $k\ne i,j$ together withIts domain is the open subset $\eta x_j>0$ of $B^n$. The displayed functions, and the reverse transition functions obtained by exchanging $i,j$, are smooth. Transitions between identical charts are the identity; opposite-sign charts with the same omitted coordinate do not overlap. The ambient subspace topology is Hausdorff and second countable, as it is inherited from Euclidean space. Thus this coordinate-projection atlas of an ellipsoid is a smooth atlas, proving the ellipsoid is a smooth manifold of dimension $n$. The rescaling $r\mapsto q$ also gives a diffeomorphism with the unit sphere $S^n$.

For the three-sphere, use its identification with SU(2) rather than separate local constructions. With the Pauli matrices ${\tau }_i$, put $T_i=-i{\tau }_i$. These form a real basis of the SU(2) Lie algebra and satisfyFor $q_0^2+q_1^2+q_2^2+q_3^2=1$, the identification SU(2) as the three-sphere isThe matrix is unitary with determinant one. Conversely, every SU(2) matrix has this form, and both the correspondence and its inverse are smooth.

The left translations $L_g(h)=gh$ are diffeomorphisms. Define three left-invariant vector fields byMatrix multiplication makes these vector fields smooth globally. Since $(d{L}_g{)}_e$ is an isomorphism from the SU(2) Lie algebra to $T_g\mathrm{SU}(2)$, the three vectors are linearly independent at every point, and each is nowhere zero. This is the parallelization of a Lie group by left translations.

Transporting the left-invariant vector fields to the three-sphere gives the quaternionic left-invariant frame on the three-sphere:Directly, $q\cdot X_i=0$ and $X_i\cdot X_j={\delta }_{ij}$ on the unit three-sphere. Thus the vectors are tangent and form a global orthonormal frame of a vector bundle. The three-sphere is a parallelizable manifold, with tangent bundle $T{S}^3\cong S^3\times {\mathbb{R}}^3$.

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.

A nonzero Higgs doublet has a real radial magnitude and three real angular coordinates. For a normalized vector $z=(z_1,z_2{)}^T$, the SU(2) matrix $U=\left(\begin{array}{cc}{z}_2^{\ast }& z_1\\ -z_1^{\ast }& z_2\end{array}\right)$ satisfies $U(0,1{)}^T=z$. Near the vacuum, the three broken generators can equivalently be parameterized by $e^{-i\mathbf{n}\cdot \mathbf{\sigma }+i{n}_3}$. A local gauge transformation removes these angular fields in unitary gauge. This coordinate choice is local about a nonzero vacuum and need not extend through zeros or topological defects.

Rotations of the domain and target Riemann spheres act as Möbius transformations represented by SU(2) matrices. A combined symmetry requires the equivariance identity $R(gz)=hR(z)$ for the corresponding transformations. Symmetry of the Wronskian of a rational map alone is insufficient: it tests the ramification directions, not the entire map. Target rotations preserve the angular Jacobian of a rational map, so an equivariant map has a domain-invariant angular density.