  In this article we survey and describe various aspects of the geometry and
arithmetic of Kleinian groups - discrete nonelementary groups of isometries of
hyperbolic $3$-space. In particular we make a detailed study of two-generator
groups and discuss the classification of the arithmetic generalised triangle
groups (and their near relatives). This work is mainly based around my
collaborations over the last two decades with Fred Gehring and Colin
Maclachlan, both of whom passed away in 2012. There are many others involved as
well.
  Over the last few decades the theory of Kleinian groups has flourished
because of its intimate connections with low dimensional topology and geometry.
We give little of the general theory and its connections with $3$-manifold
theory here, but focus on two main problems: Siegel's problem of identifying
the minimal covolume hyperbolic lattice and the Margulis constant problem.
These are both "universal constraints" on Kleinian groups -- a feature of
discrete isometry groups in negative curvature and include results such as
J{\o}rgensen's inequality, the higher dimensional version of Hurwitz's $84g-84$
theorem and a number of other things. We will see that big part of the work
necessary to obtain these results is in getting concrete descriptions of
various analytic spaces of two-generator Kleinian groups, somewhat akin to the
Riley slice.
