hyperbolic geometry In mathematics, hyperbolic geometry (also called Lobachevskian geometry or János Bolyai, Bolyai–Nikolai Lobachevsky, Lobachevskian geometry) is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with: :For a ...

, a horosphere (or parasphere) is a specific

hypersurface In geometry, a hypersurface is a generalization of the concepts of hyperplane, plane curve, and surface. A hypersurface is a manifold or an algebraic variety of dimension , which is embedded in an ambient space of dimension , generally a Euclidea ...

in hyperbolic ''n''-space. It is the boundary of a horoball, the limit of a sequence of increasing balls sharing (on one side) a tangent hyperplane and its point of tangency. For ''n'' = 2 a horosphere is called a horocycle. A horosphere can also be described as the limit of the hyperspheres that share a tangent hyperplane at a given point, as their radii go towards infinity. In Euclidean geometry, such a "hypersphere of infinite radius" would be a hyperplane, but in hyperbolic geometry it is a horosphere (a curved surface).

History

The concept has its roots in a notion expressed by F. L. Wachter in 1816 in a letter to his teacher

Gauss Johann Carl Friedrich Gauss (; ; ; 30 April 177723 February 1855) was a German mathematician, astronomer, Geodesy, geodesist, and physicist, who contributed to many fields in mathematics and science. He was director of the Göttingen Observat ...

. Noting that in Euclidean geometry the limit of a sphere as its radius tends to infinity is a plane, Wachter affirmed that even if the fifth postulate were false, there would nevertheless be a geometry on the surface identical with that of the ordinary plane. The terms ''horosphere'' and ''horocycle'' are due to Lobachevsky, who established various results showing that the geometry of horocycles and the horosphere in hyperbolic space were equivalent to those of lines and the plane in Euclidean space.Roberto Bonola (1906), ''Non-Euclidean Geometry'', translated by H.S. Carslaw, Dover, 1955; p. 88 The term "horoball" is due to

William Thurston William Paul Thurston (October 30, 1946August 21, 2012) was an American mathematician. He was a pioneer in the field of low-dimensional topology and was awarded the Fields Medal in 1982 for his contributions to the study of 3-manifolds. Thurst ...

, who used it in his work on hyperbolic 3-manifolds. The terms horosphere and horoball are often used in 3-dimensional hyperbolic geometry.

Models

In the conformal ball model, a horosphere is represented by a sphere tangent to the horizon sphere. In the upper half-space model, a horosphere can appear either as a sphere tangent to the horizon plane, or as a plane parallel to the horizon plane. In the

hyperboloid model In geometry, the hyperboloid model, also known as the Minkowski model after Hermann Minkowski, is a model of ''n''-dimensional hyperbolic geometry in which points are represented by points on the forward sheet ''S''+ of a two-sheeted hyperboloi ...

, a horosphere is represented by a plane whose normal lies in the asymptotic cone.

Curvature

A horosphere has a critical amount of (isotropic) curvature: if the curvature were any greater, the surface would close, yielding a sphere, and if the curvature were any less, the surface would be an (''N'' − 1)-dimensional hypercycle.

References

* ''Appendix, the theory of space'' Janos Bolyai, 1987, p.143 {{Manifolds 3-manifolds Curves Hyperbolic geometry