On asymptotic dimension with linear control (Q2452045)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On asymptotic dimension with linear control
scientific article

    Statements

    On asymptotic dimension with linear control (English)
    0 references
    0 references
    28 May 2014
    0 references
    Let \((X,d)\) be a metric space. For \(\lambda>0\) and \(D>0\), \((\lambda,D)\)-\(\dim X\leq n\) if there are \(n+1\) families \({\mathcal U}_0,{\mathcal U}_1,\ldots,{\mathcal U}_n\) of subsets of \(X\) such that \(\bigcup\limits_{i=0}^n{\mathcal U}_i\) covers \(X\) and for each \(i=0,1,\ldots,n\) \(d(U,V)>\lambda\) for any distinct elements \(U\), \(V\) of \({\mathcal U}_i\) and \(\text{mesh}\,({\mathcal U}_i)\leq D\). Then, \textit{the asymptotic dimension} \(\text{asdim}\,X\) of a metric space \(X\) is less than or equal to \(n\), asdim\(\,X\leq n\) if and only if for any \(\lambda>0\) there is \(D>0\) such that \((\lambda,D)\)-\(\dim X\leq n\). Furthermore, \textit{the asymptotic dimension with linear control} \(\ell\)-\(\text{asdim}_{\ast}\,X\) and \textit{the asymptotic Assouad-Nagata dimension} \(\text{AN-asdim}\,X\) of a metric space \(X\) are defined as follows: \(\ell\)-\(\text{asdim}_{\ast}\,X\leq n\) if there is \(c>0\) such that for every \(R>0\) there is \(\lambda>R\) such that \((\lambda,c\lambda)\)-\(\dim X\leq n\) and \(\text{AN-asdim}\,X\leq n\) if there are \(c>0\) and \(r_0>0\) such that for every \(\lambda>r_0\) such that \((\lambda,c\lambda)\)-\(\dim X\leq n\). Clearly, \(\ell\)-\(\text{asdim}_{\ast}\,X\leq\text{AN-asdim}\,X\) holds. \textit{A. Dranishnikov} in [``Open problems in asymptotic dimension theory'', in: M. Bestvina (Ed.), Problems in Geometric Group Theory, {\texttt{https://sites.google.com/a/scu.edu/rscott/pggt}}] posed the following problem: Does \(\ell\)-\(\text{asdim}_{\ast}\,X=\text{AN-asdim}\,X\)? What if \(X\) is a finitely generated group? In this paper, the author gives a negative answer to the first part of the problem. The counter-example is a countable \(p\)-local group with a proper invariant metric.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    asymptotic dimension
    0 references
    dimension
    0 references
    Assouad-Nagata dimension
    0 references
    0 references
    0 references