Geometric finiteness

Last updated

In geometry, a group of isometries of hyperbolic space is called geometrically finite if it has a well-behaved fundamental domain. A hyperbolic manifold is called geometrically finite if it can be described in terms of geometrically finite groups.

Contents

Geometrically finite polyhedra

A convex polyhedron C in hyperbolic space is called geometrically finite if its closure C in the conformal compactification of hyperbolic space has the following property:

For example, every polyhedron with a finite number of faces is geometrically finite. In hyperbolic space of dimension at most 2, every geometrically finite polyhedron has a finite number of sides, but there are geometrically finite polyhedra in dimensions 3 and above with infinitely many sides. For example, in Euclidean space Rn of dimension n≥2 there is a polyhedron P with an infinite number of sides. The upper half plane model of n+1 dimensional hyperbolic space in Rn+1 projects to Rn, and the inverse image of P under this projection is a geometrically finite polyhedron with an infinite number of sides.

A geometrically finite polyhedron has only a finite number of cusps, and all but finitely many sides meet one of the cusps.

Geometrically finite groups

A discrete group G of isometries of hyperbolic space is called geometrically finite if it has a fundamental domain C that is convex, geometrically finite, and exact (every face is the intersection of C and gC for some g  G) ( Ratcliffe 1994 , 12.4).

In hyperbolic spaces of dimension at most 3, every exact, convex, fundamental polyhedron for a geometrically finite group has only a finite number of sides, but in dimensions 4 and above there are examples with an infinite number of sides ( Ratcliffe 1994 , theorem 12.4.6).

In hyperbolic spaces of dimension at most 2, finitely generated discrete groups are geometrically finite, but Greenberg (1966) showed that there are examples of finitely generated discrete groups in dimension 3 that are not geometrically finite.

Geometrically finite manifolds

A hyperbolic manifold is called geometrically finite if it has a finite number of components, each of which is the quotient of hyperbolic space by a geometrically finite discrete group of isometries ( Ratcliffe 1994 , 12.7).

See also

Related Research Articles

Dual polyhedron Polyhedron associated with another by swapping vertices for faces

In geometry, every polyhedron is associated with a second dual figure, where the vertices of one correspond to the faces of the other, and the edges between pairs of vertices of one correspond to the edges between pairs of faces of the other. Such dual figures remain combinatorial or abstract polyhedra, but not all are also geometric polyhedra. Starting with any given polyhedron, the dual of its dual is the original polyhedron.

Polyhedron Three-dimensional shape with flat polygonal faces, straight edges and sharp corners

In geometry, a polyhedron is a three-dimensional shape with flat polygonal faces, straight edges and sharp corners or vertices. The word polyhedron comes from the Classical Greek πολύεδρον, as poly- + -hedron.

In elementary geometry, a polytope is a geometric object with flat sides (faces). It is a generalization in any number of dimensions of the three-dimensional polyhedron. Polytopes may exist in any general number of dimensions n as an n-dimensional polytope or n-polytope. In this context, "flat sides" means that the sides of a (k+1)-polytope consist of k-polytopes that may have (k−1)-polytopes in common. For example, a two-dimensional polygon is a 2-polytope and a three-dimensional polyhedron is a 3-polytope.

In mathematics, Thurston's geometrization conjecture states that each of certain three-dimensional topological spaces has a unique geometric structure that can be associated with it. It is an analogue of the uniformization theorem for two-dimensional surfaces, which states that every simply connected Riemann surface can be given one of three geometries . In three dimensions, it is not always possible to assign a single geometry to a whole topological space. Instead, the geometrization conjecture states that every closed 3-manifold can be decomposed in a canonical way into pieces that each have one of eight types of geometric structure. The conjecture was proposed by William Thurston (1982), and implies several other conjectures, such as the Poincaré conjecture and Thurston's elliptization conjecture.

Hyperbolic space Non-Euclidean geometry

In mathematics, hyperbolic space of dimension n is the unique simply connected, n-dimensional Riemannian manifold of constant sectional curvature equal to -1. It is homogeneous, and satisfies the stronger property of being a symmetric space. There are many ways to construct it as an open subset of with an explicitely written Riemannian metric; such constructions are referred to as models. Hyperbolic 2-space, H2, which was the first instance studied, is also called the hyperbolic plane.

Discrete group

In mathematics, a topological group like G is called a discrete group if there is no limit point in it. Equivalently, the group G is discrete if and only if its identity is isolated.; in other words, the subspace topology of H in G is the discrete topology. For example, the integers, Z, form a discrete subgroup of the reals, R, but the rational numbers, Q, do not. A discrete group is a topological group G equipped with the discrete topology.

Low-dimensional topology

In mathematics, low-dimensional topology is the branch of topology that studies manifolds, or more generally topological spaces, of four or fewer dimensions. Representative topics are the structure theory of 3-manifolds and 4-manifolds, knot theory, and braid groups. This can be regarded as a part of geometric topology. It may also be used to refer to the study of topological spaces of dimension 1, though this is more typically considered part of continuum theory.

In mathematics, more precisely in topology and differential geometry, a hyperbolic 3–manifold is a manifold of dimension 3 equipped with a hyperbolic metric, that is a Riemannian metric which has all its sectional curvatures equal to -1. It is generally required that this metric be also complete: in this case the manifold can be realised as a quotient of the 3-dimensional hyperbolic space by a discrete group of isometries.

Kleinian group Discrete group of Möbius transformations

In mathematics, a Kleinian group is a discrete subgroup of the group of the Möbius transformations. This group, denoted PSL(2, C), is the quotient group of the 2 by 2 complex matrices of determinant 1 by its center, which consists of the identity matrix and its product by −1. The group PSL(2, C) has several natural representations: as conformal transformations of the Riemann sphere; as orientation-preserving isometries of the 3-dimensional hyperbolic space H3; and as orientation-preserving conformal transformations of the open unit ball B3 in R3. So, a Kleinian group can be regarded as a discrete subgroup acting on one of these spaces.

In mathematics, Mostow's rigidity theorem, or strong rigidity theorem, or Mostow–Prasad rigidity theorem, essentially states that the geometry of a complete, finite-volume hyperbolic manifold of dimension greater than two is determined by the fundamental group and hence unique. The theorem was proven for closed manifolds by Mostow (1968) and extended to finite volume manifolds by Marden (1974) in 3 dimensions, and by Prasad (1973) in all dimensions at least 3. Gromov (1981) gave an alternate proof using the Gromov norm. Besson, Courtois & Gallot (1996) gave the simplest available proof.

Pair of pants (mathematics) Three holed sphere

In mathematics, a pair of pants is a surface which is homeomorphic to the three-holed sphere. The name comes from considering one of the removed disks as the waist and the two others as the cuffs of a pair of pants.

Apeirogon Polygon with infinitely many sides

In geometry, an apeirogon or infinite polygon is a generalized polygon with a countably infinite number of sides. Apeirogons are the two-dimensional case of infinite polytopes.

Honeycomb (geometry) Tiling of 3-or-more dimensional euclidian or hyperbolic space

In geometry, a honeycomb is a space filling or close packing of polyhedral or higher-dimensional cells, so that there are no gaps. It is an example of the more general mathematical tiling or tessellation in any number of dimensions. Its dimension can be clarified as n-honeycomb for a honeycomb of n-dimensional space.

Brian Hayward Bowditch is a British mathematician known for his contributions to geometry and topology, particularly in the areas of geometric group theory and low-dimensional topology. He is also known for solving the angel problem. Bowditch holds a chaired Professor appointment in Mathematics at the University of Warwick.

In geometry, a (globally) projective polyhedron is a tessellation of the real projective plane. These are projective analogs of spherical polyhedra – tessellations of the sphere – and toroidal polyhedra – tessellations of the toroids.

The Alexandrov uniqueness theorem is a rigidity theorem in mathematics, describing three-dimensional convex polyhedra in terms of the distances between points on their surfaces. It implies that convex polyhedra with distinct shapes from each other also have distinct metric spaces of surface distances, and it characterizes the metric spaces that come from the surface distances on polyhedra. It is named after Soviet mathematician Aleksandr Danilovich Aleksandrov, who published it in the 1940s.

In the mathematical subject of group theory, a co-Hopfian group is a group that is not isomorphic to any of its proper subgroups. The notion is dual to that of a Hopfian group, named after Heinz Hopf.

In mathematics, the notion of a Cannon–Thurston map is any of a number of continuous group-equivariant maps between the boundaries of two hyperbolic metric spaces extending a discrete isometric actions of the group on those spaces.

Ideal polyhedron Type of polyhedron in hyperbolic geometry

In three-dimensional hyperbolic geometry, an ideal polyhedron is a convex polyhedron all of whose vertices are ideal points, points "at infinity" rather than interior to three-dimensional hyperbolic space. It can be defined as the convex hull of a finite set of ideal points. An ideal polyhedron has ideal polygons as its faces, meeting along lines of the hyperbolic space.

References