Geometry of horospheres

Let M be a Hadamard manifold, i.e., a connected, simply connected, complete riemannian manifold of nonpositive curvature. To be more precise, assume that the sectional curvature K of M satisfies -b 2 0. As t goes to infinity, these spheres converge to the horosphere. More precisely, the horospheres are the level surfaces of the Busemann function F = limF t , where F t is defined by F t (p) = d(p, (t)) -t. In the flat case (a = b = 0), horospheres are just affine hyperplanes, and in the case of constant negative curvature, using the Poincare model we see that horospheres are euclidean spheres internally tangent to the boundary sphere, minus the point of tangency. The main purpose of this paper is to show that, to a certain extent, the geometry of horospheres in M may be compared with that in the spaces of constant curvaturea 2 andb 2 , respectively. We give two examples: