English

Hurewicz Theorem for Assouad-Nagata dimension

Metric Geometry 2014-02-26 v2 Geometric Topology

Abstract

Given a function f ⁣:XYf\colon X\to Y of metric spaces, its {\it asymptotic dimension} \asdim(f)\asdim(f) is the supremum of \asdim(A)\asdim(A) such that AXA\subset X and \asdim(f(A))=0\asdim(f(A))=0. Our main result is \begin{Thm} \label{ThmAInAbstract} \asdim(X)\asdim(f)+\asdim(Y)\asdim(X)\leq \asdim(f)+\asdim(Y) for any large scale uniform function f ⁣:XYf\colon X\to Y. \end{Thm} \ref{ThmAInAbstract} generalizes a result of Bell and Dranishnikov in which ff is Lipschitz and XX is geodesic. We provide analogs of \ref{ThmAInAbstract} for Assouad-Nagata dimension dimAN\dim_{AN} and asymptotic Assouad-Nagata dimension \ANasdim\ANasdim. In case of linearly controlled asymptotic dimension \Lasdim\Lasdim we provide counterexamples to three questions in a list of problems of Dranishnikov. As an application of analogs of \ref{ThmAInAbstract} we prove \begin{Thm} \label{ThmBInAbstract} If 1KGH11\to K\to G\to H\to 1 is an exact sequence of groups and GG is finitely generated, then \ANasdim(G,dG)\ANasdim(K,dGK)+\ANasdim(H,dH)\ANasdim (G,d_G)\leq \ANasdim (K,d_G|K)+\ANasdim (H,d_H) for any word metrics metrics dGd_G on GG and dHd_H on HH. \end{Thm} \ref{ThmBInAbstract} extends a result of Bell and Dranishnikov for asymptotic dimension.

Cite

@article{arxiv.math/0605416,
  title  = {Hurewicz Theorem for Assouad-Nagata dimension},
  author = {N. Brodskiy and J. Dydak and M. Levin and A. Mitra},
  journal= {arXiv preprint arXiv:math/0605416},
  year   = {2014}
}
R2 v1 2026-07-22T17:35:55.737Z