## Definition

A **model geometry** is a manifold together with a Lie group of diffeomorphisms of such that:

- is connected and simply connected
- acts transitively on , with compact point stabilizers
- is not contained in any larger group of diffeomorphisms of with compact point-stabilizers
- There exists at least one compact manifold modeled on