Free isometric realization of a finitely generated group

ID: free-isometric-realization-of-a-finitely-generated-group

Every finitely generated group acts freely and properly discontinuously by Riemannian isometries on a connected manifold in any dimension . Choose a surjection and the regular covering of associated with its kernel. Pulling back a metric makes the deck transformation group isometric. Uniqueness of lifts makes its action free. The cover can be noncompact and need not be simply connected; no claim about realizing every group as a closed three-manifold fundamental group is involved.

New to topics? Read the docs here!