Topology and curvature of metric spaces
Parvaneh Joharinad, J\"urgen Jost

TL;DR
This paper introduces a novel notion of non-positive curvature for metric spaces based on ball intersection patterns, extending applicability to discrete spaces and linking to topological data analysis.
Contribution
It proposes a new curvature concept applicable to all metric spaces, including discrete ones, and connects geometric and topological methods via tripod spaces.
Findings
Tripod spaces serve as natural comparison spaces for the new curvature concept.
Hyperconvex spaces within tripod spaces have trivial Cech homology.
The approach links metric geometry with persistent homology in data analysis.
Abstract
We develop a new concept of non-positive curvature for metric spaces, based on intersection patterns of closed balls. In contrast to the synthetic approaches of Alexandrov and Buesemann, our concept also applies to metric spaces that might be discrete. The natural comparison spaces that emerge from our discussion are no longer Euclidean spaces, but rather tripod spaces. These tripod spaces include the hyperconvex spaces which have trivial Cech homology. This suggests a link of our geometrical method to the topological method of persistent homology in topological data analysis. We also investigate the geometry of general tripod spaces.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Topology and curvature of metric spaces
Parvaneh Joharinad, Jürgen Jost [email protected], Institute for Advanced Studies in Basic Sciences, Zanjan, [email protected], Max Planck Institute for Mathematics in the Sciences, Leipzig, Germany
Abstract
We develop a new concept of non-positive curvature for metric spaces, based on intersection patterns of closed balls. In contrast to the synthetic approaches of Alexandrov and Busemann, our concept also applies to metric spaces that might be discrete. The natural comparison spaces that emerge from our discussion are no longer Euclidean spaces, but rather tripod spaces. These tripod spaces include the hyperconvex spaces which have trivial Čech homology. This suggests a link of our geometrical method to the topological method of persistent homology employed in topological data analysis. We also investigate the geometry of general tripod spaces.
Keywords: Curvature inequality, discrete metric space, hyperconvex, hyperbolic, intersection of balls, tripod
Introduction
Curvature is a mathematical notion that originated in classical differential geometry, and through the profound work of Riemann [29], became the central concept of the geometry of manifolds equipped with a smooth metric tensor, that is, of Riemannian geometry. In Riemannian geometry, sectional curvature is a quantity to measure the deviation of a Riemannian metric from being Euclidean, and to compute it, one needs the first and the second derivatives of the metric tensor. However, having an upper or lower bound for the sectional curvature is equivalent to some metric properties which are geometrically meaningful even in geodesic length spaces, that is, in spaces where any two points can be connected by a shortest geodesic. This led to the synthetic theory of curvature bounds in geodesic length spaces or more precisely the Alexandrov [4, 7] and Busemann [12] definitions of curvature bounds and in particular to the class of spaces with non-positive curvature. These definitions are based on comparing the distance function between two sides and angles in geodesic triangles with their comparison triangles in the Euclidean space . (For the precise definition, see Section 1.) Gromov[18] then systematically explored the concept of non-positive curvature and found various metric characterizations. In particular, the Gromov products will also play a role below.
These extensions to metric geometry still require that any two points can be connected by a shortest geodesic. The nonpositive curvature condition can, however, be expressed solely in terms of distances involving quadruples of points. It follows from Reshetnyak’s quadrilateral comparison theorem [28] that in a space of nonpositive curvature in the sense of Alexandrov, any quadruple of points satisfies the inequality (see for instance Thm.2.3.1 in [21]). Berg and Nikolaev [8, 9] showed that this condition is in fact equivalent to nonpositive curvature and developed a corresponding theory of nonpositive curvature. In a different approach, Alexander et al. [3] used a 4-point criterion that involves an angle comparison in model spaces that applies to all metric spaces and agrees with the Alexandrov comparison in geodesic spaces. This is further explored in [1, 2]. In [6], a different approach to curvature inequalities was introduced that works with intersection patterns of distance balls and therefore is also meaningful for discrete metric spaces. Such intersection patterns have already been investigated from different perspectives. In topological data analysis [13], the concept of persistent homology records how such intersection patterns change when the radii of those distance balls increase. This is based on the fundamental idea of Čech homology which detects nontrivial topology when from a collection of balls, any of them have a nontrivial intersection, while the intersection of all is empty. Such constructions have become useful tools in data analysis, for instance for spike patterns of groups of neurons, see [14]. We connect this topological construction here with the notion of a hyperconvex space, that is, a space where any collection of balls with all pairwise intersections being nontrivial also intersects nontrivially. In particular, such a hyperconvex space is topologically trivial in the sense that its Čech homology is entirely trivial.
Hyperconvex spaces were introduced by Aronszajn and Panitchpakdi [5], who also showed that every hyperconvex space is complete and an absolute 1-Lipschitz retract. Hyperconvex spaces can also be characterized as metric spaces with the exact expansion constant equal to 1 (readers are referred to section 1 for the definition of the expansion constant). Grünbaum studied the relation between the expansion constant and the projective constant of normed spaces as well as the relation between the expansion constant and the retraction constant of metric spaces in his PhD thesis. The results of his research are collected in [19] without mentioning the connection between hyperconvexity of a metric space and its expansion constant. Every metric space has a smallest containing hyperconvex space by a result of Isbell[20]. Important examples of hyperconvex spaces are metric trees and -spaces. The former spaces are important for phylogenetic tree reconstruction, as systematically explored by Dress [15]. This depends on the observation of Kuratowski [23] that every metric space can be isometrically embedded into an -space, and his construction will be utilized below.
Coming back to Riemannian geometry, sectional curvature is a metric invariant of tangent planes. Since in classical geometry, a plane is determined by three points, for a general metric space, sectional curvature should naturally be an invariant for collections of three points. This is the basic motivation for our approach to sectional curvature. Relating it to the discussion of hyperconvexity, we see that we should employ a somewhat weaker property to obtain a model space. We should require that for any collection of three distance balls with the pairwise nonempty intersection, also all three of them should have an intersection point. For geodesic length spaces, this leads us to the notion of a tripod space. This means that for every triple of points there is a tripod with legs . More precisely, see Def. 1.1 below, a geodesic length space is called a tripod space if for any three points , there exists a point with
[TABLE]
Hyperconvex spaces are tripod spaces, but since the condition for the latter is weaker than for the former, there are others.
An important point that emerges from our discussion is that the basic model no longer is Euclidean space. Abstractly, curvature expresses the deviation of a given metric space from such a model. Traditional sectional curvature is normalized to be [math] for Euclidean spaces, and for a Riemannian manifold that is not locally Euclidean it becomes non-zero, but could be either positive or negative. Concerning the generalizations of curvature inequalities due to Alexandrov, Busemann, and others, metric trees have curvature . As discussed, metric trees are special cases of hyperconvex or tripod spaces. In our approach, tripod spaces emerge as the natural models the deviation from which curvature should express. And as argued, this is natural, because such spaces include the hyperconvex ones which have trivial Čech homology. Therefore, our approach naturally links geometry and topology.
Tripod spaces not only include metric trees, but also other classes of spaces that are important in data analysis. As a motivating example, consider the spaces with for and . For they are geodesic spaces, meaning that any two points can be connected by a shortest geodesic, that is, a curve whose length is equal to the distance . If , the space is uniquely geodesic, that is, such a shortest geodesic is unique, but for and that uniqueness of geodesic connections no longer holds for suitable pairs of points. Take for instance the two points and in or and in . There are infinitely many geodesics connecting and ( resp. and ) with length equal to ( resp. 2) with respect to ( resp. ). The uniqueness of geodesics, however, does not always fail in those spaces. For instance, there is a unique geodesic connecting to ( resp. to ) in the ( resp. ) metric. The space is a hyperconvex space, hence in particular a tripod space, and as we will show in this note, is a tripod space as well, although not hyperconvex for [22].
Acknowledgement: We thank Rostislav Matveev for useful discussions. We are also grateful to Stephanie Alexander, I.David Berg and Urs Lang for useful comments on the first version of our paper. Parvaneh Joharinad thanks the Max Planck Institute for Mathematics in the Sciences for hospitality and financial support during the work on this paper.
1 Intersection of balls
Let be a metric space. A continuous mapping is called a path between and and its length is defined as
[TABLE]
where the supremum is taken over the set of all partitions of the interval .
A metric space is a length space if
[TABLE]
for every .
A length space is said to be geodesic if each pair of points is connected by a path such that . Such a path is called a shortest geodesic between and .
A point is called a midpoint between the points in a metric space if . We say that a pair of points has approximate midpoints if for every there exists such that
[TABLE]
Every pair of points in a geodesic space (resp. length space) has at least one midpoint (resp. approximate midpoints).
A metric space is convex if for any distinct points there is a point with . Every finitely compact convex metric space is a geodesic space. Convexity can be obtained under the following condition:
Property A: For any two points and any positive numbers and with , the intersection is nonvoid, where is the closed ball centered at with radius .
For each pair of points in the metric space X and any positive numbers with , we assign a number
[TABLE]
and define the function as the supremum of these numbers over all positive numbers with . If for each pair of points , then the existence of approximate midpoints is guaranteed, and is a length space provided that it is a complete metric space. If, moreover, the infimum is attained for each pair by some , i.e. Property A is satisfied by , then is a geodesic space provided that it is complete.
To compute in a complete metric space , one only needs to find the infimum over all for and hence,
[TABLE]
where , that is, .
Definition 1.1**.**
A geodesic length space is a tripod space if for any three points , there exists a median, that is, a point with
[TABLE]
The point obviously satisfies .
Spaces where this median is unique are called median spaces in the literature. For our purposes, however, it is important not to require uniqueness of such a median.
The geodesicity assumption can be omitted from the definition, since as we will see in the proof of Theorem 4.2, every tripod space is automatically geodesic.
The following property which is based on the intersection of three balls guarantees the existence of tripods.
Property B: For any three points which are not colinear, i.e. do not lie on a geodesic, and positive numbers with , , the intersection is nonvoid.
Similarly, for and positive numbers with we assign the number
[TABLE]
and define the function as the supremum of these numbers over all positive numbers with for .
To compute , one only needs to find the infimum over all for with , , which is a system of equations with a unique solution obtained by the Gromov products as follows
[TABLE]
Therefore,
[TABLE]
where are obtained by the relations in (1).
If and the infimum is attained by some for the triple , then is the center of a tripod with legs .
Properties A and B are in fact special cases of the hyperconvexity condition. The hyperconvexity condition is concerned with the intersection of arbitrary families of closed balls and yields the definition of hyperconvex spaces.
Definition 1.2**.**
A metric space with the following property is called hyperconvex.
Property C: For any family of points in and positive numbers with for , the intersection
[TABLE]
is non-empty.
We exclude the obvious case where one of the radii is zero. The condition can be replaced with the condition for all , if is a convex metric space. It is clear that every hyperconvex space is a tripod space.
For any family of points in and positive numbers with for , we assign the number
[TABLE]
and define the function as the supremum of these numbers over all positive numbers with for .
The least upper bound of the function is equal to the expansion constant of the metric space of which is defined as the greatest lower bound of numbers for which
[TABLE]
for any family of closed balls in with for .Moreover, if this infimum is achieved by some , then the expansion constant is called exact, c.f. [19].
2 Hyperconvex spaces
According to Definition 1.2, a geodesic metric space is hyperconvex if every family of closed balls in with non-empty pairwise intersections, has a non-empty intersection itself. In other words, for a hyperconvex space, the expansion constant is and is exact.
Hyperconvex spaces have the following properties
- a)
Hyperconvex spaces are complete and contractible to each of their points [5, 20]. 2. b)
The metric space is hyperconvex if and only if every Lipschitz map from a subspace of any metric space to can be extended to a Lipschitz map over [5]. 3. c)
Isbell [20] proved that every metric space is isometrically embedded in a hyperconvex space, which is unique up to isometry, called its injective envelope or injective hull. The injective envelope of a compact space is compact and the injective envelope of a finite space is a simplicial complex [20]. This construction was rediscovered by Dress [15]), who called it the tight span, and who further investigated its combinatorial properties. In the hands of Dress and his coworkers, this construction became an important tool in the reconstruction of phylogenetic relationships, see [16, 17]. Because of the results of Isbell and Dress, the injective envelope is also called the hyperconvex hull in the literature, and we shall also use that terminology below. 4. e)
Any hyperconvex space included in a metric space is a non-expansive retraction of this space and hyperconvexity is preserved under non-expansive retractions, i.e. the metric space is hyperconvex if there is a non-expansive contract from the hyperconvex space to [19]. 5. f)
Any family of hyperconvex spaces with non-empty finite intersection has non-empty intersection. 6. g)
A complete metric space is hyperconvex if for each there exists a hyperconvex subspace of such that is contained in the neighbourhood of .
Let be a family of hyperconvex spaces and for each fix a point . The product of this family with the chosen fixed points, i.e. the set of all with and endowed with the metric , is a hyperconvex space. If for an arbitrary index set one takes as and [math] as the fixed point for all , then the corresponding product is the Banach space which is then a hyperconvex space since is hyperconvex according to the item b above. is the set of all bounded functions with metric given by the sup norm, i.e. . For instance, when is a finite set consisting of elements, then .
A natural way to isometrically embed the metric space into a hyperconvex space is by the canonical embedding of in , where and is any pre-chosen base point. is a hyperconvex space itself if the image of this embedding is a -Lipschitz retract in , according to the item e above.
Let be a geodesic space. A geodesic triangle on consists of three points and three minimal geodesics , , parametrized proportional to arc length with and . We will refer to such a triangle as without specifying its geodesic sides, although they need not be unique and the triangle will therefore depend on the choice of these geodesics.
Definition 2.1**.**
The geodesic space (X,d) is -hyperbolic if every geodesic triangle is -slim, which means that each side of every geodesic triangle is in the -neighbourhood of the union of the two other sides.
There is another definition of -hyperbolicity (also called Gromov--hyperbolicity) that is often employed in the literature.
Definition 2.2**.**
The geodesic space (X,d) is -hyperbolic if for any collection
[TABLE]
The Definitions 2.1 and 2.2 are essentially equivalent. In fact, If is -hyperbolic according to Def. 2.1 (triangles are -slim) then it is -hyperbolic according to Def. 2.2 (Gromov -hyperbolic). Conversely, if is Gromov -hyperbolic, then it has -slim triangles.
Here, however, we shall work with Def. 2.1.
For each geodesic triangle in the geodesic space with sides , and , there are three points on , on and on with
[TABLE]
where are the Gromov products defined in (1). The insize of is defined as the diameter of the set and is -hyperbolic provided that the insize of each geodesic triangle on is less than or equal to .
The set of hyperconvex spaces includes complete -trees, the only [math]-hyperbolic geodesic spaces, but there are other hyperconvex spaces besides trees. For instance, the space is a hyperconvex space which is not -hyperbolic for any . However, A. Dress [15] (see also [17]) showed that the hyperconvex hull (tight extension in his terminology) of a [math]-hyperbolic space in the sense of Def.2.2 is geodesic and [math]-hyperbolic. The corresponding for -hyperbolic spaces was stated without proof in [17], as the proof in [15] can be extended. A proof of the general result with a different method was provided by U. Lang in [26] where it is also proved that the hyperconvex hull of a geodesic -hyperbolic space is within distance from that space.
Apparently unaware of Dress’ work, Bonk and Schramm [10] gave a constructive proof that any -hyperbolic metric space X embeds isometrically in a complete geodesic –hyperbolic metric space. The following corollary can also be used to show that every geodesic [math]-hyperbolic space is hyperconvex.
Corollary 2.1**.**
If is a geodesic -hyperbolic space and a family of closed balls in with , then
[TABLE]
Proof*.*
Let be the injective envelope of X. We already know that is hyperconvex and at distance from . Therefore, the family has a common point in , say , which is at distance at most from . So there exists such that and consequently belongs to the intersection by the triangle inequality. ∎
Hyperconvex spaces are special cases of more general spaces called -hyperconvex spaces.
Definition 2.3**.**
A metric space is said to be -hyperconvex for if for every family of closed balls in with the property , one has
[TABLE]
The difference between (6) and (7) makes the difference between the corresponding concepts clear. For large radii, the in (6) becomes insignificant, and so, this is good for asymptotic consideration, while the condition (7) is invariant under scaling the metric .
It is also clear that if the expansion constant of the metric space is equal to , then X is -hyperconvex for every and is hyperconvex if and only if it is -hyperconvex.
Hilbert spaces are -hyperconvex. Reflexive Banach spaces and dual Banach spaces are -hyperconvex. Therefore, for the measure space , the spaces , are -hyperconvex, and if is finite, the finite dimensional space is also -hyperconvex. is -hyperconvex, as pointed out above.
3 Upper curvature bounds
There are different formulations of non-positively curved geodesic spaces, the best known ones being those of Alexandrov and Busemann.
After recalling these definitions (see [21] for a systematic presentation), we will introduce a new definition of non-positively curved metric spaces, which is based on the intersection property of closed balls. We will show that spaces, i.e. the non-positively curved geodesic spaces in the sense of Alexandrov, have non-positive curvature according to this definition.
Our definition is more general because it is meaningful for general metric spaces. Moreover, the non-positively curved geodesic spaces in the sense of this new formulation are no longer necessarily uniquely geodesic. For instance, there are hyperconvex spaces or more generally tripod spaces in the category of non-positively curved spaces which are not uniquely geodesic, like the -spaces already discussed. Therefore, non-positively curved spaces in our sense need not be non-positively curved in the sense of Busemann, and, a fortiori, not in the sense of Alexandrov either.
Let be a geodesic space and a geodesic triangle in . Then a comparison triangle for is a triangle with vertices in that satisfies
[TABLE]
where denotes the Euclidean norm on .
Definition 3.1**.**
The geodesic space is a space if each pair of geodesics emanating from a point satisfies the following inequality
[TABLE]
where are the respective sides of the comparison triangle in for .[11]
Loosely speaking, triangles in spaces are not thicker than Euclidean triangles with the same side lengths. A simply connected complete space is called a Hadamard space.
In the same manner, one can define spaces by comparing the well defined triangles in these spaces with the corresponding comparison triangles in the model surface , i.e. the simply connected complete -dimensional Riemannian manifold with constant sectional curvature .
Let be a metric space, such that , and let be the comparison triangle in for . The comparison angle at denoted by is by definition the Euclidean angle . If is a space and and are geodesics from to and respectively, the inequality (8) implies that
[TABLE]
This helps to define the angle by the following limit
[TABLE]
The relation (9) implies that and therefore the Euclidean law of cosines implies the following cosine inequality in complete spaces
[TABLE]
Busemann’s definition of non- positively curved spaces is more general.
Definition 3.2**.**
A geodesic space is a Busemann convex space (or of non-positive curvature in the sense of Busemann) if for every two geodesics with , the distance function is convex.
This property in particular implies that Busemann convex spaces are uniquely geodesic.
Every space is Busemann convex but not conversely.
We shall now introduce our definition of non-positively curved metric spaces and state an axiomatic curvature inequality which is applicable to arbitrary metric spaces. Our definition is based on the intersection of three balls and tripod spaces are the extreme spaces to which other spaces will be compared. As a motivation for considering triples of points, we note that, in Riemannian geometry, sectional curvatures are associated to tangent planes and a plane is determined by three points. This therefore suggests an abstract approach towards the curvature of general metric spaces by looking at the metric relations between three points.
We recall from (5) that for each triple of points in the metric space ,
[TABLE]
where are obtained by the relations in (1).
Definition 3.3**.**
The metric space is said to be of non-positive curvature if for each triple in with the comparison triangle in , one has
[TABLE]
where is similarly defined by
[TABLE]
This condition embodies the principle that for any triple of closed balls with pairwise intersection in the geodesic metric space , the intersection is non-empty whenever , , have a common point.
For every triangle in the metric space that is non-positively curved in the sense of Definition 3.3, the quantity is smaller than or equal to , i.e. the expansion constant of . By Helly’s Theorem, the intersection of a family of closed balls in is non-empty if the intersection of every triple of balls in that family is non-empty.
We observe
Lemma 3.1**.**
A tripod space has non-positive curvature in the sense of Definition 3.3).
Proof*.*
By taking the point to be the center of a tripod with legs and as in Definition 1.1, we see that
[TABLE]
for any three points in a tripod space. ∎
The following Lemma is a variant of the Lemma 4.2 in [25] which is suitable for the current discussion.
Lemma 3.2**.**
Let be a complete space, a finite subset of and positive numbers. Then is finite and for some , where and is the convex hull of .
We present a shorter version of the proof under the extra condition that is simply connected.
Proof*.*
Let be a Hadamard space and a finite subset of . The function is strongly convex or a -convex function with for each . More precisely, for each unit speed geodesic , the function is convex or equivalently is no less convex than the quadratic function . The proof is just a reformulation of the definition of non-positive curvature in the sense of Alexandrov and can be found in [11], Theorem 9.2.19. Hence the function
[TABLE]
has a unique minimizer , since a continuous proper -convex function on a complete metric space has a unique minimum point.
Furthermore, let be the closest point to . The existence and uniqueness of is also guaranteed by the strong convexity of the distance function. Let be the unique geodesic connecting to . It follows by the choice of that for all and , where
[TABLE]
Since for all , points on which are close enough to coincide with by the uniqueness of and therefore . ∎
Corollary 3.1**.**
Let be a complete space, an arbitrary triple of points in and the respective Gromov products as defined in (1). Then the infimum in (5), which we denote by , is attained by a unique point . Moreover, for .
Proof*.*
Without loss of generality, we can suppose that , since has at least two points. Then lies on the geodesic connecting and and for , where . Therefore, and is the center of a tripod with legs and , which contradicts the assumption that does not belong to .∎
Theorem 3.1**.**
Every complete space is -hyperconvex.
This result can be derived from Lemma 3.1 in [24]. For completeness, we provide the simple proof.
Proof*.*
Let be a family of closed balls in the complete space with the non-empty pairwise intersection, which implies that for . Since spaces have the finite intersection property, it suffices to prove that the intersection of any finite number of balls in is non empty, i.e. . Let
[TABLE]
By Lemma 3.2, and consists of a single point . After a possible reordering, one can assume there is a number , for which
[TABLE]
Moreover, there exists at least one such that . Assume for all and are unit speed geodesics from to for . One can choose small enough such that for and still lies in the ball for , which contradicts the uniqueness of .
Assuming and using the cosine inequality (10) for spaces, one has
[TABLE]
This contradicts the fact that .∎
Theorem 3.2**.**
Every complete space has non-positive curvature in the sense of Definition 3.3
Proof*.*
Let be a complete space, an arbitrary triple of points in and the respective Gromov products as defined in (1). Then according to Lemma 3.2 and its Corollary 3.1, the infimum in (5), which we denote by , is attained by a unique point and for .
Let be the comparison triangle in for and be the isometric map with for . Then there exists a -Lipschitz extension of according to Theorem A in [25]. For the point we have
[TABLE]
where . This means that is nonvoid and consequently .∎
The converse of Theorem 3.2 does not hold, because in non-positively curved spaces in the sense of Definition 3.3, like , shortest geodesics need not be unique, while they are in -spaces (see e.g. [7, 21]). When we assume that the metric space in question is a Riemannian manifold, however, we do have the converse statement.
Theorem 3.3**.**
If the complete Riemannian manifold has non-positive curvature in the sense of Definition 3.3, then it is of non-positive sectional curvature.
Proof*.*
For a triangle with vertices in , we denote by the minimizing point in the definition of , which is unique when the three points are sufficiently close, the situation we shall only need to consider.
Let be the tangent vectors of the three shortest geodesics from to the corners of the triangle at . It follows from the minimizing property that lie in a plane. In fact, if they did not lie in a plane in , the sum of the three angles at between them would be smaller than . We could then find a vector with for . Moving in the direction of , decreases all three distances , hence a contradiction to the definition of .
For a close enough triple , let be the unique point which gives the minimum value and let be the tangent vectors at to the shortest geodesics from to the vertices respectively. Take a triple with etc, and the same angles between the shortest geodesics from to and those from [math] to resp. We claim that it is not possible to have simultaneously.
Let be a comparison triangle in for and the unique minimizing point in the definition of . If and , then and so on, because etc, where , and . Therefore, the sum of the angles at is strictly smaller than the sum of the angles at , which itself is not greater than , and this is a contradiction.
Thus, at least one of the side lengths in the triangle is the corresponding one in the Euclidean triangle with the same angles at the center. This holds for arbitrarily small triangles, and therefore, we get a corresponding comparison property between the tangent plane in spanned by and . The infinitesimal expansion property characterizes the sectional curvature of that plane and is independent of the directions in that plane. That is, if it holds for two tangent vectors with a nonzero angle between them, then it holds for any pair of vectors in that plane. Thus, we have verified the infinitesimal expansion property characteristic of nonpositive sectional curvature. ∎
4 Tripod spaces
According to Definition 1.1 and its subsequent discussion, the metric space is a tripod space if and only if and the infimum is attained by some points, each of which is the center of a tripod with legs and , for any triple of points in .
Lemma 4.1**.**
In a tripod space, the shortest geodesics from to and from to form a geodesic from to , for .
Proof*.*
This follows from .∎
Theorem 4.1**.**
Let be a family of tripod spaces and for each fix a point . The product of this family with the chosen fixed points, i.e. the set of all with and endowed with the metric , is a tripod space.
Proof*.*
Let and , and be three points in . Moreover, let be the unique solution of the system , and obtained by the Gromov products (1). For each , considering the Gromov products
[TABLE]
there exists at least one point such that , and , since is a tripod space for . Therefore, , and , i.e. is the center of a tripod with legs , and . ∎
Corollary 4.1**.**
For an arbitrary index set , taking as and [math] as the fixed point for all , then the corresponding product, i.e. the Banach space , is a tripod space since is a tripod space. The space is , when is a finite set with elements.
Theorem 4.2**.**
Let be a complete metric space that satisfies the tripod condition (3). Then is a geodesic space and for any three points and each there is an -slim triangle with vertices , and .
Proof*.*
According to (5), for each positive , there exists a point such that . Put and by induction define as a point in for which
[TABLE]
The sequence is Cauchy and therefore there exists such that approaches as . Moreover, we have for , which in particular shows that every tripod space is geodesic. Hence there is a geodesic connecting and passing through . We can build a geodesic by attaching any geodesic connecting to to any geodesic connecting to .
By the same process, starting from , we can find a point ( resp. ) in and a geodesic ( resp. ) connecting and ( resp. and ) passing through ( resp. w). The insize of the triangle with sides , and , i.e. the diameter of , is by the triangle inequality and therefore this triangle is -slim. ∎
It is worth mentioning that we can weaken the assumption of the theorem above to for each triple and still get the same result.
Definition 4.1**.**
Let be a tripod space, and let be two shortest geodesics of length between the same endpoints and . A geodesic homotopy between and is a continuous family with and with the property that the curves are shortest geodesics from to , for all .
In particular, all the geodesics then have the same length.
Theorem 4.3**.**
Let be a tripod space. Then any two shortest geodesics connecting two fixed points are contained in a geodesic homotopy.
Proof*.*
Let , and , which is equal to the lengths of and . For any , we then have
[TABLE]
and in general, this is smaller than , unless and and together form a closed geodesic.
We may assume without loss of generality that and have only their endpoints and in common, but are otherwise disjoint. We then consider a tripod with vertices and . Since by the shortest property and (14), all distances are , the tripod cannot coincide with the configuration . Note that he center of the tripod might lie on or , and one of the two geodesics forming the tripod might coincide with a portion of or , but this cannot happen for both of them simultaneously, as the center of the tripod cannot be , because the geodesic connecting and through that center has length at most . Therefore, we have a geodesic arc of length not coinciding with a portion of or from either or to . That is, we have two shortest geodesics from to going through the tripod to or and thence along or , resp., to . We call them and . At least one of them does not coincide with or . The paths and then also have length and for both and are zero. Moreover, the restriction of and to form two geodesics between and of lengths and so with the same argument as in 14 we have
[TABLE]
The same is correct for , and similarly also
[TABLE]
In fact, for , the two geodesics and coincide, and so do and and therefore in this interval. The other part of either and consists of two segments, one from to and the other from to and respectively. The latter coincide, and since the length of the geodesic connecting and via has length at most , (18) follows.
We can then repeat this procedure, replacing the geodesic (resp. ) by the part of (resp. ) that connects to and attaching the resulting geodesics to to find two geodesics between and with distance from each other and from the geodesics they were constructed from. Similarly, we can find two geodesics between by ( resp. and ) with the same distance bound. Iterating, we find families of geodesics between and , connecting and with arbitrarily small distances between them. Passing to the limit, we obtain a continuous family of shortest geodesics between and , interpolating between and .∎
Corollary 4.2**.**
The space of shortest geodesics between two points in a tripod space is contractible.
5 Conclusions
The well known Čech construction assigns to any cover of a topological space a simplicial complex with vertex set and a simplex whenever for . When all those intersections are contractible, the homology of equals that of (under some rather general topological conditions on ). When is a metric space, it is natural to use covers by distance balls. Now, when is a hyperconvex metric space, and if we use a cover by distance balls, then whenever
[TABLE]
then also
[TABLE]
that is, whenever contains all the boundary facets of some simplex, it also contains that simplex itself. That is, it has no holes, and all its homology groups (except , of course) vanish. Therefore, hyperconvex spaces have trivial Čech homology.
When we relax the hyperconvexity to -hyperconvexity for (or [math]-hyperbolicity to -hyperbolicity for ), then nontrivial homology groups may arise. From that perspective, hyperconvex spaces are the simplest model spaces, and homology can be seen as a topological measure for the deviation from such a model.
Homology groups lead to Betti numbers as integer invariants of topological spaces. Geometry, in contrast, can provide more refined real valued invariants. And after [29], the fundamental geometric invariants are curvatures. As we have seen in the preceding, the essential geometric content of curvature can be extracted for general metric spaces. From our discussion, it emerges that the basic class of model spaces for curvature is given by the tripod spaces, a special class of hyperconvex spaces. (Since curvature is a 3-point condition, instead of the general hyperconvexity condition, for our geometric purposes, it is natural to work with a corresponding 3-point version, and that leads to the definition of a tripod space.) From that perspective, the geometric content of curvature in the abstract setting considered here is the deviation from the tripod condition. Euclidean spaces, in contrast, are relegated only to a subsidiary role, based on a normalization of curvature that assigns the value [math] to them. Of course, in our presentation, we also use Euclidean spaces as comparison spaces, but mainly for the purpose of comparing our curvature concept with traditional ones in Section 3.
Considering Euclidean spaces as model spaces is traditionally justified by the fact that spaces whose universal cover has synthetic curvature in the sense of Alexandrov are homotopically trivial in the sense that their higher homotopy groups vanish. In technical terms, they are spaces, with standing for the first homotopy group. The perspective developed here, however, is a homological and not a homotopical one, and therefore, our natural comparison spaces are tripods. We start their investigation in Section 4. A more systematic investigation of their properties should be of interest.
In order to get stronger topological properties, like those of hyperconvex spaces, which are homologically trivial, we might need conditions involving collections of more than three points.
In fact, If is a tipod Banach space on which every collection of four closed balls with non-empty pairwise intersection has a non-void intersection, then every sequence of closed balls with non-empty pairwise intersection has also a non-trivial intersection, c.f. [27]
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] S. Alexander and R. Bishop. Warped products admitting a curvature bound. Adv. Math. 303 (2016), pp. 88–122.
- 2[2] S. Alexander, V. Kapovitch, A. Petrunin, Alexandrov geometry, ar Xiv, 2019
- 3[3] S.Alexander, V. Kapovitch, and A. Petrunin. Alexandrov meets Kirszbraun. Proceedings of the Gökova Geometry-Topology Conference 2010. Int. Press, Somerville, MA, 2011, pp. 88–109.
- 4[4] A. D. Alexandrov (1957) Über eine Verallgemeinerung der Riemannschen Geometrie. Schr. Forschungsinst. Math. Berlin 1, 33-84
- 5[5] Aronszajn N. , Panitchpakdi P. (1956): Extension of uniformly continuous transformations and hyperconvex metric spaces. Pacific J. Math. 6, 405-439.
- 6[6] Bačak M., Hua B., Jost J., Kell M., Schikorra A. (2015), A notion of nonpositive curvature for general metric spaces. Differential Geometry and its Applications 38, 22-32.
- 7[7] V.N. Berestovskij and I.G. Nikolaev (1993), Multidimensional generalized Riemannian spaces , Encyclopedia Math. Sciences Vol 70, Springer
- 8[8] I.D.Berg and I.G.Nikolaev, Quasilinearization and curvature of Aleksandrov spaces, Geom. Dedicata 133 (2008), 195–218
