Editing Hyperbolic metric space

{{Short description|Concept in mathematics}}
{{CS1 config|mode=cs2}}
In mathematics, a '''hyperbolic metric space''' is a [[metric space]] satisfying certain metric relations (depending quantitatively on a nonnegative real number δ) between points. The definition, introduced by [[Mikhail Leonidovich Gromov|Mikhael Gromov]], generalizes the metric properties of classical [[hyperbolic geometry]] and of [[Tree (graph theory)|trees]]. Hyperbolicity is a large-scale property, and is very useful to the study of certain infinite [[group (mathematics)|groups]] called [[Gromov-hyperbolic group]]s.

== Definitions ==

In this paragraph we give various definitions of a <math>\delta</math>-hyperbolic space. A metric space is said to be (Gromov-) hyperbolic if it is <math>\delta</math>-hyperbolic for some <math>\delta > 0</math>.

=== Definition using the Gromov product ===
{{Main article | Gromov product}}

Let <math>(X,d)</math> be a [[metric space]]. The [[Gromov product]] of two points <math>y, z \in X</math> with respect to a third one <math>x \in X</math> is defined by the formula:

<math display=block>(y,z)_x = \frac 1 2 \left( d(x, y) + d(x, z) - d(y, z) \right).</math>

Gromov's definition of a hyperbolic metric space is then as follows: <math>X</math> is <math>\delta</math>-hyperbolic if and only if all <math>x,y,z,w \in X</math> satisfy the ''four-point condition''

<math display=block> (x,z)_w \ge \min \left( (x,y)_w, (y,z)_w \right) - \delta</math>

Note that if this condition is satisfied for all <math>x,y,z \in X</math> and one fixed base point <math>w_0</math>, then it is satisfied for all <math>w</math> with a constant <math>2\delta</math>.<ref>{{harvnb|Coornaert|Delzant|Papadopoulos|1990|pages=2–3}}</ref> Thus the hyperbolicity condition only needs to be verified for one fixed base point; for this reason, the subscript for the base point is often dropped from the Gromov product.

=== Definitions using triangles ===
{{see also|Ideal triangle|Hyperbolic triangle}}

Up to changing <math>\delta</math> by a constant multiple, there is an equivalent geometric definition involving triangles when the metric space <math>X</math> is ''geodesic'', i.e. any two points <math>x, y \in X</math> are end points of a geodesic segment <math>[x,y]</math> (an [[Isometry|isometric]] image of a compact subinterval <math>[a,b]</math> of the reals).{{sfn|de la Harpe|Ghys|1990|loc=Chapitre 2, Proposition 21}}{{sfn|Bridson|Haefliger|1999|loc=Chapter III.H, Proposition 1.22}} {{sfn|Coornaert|Delzant|Papadopoulos|1990|pages=6–8}} Note that the definition via Gromov products does not require the space to be geodesic.

Let <math>x, y, z \in X</math>. A [[geodesic triangle]] with vertices <math>x,y,z</math> is the union of three geodesic segments <math>[x,y], [y,z], [z,x]</math> (where <math>[p,q]</math> denotes a segment with endpoints <math>p</math> and <math>q</math>).

{{ Annotated image | caption=The δ-slim triangle condition
| image= Delta thin triangle condition.svg|
| width=230
| height = 155
| image-width = 200
| image-left = 30
| annotations =
{{Annotation|105|12|{{mvar|x}}}}<!-- LaTeX math does not work in annotation in dark mode -->
{{Annotation|45|105|{{mvar|y}}}}
{{Annotation|205|110|{{mvar|z}}}}
{{Annotation|0|40|{{math|''B''<sub>''&delta;''</sub>([''x'',''y''])}}}}
{{Annotation|150|40|{{math|''B''<sub>''&delta;''</sub>([''z'',''x''])}}}}
{{Annotation|80|135|{{math|''B''<sub>''&delta;''</sub>([''y'',''z''])}}}}
}}

If for any point <math>m \in [x,y]</math> there is a point in <math>[y,z] \cup [z,x]</math> at distance less than <math>\delta</math> of <math>m</math>, and similarly for points on the other edges, and <math>\delta \ge 0</math> then the triangle is said to be ''<math>\delta</math>-slim'' .

A definition of a <math>\delta</math>-hyperbolic space is then a geodesic metric space all of whose geodesic triangles are <math>\delta</math>-slim. This definition is generally credited to [[Eliyahu Rips]].

Another definition can be given using the notion of a <math>C</math>-approximate center of a geodesic triangle: this is a point which is at distance at most <math>C</math> of any edge of the triangle (an "approximate" version of the [[incenter]]). A space is <math>\delta</math>-hyperbolic if every geodesic triangle has a <math>\delta</math>-center.

These two definitions of a <math>\delta</math>-hyperbolic space using geodesic triangles are not exactly equivalent, but there exists <math>k > 1</math> such that a <math>\delta</math>-hyperbolic space in the first sense is <math> k \cdot \delta</math>-hyperbolic in the second, and vice versa.{{sfn|Bridson|Haefliger|1999|loc=Chapter III.H, Proposition 1.17}} Thus the notion of a hyperbolic space is independent of the chosen definition.

=== Examples ===
{{Dark mode invert|[[File:Inkreis mit Strecken.svg|right|250px]]}}
The [[hyperbolic plane]] is hyperbolic: in fact the [[incircle]] of a geodesic triangle is the circle of largest diameter contained in the triangle and every geodesic triangle lies in the interior of an ideal triangle, all of which are isometric with incircles of diameter 2 log 3.<ref>{{harvnb|Coornaert|Delzant|Papadopoulos|1990|pages=11–12}}</ref> Note that in this case the Gromov product also has a simple interpretation in terms of the incircle of a geodesic triangle. In fact the quantity {{math|(''A'',''B'')<sub>''C''</sub>}} is just the hyperbolic distance {{math|''p''}} from {{math|''C''}} to either of the points of contact of the incircle with the adjacent sides: for from the diagram {{math|1= ''c'' = (''a'' – ''p'') + (''b'' – ''p'')}}, so that 
{{math|1=''p'' = (''a'' + ''b'' – ''c'')/2 = (''A'',''B'')<sub>''C''</sub>}}.<ref>{{harvnb|Coornaert|Delzant|Papadopoulos|1990|page=1–2s}}</ref>

The [[Euclidean plane]] is not hyperbolic, for example because of the existence of [[Homothetic transformation|homotheties]].

Two "degenerate" examples of hyperbolic spaces are spaces with bounded diameter (for example finite or [[compact space]]s) and the [[real line]].

Metric [[Tree (graph theory)|trees]] and more generally [[real tree]]s are the simplest interesting examples of hyperbolic spaces as they are 0-hyperbolic (i.e. all triangles are tripods).

The 1-skeleton of the triangulation by Euclidean equilateral triangles is not hyperbolic (it is in fact quasi-isometric to the Euclidean plane). A triangulation of the plane <math>\mathbb R^2</math> has a hyperbolic 1-skeleton if every vertex has degree 7 or more.

The two-dimensional grid is not hyperbolic (it is quasi-isometric to the Euclidean plane). It is the [[Cayley graph]] of the [[fundamental group]] of the [[torus]]; the Cayley graphs of the fundamental groups of a surface of higher genus is hyperbolic (it is in fact quasi-isometric to the hyperbolic plane).

=== Hyperbolicity and curvature ===

The hyperbolic plane (and more generally any [[Hadamard manifold]]s of [[sectional curvature]] <math>\le -1</math>) is <math>2</math>-hyperbolic. If we scale the Riemannian metric by a factor <math>\lambda > 0</math> then the distances are multiplied by <math>\lambda</math> and thus we get a space that is <math>\lambda\cdot\delta</math>-hyperbolic. Since the curvature is multiplied by <math>\lambda^{-1}</math> we see that in this example the more (negatively) curved the space is, the lower the hyperbolicity constant.

Similar examples are [[CAT space]]s of negative curvature. While curvature is a property that is essentially local, hyperbolicity is a large-scale property which does not see local (i.e. happening in a bounded region) metric phenomena. For example, the union of an hyperbolic space with a compact space with any metric extending the original ones remains hyperbolic.{{cn|date=November 2024}}

== Important properties ==

=== Invariance under quasi-isometry ===

One way to make precise the meaning of "large scale" is to require invariance under [[quasi-isometry]]. This is true of hyperbolicity.

:''If a geodesic metric space <math>Y</math> is quasi-isometric to a <math>\delta</math>-hyperbolic space <math>X</math> then there exists <math>\delta'</math> such that <math>Y</math> is <math>\delta'</math>-hyperbolic.''

The constant <math>\delta'</math> depends on <math>\delta</math> and on the multiplicative and additive constants for the quasi-isometry.{{sfn|de la Harpe|Ghys|1990|loc=Chapitre 5, Proposition 15}}

=== Approximate trees in hyperbolic spaces ===

The definition of an hyperbolic space in terms of the Gromov product can be seen as saying that the metric relations between any four points are the same as they would be in a tree, up to the additive constant <math>\delta</math>. More generally the following property shows that any finite subset of an hyperbolic space looks like a finite tree.

:''For any <math>n, \delta</math> there is a constant <math>C</math> such that the following holds: if <math>x_1, \ldots, x_n</math> are points in a <math>\delta</math>-hyperbolic space <math>X</math> there is a finite tree <math>T</math> and an embedding <math>f : T \to X</math> such that <math>x_i \in f(T)</math> for all <math>i = 1, \ldots, n</math> and ''
<math display=block>\forall i, j : d(f^{-1}(x_i), f^{-1}(x_j)) \le d(x_i, x_j) \le d(f^{-1}(x_i), f^{-1}(x_j)) + C </math>

The constant <math>C</math> can be taken to be <math>\delta \cdot h(n)</math> with <math>h(n) = O(\log n)</math> and this is optimal.{{sfn|Bowditch|2006|loc=Chapter 6.4}}

=== Exponential growth of distance and isoperimetric inequalities ===

In an hyperbolic space <math>X</math> we have the following property:{{sfn|Bridson|Haefliger|1999|loc=Chapter III.H, Proposition 1.25}}

:''There are <math>\mu, K > 0</math> such that for all <math>p, x, y \in X</math> with <math>d(p, x) = d(p, y) =: r</math>, every path <math>\alpha</math> joining <math>x</math> to <math>y</math> and staying at distance at least <math>r</math> of <math>p</math> has length at least <math>e^{\mu \cdot d(x,y)} - K</math>. ''

Informally this means that the circumference of a "circle" of radius <math>r</math> grows exponentially with <math>r</math>. This is reminiscent of the [[Isoperimetric inequality#The isoperimetric problem in the plane|isoperimetric problem in the Euclidean plane]]. Here is a more specific statement to this effect.<ref>a more general statement is given in {{harvtxt|Bridson|Haefliger|1999|loc=Chapter III.H, Proposition 2.7}}</ref>

:''Suppose that <math>X</math> is a [[cell complex]] of dimension 2 such that its 1-skeleton is hyperbolic, and there exists <math>C</math> such that the boundary of any 2-cell contains at most <math>C</math> 1-cells. Then there is a constant <math>\lambda > 0</math> such that for any finite subcomplex <math>Y \subset X</math> we have ''
:: <math> \operatorname{area}(Y) \le  \lambda \cdot \operatorname{length(\partial Y)} </math>

Here the area of a 2-complex is the number of 2-cells and the length of a 1-complex is the number of 1-cells. The statement above is a linear [[isoperimetric inequality]]; it turns out that having such an isoperimetric inequality characterises Gromov-hyperbolic spaces.{{sfn|Bridson|Haefliger|1999|loc=Chapter III.H, Theorem 2.9}} Linear isoperimetric inequalities were inspired by the [[Small cancellation theory|small cancellation]] conditions from [[combinatorial group theory]].

=== Quasiconvex subspaces ===

A subspace <math>Y</math> of a geodesic metric space <math>X</math> is said to be quasiconvex if there is a constant <math>C</math> such that any geodesic in <math>X</math> between two points of <math>Y</math> stays within distance <math>C</math> of <math>Y</math>.

:''A quasi-convex subspace of an hyperbolic space is hyperbolic.''

=== Asymptotic cones ===

All [[Ultralimit#Asymptotic cones|asymptotic cone]]s of an hyperbolic space are [[real tree]]s. This property characterises hyperbolic spaces.<ref>{{citation | last1 = Dyubina (Erschler) | first1=Anna | last2=Polterovich | first2=Iosif | title=Explicit constructions of universal '''R'''-trees and asymptotic geometry of hyperbolic spaces | journal=Bull. London Math. Soc. | volume=33 | year=2001| pages=727–734 | mr=1853785 }}</ref>

== The boundary of a hyperbolic space ==

Generalising the construction of the [[End (graph theory)|ends]] of a simplicial tree there is a natural notion of boundary at infinity for hyperbolic spaces, which has proven very useful for analysing [[group action]]s.

In this paragraph <math>X</math> is a geodesic metric space which is hyperbolic.

=== Definition using the Gromov product ===

A sequence <math>(x_n) \in X^{\mathbb N}</math> is said to ''converge to infinity'' if for some (or any) point <math>p</math> we have that <math>(x_n, x_m)_p \rightarrow \infty</math> as both <math>n</math> and <math>m</math> go to infinity. Two sequences <math>(x_n), (y_n)</math> converging to infinity are considered equivalent when <math>\lim_{n\to +\infty}(x_n, y_n)_p = +\infty</math> (for some or any <math>p</math>). The ''boundary'' of <math>X</math> is the set of equivalence classes of sequences which converge to infinity,{{sfn|de la Harpe|Ghys|1990|loc=Chapitre 7, page 120}} which is denoted <math>\partial X</math>.

If <math>\xi, \eta</math> are two points on the boundary then their Gromov product is defined to be:

<math display=block> (\xi, \eta)_p = \sup_{(x_n)=\xi, (y_n)=\eta} \left( \liminf_{n, m\to +\infty} (x_n, y_m)_p \right)</math>

which is finite iff <math>\xi \neq \eta</math>. One can then define a [[topology]] on <math>\partial X</math> using the functions <math>(\cdot, \xi)</math>.{{sfn|de la Harpe|Ghys|1990|loc=Chapitre 7, section 2}} This topology on <math>\partial X</math> is metrisable and there is a distinguished family of metrics defined using the Gromov product.{{sfn|de la Harpe|Ghys|1990|loc=Chapitre 7, section 3}}

=== Definition for proper spaces using rays ===

Let <math>\alpha, \beta</math> be two [[Quasi-isometry|quasi-isometric embedding]]s of <math>[0, +\infty[</math> into <math>X</math> ("quasi-geodesic rays"). They are considered equivalent if and only if the function <math>t \mapsto d(\alpha(t), \beta(t))</math> is bounded on <math>[0, +\infty[</math>. If the space <math>X</math> is proper then the set of all such embeddings modulo equivalence with its natural topology is [[homeomorphic]] to <math>\partial X</math> as defined above.{{sfn |de la Harpe|Ghys|1990|loc=Chapitre 7, Proposition 4}}

A similar realisation is to fix a basepoint and consider only quasi-geodesic rays originating from this point. In case <math>X</math> is geodesic and proper one can also restrict to genuine geodesic rays.

=== Examples ===

When <math>X = T</math> is a simplicial regular tree the boundary is just the space of ends, which is a Cantor set. Fixing a point <math>x \in T</math> yields a natural distance on <math>\partial T</math>: two points represented by rays <math>\alpha, \beta</math> originating at <math>x</math> are at distance <math>\exp(-\operatorname{Length}(\alpha \cap \beta))</math>.

When <math>X</math> is the unit disk, i.e. the [[Poincaré disk model]] for the hyperbolic plane,  the hyperbolic metric on the disk is

<math display=block> ds^2 = {4|dz|^2\over (1-|z|^2)^2}</math>

and the Gromov boundary can be identified with the unit circle.

The boundary of <math>n</math>-dimensional hyperbolic space is homeomorphic to the <math>n-1</math>-dimensional [[n-sphere|sphere]] and the metrics are similar to the one above.

=== Busemann functions ===

If <math>X</math> is proper then its boundary is homeomorphic to the space of [[Busemann function]]s on <math>X</math> modulo translations.{{sfn|Bridson|Haefliger|1999|p=428}}

=== The action of isometries on the boundary and their classification ===

A quasi-isometry between two hyperbolic spaces <math>X, Y</math> induces a homeomorphism between the boundaries.

In particular the group of isometries of <math>X</math> acts by homeomorphisms on <math>\partial X</math>. This action can be used{{sfn |de la Harpe| Ghys |1990|loc=Chapitre 8}} to classify isometries according to their dynamical behaviour on the boundary, generalising that for trees and classical hyperbolic spaces. Let <math>g</math> be an isometry of <math>X</math>, then one of the following cases occur:

*First case: <math>g</math> has a bounded orbit on <math>X</math> (in case <math>X</math> is proper this implies that <math>g</math> has a fixed point in <math>X</math>). Then it is called an ''elliptic'' isometry.
*Second case: <math>g</math> has exactly two fixed points <math>\xi_+, \xi_-</math> on <math>\partial X</math> and every positive orbit <math>\{g^n\xi : n \ge 0\}, \xi \not= \xi_-</math> accumulates only at <math>\xi_+</math>. Then <math>g</math> is called an ''hyperbolic'' isometry.
*Third case: <math>g</math> has exactly one fixed point on the boundary and all orbits accumulate at this point. Then it is called a ''parabolic'' isometry.

== More examples ==

Subsets of the theory of [[hyperbolic group]]s can be used to give more examples of hyperbolic spaces, for instance the [[Cayley graph]] of a [[Small cancellation theory|small cancellation group]]. It is also known that the Cayley graphs of certain models of [[random group]]s (which is in effect a randomly-generated infinite regular graph) tend to be hyperbolic very often.

It can be difficult and interesting to prove that certain spaces are hyperbolic. For example, the following hyperbolicity results have led to new phenomena being discovered for the groups acting on them.

*The hyperbolicity of the [[curve complex]]<ref>{{citation| last1=Masur | first1=Howard A. | last2=Minsky | first2=Yair N. | title=Geometry of the complex of curves. I. Hyperbolicity | journal=[[Inventiones Mathematicae|Invent. Math.]] | volume=138 | year=1999 | pages=103–149| mr=1714338 | doi=10.1007/s002220050343 | arxiv=math/9804098 }}</ref> has led to new results on the mapping class group.<ref>{{citation | last1=Dahmani|first1=François|last2=Guirardel|first2=Vincent|last3=Osin|first3=Denis|title=Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces|journal=Memoirs of the American Mathematical Society|year=2017|volume=245|issue=1156|arxiv=1111.7048|doi=10.1090/memo/1156}}</ref>
*Similarly, the hyperbolicity of certain graphs<ref>{{citation | last1=Bestvina | first1=Mladen | last2=Feighn | first2=Mark | title=Hyperbolicity of the complex of free factors | journal=[[Advances in Mathematics]] |volume=256 | year=2014 | pages=104–155 | mr=3177291 | doi=10.1016/j.aim.2014.02.001 | doi-access=free| arxiv=1107.3308 }}</ref> associated to the outer automorphism group [[Out(Fn)]] has led to new results on this group.

==See also==

*[[Negatively curved group]]
*[[Ideal triangle]]

== Notes ==

{{reflist|30em}}

== References ==

*{{citation | last=Bowditch | first=Brian | title=A course on geometric group theory | publisher=Mat. soc. Japan | year=2006 | url=http://www.warwick.ac.uk/~masgak/papers/bhb-ggtcourse.pdf}}
*{{citation | last1=Bridson | first1=Martin R. | last2=Haefliger | first2=André | title=Metric spaces of non-positive curvature | year=1999 | publisher=Springer}}
*{{citation|language=fr|last1=Coornaert|first=M.|last2=Delzant|first2=T.|last3= Papadopoulos|first3= A.|title=Géométrie et théorie des groupes. Les groupes hyperboliques de Gromov|series=Lecture Notes in Mathematics|volume= 1441|publisher=Springer-Verlag|year= 1990|isbn=3-540-52977-2}}
*{{citation | last1=de la Harpe | first1=Pierre | last2=Ghys | first2=Etienne | title=Sur les groupes hyperboliques d'après Mikhael Gromov | year=1990 | publisher=Birkhäuser|language=fr}}
*{{citation |last=Gromov |first=Mikhael |editor-last=Gersten |editor-first=S.M. |title=Essays in group theory |publisher=Springer |date=1987 |pages=75–264 |chapter=Hyperbolic groups}}
*{{citation|first=John |last=Roe|title=Lectures on Coarse Geometry|publisher=[[American Mathematical Society]]|year=2003|isbn=978-0-8218-3332-2|series=University Lecture Series|volume=31}}
*{{citation
 | last = Väisälä | first = Jussi
 | doi = 10.1016/j.exmath.2005.01.010
 | issue = 3
 | journal = Expositiones Mathematicae
 | mr = 2164775
 | pages = 187–231
 | title = Gromov hyperbolic spaces
 | volume = 23
 | year = 2005| doi-access = free
 }}.

[[Category:Metric geometry]]
[[Category:Hyperbolic geometry]]
[[Category:Hyperbolic metric space| ]]