Asymptotic dimension of coarse spaces via maps to simplicial complexes (Q1709066)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Asymptotic dimension of coarse spaces via maps to simplicial complexes
scientific article

    Statements

    Asymptotic dimension of coarse spaces via maps to simplicial complexes (English)
    0 references
    0 references
    0 references
    0 references
    27 March 2018
    0 references
    It is known that a paracompact space \(X\) has covering dimension at most \(n\) if and only if given any continuous map \(f: X\to K\) to a simplicial complex with a restriction \(g: A\to K^{(n)}\) from a closed subset of \(X\) to the \(n\)-skeleton, there exists a filler \(h: X\to K^{(n)}\), i.e., \(h|A = g\) and \(h(x) \in \Delta\) whenever \(f(x)\in\Delta\) for any simplex \(\Delta\) of \(K\). In an analogous way, the authors formulate a characterization of asymptotic dimension in the coarse category of arbitrary coarse spaces, introducing the notion of \(({\mathcal U}, \varepsilon)\)-partition of unity for \(\varepsilon>0\) and a uniformly bounded cover \({\mathcal U}\) of \(X\). More precisely, they show that if a coarse space \(X\) has asymptotic dimension at most \(n\), then for every \(\varepsilon>0\) and uniformly bounded cover \({\mathcal U}\) of \(X\), there exist \(\delta>0\) and a uniformly bounded cover \({\mathcal V}\) of \(X\) such that given any \(({\mathcal V}, \delta)\)-partition of unity \(f: X\to K\) with a restriction \(g: A\to K^{(n)}\) from a subset of \(X\), there exists a filler \(h: X\to K^{(n)}\) that is a \(({\mathcal U}, \varepsilon)\)-partition of unity. Moreover, the authors introduce the notion of large scale paracompactness for arbitrary coarse spaces, which is a generalization of metric spaces with Property A of G. Yu, and show that if \(X\) is a large scale paracompact space and has the above property, then the asymptotic dimension of \(X\) is at most \(n\).
    0 references
    asymptotic dimension
    0 references
    coarse geometry
    0 references
    Lipschitz maps
    0 references
    property A
    0 references

    Identifiers