Hyperbolic $3$-manifolds Low-dimensional topology mathematics