The geometry of the Lie group consisting of real matrices of the form [1 | x | y 0 | 1 | z 0 | 0 | 1], i.e., the Heisenberg group.

Heisenberg group | Lie group | Thurston's geometrization conjecture