Pullbacks of metric bundles and Cannon-Thurston maps
Abstract.
Metric (graph) bundles were defined by Mj and Sardar in [MS12]. In this paper, we introduce the notion of morphisms and pullbacks of metric (graph) bundles. Given a metric (graph) bundle over where and all the fibers are uniformly (Gromov) hyperbolic and nonelementary, and a Lipschitz quasiisometric embedding we show that the pullback is hyperbolic and the map admits a continuous boundary extension, i.e. the Cannon-Thurston (CT) map . As an application of our theorem, we show that given a short exact sequence of nonelementary hyperbolic groups and a finitely generated quasiisometrically embedded subgroup , is hyperbolic and the inclusion admits the CT map . We then derive several interesting properties of the CT map.
1. Introduction
Given a hyperbolic group and a hyperbolic subgroup a natural question to ask is if the inclusion always extends continuously to (see [Bes04, Q 1.19]). This question was posed by Mahan Mitra (Mj) motivated by the seminal article of Cannon and Thurston (see [CT85]). In [CT85] the authors found the first instance of this phenomenon where is not quasiisometrically embedded in . It follows from their work that if where is a closed hyperbolic -manifold fibering over a circle and with (an orientable closed surface of genus at least ) being the fiber, then the boundary extension exists. More generally, one may ask for a pair of (Gromov) hyperbolic metric spaces if there is a continuous extension of the inclusion to . Such an extension is by definition unique (see Definition 2.47) when it exists and is popularly known as the Cannon-Thurston map or ‘CT map’ for short in Geometric Group Theory. The above question of Mahan Mitra (Mj) has motivated numerous works. The reader is referred to [Mj19] for a detailed history of the problem. Although the general question for groups has been answered in the negative recently by Baker and Riley ([BR13]) there are many interesting questions to be answered in this context. In this paper, we pick up the following.
Question. Suppose is a short exact sequence of hyperbolic groups. Suppose is quasiisometrically embedded and . Then does the inclusion admit the CT map?
It follows by the results of [MS12] that is hyperbolic (see Remark 4.4, [MS12]) so that the question makes sense. In this paper, we answer the above question affirmatively. However, we reformulate this question in terms of metric (graph) bundles as defined in [MS12] (see section of this paper) and obtain the following more general result. One is referred to Lemma 2.41 and the discussion following it for the definition of barycenter map. Coarsely surjective maps are introduced in Definition 2.1(3).
Theorem 5.2. Suppose is a metric (graph) bundle such that
(1) is hyperbolic and
(2) all the fibers are uniformly hyperbolic and nonelementary, i.e. there are and
such that any fiber is -hyperbolic and the barycenter map is -coarsely surjective.
Suppose is a Lipschitz, quasiisometric embedding and is the pullback bundle under (see Definition 3.18). Then admits the CT map.
There are two main sources of examples of metric graph bundles mentioned in this paper where the above theorem can be applied. The first one is that of short exact sequences of groups.
Theorem 6.1. Suppose is a short exact sequence of hyperbolic groups. Suppose is quasiisometrically embedded and . Then is a hyperbolic group and the inclusion admits the CT map.
We note that special cases of Theorem 5.2 and Theorem 6.1, namely when is a point and respectively, were already known. See Theorem 5.3 in [MS12] and Theorem 4.3 in [Mit98a]. Another context where Theorem 5.2 applies is that of complexes of hyperbolic groups. We refer to Section 3.3.2 for relevant definitions.
Suppose is a finite simplicial complex and
is a developable complex of nonelementary hyperbolic groups over .
Suppose that for all face of , is a nonelementary hyperbolic group
and for any two faces the corresponding homomorphism is an isomorphism
onto a finite index subgroup of . Suppose that the fundamental group of the complex of groups, say,
is hyperbolic. Suppose we have a good subcomplex i.e. one for which the following two conditions
are satisfied.
(1) The natural homomorphism is injective.
Let .
Suppose and are both endowed with word metrics with respect to some finite generating sets.
Let and be the coned off spaces a la Farb ([Far98]), obtained by coning off all
the face groups in and respectively.
(2) Then the induced map of the coned off spaces is a quasiisometric embedding.
With these hypotheses we have:
Theorem 6.2. The group is hyperbolic and the inclusion admits the CT map.
Particularly interesting cases to which the above theorem applies are obtained in [Min11] and [MG20]. There graphs of groups are considered where all the vertex and edge groups are either surface groups ([Min11]) or free groups of rank ([MG20]) respectively.
Next, we explore properties of the Cannon-Thurston map proved in Theorem 5.2. Suppose is a fiber of the bundle over . Then there is a CT map for the inclusions and , and the map . Since , if are identified under then under the points and are identified too. It turns out that a sort of ‘converse’ of this is also true.
Theorem 6.25. Suppose we have the hypotheses of Theorem 5.2 and also that the fibers of the bundle are proper metric spaces. Suppose is a (quasi)geodesic line in such that and are identified by the CT map . Then is bounded. In particular, given any fiber of the metric bundle, is at a finite Hausdorff distance from a quasigeodesic line of .
On the other hand as an immediate application of Theorem 6.25 (in fact, see Corollary 6.26 and Proposition 6.6) we get the following:
Theorem. Suppose we have the hypotheses of Theorem 5.2 and also that the fibers of the bundle are proper metric spaces. Let be the fiber over a point . Then the CT map is surjective if and only if the CT maps are surjective for all where is the pullback of a (quasi)geodesic ray in asymptotic to .
In particular is surjective if is surjective.
Following Mitra ([Mit97]) we define the Cannon-Thurston lamination to be and following Bowditch ([Bow13, Section 2.3]) we define for any point a subset of this lamination denoted by or simply when is understood, where if and only if where is a quasiisometric lift in of a (quasi)geodesic ray in converging to . If and is a (quasi)geodesic line in connecting then is referred to be a leaf of the lamination . Leaves are assumed to be uniform quasigeodesics in the following theorem using Proposition 2.37.
.
and are all closed subsets of where
The leaves of are coarsely transverse to each other for all :
Given and there exists such that if is leaf of , then has diameter less than .
If in and is a leaf of for all which converge to a geodesic line then is a leaf of .
for all if we have the hypothesis of Theorem 5.2.
Finally, we also prove the following interesting property of the CT lamination.
Theorem 6.30. Suppose is a metric (graph) bundle over satisfying the hypotheses of Theorem 5.2 such that is a proper metric space. Let where . Suppose is not homeomorphic to a dendrite and also the CT map is surjective.
Then for all we have .
This applies in particular to the examples of short exact sequence of hyperbolic groups and the complexes of hyperbolic groups mentioned in Theorem 6.1 and Theorem 6.2 above.
Outline of the paper: In section 2 we recall basic hyperbolic geometry, Cannon-Thurston maps, etc. In section 3 we recall the basics of metric (graph) bundles and we introduce morphisms of bundles, pullbacks. Here we prove the existence of pullbacks under suitable assumptions. In section 4 we mainly recall the machinery of [MS12] and we prove a few elementary results. Section 5 is devoted to the proof of the main theorem. In section 6 we derive applications of the main result and we mention some related results.
2. Hyperbolic metric spaces
In this section, we remark on the notation and convention to be followed in the rest of the paper and we put together basic definitions and results about hyperbolic metric spaces. We begin with some basic notions from large scale geometry. Most of these are quite standard, e.g. see [Gro87], [Gd90]. We have used [MS12] where all the basic notions can be quickly found in one place.
Notation, convention and some metric space notions.
One is referred to [BH99, Chapter I.1, I.3]
for the definitions and basic facts about geodesic metric spaces, metric graphs and length spaces.
(0) For any set , will denote the identity map . If then we denote by
the inclusion map of into .
(1) If and then will denote
and will be referred to as the distance of from .
For and ,
will be called
the -neighborhood of in .
For we shall denote by the quantity and by
the quantity and will refer to it as the Hausdorff distance of .
(2) If is a length space we consider only subspaces such that the induced length
metric on takes values in , or equivalently for any pair of points in there is a rectifiable
path in joining them which is contained in . We shall refer to such subsets as rectifiably path connected.
If is a rectifiable path in then will denote the length of .
(3) All graphs are connected for us.
If is a metric graph then will denote the set of vertices of . Generally, we shall write
to mean . In metric graphs (see [BH99, Chapter I.1]) all the edges are assumed to have
length . In a graph the paths are assumed to be a sequence of vertices. In other words, these are maps
where is a closed interval in with end points in . We shall
informally write this as and sometimes refer to it as a dotted path for emphasis.
Length of such a path is defined to be where the sum is
taken over all such that .
If and are two paths
with then their concatenation will be the path defined by
if and if .
(4) If is a geodesic metric space and then we shall use or simply to denote a
geodesic segment joining to . This applies in particular to metric graphs. For we
shall denote by some geodesic triangle with vertices .
(5) If is any metric space then for all , will denote the diameter of .
2.1. Basic notions from large scale geometry
Suppose , are any two metric spaces and .
Definition 2.1.
([MS12, Definition 1.1.1])
-
(1)
A map is said to be metrically proper if there is an increasing function with such that for any and , implies . In this case we say that is proper as measured by .
-
(2)
A subset of a metric space is said to be -dense in for some if .
-
(3)
Suppose is a set. A map is said to be -coarsely surjective if is -dense in . We will say that it is coarsely surjective if it is -coarsely surjective for some .
-
(4)
A map is said to be coarsely -Lipschitz if for every , we have . A coarsely -Lipschitz map will be simply called a coarsely -Lipschitz map. A map is coarsely Lipschitz if it is coarsely -Lipschitz for some .
-
(5)
A map is said to be a -quasiisometric embedding if for every , one has
A map will simply be referred to as a quasiisometric embedding if it is a -quasiisometric embedding for some , . A -quasiisometric embedding will be referred to as a -quasiisometric embedding.
A map is a -quasiisometry (resp. -quasiisometry) if it is a -quasiisometric embedding (resp. -quasiisometric embedding) and moreover, it is -coarsely surjective for some .
A -quasigeodesic (resp. a -quasigeodesic) in a metric space is a -quasiisometric embedding (resp. a -quasiisometric embedding) , where is an interval.
We recall that a -quasigeodesic is called a geodesic.
If , then will be called a quasigeodesic ray. If , then we call it a quasigeodesic line. One similarly defines a geodesic ray and a geodesic line. We refer to the constant(s) (and ) as quasigeodesic constant(s).
Quasigeodesics in a metric graph will be maps , informally written as where is a closed interval in .
-
(6)
Suppose are two maps and .
(i) We define to be the quantity provided the supremum exists in ; otherwise we write .
(ii) A map is called an -coarse left (right) inverse of if (resp. ).
If is both an -coarse left and right inverse then it is simply called an -coarse inverse of .
-
(7)
Suppose is any set. A map satisfying some properties will be called coarsely unique if for any other map with properties there is a constant such that .
The definition (7) above is taken from [MS12]. See the definition following Lemma 2.9 there. In places where this definition will be used the properties may not be explicitly stated but they will be clear from the context. If is finite then we talk about a finite subset of to be coarsely unique, e.g. see the remark following Lemma 2.56.
Remark on terminology: (1) All the above definitions are about certain properties of maps and in each case some parameters are involved.
(i) When the parameters are not important or they are clear from the context then we say that the map has the particular property without explicit mention of the parameters, e.g. ‘ is metrically proper’ if is metrically proper as measured by some function.
(ii) When we have a set of pairs of metric spaces and a map between each pair possessing the same property with the same parameters then we say that the set of maps ‘uniformly’ have the property, e.g. uniformly metrically proper, uniformly coarsely Lipschitz, uniform qi embeddings, uniform approximate nearest point projection etc.
(2) We often refer to quasiisometric embeddings as ‘qi embedding’ and quasiisometry as ‘qi’.
The following gives a characterization of quasiisometry to be used in the discussion on metric bundles.
Lemma 2.2.
([MS12, Lemma 1.1])
-
(1)
For every and there are , such that the following hold.
A -coarsely Lipschitz map with a -coarsely Lipschitz, -coarse inverse is a -quasiisometry.
-
(2)
Given , and there are constants and such that the following holds:
Suppose are any two metric spaces and is a -quasiisometry which is -coarsely surjective. Then there is a -quasiisometric -coarse inverse of .
The following lemmas follow from simple calculations and hence we omit their proofs.
Lemma 2.3.
(1) Suppose we have a sequence of maps where are coarsely -Lipschitz and -Lipschitz respectively. Then is coarsely -Lipschitz.
(2) Suppose is a -qi embedding and is a -qi embedding. Then is a -qi embedding.
Moreover, if is -coarsely surjective and is -coarsely surjective then is -coarsely surjective.
In particular, the composition of finitely many quasiisometries is a quasiisometry.
Lemma 2.4.
Suppose is any connected graph and . Suppose is another graph obtained from by introducing some new edges to where is an edge in but not in implies . Then the inclusion map is a quasiisometry.
The following lemma appears in [KS, Section 1.5] in a somewhat different form. We include a proof for the sake of completeness.
Lemma 2.5.
Let be any metric space, , be a (dotted) -quasigeodesic joining and is a (dotted) coarsely -Lipschitz path joining . Suppose moreover, is a proper embedding as measured by a function and that for some . Then is (dotted) -quasigeodesic in .
Proof.
Suppose is defined on an interval . Let . Then we have
since is coarsely -Lipschitz. Now let be such that and . Let . Then by triangle inequality . Since is a -quasigeodesic we have . Hence, . Without loss of generality suppose . Consider the sequence of points in such that for and . We note that . Let be such that , where . Once again by triangle inequality we have
for since is a -quasigeodesic. This implies since is a proper embedding as measured by . Hence,
Thus we have
Hence, by (1) and (2) we can take
The following lemma is implicit in the proof [MS12, Proposition 2.10]. The proof of this lemma being immediate we omit it.
Lemma 2.6.
Suppose is a length space and is any metric space. Let be any map. Then is coarsely -Lipschitz for some if for all , implies .
Remark 1.
We spend quite some time restating some results proved in [MS12] in the generality of length spaces since the main result in our paper is about length spaces. For instance (1) the existence of pullback of metric bundles to be defined below is unclear within the category of geodesic metric spaces; and (2) we observe that for the definition of Cannon-Thurston maps the assumption of (Gromov) hyperbolic geodesic metric spaces is rather restrictive and unnecessary.
In a length metric space geodesics may not exist joining a pair of points. However, we still have the following.
Lemma 2.7.
Suppose is a length space. (1) Given any , any pair of points of can be joined by a continuous, rectifiable, arc length parameterized path which is a -quasigeodesic.
(2) Any pair of points of can be joined by a dotted -quasigeodesic.
Metric graph approximation to a length space
Given any length space , we define a metric graph as follows. We take the vertex set . We join by an edge (of length ) if and only if . We let be the identity map. Let be defined to be the inverse of on and for any point in the interior of an edge of we define to be one of the end points of the edge . The following hold.
Lemma 2.8.
[KS, Lemma 1.32] (1) is a (connected) metric graph. (2) The maps and are coarsely -surjective, -quasiisometries. (3) The map is a -quasiisometry and it is a -coarse inverse of .
Remark 2.
We shall refer to the space constructed in the proof of the above lemma as the (canonical) metric graph approximation to . We also preserve the notations and to be used in this context only.
Definition 2.9.
Gromov inner product: Let be any metric space and let . Then the Gromov inner product of with respect to is defined to be the number . It is denoted by .
Lemma 2.10.
Suppose is a length space and . Let denote -quasigeodesics joining the respective pairs of points . Suppose there are points and such that for some , . Then .
Proof.
By triangle inequality we have , , , . Since the ’s are -quasigeodesics it is easy to see that , and . It then follows by a simple calculation that
Hence, we have . ∎
Definition 2.11.
-
(1)
Suppose is a length space and are nonempty subsets of . We say that coarsely disconnects in if (i) , and (ii) for all there is such that the following holds: For any , and any -quasigeodesic in joining we have .
-
(2)
Suppose , . We say that coarsely bisects into in if and coarsely disconnects in .
-
(3)
Suppose is a collection of length spaces and there are nonempty sets , such that , , and for all . We say that ’s uniformly coarsely bisect ’s into ’s, and ’s if for all there is with the following property: For any , and for any and any -quasigeodesic joining we have .
We note that the first part of the above definition implies . Moreover one would like to impose the condition that are of infinite diameter. Keeping the application we have in mind we do not assume that.
Definition 2.12.
(Approximate nearest point projection) (1) Suppose is any metric space, , and . Given and we say that is an -approximate nearest point projection of on if for all we have .
(2) Suppose is any metric space, and . An -approximate nearest point projection map is a map such that for all and is an -approximate nearest point projection of on for all .
For an -approximate nearest point projection is simply referred to as a nearest point projection. A nearest point projection map from onto a subset will be denoted by or simply when there is no possibility of confusion.
We note that given a metric space and a nearest point projection map may not be defined in general but an -approximate nearest point projection map exists by axiom of choice for all .
Lemma 2.13.
Suppose is a metric space and . Suppose is an -approximate nearest point projection of . Suppose is a -quasigeodesic joining . Then is an -approximate nearest point of on for all .
Proof.
Suppose is any point. Then we know that . Since is a -quasigeodesic it is easy to see that . Hence, which in turn implies that . Hence, is an -approximate nearest point projection of on . ∎
Corollary 2.14.
Suppose is any metric space and . Suppose , are -quasigeodesics joining and respectively. If is an -approximate nearest point projection of on then is -quasigeodesic.
Proof.
Let and . Let denote the segment of from to . Then is an -approximate nearest point projection of on too. Hence, by the previous lemma is an -approximate nearest point projection of on . Without loss of generality, suppose , , , and . Now, . Hence . Since are both -quasigeodesics it follows that and . Adding these we get . On the other hand, . Putting everything together we get
from which the corollary follows immediately. ∎
2.2. Rips hyperbolicity vs Gromov hyperbolicity
This subsection gives a quick introduction to some basic notions and results about hyperbolic metric spaces. One is referred to [Gro87], [Gd90], [ABC+91] for more details. The following definition of hyperbolic metric spaces is due to E. Rips and hence we refer to this as the Rips hyperbolicity.
Definition 2.15.
Suppose is a geodesic triangle in a metric space and , . We say that the triangle is -slim if any side of the triangle is contained in the -neighborhood of the union of the remaining two sides.
Let and be a geodesic metric space. We say that is -hyperbolic (in the sense of Rips) if all geodesic triangles in are -slim.
A geodesic metric space is said to be (Rips) hyperbolic if it is -hyperbolic in the sense of Rips for some .
However, in this paper we need to deal with length spaces a lot which a priori need not be geodesic. The following definition is more relevant in that case.
Definition 2.16.
(Gromov hyperbolicity) Suppose is any metric space, not necessarily geodesic and .
(1) Let . We say that the Gromov inner product on with respect to , i.e. the map defined by , is -hyperbolic if
for all .
The metric space is called -hyperbolic in the sense of Gromov if the Gromov inner product on is -hyperbolic with respect to any point of .
A metric space is called (Gromov) hyperbolic if it is -hyperbolic in the sense of Gromov for some .
However, it is a standard fact that for geodesic metric spaces the two concepts are equivalent. See [Gro87, Section 6.3C], or [BH99, Proposition 1.22, Chapter III.H] for instance. In this subsection we observe an analog of Rips hyperbolicity in Gromov hyperbolic length spaces using the next two lemmas.
The following lemma is a crucial property of Rips hyperbolic metric spaces.
Lemma 2.17.
(Stability of quasigeodesics in a Rips hyperbolic space, [Gd90]) For all and , there is a constant such that the following holds:
Suppose is a geodesic metric space -hyperbolic in the sense of Rips. Then the Hausdorff distance between a geodesic and a -quasigeodesic joining the same pair of end points is less than or equal to .
One is referred to [V0̈5, Theorem 3.18, Theorem 3.20] for a proof of the following lemma.
Lemma 2.18.
Suppose is a metric space which is -hyperbolic in the sense of Gromov. If is a -coarsely surjective, -quasiisometry then is -hyperbolic in the sense of Gromov.
Using metric graph approximations to length spaces (Lemma 2.8) and the fact that for geodesic metric spaces Gromov hyperbolicity implies Rips hyperbolicity we obtain the following three corollaries.
Corollary 2.19.
(Stability of quasigeodesics in a Gromov hyperbolic space) Given there is such that the following holds.
Suppose is metric space which is -hyperbolic in the sense of Gromov. Then given -quasigeodesics , with the same end points we have .
Corollary 2.20.
(Analog of Rips hyperbolicity for length spaces) Suppose is a length space. If is -hyperbolic in the sense of Gromov then for all , all -quasigeodesic triangles in are -slim.
Conversely if all -quasigeodesic triangles in are -slim for some and for some sufficiently large then is -hyperbolic in the sense of Gromov.
Slimness of triangles immediately implies slimness of polygons:
Corollary 2.21.
(Slimness of polygons) Suppose that is a length space. If is -hyperbolic in the sense of Gromov then for all , all -quasigeodesic -gons in are -slim.
Convention 2.22.
For the rest of the paper a -hyperbolic (or simply hyperbolic) space will refer either to (1) a -hyperbolic (resp. hyperbolic) space in the sense of Rips if it is a geodesic metric space or (2) a -hyperbolic (resp. hyperbolic) space in the sense of Gromov if it is not a geodesic metric space. However, in this case the space will be assumed to be a length space. The constant will be referred to as the hyperbolicity constant for the space involved.
2.3. Quasiconvex subspaces of hyperbolic spaces
Definition 2.23.
Let be a hyperbolic geodesic metric space and let . For ,
we say that is -quasiconvex in if any geodesic with end points
in is contained in .
If is a Gromov hyperbolic length space and then we will say that is
-quasiconvex if any -quasigeodesic joining
a pair of points of is contained in .
A subset
is said to be quasiconvex if it is -quasiconvex for some .
The following lemma relates quasiconvexity with qi embedding. It is straightforward and is proved in the context of geodesic metric spaces in [KS, Chapter 1, section 1.11]. Hence we skip the proof.
Lemma 2.24.
(1) Given and there are constants and such that the following holds:
Suppose is a -hyperbolic metric space and is -quasiconvex. Then is path connected and with respect to the induced path metric on from the inclusion map is a -qi embedding.
(2) Suppose is a hyperbolic metric space and is a quasiconvex subset. Suppose is path connected and with respect to the induced path metric on from the inclusion map is metrically proper. Then the inclusion map is a qi embedding.
In this subsection, in a Gromov hyperbolic setting, we prove a number of results about quasiconvex sets analogous to those in [MS12, Section 1.2] which were proved in a Rips hyperbolic setting. The importance of the following lemma for this paper can be hardly exaggerated.
Lemma 2.25.
(Projection on a quasiconvex set) Let be a -hyperbolic metric space, is a -quasiconvex set and . Suppose is an -approximate nearest point projection of a point on . Let . Suppose is a (dotted) -quasigeodesic joining to and is a (dotted) -quasigeodesic joining to . Then is a (dotted) -quasigeodesic in .
In particular, if is -quasigeodesic joining then is contained in the -neighborhood of .
Proof.
Without loss of generality we shall assume that is a -hyperbolic length space. Suppose is a -quasigeodesic in joining . Since is -quasiconvex it is clear that is an -approximate nearest point projection of on . Hence, if is a -quasigeodesic joining then is a -quasigeodesic in by Corollary 2.14. By stability of quasigeodesics , and . Hence, . By Lemma 2.5 it is enough to show now that is uniformly properly embedded. Let and . Suppose with and with . Let and for some . We need find a constant such that where depends on and only. However, if or then we have since both are -quasigeodesics. Hence, in that case . Suppose and . In this case . Let be such that and . Then . Suppose where . Since is a -quasigeodesic we have . It follows that and are both at most . Hence, are both at most , say. Hence, , are both at most . Since are -quasigeodesics it follows that and are both at most . Hence, . Hence, we can take . This completes the proof of the existence of .
Clearly one can set . ∎
Corollary 2.26.
Suppose is a -hyperbolic metric space and is a -quasigeodesic in with an end point . Suppose and is an -approximate nearest point projection of on . Suppose is a -quasigeodesic joining to . Then is a -quasigeodesic.
Proof.
We briefly indicate the proof. One first notes by stability of quasigeodesics that images of uniform quasigeodesics are uniformly quasiconvex. Then one applies the preceding lemma. ∎
The following corollary easily follows from Lemma 2.25 and Lemma 2.13. For instance, the proof is similar to that of [MS12, Lemma 1.32].
Corollary 2.27.
(Projection on nested quasiconvex sets) Suppose is a -hyperbolic metric space and are two -quasiconvex subsets of . Suppose and , are -approximate nearest point projection of on and respectively. Suppose is an -approximate nearest point projection of on . Then .
In particular, for any two -approximate nearest point projections of on we have .
Corollary 2.28.
Given there are constants , and such that the following hold:
(1) Suppose is a -hyperbolic metric space and is a -quasiconvex subset of . Then for all any -approximate nearest point projection map is coarsely -Lipschitz.
(2) Suppose is another -quasiconvex subset of and and , . If then .
In particular, if the diameter of is at least then .
Proof.
(1) Suppose with . Then is an -approximate nearest point projection of on . Hence, by Corollary 2.27 we have . Hence, we may take by Lemma 2.6.
(2) Consider the quadrilateral formed by -quasigeodesics joining the pairs and . This is -slim by Corollary 2.21. Let . Suppose no point of the side is contained in a -neighborhood of the side . Then there are two points say such that , and . Hence there are points , such that . However, is an -approximate nearest point projection of on by Lemma 2.13. Hence, by the first part of the Corollary 2.28 we have . Hence, if the diameter of is bigger than then there is a point and such that . Since is -quasiconvex we have thus . Thus we may choose . ∎
The second part of the above corollary is implied in Lemma 1.35 of [MS12] too. The next lemma roughly says that the nearest point projection of a quasigeodesic on a quasiconvex set is close to a quasigeodesic.
Lemma 2.29.
Given there is a constant such that the
following holds:
Suppose is a -hyperbolic metric space and is a -quasiconvex subset of .
Suppose and respectively are their -approximate nearest point projections on
. Let denote -quasigeodesics in joining and respectively.
Suppose and is a -approximate nearest point projection of on and .
Then .
Proof.
By Corollary 2.21 quadrilaterals in formed by -quasigeodesics are -slim. Hence, there is such that . If then we are done. Suppose not. Without loss of generality let us assume that . Then . Since is a -approximate nearest point projection of on , is a -approximate nearest point projection of on by Lemma 2.13. Hence, by Corollary 2.28, . But . Hence, . Thus we can take . ∎
The following lemma asserts that quasiconvexity and nearest point projections are preserved under qi embeddings.
Lemma 2.30.
Suppose is a -hyperbolic metric graph and is a connected sub-graph such that the inclusion is a -qi embedding. Suppose is -quasiconvex in . Then the following holds.
(1) is -quasiconvex in .
(2) For any if are the nearest point projections of on in and respectively then .
Proof.
(1) Suppose and let be geodesics joining in and respectively. Since, is -qi embedded is a -quasigeodesic in by Lemma 2.3. Hence, by stability of quasigeodesics . However, being -quasiconvex in , in and hence in as well. Thus in . Hence, we can take .
(2) Suppose . Then in where . We have by stability of quasigeodesics. Thus there is a point such that , say. Then since is -qi embedded in . Since is a nearest point projection of on in , it is also a nearest point projection of on in . Hence, . Hence, by triangle inequality. Thus we can take . ∎
Definition 2.31.
Suppose is a -hyperbolic metric space and are two quasiconvex subsets. Let . We say that are mutually -cobounded, or simply -cobounded, if the set of all -approximate nearest point projections of the points of on has a diameter at most and vice versa.
When the constant is understood or is not important we just say that are cobounded.
The following corollary is an immediate consequence of Corollary 2.28(2).
Corollary 2.32.
([MS12, Lemma 1.35]) Given there are constants and such that the following holds.
Suppose is a -hyperbolic metric space and are two -quasiconvex subsets. If then are mutually -cobounded.
The following proposition and its proof are motivated by an analogous result due to Hamenstadt ([Ham05, Lemma 3.5]). See also [MS12, Corollary 1.52]. Before we state the proposition let us explain the set-up.
Suppose is a -hyperbolic metric graph and is a -quasiconvex subgraph, for some . Suppose is an interval in with end points in and is a map such that . Let for all and for all with such that the following hold.
All the sets and , , are -quasiconvex in .
uniformly coarsely bisects into and for all . Let be such that any geodesic in joining and passes through for all .
for all if and .
There is such that the sets and are -cobounded in for all with unless and are the end points of .
The proposition below is about a description of uniform quasigeodesics in joining points of .
Proposition 2.33.
Given , , and there are and such that the following holds.
Suppose we have the aforementioned hypotheses , , , and . Suppose and . Suppose , are defined as follows: , is an -approximate nearest point projection of on for . Suppose is a -quasigeodesic in joining and , and is a -quasigeodesic joining and .
Then the concatenation of the all the ’s and is a -quasigeodesic in joining . Moreover, each is an -approximate nearest point projection of on for .
Proof.
The proof is broken into the following three claims. In course of the proof we shall denote the concatenation of the ’s and by .
Claim 1: Suppose for some . Let be an -approximate nearest point projection of on . Then is an -approximate nearest point projection of on where depends only on and the parameters and .
Proof of Claim 1: Suppose is a -approximate nearest point projection of on . Since is -quasiconvex is a -quasigeodesic by Lemma 2.25. Let . Then by stability of quasigeodesics there is a point such that , say. We claim that is uniformly close to . Since is -quasiconvex there is a point such that . It follows that . By , there is a point such that . Since, and it follows by triangle inequality that . Now, by Lemma 2.13 is an -approximate nearest point projection of on . Hence, . It follows that works.
Note: We shall use again in the proof of Claim to denote the same constant as in the proof of Claim above.
Claim 2. Next we claim that for all there is uniformly bounded set such that -nearest point projection of any point of , on is contained in .
Proof of Claim 2: Consider any , . Let be the set of all -approximate nearest point projections of points of on in . Then the diameter of is at most by . Suppose , . Let be respectively -approximate nearest point projections of on and respectively. Let be an -nearest point projection of on . Now, by Step 1 is an -approximate nearest point projection of on and , are -approximate nearest point projection of and respectively on . Therefore, by the first part of Corollary 2.27 we have . However, if is a -approximate nearest point projection of on then by the second part of the Corollary 2.27 we have since . Hence, . Therefore, we can take .
Let We note that .
Claim 3. Finally we claim that (1) is contained in a uniformly small neighborhood of a geodesic joining and (2) is uniformly properly embedded in .
We note that the proposition follows from Claim 3 using Lemma 2.5.
Proof of Claim 3: Suppose , . Choose smallest such that , where . Let be a geodesic in joining .
(1) It is enough to show that the segment of joining to is contained in a uniformly small neighborhood of . Hence, without loss of generality . Due to Corollary 2.21 it is enough to prove that the points , are contained in a uniformly small neighborhood of in order to show that the segment of joining to is contained in a uniformly small neighborhood of . (We note that the path is a -quasigeodesic joining and .) For this first we note that is on . Let be a geodesic joining . Then by stability of quasigeodesics there is a point such that . Since is an -approximate nearest point projection of on , by Lemma 2.13 is an -approximate nearest point projection of on . Hence, is an -approximate nearest point projection of on . Let . By Step 1 is an -nearest point projection of on where . Now the concatenation of a geodesic joining to with the segment of from to is a uniform quasigeodesic by Lemma 2.25. Thus by Corollary 2.19 is uniformly close to . On the other hand by Step 2 is an -approximate nearest point projection of on and hence an -approximate nearest point projection on for all . Hence, again by Lemma 2.25 and Corollary 2.19 is within a uniformly small neighborhood of . This proves (1).
(2) Suppose . Suppose as above with . Once again, without loss of generality . We claim that . To see this consider two adjacent vertices on . If and with then by the we have . The claim follows from this. Suppose , for and . We note that for . Since and since the segments of joining , are uniform quasigeodesics we are done.
For the second part of the proposition we have already noticed that is an -approximate nearest point projection of any point , in particular of , on for all , . On the other hand, is an -approximate nearest point projection of on . Hence, by Corollary 2.27 if is a -approximate point projection of on then . Thus is an -approximate nearest point projection of on . ∎
Lemma 2.34.
Given there is a constant such that the following is true.
Suppose is a -hyperbolic metric space. Suppose and is a -quasigeodesic in joining . Then .
Proof.
Without loss generality we shall assume that is a length space -hyperbolic in the sense of Gromov. Let be a -approximate nearest point projection of on . Let be -quasigeodesics joining the pairs of points respectively. Let be a -quasigeodesic joining and let be a -quasigeodesic joining . Let . Now, by Corollary 2.19 and is -quasiconvex. Let be the portion of from to and let be the portion of from to . Then , are -quasigeodesics. Hence by Corollary 2.19 . Let be such that . Since , there is a point such that . Hence, , say. Now by Lemma 2.10 . It follows that . Since is a -approximate nearest point projection of on we have for all , . Thus . Hence, . ∎
2.4. Boundaries of hyperbolic spaces and CT maps
Given a hyperbolic metric space, there are the following three standard ways to define a boundary. Some of the results in this subsection are mentioned without proof. One may refer to [BH99] and [ABC+91] for details.
Definition 2.35.
-
(1)
Geodesic boundary. Suppose is a (geodesic) hyperbolic metric space. Let denote the set of all geodesic rays in . The geodesic boundary of is defined to be where is the equivalence relation on defined by setting iff .
-
(2)
Quasigeodesic boundary. Suppose is a hyperbolic metric space in the sense of Gromov. Let be the set of all quasigeodesic rays in . Then the quasigeodesic boundary is defined to be where is defined as above.
-
(3)
Gromov boundary or sequential boundary. Suppose is a hyperbolic metric space in the sense of Gromov and . Let be the set of all sequences in such that . All such sequences are said to converge to infinity. On we define an equivalence relation where if and only if for some (any) base point . The Gromov boundary or the sequential boundary of , as a set, is defined to be .
Notation and convention. (1) The equivalence class of a geodesic ray or a quasigeodesic ray in or is denoted by . It is customary to fix a base point and require that all the rays start from there to define and but it is not essential.
(2) If is a (quasi)geodesic ray with , then we say that joins to . We use to denote any (quasi)geodesic ray joining to when the parametrization of the (quasi)geodesic ray is not important or is understood.
(3) If is a quasigeodesic line with then we say that joins . We denote by any quasigeodesic line joining when the parameters of the quasigeodesic are understood.
(4) If then we write or and say that the sequence converges to .
(5) We shall denote by the set .
The following lemma and proposition summarizes all the basic properties of the boundary of hyperbolic spaces that we will need in this paper.
Lemma 2.36.
([DK18, Theorem 11.108])
Let , be hyperbolic metric spaces.
(1) Given a qi embedding we have an injective map .
(2) (i) If are qi embeddings then
(ii) is the identity map on .
(iii) A qi induces a bijective boundary map.
The following proposition relates the three definitions of boundaries.
Proposition 2.37.
(1) For any metric space the inclusion induces an injective map .
(2) Given a quasigeodesic ray , is well defined and implies . This induces an injective map .
(3) If is a proper geodesic hyperbolic metric space then the map is a bijection.
(4) The map is a bijection for all Gromov hyperbolic length spaces.
In fact, given there is a constant such that given any -hyperbolic length space , any pair of points can be joined by a -quasigeodesic.
Proof.
(1), (2), (3) are standard. See [BH99, Chapter III.H] for instance.
(4) is proved for geodesic metric spaces in Section 2 of [MS12]. See Lemma 2.4 there. The same result for a general length space then is a simple consequence of the existence of a metric graph approximation of a length space and the preceding lemma. ∎
Lemma 2.38.
(Ideal triangles are slim) Suppose is a -hyperbolic metric space in the sense of Rips or Gromov. Suppose and we have three -quasigeodesics joining each pair of points from . Then the triangle is -slim.
In particular, if are two -quasigeodesic rays with and then .
The proof of the above lemma is pretty standard and hence we omit it. However, slimness of ideal triangles immediately implies slimness of ideal polygons:
Corollary 2.39.
(Ideal polygons are slim) Suppose is a -hyperbolic metric space in the sense of Rips or Gromov. Suppose are points and we have -quasigeodesics joining pairs of points and . Then this -gon is -slim, i.e. every side is contained in -neighborhood of the union of the remaining sides.
The following lemma gives a geometric interpretation for sequential boundary in terms of quasigeodesics.
Lemma 2.40.
Let be any point. Suppose is any sequence of points in and is a -quasigeodesic joining to for all . Suppose is a -quasigeodesic joining to . Then
(1) if and only if if and only if there is a constant such that for all there is with for all .
(2) Suppose moreover and is a -quasigeodesic in joining to for all and is a -quasigeodesic joining to .
Then if and only if iff there is constant such that for all there is with for all .
We skip the proof of this lemma. In fact, the first statement of the lemma is an easy consequence of Lemma 2.34 and stability of quasigeodesics. The second statement is a simple consequence of Lemma 2.34, stability of quasigeodesics and the Lemma 2.38.
The following lemma is proved in section 2 of [MS12] (see Lemma 2.7 and Lemma 2.9 there) for hyperbolic geodesic metric spaces. The same statements are true for length spaces too. To prove it for length spaces one just takes a metric graph approximation. Since the proof is straightforward we omit it.
Lemma 2.41.
(Barycenters of ideal triangles) Given there is such that for any -hyperbolic length space , any three distinct points and any three -quasigeodesics joining in pairs there is a point such that intersects all the three quasigeodesics.
We refer to a point with this property to be a barycenter of the ideal triangle . There is a constant such that if are two barycenters of then .
Thus we have a coarsely well-defined map . We shall refer to this map as the barycenter map. It is a standard fact that for a non-elementary hyperbolic group if is a Cayley graph of then the barycenter map is coarsely surjective and vice versa. If is a hyperbolic metric space such that the barycenter map for is coarsely surjective then will be called a nonelementary hyperbolic space. In section and we deal with spaces with this property.
The following lemma is clear. For instance, we can apply the proof of [MS12, Lemma 2.9].
Lemma 2.42.
Barycenter maps being coarsely surjective is a qi invariant property among hyperbolic length spaces.
2.4.1. Topology on and Cannon-Thurston maps
Definition 2.43.
(1) If is a sequence of points in , we say that converges to if the following holds: Suppose and . Then .
(2) A subset is said to be closed if for any sequence in , implies .
The definition of convergence that we have stated here is equivalent to the one stated in [ABC+91]. Moreover, that the convergence mentioned above is well-defined follows from [ABC+91] and hence we skip it. The next two lemmas give a geometric meaning of the convergence.
Lemma 2.44.
Given and there are constants , and with the following properties:
Suppose are two -quasigeodesic rays starting from a point such that and is a -quasigeodesic line joining and . Then the following hold:
(1) There exists such that for all .
In particular, .
(2) Suppose then .
Proof.
(1) Since by Lemma 2.38 there is such that for all , and . Let be such that and . Then by joining and and applying Corollary 2.21 we see that Hausdorff distance between any -quasigeodesic joining , say and the portion of between is at most . It is clear that for large enough , is the same as the distance of and the segment of between if . Thus for such we have . But by Lemma 2.34, . Hence, for all large .
(2) To see this we take a -approximate nearest point projection, say , of on . Let denote a -quasigeodesic joining . Then by Corollary 2.26 concatenation of and the portions of joining to respectively are both -quasigeodesics. Call them and respectively. Note that and . Let . Then by the last part of Lemma 2.38 it follows that where . Suppose are such that and . By Lemma 2.20 the Hausdorff distance between and the portions of from to and the portion of from to are each at most . Thus these segments of and are at a Hausdorff distance at most from each other. This completes the proof. ∎
Lemma 2.45.
Let be any point. Suppose is any sequence of points in . Suppose is a -quasigeodesic line joining to for all and is a -quasigeodesic ray joining to for all . Then
(1) iff there is a constant such that for all there is with for all and in this case converges to some point of .
(2) Suppose moreover , is a -quasigeodesic ray in joining to for all , and is a -quasigeodesic ray joining to . Then iff iff there is constant such that for all there is with for all . In this case .
Proof.
(1) The ‘iff’ part is an immediate consequence of Lemma 2.44. We prove the last part. Let be an increasing sequence in such that for all we have . Let be a point of such that . We claim that converges to a point of . Clearly . Given we have and for all . By slimness of polygons we see that any -quasigeodesic joining is uniformly close to . It follows that . Let . It is clear that .
(2) Both iff statements are immediate from Lemma 2.44. The last part follows from slimness of ideal triangle since . ∎
Corollary 2.46.
Suppose is a sequence of points in such that or . Suppose and is a -quasigeodesic joining to for each . Let such that . Then .
Definition 2.47.
(Cannon-Thurston map, [Mit98b]) If is any map of hyperbolic metric spaces then we say that the Cannon-Thurston or the CT map exists for or that admits the CT map if gives rise to a continuous map in the following sense:
Given any and any sequence of points in converging to , the sequence converges to a definite point of independent of the and the resulting map is continuous.
Generally, one assumes that the map is a proper embedding but for the sake of the definition it is unnecessary. We note that the CT map is unique when it exists. The following lemma gives a sufficient condition for the existence of CT maps.
Lemma 2.48.
(Mitra’s criterion, [Mit98b, Lemma 2.1]) Suppose , are geodesic hyperbolic metric spaces and is a metrically proper map. Then admits the CT map if the following holds:
Let . There exists a function , with the property that as such that for all geodesic segments in lying outside the -ball around , any geodesic segment in joining the pair of points lies outside the -ball around .
Remark 3.
(1) The main set of examples where Lemma 2.48 applies comes from taking to be a rectifiably path connected subspace of a hyperbolic space with induced length metric and the map is assumed to be the inclusion map. One also considers the orbit map where is a hyperbolic group acting properly by isometries on a hyperbolic metric space . In these examples, the map is coarsely Lipschitz as well as metrically proper. The proof of the lemma by Mitra also assumes that , are proper geodesic metric spaces and Mitra considered the geodesic boundaries. However, these conditions are not necessary as the following lemma and examples show.
(2) The proof of Lemma 2.48 by Mitra only checks that the map is a well-defined extension of rather than it is continuous. However, with very little effort the condition can be shown to be sufficient for the well-definedness as well as the continuity of the CT map.
(3) One can easily check that the condition is also necessary provided are proper hyperbolic spaces and is coarsely Lipschitz and metrically proper.
The following lemma is the main tool for the proof of our theorem of Cannon-Thurston map. We shall refer to this as Mitra’s lemma.
Lemma 2.49.
Suppose are length spaces hyperbolic in the sense of Gromov, and is any map. Let .
Suppose for all there is such that implies with the following property: For any , any -quasigeodesic in joining and any -quasigeodesic in joining , implies .
Then the CT map exists for .
Proof.
Suppose is any sequence in . Suppose is a -quasigeodesic in joining and suppose is a -quasigeodesic in joining . Then by Lemma 2.34 if and only if and if and only if . On the other hand by implies . Thus converges to a point of implies converges to a point of . The same argument shows that if and are two sequences in representing the same point of then and also represent the same point of . Thus we have a well-defined map .
Now we prove the continuity of the map. We need to show that if in then . Suppose is represented by the class of and is the equivalence class of . Then
By Lemma 2.34 then we have
for any -quasigeodesic in joining and . By then we have
where is any -quasigeodesic in joining . This in turn implies by Lemma 2.34 that
Therefore, as was required. ∎
Examples and remarks:
-
(1)
Suppose is the function . Then is not coarsely Lipschitz but admits the CT map.
-
(2)
One can easily cook up an example along the line of the above example where metric properness is also violated but the CT map exists as we see in the example below. We will see another interesting example in Corollary 6.10.
-
(3)
The condition in the above lemma is also not necessary in general for the existence of the CT map. Here is an example in which both metric properness and fail to hold but nevertheless the CT map exists. Suppose is a tree built in two steps. First we have a star, i.e. a tree with one central vertex on which end points of finite intervals are glued where the lengths of the intervals are unbounded. Then two distinct rays are glued to each vertex of the star other than the central vertex. Suppose is obtained by collapsing the central star in to a point and is the quotient map. Then clearly the CT map exists but is violated.
The following lemma is very standard and hence we skip mentioning its proof.
Lemma 2.50.
(Functoriality of CT maps) (1) Suppose are hyperbolic metric spaces and and admit the CT maps. Then so does and .
(2) If is the identity map then it admits the CT map which is the identity map on
(3) If two maps are at a finite distance admitting the CT maps then they induce the same CT map.
(4) Suppose is a qi embedding of hyperbolic length spaces. Then admits the CT map which is a homeomorphism onto the image.
If is a quasiisometry then is a homeomorphism. In particular, the action by left multiplication of a hyperbolic group on itself induces an action of on by homeomorphisms.
2.4.2. Limit sets
Definition 2.51.
Suppose is a hyperbolic metric space and . Then the limit set of in is the set .
When is understood then the limit set of will be denoted simply by . In this subsection, we collect some basic results on limit sets that we need in Section 6 of the paper. In each case, we briefly indicate the proofs for the sake of completeness. The following is straightforward.
Lemma 2.52.
Suppose is a hyperbolic metric space and with . Then .
Lemma 2.53.
Suppose is a hyperbolic metric space and . Suppose coarsely bisects in into where . Then .
Proof.
This is a straightforward consequence of Lemma 2.34. ∎
Lemma 2.54.
Suppose is a -hyperbolic metric space and is -quasiconvex. Suppose and is a -quasigeodesic ray converging to . Then there are and such that for all .
Proof.
Rather than explicitly computing the constants we indicate how to obtain them. Suppose is a sequence in such that . Let be a -approximate nearest point projection of on . Let denote a -quasigeodesic joining . Then the concatenation, say , of and the segment of from to is a uniform quasigeodesic by Corollary 2.26. For all , let denote a -approximate nearest point projection of on . Then is contained in for all large . However, once again by Corollary 2.26 the concatenation of the portion of between and a -quasigeodesic joining is a uniform quasigeodesic. Now it follows by stability of quasigeodesics that the segment of between is contained in a uniformly small neighborhood of since is quasiconvex. ∎
Lemma 2.55.
Suppose are hyperbolic metric spaces, and is any metrically proper map. Suppose that the CT map exists for . Then we have in each of the following cases:
(1) is a proper metric space.
(2) is a qi embedding.
Proof.
(1) It is clear that . Suppose is any sequence such that for some . Since is proper is an unbounded sequence. Since is a proper length space it is a geodesic metric space by Hopf-Rinow theorem (see [BH99], Proposition 3.7, Chapter I.3). Now it is a standard fact that any unbounded sequence in a proper geodesic metric space has a subsequence converging to a point of the Gromov boundary of the space. Since is proper, we have a subsequence of such that for some . It is clear that . Hence .
(2) Let and . Suppose is a sequence of points in such that and . Then by Lemma 2.34 for any -quasigeodesic in joining for all , we have . Since is a qi embedding if is a -quasigeodesic in joining for all then are uniform quasigeodesics in . Hence, by stability of quasigeodesics in we have for some constant . Thus . Since is a qi embedding and it follows that . Therefore, again by Lemma 2.34. Hence, if then . ∎
Lemma 2.56.
(Projection of boundary points on quasiconvex sets) Given and there is a constant such that the following holds:
Suppose is a -hyperbolic metric space, is -quasiconvex and . Then there is a point with the following property: Suppose is any sequence where . Then there is an such that for all we have .
Proof.
Suppose are two sequences in such that and . Let be a -quasigeodesic in joining for all . Let be a -approximate nearest point projection on .
Claim: There is a constant depending only on and and there is such that for all .
We first note that . In fact, if this is not the case then there is such that for all there are with . In that case let be such that . It is then clear that by Lemma 2.40(1), contradicting the hypothesis that . By stability of quasigeodesics, any -quasigeodesic is uniformly quasiconvex in and is given to be -quasiconvex. Hence, by Corollary 2.32 there are constants such that implies that . Since, there is such that for all . This proves the existence of and .
Now, by specializing the claim to the case we have such that if is a -quasigeodesic joining then for all . Let . Now, given any sequence in with by the claim there is such that for all , . Hence, if then . Thus we can take .∎
Since the point in the above lemma is coarsely unique we shall call any such point to be the nearest point projection of on and we shall denote it by .
3. Metric bundles
In this section, we recall necessary definitions and some elementary properties of the primary objects of study in this paper namely, metric bundles and metric graph bundles from [MS12]. We make a minor modification (see Definition 3.2) to the definition of a metric bundle but use the same definition of metric graph bundles as in [MS12].
3.1. Basic definitions and properties.
Definition 3.1.
(Metric bundles [MS12, Definition 1.2])
Suppose and are geodesic metric spaces; let and let
be a function.
We say that is an metric bundle over if there is a surjective -Lipschitz
map such that the following conditions hold:
(1) For each point , is a geodesic metric space
with respect to the path metric induced from . The inclusion maps
are uniformly metrically proper as measured by .
(2) Suppose , and let be
a geodesic in joining them.
Then for any point and there is a path
of length at most such that ,
and .
If is a metric bundle over in the above sense then we shall refer to it as a geodesic metric bundle in this paper. However, the above definition seems a little restrictive. Therefore, we propose the following.
Definition 3.2.
(Length metric bundles)
Suppose and are length spaces, and we have a function
.
We say that is an length metric bundle over if there is a surjective -Lipschitz
map such that the following conditions hold:
(1) For each point , is a length space
with respect to the path metric induced from . The inclusion maps
are uniformly metrically proper as measured by .
(2) Suppose , and let be a path of length at most in joining them.
Then for any point and there is a path
of length at most such that ,
and .
Given length spaces and we will say that is a length metric bundle over if is an -length metric bundle over in the above sense for some function and some constant .
Convention 3.3.
From now on whenever we speak of a metric bundle we mean a length metric bundle.
Definition 3.4.
(Metric graph bundles [MS12, Definition 1.5])
Suppose and are metric graphs. Let be
a function. We say that is an -metric graph bundle
over if there exists a surjective simplicial map such that:
For each , is a connected subgraph of and the inclusion maps
are
uniformly metrically proper as measured by for the path metrics induced on .
Suppose are adjacent vertices.
Then each vertex of is connected by an edge with a vertex in .
Remark 4.
Since the map is simplicial it follows that it is -Lipschitz.
For a metric (graph) bundle the spaces , will be referred to as fibers and the -distance between two points in will be referred to as their fiber distance. A geodesic in will be called a fiber geodesic. The spaces and will be referred to as the total space and the base space of the bundle respectively. By a statement of the form ‘ is a metric bundle (resp. metric graph bundle)’ we will mean that it is the total space of a metric bundle (resp. metric graph bundle).
Most of the results proved for geodesic metric bundles in [MS12] have their analogs for length metric bundles. We explicitly prove this phenomenon or provide sufficient arguments for all the results needed for our purpose.
Convention 3.5.
Very often in a lemma, proposition, corollary, or a theorem we shall omit explicit mention of some of the parameters on which a constant may depend if the parameters are understood.
Definition 3.6.
Suppose is a metric (graph) bundle.
(1) Suppose and . A -qi section over is a -qi embedding (resp. )such that (resp. ) where has the restricted metric from and (resp. ) denotes the identity map on (resp. ).
(2) Given any metric space (resp. graph) and any qi embedding (resp. ) a -qi lift of is a -qi embedding (resp. ) such that .
Convention 3.7.
(1) Most of the time we shall refer to the image of a qi section (or a qi lift) to be the qi section (resp. the qi lift).
(2) Suppose is a (quasi)geodesic and is a qi lift of . Let for some .
Then we will denote by also.
(3) In the context of a metric graph bundle , when we talk about a point in , or a fiber, we mean that the point is a vertex in the corresponding space.
The following lemma is immediate from the definition of a metric (graph) bundle. Hence we briefly indicate its proof.
Lemma 3.8.
( Path lifting lemma) Suppose is an -metric bundle or an -metric graph bundle.
-
(1)
Suppose . Suppose is a continuous, rectifiable, arc length parameterized path (resp. an edge path) in joining to . Given any there is a path in such that (resp joining to some point of .
In particular, in case is a metric graph bundle over any geodesic of can be lifted to a geodesic starting from any given point of .
-
(2)
For any and , any dotted -quasigeodesic has a lift starting from any point of such that the following hold, where we assume for metric graph bundles.
For all we have
In particular it is a -qi lift of . Also we have
Proof.
(1) We fix a sequence of points in such that for and for the metric bundle case. For the metric graph bundle are the consecutive vertices on , . Now given any we can inductively construct a sequence of points , and a sequence of paths of length at most (resp. an edge) joining to for . Concatenation of these paths gives a candidate for .
The second statement for metric graph bundles follow because is a -Lipschitz map.
(2) We construct a lift of starting from any point inductively as follows. We know that . Let be a path in joining to which is of length at most for . We can then find a sequence of paths of length at most in (where for metric graph bundle) using the first part of the lemma such that starts at and starts at the end point of for . Let be the starting point of for and let be the end point of . Then we define by setting , .
Clearly . Also, since is -Lipschitz. Since is a dotted quasigeodesic, we have . This proves that
For the last part of (2) we see that
On the other hand since is a -quasigeodesic we have . The conclusion immediately follows from these two inequalities. ∎
The following corollary follows from the proof of Proposition 2.10 of [MS12]. We include it for the sake of completeness.
Corollary 3.9.
Given any metric (graph) bundle and we can define a map such that (resp. ) for all .
Proof.
The statement about the metric graph bundle is trivially true by Lemma 3.8 (1). For the metric bundle case, fix a dotted -quasigeodesic joining to . Then for all fix for once and all a dotted lift as constructed in the proof of the Lemma 3.8 which starts from and set . The statement then follows from Lemma 3.8(2). ∎
Remark 5.
For all any map such that for some constant independent of will be referred to as a fiber identification map.
The proof of the first part of the following lemma is immediate from Corollary 3.9 whereas the next two parts essentially follow from the proof of Proposition 2.10 of [MS12]. Hence we skip the proofs.
Lemma 3.10.
Suppose is an -metric bundle or an -metric graph bundle and . Suppose . The we have the following.
-
(1)
(resp. ).
-
(2)
Suppose is a map such that for all , for all .
Then is a -quasiisometry which is -surjective.
-
(3)
If is any other map such that for all then .
In particular, the maps are coarsely unique (see Definition 2.1(7)).
In this lemma, we deliberately suppress the dependence of on the parameter(s) of the bundle.
Corollary 3.11.
Suppose is a metric (graph) bundle and (resp. ) such that . Suppose is a fiber identification map as constructed in the proof of Corollary 3.9. Then is a -quasiisometry.
Proof.
By Corollary 3.9 for all (resp. for all ). Hence by Lemma 3.10(2) is -qi for the metric bundle and -qi for the metric graph bundle case. ∎
The following corollary is proved as a simple consequence of Lemma 3.10 and Corollary 3.9. (See Corollary 1.14, and Corollary 1.16 of [MS12].) Therefore, we skip the proof of it.
Corollary 3.12.
(Bounded flaring condition) For all , there is a function such that the following holds:
Suppose is an -metric bundle or an -metric graph bundle. Let be a dotted -quasigeodesic (resp. a geodesic) joining , and let , be two -qi lifts of in . Suppose and , .
Then
if .
In the rest of the paper, we will summarize the conclusion of Corollary 3.12 by saying that a metric (graph) bundle satisfies the bounded flaring condition.
Remark 6.
(Metric bundles in the literature) Metric (graph) bundles appear in several places in other people’s work. In [Bow13, Section 2.1] Bowditch defines stacks of (hyperbolic) spaces which can easily be shown to be quasiisometric to metric graph bundles over an interval in . Conversely, a metric (graph) bundle whose base is an interval in is clearly a stack of spaces as per [Bow13, Section 2.1]. In [Why10] Whyte defines coarse bundles which are also quasiisometric to metric graph bundles but with additional restrictions.
3.2. Some natural constructions of metric bundles
In this section, we discuss a few general constructions that produce metric (graph) bundles.
Definition 3.13.
(Metric bundle morphisms) Suppose , are metric bundles. A morphism from to (or simply from to when there is no possibility of confusion) consists of a pair of coarsely -Lipschitz maps and for some such that , i.e. the following diagram (Figure 1) is commutative.
(Metric graph bundle morphisms) Suppose , are metric graph bundles. A morphism from to (or simply from to when there is no possibility of confusion) consists of a pair of coarsely -Lipschitz maps and for some such that .
(Isomorphisms) A morphism from a metric (graph) bundle to a metric (graph) bundle is called an isomorphism if there is a morphism from to such that is a coarse inverse of and is a coarse inverse of .
We note that for any morphism from a metric (graph) bundle to a metric (graph) bundle we have for all . We will denote by the restriction of to for all . We shall refer to these maps as the fiber maps of the morphisms. We also note that in the case of metric graph bundles coarse Lipschitzness is equivalent to Lipschitzness.
Lemma 3.14.
Given and there are constants such that the following hold.
Suppose is a morphism of metric (graph) bundles as in the definition above. Then the following hold:
(1) For all the map is coarsely -Lipschitz with respect to the induced length metric on the fibers.
(2) Suppose is a dotted -quasigeodesic (or simply a geodesic in the case of a metric graph bundle) and suppose is a -qi lift of . If is a -qi embedding then is a -qi lift of .
Proof.
We shall check the lemma only for the metric bundle case because for metric graph bundles the proofs are similar and in fact easier.
Suppose , are -metric bundles.
(1) Let and be such that . Since is coarsely -Lipschitz, . Now, the fibers of are uniformly properly embedded as measured by . Hence, . Therefore, by Lemma 2.6 the fiber map is -coarsely Lipschitz. Hence, will do.
(2) Let and . Then clearly, whence is a lift of . By Lemma 2.3(1) is coarsely -Lipschitz. Hence, for all we have
On the other hand, for we have
However, by Lemma 2.3(2) is a -qi embedding. Hence, we have
Therefore, it follows that is a -qi lift of . ∎
The following theorem characterizes isomorphisms of metric (graph) bundles.
Theorem 3.15.
If is an isomorphism of metric (graph) bundles as in the above definition then the maps are quasiisometries and all the fiber maps are uniform quasiisometries.
Conversely, if the map is a qi and the fiber maps are uniform qi then is an isomorphism.
Proof.
We shall prove the theorem in the case of a metric bundle only. The proof in the case of a metric graph bundle is very similar and hence we skip it.
If is an isomorphism then are qi by Lemma 2.2(1). We need to show that the fiber maps are quasiisometries.
Suppose is a coarse inverse of such that and for all and . It follows that for all we have and since the maps are -Lipschitz. Suppose are coarsely -Lipschitz. Let and . Then for all , is coarsely -Lipschitz and for all , is coarsely -Lipschitz by Lemma 3.14(1).
Let . To show that is a uniform quasiisometry, it is enough by Lemma 2.2(1) to find a uniformly coarsely Lipschitz map which is uniform coarse inverse of . We already know that is -coarsely Lipschitz. Let . We also noted that . Hence, it follows by Corollary 3.9 and Corollary 3.11 that we have a -qi such that for all . Let . We claim that is a uniformly coarsely Lipschitz, uniform coarse inverse of . Since is -coarsely Lipschitz and clearly is -coarsely Lipschitz, it follows by Lemma 2.3(1) that is -coarsely Lipschitz.
Moreover, for all we have . Hence, . Let . Then
since . Hence, . Hence by Lemma 2.2(1) is a uniform qi.
Conversely, suppose all the fiber maps of the morphism are -qi which are -coarsely surjective and is a -qi which is -surjective. Let be a coarsely -quasiisometric, -coarse inverse of where , and . For all let be a -coarse inverse of . We will define a map such that is morphism from to and is a coarse inverse of as follows.
For all we define as the composition where is a fiber identification map as constructed in the proof of Corollary 3.9. Collectively this defines . Now we shall check that satisfies the desired properties.
(i) We first check that is a morphism. It is clear from the definition that . Hence we will be done by showing that is coarsely Lipschitz. By Lemma 2.6 it is enough to show that for all and with , is uniformly small. We note that . Let and . Then , and . This means and by Lemma 3.8 and Corollary 3.9. Hence, . Let , , and . Therefore, , say and we want to show that is uniformly small. Let . Then and . Hence, . Since there is a point such that . Hence, . Hence, . This implies that , say. Since is a -qi we have . Hence, . Thus, .
(ii) We already know that is a coarse inverse of . Hence we will be done by checking that is a coarse inverse of . We will check only that leaving the proof of for the reader. Suppose and . Then . We want to show that is uniformly small. Let . Then . Now since, , . Since we have . Thus . Hence, it is enough to show that is a proper embedding. Here is how this is proved. Suppose , and . Suppose for some . This implies . Since is a -qi we have , i.e. , say. Hence by Corollary 3.9 there is a point such that . Since is coarsely -Lipschitz we have . It follows that , say. Hence, . Since is a -qi we have . Hence, . This completes the proof. ∎
Definition 3.16.
(Subbundle) Suppose , are metric (graph) bundles with the same base space . We say that is subbundle of or simply is a subbundle of if there is a metric (graph) bundle morphism from to such that all the fiber maps , are uniform qi embeddings and is the identity map on (resp. on ).
The most important example of a subbundle that concerns us is that of ladders which we discuss in a later section. The following gives another way to construct a metric (graph) bundle. We omit the proof since it is immediate.
Lemma 3.17.
(Restriction bundle) Suppose is a metric (graph) bundle and is a connected subset such that any pair of points in can be joined by a path of finite length in (resp. is a connected subgraph). Then the restriction of to gives a metric (graph) bundle with the same parameters as that of where and are given the induced length metrics from and respectively.
Moreover, if and are the inclusion maps then is a morphism of metric (graph) bundles.
Definition 3.18.
(Pullback of a metric bundle) Given a metric bundle and a coarsely Lipschitz map a pullback of under is a metric bundle together with a morphism such that the following universal property holds: Suppose is another metric bundle and is a morphism from to . Then there is a coarsely unique morphism from to making the following diagram commutative.
(Pullback of a metric graph bundle) In the case of a metric graph bundle, the diagram is replaced by one where we have the vertex sets instead of the whole spaces.
The following lemma follows by a standard argument.
Lemma 3.19.
Suppose we have a metric bundle and a coarsely Lipschitz map for which there are two pullbacks i.e. metric bundles together with a morphisms , satisfying the universal property of the Definition 3.18. Then there is a coarsely unique metric (graph) bundle isomorphism from to .
With the above lemma in mind, in the context of Definition 3.18, we say that is the pullback of under or simply is the pullback of under when all the other maps are understood.
Lemma 3.20.
Given and functions there is a function such that the following hold:
Suppose we have the following commutative diagram of maps between metric spaces satisfying the properties (1)-(3) below.
(1) All the maps (except possibly ) are coarsely -Lipschitz.
(2) If then for all and .
(3) The restrictions of on the fibers of are uniformly properly embedded as measured by .
Then implies for all and . In particular, if is a length space or the vertex set of a connected metric graph with restricted metric then is coarsely -Lipschitz.
Moreover, is coarsely unique, i.e. there is a constant such that if is another map making the above diagram commutative then .
Proof.
Suppose with . Let . Then . Let . Then , say. Let be such that . Then . On the other hand . By triangle inequality, we have . Hence, by the hypothesis (3) of the lemma . Thus . Hence, we may choose .
In case is a length space or the vertex set of a connected metric graph it follows by Lemma 2.6 that is coarsely -Lipschitz.
Lastly, suppose is another map making the diagram commutative. In particular we have . Hence for all we have . Since by the hypothesis (3) of the lemma it follows that . Hence . ∎
Remark 7.
We note that the condition (2) of the lemma above holds in case is a metric (graph) bundle.
Proposition 3.21.
(Pullbacks of metric bundles) Suppose is a metric bundle and is a Lipschitz map. Then there is a pullback.
More precisely the following hold: Suppose is the set theoretic pullback with the induced length metric from and let be the projection on the second coordinate and let be the projection on the first coordinate. Then (1) is metric bundle and is a coarsely Lipschitz map so that is a morphism from to . (2) is the metric bundle pullback of under . (3) All the fiber maps , are isometries with respect to induced length metrics from and respectively.
Proof.
By definition . We put on it the induced length metric from . Let be the restriction of the projection map to . We first show that is a length space. Suppose is -Lipschitz. Let . Let be a rectifiable path joining in . Then is a rectifiable path in of length at most . By Lemma 3.8 and Corollary 3.9 this path can be lifted to a rectifiable path in starting from and ending at some point say in such that the length of the path is at most . By construction this lift is contained in . Finally we can join by a rectifiable path in . This show that and can be joined in by a rectifiable path. This proves that is a length space. Now, since is uniformly properly embedded in for all and is properly embedded in , is uniformly properly embedded in for all . The same argument also shows that any path in of length at most can be lifted to a path of length at most verifying the condition 2 of metric bundles.
Hence is a metric bundle. Let be the restriction of the projection map to . Clearly is a morphism of metric bundles. Finally, we check the universal property. If there is a metric bundle and a morphism from to then there is a map making the diagram 2 commutative since we are working with the set theoretic pullback. That is a coarsely unique, coarsely Lipschitz map now follows from Lemma 3.20. In fact, condition (2) of that lemma follows from Lemma 3.10(1) since is a metric bundle and (3) follows because fibers of metric bundles are uniformly properly embedded and in this case the restriction of , is an isometry with respect to the induced path metric on and for all . ∎
Corollary 3.22.
Suppose is a metric bundle and is a Lipschitz map. Suppose is an arbitrary metric bundle and is a morphism of metric bundles. If is the pullback of under and is the pullback map then for all the fiber map is a uniform quasiisometry with respect to the induced length metrics on the fibers of and respectively.
Proof.
Suppose is the pullback of under as constructed in the proof of the proposition above. Then the fiber maps are isometries with respect to the induced metrics on the fibers of and respectively. On the other hand by Lemma 3.19 there is a coarsely unique metric bundle isomorphism from to making the diagram 3 below commutative.
Now, by Theorem 3.15 the fiber maps are uniform quasiisometries with respect to the induced length metrics on the fibers of and respectively. Since for all are done by Lemma 2.3(2). ∎
Example 1.
Suppose is a metric bundle and which is path connected and such that with respect to the path metric induced from , is a length space. Let be endowed with the induced path metric from . Let be the restriction of to . Let and be the inclusion maps. It is clear that is a metric bundle and also that is the pullback of .
Remark 8.
The notion of morphisms of metric bundles was implicit in the work of Whyte([Why10]). Along the line of [Why10], one can define a more general notion of metric bundles by relaxing the hypothesis of length spaces. In that category of spaces, pullbacks should exist under any coarsely Lipschitz maps. However, we do not delve into it here.
Proposition 3.23.
(Pullbacks for metric graph bundles) Suppose is an -metric graph bundle, is a metric graph and is a coarsely -Lipschitz map for some constant . Then there is a pullback of such that all the fiber maps , are isometries with respect to induced length metrics from and respectively.
Proof.
The proof is a little long. Hence we break this into steps for the sake of clarity.
Step 1. Construction of and and . We first construct a metric graph , a candidate for the total space of the bundle. The vertex set of is the disjoint union of the vertex sets of , . There are two types of edges. First of all for all , we take all the edges appearing in . In other words, the full subgraph is contained in . Let us denote that by . For all adjacent vertices we introduce some other edges with one end point in and the other in . We note that are identical copies of and respectively. Let denote this identification. Let be an edge joining and let be a geodesic in joining . Now for each we lift the path starting from isometrically by Lemma 3.8(1) to say . For each such lift we join by an edge to if and only if . This completes the construction of . We note that and hence too. Now we define by setting for all . It is clear that this map is -Lipschitz.
Step 2. is a metric graph bundle and is a morphism. We need to verify that the fibers are uniformly properly embedded in so that is a metric graph bundle. Suppose and . Let be a (dotted) geodesic in joining . Then is a (dotted) path of length at most . Thus . Since is an -metric graph bundle . Since is an isometry when restricted to we have . This proves that is a metric graph bundle over .
On the other hand, is -Lipschitz by step 1 and is coarsely -Lipschitz by hypothesis. It is also clear that by the definition of . Thus is a morphism of metric graph bundles from to .
Step 3. is a pullback. Now we check that is a pullback of under . Suppose is a metric graph bundle and is a morphism of metric graph bundles from to where is coarsely -Lipschitz We need to find a coarsely unique, coarsely Lipschitz map such that is a morphism from to and the whole diagram 4 is commutative where is the identity map.
The map : For all we define on as the composition . Collectively these maps define . It is clear that makes the whole diagram above commutative.
The rest of the argument follows from Lemma 3.20. In fact, condition (2) of that lemma follows from Lemma 3.10(1) since is a metric graph bundle and (3) follows because fibers of metric graph bundles are uniformly properly embedded and in this case the restriction of , is an isometry with respect to the induced path metric on and for all . ∎
The corollary below follows immediately from the proof of the above proposition.
Corollary 3.24.
Suppose is a metric graph bundle. Suppose is a connected subgraph of . Let denote the inclusion map. Let , be the restriction of and let denote the inclusion map. Then is the pullback of under .
The proof of the following corollary is similar to that of Corollary 3.22 and hence we omit the proof.
Corollary 3.25.
Suppose is a metric graph bundle and is a coarsely Lipschitz map. Suppose is an arbitrary metric graph bundle and is a morphism of metric graph bundles. If is the pullback of under and is the pullback map then for all the fiber map is a uniform quasiisometry with respect to the induced length metrics on the fibers of and respectively.
3.3. Some examples
In this section we discuss in detail two main sources of examples for metric graph bundles to which the main theorem of this paper will be applied.
3.3.1. Short exact sequence of groups
Example 2.
Given a short exact sequence of finitely generated groups
we have a naturally associated metric graph bundle. This is the main motivating example of metric graph bundles. We recall the definition from [MS12, Example 1.8] with a minor modification.
Suppose is a finitely generated subgroup. Let . We fix a generating set of , a generating set of such that contains a generating set of , and . Let and . Then we have a metric graph bundle . Clearly is a subgraph of and . Hence, by Corollary 3.24 it follows that is the pullback of under the inclusion .
3.3.2. Complexes of groups
For this example, we refer to [Hae92]. Suppose is a finite simplicial complex and is a developable complex of groups defined over . (See [Hae92, Definition 2.2].) For any face of , let be a -space. Then by [Hae92, Theorem 3.4.1] there is a complex of spaces (compare with good complexes of spaces due to Corson [Cor92]) which is a cellular aspherical realization (see [Hae92, Definition 3.3.4]) of the complex of groups such that inverse image under of the barycenter of each face is . It follows from the construction of that there is a continuous section of over the -skeleton of . We fix a maximal tree of and a base vertex in it. Let . Thus for any we have a natural injective homomorphism . We identify the image of the same with . Next following Corson [Cor92] we take the universal cover . We put a CW complex structure on in the standard way so that is a cellular map. Then for all , we collapse each connected component of to a point. Suppose is the quotient complex thus obtained and let be the quotient map. Then we note that there is a cellular map making the following diagram commutative.
Now for our purpose, we shall also assume that all the face groups are finitely generated, the -skeleton of each is a point , the -skeleton is a wedge of finitely many circles and the developable complex of groups satisfies the qi condition as defined below.
Definition 3.26.
Suppose we have a developable complex of groups .
(1) We say that it satisfies the qi condition if for any faces of the corresponding homomorphism is an isomorphism onto a finite index subgroup of .
(2) If all the face groups of satisfies a group theoretic property then we shall say that is a developable complex of groups with property .
For instance, we shall work in section 6 with the developable complexes of nonelementary hyperbolic groups.
However, we now aim to associate to the complex of groups a metric graph bundle as follows. Let and where we denote by the -skeleton of any CW complex . Now we construct a metric graph bundle as follows. For all let . Suppose are connected by an edge . We look at the subcomplex . Let and . Then . However, we recall from Haefliger [Hae92] how is built from the spaces the and . There are injective homomorphisms . We choose cellular maps such that the induced maps in the fundamental groups are those group homomorphisms. Then one glues to by gluing to and to using the maps respectively. Let be the midpoint of and let be the midpoint of . Then through any we lift . The lift is a -cell joining to . Let us denote the map by and the map by
Lemma 3.27.
(1) The map is uniformly coarsely surjective with respect to the graph metric on coming from respectively.
(2) Similar statement holds for .
Proof.
We will only prove (1) as the proof of (2) is similar. The group is isomorphic to and is a universal cover of since the complex of groups is developable. The groups acts properly discontinuously with quotient . Since the action is cellular the action of on is simply transitive. Similarly the action of is simply transitive on . We note that and the map is equivariant. It is also clear that . Finally we note that is naturally isometric to a Cayley graph of when is given graph metric where each edge has length . The lemma is immediate from this. ∎
Let be such that is coarsely -surjective for all -cell and -cell of where is incident on . Then we construct a graph from by introducing new edges as follows. Given connected by an edge we join all to by an edge if there is such that , where the distances are taken in the respective -skeletons of and .
Proposition 3.28.
Suppose we identify as the group of deck transformation on the covering map . Then we have the following:
(1) acts on and on through simplicial maps. The map is -equivariant.
(2) The -action is proper and cofinite on but it is only cofinite on . Also is isomorphic to .
(3) For all and , is a conjugate of in .
(4) The action of on is proper and cocompact. In fact the action on is transitive and on is cofinite. In particular if the is hyperbolic for all then for all and , is uniformly hyperbolic.
(5) is a metric graph bundle.
Proof.
The group acts through deck transformations of the covering map . Hence it follows that permutes the connected components of for all . The action is also simplicial. Hence, (1) follows from this. For (2) we note that the action of on is proper and cofinite. On the other hand, the inclusion map is a -equivariant quasiisometry by Lemma 2.4. Hence the -action on is proper and cofinite. Clearly, is isomorphic to whence the -action on is cofinite. (3) is a consequence of a basic covering space argument using the -equivariance of the map . In (4) the properness follows from the properness of the action of on . Cocompactness is due to the fact that is finite. The second part also follows from the nature of used to construct , where . The last part follows from the second by Milnor-Scwarz lemma. What remains is to prove (5). For all , let . Since is finite and the map is -equivariant the ’s are uniformly properly embedded in iff for all there is one such that is uniformly properly embedded in . However, each inclusion is -equivariant, the action on is proper and cocompact and is a finitely generated subgroup of . Since each finitely generated subgroup of a finitely generated group is uniformly properly embedded it follows that is properly embedded in . Since is quasiisometric to , it follows that ’s are properly embedded in . This verifies property (1) of metric graph bundles. Property (2) follows from Lemma 3.27 and the construction of the new edges. ∎
Subcomplexes of groups
In the above set-up we now assume further that we have a connected subcomplex . Let . We shall assume that the base point is contained in and a maximal tree of is chosen so that it is contained in the chosen maximal tree of . Suppose the inclusion is -injective. Then the restriction of to is a developable complex of groups by [BH99, Corollary 2.15]. Let . However, is a complex of spaces which is a cellular aspherical realization of the complex of groups . Hence, we can build a metric graph bundle as described in Proposition 3.28.
In fact fixing a point we may identify as the group of deck transformations on . Then stabilizes the connected component of containing . Since is -injective this connected component, say , is a universal cover of . We set and . The following proposition records these in a nutshell.
Proposition 3.29.
Suppose is a finite connected simplicial complex and is a developable complex of groups with qi condition and with fundamental group and suppose is a connected subcomplex of . Suppose is the fundamental group of . Suppose the inclusion induces injective homomorphism .
Then there is a metric graph bundle , a connected subgraph such that the following hold:
(1) acts on and on through simplicial maps. The map is -equivariant. The action is proper and cofinite on but it is only cofinite on . Also, there is a simplicial -equivariant map with trivial action on inducing an isomorphism of graphs . The group is a conjugate of in where is the image of under the map . Also the -action on is proper and cofinite for all .
(2) Let . Then stabilizes and the -action on is proper and cofinite. Also the restriction of the map to is an isomorphism of graphs .
Later on we shall work with rather special subcomplexes of groups as defined below.
Definition 3.30.
Suppose is a finite connected simplicial complex and is a developable complexes of groups with qi condition over . We shall call a connected subcomplex a good subcomplex if the following hold:
(1) The induced natural homomorphism is injective. Suppose the image is .
We note that is quasiisometric to and is quasiisometric to . Thus it follows that is quasiisometric to the ‘coned-off’ space a la Farb([Far98]) obtained from by coning off the cosets of the various face groups of . Similarly is obtained by coning off various cosets of the face groups of . Thus condition (2) of the above definition is intrinsic and independent of the particular metric graph bundle obtained from .
4. Geometry of metric bundles
In this section, we recall some results from [MS12] and also add a few of our own which are going to be useful for the proof of our main theorem in the next section. Especially some of the results which were stated for geodesic metric spaces in [MS12] but whose proofs require little adjustments to hold true for length spaces are mentioned here.
4.1. Metric graph bundles arising from metric bundles
An analogue of the following result is proved in [MS12](see Lemma 1.17 through Lemma 1.21 in [MS12]). We give an independent and relatively simpler proof here. We also construct an approximating metric graph bundle morphism starting with a given metric bundle morphism. However, one disadvantage of our construction is that the metric graphs so obtained are never proper.
Proposition 4.1.
Suppose is an -metric bundle. Then there is a metric graph bundle along with quasiisometries and such that (1) and (2) for all the map restricted to is a -quasiisometry onto .
Moreover, the maps have coarse inverses , respectively making the following diagram commutative:
Proof.
(1) For the proof we use the construction of Lemma 2.8. We shall briefly recall the construction of the spaces. We define and are connected by an edge if and only if and . This defines the graph. We also have a natural map which is just the inclusion map when is identified with the vertex set of . To define , we take . Edges are of two types.
Type 1 edges: For all , are connected by an edge if and only if .
Type 2 edges: If , and then are connected by an edge if and only if and .
The map is defined as before to be the inclusion map. By Lemma 2.8 is a qi. We also note that . We need to verify that is a qi. For that, it is enough to produce Lipschitz coarse inverses , as claimed in the second part of the proposition and then apply Lemma 2.2 since it is clear that is -Lipschitz. We first choose a coarse inverse of as follows. On it is simply the identity map. The interior of each edge is then sent to one of its end points. The map on is also defined as the identity map. The interior of a type 1 edge is sent to one of its end points. Then interior of each type 2 edge is sent to one of the end points or according as the edge is mapped by to or respectively. It follows that the diagram in Figure 6 commutes. We just need to check that is coarsely Lipschitz, since are inverses of respectively on a -dense subset, they will be coarse inverse automatically. However, by Lemma 2.6 it is enough to show that edges are mapped to small diameter sets. This is again clear. In fact, the image of an edge has diameter at most . This proves the first part of the proposition.
(2) This is immediate from the definition of and the construction in Lemma 2.8.
(3) Finally, we need to check that is a metric graph bundle. Let and such that for some . Since is a quasiisometry, , where depends on and . Since is properly embedded in as measured by , we have . Now, using the above fact that is -quasiisometric to , we have . Hence, is uniformly properly embedded in . Next we check the condition of Definition 3.4. Suppose are adjacent vertices. Then, . Let be a path in joining with . Then, for any , can be lifted to a path of length at most , joining to some . Then there exists an edge joining and in , which is a lift of the edge joining and in .∎
Remark 9.
We shall refer to the metric graph bundle obtained from as the canonical metric graph bundle associated to the bundle . Since we are working with length metric spaces some of the machinery of [MS12] may not apply directly. The above proposition then comes to the rescue. We sometimes modify our definitions suitably to make things work. Consequently, all the results proved for metric graph bundles have their close analogs in metric bundles. We shall make this precise for instance in Proposition 4.3 and Definition 4.5.
Approximating a metric bundle morphism
Suppose is a metric bundle and is a Lipschitz map. Suppose is the pullback of the bundle under the map as constructed in the proof of Proposition 3.21, i.e. is also the set theoretic pullback. Let be the corresponding bundle projection map and be the pullback map. Suppose we use the recipe of the above proposition to construct metric graph bundles , with quasiisometries , , and such that and .
Suppose are the coarse inverses (as constructed in the proposition above) of , , , and respectively. We then have a commutative diagram:
Let denote the restrictions of and on the vertex sets of and respectively.
Proposition 4.2.
(1) The pair of maps gives a morphism of metric graph bundles from to .
Moreover, if is the pullback of under and is the pullback map then is the pullback of under and is the pullback map.
(2) In case, are hyperbolic then admits the CT map if and only if so does .
Proof.
(1) Since all the maps in consideration, i.e. are coarsely Lipschitz the maps are also coarsely Lipschitz by Lemma 2.3(1). It also follows that . Thus is a morphism.
Suppose is a the pullback of under . To show that is the pullback of we need to verify the universal property. Suppose is any metric bundle and is a coarsely Lipschitz map such that the pair is a morphism of metric graph bundles from to . We note that . Since is a set theoretic pullback there is a unique map making the whole diagram below commutative.
Now, by Lemma 2.3(1) the maps and are coarsely Lipschitz. Hence, it follows by Lemma 3.20 and Remark 7 that the map is coarsely Lipschitz. Let . Then is coarsely Lipschitz by Lemma 2.3(1) and we have and . Hence, is a morphism from to . Finally coarse uniqueness of follows from Lemma 3.20.
(2) This is a simple application of Lemma 2.50. ∎
4.2. Metric bundles with hyperbolic fibers
For the rest of this section we shall assume that all our metric (graph) bundles have the following property:
() Each of the fibers , (resp. ) is a -hyperbolic metric space with respect to the path metric induced from .
We will refer to this by saying that the metric (graph) bundle has uniformly hyperbolic fibers. Moreover, the following property is crucial for the existence of (global) qi sections.
() There is such that for all the barycenter map is coarsely -surjective. (Recall that barycenter maps were defined right after Lemma 2.41.)
Proposition 4.3.
([MS12, Proposition 2.10, Proposition 2.12]) Global qi sections for metric (graph) bundles: For all and there exists such that the following holds.
Suppose is an -metric bundle or an -metric graph bundle satisfying and . Then there is a -qi section over through each point of (where we assume for the metric graph bundle).
Convention 4.4.
(1) With the notation of Proposition 4.1, we note that for any qi section in over , since is the identity map when restricted to . We shall refer to it as a qi section of the metric graph bundle transported to the metric bundle.
(2) Whenever we talk about a -qi section in a metric bundle we shall mean that it is the transport of a -qi section contained in the associated canonical metric graph bundle.
Definition 4.5.
([MS12, Definition 2.13]) Suppose and are two -qi sections of the metric graph bundle . For each we join the points , by a geodesic in . We denote the union of these geodesics by , and call it a -ladder (formed by the sections and ).
For a metric bundle by a ladder, we will mean one transported from the canonical metric graph bundle associated to it (by the canonical map as in Proposition 4.1.)
The following are the most crucial properties of a ladder summarized from [MS12].
Proposition 4.6.
Given , there are , and such that the following holds:
Suppose is an -metric graph bundle satisfying . Suppose are two -qi sections in and is the ladder formed by them. Then the following hold.
(1) (Ladders are coarse Lipschitz retracts) There is a coarsely -Lipschitz retraction defined as follows:
For all we define to be a nearest point projection of in on .
(2) Given a -qi section in over a geodesic in , is a -qi section in contained in over the same geodesic in .
(3) (QI sections in ladders) If also satisfies then through any point of there is -qi section contained in .
(4) (Quasiconvexity of ladders) The -neighborhood of is (i) connected and (ii) uniformly qi embedded in .
In particular if is -hyperbolic then is -quasiconvex in .
Proof.
(1) is stated as Theorem 3.2 in [MS12]. (2), (3) are immediate from (1) or one can refer to Lemma 3.1 of [MS12]. (4) is proved in Lemma 3.6 in [MS12] assuming . However, we briefly indicate the argument here without assuming .
4(i) Suppose , . Let . Then there is a point such that . Hence, . If we define then clearly the -neighborhood of is connected.
4(ii) We first claim that the say, is also properly embedded in . Suppose with . Let be such that . Then . Hence, . Let be a geodesic in joining . Then by Lemma 3.8 there is a geodesic lift of starting from . It follows that for all adjacent vertices we have . Hence, the length of is at most . Hence, . Hence, . Since , . Hence, .
Finally we prove the qi embedding. Let for all . Given , and a geodesic joining them. By the proof of (4)(i) we have for all whence . Clearly . This proves the qi embedded part.
It follows that for all a geodesic joining in is a -quasigeodesic in . Since is -hyperbolic stability of quasigeodesics implies that is uniformly quasiconvex. In fact, we can take . ∎
Remark 10.
Part (3) and (4) are clearly also true for metric bundles which satisfy the properties and .
The following corollary is immediate.
Corollary 4.7.
(Ladders form subbundles) Suppose is an -metric graph bundle satisfying and . Let be as in the previous proposition. Suppose is a -ladder. Consider the metric graph obtained from by introducing some extra edges as follows: Suppose are adjacent vertices then for all , we join by an edge if and only if . Let be the simplicial map such that on and the extra edges are mapped isometrically to edges of .
Then is a metric graph bundle and the natural map gives a subbundle of which is also a (uniform) qi onto and hence a (uniform) qi embedding in .
In the next section of the paper, we will exclusively deal with bundles which are hyperbolic satisfying and and we will need to understand geodesics in . Since ladders are quasiconvex we look for quasigeodesics contained in ladders. The lemma below is the last technical piece of information needed for that purpose. However, we need the following definitions for stating the lemma.
Definition 4.8.
Suppose is a metric graph bundle over and suppose are any two qi sections.
(1) Neck of ladders ([MS12, Definition 2.16]). Suppose . Then the set is called the -neck of the ladder .
For a metric bundle the -neck of a ladder will be defined to be the one transported from the canonical metric graph bundle associated to it, i.e. the image under .
(2) Girth of ladders ([MS12, Definition 2.15]). The quantity is called the girth of the ladder and it will be denoted by .
Definition 4.9.
([MS12, Definition 1.12])(Flaring for metric graph bundles)
Suppose is a metric graph bundle.
We say that it satisfies a flaring condition if for all , there exist
and such that
the following holds:
Let be a geodesic and let
and be two
-qi lifts of in .
If ,
then we have
We note that existence of flaring in a metric graph bundle implies the existence of three functions of with the said property in the above definition. This is independent of the hypotheses about metric graph bundles and the conditions and mentioned in the beginning of this subsection. This notion is motivated from the hallway flaring condition of Bestvina-Feighn ([BF92]).
Definition 4.10.
(Flaring for metric bundles) We shall say that a metric bundle satisfies a -flaring condition if the canonical metric graph bundle associated to it satisfies a -flaring condition.
Remark 11.
(1) Since the base for a metric bundle need not be a geodesic metric space, it is not reasonable to use [MS12, Definition 1.12] of flaring for metric bundles. However, one can formulate analogous flaring of qi sections over uniform quasigeodesics in the base and then show that this is indeed equivalent to Definition 4.10. Since this discussion is not directly related to the rest of the paper we move it to the end of the paper and we include it as an appendix. See Lemma A.5 and Lemma A.6.
(2) This definition of flaring for metric bundles is equivalent to [MS12, Definition 1.12] in the case of geodesic metric bundles. In fact it follows from Lemma A.5 and Lemma A.6 that a geodesic metric bundle satisfies flaring as per [MS12, Definition 1.12] iff the canonical metric graph bundle associated to it also satisfies flaring.
The following lemma will be crucial for the next section of the paper.
Lemma 4.11.
(Quasiconvexity of necks of ladders, [MS12, Lemma 2.18])
Let be an -metric graph bundle over
satisfying -flaring condition for all .
Then for all and there are constants
and such that the following holds:
Suppose are two -qi sections of in and let .
-
(1)
Let be a geodesic, , such that
a) .
b) but for all , .
Then the length of is at most . -
(2)
For any and any geodesic joining them in , we have . In particular, if is hyperbolic then is -quasiconvex in .
-
(3)
If then the diameter of the set is at most .
Part (2) of the above lemma is slightly different from that of [MS12, Lemma 2.18] but the proof there actually showed this. However, ladders with short necks to which Lemma 4.11 applies are given a special name:
Definition 4.12.
(Small girth ladders) Given two -qi sections in a metric graph bundle satisfying a flaring condition the ladder is called a small girth ladder if where .
Remark 12.
Suppose is a metric bundle and is the canonical metric graph bundle associated to it. Suppose a flaring condition holds for . This is the case for instance when or equivalently is hyperbolic. In such a case, a small girth ladder in for us will be, by definition, the transport of a small girth ladder from under (as in Proposition 4.1).
We end this section with two simple lemmas. We note that flaring condition is not needed for these to hold.
Lemma 4.13.
Given there is such that the following holds.
Suppose is -qi section in and . Let . Then if .
Proof.
Suppose a nearest point from . Let be the lift of a geodesic joining to joining to . We note that . Hence, . Therefore, . This implies since all distances are integers in this case. Now fibers of are properly embedded as measured by . Thus if then . Hence, we can take . ∎
The corollary below gives a relation between the girth of a ladder and .
Corollary 4.14.
Given there is an such that the following holds.
Suppose are two -qi sections in . Then
if .
The next lemma is a generalization of Lemma 4.13. Nevertheless we keep both of them since they are used many times in the next section.
Lemma 4.15.
Given there is such that the following holds.
Suppose are two -qi sections in and . Suppose and . Then if .
Proof.
Suppose is a nearest point from . Let be a geodesic lift of any geodesic joining to such that joins to . Now is a -qi lift of where . Thus . Hence, . Therefore, . Hence, we can take . ∎
5. Cannon-Thurston maps for pull-back bundles
In this section, we prove the main result of the paper. Here is the set-up. From now on we suppose that is an -metric bundle or an -metric graph bundle satisfying the following hypotheses.
-
(H1)
is a -hyperbolic metric space.
-
(H2)
Each of the fibers , is a -hyperbolic metric space with respect to the path metric induced from .
-
(H3)
The barycenter maps , (resp. ) are -coarsely surjective for some constant .
-
(H4)
The -flaring condition is satisfied for all .
The following theorem is the main result of [MS12]:
Theorem 5.1.
([MS12, Theorem 4.3 and Proposition 5.8]) If is a geodesic metric bundle or a metric graph bundle satisfying then is a hyperbolic metric space if and only if satisfies a flaring condition.
5.1. Proof of the main theorem
We are now ready to state and prove the main theorem of the paper.
Theorem 5.2.
(Main Theorem) Suppose is a metric (graph) bundle satisfying the hypotheses H1, H2, H3, and H4. Suppose is a Lipschitz -qi embedding and suppose is the pullback bundle. Let be the pullback map.
Then is a hyperbolic metric space and the CT map exists for .
Proof.
We first note that is hyperbolic. This follows from Theorem 5.1 if is a metric graph bundle (or a geodesic metric bundle). In case is a (length) metric bundle one may first pass to the canonical metric graph bundle associated to it, and then verify the hypotheses of Theorem 5.1 for it. In fact, if any metric bundle satisfies (H1), (H2), and (H3) then the canonical metric graph bundle associated to it also has these properties with possibly different values of the respective parameters. Flaring condition (H4) follows from Definition 4.10. It then follows that the metric graph bundle is hyperbolic. Consequently, is hyperbolic by Proposition 4.1. We shall assume that is -hyperbolic. We begin with the following reductions: (1) It is enough to prove the theorem only for metric graph bundles. Indeed this follows from Proposition 4.2(2). So for the rest of the proof we shall assume that is a metric graph bundle satisfying (H1), (H2), (H3), (H4).
Since we work with graphs from now, for the rest of the section by hyperbolicity we shall mean Rips hyperbolicity.
(2) We may moreover assume that is a connected subgraph, is the inclusion map and is the restriction bundle for that inclusion. In particular, is the inclusion map and .
Since is a -qi embedding and is -hyperbolic, is -quasiconvex in . Let be the -neighborhood of in . Then clearly is connected subgraph of and is a quasiisometry with respect to the induced path metric on from . Clearly is -qi embedded. Let be the restriction of on . Then is a metric graph bundle by Lemma 3.17. Also, we note that is a morphism of metric graph bundles. By Corollary 3.25 the fiber maps of the morphism are uniform quasiisometries and hence by Theorem 3.15 we see that is an isomorphism of metric graph bundles. Since (Rips) hyperbolicity of graphs is a qi invariant, we are reduced to proving hyperbolicity of and also by Lemma 2.50(1) we are reduced to proving the existence of the CT map for the inclusion .
Hyperbolicity of
is hyperbolic by Remark of [MS12]. In fact, by Theorem 5.1 it is enough to check
that flaring holds for the bundle . This is a consequence of flaring of the bundle and bounded flaring.
Remark 13.
(1) The sole purpose of is to have global uniform qi sections through every point of which is guaranteed by Proposition 4.3. For the rest of this section, we shall also assume the following.
(H3) Through any point of there is a global -qi section.
(2) Clearly is an -metric graph bundle over satisfying H2, H3. We shall assume that is -hyperbolic. We shall also assume the bundle satisfies a -flaring condition for all .
Existence of CT map
Outline of the proof: To prove the existence of the CT map we use Lemma 2.49.
The different steps used in the proof are as follows.
(1) Given first we define a uniform quasigeodesic in joining .
This is extracted from [MS12]. (2) In the next step we modify to obtain a path in . (3) We then
check that these paths are uniform quasigeodesics in . (4) Finally we verify the condition of Lemma 2.49 for the paths
and . Since are hyperbolic metric spaces, stability of quasigeodesics and Lemma 2.49 finishes the proof.
To maintain modularity of the arguments we state intermediate observations as lemma, proposition etc.
Remark 14.
Although we assumed that as is necessary for our proof, as defined below is a uniform quasigeodesic for all as it will follow from the proof.
Step 1: Descriptions of the uniform quasigeodesic .
The description of the paths and the proof that they are uniform quasigeodesics in is broken up
into three further substeps.
Step 1(a): Choosing a ladder containing . We begin by choosing any two -qi sections in containing respectively. Let be the ladder formed by them. Throughout Step 1 we shall work with these qi sections and ladder. The path that we shall construct in Step 1(c) will be contained in this ladder.
Step 1(b): Decomposition of the ladder into small girth ladders.
We next choose finitely many qi sections in after [MS12, Proposition 3.14]
in a way suitable for using Proposition 2.33. This requires a little preparation.
We start with the following.
Lemma 5.3.
For all there is such that the following holds in .
Suppose are two -qi sections and . Then are -cobounded.
Proof.
We note that are -quasiconvex in . Suppose is an -approximate nearest point projection map and the diameter of is bigger than . Then . If such that and then , say. Hence, . However, by Lemma 4.11 the diameter of is at most . It follows that the diameter of is at most . Hence we may choose . ∎
Lemma 5.4.
Suppose are two -qi sections and is -qi section. Then coarsely uniformly bisects into the subladders and .
Proof.
First of all any ladder formed by -qi sections is -quasiconvex. Let . Let , and , be any points. Let be a -quasigeodesic joining them where is an interval. Then there are points with such that and . Let and be such that , . We note that . Hence, . Let . Then . This implies . Thus . This proves the lemma. ∎
Lemma 5.5.
If is a -qi section in then is a -qi section of in .
Proof.
Suppose is the -qi embedding such that . Let also denote the restriction on . Since the bundle map is -Lipschitz we have for all . Thus it is enough to show that is uniformly coarsely Lipschitz. Suppose are adjacent vertices. Then . Now, there is a vertex adjacent to . Hence, . Therefore, . Hence, . It follows that for all we have . Hence, we can take . ∎
The following corollary is proved exactly as Lemma 5.3. Hence we omit the proof.
Corollary 5.6.
For all there is such that the following holds.
Suppose are two -qi sections in and . Then are -cobounded in .
Before describing the decomposition of ladders the following conclusions and notation on qi sections and ladders will be useful to record.
Convention 5.7.
(C0) We recall that is -qi embedded in . We let so that is -quasiconvex in . Finally we assume that is hyperbolic.
(C1) Let for all where is as in (H). Therefore, through any point of a -ladder in , there is a -qi section contained in the ladder. Let .
(C2) We let so that any -qi section and any ladder formed by two -qi sections in are -quasiconvex in and moreover and are -quasiconvex in .
(C3) If are two -qi sections in and then they are -cobounded in , as are in where .
(C4) For each pair of -qi sections in with we have and .
The following proposition is extracted from Proposition 3.14 of [MS12]. The various parts of this proposition are contained in the different steps of the proof of [MS12, Proposition 3.14].
Let us fix a point once and for all. Suppose is an isometry such that and .
Proposition 5.8.
(See [MS12, Corollary 3.13 and Proposition 3.14]) There is a constant such that for all there is a partition of and -qi sections passing through , inside such that the following holds.
-
(1)
.
-
(2)
For , .
-
(3)
For either (I) , or (II) and there is a -qi section through inside such that where .
-
(4)
.
However, we will need a slightly different decomposition of than what is described here. It is derived as the following corollary to the Proposition 5.8.
Convention 5.9.
We shall fix and denote it by for the rest of the paper. Also we shall define where . Thus we have the following.
Corollary 5.10.
(Decomposition of ) There is a partition of and -qi sections passing through , inside such that the following holds.
-
(1)
.
-
(2)
For , .
-
(3)
For either (I) , or (II) and there is a -qi section through inside such that .
In either case and are -cobounded in .
-
(4)
.
We note that the second part of (3) follows from (C1), (C2), (C3) above. However, a subladder of will be referred to as a type (I) subladder or a type (II) subladder according as or respectively.
Remark 15.
(1) We note that by the choice of it follows that and are -cobounded in for .
(2) We shall use to mean qi sections in exactly as in the corollary above for the rest of this section.
(3) Finally we note that need not be cobounded in general and the same remark applies to .
Lemma 5.11.
Let be any map that sends to and sends any point of to a point in . Then the hypotheses of Proposition 2.33 are verified for both and its restriction .
Proof.
For both and its restriction to , follow from (C2), follows from Lemma 5.4, and follows from (C4). for follows from (C3) and for the restriction of to from Remark 15(1).∎
Step 1(c): Joining inside . We now inductively define a finite sequence of points , with such that each , , is a uniform approximate nearest point projection of on in . We also define uniform quasigeodesics in joining . The concatenation of these ’s then forms a uniform quasigeodesic in joining by Proposition 2.33 and Lemma 5.11.
We define to be the lift of in .
Suppose and are already constructed, . We next explain how to define and .
Case I. Suppose is of type (I) i.e. or . Then, is non-empty. Let be a nearest point projection of on . We define . Let be the lift of in , and let be the subsegment of joining and . We define to be the concatenation of and . Then clearly is a -quasigeodesic in . That is a uniform approximate nearest point projection of on follows from the following lemma.
Lemma 5.12.
Given and there are constants and such that the following holds.
Suppose are two -qi sections and . Let and let . Suppose is a nearest point projection of on . Then is -approximate nearest point projection of on .
If then for any the point is an -approximate nearest point projection of any point of on .
This lemma follows from Corollary 1.40 and Proposition 3.4 of [MS12] given that ladders are quasiconvex. However, we give an independent proof using the hyperbolicity of .
Proof.
Suppose is a nearest point projection of on and let . Let be the concatenation of the lift in of any geodesic in joining to and any geodesic in joining to . Clearly it is a -quasigeodesic in . Also by Lemma 2.25 the concatenation of any -quasigeodesics joining and is a -quasigeodesic. Hence, by stability of quasigeodesics we have where and . This implies there is a point such that . If then and hence is a -approximate nearest point projection of on .
Suppose . Then . Hence, by Lemma 4.11 we have where . Therefore, . Hence in this case is a -approximate nearest point projection of on . We may set .
For the last part, we note that the diameter of is at most . Thus clearly works. ∎
Case II. Suppose is of type (II), i.e. . In this case there exists a -qi section inside passing through such that . We thus use Case (I) twice as follows. First we project on . Suppose the projection is . Then we project on which we call and so on. Here are the details involved.
Let be a nearest point projection of on and let be a nearest point projection on . Then . In this case we let denote the lift of in and let denote the lift of in . Then is the concatenation of the paths , , and . That is a uniform approximate nearest point projection of on and that is a uniform quasigeodesic follow immediately from Lemma 5.12 and the last part of Proposition 2.33.
Remark 16.
We note that is a ladder in formed by the qi sections and defined over . However, in this case the subladders may not be of type (I) or (II). Therefore, we cannot directly use the above procedure to construct a uniform quasigeodesic in joining .
Step 2: Modification of the path .
In this step we shall construct a path in joining by modifying . For , let be a nearest point projection of on and let . We define a path joining the points for . Finally the path is defined to be the concatenation of these paths. The path is the lift of in . The definition of , for , depends on the type of the subladder given by Corollary 5.10(3).
Case 2(I): Suppose is of type (I) or . Let denote the lift of in starting at . The path is defined to be the concatenation of and the fiber geodesic .
Case 2(II): Suppose is of type (II). In this case, we apply Case 2(I) to each of the subladders and . Let be as defined in step 1(c). Let be a nearest point projection on and . Next we connect and as in Case 2(I) inside the ladders and respectively. We shall denote by and the lift of in and in respectively. The concatenation of the paths , , and is defined to be .
Step 3: Proving that is a uniform quasigeodesic in . To show that is a quasigeodesic it is enough, by Proposition 2.33, to show that the paths are all uniform quasigeodesics in and that for , is an approximate nearest point projection of in . The proof of this is broken into three cases depending on the type of the ladder . We start with the following lemma as a preparation for the proof.
The lemma below is true for any metric bundle that satisfies the hypotheses (H1)-(H4), (H) although we are stating it for only. For instance, it is true for too.
Lemma 5.13.
Suppose , . Suppose for all and there is a constant such that for all and any two -qi sections and in passing through respectively, either or . Then the following hold:
-
(1)
is a -quasigeodesic in where depends on the function (and the parameters of the metric bundle).
-
(2)
If and are two -qi sections passing through respectively then is a uniform approximate nearest point projection of on and is a uniform approximate nearest point projection of on .
Proof.
(1) Since the arc length parametrization of is a uniform proper embedding, by Lemma 2.5 it is enough to show that is uniformly close to a geodesic in joining .
Claim: Suppose are two -qi sections passing through respectively. Given any and any -qi section passing through contained in the ladder the nearest point projection of on is uniformly close to .
We note that once the claim is proved then applying Proposition 2.33 to the ladder it follows that is uniformly close to a geodesic joining . From this (1) follows immediately.
Proof of the claim: First suppose . Then we can find a uniform approximate nearest point projection of on using Step 1(c), Case I and Lemma 5.12 above which is uniformly close to by hypothesis.
Now suppose . Let be the unit speed parametrization of the geodesic joining to . By Corollary 5.10 there is a -qi section contained in the ladder passing through for some such that is a -ladder of type (I) or (II). Let be a nearest point projection of on . By the last part of Proposition 2.33 applied to , it is enough to find a uniform approximate nearest point projection of on which is also uniformly close to . However, in this case are -cobounded. Hence it is enough to find a uniform approximate nearest point projection of on which is uniformly close to . The proof of this is broken into two cases as follows.
(I) Suppose . By the last part of Lemma 5.12 if then is a uniform approximate nearest point projection of any point of . Since is uniformly small by hypothesis, is also uniformly small.
(II) Suppose . Then there is a -qi section in passing through such that . Let be a nearest point projection of on . Then by hypothesis is uniformly small whence is uniformly small. Also by Lemma 5.12 the point is a uniform approximate nearest point projection of on . It follows that is a uniform approximate nearest point projection of on . Finally, since , is a uniform approximate nearest point projection of .
(2) We shall prove only the first statement since the proof of the second would be an exact copy. Suppose is a nearest point projection of on . Consider the -qi section over contained in . This is a -quasigeodesic of joining . Since is a -qi section, by stability of quasigeodesics it is -quasiconvex in . Hence by Lemma 2.25 the concatenation of this quasigeodesic with a geodesic in joining to is a -quasigeodesic where . Let . Since is a -quasigeodesic, by stability of quasigeodesics we have where . Suppose be such that . Then . Hence, . Thus is a -approximate nearest point projection of on . ∎
Remark 17.
The proof of the first part of the above lemma uses the hypothesis for only whereas the proof of the second part follows directly from the statement of the first part and is independent of the hypotheses of the lemma.
The following lemma is actually a trivial consequence of flaring ( Lemma 4.13) and it is going to be used in the next two lemmas following it.
Lemma 5.14.
Given and there is a constant and such that the following holds.
Suppose and , where is a nearest point projection map. Suppose and let be two -qi sections over . Let be two -qi sections over in and . If and , then and .
Proof.
Suppose and . Let be any point and let denote a geodesic in joining . Then the concatenation is a -quasigeodesic in by Lemma 2.25 since is -qi embedded and -quasiconvex. Concatenation of with the qi sections over contained in respectively defines -qi sections over passing through respectively. Let and . Then by Lemma 2.3 these qi sections are -quasigeodesics in . Since is -hyperbolic and and , by Corollary 2.21 is contained in the -neighborhood of the qi section over passing through . Applying Lemma 4.13 to the restriction bundles over and we have where . Hence, we can take . Finally by Lemma 4.11 . This completes the proof by taking . ∎
We recall that the paths were constructed from by replacing parts of by some fiber geodesic segments. The main aim of the following three lemmas is to proving that these fiber geodesic segments are uniform quasigeodesics in . Depending on how the corresponding subladders of intersect we have three scenarios and hence we divided the proof into three lemmas.
Lemma 5.15.
Given and there are constants , and such that the following holds.
Suppose are two -qi sections in and in . Let . Suppose in . Then the following hold.
-
(1)
The projection of on is of diameter at most .
-
(2)
For any , is a -quasigeodesic in ; moreover, is an -approximate nearest point projection of any point of on and vice versa.
Proof.
(1) We know that is -quasiconvex in . By Lemma 4.11 is -quasiconvex in . Let . Suppose is a nearest point projection map and with . Then there are such that and . Let . We know . Hence by the bounded flaring condition we have . Similarly . Let . Thus, . Since , by Lemma 4.11 we have . This proves (1). In fact, we can take .
We derive (2) from Lemma 5.13 as follows. Let be such that and let . Suppose are two -qi sections in passing through respectively and . Suppose . Consider the restriction of the bundle on . In this bundle are -qi sections. By Proposition 4.6(3) there are -qi sections over contained in the ladder passing through . Call them respectively. We note that . Now applying Lemma 5.14 we know that is uniformly small. This verifies the hypothesis of Lemma 5.13. Thus is a uniform approximate nearest point projection of on . Since the qi sections are uniformly cobounded by Lemma 5.3. This shows that is a uniform approximate nearest point projection of any point of on . That is a uniform approximate nearest point projection of any point of on is similar and hence we skip it. ∎
Lemma 5.16.
Given , and there are constants and such that the following holds.
Suppose are two -qi sections in and in . Let . Suppose and . Then the following holds.
-
(1)
.
-
(2)
For any , is a -quasigeodesic in .
-
(3)
is an -approximate nearest point projection of any point of on and vice versa.
Proof.
(1) Since is -hyperbolic and is -quasiconvex in any nearest point projection map is coarsely -Lipschitz. Hence, .
We can derive (2), (3) from Lemma 5.13 and the hypotheses of Lemma 5.13 can be verified using Lemma 5.14. The proof is an exact copy of the proof of Lemma 5.15(2),(3). Hence we omit it. The only part that requires explanation is why , are uniformly cobounded in . If then we are done by Lemma 5.3. Suppose this is not the case. Then by the hypothesis since is -qi embedded in . Then we are done by the first part of Lemma 5.12. ∎
Lemma 5.17.
Given and there is a constant such that the following holds.
Suppose are two -qi sections in and . Let . Then the following holds. For any , .
Proof.
Suppose and . If then and . Suppose . We note that . Let . Then by Lemma 2.25 is a -quasigeodesic in . Since is -quasiconvex in . Let . Hence, by Lemma 2.17, where . Finally by the bounded flaring . Hence we can take . ∎
Finally, we are ready to finish the proof of step 3.
Lemma 5.18.
For we have the following.
-
(1)
is a uniform approximate nearest point projection of on .
-
(2)
is a uniform quasigeodesic in .
Proof.
The proof is broken into three cases depending on the type of .
Case 1: and is of type (I): By Corollary 4.11 has uniformly small diameter. Hence by Lemma 5.16(2) is a uniform quasigeodesic in . By the part (3) of the same lemma is a uniform approximate nearest point projection of on and is a uniform approximate nearest point projection of on in . Hence the second part of the lemma follows, in this case, by Lemma 2.25.
Case 2: and is of type (II): Suppose is a ladder of type (II). In this case, it is enough, by Proposition 2.33, to show the following two statements and :
: is a uniform approximate nearest point projection of on in and the concatenation of and the fiber geodesic is a uniform quasigeodesic in .
We know that . Depending on the nature of the proof of is broken into the following two cases.
Case : Suppose . In this case is uniformly small by Lemma 5.17. By Lemma 5.12 if is a nearest point projection of on then is a uniform approximate nearest point projection of on in . Thus it is enough to show that uniformly bounded to prove that is a uniform approximate nearest point projection of on in . Then since is -qi section in and is uniformly small it will follow that the concatenation of and the fiber geodesic is a uniform quasigeodesic in .
That uniformly bounded is proved as follows. Let , . Since is -hyperbolic, is -qi embedded in and is -quasiconvex in , is -quasiconvex in . Let . Then are all -quasiconvex in . By the definitions of ’s we know that is the nearest point projection of on . Let be a nearest point projection of on . Also is the nearest point projection of on . On the other hand, is a nearest point projection of on and is the nearest point projection of on . Therefore, by Corollary 2.27.
Now, by Lemma 5.17 . Hence, by Lemma 4.11 , say. Let be such that . Then . Hence, . However, the concatenation is a -quasigeodesic. Hence, there is a point such that , say. Thus there is a point such that , say. But is a nearest point projection of on and . Thus . Thus . Hence, .
: is a uniform approximate nearest point projection of on in and the concatenation of and the fiber geodesic is a uniform quasigeodesic joining to in .
In this case hence we are done as in Case .
Case 3: : The proof of this case is also analogous to that of the proof of Case since . ∎
Remark 18.
Proposition 5.19.
Let and let and be two -qi sections in through and respectively. Let be a uniform quasigeodesic in joining and which is contained in as constructed in step 1(c). Then the corresponding modified path , as constructed in step 2, is a uniform quasigeodesic in .
Step 4. Verification of the hypothesis of Lemma 2.49.
Lemma 5.20.
(Proper embedding of the pullback ) The pullback is metrically properly embedded in . In fact, the distortion function for is the composition of a linear function with , the common distortion function for all the fibers of the bundle .
Proof.
As was done in the proof of the main theorem, we shall assume that is the inclusion map and and is the restriction of . Let such that . Let and . Then, and hence . Let be a geodesic joining and in . This is a quasigeodesic in . By Lemma 3.8, there exists an isometric section over , through in . Clearly, is a qi lift in , say -qi lift. We have, . The concatenation of and the fiber geodesic is a path, denoted by , joining and in . So,
Now, since is uniformly properly embedded as measured by , we have, . Now, lies in and . Then,
Therefore, . Setting , we have the following: for all , implies . ∎
We recall that we fixed a vertex to define the paths in the last step. Let . However, the following lemma completes the proof of Theorem 5.2.
Lemma 5.21.
Given , there is such that the following holds.
If then .
Proof.
Let be such that . This implies that . We recall that the path is a concatenation of , . Suppose , . We claim that there is a point of uniformly close to . Now, is either a lift of geodesic segments of in a -qi section or possibly or it is the concatenation of such a lift and a fiber geodesic of length at most . Let denote the corresponding qi section and suppose joins the points to . If then is a qi lift of in joining . Otherwise there is a fiber geodesic connecting to the next qi section , say. Then both the points and are one of the ’s or ’s. Let and . Let be the nearest point projection of on . It follows that .
Suppose . By the definition of we have . However, . Since is -qi embedded in we have . Hence, . On the other hand in this case and . Hence, . Thus since . Hence, . Thus . Hence, in this case .
Otherwise suppose is contained in the lift of in . We note that and . Now is -quasiconvex in . Hence, by Lemma 2.29 we have . where , are nearest point projections of respectively on . Since is -qi embedded in by stability of quasigeodesics . Hence, . Let be the lift of in . Then . On the other hand, , say. Hence, . This implies that is also bounded by a function of and the other parameters of the metric graph bundles and , by Lemma 5.20. ∎
5.2. An example
For the convenience of the reader, we briefly illustrate a special case of our main theorem where . This discussion will also be used in the proof of the last proposition of the next section. We shall assume here.
As in the proof of Lemma 5.21 suppose are two qi sections among the various ’s and let are points of where , and the concatenation of the lift say , of in and the vertical geodesic segment, say , in is a part of . Following are the possibilities.
Case 1. If then and it is the corresponding part of .
Case 2. . In this case, the modified segment is formed as the concatenation of subsegment of joining to and the fiber geodesic .
Case 3. . In this case the modified segment is the concatenation of the segment of from to and the fiber geodesic segment .
Case 4. . In this case the modified segment is the fiber geodesic .
Here, the dashed lines denote the portion of , the thick lines denote the portion of and dotted lines are portions of the qi sections .
6. Applications, examples and related results
As the first application of our main theorem, we have the following. Given a short exact sequence of finitely generated groups there is a natural way to associate a metric graph bundle to it as mentioned in Example 1.8 of [MS12]. See also Example 2. Having said that Theorem 5.2 gives the following as an immediate consequence.
Theorem 6.1.
Suppose is a short exact sequence of hyperbolic groups where is nonelementary hyperbolic. Suppose is a finitely generated, qi embedded subgroup of and . Then the is hyperbolic and the inclusion admits the CT map.
The next application is in the context of complexes of hyperbolic groups. Suppose is a finite, connected simplicial complex and is a developable complex of nonelementary hyperbolic groups with qi condition defined over (see Section 3.3.2) such that the fundamental group of the complex of groups is hyperbolic. Suppose we have a good subcomplex and is the image of in under the natural homomorphism . Then we have the following pullback diagram as obtained in Proposition 3.29 satisfying the properties of Theorem 5.2.
Thus we have:
Theorem 6.2.
The group is hyperbolic and the inclusion admits the CT map.
Remark 19.
The rest of the paper is devoted to properties of the boundary of metric (graph) bundles and Cannon-Thurston maps. We recall that qi sections, ladders etc for a metric bundle are defined as transport of the same from the canonical metric graph bundle associated to it. All the results in the rest of the section are meant for metric bundles as well as metric graph bundles. However, using the dictionary provided by Proposition 4.1 it is enough to prove the results only for metric graph bundles. Therefore, we shall state and prove results only for metric graph bundles in what follows starting with the convention below.
Convention 6.3.
(1) For the rest of the paper we shall assume that is a -hyperbolic -metric graph bundle over satisfying the hypothesis H1, H2, H3′ and H4 of section 5. (2) By Proposition 2.37 any point of can be joined to any point of and any point of can be joined to by a uniform quasigeodesic ray or line. We shall assume that these are -quasigeodesics. (3) We shall assume that any geodesic in has a -qi lift in using the path lifting lemma for metric graph bundles. (4) We recall that through any point of there is a -qi section over .
6.1. Some properties of
Lemma 6.4.
Suppose are two -quasigeodesic rays for some with . Suppose is a -qi lift of for some . Then there is a -qi lift of such that where depends on , , and the various parameters of the metric graph bundle.
Proof.
Suppose are two -quasigeodesic rays for some with . This means . Let . Then for all there is such that . Let be fiber identification maps such that for all , where for metric graph bundles. (See Lemma 3.10.) Let be a -qi lift of . Now, for all we define . It is easy to verify that thus defined is a uniform qi lift of . Also clearly . It follows that ∎
Corollary 6.5.
Let and let be a quasigeodesic ray in joining to . Let .
Then is independent of ; it is determined by .
Due to the above corollary, we shall use the notation for all without further explanation. The following proposition is motivated by a similar result proved by Bowditch ([Bow13, Proposition 2.3.2]).
Proposition 6.6.
Let be an arbitrary point and . Then we have
Proof.
We first fix a point . Let be a quasigeodesic ray in starting from . Let . Let be a -quasigeodesic in joining to . Let be a -qi lift of joining to . There are two possibilities.
Suppose has an unbounded subsequence say . Then . We note that ’s are uniform quasigeodesics in whose distance from is going to infinity by Lemma 4.13. Hence, by Lemma 2.34 and thus .
Otherwise, suppose is a bounded sequence.
Claim: In this case is a quasigeodesic ray.
Proof of claim: We note that by stability of quasigeodesics (Corollary 2.19) and slimness of triangles (Lemma 2.20) is uniformly small for all . This implies that is uniformly small for all ; in particular is uniformly small for all . Next we note that for otherwise will be bounded. Then it follows that . Let and let be a -quasigeodesic ray in joining to . Now, to show that is a quasigeodesic it is enough to show by Lemma 2.5 that is (1) uniformly close to and (2) properly embedded.
(1): Fix an arbitrary and consider all . Since , by Lemma 2.45(2) for any -quasigeodesic ray joining to we have . Since the triangles with vertices are uniformly slim by Lemma 2.38 and are uniformly small it follows that is uniformly close to . This shows (1).
(2): Since is Lipschitz and is a quasigeodesic it follows that is coarsely Lipschitz. Suppose for some and , . We claim that is uniformly small. Note that this would then imply that is uniformly small since is quasigeodesic, and also that is a qi lift of . We know that for some constant independent of . Hence, . Let be such that . Since is -Lipschitz we have . Then . Since is -qi lift of and it follows that . Hence, . Since is quasigeodesic it follows that is uniformly small. This proves (2) and along with this the claim. It follows that .
It remains to check that for all , implies . Suppose is a -quasigeodesic ray in joining to , . Suppose is a qi lift of , such that , i.e. . Then because is -Lipschitz. Thus . This finishes the proof. ∎
Corollary 6.7.
Suppose is a bounded metric space. Then .
For instance suppose are two qi sections and then by Corollary 4.7 there is a metric graph subbundle of where the bundle map is a qi embedding onto a finite neighborhood of . It follows that is hyperbolic and fibers are uniformly quasiisometric to intervals. Therefore, the conclusion of Corollary 6.7 applies to the metric bundle too. Hence, informally speaking we have the following.
Corollary 6.8.
For any ladder we have
Lemma 6.9.
Suppose and is a sequence of uniform quasigeodesic rays starting from . Suppose is a uniform qi lift of for all such that the set has finite diameter. If then exists. If and is a -quasigeodesic ray joining to then there is a uniform qi lift of such that .
Proof.
Since there is a constant such that for all there is with for all by Lemma 2.45(1). It follows that for all , for all . Hence, again by Lemma 2.45(1) converges to a point of . Let be a -quasigeodesic ray in joining to . We claim . Given any by Lemma 2.45(2) there is such that for all where depends only on and . Let . Let be such that . Define where and is a fiber identification map. It is now easy to check that this defines a qi section over and .
Corollary 6.10.
If fibers of the metric (graph) bundle are of finite diameter then the map defined by sending to for all is continuous.
6.2. Cannon-Thurston lamination
Suppose is an arbitrary point and . Then we know that the inclusion admits the CT map . For any set we define
Now, following Mitra([Mit97]) we define the following.
Definition 6.11.
(Cannon-Thurston lamination) Let .
Suppose . Let . We shall denote simply by when is understood.
In this subsection we are going to discuss the various properties of the CT lamination. First we need some definitions. We recall that for all we have the fiber identification map which is a uniform quasiisometry depending on . This induces a bijection . Suppose . Let for all .
Convention 6.12.
For the rest of the subsection by ‘quasigeodesic rays’ or ‘lines’, we shall always mean -quasigeodesic rays and lines in the fibers of a metric (graph) bundle unless otherwise specified,
Definition 6.13.
(1) (Semi-infinite ladders) Suppose is a qi section over in . For all let be a (uniform) quasigeodesic ray joining to . The union of all the rays will be denoted by .
This set is coarsely well-defined by Lemma 2.38. We shall refer to this as the semi-infinite ladder defined by and .
(2) (Bi-infinite ladders) Suppose and , . Now for all join to by a (uniform) quasigeodesic line in . The union of all these lines will be denoted by .
As before, this set is coarsely well-defined by Lemma 2.38. We shall refer to this as the bi-infinite ladder defined by and .
We shall refer to either of these ladders as an ‘infinite girth ladder’.
Lemma 6.14.
(Properties of infinite girth ladders) Suppose is an infinite girth ladder.
-
(1)
(Coarse retract) There is a uniformly coarsely Lipschitz retraction such that for all and , is a (uniform approximate) nearest point projection of in on .
Consequently, infinite girth ladders are uniformly quasiconvex and their uniformly small neighborhoods are qi embedded in .
-
(2)
(QI sections in ladders) Through any point of , there exists a uniform qi section contained in .
-
(3)
(QI sections coarsely bisect ladders) Any qi section in coarsely bisects it into two subladders.
Proof.
We shall briefly indicate the proofs comparing with the proof of the analogous results for finite girth ladders. (3) follows exactly as Lemma 5.4. (2) is immediate from (1). In fact given one takes a -qi section in containing and then is the required qi section. Therefore, we are left with proving (1). This is an exact analog of Proposition 4.6(1). The reader is referred to [Mit97, Theorem 4.6] for supporting arguments. ∎
Convention 6.15.
All semi-infinite ladders are formed by -qi section . We shall assume that through any point of an infinite girth ladder there is a -qi section contained in the ladder. Also, all infinite girth ladders are assumed to be -quasiconvex.
6.2.1. Properties of the CT lamination
In this subsection, we prove many properties of the CT lamination using coarse bisection of ladders by qi sections. These are motivated by analogous results proved in [Mit97] and [Bow13]. For the rest of the subsection, we will use the following set up. Let and . Suppose and . Let be a -quasigeodesic line in joining to such that . Let denote the inclusion map and denote the CT map.
Lemma 6.16.
Suppose is any qi section contained in . Then , .
Proof.
Let be a qi section contained in . Then coarsely separates in into and . We note that . Hence we are done by Lemma 2.53. ∎
Lemma 6.17.
Suppose and . There is a unique such that . Moreover, for any -quasigeodesic joining to and any qi section contained in , if is the lift of in then .
In particular .
Proof.
Let be a qi section with image contained in . By Lemma 6.16 . But by Lemma 2.55. Hence, there is a -quasigeodesic ray such that . Let . If then is a qi lift of and . Thus . This shows the existence of . Thus we have . Also for , we have by Proposition 6.6 which immediately implies . This shows that the point is independent of the chosen section in . The last part of the lemma is immediate from these observations. ∎
We next aim to show that the sets are closed subsets of . Let be a continuous, arc length parameterized -quasigeodesic in with and as in the proof of Lemma 6.17. Let . Let be the restriction of the bundle over . Let , be inclusion maps.
Lemma 6.18.
If then , i.e. .
Proof.
Let be any qi section in over passing through , . Then by Lemma 6.17, and are asymptotic for all in . Since is properly embedded in by Lemma 5.20 they are still asymptotic in . Clearly as . Thus by Lemma 2.45(1) in where is the lift of in . This completes the proof. ∎
Corollary 6.19.
Let be any qi lift of in . Then . In particular any two qi lifts of in are asymptotic.
Proof.
We know that coarsely separates into two semi-infinite ladders, and in . It follows that . It then follows that the limit of in is . ∎
Corollary 6.20.
(1) is a point. (2) is a point. (3) is a point.
Proof.
We know by Proposition 6.14(1) (see also Proposition 4.6(4)) that a small neighborhood, say , of in is qi embedded in and hence it is a hyperbolic metric space by its own right. Also, this is a subbundle of by Corollary 4.7.
(1) The first part is an informal way of saying that is a point. However, this is immediate from Proposition 6.6 and Corollary 6.19.
(2) By Lemma 2.55 is the image of the CT map for the inclusion since is qi embedded in . But is a point by the first part. Thus is a singleton. Finally, by Lemma 2.52. Hence we are done.
(3) Lastly, it follows that is quasiconvex in too since by Corollary 6.19 is the union of qi lifts of contained in all of which converge to the same point of . Hence is also quasiconvex in . Since is properly embedded in by Lemma 5.20 and is qi embedded in it follows that is properly embedded in . Thus is qi embedded in by Lemma 2.24(2). As in (2) we are done by Lemma 2.55. ∎
Corollary 6.21.
We have .
In particular, each is a closed subset of .
Proof.
The first equality follows from Lemma 6.17 applied to the metric bundle over . We will now prove the second one. Since , clearly . The opposite inclusion is an immediate consequence of Lemma 6.18.
Since is continuous it follows that is a closed subset of . One has to use the standard fact that the Gromov boundaries are Hausdorff spaces. ∎
The following three results are motivated by similar results proved in [Mit97]. The proof ideas are very similar. However, we get rid of the group actions that were there and in our setting properness is never needed.
Definition 6.22.
Suppose are hyperbolic metric spaces. Suppose is a metrically proper map that admits the CT map. If is a quasigeodesic line such that then we refer to as a leaf of the CT lamination .
We recall that in our context the quasigeodesic lines are assumed to be -quasigeodesic lines.
Lemma 6.23.
Suppose . Given there exists such that the following holds:
Suppose is a leaf of and is a leaf of . Then has diameter less than .
Proof.
Let be a -quasigeodesic line in joining . Let be a nearest point projection of on . Let be a geodesic in joining to . Let be the concatenation of with the portion of joining to , . We note that -quasigeodesics in are -quasiconvex by stability of quasigeodesics. Let . Hence, ’s are -quasigeodesics by Lemma 2.25(2). Let .
Next suppose , are such that and . Let be two qi sections in each passing through and respectively, . Let and be lifts of in through and respectively for . We now look at the quasigeodesic hexagon in with vertices , where ’s and ’s form four sides and the other two sides are formed by geodesics joining to and to respectively. We note that the infinite sides of this polygon are all -quasigeodesics. Let . Hence, such a hexagon is -slim by Corollary 2.39. Let . Let be a point on such that , say and let . Then . In particular, . Hence, by Lemma 4.13 . It follows by bounded flaring that . ∎
Lemma 6.24.
If in , and . Then .
Proof.
Since for all and is continuous it follows that whence . Let and denote -quasigeodesic lines in joining these pairs of points. Let and let be a -quasigeodesic ray in joining to .
Claim: There is a uniform qi lift of through such that .
Since and by Lemma 2.45(1), we have and . Hence, by Corollary 2.39 there is such that for all . Now, let such that . Let be a -quasigeodesic ray in joining to . Then by Corollary 6.19 we know that there is a uniform qi lift of each , such that and . Hence, by Lemma 6.9 and Lemma 6.4 there is a qi lift starting from such that . This proves the claim.
However, this means that . Therefore, . ∎
6.2.2. Leaves of CT laminations for pullback bundles
The following result is motivated by a similar result proved in [KS] for trees of hyperbolic spaces which in turn was suggested by Mahan Mj. We gratefully acknowledge the same.
Suppose we have the hypotheses of Theorem 5.2. We identify as a subspace of and as a subspace of . Similarly, is identified as a subset of . With that in mind, we have the following:
Theorem 6.25.
Suppose we have a metric graph bundle satisfying the hypotheses of Theorem 5.2 such that the fibers of the bundle are all proper metric spaces. Suppose is a quasigeodesic line in such that . Let be any fiber of .
Then (1) .
(2) There is a point determined by such that if with then .
(3) is bounded. Moreover, is within a finite Hausdorff distance from a -quasigeodesic line of so that . Also, for some .
(4) If is a nearest point projection of on . Then (as defined in (3)) is a uniform quasigeodesic line in .
Proof.
We have by Proposition 6.6. Also since is a proper metric space, by Lemma 2.55 . Thus . We shall use the following observation a few times in the proof which are immediate from the fact that is qi embedded in .
Suppose is a quasigeodesic ray in and is a qi lift of in . Then is a quasigeodesic ray in as well as in . Also any pair of such rays are asymptotic in if and only if they are asymptotic in since is properly embedded in .
(1) The proof of this assertion is by elimination of the possibilities coming from the decomposition of .
Suppose and for some . However, this case is not possible due to the above observation.
Suppose for some and or vice versa. We show below that this case is also not possible.
Let be a -quasigeodesic ray in joining to and let be a -qi lift of in such that . Also let be a -quasigeodesic ray in such that . Now, for all let be a -qi section in passing through and let . Then is -quasiconvex in . Clearly . Hence, by Lemma 2.54 is asymptotic to . It follows by Proposition 4.6 and Lemma 4.15 that is a uniform qi lift of and it is asymptotic to . Since properly embedded in by Lemma 5.20, it follows that these qi lifts are asymptotic in too. In particular, . Now, since , by Lemma 4.15 . It follows from Lemma 2.45 that in . This gives a contradiction since .
Therefore, the only possibility is that
proving part (1) of the theorem.
Let be such that and .
(2) Since by Lemma 2.50(1), we have and hence for some by Lemma 6.17. From Corollary 6.21 it follows that . This proves part (2) of the theorem.
(3) Let be the bi-infinite ladder in formed by . Let which is an arc length parameterized -quasigeodesic line in joining . Let be a -quasigeodesic ray in joining to .
Let be a -qi section in passing through , . By Corollary 6.19 qi lifts of contained in these qi sections are asymptotic. Denote the qi section of contained in by . We note that these are -quasigeodesics by Lemma 2.3(2). Hence, by Lemma 2.38 given we have (and ) where as long as (resp. ) is not contained in the -neighborhood of any -quasigeodesic joining . In particular for such we have , . Hence, by Lemma 4.13 we have
for all such . Let . Thus for all , . Let be a nearest point projection of on and let be a nearest point projection of on . Then it follows from Lemma 5.18 that the concatenation of the segments of over the portion of joining and the fiber geodesic segment is a uniform quasigeodesic in joining . Call it . Since in there is a constant such that by Lemma 2.34. We claim that this means is bounded. In fact by Lemma 4.13. Thus for all large we have whence . It follows from Proposition 4.6(3) that the Hausdorff distance of and the segment of between and is at most . Since is a proper embedding in it follows by Lemma 2.5 that is a uniform quasigeodesic in depending on . Let be such that both and are -quasigeodesics in . Then, since is -hyperbolic, . Thus .
We note here that as well as the quasigeodesic constant of depends only on .
(4) Use shall use the notation of the proof of (3). Thus we know that there is such that for all we have whence for all . Also we know that the sets are -quasiconvex in by Lemma 4.11. Let . Then . Thus is a -quasigeodesic segment. Let . Hence, by stability of quasigeodesics (Lemma 2.17) we get that where . We also note that by the bounded flaring condition (Lemma 3.12) since . This implies that . Hence by Lemma 2.56 there exists such that for all since is -hyperbolic and is -quasiconvex. Hence, we are done by the note left at the end of the proof of (3). ∎
Surjectivity of the CT maps
Theorem 6.26.
Suppose we have the hypotheses of Theorem 5.2 such that the fibers of the bundle are proper metric spaces. Let be the fiber over a point . Suppose the CT map is surjective. Then the CT map is also surjective.
Conversely for any geodesic ray with let . If for all and for some (any) geodesic ray joining to the CT map is surjective then the CT map is also surjective.
Proof.
Let . We want to show that . Since is surjective there exists such that . If we are done. Suppose not. However, . Hence, . Then by Theorem 6.25(3) we are done.
Corollary 6.27.
Suppose is a metric (graph) bundle such that are hyperbolic and the fibers are all proper, uniformly quasiisometric to the hyperbolic plane . Then for all , the CT map is surjective.
Proof.
This is an immediate consequence of the second part of Theorem 6.26 and the following proposition of Bowditch. ∎
Proposition 6.28.
([Bow13, Proposition 2.6.1]) Suppose is a metric (graph) bundle where , is hyperbolic and the fibers are all uniformly quasiisometric to the hyperbolic plane . Then for all , the CT map is surjective.
We would like to remark that Bowditch stated the above proposition in case the fibers are all isometric to the hyperbolic plane, but the same proof goes through for fibers uniformly quasiisometric to the hyperbolic plane.
A special case of the following result was proved by E. Field ([Fie20, Theorem B]).
Theorem 6.29.
Suppose is a short exact sequence of infinite hyperbolic groups. Suppose is qi embedded and . Then the CT map is surjective.
Proof.
Since is a normal subgroup of the hyperbolic group it is a standard fact that . Thus by Lemma 2.55 the CT map is surjective. Now we are done by Corollary 6.26. ∎
Fibers of the CT maps
Theorem 6.30.
Suppose is a metric (graph) bundle over satisfying the hypotheses of Theorem 5.2 such that is a proper metric space. Let where . Suppose is not homeomorphic to a dendrite and also the CT map is surjective.
Then for all we have .
Proof.
Suppose is an arc length parameterized -quasigeodesic ray in joining to . Let . Since the CT map is surjective, the map is also surjective by Theorem 6.26. Now, by Corollary 6.21. Hence, it is enough to show that . However, if and only if is injective. It follows that if and only if is bijective. Since is proper, so are and . Hence, and are compact metrizable spaces. (See [BH99, Theorem Proposition 3.7, Proposition 3.21, Chapter III.H] for instance.) Hence, is bijective implies is a homeomorphism between and . Since is not a dendrite this is impossible due to the following result of Bowditch. Hence, . ∎
Theorem 6.31.
([Bow13, Proposition 2.5.2]) Suppose is hyperbolic metric (graph) bundle over satisfying the hypotheses H1-H4 of section 5. Suppose moreover that is a proper metric space. Then is a dendrite.
We note that a special case of interest of Theorem 6.30 is when the fibers are uniformly quasiisometric to the hyperbolic plane. For instance, we have the following.
Corollary 6.32.
Suppose we have an exact sequence of infinite hyperbolic groups where is either the fundamental group of an orientable closed surface of genus or a free group on generators. Then for all , .
Remark 20.
We remark that much stronger results than the above corollary were already proved by Mj and Rafi in [MR18]. For instance, see Theorem 3.12, Theorem 5.7 and Proposition 5.8 there.
Another context is that of complexes of groups where Theorem 6.30 can be applied.
Corollary 6.33.
Suppose is the fundamental group of a finite developable complexes of nonelementary hyperbolic groups with qi condition. Suppose is the metric bundle over obtained from this data as constructed in Example 3.3.2. Suppose is hyperbolic.
Then for all and any vertex group , we have .
Proof.
We need to check the hypotheses of Theorem 6.30. It is a standard fact that the boundary of a hyperbolic group is not a dendrite. Since the fibers of the metric bundle under consideration are quasiisometric to nonelementary hyperbolic groups is not a dendrite for any fiber . We also note that the metric bundle satisfies H1-H4 of section 5. Finally, acts on and so that the map is equivariant, the action of on is proper and cocompact and on is cocompact. Thus any orbit map is a qi by Milnor-Svarc lemma and therefore induces a homeomorphism .
Now, given any fiber and , is another fiber of the metric bundle. By Lemma 3.10(1) . Hence, by Lemma 2.52 . It is a standard fact that the action of a nonelementary hyperbolic group on its boundary is minimal, i.e. the only invariant closed subsets are the empty set and the whole set. Hence, it follows that . By Lemma 2.55 we have . Thus the CT map is surjective. Finally, clearly is a proper metric space. Hence, we have by Theorem 6.30. Finally since acts properly and cocompactly on , any orbit map is a quasiisometry. Hence, this induces a homeomorphism . Therefore, taking we are done.∎
Definition 6.34.
Suppose is any hyperbolic metric space and . Then a point will be called a conical limit point of if for some (any) quasigeodesic converging to in there is a constant such that is a subset of infinite diameter in .
Proposition 6.35.
Suppose we have the hypotheses of Theorem 5.2. Let be the CT map. If is a conical limit point of , then .
Proof.
Suppose such that . Then by Theorem 6.25 there is and a qi lift of of a quasigeodesic ray joining to such that . Since and is quasiconvex is not a limit point of in . Thus it is clear that is not a conical limit point of . This gives a contradiction and proves the proposition.∎
6.3. QI embedding fibers in a product of bundles
The lemma below is the product of answering a question due to Misha Kapovich.
Lemma 6.36.
Suppose is a metric (graph) bundle satisfying the hypotheses of section 5 and are the restrictions of it to and respectively. Then the diagonal embedding is a qi embedding where the latter is given the metric.
Proof.
Without loss of generality, we assume is a metric graph bundle. Let be the induced length metric on respectively. Then the metric on is given by for all and . We note that the inclusion maps are -Lipschitz.
Let . Then, , which implies that . A reverse inequality is obtained as follows.
Let be a pair of -qi sections in through respectively. Let be the ladder formed by them. Let . This is a geodesic in joining . Now, suppose is a uniform quasigeodesic in joining constructed as in section 5 by decomposing into subladders using the the qi sections ’s and ’s. Let be the modified paths joining in respectively. By our main theorem in section 5, are uniform quasigeodesics in respectively. Suppose these are -quasigeodesics. As in the discussion at the end of section 5, suppose are consecutive qi sections in the decomposition of and with are such that is made of the fiber geodesic and the lift of in . However, if then and similarly if then . Thus . Therefore we have,
Thus, . Hence, is -qi embedding. ∎
In the same way, we obtain the following.
Lemma 6.37.
If is a cut point of and removing it produces two quasiconvex subsets and are the restrictions of the bundle to respectively then the diagonal map is a qi embedding.
Corollary 6.38.
If is a cut point of and removing it produces finitely many quasiconvex subsets , and ’s are the restrictions of the bundle to ’s respectively then the diagonal map is a qi embedding.
Remark 21.
In [Mit97] Mitra defined an ending lamination for an exact sequence of groups. Given any point he defined a lamination and then showed that . However, for formulating and proving these sorts of results one needs additional structure on the bundle, e.g. action of a group on the bundle through morphisms which has uniformly bounded quotients when restricted to the fibers. Results of this type are proved in [MR18, Section 3]; see also [Bow13, Section 4.4].
Acknowledgements: The authors gratefully acknowledge all the helpful comments, inputs, and suggestions received from Mahan Mj and Michael Kapovich. We are very thankful to the anonymous referee also for suggesting many changes that helped to improve the exposition of the paper and for pointing out a number of gaps and inaccuracies in an earlier version of the paper. The second author was partially supported by DST INSPIRE grant DST/INSPIRE/04/2014/002236 and DST MATRICS grant MTR/2017/000485 of the Govt of India. Finally, we thank Sushil Bhunia for a careful reading of an earlier draft of the paper and for making numerous helpful suggestions.
Appendix A Flaring in metric bundle and its canonical metric graph bundle
Suppose is an -metric bundle and is the canonical metric graph bundle associated to it. We shall assume that and are both -hyperbolic. However, there will be no assumption about the fibers of the bundles. We shall freely use the notation from section 4 of the paper. The purpose of this appendix is to show that a metric bundle satisfies a sort of ’generalized flaring property’ (see property below) iff the associated canonical metric graph bundle satisfies a flaring condition.
Note: If are consecutive vertices on a geodesic in then is a dotted -quasigeodesic of by Lemma 2.8. Thus there is a constant such that if is any -quasigeodesic in joining then . We will preserve to denote this constant for the rest of this section.
Suppose and are such that . Then for any we can lift a -quasigeodesic of joining to to which starts from and ends at , say. This way we get a ‘fiber identification map’ . If we denote this map by then we have the following lemma. Since the proof is evident we skip it.
Lemma A.1.
We have for all and for some uniform constant where is the fiber distance in for the metric graph bundle and is the fiber distance in for the metric bundle .
Suppose is a geodesic in and is a -qi lift of in . Let be a -quasigeodesic in joining the end points of . Let be any map such that for all . Let for all where . Now it is easy to find a uniform qi lift of such that where for all . We record this as a lemma.
Lemma A.2.
There is a constant depending on and a -qi lift of such that where for all .
The following lemma roughly says that if two qi leaves start flaring in one direction then they keep on flaring in the same direction. The proof follows immediately from the definition of flaring. One may also look up the proof of [MS12, Lemma 2.17(1)].
Lemma A.3.
(Persistence of flaring in graph bundles) Suppose the metric graph bundle satisfies -flaring condition for all . Suppose is a geodesic where and and are two -qi lifts of in with . Suppose
where is either or . Let be the largest integer smaller than or according as or . Then for all integer we have
The same idea of proof gives the next lemma also. We will need a definition.
Property : We shall say that the metric bundle has the property if for any , there exist and such that the following holds:
Suppose is a -quasigeodesic and and are two -qi lifts of in . If then we have
Note that one could define flaring condition for a length metric bundle using the property .
Lemma A.4.
(Persistence of flaring in metric bundles) Suppose the metric bundle satisfies . Let . Suppose is a geodesic where and and are two -qi lifts of in with . Suppose
where is either or . Let be the largest integer smaller than or equal to or according as or . Then for all integer we have
Following is one of the main results of this appendix.
Lemma A.5.
Suppose the metric bundles has the property . Then the canonical metric graph bundle associated to satisfies a -flaring condition.
In particular if a geodesic metric bundle satisfies flaring condition (see [MS12, Definition 1.12]) then its canonical metric graph bundle satisfies flaring condition.
Proof.
Suppose is a geodesic and are two -qi lifts of in where and . Let be a -quasigeodesic in joining . Then there are -qi lifts of respectively as in Lemma A.2. We shall choose a parametrization so that and . Note that by Lemma A.1. Hence, if we assume then . Clearly, if we choose large enough then we have . (In the course of the proof we will be more precise.) Without loss of generality we shall assume . Let be the greatest integer less than or equal to . Then by Lemma A.4
(1) |
Note that . Let and . Then by Corollary 3.11 the fiber identification map referred to in that corollary is a -quasiisometry. Let . Note that
(2) |
since is a -qi section and . Also, by Corollary 3.9 we have
(3) |
Using the inequalities (2) and (3) we have
Since is an -metric bundle we have
In the same way we have
Now using the fact that is a -quasiisometry and letting we have by triangle inequality
(4) |
However, by Lemma 2.8 and Proposition 4.1(2) we have
(5) |
Then it follows from the inequalities (1), (4) and (5) that
(6) |
where . Finally since using (6) we have
(7) |
Recall that we assumed . Hence,
(8) |
Let
Then we have, using (7) and (8),
(9) |
It is clear that
if In particular, since , we have
(10) |
using (9) if . Thus it is enough to choose
and to show that if is sufficiently large then is so large that which will give a choice for . This is easy to verify and hence left to the reader. ∎
Converse of Lemma A.5 is also true and has an exactly similar proof. However, in this case one uses Lemma A.3 instead of Lemma A.2. We state it without proof to avoid repetition.
Lemma A.6.
Suppose the metric graph bundle satisfies a -flaring condition for all . Then the metric bundle satisfies the condition for three functions of .
References
- [ABC+91] J. Alonso, T. Brady, D. Cooper, V. Ferlini, M. Lustig, M. Mihalik, M. Shapiro, and H. Short, Notes on word hyperbolic groups, Group Theory from a Geometrical Viewpoint (E. Ghys, A. Haefliger, A. Verjovsky eds.) (1991), 3–63.
- [Bes04] M. Bestvina, Geometric group theory problem list, M. Bestvina’s home page: http:math.utah.edu/bestvina/eprints/questions-updated (2004).
- [BF92] M. Bestvina and M. Feighn, A Combination theorem for Negatively Curved Groups, J. Differential Geom., vol 35 (1992), 85–101.
- [BH99] M. Bridson and A Haefliger, Metric spaces of nonpositive curvature, Grundlehren der mathematischen Wissenchaften, Vol 319, Springer-Verlag (1999).
- [Bow13] B. H. Bowditch, Stacks of hyperbolic spaces and ends of 3 manifolds, Geometry and Topology Down Under, Contemp. Math. 597 (2013), 65–138.
- [BR13] O. Baker and T. R. Riley, Cannon-Thurston maps do not always exist, Forum Math., vol 1, e3 (2013).
- [Cor92] J. M. Corson, Complexes of groups, Proc. London Math. Soc. (3) 65 (1992), 199–224.
- [CT85] J. Cannon and W. P. Thurston, Group Invariant Peano Curves, preprint, Princeton (1985).
- [DK18] C. Drutu and M. Kapovich, Geometric group theory, AMS Colloquium Publications, vol 63 (2018).
- [Far98] B. Farb, Relatively hyperbolic groups, Geom. Funct. Anal. 8 (1998), 810–840.
- [Fie20] E. Field, Trees, dendrites, and the Cannon-Thurston map, Algbr. Geom. Topol., vol 20(6) (2020), 3083–3126.
- [Gd90] E. Ghys and P. de la Harpe(eds.), Sur les groupes hyperboliques d’apres Mikhael Gromov, Progress in Math. vol 83, Birkhauser, Boston Ma. (1990).
- [Gro87] M. Gromov, Hyperbolic Groups, in Essays in Group Theory, ed. Gersten, MSRI Publ.,vol.8, Springer Verlag (1987), 75–263.
- [Hae92] A. Haefliger, Extension of complexes of groups, Ann. Inst. Fourier, Grenoble, 42, 1-2 (1992), 275–311.
- [Ham05] U. Hamenstadt, Word hyperbolic extensions of surface groups, preprint, arXiv:math/0505244 (2005).
- [KS] Michael Kapovich and Pranab Sardar, Hyperbolic trees of spaces (in preparation), https://www.math.ucdavis.edu/ kapovich/EPR/trees.pdf.
- [MG20] M. Mj and P. Ghosh, Regluing graphs of free groups, https://arxiv.org/abs/2011.01256 (2020).
- [Min11] Honglin Min, Hyperbolic graphs of surface groups, Algebr. Geom. Topol. 11(1) (2011), 449–476.
- [Mit97] M. Mitra, Ending Laminations for Hyperbolic Group Extensions, Geom. Funct. Anal. 7 (1997), 379–402.
- [Mit98a] by same author, Cannon-Thurston Maps for Hyperbolic Group Extensions, Topology 37 (1998), 527–538.
- [Mit98b] by same author, Cannon-Thurston Maps for Trees of Hyperbolic Metric Spaces, J. Differential Geom. 48 (1998), 135–164.
- [Mj19] Mahan Mj, Cannon-thurston maps, Proceedings of the International Congress of Mathematicians (ICM 2018), ISBN 978-981-3272-87-3 (2019), pp 885–917.
- [MR18] Mahan Mj and Kasra Rafi, Algebraic ending laminations and quasiconvexity, Algbr Geom Topol 18 (2018), 1883–1916.
- [MS12] Mahan Mj and Pranab Sardar, A combination theorem for metric bundles, Geom. Funct. Anal. Vol. 22 (2012), 1636–1707.
- [V0̈5] Jussi Väisälä, Gromov hyperbolic spaces, Expo. Math. 23 (2005), no. 3, 187–231. MR 2164775
- [Why10] K. Whyte, Coarse bundles, https://arxiv.org/pdf/1006.3347.pdf (2010).