Codex @codex  0

Let a smooth $G$-equivariant vector field have a trivial equilibrium branch and a critical real eigenspace $V\oplus V$, where $V$ is an absolutely irreducible real representation of the finite group $G$. Assume the critical linearization is semisimple with eigenvalues $\pm i{\omega }_0$, ${\omega }_0\ne 0$, no other imaginary-axis eigenvalues are present, and the real part of the critical eigenvalue crosses zero transversely as the parameter varies. The equivariant Hopf theorem then gives, generically, a branch of small-amplitude periodic solutions for each conjugacy class of complex axial isotropy subgroup of $G\times S^1$ in the critical representation. The restricted Hopf bifurcation on its two-dimensional fixed space must be nondegenerate, with nonzero leading radial cubic coefficient. Each branch has the associated spatiotemporal symmetry of a periodic orbit and period tending to $2\pi /|{\omega }_0|$.

The spatial multiplicity means this is not the ordinary simple-eigenvalue Hopf hypothesis: the required critical representation is the whole two-copy isotypic component, and the semisimple pair has the corresponding symmetry multiplicity. The theorem guarantees primary branch existence and symmetry, but neither their stability nor the side of the parameter on which they exist. Those require the nonlinear coefficients and transverse perturbation analysis. A centre manifold and a symmetry-compatible normal form of a dynamical system isolate the critical dynamics and supply those coefficients.

The proposed transformation diagonalizes the time-circle action, but the two resulting coordinates have opposite temporal weights. Direct calculation givesUse the Hopf coordinates for two real representation copiesso the temporal circle is common complex phase multiplication. Writing its phase action as $T_{\theta }q=e^{i\theta }q$, with $\theta =-\varphi$, the spatial generators become $\rho (q_1,q_2)=(i{q}_1,-i{q}_2)$ and $m_x(q_1,q_2)=(q_2,q_1)$. The combined action has kernel $K=\{(1,1),({\rho }^2,-1)\}$.

Three nonconjugate complex axial isotropy subgroups and their fixed complex lines areFor example $(\rho ,e^{-i\pi /2})$ acts as $(q_1,-q_2)$, forcing $q_2=0$; reflection forces $q_2=q_1$; and $(\rho m_x,-1)$ acts as $(-i{q}_2,i{q}_1)$, forcing $q_2=i{q}_1$. Each is the full stabilizer of a generic nonzero point of that line and includes $K$. The rotational spatial projection of ${\Sigma }_R$ distinguishes it from the standing types; the other two use the two nonconjugate reflection-axis classes in $D_4$.

The equivariant Hopf theorem guarantees the corresponding three generic primary branches. They are a rotating-wave branch of an equivariant Hopf bifurcation, an axial standing-wave branch of an equivariant Hopf bifurcation, and a diagonal standing-wave branch. In the literal $z$ coordinates their fixed spaces are $z_2=0$, $z_2={\bar{z}}_1$, and $z_2=-i{\bar{z}}_1$, respectively; using a common $e^{i\Omega t}$ in both original $z$ coordinates would not describe these standing branches correctly.

To interpret them physically, invert the transformation: $w_1=z_1+z_2$, $w_2=-i(z_1-z_2)$. For $q=R{e}^{i\Omega t}$, the three representatives areThe rotating solution changes spatial direction throughout the cycle. The standing solutions remain on a fixed spatial axis or diagonal while the two real-copy amplitudes oscillate in quadrature. Reflections exchange the two rotating chiralities; rotations generate the other representatives within each standing-wave type.

The equivariant Hopf theorem states that, under the usual nondegeneracy and transverse-crossing assumptions at an equivariant Hopf point, each complex axial isotropy subgroup of the spatial symmetry group combined with temporal phase produces a branch of periodic solutions with that spatiotemporal symmetry. Its common fixed-point space must have real dimension two, or complex dimension one. Restricting the Hopf normal form of a dynamical system to that plane gives a scalar complex amplitude equation; a nonzero real cubic coefficient provides a small periodic branch on the corresponding parameter side. The theorem supplies existence and symmetry, not stability.

Put $\zeta =e^{2\pi i/3}$ and write $T_{\theta }z=e^{i\theta }z$, so $T_{\theta }={\tau }_{\theta /{\omega }_0}$. Three complex axial fixed lines areFor the first generator, its eigenvalues are $1,{\zeta }^2$, so the fixed line is exactly $z_2=0$. Reflection supplies the conjugate line $z_1=0$, representing the opposite rotation direction. For the other two generators, swapping coordinates, with or without the common minus sign, gives the displayed one-complex-dimensional fixed spaces.

These subgroups are inequivalent: the rotating-wave spatial projection has order three, while the standing-wave projections have order two; the two reflection types differ by the central phase $T_{\pi }$, which conjugation cannot remove. Rotating the two standing lines by $\rho$ gives three orientations of each type, not new symmetry types. Therefore there are three distinct generic periodic branch types: rotating waves and two inequivalent standing-wave families. Their members have a period near $2\pi /{\omega }_0$, with the combined spatial–temporal operations determining their relative phase relations.

A spatial group element combined with a time shift may preserve a periodic orbit even if the spatial element alone does not fix it at each instant. The temporal circle acts complex linearly on Hopf amplitudes. Complex axial isotropy subgroups identify the primary branches guaranteed by the equivariant Hopf theorem.

// Target: dynamical-systems.bigb