A combinatorial approach to coarse geometry

From MaRDI portal



Abstract: Using ideas from shape theory we embed the coarse category of metric spaces into the category of direct sequences of simplicial complexes with bonding maps being simplicial. Two direct sequences of simplicial complexes are equivalent if one of them can be transformed to the other by contiguous factorizations of bonding maps and by taking infinite subsequences. That embedding can be realized by either Rips complexes or analogs of Roe's anti-v{C}ech approximations of spaces. In that model the asymptotic dimension being at most n means that for each k there is m > k such that the bonding map from K_k to K_m factors (up to contiguity) through an n-dimensional complex. One can give a similar characterization of Property A of G.Yu. Using our approach we give a simple proof of a characterization of geodesic spaces that are coarsely equivalent to simplicial trees (a result of Fujiwara and Whyte).


Ordinary shape theory uses mappings of metric spaces \((X,d_Y)\) into CW complexes. The present authors deal with the coarse category of metric spaces, where homotopy of maps \(f,g: X \longrightarrow (Y,d_Y) \), is replaced by \textit{large scale} (\(ls-\)) equivalent functions: \(f \sim_{ls} g\) whenever \(sup_{x \in X} (d_Y (f(x),g(x)) < \infty))\). The mappings in this category are called \textit{bornologous} functions. Now the authors construct \textit{coarse simplicial complexes} consisting of sequences \(K_1 \longrightarrow K_2 \longrightarrow \dots\) having special properties. In analogy to shape theory there are coarse complexes associated with a metric space, satisfying conditions analog to those of a Čech system in shape theory. As a theorem they have:NEWLINENEWLINE If \((X,d_X), \;(Y,d_Y))\) are metric spaces with coarse complexes \(\mathcal{K}\), resp. \(\mathcal{L}\), then there is a natural bijection between bornologogous maps from \(X\) to \(Y\) and the set of morphisms from \(\mathcal{K}\) to \(\mathcal{L}\).NEWLINENEWLINESince here complexes are mapped into spaces, the author recognized a duality to shape theory, where this works the other way. In addition a concept of \textit{coarse} dimension, connectedness and some property A is treated.











This page was built for publication: A combinatorial approach to coarse geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q409495)