Cobounded orbit map lemma

ID: cobounded-orbit-map-lemma

A cobounded group action by isometries on a nonempty geodesic metric space admits an orbit map that is a quasi-isometry for a possibly infinite generating set of a group. If is -dense, take . Subdivide a metric geodesic into segments of length at most one and approximate subdivision vertices by orbit points, keeping the endpoints exact. The resulting group increments generate and give
The first estimate includes zero displacement: a nontrivial stabilizer element has length one. No finiteness assertion about survives without properness.

New to topics? Read the docs here!