For
the extended centre manifold for a parameter gives the local reduced equations
where . Thus the first two points undergo respectively supercritical and subcritical symmetry-forced pitchfork bifurcations, while each of the last two points undergoes a saddle-node bifurcation.
Seek an equilibrium in the invariant coordinate plane with . Put and . The two nonzero-component equations are
Subtracting gives , so positive require . With , the solutions are
They are actual additional equilibria when has the sign of ; the signs of are independently free, and cyclic permutation supplies the other two coordinate planes. For example, , gives and . Thus additional two-coordinate equilibria do exist for suitable opposite-sign cross-couplings. The inequality is necessary for this type, but without the positivity conditions on the displayed denominator it need not be sufficient for every coefficient choice.
The isotropy of a generic such point is just , whose fixed-point subspace is two-dimensional. The Equivariant branching lemma guarantees axial branches with one-dimensional fixed spaces; it does not rule out these lower-symmetry branches. Their existence therefore gives no contradiction.
At fixed , letting cross zero with sends , : the new pair of opposite- branches meets an axis equilibrium. Its eigenvalue is , so this is a secondary symmetry-forced pitchfork bifurcation. Similarly, as crosses zero with , the branches meet the axis, whose eigenvalue is . The cubic formula gives near the first crossing, and near the second. Reflections force the two signs of the newly nonzero coordinate, while cyclic symmetry gives the corresponding pitchforks on the other axes. The simultaneous case is degenerate and is not a generic single-parameter pitchfork.