There is much talk about hyperbolic cusped 3-manifolds, but almost no definition of what a cusped manifold is.


One definition I found was that it is a result of a parabolic transformation on H^n, fixing the infinity point (?).


Is there a more intuitive definition for the 3-dimensional case. What about a general n-dimensional case. Is there a definition of a cusp?



Definition of cusped manifold?
Cusped manifolds are noncompact complete hyperbolic manifolds with finite Riemannian volume. 


More precisely, a cusped hyperbolic n-manifold is a Riemannian manifold (without boundary) of constant negative curvature, which is metrically complete and has finite Riemannian volume, but is not compact. If you prefer to look at group actions, then you can see it as the quotient of n-hyperbolic space by a group of isometries acting properly discontinuously, freely, and with a fundamental domain of finite volume but no compact fundamental domain. 


This definition does not depend on the dimension. The name "cusped" comes from the fact that these manifolds have the following structure: say $M$ is one such, then it retracts onto a compact submanifold $M'$ which has a boundary consisting of flat manifolds $T\_1, \ldots, T\_h$. The rest of the manifold consists of so-called "cusps", which are warped products $T\_i \times [1, +\infty[$ with the metric $(dx^2 + dt^2)/t^2$ (where $dx$ is a flat metric on $T\_i$). The uniformisation of a cusp is as follows: take the upper-half plane model for hyperbolic space, so that it decomposes as $\mathbb H^n = E^{n-1} \times ]0, +\infty[$ where $E^{n-1}$ is (n-1)-Euclidean space. Let $\Lambda$ be a $n-1$-dimensional torsion-free crystallographic group (a subgroup of Euclidean isometries of $E^{n-1}$ with a compact fundamental tile, for example $\mathbb Z^{n-1}$ acting by translations). It acts (by parabolic isometries) on $\mathbb H^n$ preserving the subsets $E^{n-1}\times\{t\}$; then the quotient $\Lambda \backslash E^{n-1} \times[1,+\infty[$ is a cusp. 


In 3 dimensions, by Perelman's solution the Thurston geometrisation conjecture there is a topological characterisation of hyperbolic cusped manifolds (I am writing from memory here, there might be imprecisions): they are exactly the interior of irreducible compact manifolds with a nonempty boundary consisting of tori, which contain no other essential tori up to homotopy, and no embedded annuli connecting two essential curves on distinct boundary components (In this setting irreducible means that every sphere bounds a ball and every disc bounds a half-ball). (**EDIT:** added the condition on annuli and precised that only the interior is hyperbolic above)


