Geometric rigidity and an application to statistical mechanics