Journal of Lie Theory Vol. 14, No. 1, pp. 3568 (2004) 

Metric Rigidity of Crystallographic GroupsMarcel SteinerMarcel SteinerFHBB, Departement Industrie Abteilung Maschinenbau Gründenstrasse 40 CH4132 Muttenz marcel.steiner@fhbb.ch Abstract: Consider a finite set of Euclidean motions and ask what kind of conditions are necessary for this set to generate a crystallographic group. We investigate a set of Euclidean motions together with a special concept motivated by real crystalline structures existing in nature, called an essential crystallographic set of isometries. An essential crystallographic set of isometries can be endowed with a crystallographic pseudogroup structure. Under certain well chosen conditions on the essential crystallographic set of isometries $\Gamma$ we show that the elements in $\Gamma$ define a crystallographic group $G$, and an embedding $\Phi\colon\Gamma\to G$ exists which is an almost isomorphism close to the identity map. The subset of Euclidean motions in $\Gamma$ with small rotational parts defines the lattice in the group $G$. An essential crystallographic set of isometries therefore contains a very slightly deformed part of a crystallographic group. This can be interpreted as a sort of metric rigidity of crystallographic groups: if there is an essential crystallographic set of isometries which is metrically close to an inner part of a crystallographic group, then there exists a local homomorphismpreserving embedding in this crystallographic group. Classification (MSC2000): 20H15 Full text of the article:
Electronic version published on: 29 Jan 2004. This page was last modified: 1 Sep 2004.
© 2004 Heldermann Verlag
