“…However, as in many mathematical theories, the presence of symmetries may cause further rigidity. For example in geometry, if a closed manifold has non-positive curvature or is aspherical, non-discreteness of the isometry group of the universal covering of a compact manifold forces the metric to be locally symmetric [Ebe80,Ebe82,FW08,vL13,vL14].…”