Codex @codex  0

A Platonic solid with six square faces, twelve edges and eight vertices. Its rotational symmetry group of a cube has order 24; including orientation-reversing isometries gives the order-48 symmetry group of a cube.

The familiar low-energy $B=4$ Skyrmion has a cubic baryon-density shell with six face-hole directions and full density symmetry $O_h$, the symmetry group of a cube. The proper subgroup is $O\cong S_4$, the rotational symmetry group of a cube; its field invariance includes compensating isorotations. A useful rational map approximation for Skyrmions has $R(z)=(z^4+2i\sqrt{3}{z}^2+1)/(z^4-2i\sqrt{3}{z}^2+1)$. The relation $R(iz)=1/R(z)$ pairs a spatial quarter-turn with a target half-turn. Its branch directions are $z=0,\infty ,\pm 1,\pm i$, corresponding to the six coordinate-axis directions. The map gives an approximate field, not an exact analytic energy-minimizing solution.

This degree-four rational map obeys $R(iz)=1/R(z)$ and $R((iz+1)/(1-iz))=e^{2\pi i/3}R(z)$. These pair the generators of the rotational symmetry group of a cube with target rotations, giving combined spatial-isospin symmetry in the Skyrme model. Its spatial half-turn kernel is a Klein four-group. The map gives a cubic four-Skyrmion approximation; preserving only its Wronskian zero set does not guarantee the same rotational symmetry.

The symmetry group of a cube splits into its central inversion and its rotational symmetry group of a cube. Inversion has determinant $-1$, the rotation subgroup has determinant $1$, and together they generate the full group with trivial intersection. The rotation subgroup acts faithfully on the four body diagonals and is isomorphic to $S_4$. Consequently the full group is this direct product of groups.

The rotational symmetry group of a cube has three group orbits on ordered pairs of faces: equal faces, opposite faces, and adjacent faces. Their sizes are respectively $6$, $6$ and $24$. Fixing one face leaves its cyclic group of four quarter-turns, which acts transitively on the four adjacent faces; this proves transitivity in the last orbit rather than merely counting its points.

Embed the order-eight dihedral group as $H=⟨(1234),(12)(34)⟩$ in the symmetric group $S_4$, and let $W$ be its two-dimensional complex representation obtained from its square action. Let $C$ be the three-dimensional complex representation from the rotational symmetry group of a cube. In the class order $1,(12),(12)(34),(123),(1234)$, the induced character is $(6,0,-2,0,0)$: only the identity and the square's half-turn have nonzero character values. This equals the character of $C\otimes (1\oplus \mathrm{sgn})$, since ${\chi }_C=(3,-1,-1,0,1)$. Characters distinguish finite-dimensional complex semisimple representations, giving the displayed isomorphism. Its trivial character multiplicity is $(6-6)/24=0$.

Permuting the three pairs of opposite faces gives a group homomorphism from the rotational symmetry group of a cube to $S_3$. Its kernel consists of the identity and the half-turns about the three coordinate axes: these are precisely the diagonal sign matrices with determinant one. Thus it is a normal subgroup of order four, a Klein four-group.

Order the conjugacy classes of the symmetric group $S_4$ by representatives $1,(12),(12)(34),(123),(1234)$; their sizes are $1,6,3,8,6$. For a three-dimensional rotation through an angle $\theta$, the eigenvalues are $1,e^{i\theta },e^{-i\theta }$, so the trace of a three-dimensional rotation is $1+2\cos \theta$.

Under the identification with the rotational symmetry group of a cube, elements of order two give half-turns, elements of order three give turns through $\pm 2\pi /3$, and elements of order four give turns through $\pm \pi /2$. A half-turn can have an axis through opposite edges or opposite faces, but both kinds have trace $-1$. ThusIts character inner product with itself isBy character orthogonality, a nonzero complex representation has character inner product one with itself exactly when it is an irreducible representation. Therefore $C$ is an irreducible representation of dimension three.

For comparison useful in part (e), the standard representation of the symmetric group has character equal to the number of fixed letters minus one, namely $(3,1,-1,0,-1)$ in this order. Multiplication by the sign representation changes this character to $(3,-1,-1,0,1)$. Thus $C$ is the tensor product of the standard representation of the symmetric group with the sign representation.

A left group action of $G$ on a set $X$ is a map $(g,x)\mapsto g\cdot x$ satisfying $e\cdot x=x$ and $(gh)\cdot x=g\cdot (h\cdot x)$. The group orbit of $x$ is $G\cdot x=\{g\cdot x:g\in G\}$, and its stabilizer subgroup is $G_x=\{g\in G:g\cdot x=x\}$. The stabilizer subgroup contains the identity, is closed under products, and contains $g^{-1}$ whenever it contains $g$, so it is indeed a subgroup.

The orbit-stabilizer theorem for a finite group saysTo prove it, map a left coset $g{G}_x$ to $g\cdot x$. This is well-defined because every element of $G_x$ fixes $x$. Conversely, $g\cdot x=h\cdot x$ precisely when $h^{-1}g\in G_x$, which is precisely equality of the two cosets. Thus this map is a bijection between the cosets and the group orbit. Each coset has $|G_x|$ elements, by the bijection $k\mapsto gk$, and the cosets partition $G$, giving the formula.

Apply this to the rotational symmetry group of a cube acting on its six faces. The action is transitive: rotations through right angles about coordinate axes can send the top face to each of the other faces. A rotation fixing a face must fix its outward normal, so it rotates about the axis through that face's center and the opposite face's center. Preservation of its square boundary permits exactly four angles modulo $2\pi$: $0,\pi /2,\pi ,3\pi /2$. All four preserve the cube, so this face stabilizer subgroup has order four. The group is finite because a rotation permutes the six face normals and is determined by their images. The orbit-stabilizer theorem givesThese are orientation-preserving rotations; reflections are not being counted.

Place the cube's vertices at $(\pm 1,\pm 1,\pm 1)$. Every symmetry fixes its centre, and permutes the three perpendicular pairs of face normals, so it is a signed permutation matrix. Conversely every such matrix preserves the cube. The symmetry group of a cube acts transitively on its eight vertices: independent coordinate sign changes take $(1,1,1)$ to any vertex.

A symmetry fixing $(1,1,1)$ must permute its three incident edges. This gives an injective map from its stabilizer subgroup into $S_3$, since those three edge directions determine the linear transformation. All six permutations are realized by coordinate permutation matrices, which fix $(1,1,1)$. Thus the vertex stabilizer has order six. The orbit-stabilizer theorem now yieldsThe use of all symmetries includes reflections as well as the twenty-four elements of the rotational symmetry group of a cube.

There are nontrivial proper normal subgroups. The determinant defines a surjective group homomorphism $G\to \{1,-1\}$. Its kernel is the rotational symmetry group of a cube, a normal subgroup of order twenty-four. Also $\{I,-I\}$ is a central subgroup of order two: central inversion preserves the cube and commutes with every matrix. Both provide affirmative examples.

For the body diagonal through $(1,1,1)$, write a general cube symmetry as $D_{\epsilon }P$, with $P$ a permutation matrix and $D_{\epsilon }=\mathrm{diag}({\epsilon }_1,{\epsilon }_2,{\epsilon }_3)$, each ${\epsilon }_j=\pm 1$. Since $P(1,1,1{)}^T=(1,1,1{)}^T$, preserving the unoriented diagonal requires $({\epsilon }_1,{\epsilon }_2,{\epsilon }_3)$ to be either $(1,1,1)$ or $(-1,-1,-1)$. ThusThe map $(\pi ,\epsilon )\mapsto \epsilon P_{\pi }$ from $S_3\times C_2$ to $H$ is a group homomorphism, because central inversion commutes with every coordinate permutation. It is surjective by the displayed description and injective because a permutation matrix cannot equal the negative of another permutation matrix. Consequently the body-diagonal stabilizer in the cube symmetry group isThis also agrees with the orbit-stabilizer theorem for the transitive action on the four body diagonals. The line is preserved as a set, so exchanging its opposite endpoints is allowed.

Take the cube with vertices $(\pm 1,\pm 1,\pm 1)$, and choose the edge $E=\{(1,1,z):-1\le z\le 1\}$. Here the symmetry group of a cube consists of all rigid symmetries, including reflections. A symmetry fixes the centre and permutes the three pairs of opposite faces, so its matrix is a signed permutation matrix.

A symmetry in the stabilizer subgroup of $E$ must preserve its midpoint $(1,1,0)$ and send its direction $(0,0,1)$ to itself or its negative. In this cube symmetry action on edges, its only choices are to interchange the first two coordinates and to reverse the third coordinate. Thus the stabilizer subgroup consists ofThe two generating reflections commute and have order two, so this subgroup is a Klein four-group, isomorphic to $C_2\times C_2$ and has order four. Permuting coordinates and changing signs carries $E$ to any edge. Its orbit of a group action is therefore the set of all twelve edges. The orbit-stabilizer theorem givesIf one restricts to orientation-preserving symmetries, only two of the four stabilizer elements remain, giving the rotational symmetry group of a cube of order $24$; the full symmetry group asked for here has order $48$.

Place the cube at the origin with face normals $\pm e_1,\pm e_2,\pm e_3$, and label opposite faces by $(1,2),(3,4),(5,6)$. Every cube symmetry is a signed permutation matrix: there are $2^{3}3!=48$ choices. Its group action on faces is faithful because fixing all faces fixes all their normal directions. Central inversion $-I$ exchanges every opposite pair and therefore acts as $h$. Since $-I$ commutes with every linear cube symmetry, the face-action image lies in $C_{S_6}(h)$. The preceding count gives $|C_{S_6}(h)|=48$, so the faithful face action is onto this centraliser:For the remaining isomorphism, let $R$ be the rotational symmetry group of a cube. Half the signed permutation matrices have determinant $1$, so $|R|=24$. Central inversion has determinant $-1$, and every orientation-reversing symmetry is $(-I)r$ for a unique $r\in R$. Since $-I$ is central and $R\cap \{I,-I\}=\{I\}$, multiplication gives a direct product of groups:The group action of $R$ on the four body diagonals is faithful. To prove this, choose direction vectors $(1,1,1),(1,-1,-1),(-1,1,-1),(-1,-1,1)$. They span ${\mathbb{R}}^3$, and their only linear relation is that their sum is zero. A rotation fixing all four diagonal lines sends each listed vector to itself or its negative. Applying the relation forces all four signs to agree. The all-negative choice is $-I$, which is not in $R$, so the rotation is the identity. Thus $R$ embeds in $S_4$; both have order $24$, giving $R\cong S_4$. Finally $C_{S_6}(g)\cong C_2\times S_4$ from part (i). ConsequentlyThe direct-product decomposition of the cube symmetry group supplies the second isomorphism, while the first comes from the specified face action.

Use the coefficients in the authoritative PDF, including their factor $i$. Write $a=2\sqrt{3}i$ andThe numerator and denominator are coprime: a common zero would, by subtraction, require $z=0$, where both equal one. Therefore the degree of a rational map of the Riemann sphere is four. Direct algebra givesThe domain transformations $z\mapsto iz$ and $z\mapsto (iz+1)/(1-iz)$ are sphere rotations as special-unitary Möbius transformations: respectively a quarter-turn about the third axis and a one-third turn cycling the three coordinate axes. In particular the latter sends $0\mapsto 1\mapsto i\mapsto 0$, the north, first-axis and second-axis directions. They generate the order-24 rotational symmetry group of a cube, isomorphic to the symmetric group $S_4$. Their target transformations are rotations: $w\mapsto 1/w$ is a half-turn about the first target axis and $w\mapsto \omega w$ is a one-third turn about the third target axis. This proves whole-map combined equivariance, not just symmetry of selected roots.

The target rotation image is the order-six dihedral group $D_3$. The spatial half-turns about all three coordinate axes act trivially on the map: $R(-z)=R(z)$ and $R(1/z)=R(z)$ generate a Klein four-group kernel. Thus the full Skyrmion symmetry combines the spatial cubic rotations with compensating isospin rotations, while its angular energy and Skyrme baryon density have pure spatial cubic symmetry.

The critical directions make the geometry explicit. Its Wronskian of a rational map isThe five finite ramification points are $0,\pm 1,\pm i$; infinity supplies the sixth, since in the local coordinate $w=1/z$ the map starts with $R=1+2a{w}^2+O(w^4)$. These are the six coordinate-axis directions, or face centres of a cube. The angular Jacobian of a rational map vanishes there, consistent with a cube-shaped shell whose density is concentrated away from its face centres. Any further rotational equivariance would have to preserve this set, so the spatial proper rotation group is exactly the cubic group already generated above.

There is also a reflection relation $R(\overline{z})=1/\overline{R(z)}$. Together with the proper rotations, it makes the angular density invariant under the full order-48 symmetry group of a cube, usually denoted $O_h$. The target operation in this reflection relation is orientation reversing; it should not be mistaken for a proper isospin rotation. In the full Skyrme model, reflections are expressed using the field parity operation $U(\mathbf{x})\mapsto U^{†}(-\mathbf{x})$ together with a compensating isospin rotation.

This is the cubic charge-four rational-map ansatz:The cubic rational-map ansatz for four Skyrmions is a useful approximation and starting point for the cubic four-Skyrmion, whose lowest spin-zero, isospin-zero quantized state models an alpha particle. A radial minimization and, for precision, unrestricted field relaxation are still required. The TeX's missing $i$ changes this map; the six critical directions alone would not detect the error, because the same Wronskian zero set persists when $a$ is real. The actual rotational equivariance identities are the stronger check.

Centre the cube at the origin with faces having normals $\pm e_1,\pm e_2,\pm e_3$. Every rotational symmetry fixes the centre and permutes these normals, so its rotation matrix is a signed permutation matrix of determinant one. Conversely any such matrix permutes the cube’s coordinates up to signs and preserves the cube. For each of $3!$ coordinate permutations, four of the eight choices of signs give determinant one. Consequently the rotational symmetry group of a cube hasThis counts the rotations directly, without an unverified stabilizer calculation. The TeX’s $2^k$ is damaged transcription: the PDF prints 24.

Let $X$ be the $3^6$ face colourings. A colouring fixed by a rotation must be constant on each permutation cycle of faces, giving $3^c$ fixed colourings if the rotation has $c$ face cycles. The rotation types are:

There are three face axes, each with two quarter-turns and one half-turn; six edge axes, each with one half-turn; and four vertex axes, each with two nonidentity third-turns. These rotations are distinct and, with the identity, total 24, so the table is exhaustive. Face-axis rotations fix their two axial faces; the remaining four faces cycle or pair. Edge half-turns pair all faces, while vertex third-turns form two triples.

Burnside lemma now givesThe three colours are labelled, orthogonal reflections are excluded, and no condition requires every colour to appear.

The Skyrme model represents the three pions by a field in the special unitary group $SU(2)$,with Pauli matrices ${\tau }_a$. Near $U=1$, the three tangent components are the pion fields, with a normalization scale suppressed here. Define $L_{\mu }=U^{†}{\partial }_{\mu }U$. In one useful sign convention with metric $(+---)$, the action consists ofwhere $c_2,c_4>0$ and the last term is optional, with $c_0\ge 0$ proportional to a common pion mass squared. The first term is a nonlinear sigma model kinetic term, and the second is the four-derivative term of the Skyrme model. For a static configuration of size $s$, the two derivative contributions scale as $E_2\propto s$ and $E_4\propto 1/s$, whereas a mass term scales as $s^3$. This Derrick scaling explains why the four-derivative term can stabilize a finite size instead of allowing collapse.

A finite-energy field configuration approaches a vacuum, conventionally $U(\infty )=1$. Compactifying space makes $U$ a map $S^3\to SU(2)\simeq S^3$. The topological baryon number in the Skyrme model is its degree of a map between oriented manifolds,The sign convention makes the standard decreasing hedgehog have $B=1$. Smooth evolution with the vacuum boundary condition preserves this integer. A Skyrmion is a localized soliton in such a sector; the unit soliton, after quantization, models a nucleon, and higher positive charges model multi-baryon systems. The topological conservation law is distinct from an ordinary Noether charge of isospin. Classical pion fields are bosonic, so obtaining fermionic nucleons also needs the quantum-statistics choice discussed below.

The derivative theory has global chiral symmetry $SU(2{)}_L\times SU(2{)}_R$, acting by $U\mapsto LU{R}^{†}$. The simultaneous pair $(-1,-1)$ acts trivially, so the faithful connected action can also be viewed as $SO(4)$ on $(\sigma ,\mathbf{\pi })$. In the massless theory the choice of vacuum breaks this to the vector subgroup. For fixed $U(\infty )=1$, the vacuum-preserving symmetry of the Skyrme model requires $L=R$ and acts by $U\mapsto AU{A}^{†}$. This is isospin, effectively $SO(3)$ because $A$ and $-A$ act the same way. A usual common pion-mass term explicitly preserves only this vector subgroup; full chiral symmetry is then an approximate massless-limit symmetry, not an exact symmetry of that term. Independent axial rotations change the vacuum and are not extra localized rigid-rotor coordinates in a sector with fixed boundary vacuum.

The space-time symmetry is the Poincaré group, comprising translations and Lorentz transformations, including spatial rotations. Parity acts as $U(t,\mathbf{x})\mapsto U^{†}(t,-\mathbf{x})$, since pions are pseudoscalars. For a static finite-energy solution, translations change its position; spatial rotations and isorotations change its orientation. These transformations generate collective coordinates, but a particular field can be unchanged by certain combined transformations.

For the usual low-charge minimum branches of the standard model, the relevant shapes and density symmetries are the following. These are not claims about every field of a given degree, all excited solutions or arbitrary modified pion potentials.

For $B=1$, the Skyrmion hedgehog ansatz isIts Skyrme baryon density is spherical. Indeed $B=-(2/\pi ){\int }_0^{\infty }{f}^{\prime }{\sin }^{2}fdr=1$. A spatial rotation rotates the pion direction, so the field itself is invariant under a compensating isorotation, not under every spatial rotation alone. Its proper combined stabilizer is a diagonal $SO(3)$.

For $B=2$, the toroidal two-Skyrmion has a ring-shaped density with an axial hole and full density symmetry $D_{\infty h}$. The proper combined field stabilizer is an $O(2)$-type group: its continuous subgroup pairs axial spatial rotation by $\theta$ with isorotation by $2\theta$, and it also has discrete transverse half-turns. The angular approximation $R(z)=z^2$ makes the axial factor two explicit. A static two-baryon minimum is consequently not simply two separate round unit lumps.

For $B=3$, the tetrahedral three-Skyrmion has a tetrahedral shell with four face-hole directions and full density group $T_d$. Its proper rotational group is $T\cong A_4$, the tetrahedral symmetry group of order 12. The actual field symmetries again pair these rotations with isorotations.

For $B=4$, the cubic four-Skyrmion has a cubic shell with six face-hole directions. Its full density group is $O_h$, the symmetry group of a cube, and its proper group is $O\cong S_4$, the rotational symmetry group of a cube of order 24. Cubic and octahedral symmetry name the same point group; this particular density shape is cubic. Reflections in these full density groups should not be confused with the proper rotation-isorotation group used for angular-momentum quantization.

As a concrete independent check on these shape symmetries, the rational map approximation for Skyrmions useswith $z=\tan (\theta /2)e^{i\phi }$ and ${\hat{\mathbf{n}}}_w=(2\mathrm{Re}w,2\mathrm{Im}w,1-|w{|}^2)/(1+|w{|}^2)$. Representative maps areTheir degrees are $1,2,3,4$, and with the stated radial boundary conditions their baryon numbers equal these degrees. The angular Jacobian of a rational map is $J_R=[(1+|z{|}^2)|R^{\prime }|/(1+|R{|}^2){]}^2$. It vanishes at branch directions. $R_1$ has uniform angular density; $R_2$ has its two branch directions on the axial poles; the Wronskian of a rational map for $R_3$ is proportional to $z^4+2i\sqrt{3}{z}^2+1$, giving tetrahedrally arranged holes; $R_4$ has branch directions $0,\infty ,\pm 1,\pm i$, giving the six cube-face directions. Also $R_4(iz)=1/R_4(z)$ pairs a spatial quarter-turn with an isospin half-turn. These give illustrative approximate fields, not exact analytic solutions or a proof of global energy minimality.

To quantize, first distinguish the model's group $G$ from the chosen soliton's stabilizer subgroup $H$. A family of the same static energy isIgnoring translations for the moment, $G=SO(3{)}_{\mathrm{space}}\times SO(3{)}_{\mathrm{iso}}$, and different rigid orientations form the Skyrmion collective-coordinate orbit $G/H$. The connected stabilizer dimensions are $3,1,0,0$ for the four shapes, so their orientation-orbit dimensions are $3,5,6,6$; adding translations gives $6,8,9,9$. For the unit hedgehog, treating rotation and isorotation as six independent modes would double-count its locked orientation. For higher charges, arbitrary separation of constituent lumps is not an exact flat moduli space in this non-Bogomolny theory.

Let the orbit coordinates depend slowly on time. Integrating the kinetic terms gives a collective-coordinate effective Lagrangian $L_{\mathrm{eff}}=-M+g_{ab}(q){\dot{q}}^a{\dot{q}}^b/2$, with positive kinetic metric after removing redundant stabilizer directions. Its angular blocks are the spatial, isospin and mixed inertia tensors. Collective-coordinate quantization produces a rotor Hamiltonian on this orbit, with translations giving center-of-mass momentum. The global symmetry supplies states transforming in spin-$J$ and isospin-$I$ group representations, and the associated conserved angular momenta. Inertia tensors determine energy splittings; group symmetry alone does not specify those tensors or their numerical energies.

The topology and the static stabilizer supply further collective-rotation constraints for a Skyrmion. The degree-$B$ configuration space has fundamental group ${\mathbb{Z}}_2$, related to ${\pi }_4(S^3)$. Choosing the nontrivial Finkelstein-Rubinstein constraints character gives fermionic unit baryons. Wavefunctions live on the appropriate cover, and a lifted stabilizer operation obeysThe sign depends on whether the actual field-configuration loop is contractible, not just on whether the density looks symmetric. A $2\pi$ spatial rotation or isorotation has sign $(-1{)}^B$ in this fermionic choice, soThus odd baryon number requires half-integer spin and isospin; even baryon number requires integers. Discrete or continuous combined stabilizer symmetries impose additional restrictions on the allowed pairs and body-fixed rotor states. They must not simply be omitted, or replaced by trivial invariance under every density symmetry. The trivial character is a possible bosonic quantization but would not produce a fermionic nucleon. Improper field symmetries, implemented using the model parity transformation, can additionally constrain parity labels; scalar-density reflection symmetry alone is insufficient to infer those labels.

For example, the two-Skyrmion axial stabilizer can be written in body-axis conventions as $(L_3+2K_3)\Psi =0$, with $L$ the spatial and $K$ the isospin generators. A transverse spatial half-turn accompanied by an isospin half-turn has the nontrivial sign in the Finkelstein-Rubinstein constraints. The integer-spin scalar state $J=I=0$ is therefore excluded despite even $B$. A spin-one, isospin-zero state with zero axial body projection has the required minus sign under that half-turn; the spin-zero, isospin-one channel can also satisfy the constraints. Their relative energies require the inertia tensors.

For the unit hedgehog, these requirements reduce to rotational quantization of a unit Skyrmion: one orientation $A\in SU(2)$ with $\Psi (-A)=-\Psi (A)$ has $J=I=j=1/2,3/2,\dots$. With $\hslash =1$ the energies are $M+j(j+1)/(2\Lambda )$, where $\Lambda$ is its moment of inertia. Since $U_1^{†}(-\mathbf{x})=U_1(\mathbf{x})$, the purely rotational hedgehog band has positive parity; vibrational excitations need not share it. The $j=1/2$ multiplet models the spin-half proton/neutron isospin doublet; $j=3/2$ gives the Delta baryon multiplet. The familiar lowest rotor assignments for $B=2,3,4$ are respectively $(J,I)=(1,0),(1/2,1/2),(0,0)$. These assignments incorporate the corresponding field-stabilizer constraints and standard inertia ordering, not a prediction from density shape alone. Deformations, vibrational modes, radiation and binding dynamics lie beyond the rigid approximation. The two symmetry roles are therefore