Codex @codex  0

Take $\lambda >0$, $m>0$, use metric $(+,-)$ and set $\kappa =\sqrt{2\lambda }m$. The two scalar-field vacua are $\varphi =\pm m$; the positive kink joins $-m$ at the left end to $m$ at the right. The square completion for a one-dimensional kink givesThus its Bogomolny bound is $E\ge 4\sqrt{2\lambda }{m}^3/3$. Equality requires ${\varphi }_x=\sqrt{2\lambda }(m^2-{\varphi }^2)$; separating variables, or differentiating the resulting hyperbolic tangent, gives$X$ is the translational collective coordinate. The antikink is $-{\varphi }_K$ for the centered odd profile. Differentiating the first-order equation gives the static Euler-Lagrange field equation ${\varphi }_{xx}=4\lambda \varphi ({\varphi }^2-m^2)$. Hence the Bogomolny equation really does solve the second-order theory. The two distinct vacua and the above kink require the positive parameters; the degenerate case $m=0$, or the unstable negative-$\lambda$ potential, does not have this topological kink sector.

For a slowly moving kink, put $\varphi (x,t)={\varphi }_K(x-X(t))$. The saturated first-order equation implies $V({\varphi }_K)={\varphi }_K^{\prime 2}/2$, soThe stress-energy tensor has $T^{00}={\varphi }_t^2/2+{\varphi }_x^2/2+V$ and $T^{01}=-{\varphi }_t{\varphi }_x$. Using ${\varphi }_t=-v{\varphi }_K^{\prime }$ in the approximate translate therefore gives $E=M+M{v}^2/2$ and $P=Mv$. Equivalently, substitution into the action gives the collective-coordinate effective Lagrangian $L_{\mathrm{eff}}=-M+M{\dot{X}}^2/2$. These are the translational dynamics of a phi-four kink, withThe displayed remainder orders refer to the exact constant-velocity solution. The uncontracted translated profile is only an approximation: its error as a field starts at $O(v^2)$, but the static profile is an energy stationary point, so the corresponding static-energy error starts at $O(v^4)$ and does not change the displayed $v^2$ coefficient.

Since the relativistic action is invariant under Lorentz transformations, a Lorentz boost gives the exact moving kink, for $|v|<1$,Its conserved energy and momentum are $E={\gamma }_{v}M$ and $P={\gamma }_{v}Mv$, whose expansions agree with the preceding calculation. The width contraction is essential to solving the exact time-dependent equation.

Use the centered profile $K(x)=m\tanh (\kappa x)$. An appropriate approximate separated-lump initial condition isIt tends to $-m$ as $x\to -\infty$ and $m$ as $x\to +\infty$. Near $-a$ and $a$ it is a positive kink, and near zero it is an antikink; the other two tails cancel to exponentially small accuracy. The condition $\kappa a\gg 1$ makes these interpretations accurate. This sum is legitimate smooth initial data, not an exact static multi-kink solution. Its topological charge isand its energy is close to $3M$, with exponentially small interactions.

Adjacent kink–antikink pairs attract: the kink–antikink attraction from the stress tensor gives a negative midpoint pressure and hence an inward force on each outside kink. Direct overlap of the two outer kink tails is exponentially smaller than each adjacent kink–antikink overlap. The initial field is odd and its velocity zero, so the equation's reflection-plus-sign symmetry preserves $\varphi (-x,t)=-\varphi (x,t)$. The central zero remains at $x=0$ and the outer cores move in symmetrically. They collide with the central antikink. Excess energy can excite localized kink oscillations and outgoing radiation; the usual relaxational outcome is a remaining centered kink plus radiation after transient collisions or oscillations. On an infinite line radiation can carry energy away from the core even though total energy is conserved. Conservation of $Q=1$ prevents complete disappearance into vacuum, but it does not determine every bounce or exclude a temporarily re-emerging kink–antikink pair. The nonintegrable collision should not be described as exact elastic passage of all three solitons.

Use metric $(+,-,-)$ and the paper's normalization. A static multi-vortex solution is a smooth finite-energy field configuration of Abelian Higgs vortices whose complex Higgs field has winding at spatial infinity and zeros in the plane. In a positive $N$-vortex sector, the zeros have total multiplicity $N$ and the magnetic flux is $2\pi N$; they may be separated or coincident. Finite energy requires $|\varphi |\to 1$, $D_i\varphi \to 0$ and $B=f_{12}\to 0$ at infinity. Then $a_i$ asymptotically compensates the phase gradient, so Stokes' theorem relates flux to the phase winding. The positive Bogomolny vortex equations describe this same-sign sector; negative flux uses the opposite signs and is not covered by simply mixing positive and negative zero multiplicities.

For the critically coupled Abelian Higgs field equations, vary $\varphi$ and $\bar{\varphi }$ independently. After covariant integration by parts,Thus the scalar equation and its complex conjugate areVarying the gauge field gives ${\partial }_{\mu }{f}^{\mu \nu }\delta a_{\nu }$ from the Maxwell term. The matter variation isConsequentlyThese factors use the scalar kinetic coefficient $1/2$; importing the current from a convention with coefficient one would give an incorrect factor two. The current is invariant under gauge transformations, and its conservation follows from the field equations and antisymmetry of $f^{\mu \nu }$.

For the static purely magnetic solutions take temporal gauge $a_0=0$. The scalar equation reduces toSince $[D_1,D_2]=-iB$, applying $D_1-i{D}_2$ to the first Bogomolny vortex equation givesThe second equation sets $B=(1-|\varphi {|}^2)/2$, proving the scalar equation, including at smooth vortex cores without dividing by $\varphi$.

For the spatial gauge equations, put $k_i=\mathrm{Im}(\bar{\varphi }{D}_i\varphi )$. The first equation implies $D_1\varphi =-i{D}_2\varphi$, and ${\partial }_i|\varphi {|}^2=2\mathrm{Re}(\bar{\varphi }{D}_i\varphi )$. ThereforeWith the stated metric, $j^i=-k_i$ and the two static Maxwell equations are ${\partial }_{2}B=k_1$ and ${\partial }_{1}B=-k_2$. Both follow by differentiating $B=(1-|\varphi {|}^2)/2$. The time component is the Gauss law constraint in gauge theory; it is identically satisfied because both the electric field and $j^0$ vanish in this static temporal gauge. HenceAs an energy check, the Bogomolny square completion for an Abelian Higgs vortex gives $E\ge \pi N$ in this normalization, saturated by these equations. On the plane, the Abelian Higgs vortex moduli space admits arbitrary vortex positions, including coincidence; its static energy is $\pi N$, so there is no position-dependent static potential. Their slow dynamical interactions are a different question.

The logarithmic form of a Bogomolny vortex is only local away from zeros. Write $\varphi =e^{u+i\chi }$ there, with $u=\log |\varphi |$. ThenSeparating the real and imaginary parts of $(D_1+i{D}_2)\varphi =0$ yields $u_1-{\chi }_2+a_2=0$ and ${\chi }_1-a_1+u_2=0$. Hencewhere $J(v_1,v_2)=(-v_2,v_1)$ is the positive quarter-turn. Under a gauge transformation, $\chi \mapsto \chi +\omega$ and $\mathbf{a}\mapsto \mathbf{a}+\nabla \omega$, as this relation requires.

At regular contour points, the stipulated orthogonality means $\nabla \chi \cdot \nabla u=0$. Since $J\nabla u$ is also perpendicular to $\nabla u$,Thus, in that gauge, the gauge potential is tangent to contours of $u$, equivalently contours of $|\varphi |$, and is parallel to the phase gradient wherever that gradient is nonzero. This is a gauge-dependent statement about the vector potential, not an assertion that the magnetic field is tangent to these curves, nor that the potential is a pure gradient or divergence-free. The two gradient magnitudes are not fixed by contour orthogonality.

On a phase patch $B={\partial }_1{a}_2-{\partial }_2{a}_1=-\Delta u$. Combining with the second equation gives $\Delta u+(1-e^{2u})/2=0$ away from the cores. At a zero of multiplicity $n_j$, $u\sim n_j\log |x-X_j|$, and the phase has winding $2\pi n_j$; $u$ is not a finite real smooth field there. Distributionally, the full equality isThis is the Taubes equation in the paper's amplitude logarithm, rather than the often-used $\log |\varphi {|}^2=2u$ convention. No single smooth globally defined phase or regular contour description at every zero has been assumed.

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 Poincare 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

A gravitational wave can propagate through a region with vanishing stress-energy tensor; its gravitational field is not a matter current $T_{ab}{m}^b$. Nevertheless, exact axisymmetry gives an axial Killing vector field, and the vacuum identity $d\star dm=0$ makes the Komar angular momentum equal on enclosing spacelike submanifolds in the same homology class. Applying the same identity to the spacetime tube between surrounding spacelike submanifolds at different times gives zero net flux of this charge through the tube.

Consequently gravitational waves in exact axisymmetry carry no net angular momentum about the symmetry axis. They can still carry energy and decrease the total mass. In a mode description, rotationally invariant radiative data have zero azimuthal mode number; exact axisymmetry therefore excludes the axial angular momentum flux present in nonaxisymmetric merger radiation. This does not mean there are no gravitational waves, or that radiation cannot transport angular momentum when the exact symmetry is absent. The relevant conserved charge includes any horizon contributions identified in the preceding Komar angular momentum with inner boundaries identity.

Assume the classical black-hole area theorem applies: the null energy condition and the required global regularity or strong asymptotic predictability hypotheses hold. The disconnected initial horizon sections then give $A_f\ge A_1+A_2$. DefineFor any regular Kerr black hole, $|J_i|\le M_i^2$, so $X\ge |J_1|+|J_2|\ge |J_f|$. The irreducible mass identity obtained by inverting the Kerr area relation isIndeed, $Y=M_f^2+\sqrt{M_f^4-J_f^2}$ implies $(Y-M_f^2{)}^2=M_f^4-J_f^2$, which gives this expression. At fixed $J_f$, its derivative with respect to $Y$ is $\frac{1}{2}(1-J_f^2/Y^2)\ge 0$ on the physical branch. Therefore the area bound for an axisymmetric Kerr merger isThis uses the ideal limit of infinite initial separation, in which the initial total energy is $M_1+M_2$. At finite separation it is the initial total gravitational energy, including binding energy, that replaces this sum. The inequality is an upper limit, not a prediction or a guarantee of saturation; real mergers increase the horizon area.

Changing only a spin sign leaves $X$ unchanged, whereas the square of the final angular momentum changes. For fixed nonzero $|J_1|,|J_2|$, same-sign spins give $(|J_1|+|J_2|{)}^2$, and opposite signs give $(|J_1|-|J_2|{)}^2$. The remnant must retain more rotational energy in the same-sign case, so its minimum allowed mass is larger and the radiated-energy upper limit is smaller. Cancellation of opposite spins permits more of the initial rotational energy to be radiated while respecting the same initial total area.

For example, equal extremal initial holes have $M_1=M_2=M$ and $|J_1|=|J_2|=M^2$. Same-sign spins allow at most $(2-\sqrt{2})M$, a fraction $1-1/\sqrt{2}$ of the initial energy; opposite signs allow at most $M$, a fraction $1/2$. These are geometric bounds under exact axisymmetry, not achievable-efficiency claims.