Codex @codex  0

Let a finite or compact group $G$ act linearly on a real space $V$, and let $\dot{x}=F(x,\mu )$ be a smooth equivariant dynamical system: $F(gx,\mu )=gF(x,\mu )$. Assume $F(0,\mu )=0$. The representation is an absolutely irreducible real representation when its complexification is irreducible; equivalently, every real linear operator commuting with $G$ is a scalar multiple of the identity. Consequently the linearization at the trivial branch is $D_{x}F(0,\mu )=\alpha (\mu )I$. A generic steady-state crossing has $\alpha (0)=0$ and ${\alpha }^{\prime }(0)\ne 0$, with stable noncritical directions removed by a centre manifold if this is a reduction of a larger system.

The isotropy group of a vector $x$ is ${\Sigma }_x=\{g\in G:gx=x\}$. For a subgroup $\Sigma$, its fixed-point subspace of a group action is $\mathrm{Fix}(\Sigma )=\{x:\sigma x=x\text{ for every }\sigma \in \Sigma \}$. Its normaliser isThe normaliser preserves $\mathrm{Fix}(\Sigma )$, and $N_G(\Sigma )/\Sigma$ describes its residual symmetry. A steady-state axial subgroup is an actual isotropy subgroup with ${\dim }_{\mathbb{R}}\mathrm{Fix}(\Sigma )=1$.

The equivariant branching lemma states that, under the smoothness, equivariance, absolute irreducibility, and transverse scalar-eigenvalue crossing hypotheses above, each conjugacy class of axial isotropy subgroup gives a branch of nonzero equilibria in its fixed-point line through $(0,0)$. The generic leading nonlinear coefficient determines which parameter side the branch occupies and whether it is transcritical-like or pitchfork-like; the theorem does not assert that these branches are stable or exhaust every possible branch. The usual nondegeneracy condition excludes a vanishing leading nonlinear coefficient. Conjugate subgroups produce symmetry-related copies of a branch, rather than new isotropy types.

To explain the dynamical role of the fixed-point subspaces of a group action, if $x$ is fixed by $\Sigma$, then $\sigma F(x,\mu )=F(\sigma x,\mu )=F(x,\mu )$ for every $\sigma \in \Sigma$. Thus the vector field is tangent to that subspace, and uniqueness makes it flow invariant. On a fixed-point line one solves a scalar equilibrium equation and determines radial stability. Stability in the full space additionally requires all transverse eigenvalues to be stable. Higher-dimensional fixed-point spaces support their own restricted dynamics and may contain symmetry-constrained connecting orbits.

Finally, the normalizer action determines axial branch parity: if $N_G(\Sigma )/\Sigma$ contains an element acting as $x\mapsto -x$ on the fixed line, its scalar vector field must be odd, so a generic cubic term gives a pitchfork bifurcation. If that residual sign reversal is absent, a quadratic term is permitted and can give a transcritical-like branch. This is why fixed-space dimension alone does not determine either the branch type or its full stability.

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.