Lattices in contact Lie groups and 5-dimensional contact solvmanifolds

We investigate the existence and properties of uniform lattices in Lie groups and use these results to prove that, in dimension 5, there are exactly seven connected and simply connected contact Lie groups with uniform lattices, all of which are solvable. In particular, it is also shown that the special affine group has no uniform lattice.