An Invitation to Coarse Groups
Arielle Leitner and Federico Vigolo
July 9, 2021
Abstract In this monograph we lay the fundations for a theory of coarse groups and coarse actions. Coarse groups are group objects in the category of coarse spaces, and can be thought of as sets with operations that satisfy the group axioms “up to uniformly bounded error”. In the first part of this work, we develop the theory of coarse homomorphisms, quotients, and subgroups, and prove that coarse versions of the Isomorphism Theorems hold true. We also initiate the study of coarse actions and show how they relate to the fundamental observation of Geometric Group Theory. In the second part we explore a selection of more specialized topics, such as the study of coarse structures on groups, and groups of coarse automorphisms. The main aim is to show how the theory of coarse groups connects with classical subjects. These include: natural connections with number theory; the study of bi-invariant metrics; quasimorphisms and stable commutator length; Out(Fn) and topological group actions. We see this text as an invitation and a stepping stone for further research.
Version 0.0
1 Contents
1 Introduction 5 1.1 Background and motivation...... 5 1.2 On this manuscript...... 8 1.3 List of findings I: basic theory...... 9 1.4 List of findings II: selected topics...... 14 1.5 Acknowledgements...... 19
I Basic Theory 20
2 Introduction to the coarse category 20 2.1 Some notation for subsets and products...... 20 2.2 Coarse structures...... 21 2.3 Controlled maps...... 24 2.4 The category of coarse spaces...... 26 2.5 Binary products...... 28 2.6 Equicontrolled maps...... 29
3 Properties of the category of coarse spaces 30 3.1 Monomorphisms and epimorphisms...... 30 3.2 Pull-back and push-forward...... 30 3.3 Controlled thickenings, asymptoticity and indexed partial covering...... 31 3.4 Coarse subspaces, images and quotients...... 32 3.5 Containments and intersections of coarse subspaces...... 34
4 Coarse Groups 37 4.1 The diagrammatic approach...... 37 4.2 The point-set approach...... 39 4.3 Making sets into coarse groups...... 42 4.4 Adapted and cancellative operations...... 45 4.5 Coarse groups are determined locally...... 48 4.6 Sets of neighbourhoods of the identity...... 50
5 Coarse homomorphisms, subgroups and quotients 52 5.1 Coarse homomorphisms...... 52 5.2 Coarse subgroups...... 58 5.3 Coarse quotients...... 61
6 Coarse actions 63 6.1 Basic definitions...... 63 6.2 Coarse action by conjugation...... 66 6.3 Coarse orbits...... 68 6.4 The Fundamental Observation of Geometric Group Theory...... 71 6.5 Quotient coarse actions...... 73 6.6 Coarse cosets spaces...... 74
2 7 Coarse kernels 79 7.1 Coarse preimages and kernels...... 79 7.2 The Isomorphism Theorems...... 81 7.3 A criterion for the existence of coarse kernels...... 84 7.4 Some comments and questions...... 87
II Selected topics 88
8 Coarse structures on set-groups 88 8.1 Bi-invariant metrics...... 88 8.2 Metric vs arbitrary coarsifications...... 90 8.3 Intrinsically bounded set-groups...... 90
9 Coarse structures on Z 92 9.1 Coarse Structures Generated by Topologies...... 92 9.2 Profinite coarse structures...... 94 9.3 Coarse structures via Cayley graphs and other questions...... 96
10 On cancellation metrics 97 10.1 Computing the cancellation metric on free groups...... 98 10.2 Cancellation metrics on finitely generated set-groups and their subgroups...... 100
11 A quest for coarse groups that are not coarsified set-groups 102 11.1 General observations...... 102 11.2 A conjecture on coarse groups that are not coarsified set groups...... 104 11.3 A few more questions...... 106
12 On coarse homomorphisms and coarse automorphisms 106 12.1 Elementary constructions of coarse automorphisms...... 106 12.2 Coarse homomorphisms into Banach spaces...... 108 12.3 Hartnick-Schweitzer quasimorphisms...... 109 12.4 Coarse homomorphisms of groups with cancellation metrics...... 113
13 Proper coarse actions 116 13.1 Properness via bornologies...... 117 13.2 Proper actions are determined locally...... 117 13.3 Topological coarse actions...... 119
14 Spaces of controlled maps 121 14.1 Fragmentary coarse structures...... 121 14.2 The fragmentary coarse space of controlled maps...... 123 14.3 Coarse actions revisited...... 127 14.4 Frag-coarse groups of controlled transformations...... 129
III Appendices 132
3 A Categorical aspects of Coarse 132 A.1 Limits and colimits...... 132 A.2 The category of fragmentary coarse spaces...... 134 A.3 Enriched coarse categories...... 136 A.4 The pre-coarse categories...... 137
B Metric Groups 137 B.1 Groups in the 1-LipMet category...... 137 B.2 Groups in the LipMet category...... 138
Index 144
List of Symbols 146
4 1 Introduction
1.1 Background and motivation Coarse geometry. Coarse geometry is the study of the large scale geometric features of a space or, more precisely, of those properties that are invariant up to “uniformly bounded error”. This language allows us to formalize the idea that two spaces such as Zn and Rn look alike when seen “from very far away”. In other words, we imagine looking at spaces through a lens that blurs the picture so that all the fine details become invisible and we only recognise the “coarse” shape of it. There are many reasons why one may wish to do this. For example, to use topological/analytic techniques on a discrete space like Z by identifying it with a continuous one like R or, vice versa, to use discrete/algebraic methods on continuous spaces. The language of coarse geometry allows us to study any space where there is a notion of “uniform boundedness”, topological or otherwise. It is convenient to start exploring this idea in the context of metric spaces because the metric provides us with an intuitive meaning of uniform boundedness. Namely, a family (Bi)i∈I of subsets of a metric space (X, dX) is uniformly bounded if there is an uniform upper bound on their diameters: diam(Bi) ≤ C for every i ∈ I. When this is the case, any two sequences (xi)i∈I and (yi)i∈I with xi, yi ∈ Bi coincide up to uniformly bounded error and are hence “coarsely indistinguishable”. Analogously, we say that two functions f1, f2 : Z → X coincide up to uniformly bounded error (a.k.a. they are close) if there exists C ∈ R so that dX( f1(z), f2(z)) ≤ C for all z ∈ Z. Again, we think of close functions as coarsely indistinguishable from one another. Given two metric spaces (X, dX), (Y, dY ) we only wish to consider the functions f : X → Y that preserve uniform boundedness, i.e. which send uniformly bounded subsets of X to uniformly bounded subsets of Y. Explicitly, this happens when there exists some increasing control function ρ: [0, ∞) → [0, ∞) 0 0 0 such that dY ( f (x), f (x )) ≤ ρ dX(x, x ) for every x, x ∈ X. When this is the case, we say that f : X → Y is a controlled function. Two metric spaces are coarsely equivalent if there exist controlled functions f : X → Y and g: Y → X whose compositions f ◦ g and g ◦ f are close to idY and idX respectively. For instance, we now see that Zn and Rn are coarsely equivalent via the natural inclusion and the integer floor function.
To provide some context and motivation, we note that the coarse geometry of metric spaces is the backbone of Geometric Group Theory. Any finitely generated group can be seen as a discrete geodesic metric space by equipping it with a word metric (equivalently, identifying the group elements with the vertices of a Cayley graph considered with the graph metric). These metrics depend on the choice of a finite generating set. However, they are unique up to coarse equivalence. As a consequence, it is possible to characterize algebraic properties of groups in terms of coarse geometric invariants of their Cayley graphs. Two outstanding such results are Gromov’s theorem showing that a finitely generated group is virtually nilpotent if and only if it has polynomial growth, and Stallings’ result that a group has a non trivial splitting over a finite subgroup if and only if its Cayley graph has more than one end. The Milnor–Švarc Lemma illustrates another fundamental feature of coarse equivalences. This result states that a finitely generated group G acting properly cocompactly on a metric space X is actually coarsely equivalent to X. For example, if G = π1(M) is the fundamental group of a compact Riemannian manifold, then the action by deck transformations induces a coarse equivalence between G and the universal cover Me. This important observation provides a seamless dictionary between algebraic properties of groups, their actions, and geometry of metric spaces. It is fair to say that this neat correspondence is one of the main raisons d’être of Geometric Group Theory: the ability to conflate groups and spaces on which they act proves to be a very powerful tool. To mention one exceptional achievement: Agol and Wise exploited this philosophy to prove the virtual Haken Conjecture, a long standing open problem in low-dimensional topology. Other important applications have a more analytic flavor. For instance, Roe proved a version of the
5 Atiyah–Singer index theorem for open manifolds and formulated a coarse version of the Baum–Connes conjecture. G. Yu proved that a huge class of manifolds satisfies this coarse Baum–Connes Conjecture and, as a consequence, the Novikov Conjecture. Remark 1.1.1. In Geometric Group Theory one generally speaks about quasi-isometries rather than coarse equivalences. However, it is an easy exercise to show that a controlled function between geodesic metric spaces is in fact coarsely Lipschitz (i.e. the control function ρ can be assumed to be affine ρ(t) = Lt + A). Since Cayley graphs are geodesic metric spaces, a coarse equivalence between finitely generated groups is indeed a quasi-isometry. As already mentioned, the coarse geometric perspective is useful beyond the realm of metric spaces. For instance, to identify a topological group with any of its cocompact lattices. In this general setting however, it is more complicated to understand what the meaning of “uniformly bounded” should be. Fortunately, Roe [Roe03] developed an elegant axiomatization of the notion of uniform boundedness in terms of what he calls coarse structures. To better understand Roe’s approach, it is useful to revisit the metric example. Given a metric space 0 0 0 0 (X, d), equip the product X × X with the `1-metric d((x1, x2), (x1, x2)) B d(x1, x1) + d(x2, x2). With this choice of metric, the distance between two points x, y ∈ X is equal to the distance of the pair (x, y) from the diagonal ∆X ⊂ X × X. It follows that a family (Bi)i∈I of subsets of X is uniformly bounded if and only S if the union i∈I Bi × Bi is contained in a bounded neighborhood of ∆X. This suggests that in order to have a notion of uniform boundedness on a set X it is sufficient to describe the “bounded neighborhoods” of the diagonal ∆X ⊂ X × X. Taking this point of view, a coarse structure on a set X is a family E of subsets of X × X satisfying certain axioms (Definition 2.2.1). These sets ought to be thought of as the bounded neighborhoods of ∆X. S A family (Bi)i∈I of subsets X is uniformly bounded (a.k.a. controlled) if the union i∈I Bi × Bi is contained in some E ∈ E. The axioms on E are chosen so that subsets and uniformly bounded neighbourhoods of uniformly bounded sets remain uniformly bounded. A coarse space is a set X equipped with a coarse structure E. In other words, the slogan is that a coarse space is a space where it makes mathematical sense to say that some property holds “up to uniformly bounded error”. The functions between coarse spaces that we wish to consider are those functions that preserve uniform boundedness. Explicitly, if (X, E), (Y, F ) are coarse spaces, we are interested in those functions f : X → Y such that f × f : X × X → Y × Y sends elements in E to elements in F . Such functions are called controlled. The reader may have realised that the definition for a coarse space is a direct analog of the classical notion of uniform space [Bou66]. This is no surprise: both languages seek to axiomatize some notion of “uniformity” whose meaning is clear for metric spaces but elusive in general. Uniform spaces extend the idea of “uniformly small” and uniform continuity; coarse spaces extend the idea of “uniformly bounded”. As we did for metric spaces, we now wish to identify “close functions”. Two functions between coarse spaces f, f 0 : (X, E) → (Y, F ) are close if f (x) and f 0(x) are uniformly close as x varies, i.e. the sets { f (x), f 0(x)} are uniformly bounded. A coarse map between coarse spaces (X, E), (Y, F ) is an equivalence class [ f ] of controlled functions X → Y, where functions are equivalent if they are close. A coarse equivalence is an coarse map [ f ]: (X, E) → (Y, F ) with a coarse inverse, i.e. a coarse map [g]: (Y, F ) → (X, E) with [ f ] ◦ [g] = [idY ] and [g] ◦ [ f ] = [idX]. Two coarse spaces are coarsely equivalent if there is a coarse equivalence between them. Coarse geometry may be thought of as the study of properties of coarse spaces that are defined up to coarse equivalence. To close the circle of ideas and conclude this brief introduction to coarse geometry, we remark that every metric space has a natural metric coarse structure Ed (consisting of all subsets of bounded neighborhoods of the diagonal). In this case, it is easy to verify that the notions of uniformly bounded, controlled, close and coarse equivalence for the coarse space (X, EdX ) coincide with the corresponding notions for the metric space (X, dX).
6 Coarse groups. The category of coarse spaces Coarse is the category with coarse spaces as objects and coarse maps as morphisms. From now on, we will use bold italic symbols to denote anything related to Coarse, so that X = (X, E) denotes a coarse space and f : X → Y denotes a coarse map (i.e. an equivalence class of controlled maps f : (X, E) → (Y, F )). In one sentence, a coarse group is a group object in the category of coarse spaces. More concretely, a coarse group is a coarse space G = (G, E) with a unit e ∈ G and coarse maps ∗: G × G → G and [-]−1 : G → G that obey the usual group laws “up to uniformly bounded error”. It is an empirical observation that the group objects in an interesting category turn out to be very interesting in their own right. For example: algebraic groups, Lie groups and topological groups are all defined as group objects in their relevant categories. Given this premise, it is natural to be interested in coarse groups! One bewildering feature we came to appreciate while developing this work is that even basic questions regarding coarse groups end up being connected with the most disparate topics. To mention a few, we see that the study of coarse structures on Z quickly takes us in the realm of number theory; a similar study on more general groups connects with questions regarding the existence of bi-invariant metrics. Investigating non-abelian free groups leads us towards the theory of (stable) commutator length and Out(Fn). Banach spaces give rise to all sort of interesting examples, and, to conclude, the study of coarse homomorphisms between coarse groups is a natural generalization of the theory of quasimorphisms. We will provide a more detailed explanation of these aspects in the following subsections. To avoid confusion, from now on we will always add an adjective to the word “group” to specify the category we are working in. We will thus have coarse groups, topological groups, algebraic groups, and—rather unconventionally—we will use the term set-group to denote groups in the classical sense, which are group objects in the category of sets.
Coarse actions. Since their conception by Galois, set-group actions have been just as important as the set-groups themselves. It is then natural to try to understand what actions should look like in the category of coarse spaces. Of course, there is a natural definition of coarse action of a coarse group G on a coarse space Y. Namely, it is a coarse map α: G×Y → Y that satisfies the usual axioms for actions of set-groups up to uniformly bounded error. This definition directly generalizes other classical notions, such as that of quasi-action. Apart from its naturality, one interesting aspect of the theory of coarse actions is that it allows us to look at classical results from a different perspective. In a sense that we will make precise later on, there is a strong connection between coarse actions and left-invariant coarse structures. Using this shift of perspective, we can then realize that the Milnor–Švarc Lemma is more or less equivalent to the observation that left-invariant coarse structures on a set-group G are determined by the bounded neighborhoods of the unit e ∈ G.
Purpose and motivation. The goal of this monograph is to lay the foundations for a theory of coarse groups. In a large part, we wrote this text as a service to the community: rather than pushing towards a specific application, we made an effort to develop a self-contained exposition with emphasis on examples. We also point at some of the many connections between this topic and other subjects, and we leave a number of open questions for future research. On a first read, it may be helpful to imagine all coarse spaces as metric spaces: the case of metric coarse spaces already contains many of the conceptual difficulties of the general theory of coarse spaces. However, we found that Roe’s formalism of coarse spaces was of great help in identifying the crucial points of the theory. Another reason for embracing Roe’s language is that it generalizes effortlessly to various other settings and constructs. This gives rise to a richer, more flexible theory. For example, any abelian topological group admits a natural coarse structure where the controlled sets are contained in uniformly compact
7 neighborhoods of the diagonal. These topological coarse structures are such that any abelian topological group is coarsely equivalent to any of its cocompact lattices. One significant case is that of the group of rational numbers: Q is a cocompact lattice in the ring of adeles AQ, hence Q and AQ are isomorphic coarse groups (the former is seen as a discrete topological group, the latter has a natural locally compact topology). This fact is analogous to the obvious remark that Z and R are coarsely equivalent and, using the formalism of coarse spaces, it is just as simple to prove. Our interest in this subject was sparked by Uri Bader’s realization that this observation allows for a unified proof of the fact that the spaces of “quasi-endomorphisms” of Z and Q are naturally identified with R and AQ respectively [Bad21]. The general language of coarse spaces is also well suited for dealing with large (i.e. non finitely generated groups). This is the same reason why Rosendal adopted it in his recent monograph on the coarse geometry of topological groups [Ros17]. Finally, we should also point out that the theory of coarse spaces is commonly used in the operator algebras community in relation with C∗-algebras of geometric origin. We shall not pursue these topics in this monograph, but we leave them for future work.
1.2 On this manuscript This text is organised in two separate parts. The first part is mostly concerned with elementary properties and constructions of coarse groups and coarse actions. Here we prove a number of fairly basic “utility results” and verify that the various pieces of the theory fit well together and work as expected. This part is for the most part self contained and the proofs are rather detailed. We also made an effort to develop this using both Roe’s language of coarse structures [Roe03] and the approach in terms of “controlled coverings” à la Dydak–Hoffland [DH08]. In this regard, it is a recommended exercise to the reader to translate statements and proofs of various results from one language to the other. Of course, not all the material presented in this part is novel. Almost all the general facts about the category of coarse spaces can be found scattered in the literature. Also various ideas that are important in the development of the theory of coarse groups and coarse actions exist in a more or less implicit form in previous works. Besides Roe, other names of mathematicians who played a role in developing the theory of coarse geometry that we use in this text include Bader, Brodskiy, Dikranjan, Dydak, Hoffland, Mitra, Nicas, Protasov, Protasova, Rosendal, Rosenthal, and Zava. More detailed citations are included throughout the text. While writing this manuscript, we decided to recollect and introduce all the necessary facts and conventions to provide a unified framework with consistent nomenclature and notation.
The second part of the text has a rather different flavour. The goal here is to point at possible research directions and connections with more classical subjects. To do so, we selected and developed some specific topics according to our own taste. By design, this part is much less self-contained, as it is largely meant to connect with pre-existing literature. For the most part, these topics can be read independently from one another. Here the proofs are generally briefer than in the first part. We also spend more time in introducing and discussing a number of open questions. This work only scratches the surface of a theory of coarse groups and their coarse actions. All the topics we considered led us towards all sorts of interesting mathematics: more than we could hope to do ourselves. Rather than as a complete treatment, we see this part of the manuscript as an invitation to further research.
We should point out that, despite being inspired by the categorical perspective, we decided to avoid making heavy use of the categorical language in the main body of this text. Instead, we collected various categorical remarks in the appendix.
Warning. Albeit almost definitive, this manuscript is still a draft! The final version of this text will certainly differ on a number of details. This also means that there will be more typos than usual, for
8 which we apologize. Moreover, at this stage we are particularly interested in comments and feedback. We have tried our best to correctly cite the existing literature, but we surely missed some. Any suggestion in this regard would be very welcome.
1.3 List of findings I: basic theory Coarse groups. By definition, if G = (G, E) is a coarse group and ∗: G × G → G is the coarse multiplication map, any of its representatives ∗: G × G → G must be controlled. The first step in our study of coarse groups, is to understand when a multiplication function on a coarse space is controlled. To do so, it is fundamental to observe that the multiplication function ∗ is controlled if and only if both the left multiplication (g ∗ -) and the right multiplication (- ∗ g) are equicontrolled as g varies in G, see Definition 2.6.1. The intuition is that a family of maps ( fi)i∈I between metric spaces is equicontrolled if and only if the maps are all controlled with the same control function ρ: [0, ∞) → [0, ∞). This elementary observation allows us to produce our first non trivial examples of coarse groups. In fact, if G is a set-group equipped with a bi-invariant metric d, then the left and right multiplication are −1 equicontrolled with respect to Ed. It follows that the group operation ∗ is controlled. The inversion (-) is an isometry, hence it is controlled as well. It then follows that (G, Ed) is a coarse group with coarse operations ∗ and [-]−1. Remark 1.3.1. An alternative, more categorical, point of view to the above remark is that groups with bi-invariant metrics are group objects in a category of metric spaces (see AppendixB). Considering metric coarse structures defines a functor from this category to Coarse, and it is easy to observe that this functor sends group objects to group objects. We can now provide concrete examples and begin to acquire a taste for a theory of coarse groups. The easiest examples are given by choosing an abelian group and giving it a left-invariant metric. This of course includes Zn and Rn with their Euclidean metric. Somewhat more exotic examples—which will be useful later—include the additive group of any infinite dimensional Banach space, e.g. the separable Hilbert space `2(N). On the non-abelian side, a fundamental example is given by the free group FS on S generators, equipped with the cancellation metric d×. Formally, d× can be defined as the word metric associated with the set of all conjugates of elements of S (note that this is an infinite set). An alternative definition is obtained by declaring that for every word w ∈ FS the distance d×(e, w) is the minimal number of letters of w that it is necessary to cancel to make it equivalent to the trivial word (the letters can appear in any −1 position in w). The metric is then determined by the identity d×(w1, w2) = d×(e, w1 w2). As a coarse group, (FS , Ed× ) is considerably more complicated than the previous examples because it is not even coarsely abelian (i.e. the distance d×(w1w2, w2w1) is not uniformly bounded as w1, w2 range in FS ).
Remark 1.3.2. Every set-group G can be made into a trivially coarse group (G, Emin) by declaring that the only bounded sets are singletons (i.e. G is given the trivial coarse structure Emin consisting only of diagonal subsets). In other words, the coarse group (G, Emin) is not coarse at all, because no non-trivial error is a bounded error. The importance of this degenerate example is that it shows how to see the theory of coarse groups as an extension of the classical theory of set-groups: every “coarse” statement or definition reduces to the relevant classical notion when specialised to trivially coarse groups. It will soon become apparent that Geometric Group Theory itself can be thought of as the study of coarse actions of trivially coarse groups.
The above examples of coarse groups are all obtained by equipping some set-group G with a coarse structure E so that G = (G, E) is a coarse group (i.e. G is a coarsified set-group). In other words, these are coarse groups whose coarse operations admit representatives that satisfy the group axioms “on the nose”. However, this need not be the case in general. As a matter of fact, it turns out that the various group
9 axioms behave rather differently. It is not hard to show that it is always possible to find well-adapted representatives so that the identities g ∗ e = e ∗ g = g and g ∗ g−1 = g−1 ∗ g = e hold for every g ∈ G (Lemma 4.4.3). On the other hand, one can come up with examples where every representative for ∗ fails to be associative. In view of this, one may also say that coarse groups are coarse spaces equipped with a coarsely associative binary operation that has a unit and inverses. It is worth pointing out that the lack of associativity implies that even well-adapted representatives that satisfy the unit and inverse axiom may be rather nasty. In particular, (-)−1 need not be an involution and the left multiplication (g−1 ∗ -) need not be an inverse of the function (g ∗ -) (in fact, these functions might not even be bijective)! On the positive side, we can prove that these issues can be ignored by moving to some isomorphic coarse group:
Theorem 1.3.3 (Theorem 4.4.6). For every coarse group G there exists an isomorphic coarse group Gˇ whose coarse operations admit well-adapted representatives so that (-)−1 is an involution and (g−1 ∗ -) is the inverse of (g ∗ -) for every g ∈ G.ˇ
We would like to mention two more properties of coarse groups. The first one is a useful fact that makes it easier to check whether a coarse space endowed with multiplication and inverse operations is a coarse group. Namely, if one already knows that the multiplication function is controlled then the inverse is automatically controlled:
Theorem 1.3.4 (Theorem 4.2.6). Let G = (G, E) be a coarse space, e ∈ G and ∗, (-)−1 be operations that coarsely satisfy the axioms of associativity, unit and inversion. If ∗ is controlled then (-)−1 is controlled as well and G endowed with the coarse operations ∗ and [-]−1 is a coarse group.
Remark 1.3.5. This should be contrasted with the topological setting: it is not true that if a set-group G is given a topology τ so that the multiplication function is continuous then (G, τ) is a topological group. In fact, there are examples where the inversion is not continuous. It is an important property of coarse groups that their coarse structure is determined “locally”. Informally, this means that a family of subsets Ui ⊆ G of a coarse group G is uniformly bounded if and only if there is some bounded set B such that each Ui is contained in some translate of B. A more formal statement is analogous to the fact that the topology of a topological group is completely determined by the set of open neighborhoods of the identity:
Proposition 1.3.6 (Proposition 4.5.2). Let E, E0 be two coarse structures on a set G, and assume that ∗, e, (-)−1 are fixed so that both (G, E) and (G, E0) are coarse groups. Then E ⊆ E0 if and only if every E-bounded set containing e is E0-bounded.
Remark 1.3.7. Once a set G and ∗, e, (-)−1 are fixed, it is possible to explicitly characterize whether a certain family (Ui)i∈I of subsets of G is the family of all E-bounded subsets of G for some coarse structure E so that (G, E) is a coarse group. Informally, this is the case if and only if (Ui)i∈I is closed under finite products and arbitrary unions of conjugates (the formal statement is given in Proposition 4.6.1). Since products of compact sets are compact, it follows that every abelian topological group (G, τ) can be given a unique coarse structure Eτ so that the Eτ-bounded sets are the relatively compact subsets of G and (G, Eτ) is a coarse group.
Coarse homomorphisms, subgroups and quotients. A coarse homomorphism between coarse groups is a coarse map f : G → H that is compatible with the coarse group operations. Equivalently, if f : G → H is a representative for f then the image f (g1 ∗G g2) must coincide with the product f (g1) ∗H f (g2) up to uniformly bounded error. Quasimorphisms are a good example of coarse homomorphisms. Recall that a R-quasimorphism of a set-group G is a function φ: G → R such that |φ(g1g2) − φ(g1) − φ(g2)| is uniformly bounded. Let
10 E|-| be the metric coarse structure on R associated with the Euclidean metric. If E is a coarse structure on G so that G = (G, E) is a coarse group, then φ: G → (R, E|-|) is a coarse homomorphism as soon as the R-quasimorphism φ is controlled. An examination of the rich literature on R-quasimorphisms and bounded cohomology shows that coarse homomorphisms can differ greatly from usual homomorphisms of set-groups. Remark 1.3.8. The fact that coarse structures on coarse groups are determined locally has some useful consequences for their coarse homomorphisms. Namely:
• Let G = (G, E), H = (H, F ) be coarse groups and let f : G → H be a function that so that f (g1 ∗G g2) and f (g1) ∗H f (g2) (resp. f (eG) and eH) coincide up to uniformly bounded error. If f sends bounded sets to bounded sets then it is automatically controlled, hence f is a coarse homomorphism (Proposition 5.1.14).
• If f : G → H is a proper coarse homomorphism (i.e. so that preimages of bounded sets are bounded) then it is a coarse embedding (Corollary 5.1.9).
Naturally, two coarse groups are said to be isomorphic if there exist coarse homomorphisms f : G → H and g: H → G that are coarse inverses of one another.
At this point the theory becomes more subtle. We wish to declare that a coarse subgroup of a coarse group G is the image of a coarse homomorphism f : H → G. However, coarse homomorphisms are only defined up to some equivalence relation, hence so are their images. Explicitly, we define the equivalence relation of asymptoticity (Definition 3.3.2) on the set of subsets of a coarse space and we define the coarse image of a coarse map f : X → Y to be the equivalence class of f (X) ⊆ Y up to asymptoticity. For intuition, the reader should keep in mind that if X = (X, Ed) is a metric coarse space then two subsets of X are asymptotic if and only if they are a finite Hausdorff distance from one another. A coarse subgroup of G (denoted H < G) is the coarse image of a coarse homomorphism to G. Alternatively, we can characterize the coarse subgroups of G = (G, E) as those equivalence classes [H] −1 where H ⊆ G is a subset so that [H] = [H ∗G H] and [H] = [H ] (Proposition 5.2.2). Strictly speaking, a coarse subgroup H < G is not a coarse group because the underlying set is only defined up to equivalence. However, whenever a representative is fixed H is indeed a coarse group. Moreover, different choices of representatives yield canonically isomorphic coarse groups. We are hence entitled to forget about this subtlety and treat coarse subgroups as coarse groups. Coarse subgroups can be used to appreciate some interesting behaviour in the theory of coarse groups. d d For example, let V ⊂ R √be a k-dimensional affine subspace and let H ⊂ Z be the subset of lattice points that are within distance k from V. Since V + V is at finite Hausdorff distance from V, it follows that [H] d is a coarse subgroup of (Z , Ek-k). A peculiar feature of [H] is that one can choose V with an irrational slope so that H is not asymptotic to any subgroup of Zd. It is also worthwhile noting that quasicrystals in Rd give rise to coarse subgroups as well. We should point out that, although mildly puzzling, these coarse k subgroups are not very interesting as coarse group, as they are always isomorphic to (R , Ek-k). More exotic examples can be obtained considering infinite approximate subgroups. Recall that an approximate subgroup is a subset A of a set-group G so that A = A−1 and the set of products AA is contained into finitely many translates of A (i.e. AA ⊆ XA for some X ⊂ G finite). Now, if E is a coarse structure on G so that (G, E) is a coarse group and every finite subset of G is E-bounded, it follows that for any approximate subgroup A ⊂ G the asymptotic class [A] is a coarse subgroup of (G, E). We will later return to these ideas to construct coarse subgroups of (F2, Ed× ).
Quotients of coarse groups are obtained by enlarging the coarse structure. Morally, the point of coarse geometry is that points in a coarse space can only be distinguished up to uniformly bounded error. If we
11 enlarge the coarse structure, fewer points can be distinguished, therefore this “coarser” coarse space is for all intents and purposes a quotient of the original space. We then say that a coarse quotient of a coarse group G = (G, E) is a coarse group (G, F ) so that E ⊆ F . This definition behaves as expected: a coarse group Q is isomorphic to a coarse quotient of G if and only if there is a coarsely surjective coarse homomorphism q: G → Q. Remark 1.3.9. Notice that unlike the case of set-groups, a coarse quotient of a coarse group need not be “quotient by a coarse subgroup”. For example, the coarse group (Z, E|-|) is a coarse quotient of the trivially coarse group (Z, Emin), however there is no coarse subgroup [H] < (Z, Emin) so that (Z, E|-|) is obtained by “modding out H” (recall that the Emin is the coarse structure so that points coarsely coincide only if they they are the same, Remark 1.3.2). It is still true that if N E G is a coarsely normal coarse subgroup of G, there is a well-defined coarse quotient G/N (see below for more on this).
Coarse kernels and Isomorphism Theorems. Recall the coarse image of a coarse map is only defined up to asymptoticity. Similarly, we expect that the preimage of some coarse subspace should only be defined up to equivalence. However, the situation is even more delicate, as coarse preimages may not exist at all! The reason for this is already present in Remark 1.3.9. If we consider the coarse map idZ : (Z, Emin) → (Z, E|-|), we see that any E|-|-bounded set can be seen as a reasonable preimage of 0. However, these sets are not asymptotic according to the trivial coarse structure. We are hence unable to make a canonical choice of a coarse subspace of (Z, Emin) to play the role of the coarse preimage of [0] ⊂ (Z, E|-|). Fortunately, for many important examples of coarse maps f : X → Y we can define canonical coarse preimages. Namely it is often the case that all the reasonable candidate preimages of some coarse subspace Z ⊆ Y are asymptotic to one another. When this happens, we say that this equivalence class is the coarse preimage of Z and we denote it by f −1(Z) (Definition 3.5.7). We say that a coarse homomorphism of coarse groups f : G → H has a coarse kernel if [eH] ⊆ H has −1 a coarse preimage. In this case we denote it by Ker( f) B f (eH). Given the premise, it is unsurprising that not every coarse homomorphism has a coarse kernel. However, when it does exist it is well behaved: we prove in Subsection 7.2 that appropriate analogs of the isomorphism theorems relating subgroups, kernels and quotients hold true in the coarse setting as well (Theorems 7.2.1, 7.2.2 and 7.2.3).
Coarse actions. As announced, a coarse action α: G y Y of a coarse group G = (G, E) on a coarse space Y = (Y, F ) is a coarse map α: G × Y → Y that is coarsely compatible with the coarse group operations. That is, any representative α for α is so that α(g1, α(g2, y)) is uniformly close to α(g1 ∗ g2, y) and α(e, y) is uniformly close to y for every g1, g2 ∈ G, y ∈ Y. Once again, in order for α to be controlled it is necessary that the functions α(g, - ) and α(- , y) be equicontrolled.
Remark 1.3.10. If G is a set-group and α: G y (Y, dY ) is an action by isometries then α: (G, Emin) y
(Y, EdY ) is a coarse action of the trivially coarse group. However, it is generally not true that if dG is a bi-invariant metric on G then α: (G, EdG ) y (Y, EdY ) is a coarse action: in order to make sure that α is controlled it is necessary that dY (α(g1, y), α(g2, y)) is uniformly bounded in terms of dG(g1, g2). Prototypical examples of coarse group actions of a coarse group G include the actions of G on itself by left multiplication (more on this later) and by conjugation. A useful feature of the latter is that it allows us to define coarse abelianity, normality etc. in terms of (coarse) fixed point properties.
Given two coarse actions α: G y Y, α0 : G y Y0 of the same coarse group G, we say that a coarse map f : Y → Y0 is coarsely equivariant if it intertwines the G-actions up to uniformly bounded error (Definition 6.1.8). As we did for coarse groups, we say that a quotient coarse action of α: (G, E) y (Y, F ) is a coarse action α: (G, E) y (Y, F 0) where F 0 ⊇ F is some coarser coarse structure on Y so that the
12 functions α(g, - ) are still equicontrolled (this is necessary to ensure that α is still controlled). Once again, this is a consistent definition because a coarsely equivariant map f : (Y, F ) → Z is coarsely surjective if and only if it factors through a coarsely equivariant coarse equivalence (Y, F 0) Z. Given a coarse subgroup [H] = H < G = (G, E), we can define a coarse action of G on the coarse coset space G/H by considering an appropriate quotient of the coarse action by left multiplication G y G. Namely, G/H is the set G equipped with the smallest coarse structure containing E and such that H is bounded and G y G/H is a coarse action (it is interesting to note that, as in Remark 1.3.9, we may also consider coset spaces G/A where A ⊂ G is any coarse subspace, not necessarily a coarse subgroup). The following result is an ingredient in the proof of the First Isomorphism Theorem.
Theorem 1.3.11 (Theorem 6.6.12). Let H ≤ G be a coarse subgroup. The coarse space G/H can be made into a coarse group with coarse operations that are compatible with the coarse action G y G/H if and only if H is coarsely normal in G.
Something interesting happens when looking at orbit maps and pull-backs of coarse structures. Let α: (G, E) y (Y, F ) be a coarse action and fix a point y ∈ Y. We may then consider the orbit map αy : G → Y given by αy(g) B α(g, y). We can use this function to define a pull-back coarse structure ∗ αy(F ) on G. It follows from the definition of pull-back coarse structure that the orbit map αy defines ∗ a coarse equivalence between (G, αy(F )) and the coarse image αy(G) ⊆ Y. For a set-group G acting by isometries on a metric space (Y, dY ), this is equivalent to defining a (pseudo) metric on G by letting dG(g1, g2) B dY (α(g1, y), α(g2, y)) and giving G the resulting metric coarse structure EdG . ∗ It follows from the construction that E ⊆ αy(F ) and that the left multiplication defines a coarse ∗ ∗ action (G, E) y (G, αy(F )). The orbit map αy : (G, αy(F )) → Y is coarsely equivariant. In turn, if αy is coarsely surjective—in which case we say that the action is cobounded—it follows that (G, E) y (Y, F ) is a coarse quotient of the coarse action by left multiplication of (G, E) on itself. It is also simple to verify that if y0 is a point close to y then the two orbit maps give rise to the same pull-back coarse structure. More generally one can show with a bit of work that if G y Y is a cobounded coarse action then the pull-back coarse structure is uniquely defined up to conjugation. Putting these observations together, one obtains the following characterization of cobounded coarse actions:
Proposition 1.3.12 (Proposition 6.3.8). Let G = (G, E) be a coarse group. There is a natural correspon- dence: {cobounded coarse actions of G}/coarsely equivariant coarse equivalence and
{F coarse structure | E ⊆ F , left multiplication is a coarse action (G, E) y (G, F )}/conjugation.
Recall that group coarse structures are determined locally (Proposition 1.3.6). The same is true for coarse structures associated with coarse actions. Namely, let (G, E) be a coarse group and let F , F 0 be two coarse structures on G so that the left multiplication defines coarse actions (G, E) y (G, F ) and (G, E) y (G, F 0) (such coarse structures are said to be equi-left-invariant). Then F ⊆ F 0 if and only if they every F -bounded subset of G is also F 0-bounded. In particular, to check whether the two coarse structures coincide it is enough to verify that they have the same bounded sets. We claim that this simple observation can be seen as the heart of the Milnor–Švarc Lemma. More precisely the Milnor–Švarc Lemma states that if a set-group G has a proper cocompact action on a proper geodesic metric space (Y, dY ) then it is finitely generated and quasi-isometric to (Y, dY ). To prove this theorem, we start by remarking that cocompactness implies that the coarse action (G, Emin) y (Y, EdY ) ∗ is cobounded, therefore the orbit map is a coarse equivalence between (G, αy(EdY )) and (Y, dY ). Since
13 ∗ the action is proper, the bounded subsets of (G, αy(EdY )) are the finite ones. By the coarse geodesicity of ∗ αy(EdY ), it follows that G is finitely generated. Let dG be a word metric associated with a generating set, then (G, Emin) y (G, EdG ) is also a coarse action. Since the bounded subsets of (G, EdG ) are the finite ∗ ones, it follows that EdG = αy(EdY ) and hence the orbit map is a coarse equivalence between (G, EdG ) and (Y, EdY ). Finally, we already remarked that coarse equivalences between geodesic metric spaces are always quasi-isometries (see Corollary 6.4.3 for a detailed proof). One may say that the above proof of the Milnor–Švarc Lemma bypasses most of the difficulties of the more standard proofs by avoiding working in the metric space Y. Instead, it is based on the observation that the relevant “coarse properties” are well behaved under taking pull-back and this allows us to reduce everything to the study of equi-left-invariant coarse structures on set-groups. We can also appreciate how the argument splits into many independent observations, showing precisely which hypothesis is necessary at any single step. By extension, we anticipate that a coarse geometric perspective will bring a fair amount of clarity into various complicated geometric constructions.
1.4 List of findings II: selected topics Coarsified set groups. The most natural connection between the theory of coarse groups and classical set-group theory is certainly to be found in the study of coarsified set-groups. Namely, those coarse group (G, E) where G is a set-group. Every set-group G has two extreme coarsifications: the trivial one (G, Emin) and the bounded on (G, Emax) (the latter is the coarse structure where the whole of G is bounded). From the coarse point of view, neither of these is an interesting coarsification: the former reduces to classical set-group theory, the latter is always isomorphic to the coarse group having only one point ({e}, Emax). We are therefore interested in those coarsifications that lie in between. To avoid trivial coarse structures, we will be interested in coarsely connected coarsifications. These are coarsifications (G, E) so that every element g ∈ G is E-close to the unit e ∈ G. Typical examples are given by metric coarsifications: if d is some metric on G then for every g ∈ G the distance d(g, e) is some finite number and hence g is Ed-close to e. The reason why coarsely connected coarsifications are particularly interesting for us is that for any coarsification (G, E) the set of points g ∈ G that are E-close to e is a normal subgroup G0 < G and the coarse group (G, E) factors through the quotient (G, E) → (G/G0, Emin). The general question we wish to address is: Question 1.4.1. Which set-groups G admit unbounded coarsely connected coarsifications (G, E)?
Not every infinite set-group has an unbounded coarsely connected coarsification. Specifically, we say that a set-group G is intrinsically bounded if (G, Emax) is the only coarsely connected coarsification of G. Examples of infinite intrinsically bounded set-groups include the dihedral group D∞ and SL(n, Z) with n ≥ 3 (this follows from some bounded generation properties). More generally, it follows from the work of Duszenko and McCammond-Petersen that a Coxeter group is intrinsically bounded if and only if it is of spherical or affine type [Dus12, MP11]. Generalizing the case of SL(n, Z), Gal–Kedra also prove that “many” Chevalley groups are intrinsically bounded [GK11]. Question 1.4.1 is very much related to the existence of unbounded bi-invariant metrics. If d is an unbounded bi-invariant metric on G then (G, Ed) is an unbounded coarsely connected coarsification. For “small” groups this actually characterizes intrinsic boundedness:
Proposition 1.4.2 (Proposition 8.3.4). If a set-group G is normally finitely generated or countable, then it is intrinsically bounded if and only if it does not admit any unbounded bi-invariant metric.
We should remark that “most” infinite groups are not intrinsically bounded. For example, it follows by the work of Epstein–Fujiwara [EF97] that every infinite Gromov hyperbolic group has an unbounded bi-invariant metric. It follows that a random (in the sense of Gromov) infinite finitely generated group is not intrinsically bounded.
14 Coarsifications of Z. The Euclidean metric shows that Z does have unbounded coarsely connected coarsifications. As it turns out, this is but one of its many coarsifications. It is perhaps unsurprising that any attempt to classify such coarsifications leads to interesting problems in number theory. One source of coarsifications is obtained by picking word metrics dS associated with (infinite) generating sets S ⊂ Z. It is often a delicate problem to understand whether two different generating 0 sets S , S give rise to the same coarse structure EdS = EdS 0 . For example, if S = P is the set of all prime numbers, the equality EdP = Emax is equivalent to the highly non-trivial statement that every natural number is equal to the sum of a bounded number of primes. One may even say that the Goldbach conjecture is a very strong effective version of this result. In general, it appears that the only coarse structures EdS that are relatively well understood are those where S is a union of geometric sequences. A different way of defining coarsifications of Z is by observing that every abelian topological group (G, τ) admits a natural coarse structure Eτ whose bounded sets are the relatively compact subsets of G. This creates a link with the study of group topologies on Z: any such topology τ defines a coarsification 0 0 Eτ. Once again, given different topologies τ , τ it is generally challenging to distinguish Eτ from Eτ. One viable strategy is to find a sequence (an)n∈N that τ-converges to some point a∞ ∈ Z, but so that the set 0 {an | n ∈ N} is not relatively compact according to τ . This technique proves very effective to differentiate between coarsifications arising from profinite completions of Z. More precisely, given any set Q of prime numbers we define a group topology τQ on Z via the diagonal embedding in the product of the pro-p Q completions Z ,→ p∈Q Zp. We can then prove:
0 0 Proposition 1.4.3 (Proposition 9.2.4). Let Q, Q be sets of primes. Then EτQ = EτQ0 if and only if Q = Q . Corollary 1.4.4. There exists a continuum of distinct coarsely connected coarsifications of Z.
Cancellation metrics. An important means of defining bi-invariant metrics on set-groups is via cancella- tion metrics (i.e. word metrics associated with conjugation invariant sets). Of course, the word metrics on Z discussed above are special kinds of cancellation metrics. We also mentioned cancellation metrics on non-abelian free groups, as they provided examples of coarse groups that are not coarsely abelian. One reason why these metrics are important is that they are relatively easy to define and they tend to yield “large metrics”. Namely, it is often the case that a set-group G is intrinsically bounded if and only if all its cancellation metrics are bounded. It turns out that it is always possible to recognise whether a coarsification of a set-group arises from a cancellation metric. Coarse structures have a notion of a “generating set of relations” (paragraph before Lemma 2.2.9), and we say that a coarsely connected coarse structure is coarsely geodesic if it is generated by a single relation (Definition 6.4.2). Informally, this definition is an analog of the fact that if (X, d) is a geodesic metric space we can estimate the distance d(x, y) between any two points as the length of the shortest sequence x0,..., xn so that x = x0, y = xn and d(xi, xi+1) ≤ 1 for all 1 ≤ i ≤ n. The following holds:
Proposition 1.4.5 (Proposition 8.2.2). Let G be a set-group. A coarsification (G, E) is coarsely geodesic if and only if there exists a cancellation metric d× so that E = Ed× .
S If S is a generating set for a set-group G, we denote by d× the cancellation metric associated with the 0 normal closure of S . If G is finitely generated and S, S are two finite generating sets, then E S = E S 0 . d× d× This means that every finitely generated set-group has a canonical coarsification. Given the success of Geometric Group Theory, it seems all but natural to study it! It is simple to verify that this coarse structure is the finest coarsely connected coarsification. Namely, if G is finitely generated, any coarsely connected coarsification (G, E) is a coarse quotient of (G, E S ) (i.e. d× S E ⊆ E S ). In particular, such a G is intrinsically bounded if and only if d has finite diameter. d× ×
15 At this point we should issue a warning to the geometric group theorists: the inclusion Z ⊂ D∞ shows that cancellation metrics are very poorly behaved when taking finite index subgroups! This shows that bi-invariant metrics depend rather subtly on the algebraic properties of set-groups and opens the way to all sorts of questions. For example, we do not know whether the canonical coarsifications of non-abelian free groups Fn and Fm can ever be isomorphic as coarse group if n , m.
Coarse groups that are not coarsified set-groups. The vast majority of the examples of coarse groups that we gave so far are coarsified set groups. This need not be the case: one may find a coarse group G = (G, E) so that no choice of representatives for the coarse operations ∗ and [-]−1 makes G into a set-group. However, we also showed that for every coarse group one can find an isomorphic coarse group whose coarse operations have representatives that fail only to be set-group operations because ∗ is coarsely associative (Theorem 1.3.3). It is reasonable to ask whether every coarse group is in fact isomorphic to some coarsified set group. We believe that this is not the case. That is, we conjecture that there exists a coarse group G that is not isomorphic (as a coarse group) to any coarsified set group. We also describe a suitable candidate.
Let (F2, Ed× ) be the coarsification associated with the canonical cancellation metric of the free group of rank-2. Let also f : F2 → R be a homomorphism sending one generator to 1 and the other to some irrational number α, and let K B f −1([0, 1]). The asymptotic equivalence class [K] is a coarse subgroup of (F2, Ed× ) (this is the coarse kernel of the coarse homomorphism f : (F2, Ed× ) → (R, Ed)), hence it uniquely determines a coarse group up to isomorphism. We conjecture that this kernel is not isomorphic to a coarsified set-group. We prove a criterion to recognise when a coarse group is isomorphic to a coarsified set group (Proposition 11.1.1). Using this criterion, we can reduce our conjecture to a very elementary—albeit complicated—combinatorial problem.
Coarse homomorphisms and coarse automorphisms. For given coarse groups G, H, it is often interesting to study the set HomCrs(G, H) of coarse homomorphisms f : G → H. If G = (G, E), H = (H, F ) are coarsified set groups, it is very natural to compare HomCrs(G, H) with the set of set-group homomorphisms Hom(G, H). One reason for doing so, is that statements relating set-group homomorphisms with coarse homomorphisms can often be seen as rigidity phenomena of the set-group (or lack thereof). Perhaps the simplest non-trivial example is given by the metric coarsification (Z, E|-|) associated with the Euclidean metric on Z. It is not hard to show that a function φ: Z → Z determines a coarse homomorphism if and only if it is an R-quasimorphism. We hence obtain a complete characterization of HomCrs((Z, E|-|), (Z, E|-|)) because it is well-known that the set of R-quasimorphisms of Z up to bounded distance can be identified with R. It is suggestive to note that when we compare coarse homomorphisms Z → Z with R-quasi- morphisms we are implicitly using the isomorphism of coarse groups (Z, E|-|) (R, E|-|) to identify HomCrs((Z, E|-|), (Z, E|-|)) with HomCrs((Z, E|-|), (R, E|-|)). In turn, if we focus on the set-group of coarse ∗ automorphisms (i.e. invertible coarse homomorphisms) we see that AutCrs(Z, E|-|) AutCrs(R, E|-|) R . In other words, every coarse automorphism of R is close to a linear transformation. This fact is not special about R: with some care it can be extended to other normed vector spaces:
Proposition 1.4.6 (Proposition 12.2.1). If V1, V2 are real Banach spaces then the set of coarse homomor- phisms can be identified with the space of bounded linear operators
Hom ((V , Ek k ), (V , Ek k )) = B(V , V ). Crs 1 - V1 2 - V2 1 2
n Corollary 1.4.7. For every n ∈ N we have AutCrs(Z , Ek-k) GL(n, R).
16 Recall that an arbitrary coarse homomorphism need not have a well-defined coarse kernel. It is interesting to note that in the linear setting we know precisely when this is the case:
Proposition 1.4.8 (Proposition 12.2.4). Let T : (V1, Ek-k1 ) → (V2, Ek-k2 ) be a coarse homomorphism between Banach spaces and let T be its linear representative. Then T has a coarse kernel if and only if T(V1) is a closed subspace of V2. When this is the case, Ker(T) = [ker(T)]. Another case of interest is where G = (G, EG ) and H = (H, EH ) are the coarsifications of finitely d× d× generated set-groups associated with the natural cancellation metrics. In this case there is a natural map Φ: Hom(G, H) → Hom (G, H). It follows from the bi-invariance of EH that for every h ∈ H any Crs d× −1 homomorphism f : G → H is close to its conjugate ch ◦ f (x) B h f (x)h . We thus obtain a quotient map
Φ: Hom(G, H)/conj. → HomCrs(G, H).
In general, Φ need not be injective nor surjective. However, it can be studied on a case-by-case basis to give an idea of the level of compatibility of the algebraic/coarse geometric properties of G and H.
In the case G = H, this Φ also defines a homomorphism Φ: Out(G) → AutCrs(G, Ed× ). Note that n for G = Z the coarse structure Ed× coincides with the natural metric coarse structure Ek-k and hence n AutCrs(Z , Ed× ) GL(n, R). We then see that Φ is simply given by the inclusion GL(n, Z) ⊂ GL(n, R). This shows that in this case Φ is injective and it is very far from being surjective. One may also say that there are many “exotic” coarse automorphisms that do not arise from automorphisms of Zn.
Another case of interest is that of the non-abelian free set-group Fn. The set-group AutCrs(F2, Ed× ) is rather mysterious. However, we can use the work of Hartnick–Schweitzer [HS16] to prove the following.
Proposition 1.4.9 (Subsection 12.4). The map Φ: Out(Fn) → AutCrs(Fn, Ed× ) is injective. Furthermore,
AutCrs(Fn, Ed× ) is uncountable and contains torsion of arbitrary order. Remark 1.4.10. Hartnick–Schweitzer define a notion of quasimorphism for non-abelian set-groups. We can show that every set-group G has a canonical coarsification (G, EG→R) such that the space of quasi- morphisms from G to H á la Hartnick–Schweitzer coincides with the space of coarse homomorphisms
HomCrs((G, EG→R), (H, EH→R)) (Proposition 12.3.2).
Proper coarse actions. Recall the Milnor–Švarc Lemma is tightly related with the fact that equi-left-in- variant coarse structures are determined by their bounded sets. More precisely, given an action α: G y (Y, d), we gave an alternative proof for this result based on the study of the pull-back coarse structure ∗ ∗ αy(Ed) and its bounded sets. By definition, a subset B ⊆ G is αy(Ed)-bounded if and only if its image ∗ under the orbit map αy(B) is bounded in Y. One may thus say that the αy(Ed)-bounded sets measure the “lack of properness” of the orbit map. This observation motivates us to develop a language to describe “properness” for coarse actions. Just as coarse structures are used to describe the notion of “uniformly bounded sets”, the correct gadget to describe “bounded sets” is given by bornologies (Definition 13.1.1). A function between bornological spaces f : (X1, B1) → (X2, B2) is bornologous if it sends bounded sets to bounded sets; it is proper if the preimage of bounded sets is bounded. Of course, the family of E-bounded sets for a given coarse structure E is a bornology. A map between coarse spaces is proper if it is proper with respect to the associated bornologies. Let G = (G, E) be a coarse group and let B be a bornology on G containing all the E-bounded subsets of G. A coarse action α:(G, E) × (Y, F ) → (Y, F ) is B-proper (Definition 13.1.2) if the function
(α, πY ):(G, B) × (Y, F ) → (Y, F ) × (Y, F ) is proper, where πY is the projection to Y. We prove the following:
17 Proposition 1.4.11 (Proposition 13.2.1). A coarse action α: (G, E) × (Y, F ) → (Y, F ) is B-proper if and ∗ only if for every y ∈ Y the bornology B coincides with the set of αy(F )-bounded sets. This has a few implications. Firstly, we see that for a given bornology B on (G, E) there exists a B-proper coarse action if and only if there exists some coarse structure E0 on G such that E ⊆ E0, the left multiplication defines a coarse action (G, E) y (G, E0) and B is the set of E0-bounded subsets of G (this implies that B must be left-invariant). Secondly, the fact that equi-left-invariant coarse structures are determined by their bounded sets shows that all the orbits of B-proper actions are equivariantly coarsely equivalent to one another. This can be seen as a sort of “coarse orbit–stabilizer theorem”: the B-properness condition implies that B is the “coarse stabilizer bornology” of every point y ∈ Y and hence the orbit αy(G) ⊆ (Y, F ) can be equivariantly identified with an appropriate coarse quotient of the coarse action by left multiplication of G on itself.
It is interesting to test this language in the context of continuous actions of topological groups. Let α: G y Y be such an action, where we also assume that Y is Hausdorff. We may define a topological left coarse structure Fcpt on Y by declaring that for every compact set K ⊆ Y the family of its left translates g · K, g ∈ G are uniformly bounded sets. If we see G as a trivially coarse group (Remark 1.3.2), we may left then see that α: (G, Emin) y (Y, Fcpt ) is a coarse action. The family K of relatively compact subsets of G is a bornology and it turns out that the continuous action α is topologically proper if and only if the coarse action α is K-proper (Proposition 13.3.1). This fact provides us with a bridge from the topological world to that of coarse geometry. Using this bridge, it is simple to prove the following generalization of the Milnor-Švarc Lemma:
Proposition 1.4.12 (Proposition 13.3.5). Let G be a Hausdorff topological group and (Y, Ed) a coarsely geodesic proper metric space. If there exists a continuous proper and cocompact action α: G y Y by uniform quasi-isometries then G is compactly generated, and for any compact generating set K and y ∈ Y the orbit map αy :(G, dK) → (Y, d) is a quasi-isometry (where dK is the word metric associated with K).
Fragmentary coarse spaces The last topic we address is the study of the space of controlled functions between coarse spaces. Ideally, one would like to define a natural coarse structure on the set of controlled functions f : (X, E) → (Y, F ). Unfortunately, it is not possible to define such a coarse structure that is well-behaved under taking compositions. To give the idea of what goes wrong, consider the following example. Let X be a metric space 0 and ( fi)i∈I, ( fi )i∈I be families of Lipschitz functions from X to itself. One may then say that these two 0 families are uniformly close if there is some constant D so that d( fi(x), fi (x)) ≤ D for every i ∈ I, x ∈ X. When this happens, we think of these families to be coarsely indistinguishable. However, if we are 0 now given two more families of uniformly close Lipschitz functions (gi)i∈I, (gi )i∈I there is no reason 0 0 why the compositions (gi ◦ fi)i∈I and (gi ◦ fi )i∈I should again be uniformly close. We are then in the problematic situation where the composition of two indistinguishable families of functions are no longer indistinguishable. One way to solve this issue is to only consider families of functions with uniformly bounded Lipschitz constants (albeit the bound may be arbitrarily large). As it turns out, this solution can be implemented in the full generality of coarse spaces via means of “fragmentary coarse structures”. A fragmentary coarse structure E on a set X is a family of subsets of X × X that satisfies some axioms which are only marginally weaker than those of a coarse structure (specifically, we do not require that E contains the diagonal ∆X, see Definition 14.1.1). In particular, every coarse structure is also a fragmentary coarse structure. In analogy with coarse spaces, we may then define a category of frag-coarse spaces. Crucially, this category is much better suited for studying spaces of controlled functions. If X = (X, E) and Y = (Y, F ) are (frag-)coarse spaces, we define a frag-coarse structure F E on the set of all controlled functions (X, E) → (Y, F ) (Definition 14.2.3). We denote by YX the resulting frag-coarse space. This definition is natural in the following sense:
18 Theorem 1.4.13 (Theorem 14.2.9). Let X, Y, Z be (frag-)coarse spaces. Then:
1. the evaluation map YX × X → Y sending ( f, x) to f (x) is controlled;
2. the composition map ZY × YX → ZX is controlled;
3. there is a natural bijection
{(frag-)coarse maps Z × X → Y} ←→ {frag-coarse maps Z → YX}.
Remark 1.4.14. In categorical terms, Theorem 1.4.13 means that the category FragCrse of frag-coarse spaces is Cartesian closed and that the category of coarse spaces can be enriched over FragCrse. Theorem 1.4.13 allows us to take a different point of view on coarse actions. For a given coarse space Y, the frag-coarse space YY is a frag-coarse monoid. One may then describe coarse actions G y Y as homomorphisms of frag-coarse monoids G → YY (Proposition 14.3.2). Let X, Y be two coarsely equivalent coarse spaces. Using some care, we may also define a frag-coarse space of coarse equivalences CE(X, Y) so that CE(X, X) is a frag-coarse group (this is somewhat more subtle than just taking the subspace of YX of functions that have a coarse inverse, see Definition 14.4.1). Considering the coarse action by left translation of a coarse group G on itself, we may then prove the following:
Theorem 1.4.15. Every coarse group is isomorphic to a coarse subgroup of a frag-coarsified set-group.
1.5 Acknowledgements We thank Uri Bader for suggesting this research project, and for many insightful conversations. We also thank Nicolaus Heuer for his helpful comments and insights. Most of the work was carried out while the authors were at the Weizmann Institute of Science, which we thank for the gracious hospitality. Both authors were partially supported by ISF grant 704/08. The second author was also Funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy EXC 2044 –390685587, Mathematics Münster: Dynamics–Geometry–Structure.
19 Part I Basic Theory
2 Introduction to the coarse category
In this chapter we introduce the category of coarse spaces, and define basic notions. We also give examples of coarse structures that are frequently useful. Basic notions include: controlled coverings, controlled maps, closeness, coarse equivalence, binary products, and equicontrolled maps. Most of the material in this section is standard, and appears in several sources, including [Roe03]. For this reason we will not prove everything in detail. The informed reader can skim this section. There are two main approaches to the theory of coarse spaces: via families of controlled coverings and coarse structures. We develop the correspondence between them in the first few sections. Each approach has advantages and disadvantages, and in this monograph we will use both approaches.
2.1 Some notation for subsets and products We begin by setting some notation. Given a set X, we denote families of subsets of X with lowercase fraktur letters (a, b,... ) and families of subsets of X × X with uppercase calligraphic letters (E, F ,... ). Subsets of X × X are called relations on X. A partial covering a ⊂ X is any family of subsets of X. It is a covering if X = S{A | A ∈ a}. Let a and a0 be two partial coverings of X, we say a is a refinement of a0 if for every A ∈ a there is an A0 ∈ a0 0 such that A ⊆ A . We call iX B {{x} | x ∈ X} the minimal covering of X (it is a refinement of every other covering). For any subset A ⊆ X and partial covering b of X, the star of A with respect to b is the set St(A, b) B S {B ∈ b | B ∩ A , ∅}. Note that A ⊆ St(A, b) if and only if b covers A—if b is a covering this is always the case. If a is another partial covering of X, the star of a with respect to b is the family St(a, b) B {St(A, b) | A ∈ a}. This is a special instance of a convention we will use often: if F : P(X) → P(Y) is a function sending subsets of X to subsets of Y and a is a partial covering of X, we denote by F(a) the family of images a B {F(A) | A ∈ a}. Now we will describe some operations on relations. Let X, Y be sets, denote by π1 : X × Y → X and π2 : X × Y → Y projections to the first and second coordinate. Given a relation E ⊆ X × Y we let Eop B {(y, x) | (x, y) ∈ E} ⊂ Y × X. For any subset Z ⊆ Y we define E(Z) ⊂ X as
−1 E(Z) B {x ∈ X | ∃z ∈ Z s.t. (x, z) ∈ E} = π1(π2 (Z) ∩ E).
Given points x ∈ X and y ∈ Y we define sections
xE B {z ∈ X | (x, z) ∈ E} ⊆ Y and Ey B {z ∈ X | (z, y) ∈ E} ⊆ X.
op That is, Ey = E({y}) and xE = E ({x}). Later we will also abuse notation and write E(y). Given 1 E1, E2 ⊆ X × X we denote their composition by:
0 0 0 E1 ◦ E2 B {(x1, x2) | ∃x ∈ X s.t (x1, x ) ∈ E1, (x , x2) ∈ E2} ⊆ X × X.
1We follow Roe’s convention on the order of composition of relations [Roe03]. This is coherent with the pair groupoid structure on X × X and it is so that E1 ◦ E2(Z) = E1(E2(Z)). One can see functions as relations by identify a function f : X → Y with its graphs graph ⊆ X × Y. However, our choice of the order of composition is not coherent with the usual composition of −1 functions. In particular, our conventions are so that f (x) = x(graph( f )) = (graph( f ) )({x}).
20 We denote the diagonal by ∆X ⊂ X × X. Given A ⊆ X, we let ∆A B ∆X ∩ (A × A). In the sequel it will be convenient to move back and forth between relations and partial coverings. Note that the following procedure works particularly well in dealing with relations that contain the diagonal. A relation E ⊆ X ×X naturally defines a partial covering E(iX) = {Ex | x ∈ X}. Given a partial covering a of X, we define the “block diagonal” by [ diag(a) B {A × A | A ∈ a} ⊂ X × X.
Note that a is a refinement of (diag(a))(iX). Vice versa, if E ⊆ X × X contains the diagonal ∆X, then E ⊆ diag(E(iX)). We leave it to the reader to prove the following facts about the relationship between the star and composition operations. Given E, F ⊆ X×X with ∆X ⊆ E then E◦F(iX) is a refinement of St(F(iX), E(iF)). Conversely, one can show that diag(St(a, b)) = diag(b)◦diag(a)◦diag(b) for any choice of partial coverings a, b.
Note that for every function f : X → Y, and partial coverings a, b of X the image f (St(a, b)) is a refinement of St( f (a), f (b)). Similarly, if we consider the product function f × f : X × X → Y × Y then for any two relations E1, E2 of X × X we have
f × f (E1 ◦ E2) ⊆ ( f × f (E1)) ◦ ( f × f (E2)).
2.2 Coarse structures We follow [Roe03] to define coarse structures and coarse spaces. We will also explain how to describe coarse structures in terms of controlled partial covering. This alternative description is essentially due to Dydak–Hoffland [DH08]. Definition 2.2.1 (See [Roe03]). A coarse structure on a set X is a collection E of relations on X (subsets of X × X) that is closed under taking subsets and finite unions and such that
(i) ∆X ∈ E (contains the diagonal); (ii) if E ∈ E then Eop ∈ E (closed under symmetry);
(iii) if E1, E2 ∈ E then E1 ◦ E2 ∈ E (closed under composition). The relations E ∈ E are called controlled sets or entourages for the coarse structure E. A set equipped with a coarse structure is called a coarse space. Example 2.2.2. The two extreme examples of coarse structures on a set X are the minimal coarse structure Emin = {∆Z | Z ⊆ X} and the maximal coarse structure Emax = P(X × X) (the maximal coarse structure is × E { | } the only coarse structure containing X X). A slightly less trivial example is fin B E E r ∆X is finite . This is the finite off-diagonal coarse structure (called discrete coarse structure in [Roe03]). Definition 2.2.3. A coarse structure E on X is connected if every pair (x, x0) ∈ X × X is contained in some controlled set. If E is connected, we say that the coarse space (X, E) is coarsely connected. Every coarse space (X, E) can be partitioned into a disjoint union of coarsely connected components. The “finite off-diagonal coarse structure” described above is the minimal connected coarse structure on X. Example 2.2.4. The prototypical example of coarse space is obtained by considering a metric space (X, d) and equipping it with the coarse structure Ed consisting of all the relations E ⊆ X × X for which there is 0 0 an r ∈ R+ so that d(x, x ) ≤ r for every (x, x ) ∈ E.
Warning. For every metric space (X, d) the induced coarse structure Ed is connected.
21 In view of the above, it can be convenient to consider metrics d that take values in the extended positive reals [0, +∞]. To avoid confusion, we will say that such a d is an ∞-metric. We may then define the coarse structure Ed associated with any ∞-metric just as we did for normal metrics. In this case, the coarsely connected components are the subsets of points at finite distance from one another. Remark 2.2.5. One may also define hypermetrics by considering positive valued functions with hyperreal ∗ values d : X × X → R≥0 that satisfy the triangle inequality. Such a hypermetric defines a coarse structure Ed just as a normal metrics does. Two points x, y ∈ X belong to the same coarsely connected component if and only if d(x, y) ∈ R+. This point of view can be useful when dealing with ultralimits of metric spaces. For example, the asymptotic cone Cone(X, e, λ) is the coarsely connected component of the ultralimit ω- limi(X, λid) containing the point e = ω- limi ei [DK18, Chapter 10]. Definition 2.2.6. Let (X, E) be a coarse space. A subset A ⊆ X in bounded if A × A ∈ E. If we want to specify that a set is bounded with respect to a specific coarse structure E, we say that it is E-bounded. Note that the whole space X is E-bounded if and only if E is the maximal coarse structure. Example 2.2.7. Let X be a topological space2. Then the family of sets
Ecpt B {E ⊆ X × X | ∃K ⊆ X compact, E ⊆ (K × K) ∪ ∆X} is the the compact coarse structure. If X is equipped with the discrete topology then Ecpt coincides with E the finite off-diagonal coarse structure fin (hence why the latter is also called discrete coarse structure). Another natural coarse structure on X is the compact fibre coarse structure:
fib Ecpt B {E ⊆ X × X | xE and Ey are relatively compact ∀x, y ∈ X}
fib −1 Here is a sketch of a proof that Ecpt is closed under composition: since (E◦F)y = E(Fy) = π1(E∩π2 (Fy)), −1 it is enough to show that E ∩ π2 (Fy) is relatively compact. By assumption, Fy is contained in a compact −1 3 K is compact and we conclude because E ∩ π2 (K) is compact. fib In general, the coarse structures Ecpt and Ecpt can be seen as extremal examples among the family of coarse structures on X whose bounded sets are precisely the relatively compact subsets of X. If (X, d) is a proper metric space (closed balls are compact), then the controlled entourages of the metric coarse fib structure Ed have compact fibers. It follows that Ecpt ⊆ Ed ⊆ Ecpt. If X has infinite diameter one can also check that the containments are strict. We leave it as an exercise to the reader to check these assertions. Convention 2.2.8. Example 2.2.7 illustrates a notational convention that we will often use to denote mod special coarse structures: we will denote by Eprop the coarse structure whose controlled/bounded sets are described by the property “prop”, possibly with the modifier “mod”. T For any family (Ei)i∈I of coarse structures on X, the intersection i∈ I Ei is a coarse structure on X. One can thus define the coarse structure hEi | i ∈ Ii generated by the relations Ei ⊆ X × X as the minimal coarse structure containing Ei for every i ∈ I.
Lemma 2.2.9. A relation F is contained in hEi | i ∈ Ii if and only if it is contained in a finite composition op F1 ◦ · · · ◦ Fn where each F j is equal to Ei ∪ ∆X or Ei ∪ ∆X for some i ∈ I. 2We are not requiring X to be Hausdorff. For us a set is compact if every open cover has a finite subcover (in literature these are also called quasi-compact). A set is relatively compact if it is contained in a compact set. 3 −1 −1 This can be proved as follows. Let C B E ∩ π2 (K) and note that Cz B π2 (z) ∩ C is compact for every z ∈ K. Let Ui be an open cover of C, we may assume that Ui = Ai × Bi, as the products of open sets form a basis for the topology of X × K. For each z ∈ K, there exists a finite set of indices i1,... in such that Cz ⊆ U1 ∪ · · · ∪ Un. It follows that the finite intersection ∩ · · · ∩ −1 ∪ ∪ Vz B Bi1 Bin is an open neighbourhood of z such that π2 (Vz) is contained in the finite union Ui1 ... Uin . The family {Vz | z ∈ K} is an open cover of K and hence admits a finite subcover. We obtain a finite subcover of C by considering the relevant sets Ui.
22 Sketch of proof. Let F be the collection of relations contained in some E ⊆ F1 ◦ · · · ◦ Fn where the F j op are finite unions of Ei, Ei and ∆X. All these relations must belong to hEi | i ∈ Ii, it hence suffices to show that F is a coarse structure. It is obvious that F contains ∆X and is closed under taking compositions and subsets. Composition and union are distributive operations, i.e. for any E1, E2, F1, F2 ⊆ X × X we have
(E1 ∪ E2) ◦ (F1 ∪ F2) = (E1 ◦ F1) ∪ (E1 ◦ F2) ∪ (E2 ◦ F1) ∪ (E2 ◦ F2).
It follows that F is also closed under finite unions. op To finish the proof it is hence enough to show that any finite union of Ei, Ei and ∆X is contained in op finite compositions of Ei ∪ ∆X and Ei ∪ ∆X. This follows immediately from observing that
E ∪ F ⊆ (E ∪ ∆X) ◦ (F ∪ ∆X). for any pair of relations E, F on X.
Example 2.2.10. Given a family of coarse spaces (Xi, Ei) indexed over a set I, we can define their F disconnected union as the coarse space obtained by giving the disjoint union X B i∈I Xi the coarse E hE | ∈ i ∈ E structure disc B i i I . Concretely, we see that E disc if and only if there exist finitely many Sn indices i1,..., in and controlled sets Ei ∈ Ei such that E ⊆ ∆X ∪ i=1 Ei. As the name suggests, each Xi is coarsely disconnected from any other X j. We are using the term “disconnected union” as opposed to “coarsely disjoint union” because the latter is already used in the literature to denote the minimal coarsely connected coarse structure containing E disc. Remark 2.2.11. Given a coarse structure E on X, it is not hard to show that there exists a metric d on X such that E = Ed if and only if E is generated by a countable family of controlled sets En ∈ E (see E [Roe03, Theorem 2.55] for a full argument). It follows that the finite off-diagonal coarse structure fin on an uncountable set X is not equal to Ed for any choice of metric d on X. The ability to pass from relations to partial coverings and back enables us to describe coarse structures in terms of systems of controlled coverings of X:
Definition 2.2.12. Given a coarse structure E on a set X, a controlled (partial) covering of X is a (partial) covering a such that diag(a) ∈ E. We will denote by C(E) the family of controlled partial coverings associated with E. If we want to specify that a (partial) covering is controlled with respect to a certain coarse structure E, we say that it is E-controlled.
Remark 2.2.13. One could refer to controlled coverings as “coverings by uniformly bounded sets”. We prefer the term ‘controlled’ because the adjective ‘uniformly’ is somewhat overdetermined.
Example 2.2.14. If (X, d) is a metric space and Ed is the associated bounded coarse structure, then C(Ed) is the family of partial coverings that have a uniform bound on the diameters of their elements. That is, a ∈ C(Ed) if and only if there is a r ≥ 0 such that diam(A) ≤ r for every A ∈ a. We describe the correspondence between controlled coverings and relations more fully: for every op relation E ∈ E and x ∈ X the relation Ex × Ex is contained in E ◦ E . It follows that if E is controlled then the family E(iX) = {Ex | x ∈ X} is a controlled (partial) covering of X. The converse is not true in general, but it does hold for relations E that contain the diagonal. In fact, we already remarked that E ⊆ diag(E(iX)) whenever ∆X ⊆ E. Since a relation E is controlled if and only if E ∪ ∆X is controlled, it follows that the coarse structure E is determined by C(E). Note that the family of controlled partial coverings C(E) associated to the family of relations E satisfies:
(C0) if a ∈ C(E) then a ∪ iX ∈ C(E);
23 (C1) if a ∈ C(E) and a0 is a refinement of a, then a0 ∈ C(E);
(C2) given a, b ∈ C(E), then St(a, b) ∈ C(E). Conditions (C1) and (C2) follow from the fact that E is closed under taking subsets and compositions respectively. Since a ∪ b is a refinement of St(a, b ∪ iX), we deduce that C(E) is also closed under finite unions (this can also be deduced from the fact that E is closed under finite unions). Given a family of partial coverings C satisfying (C0)–(C2), it is not hard to see that the family of relations that are contained in diag(a) for some a ∈ C is a coarse structure E such that C(E) = C. We collect these observations in the following. Proposition 2.2.15. For any fixed set X, there is a one-to-one correspondence
coarse structures on X ←→ families of partial coverings of X satisfying (C0)–(C2) .
Remark 2.2.16. In addition to using controlled sets and partial coverings, one can define coarse structures in terms of families of pseudo-metrics di : X × X → [0, ∞] as i ranges over some index set I. Given any such family one can associate the generated coarse structure hEdi | i ∈ Ii. Conversly, given any relation E ∈ E one can define a pseudo metric dE as the largest pseudo-metric such that dE(x, y) ≤ 1 whenever 0 (x, y) ∈ E. If {di | i ∈ I} and {d j | j ∈ J} are families of pseudo-metrics on X and Y that are closed under 0 taking finite minima (i.e. for every i, i ∈ I the the meet di ∧ di0 is again in the family) one can also see that a function f : X → Y is controlled (see below) if and only if for every i ∈ I there is a j ∈ J so that f :(X, di) → (Y, d j) is Lipschitz. We will not make use of this point of view.
2.3 Controlled maps In this section we describe how functions f : X → Y interact with coarse structures E and F on X and Y. We will use the notation f : (X, E) → (Y, F ) or f : X → (Y, F ) if we want to specify that some property of the function f : X → Y depends on E and/or F . Definition 2.3.1. A function f : (X, E) → (Y, F ) is a controlled map 4 if f × f : X × X → Y × Y sends controlled sets to controlled sets, i.e. ( f × f )(E) ∈ F for every E ∈ E. Equivalently, f is a controlled map if it preserves controlled partial coverings: i.e., f (a) ∈ C(F ) for every a ∈ C(E). Convention 2.3.2. For the sake of clarity, we will use the word ‘function’ to denote any (possibly non controlled) function f : X → Y. We will reserve the word ‘map’ for controlled maps.
Example 2.3.3. Let (X, dX) and (Y, dY ) be metric spaces. Then a function f : (X, EdX ) → (Y, EdY ) is controlled if and only if there is a control function, i.e. an increasing function ρ+ : [0, ∞) → [0, ∞) such that 0 0 dY ( f (x), f (x )) ≤ ρ+(dX(x, x )) for every x, x0 ∈ X. Note that f is a Lipschitz function if and only if it is controlled by a linear control function. We define f to be coarsely Lipschitz if it is controlled by an affine function ρ+(t) B Lt + A for some L, A ≥ 0. Of course, coarsely Lipschitz functions are controlled. Definition 2.3.4. Two functions f, g: X → (Y, F ) are close (denoted f ≈ g) if f × g: X × X → Y × Y sends the diagonal ∆X into a controlled set F ∈ F . Equivalently, f and g are close if the family ( f ∪ g)(iX) B {{ f (x), g(x)} | x ∈ X} is a controlled partial covering of Y.
4In [Roe03] a map as in Definition 2.3.1 is called bornologous. A connected coarse structure E is a special kind of bornology on X × X ([Bourbaki TopVS Ch3]). Definition 2.3.1 can be rephrased as ‘ f × f is a bornologous map’. Furthermore, the family of E-bounded sets in X is again a bornology, and a controlled map f is indeed bornologous with respect to these bornologies. On the other hand, it is not true that every bornologous map f : X → Y is controlled. Definition 2.3.1 captures the notion of ‘uniformly bornologous’.
24 Closeness is an equivalence relation on the set of functions from X to Y. If f1 : (X, E) → (Y, F ) is controlled and f2 : X → Y is close to f1, then also f2 is controlled. If f1, f2 : X → (Y, F ) are close and 0 0 0 g: Z → X is any function, then f1 ◦ g and f2 ◦ g are close. If g : (Y, F ) → (Z , D ) is controlled, then 0 0 also g ◦ f1 and g ◦ f2 are close. Definition 2.3.5. Let f : (X, E) → (Y, F ) and g: (Y, F ) → (X, E) be controlled maps. We say that g is a right coarse inverse of f if the composition f ◦ g is close to idX; and g is a left coarse inverse of f if g ◦ f is close to idY . The function g is a coarse inverse of f if it is both a left and right coarse inverse (in which case f is also a coarse inverse of g). A coarse equivalence is a controlled function with a coarse inverse. If there is a coarse equivalence between X and Y we call X and Y coarsely equivalent. Definition 2.3.6. A function between coarse spaces f : (X, E) → (Y, F ) is proper if the preimage of every bounded subset of Y is bounded in X. It is a controlledly proper if ( f × f )−1(F) ∈ E for every F ∈ F . Equivalently, f is controlledly proper if the preimage of every controlled partial covering of Y is a controlled partial covering of X (i.e. f is ‘uniformly proper’). A controlled, controlledly proper map is a coarse embedding .
If Z is a subset of a coarse space (X, E), it inherits a subspace coarse structure E|Z B {E∩Z×Z | E ∈ E}. It is not hard to check that f : (X, E) → (Y, F ) is a coarse embedding if and only if f : (X, E) → (Im( f ), F |Im( f )) is a coarse equivalence. If f : (X, E) → (Y, F ) is a controlled function and f ≈ g, then if f is proper (resp. controlledly proper) then so is g (resp. controlledly proper).
We say that a subset Z ⊂ X is coarsely dense if there is a controlled set E ∈ E such that E(Z) = X. In terms of controlled coverings, Z is coarsely dense if there exists an a ∈ C(E) such that St(Z, a) = X or, equivalently, iX is a refinement of St(iZ, a). Definition 2.3.7. A function f : X → (Y, F ) is coarsely surjective if f (X) is coarsely dense in Y. Example 2.3.8. It is helpful to translate the above properties for coarse structures associated with metric spaces. Let (X, dX) and (Y, dY ) be metric spaces. Two functions f1, f2 : (X, EdX ) → (Y, EdY ) are close if there exists some R ≥ 0 such that dY ( f1(x), f2(x)) ≤ R for every x ∈ X. A function f : (X, EdX ) → (Y, EdY ) is proper if for every r ≥ 0 there is a R ≥ 0 such that diam( f −1(B(y; r))) ≤ R for every r-ball centred at x ∈ X. The function f is coarsely surjective if there is an R ≥ 0 so that its image is an R-dense net of Y, i.e. the balls B( f (x); R) cover Y. Also note that f is a controlledly proper if and only if there exists an increasing and unbounded control function ρ− : [0, ∞) → [0, ∞) such that
0 0 ρ−(dX(x, x )) ≤ dY ( f (x), f (x )).
Together with Example 2.3.3, this shows that f is a coarse embedding if and only if
0 0 0 ρ−(dX(x, x )) ≤ dY ( f (x), f (x )) ≤ ρ+(dX(x, x )) for some appropriately chosen control functions. We recover the standard definition of coarse embedding for metric spaces known by geometric group theorists (sometimes also referred to as “uniform embedding”
[Gro93, Section 7.E]). Similarly, we also see that (X, EdX ) and (Y, EdY ) are coarsely equivalent as coarse spaces if and only if (X, dX) and (Y, dY ) are coarsely equivalent as metric spaces [NY12, Section 1.4]. If f is a bi-Lipschitz homeomorphism then it is a coarse equivalence. If f is a coarse embedding that t admits affine control functions ρ−(t) B L − A and ρ+(t) B Lt + A, then f is a quasi-isometric embedding (here we are allowing ρ− to be negative for small values of t). A coarse equivalence where both f and its coarse inverse are quasi-isometric embeddings is a quasi-isometry. Quasi-isometries and quasi-isometric embeddings will not play an important role in this monograph: they will be used sometimes as sources of examples. However, they are the cornerstone of geometric
25 group theory and much of what follows is inspired by them. It is also worth remarking that if X and Y are geodesic spaces (i.e. the distance between any two points is the length of the shortest path connecting them) then X and Y are coarsely equivalent if and only if they are quasi-isometric. The following will not come as a surprise to a geometric group theorist:
Lemma 2.3.9. A controlled map f : (X, E) → (Y, F ) is a coarse equivalence if and only if it is a coarsely surjective coarse embedding.
Sketch of proof. If f has a right coarse inverse, g, then f must be controlledly proper (it is enough to −1 check that f (b) ⊆ St g(b), (idX ∪(g ◦ f ))(iX) for every partial covering b of Y). It is also easy to check that if f has a left coarse inverse then it is coarsely surjective. This proves one implication. For the other one, let b0 be a covering of Y such that St( f (X), b0) = Y. For every y ∈ Y define g(y) by choosing a point x ∈ X such that both f (x) and y belong to the same B0 ∈ b0. The function g is a controlled −1 map because for every controlled covering b of Y, the image g(b) is a refinement of f (St(b, b0)). The map g is a coarse inverse of f since (idY ∪( f ◦ g))(iY ) is a refinement of b0 and (idX ∪(g ◦ f ))(iX) is a −1 refinement of f (St(b0, b0)).
Remark 2.3.10. The controlled surjection idR : (R, Emin) → (R, Ed), where Ed is the coarse structure induced by the Euclidean metric, shows that coarse surjectivity does not imply that there exists a (controlled) left coarse inverse. Similarly, coarse embeddings need not admit right coarse inverses. In fact, one can show that f : X → Y has a right coarse inverse if and only if f is controlledly proper and Y admits a coarse retraction to f (X), i.e. there is a controlled map p: (Y, F ) → ( f (X), F | f (X)) that is a right coarse n inverse for the inclusion f (X) ,→ Y. Note that (R, Ed) does not coarsely retract to {2 | n ∈ N} ⊂ N.
2.4 The category of coarse spaces In this section we formalize the category of coarse spaces, which has objects that are sets with coarse structures, and morphisms that are equivalence classes of controlled maps.
Definition 2.4.1. A coarse map between two coarse spaces (X, E) and (Y, F ) is an equivalence class of controlled maps (X, E) → (Y, F ), where f, g: X → Y are equivalent if they are close (denoted f ≈ g).
Remark 2.4.2. Here our conventions diverge from Roe’s. In [Roe03] a coarse map is defined as a controlled map (not an equivalence class) that is also proper. The composition of coarse maps is a well-defined coarse map because the closeness relation is well behaved under composition with controlled maps.
Definition 2.4.3. The category of coarse spaces is the category Coarse whose objects are coarse spaces X = (X, E) and whose morphisms are coarse maps: MorCrs(X, Y) B f : X → Y | f coarse map = f :(X, E) → (Y, F ) | f controlled map / ≈ .
Convention 2.4.4. We use bold symbols when we want to stress that we are working in the Coarse category. So that X will be a coarse space and f : X → Y a coarse map. On the other hand, we keep the notation (X, E) when we want to highlight that a coarse space is a specific set X with a coarse structure. If [ f ] is the equivalence class of a controlled map f : (X, E) → (Y, F ), then f = [ f ]: X → Y is a coarse map. We use the notation [ f ] to emphasize that f is a representative for the coarse map.
The identity morphism of X is idX B [idX]. A controlled map g is the right coarse inverse of f : (X, E) → (Y, F ) if and only if [ f ] ◦ [g] = [idX]. In particular, f is a coarse equivalence if and only if [ f ] is an isomorphism, in which case [g] is the inverse of [ f ].
26 Note that the notions of coarse left/right inverse, coarse embedding, coarse surjection and properness are all invariant under taking close functions. In particular, they define properties for coarse maps. In general, we use the adjective ‘coarse’ to denote properties of functions/coarse maps that only make sense up to closeness. If f ≈ g and f is a coarse embedding (resp. left/right inverse, coarse surjection, or proper), then so is g. The set consisting of a single point {pt} is a terminal object in Coarse. Note that any non-empty set equipped with the maximal coarse structure is a terminal object in Coarse (all the non-empty bounded coarse spaces are isomorphic in Coarse). For convenience, in the sequel we will continue using {pt} as a preferred terminal object in Coarse.
Convention 2.4.5. Given a function x: {pt} → X, we identify it with its image x(pt) ∈ X and write x ∈ X. In particular, if x: {pt} → (X, E) is a coarse map, we can identify any choice of a representative x = [x] as a point x ∈ X. We will often use this convention later on, e.g. to treat the unit of a coarse group (G, E) as if it was a point e ∈ G.
Formally, the empty set (∅, P(∅)) is the initial object in Coarse because the empty function is the unique function from ∅ to any other set and it is controlled—we will not need to use this initial object in this paper. Remark 2.4.6. The fact that morphisms in Coarse are defined as equivalence classes of functions creates a certain degree of imbalance. In fact, properties that can be quantified on the codomain of a function have a clear ‘coarse’ analogue (e.g. coarse surjectivity is a well-defined notion), while properties that need to be quantified on the domain (e.g. being a well-defined function) do not have immediate coarse analogues. This can be a nuisance. For example, when constructing a coarse-inverse for a coarsely surjective coarse embedding (Lemma 2.3.9) there is an obvious ‘coarsely well-defined’ candidate but it is then necessary to make some extra unnatural choices to obtain an actual function. One way to resolve this conundrum would be as follows. A function f : X → Y is identified with a subset of X × Y whose sections over every point x ∈ X consist of exactly one point. It is this extra requirement of uniqueness that introduces asymmetry in the definitions. One could have a more ‘symmetric’ notion of mapping by removing it altogether and replacing functions with binary relations E ⊆ X × Y. A “coarsely well-defined function” could then be defined as a relation E ⊆ X × Y so that the sections xE are a controlled partial covering of Y, while the union of the sections Ey is coarsely dense in X. We will not pursue this approach in this monograph.
Every set I can be seen as a coarse space equipped with the minimal coarse structure Emin. Every function f : (I, Emin) → (X, E) is controlled. Further, two functions f, g: (X, E) = (I, Emin) are close if and only if f = g. This shows that Coarse contains Set in a trivial manner.
Definition 2.4.7. A set equipped with the minimal coarse structure is said to be a trivially coarse space.
Throughout the monograph, we reserve the adjective ‘trivial’ for the minimal coarse structure Emin. The maximal coarse structure Emax will never be referred to as trivial. Instead, it might be called bounded.
Notice every coarse object X is uniquely determined by the coarse maps from trivially coarse spaces into X. Namely, any coarse map f : X → Y induces a map
fI : MorCrs((I, Emin), X) → MorCrs((I, Emin), Y)
by composition. We have:
Lemma 2.4.8. Let f, g: X → Y be coarse maps, then f = g if and only if fI = gI for every trivially coarse set I. Furthermore, f : X → Y is a coarse embedding (resp. coarsely surjective) if and only if fI is injective (resp. surjective) for every trivially coarse set I.
27 Proof. Let X = (X, E), Y = (Y, F ) and f = [ f ], g = [g] for some representatives f, g: X → Y. Since the definition of morphisms in the coarse category is well-posed, it is automatic that fI = gI whenever f = g. The converse implication is just as simple: let I = X, then fI([idX]) = [ f ]: (X, Emin) → (Y, F ) and gI([idX]) = [g]: (X, Emin) → (Y, F ). That is, if fI([idX]) = gI([idX]) then [ f ] = [g] as controlled maps (X, Emin) → (Y, F ). Since the notion of closeness does not depend on the choice of coarse structure on the domain, it follows that f = g. The ‘furthermore’ statement is only marginally more complicated. It is immediate to check that if f is a coarse embedding then fI is injective. For the converse implication, assume for contradiction that f is not controlledly proper and let I = E equipped with the minimal coarse structure. By assumption, there is a controlled set F ∈ F such that U B ( f × f )−1(F) is not controlled in X. For every E ∈ I = E there is a pair (x1, x2) ∈ U r E and we let g1(E) B x1 and g2(E) B x2. We thus obtained two functions g1, g2 : I → X such that [ f ◦ g1] = [ f ◦ g2] but [g1] , [g2]. The argument for surjectivity is similar. It is again obvious that when f is coarsely surjective then fI is surjective for every I. Vice versa, assume that Y is not contained in St( f (X), c) for any c ∈ C(F ). Let I = C(F ) and choose for every c ∈ C(F ) a yc ∈ Y r St( f (X), c). Then the function h: I → Y sending c to yc is not close to f ◦ g for any choice of g: I → X and hence [h] < Im( fI).
Remark 2.4.9. The fact that composition with f induces an injection (resp. surjection) MorCrs( - , X) → MorCrs( - , Y) whenever f is a coarse embedding (resp. coarsely surjective) is also true when considering non-trivially coarse spaces.
2.5 Binary products Given two coarse spaces (X, E) and (Y, F ) we define the product coarse structure on X × Y as E ⊗ F B D ⊆ (X × Y) × (X × Y) | π13(D) ∈ E, π24(D) ∈ F , where π13 : (X × Y) × (X × Y) → X × X and π24 : (X × Y) × (X × Y) → Y × Y are the projections to the first & third, and second & fourth coordinates respectively. Given E ∈ E and F ∈ F we let −1 −1 E ⊗ F B π13 (E) ∩ π24 (F) = {(x1, y1, x2, y2) | (x1, x2) ∈ E, (y1, y2) ∈ F }. With this notation, D ∈ E ⊗ F if and only if it is contained in E ⊗ F for some E ∈ E and F ∈ F . In other words, E ⊗ F is the coarse structure generated by taking the closure under subsets of the family {E ⊗ F | E ∈ E, F ∈ F }. Using the explicit description of the coarse structure generated by a family of relations (Lemma 2.2.9), one can also show that hEi | i ∈ Ii ⊗ hE j | j ∈ Ji = hEi ⊗ F j | i ∈ I, j ∈ Ji. Given any E ⊆ X × X and F ⊆ Y × Y, we have:
E ⊗ F = (E ⊗ ∆Y ) ◦ (∆X ⊗ F) = (∆X ⊗ F) ◦ (E ⊗ ∆Y ) (1) The above equation follows directly from the definitions, but it turns out to be very important. We will apply it frequently, since it allows us to decompose products of relations into simpler products. As an immediate application, it implies that hEi | i ∈ Ii⊗hE j | j ∈ Ji is generated by {Ei ⊗∆Y | i ∈ I}∪{∆X ⊗F j | j ∈ J}.
To express the product coarse structure in terms of controlled partial coverings, note that C(E ⊗ F ) = d partial covering of X × Y π1(d) ∈ C(E), π2(d) ∈ C(F ) . Equivalently, C(E ⊗ F ) is the system of partial coverings obtained by taking the closure under refinements of C(E) × C(F ), where a × b = {A × B | A ∈ a, B ∈ b}.
It is immediate to check that X × Y B (X × Y, E ⊗ F ) is a product of X = (X, E) and Y = (Y, F ) in the category Coarse. This is one of the main reasons we use Definition 2.3.1 instead of Roe’s definition of coarse maps (Roe’s requirement that coarse maps be proper makes it impossible to define projections).
28 2.6 Equicontrolled maps
In this section we introduce the notion of equicontrolled maps. This will prove to be essential in our study of coarse groups. Observe that if I is some index set and fi : X → Y for i ∈ I is a family of functions, then they can be seen as sections of the function f : X × I → Y defined by f (x, i) B fi(x).
Definition 2.6.1. Let (I, C) be a coarse space. A family of controlled maps fi : (X, E) → (Y, F ) with i ∈ I is (I, C)-equicontrolled if f : (X, E) × (I, C) → (Y, F ) is controlled. We say that the fi are equicontrolled 5 if they are (I, Emin)-equicontrolled.
The following statement follows easily from the definition, but we wish to spell it out explicitly:
Lemma 2.6.2. Let fi : (X, E) → (Y, F ) be a family of maps where i ∈ I is some index set. The following are equivalent:
(i) the fi are equicontrolled; S (ii) for every controlled set E of X the union i∈I( fi × fi)(E) is controlled in Y; S (iii) for every controlled partial covering a of X the union i∈I fi(a) is a controlled partial covering of Y.
Proof. (i) ⇔ (ii): the function f : (X, E)×(I, Emin) → (Y, F ) is controlled if and only if ( f × f )(E⊗∆I) ∈ F for every E ∈ E. On the other hand, we have: [ [ ( f × f )(E ⊗ ∆I) = ( f × f )(E ⊗ {i}) = ( fi × fi)(E). i∈I i∈I
(i) ⇔ (iii): again, f : (X, E) × (I, Emin) → (Y, F ) is controlled if and only if f (a × iI) is a controlled S partial covering of Y for every a ∈ C(E). The conclusion follows because f (a × iI) = ∈ f (a × {i}) = S i I i∈I fi(a).
Vice versa, any function f : X × Y → Z can be seen as a family of functions in two distinct ways: x f B f (x, - ): Y → Z with x ranging in X, and fy B f ( - , y): X → Z with y ranging in Y. The following lemma is very useful and deceptively simple to prove:
Lemma 2.6.3. Let (X, E), (Y, F ) and (Z, D) be coarse spaces. A function f : (X, E) × (Y, F ) → (Z, D) is controlled if and only if both families x f and fy are equicontrolled.
Note that the above statement asks that x f are (X, Emin)-equicontrolled (as opposed to (X, E)-equicon- trolled, in which case the statement would be trivial).
Proof. One implication is obvious: if f is controlled with respect to E ⊗ F then it is a fortiori controlled with respect to (E ⊗ Emin) and (Emin ⊗ F ). For the other implication, (1) states that we can write E ⊗ F as (E ⊗ ∆Y ) ◦ (∆X ⊗ F). We therefore see that
( f × f )(E ⊗ F) ⊆ ( f × f )(E ⊗ ∆Y ) ◦ ( f × f )(∆X ⊗ F) is controlled. This concludes the proof because the relations E ⊗ F generate E ⊗ F .
5 Families of (I, Emin)-equicontrolled functions are called “uniformly bornologous” in [BDM08].
29 3 Properties of the category of coarse spaces
3.1 Monomorphisms and epimorphisms
We sketch the proofs of the results of this subsection only for sake of completeness, as they are proved in detail in [DZ17]. Recall that a morphism f : X → Y in a category is monic (or, a monomorphism) if given any two morphisms g1, g2 : Z → X such that f ◦ g1 = f ◦ g2 then g1 = g2. Dually, f : X → Y is epic (or, an epimorphism) if given any two morphisms g1, g2 : Y → Z such that g1 ◦ f = g2 ◦ f then g1 = g2.
Lemma 3.1.1. Let [ f ]:(X, E) → (Y, F ) be a coarse map.
(i) [ f ] is a monomorphism if and only if f is a coarse embedding,
(ii) [ f ] is an epimorphism if and only if f is coarsely surjective.
Sketch of proof. (i): it is clear that when f is a coarse embedding [ f ] is a monomorphism. Lemma 2.4.8 shows that the converse implication is true in a strong sense (it is enough to check trivially coarse spaces). (ii): Once again, it is clear that when f is coarsely surjective [ f ] is an epimorphism. On the other hand, let i1, i2 : Y → Y t Y be the inclusions of Y into each component of Y t Y, and consider Y t Y with the coarse structure D generated by the partial coverings i1(a1), i2(a2) and (i1 ∪ i2)( f (iX)) B {{i1 ◦ f (x), i2 ◦ f (x)} | x ∈ X} where a1, a2 ∈ C(F ). Then [i1 ◦ f ] = [i2 ◦ f ], but we claim that [i1] = [i2] only holds if f is coarsely surjective. In fact, let b B (i1 ∪ i2)( f (iX)) ∪ iY1tY2 . Then for every a1, a2 ∈ C(F ) the partial covering St(i1(a1) ∪ i2(a2), b) is a refinement of St(b, i1(a1 ∪ a2) ∪ i2(a1 ∪ a2)). It follows from Lemma 2.2.9 that any controlled partial covering in C(D) must be a refinement of St(b, i1(a) ∪ i2(a)) for some a ∈ C(D). One can then show that if (i1 ∪ i2)(iY ) is in C(D) then iY is a refinement of St( f (iX), a) and hence f is coarsely surjective.
Together with Lemma 2.3.9 this implies the following:
Corollary 3.1.2 ([DZ17]). The category Coarse is balanced (i.e morphisms that are both monic and epic are isomorphisms).
Remark 3.1.3. Two remarks on the proof of Lemma 3.1.1:
1. The coarse space (Y t Y, D) is the coequalizer of the morphisms [i1 ◦ f ] and [i2 ◦ f ] going from X to Y q Y, where q denotes the coproduct. See Appendix A.1 for more on this.
2. The proof that we sketched above uses the axiom of choice to choose a function. This would have been unnecessary if we had defined Coarse in terms of BinRel (the same remark holds for the proof of Lemma 2.3.9 as well).
3.2 Pull-back and push-forward
Coarse structures are well behaved under pull-back6 but less so under push-forward:
Definition 3.2.1. Let f : X → Y be any function and F a coarse structure on Y. The pull-back of F under f is the coarse structure
f ∗(F ) B {E ∈ X × X | f × f (E) ∈ F }.
6This subsection describes pull-backs and push-forwards of structures. We are not describing pull-backs and push-outs of commutative diagrams.
30 It is easy to verify that the pull back of a coarse structure is indeed a coarse structure. Note also that ∗ ∗ if f1, f2 : X → (Y, F ) are close functions, then f1 (F ) = f2 (F ). It follows from the definition that f : (X, f ∗(F )) → (Y, F ) is a controlled map. In fact, f : (X, E) → (Y, F ) is controlled if and only if E ⊆ f ∗(F ). It is also clear that f : (X, f ∗(F )) → (Y, F ) is a coarse embedding. Lemma 2.3.9 implies the following: Corollary 3.2.2. If f : X → (Y, F ) is a coarsely surjective function, then [ f ] is a coarse equivalence between (X, f ∗(F )) and (Y, F ).
∗ ∗ ∗ The pull-back is well-behaved under composition: ( f2 ◦ f1) (F ) = f1 ( f2 (F )). We implicitly used the notion of pull-back when defining products: the product coarse structure on (X1, E1) × (X2, E2) is the ∗ ∗ intersection of the pullbacks of the projections π1(E1) ∩ π2(E2). In turn, this implies that the pull-back is ∗ ∗ ∗ also well behaved with respect to taking products: ( f1 × f2) (F1 ⊗ F2) = ( f1 (F1)) ⊗ ( f2 (F2)).
Push-forwards are somewhat less well-behaved. Given a function f : (X, E) → Y, the natural definition for the push-forward of E under f is f∗(E) B h f × f (E) | E ∈ Ei. Note that it is important to take the coarse structure generated by { f × f (E) | E ∈ E}, as this set need not contain the diagonal nor be closed under composition. In this monograph we will not explicitly use push-forwards: they only appear implicitly.
3.3 Controlled thickenings, asymptoticity and indexed partial covering Coarse containments and asymptoticity are key concepts in the theory of coarse spaces. The notation introduced in the following definitions will be used extensively in the sequel. Let X = (X, E) be a coarse space. Definition 3.3.1. A controlled thickening of a subset A ⊆ X is a ‘star neighbourhood’ St(A, a) where a ∈ C(E) is a controlled partial covering. A set B ⊆ X is coarsely contained in A (denoted B 4 A) if it is contained in a controlled thickening of A. Equivalently, B 4 A if B ⊆ E(A) for some E ∈ E. Let E, F ∈ E, and A ⊂ X. Since E(F(A)) = (E ◦ F)(A), it follows that coarse containment is a preorder on subsets of X. This preorder induces an equivalence relation: Definition 3.3.2. Two subsets A, B ⊆ X are asymptotic (denoted A B) if A 4 B and B 4 A. We denote the equivalence class of A by [A]. If there is risk of confusion with regard to the coarse structure being used, we will include it in the notation and write B 4E A, B E A and [A]E. Example 3.3.3. If we identify points x ∈ X with singletons {x} ⊆ X, then defines an equivalence relation on X. It follows from the definition, that x x0 if and only if they belong to the same coarsely connected component of (X, E) (Definition 2.2.3).
Example 3.3.4. If (X, d) is a metric space and Ed is the induced coarse structure, then A B if and only if they are at finite Hausdorff distance. In particular, the notion of ‘being asymptotic’ is coherent with the standard terminology for infinite geodesic rays in metric spaces [BH13, DK18]. In a few places we will need to use an extension of the notion of coarse containment to compare different partial coverings. When doing this, rather than considering actual partial coverings—i.e. sets of subsets—it is more convenient to work with indexed families of subsets. Definition 3.3.5. Let I be a fixed index set. An I-indexed partial covering of a set X is a family of non-empty subsets aI = (Ai ⊆ X | i ∈ I, Ai , ∅). If (X, E) is a coarse space, an indexed partial covering aI is controlled if it is a controlled partial covering when ignoring the indexing. We denote by CI(E) the set of all I-indexed controlled partial coverings of (X, E).
31 Definition 3.3.6. An indexed partial covering aI is equi-coarsely contained in bI (denoted aI 4I bI) if there exists a controlled covering c ∈ C(E) such that Ai ⊂ St(Bi, c) for every i ∈ I (i.e. aI is an ‘indexed refinement’ of St(bI, c)). If aI 4I bI and bI 4I aI we say that the indexed partial coverings are equi-asymptotic (denoted aI I bI).
Remark 3.3.7. One can define a preorder 4 on (non-indexed) partial coverings by letting b 4 b0 if b is a refinement of St(b0, a) for some controlled covering a ∈ C(E). We prefer to introduce indexed coverings and 4I because this other notion turned out to be somewhat awkward to use.
Any function f : X → Y induces a function fI on I-indexed partial coverings fI(aI) B ( f (Ai) | i ∈ I). Obviously, if f : (X, E) → (Y, F ) is controlled fI sends controlled partial covers to controlled partial covers fI : CI(E) → CI(F ). The converse is also true, provided that I is large enough. The following is lemma is very easy, but extremely useful.
Lemma 3.3.8. Let (X, E), (Y, F ) be coarse spaces and I a fixed index set.
0 0 1. If two functions f, f : X → (Y, F ) are close then fI(aI) I fI (aI) for every partial covering a of X.
2. If f : (X, E) → (Y, F ) is controlled and aI, bI are I-indexed partial coverings of (X, E) such that aI 4I bI, then fI(aI) 4I fI(bI) in (Y, F ). In particular, controlled functions preserve equi-asymptotic classes of I-indexed partial coverings.
0 0 0 Proof. By definition, if f and f are close then the partial covering ( f ∪ f )(iX) = {{ f (x), f (x)} | x ∈ X} 0 0 0 is controlled. Noting that f (Ai) ⊆ St( f (Ai),and ( f ∪ f )(iX)) for every i ∈ I proves that f (aI) 4I f (aI). 0 Similarly f (aI) 4I f (aI) which proves the claim. For the second statement, let c be a controlled covering of (X, E) so that Ai ⊆ St(Bi, c) for every i ∈ I. Then, f (Ai) ⊆ f (St(Bi, c)) ⊆ St( f (Bi), f (c)) for every i ∈ I. The partial covering f (c) is controlled on (Y, F ) because f is a controlled map. Therefore fI(AI) 4I fI(BI).
When I consist of a single index I = {i}, the I-indexed partial coverings are just sets, I coincides with and fI is just f . In particular, Lemma 3.3.8 implies that controlled maps preserve coarse containment and asymptoticity of sets. Remark 3.3.9. Note that there is a natural correspondence between the set of equivalence classes of equi-asymptotic I-indexed controlled partial coverings and the set of coarse maps from the trivially coarse space (I, Emin) to X = (X, E):
CI(E)/I ←→ MorCrs((I, Emin), X). Namely, each function g: I → X defines a trivially controlled partial covering (g(i) | i ∈ I); and to any controlled partial covering aI we can associate a function by choosing a point ai ∈ Ai for every i ∈ I. Lemma 3.3.8 implies that these functions factor through to the respective quotients by the equivalence relations of equi-asymptoticty and closeness, and are inverses of one another. Remark 3.3.10. Both statements in Lemma 3.3.8 are valid for partial coverings that are not necessarily controlled. This is the main reason why we introduced indexed partial coverings instead of using MorCrs((I, Emin), X) (we will make use of non-controlled partial coverings to study cosets in coarse groups). Note also that Lemma 3.3.8(1) is also valid for functions that are not controlled. Finally, the special case |I| = 1 shows that Lemma 3.3.8 holds also for asymptotic sets (as opposed to coverings).
3.4 Coarse subspaces, images and quotients When X = (X, E) is a coarse space, it is unnatural to work with points in X because any two points x, x0 ∈ X are indistinguishable in Coarse (as long as X is coarsely connected). The same goes for subsets
32 of X. On the other hand, it is sometimes necessary to work with “coarse subspaces”. It turns out that the categorical approach to defining subobjects works rather very well in this setting. Recall that a monomorphism in Coarse is a coarse embedding (Subsection 3.1) and recall the categorical definition of subobject (see e.g. [ML13]):
Definition 3.4.1. In a category C, let f : A → B and f 0 : A0 → B be two monics with the same codomain. Then f factors through f 0 if there exists h: A → A0 such that f = f 0 ◦ h. We say that f and g are equivalent if f factors through g and g factors through f (this is an equivalence relation). A subobject of an object B in C is an equivalence class of monics into B.
f A B f 0 h A0
Remark 3.4.2. A subobject in a category C is not an object in C. However, it does determine an object up to isomorphism: any representative f : A → B of a subobject of B does determine the object A. Equivalent monics determine isomorphic objects. Applying Definition 3.4.1 to the category Coarse provides us with an abstract notion of coarse subspace. According to this definition, a subspace of X = (X, E) is not a subset of X with a coarse structure. Fortunately, the abstract notion of coarse subspace can also be made concrete. Let X = (X, E) and Y = (Y, F ) be coarse spaces and [ f ]: Y → X be monic (i.e. a coarse embedding). If Y0 = (Y0, F 0) and [ f 0]: Y0 → X is an equivalent monic, then f (Y) f 0(Y0). That is, f (Y) and f 0(Y0) are asymptotic subsets of X (Definition 3.3.2). Vice versa, suppose X = (X, E) is a coarse space and Y ⊆ X a subset. Then Y B (Y, E|Y ) is a coarse space and the inclusion ι: Y ,→ X gives a monic [ι]: Y → X. It is easy to see that if Y0 Y is a subset asymptotic to Y and ι0 : Y0 ,→ X is the inclusion, then [ι]: Y → X and [ι0]: Y0 → X are equivalent monics. We thus defined two maps:
image Y → X monic /∼ Y ⊆ X / inclusion
It is obvious that taking the image of the inclusion yields the identity. On the other hand, we see that a monic [ f ]: (Y, F ) → (X, E) is equivalent to the inclusion f (Y) ,→ X, because f is a coarse embedding (Lemma 3.1.1) and hence induces a coarse equivalence between (Y, F ) and ( f (Y), E| f (Y)). We have shown that there is a natural correspondence between subobjects of X (in the sense of monics) and asymptotic-equivalence classes of subsets of X.
Definition 3.4.3. A coarse subspace of a coarse space X = (X, E) is an equivalence class of coarse embeddings Y ,→ X. Equivalently, it is an equivalence class [Y] of subsets of X up to E-asymptoticity. Coarse subspaces are denoted with the inclusion symbol Y ⊆ X.
Using this terminology, we can define the coarse image of a coarse map.
Definition 3.4.4. Let f : X → Y be a coarse map, say f = [ f ]. The coarse image of f is the coarse subspace Im( f) ⊆ Y determined by the asymptotic equivalence class of Im( f ). That is,
Im( f) = Im([ f ]) B [Im( f )].
The coarse image f(Z) of a coarse subsbpace Z = [Z] ⊆ X is defined as [ f (Z)] or, equivalently, as the coarse image of the composition of f and the inclusion Z ,→ X.
33 Note that for Definition 3.4.4 to be well-posed it is essential that coarse maps are equivalence classes of controlled maps. That is, the fact that [ f (Z)] does not depend on the choice of representative Z for Z follows from Lemma 3.3.8 and crucially depends on the assumption that f is controlled.
It turns out that the situation for coarse quotients is somewhat simpler than for coarse subsets. For the sake of coherence, we will still use the categorical approach. Dually to Definition 3.4.1, one can define an equivalence relation on epic morphisms in a category C and define a quotient object as an equivalence class of epimorphisms. Unlike the notion of subobject, quotient objects in Coarse admit a simple description. Given a controlled function f : (X, E) → (Y, F ), the pull-back f ∗(F ) is a coarse structure containing E (Subsec- tion 3.2). Since f ∗(F ) is invariant under taking close maps, it follows that if we are given a diagram
Y , F f1 ( 1 1) (X, E) g
f2 (Y2, F2)
∗ ∗ where g = [g] is an isomorphism in the category of coarse spaces, then f1 (F1) = f2 (F2). In particular, the pull-back gives a well-defined map
pull-back {coarse quotients} −−−−−−−→{E0 coarse structure on X | E ⊆ E0}.
This map is clearly surjective because id: (X, E) → (X, E0) gives an epimorphism in Coarse whenever E ⊆ E0. More interestingly, it is also injective. In fact, if [q]: (X, E) → (Y, F ) is an epimorphism in Coarse then q is coarsely surjective (Lemma 3.1.1). It follows from Corollary 3.2.2 that q: (X, q∗(F )) → (Y, F ) is an isomorphism and hence [q]:(X, E) → (Y, F ) is equivalent to [id]: (X, E) → (X, q∗(F )). Definition 3.4.5. A coarse quotient of a coarse space X = (X, E) is an equivalence class of coarse surjections X → Y. Equivalently, it is a coarse space (X, E0) where E ⊆ E0. If R is any family of relations on X, we denote by X/R the coarse quotient (X, hE ∪ Ri). A coarse map f : F → Y = (Y, F ) factors through X/R if and only if ( f × f )(R) ∈ F for every R ∈ R. Note that the coarse quotient (X, E0) is an actual object in Coarse (and different choices of E0 define different coarse quotients). This should be contrasted with subspaces: a coarse subspace is only determined up to some equivalence relation and it is therefore only an equivalence class of objects in Coarse.7 This is the reason why we say that the situation for quotients is simpler. Note however that coarse subspaces do define a unique coarse space up to isomorphism. For this reason we will generally handle them as if they were objects in Coarse. For example, we can then say that (the coarse subspace determined by) the coarse image of f : X → Y is a coarse quotient of X. In other words, we use the following: Convention 3.4.6. When we write Y ⊆ X, the symbol Y is used to denote both the equivalence class of subsets [Y] and the coarse space Y = (Y, F ) which embeds into X (in the latter case Y will generally be a subset of X and F = E|Y ).
3.5 Containments and intersections of coarse subspaces Recall coarse subspaces have two equivalent definitions as equivalence classes of monics or isomorphism classes of objects, see the discussion just before Definition 3.4.3. The equivalence relation used for
7 Considering pointwise subsets Y ⊂ X equipped with the restrition E|Y is not a satisfactory alternative to the definition of coarse subspace. This is because it does not capture the essence of “coarseness”. We do want to say that two asymptotic subsets of (X, E) are “the same” coarse subspace.
34 defining coarse subspaces is induced from a preorder (Defintion 3.3.1). In particular, that preoder defines a partial order on the set of coarse subspaces of a coarse space X. Namely, we make the following definition:
Definition 3.5.1. Given coarse subspaces Y = [Y] and Z = [Z] of X, we say that Y is coarsely contained in Z if Y 4 Z. We denote coarse containements by Y ⊆X Z (we will drop the subscript X from the notation). Equivalently, Y ⊆X Z if the monomorphism Y ,→ X factors through Z ,→ X.
As announced, ⊆X defines a partial order: it follows from the definition that Y ⊆X Z and Z ⊆X Y then Y = Z are the same coarse subspace of X.
Lemma 3.5.2. Let X be a coarse space and Y ⊆ X a coarse subspace. Then,
(i) any coarse subspace Z ⊆ X with Z ⊆X Y uniquely determines a coarse subspace Z ⊆ Y;
(ii) any coarse subspace Z ⊆ Y uniquely determines a coarse subspace Z ⊆ X with Z ⊆X Y.
Proof. Let X = (X, E). (i): Realize the coarse subspace Y ⊆ X as a coarse space Y = (Y, F ) by choosing a representative Y ⊆ X with [Y] = Y and equipping it with the restriction of the coarse structure E|Y . Also choose a representative Z ⊆ X so that [Z] = Z. By assumption, there exists a controlled covering a so that Z ⊆ St(Y, a). It follows that Z is in fact contained in the a-neighbourhood of Z0 B Y ∩ St(Z, a). Hence 0 0 0 Z E Z are asymptotic subsets of X. Now Z is a subset of Y, so [Z ]E|Y is a genuine subspace of Y. This coarse subspace is uniquely determined in the sense that if we make a different choice of representatives Y0, Z0 and controlled covering a0 we obtain a natural coarse isomorphism f : Y → Y0 such that f(Z) = Z0. (ii): Let ι: Y → X and ι0 : Z → X be monics representing the coarse subspaces. The composition ι ◦ ι0 : Z → X determines a coarse subspace of X that is coarsely contained in Y ⊆ X. Different choices of representatives yield equivalent coarse subspaces.
Definition 3.5.1 defines containment among coarse subspaces “living” in some larger coarse space X. However, once a coarse subspace Y ⊆ X is identified as an actual coarse space Y = (Y, F ), then every coarse subspace Z ⊆ X that is coarsely contained in Y uniquely determines a coarse subspace of Y.
The partial ordering on coarse subspaces can be used to define intersections as meets. However, we wish to warn the reader that taking intersections of two or more coarse subspaces is a rather delicate matter. We use the following:
Definition 3.5.3. Let Y1,..., Yn be coarse subspaces of X. If it exists, their coarse intersection is a largest common coarse subspace (denoted Y1 ∩ · · · ∩ Yn). In other words, Y1 ∩ · · · ∩ Yn is a coarse subspace of X such that (Y1 ∩ · · · ∩ Yn) ⊆ Yi for each i = 1,..., n and so that if Z ⊆ Yi for each i = 1,..., n then Z ⊆ Y1 ∩ · · · ∩ Yn. Remark 3.5.4. The coarse intersection may be undefined. However, when it exists it is unique.
Lemma 3.5.5. Let Yi be representatives of Yi = [Yi], i = 1,..., n. A subset Z ⊆ X is a representative for the intersection Y1 ... Yn if and only if it satisfies the following:
• there is a controlled covering a so that Z ⊆ St(Yi, a) for every i = 1,..., n;
• for every controlled covering a there is a controlled covering b such that
St(Y1, a) ∩ · · · ∩ St(Yn, a) ⊆ St(Z, b).
35 Proof. Let Z B [Z]. The first condition is equivalent to saying that Z ⊆ Yi for every i = 1,..., n. Now, fix a controlled covering a. Then the coarse subspace [St(Y1, a) ∩ · · · ∩ St(Yn, a)] is coarsely contained in Yi for each i = 1,..., n. If Z is indeed equal to the coarse intersection of the Yi’s, it follows that St(Y1, a) ∩ · · · ∩ St(Yn, a) 4 Z, which is precisely the meaning of the second condition. 0 0 Vice versa, assume that the second condition holds. Let Z ⊆ X be a set so that [Z ] 4 [Yi] for each 0 Sn i = 1,..., n. In other words, Z ⊆ St(Yi, ai) for some controlled covering ai. The finite union a B i=1 ai 0 is again a controlled covering, and Z ⊆ St(Y1, a) ∩ · · · ∩ St(Yn, a). Since the latter is contained in St(Z, b), we see that [Z0] ⊆ Z. Hence Z is the coarse intersection.
Notice a coarse intersection may be much larger than a set-wise intersection of two representatives of coarse subspaces. For example, in (R, E|-|) we have [2Z] = [2Z + 1] = [R], so that the coarse intersection [2Z] ∩ [2Z + 1] = [R], even though 2Z and 2Z + 1 are disjoint subsets. The next example shows the coarse intersection may indeed not be defined in general. 2 Example 3.5.6. Equip R with the Euclidean metric and let X B (R, Ed). Let A ⊂ X be the x-axis so (1) ∈ | (1) − (1) | → ∞ (2) y = 0. Choose an increasing sequence bk R with bk bk+1 . Choose a second sequence bk , (1) (2) (1) | (1) − (2)| | (2) − (1) | so that bk < bk < bk+1 and both bk bk and bk bk+1 go to infinity. Recursively, keep choosing (n) sequences bk so that
(n) (n+1) (n) • bk < bk < bk+1,
| (n) − (n+1)| | (n+1) − (n) | • both bk bk and bk bk+1 go to infinity. S Now let Bn B {(bk, n) | k ∈ N} and B B n∈N Bn. Then the coarse intersection [A] ∩ [B] does not exist. In fact, for any fixed N ∈ N, let ZN be the intersection of the (closed) N-neighbourhoods of A and S B. Then ZN contains Bn for every n ≤ 2N, and it is contained in a neighbourhood of ≤ Bn. However, n 2N S the sets Bn are defined so that B2N+1 is not contained in any bounded-radius thickening of n≤2N Bn. Hence ZN+1 ZN. It follows that it is not possible to find a largest coarse subspace of X that is coarsely contained in both A and B. In a similar spirit, it is also possible to define the coarse preimage of a coarse map:
Definition 3.5.7. Let f : X → Y be a coarse map and Z ⊆ Y a coarse subspace. If it exists, the coarse preimage of Z is a largest coarse subspace of X whose coarse image is coarsely contained in Z (denoted f −1(Z)). In other words, f −1(Z) is a coarse subspace of X such that f( f −1(Z)) ⊆ Z and so that if f(Z0) ⊆ Z then Z0 ⊆ f −1(Z).
Remark 3.5.8. Just as for coarse intersection, the coarse preimage may not exist and if it exists it is unique. Note that the coarse intersection (Y1 ∩ Y2) ⊆ Y1 can be seen as the coarse preimage of Y2 under the coarse embedding Y1 ,→ X. The following result follows easily from the definitions. Its proof is left as an exercise.
Lemma 3.5.9. If f : X → Y is a coarse equivalence and g: Y → X is a coarse inverse, then for every coarse subspace Z ⊆ Y the coarse preimage f −1(Z) exists and it coarsely coincides with the coarse image g(Z).
Remark 3.5.10. One could also define a coarse union of subspaces in much the same manner as intersec- tions. These are behave better than coarse intersections in that finite coarse unions are always well-defined. What one would expect to be true of finite unions holds also in the coarse category. However, in the sequel we will never have occasion to use coarse unions.
36 4 Coarse Groups
Recall the category Coarse has binary product and terminal objects. Given such a category, one may study its group objects (see below for a definition). For example, the usual groups are the group objects in the category of sets Set, while topological groups are group objects in the category of topological spaces, Top. As announced, coarse groups are the group objects of Coarse. This is the main object of study of this monograph.
Convention 4.0.1. In the sequel we will work with both groups (in the usual sense) and coarse groups. To avoid confusion, we will always specify the category we are working on by calling the former set-groups.
Historical Remark. As far as we are aware, this work is the first to define and study coarse groups. However, many examples of coarse groups are obtained by equipping set-groups with appropriate coarse structures (we call these coarsified set-groups). Various authors have investigated how set-groups interact with coarse structures: as coarsified set-groups or via coarse actions (Definition 6.1.1). In that context, a number of elementary results discussed here have already been discovered and we recover them here as a special instances of more general statements. Among relevant literature, we should certainly include [DP19, DZ20, NR12, PP19, Pro19, Fri88, PP20, Pro18, Ros17].
4.1 The diagrammatic approach
We introduce a few pieces of notation:
Notation 4.1.1. Given coarse maps f1 : X1 → Y1 and f2 : X2 → Y2 we denote their product by
f1 × f2 : X1 × X2 → Y1 × Y2
(if f1 = [ f1] and f2 = [ f2] then f1 × f2 = [ f1 × f2]).
Given f1 : X → Y1 and f2 : X → Y2 we let ( f1, f2) B ( f1 × f2) ◦ [∆]: X → Y1 × Y2, where ∆: X → X × X is the diagonal embedding. By composition, a coarse mapping of the terminal object x: {pt} → X induces a “constant mapping” x of any other coarse space Y → {pt} −→ X (the coarse image of x can be thought of as a “coarse point” in X). We abuse notation, and denote this composition by x: Y → X.
The astute reader will notice that the commutative diagrams in the following definition of a coarse group are analogous to the usual group theoretic axioms. The important difference is that here the diagrams are taken in the coarse category and hence the relevant functions commute only up to closeness.
Definition 4.1.2. A coarse group is a group object in the Coarse category. That is, the datum of a coarse E × → { } → −1 → space G = (G, ) and morphisms ∗G : G G G, eG : pt G and [-]G : G G such that the
37 following diagrams commute:
id × ∗ G × G × G G G G × G
∗G × idG ∗G
∗ G × G G G (♥) (Associativity)