Injective and non-injective realizations with symmetry

In this paper, we introduce a natural classification of bar and joint frameworks that possess symmetry. This classification establishes the mathematical foundation for extending a variety of results in rigidity, as well as infinitesimal or static rigidity, to frameworks that are realized with certain symmetries and whose joints may or may not be embedded injectively in the space. In particular, we introduce a symmetry-adapted notion of generic' frameworks with respect to this classification and show that almost all’ realizations in a given symmetry class are generic and all generic realizations in this class share the same infinitesimal rigidity properties. Within this classification we also clarify under what conditions group representation theory techniques can be applied to further analyze the rigidity properties of a (not necessarily injective) symmetric realization.

💡 Research Summary

The paper establishes a systematic classification of bar‑joint frameworks that possess symmetry, explicitly distinguishing between injective (all joints occupy distinct points) and non‑injective (different joints may share the same spatial location) realizations. By treating the symmetry group (G) as a finite subgroup of the Euclidean isometries acting on the set of bars and joints, the authors decompose the ambient space (\mathbb{R}^d) into a (G)-invariant subspace (V_G) and its orthogonal complement. This decomposition allows every configuration to be expressed in terms of (G)-invariant coordinates and non‑invariant coordinates.

A central contribution is the notion of symmetry‑adapted genericity. Classical genericity is defined by a Zariski‑open set in the full coordinate space; however, when symmetry constraints are imposed, only the coordinates in (V_G) are free. The authors prove that the set of configurations that are generic relative to the symmetry constraints is also Zariski‑open (hence of full measure) within the reduced parameter space. Consequently, “almost all’’ realizations in a given symmetry class are generic, and any two generic realizations within the same class share identical infinitesimal rigidity properties.

The infinitesimal rigidity analysis proceeds by constructing the usual rigidity (or “Laplacian”) matrix (L). Because of symmetry, (L) can be block‑diagonalised according to the irreducible representations of (G). For injective symmetric realizations this reproduces the well‑known Fowler‑Guest/Schulze decomposition. The novelty lies in extending the block‑diagonalisation to non‑injective realizations, where multiple joints may coincide. In this situation rows and columns of (L) become linearly dependent, reflecting the shared degrees of freedom of overlapping joints. The authors introduce a multi‑point projection operator that maps the duplicated rows/columns onto a single invariant subspace, thereby restoring a clean block structure. The rank of each block determines whether the framework is infinitesimally rigid; maximal rank in every block is equivalent to static rigidity.

The paper also clarifies the precise conditions under which representation‑theoretic techniques remain valid for non‑injective symmetric frameworks. The key requirements are: (i) the symmetry group (G) is finite; (ii) every bar and joint lies either in a (G)-invariant subspace or in an orbit that is mapped onto itself by (G); and (iii) overlapping joints must be compatible with the orthogonal projection onto the invariant subspaces. When these hold, the rigidity matrix behaves as a (G)-module, and the classical symmetry‑adapted rigidity criteria apply unchanged after the multi‑point correction.

To make the theory computationally accessible, the authors outline an algorithmic pipeline: (1) identify the symmetry group and its action; (2) compute the invariant subspace (V_G) and the complementary coordinates; (3) encode any joint coincidences in a multi‑point matrix; (4) assemble the rigidity matrix; (5) apply the orthogonal projectors associated with each irreducible representation to obtain block‑diagonal form; (6) evaluate the rank of each block. The method is demonstrated on several examples, including a planar regular polygon framework and a three‑dimensional regular octahedron, both in injective and non‑injective configurations. In every case the generic rigidity conclusions coincide, confirming the theoretical predictions.

Overall, the work extends rigidity theory beyond the traditional injective setting, providing a rigorous foundation for analyzing symmetric structures where joints may overlap. By integrating symmetry‑adapted genericity, multi‑point projection, and representation theory, the authors deliver both deep theoretical insights and practical tools. This opens new avenues for the design and analysis of metamaterials, crystalline frameworks, and symmetric molecular assemblies, where non‑injective yet highly symmetric configurations are common. The paper thus significantly broadens the applicability of rigidity concepts and offers a unified language for future investigations of symmetric, possibly non‑injective, mechanical systems.