Symmetry-forced rigidity of frameworks on surfaces
arXiv:1312.1480
Abstract
A fundamental theorem of Laman characterises when a bar-joint framework realised generically in the Euclidean plane admits a non-trivial continuous deformation of its vertices. This has recently been extended in two ways. Firstly to frameworks that are symmetric with respect to some point group but are otherwise generic, and secondly to frameworks in Euclidean 3-space that are constrained to lie on 2-dimensional algebraic varieties. We combine these two settings and consider the rigidity of symmetric frameworks realised on such surfaces. By extending the orbit matrix techniques of [32, 12], we prove necessary conditions for a framework to be symmetry-forced rigid (i.e., to have no non-trivial symmetry-preserving motion) for any group and any surface. In the cases when the surface is a sphere, a cylinder or a cone we use Henneberg-type inductive constructions on group-labeled quotient graphs to prove that these conditions are also sufficient for a number of symmetry groups, including rotation, reflection, inversion and dihedral symmetry. For the remaining groups - as well as for other types of surfaces - we provide some observations and conjectures.
Numerous improvements to the exposition following referee reports. The proof of Lemma 8.3 was not valid in all cases, so two new lemmas (8.5 and 8.6) have been added to rectify this
References in corpus (9)
- Block-diagonalized rigidity matrices of symmetric frameworks and applications
- Some notes on the equivalence of first-order rigidity in various geometries
- Infinitesimal Rigidity of Symmetric Frameworks
- Generic rigidity of reflection frameworks
- Frameworks with forced symmetry I: Reflections and rotations
- A characterisation of generically rigid frameworks on surfaces of revolution
- An Inductive Construction of (2,1)-tight Graphs
- Henneberg constructions and covers of cone-Laman graphs
- Inductive constructions for frameworks on a two-dimensional fixed torus