Geometry of quaternionic hyperbolic manifolds
We develop some of the basic theory of quaternionic hyperbolic geometry. We give necessary criteria for groups of quaternionic hyperbolic motions to be discrete. We give lower bounds on the volumes of cusped quaternionic hyperbolic manifolds.(Received July 13 2001)
(Revised April 10 2002)
1 The first author gratefully acknowledges the partial support of KOSEF interdisciplinary grant 1999-2-101-002-5.