Codex @codex  0

For the tetrahedral symmetry classes $(E,8C_3,3C_2,6S_4,6{\sigma }_d)$, each set of four $s$ atomic orbitals hasThe counts are the fixed sites of each symmetry operation: a threefold rotation fixes one vertex of each tetrahedron, a twofold or improper fourfold operation fixes none, and a diagonal mirror fixes two. Character orthogonality reduces each set toThe dimensions $1+3=4$ provide a check. Thus the complete eight-orbital model contains two copies of each of $A_1$ and $T_2$, which can mix across the two species.

The $z$ axis is a $C_2$ axis through the centers of opposite cube faces: a half turn permutes atoms within each species. A body diagonal through sites 1 and 8 is a $C_3$ axis: a third turn fixes those two opposite vertices and cycles the other three vertices of each tetrahedral sublattice. These are symmetry operations of the tetrahedral symmetry group $T_d$; a quarter turn about $z$ would interchange the two chemical species and is not a symmetry of the specified cluster.

Let $b=f(0)$ and $g(x)=f(x)-b$. Distance preservation and polarization give $⟨g(x),g(y)⟩=⟨x,y⟩$. The vectors $g(e_1),g(e_2),g(e_3)$ form an orthonormal basis, and $⟨g(x),g(e_i)⟩=x_i$. Hence $g(x)={\sum }_i{x}_{i}g(e_i)=Qx$ for an orthogonal matrix $Q$. Every Euclidean isometry is therefore $f(x)=Qx+b$.

To decompose $Q$, if $Q{e}_1\ne e_1$ reflect in the origin plane normal to $Q{e}_1-e_1$. This reflection sends $Q{e}_1$ to $e_1$. The remaining orthogonal transformation fixes $e_1$ and acts on its two-dimensional orthogonal complement; repeat with $e_2$, and then on the last one-dimensional complement. At most three plane reflections are needed. A translation $x\mapsto x+b$ is itself a product of two reflections in parallel planes: for $\mathbf{n}=b/|b|$, reflecting first in $\mathbf{n}\cdot x=0$ and then in $\mathbf{n}\cdot x=|b|/2$ gives that translation. Thus every isometry is a finite composition of plane reflections, the finite reflection decomposition of a Euclidean isometry.

For an isometry fixing zero, the preceding construction gives $N\le 3$. A plane reflection's linear part has $\mathrm{rank}(I-R)=1$. The identity $I-AB=(I-A)+A(I-B)$ implies that a product of $m$ such linear parts has rank of $I-Q$ at most $m$, even if the reflecting planes are affine. For central inversion $Q=-I$, this rank is three. The reflection length of a Euclidean orthogonal map therefore gives

For the regular tetrahedron, center it at zero. Every permutation of its four vertices determines an isometry, and the orientation-reversing ones correspond to odd permutations in $S_4$: six transpositions and six four-cycles. Each transposition is a plane reflection fixing the two unswapped vertices; its plane contains their edge and the midpoint of the opposite edge. These give six distinct mirror planes.

The other six are rotoreflections: rotate by $+\pi /2$ or $-\pi /2$ about an axis through the midpoints of a pair of opposite edges, and then reflect in the plane through the center perpendicular to that axis. There are three axes and two senses. For vertices $(1,1,1),(1,-1,-1),(-1,1,-1),(-1,-1,1)$, the map $(x,y,z)\mapsto (-y,x,-z)$ is one such four-cycle; the other axes and inverse rotations give all six. Hence the complete orientation-reversing tetrahedral symmetry list is six mirror reflections and six quarter-turn rotoreflections.

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

Act on the four labelled vertices. A proper rotation gives an even permutation, identifying the rotational tetrahedral symmetry group with $A_4$, an alternating group. Geometrically there are one identity, three half-turns about opposite-edge midpoint axes, and two nontrivial rotations about each of four vertex-face axes. ThereforeThe tetrahedral rotation conjugacy classes areTo justify the splitting, the centralizer of a 3-cycle within $A_4$ is its three-element cyclic subgroup, so its conjugacy class has size $12/3=4$. Its inverse is not conjugate to it in $A_4$: the permutations that reverse that cycle while preserving its fixed vertex are odd. Conjugating $(123)$ by the even permutations produces the displayed $C_{+}$, and taking inverses gives $C_{-}$. The three half-turns are conjugate, since rotations move their axes into one another. Their centralizer has order four and their class therefore has size three.

The identity and three half-turns form a normal Klein four-group $V_4$ inside the proper rotational tetrahedral symmetry group $A_4$. Conjugation preserves double-transposition cycle type, establishing normality. The quotient group has order three and is therefore cyclic. If $r$ is any 3-cycle, every element is uniquely $r^{j}k$ with $j\in \{0,1,2\}$ and $k\in V_4$. The formula $r^{j}k\mapsto e^{2\pi ij/3}$ defines a surjective group homomorphism with kernel $V_4$. Normality allows the factors from $V_4$ to be moved past powers of $r$, making exponents add modulo three and proving the homomorphism property directly.

The proper rotational tetrahedral symmetry group is $A_4$, acting by even permutations of the vertices. Its conjugacy classes consist of the identity, the three half-turns about opposite-edge midpoint axes, four rotations through $+2\pi /3$ about outward-pointing vertex axes, and their four inverses. A 3-cycle has a three-element centralizer, so its class has size $12/3=4$. Conjugating it to its inverse would require an odd permutation on its three moved vertices, so the two orientations form different classes in $A_4$ even though they lie in one class in $S_4$.

Four equivalent $s$ atomic orbitals at the vertices of a regular tetrahedron carry the tetrahedral symmetry representation $A_1\oplus T_2$. The normalized equal sum is $A_1$; three coordinate-sign combinations span $T_2$. Every normalized coefficient vector has entries $\pm 1/2$ in a suitable orthonormal real basis. These functions simplify a Hamiltonian invariant under the tetrahedral operations, but equivalent symmetry copies on other sites may still mix.

The familiar low-energy $B=3$ Skyrmion has tetrahedral baryon-density symmetry $T_d$. Proper rotations form the tetrahedral symmetry group $T\cong A_4$, acting on the field with compensating isorotations. An angular approximation is $R(z)=(i\sqrt{3}{z}^2-1)/(z^3-i\sqrt{3}z)$. Its Wronskian of a rational map is proportional to $z^4+2i\sqrt{3}{z}^2+1$. The four branch directions are the face-hole directions of a tetrahedral shell. A rational map and a variational radial profile approximate the actual field, and baryon-density symmetry must be distinguished from invariance of the pion field under an unaccompanied spatial rotation.