Generic infinitesimal rigidity for rotational groups in the plane

Abstract: In this paper we establish combinatorial characterisations of symmetry-generic infinitesimally rigid frameworks in the Euclidean plane for rotational groups of order 4 and 6, and of odd order between 5 and 1000, where a joint may lie at the centre of rotation. This extends the corresponding results for these groups in the free action case obtained by R. Ikeshita and S. Tanigawa in 2015, and our recent results for the reflection group and the rotational groups of order 2 and 3 in the non-free action case. The characterisations are given in terms of sparsity counts on the corresponding group-labelled quotient graphs, and are obtained via symmetry-adapted versions of recursive Henneberg-type graph constructions. For rotational groups of even order at least 8, we show that the sparsity counts alone are not sufficient for symmetry-generic infinitesimal rigidity.