arXiv subjects

N. Brodskiy

Publications and source records attributed to N. Brodskiy.

14 recordsLinked to original sources

arXiv2012

Topological and uniform structures on universal covering spaces

We discuss various uniform structures and topologies on the universal covering space $\widetilde X$ and on the fundamental group $π_1(X,x_0)$. We introduce a canonical uniform structure $CU(X)$ on a topological space $X$ and use it to relate topologies on $\widetilde X$ and uniform structures on $\widetilde{CU(X)}$. Using our concept of universal Peano space we show connections between the topology introduced by Spanier and a uniform structure of Berestovskii and Plaut. We give a sufficient and necessary condition for Berestovskii-Plaut structure to be identical with the one generated by the uniform convergence structure on the space of paths in $X$. We also describe when the topology of Spanier is identical with the quotient of the compact-open topology on the space of paths.

math.AT↗

arXiv2009

Assouad-Nagata dimension of tree-graded spaces

Given a metric space $X$ of finite asymptotic dimension, we consider a quasi-isometric invariant of the space called dimension function. The space is said to have asymptotic Assouad-Nagata dimension less or equal $n$ if there is a linear dimension function in this dimension. We prove that if $X$ is a tree-graded space (as introduced by C. Drutu and M. Sapir) and for some positive integer $n$ a function $f$ serves as an $n$-dimensional dimension function for all pieces of $X$, then the function $300\cdot f$ serves as an $n$-dimensional dimension function for $X$. As a corollary we find a formula for the asymptotic Assouad-Nagata dimension of the free product of finitely generated infinite groups: $asdim_{AN} (G*H)= max\{asdim_{AN} (G), asdim_{AN} (H)\}.$

math.GT↗

arXiv2008

Rips complexes and covers in the uniform category

James \cite{Jam} introduced uniform covering maps as an analog of covering maps in the topological category. Subsequently Berestovskii and Plaut \cite{BP3} introduced a theory of covers for uniform spaces generalizing their results for topological groups \cite{BP1}-\cite{BP2}. Their main concepts are discrete actions and pro-discrete actions, respectively. In case of pro-discrete actions Berestovskii and Plaut provided an analog of the universal covering space and their theory works well for the so-called coverable spaces. As will be seen in Section \ref{SECTION-Comparison}, \cite{BP3} generalizes only regular covering maps in topology and pro-discrete actions may not be preserved by compositions. In this paper we redefine the uniform covering maps and we generalize pro-discrete actions using Rips complexes and the chain lifting property. We expand the concept of generalized paths of Krasinkiewicz and Minc \cite{KraMin}.

math.MG↗

arXiv2008

Group Actions and Covering Maps in the Uniform Category

In Rips Complexes and Covers in the Uniform Category (arXiv:0706.3937) we define, following James, covering maps of uniform spaces and introduce the concept of generalized uniform covering maps. In this paper we investigate when these covering maps are induced by group actions. Also, as an application of our results we present an exposition of Prajs' homogeneous curve that is path-connected but not locally connected.

math.GN↗

arXiv2008

Covering maps for locally path-connected spaces

We define Peano covering maps and prove basic properties analogous to classical covers. Their domain is always locally path-connected but the range may be an arbitrary topological space. One of characterizations of Peano covering maps is via the uniqueness of homotopy lifting property for all locally path-connected spaces. Regular Peano covering maps over path-connected spaces are shown to be identical with generalized regular covering maps introduced by Fischer and Zastrow. If $X$ is path-connected, then every Peano covering map is equivalent to the projection $\widetilde X/H\to X$, where $H$ is a subgroup of the fundamental group of $X$ and $\widetilde X$ equipped with the basic topology. The projection $\widetilde X/H\to X$ is a Peano covering map if and only if it has the unique path lifting property. We define a new topology on $\widetilde X$ for which one has a characterization of $\widetilde X/H\to X$ having the unique path lifting property if $H$ is a normal subgroup of $π_1(X)$. Namely, $H$ must be closed in $π_1(X)$. Such groups include $π(\mathcal{U},x_0)$ ($\mathcal{U}$ being an open cover of $X$) and the kernel of the natural homomorphism from the fundamental group to the Cech fundamental group.

math.GT↗

arXiv2007

Dimension zero at all scales

We consider the notion of dimension in four categories: the category of (unbounded) separable metric spaces and (metrically proper) Lipschitz maps, and the category of (unbounded) separable metric spaces and (metrically proper) uniform maps. A unified treatment is given to the large scale dimension and the small scale dimension. We show that in all categories a space has dimension zero if and only if it is equivalent to an ultrametric space. Also, 0-dimensional spaces are characterized by means of retractions to subspaces. There is a universal zero-dimensional space in all categories. In the Lipschitz Category spaces of dimension zero are characterized by means of extensions of maps to the unit 0-sphere. Any countable group of asymptotic dimension zero is coarsely equivalent to a direct sum of cyclic groups. We construct uncountably many examples of coarsely inequivalent ultrametric spaces.

math.MG↗

arXiv2006

Assouad-Nagata dimension of wreath products of groups

Consider the wreath product $H\wr G$, where $H\ne 1$ is finite and $G$ is finitely generated. We show that the Assouad-Nagata dimension $\dim_{AN}(H\wr G)$ of $H\wr G$ depends on the growth of $G$ as follows: If the growth of $G$ is not bounded by a linear function, then $\dim_{AN}(H\wr G)=\infty$, otherwise $\dim_{AN}(H\wr G)=\dim_{AN}(G)\leq 1$.

math.MG↗

arXiv2006

Coarse structures and group actions

The main results of the paper are: \begin{Prop}\label{GenSvarc-Milnor} A group $G$ acting coarsely on a coarse space $(X,\CC)$ induces a coarse equivalence $g\to g\cdot x_0$ from $G$ to $X$ for any $x_0\in X$. \end{Prop} Theorem: \label{GenGromovThm} Two coarse structures $\CC_1$ and $\CC_2$ on the same set $X$ are equivalent if the following conditions are satisfied: \begin{enumerate} \item Bounded sets in $\CC_1$ are identical with bounded sets in $\CC_2$, \item There is a coarse action $ϕ_1$ of a group $G_1$ on $(X,\CC_1)$ and a coarse action $ϕ_2$ of a group $G_2$ on $(X,\CC_2)$ such that $ϕ_1$ commutes with $ϕ_2$. \end{enumerate} They generalize the following two basic results of coarse geometry: Proposition: [Švarc-Milnor Lemma {\cite[Theorem 1.18]{Roe lectures}}] \label{Svarc-Milnor} A group $G$ acting properly and cocompactly via isometries on a length space $X$ is finitely generated and induces a quasi-isometry equivalence $g\to g\cdot x_0$ from $G$ to $X$ for any $x_0\in X$. Theorem: [Gromov {\cite[page 6]{Gro asym invar}}] \label{GromovThm} Two finitely generated groups $G$ and $H$ are quasi-isometric if and only if there is a locally compact space $X$ admitting proper and cocompact actions of both $G$ and $H$ that commute.

math.MG↗

arXiv2006

Hurewicz Theorem for Assouad-Nagata dimension

Given a function $f\colon X\to Y$ of metric spaces, its {\it asymptotic dimension} $\asdim(f)$ is the supremum of $\asdim(A)$ such that $A\subset X$ and $\asdim(f(A))=0$. Our main result is \begin{Thm} \label{ThmAInAbstract} $\asdim(X)\leq \asdim(f)+\asdim(Y)$ for any large scale uniform function $f\colon X\to Y$. \end{Thm} \ref{ThmAInAbstract} generalizes a result of Bell and Dranishnikov in which $f$ is Lipschitz and $X$ is geodesic. We provide analogs of \ref{ThmAInAbstract} for Assouad-Nagata dimension $\dim_{AN}$ and asymptotic Assouad-Nagata dimension $\ANasdim$. In case of linearly controlled asymptotic dimension $\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 $1\to K\to G\to H\to 1$ is an exact sequence of groups and $G$ is finitely generated, then $$\ANasdim (G,d_G)\leq \ANasdim (K,d_G|K)+\ANasdim (H,d_H)$$ for any word metrics metrics $d_G$ on $G$ and $d_H$ on $H$. \end{Thm} \ref{ThmBInAbstract} extends a result of Bell and Dranishnikov for asymptotic dimension.

math.MG↗

arXiv2006

Svarc-Milnor Lemma: a proof by definition

The famous Švarc-Milnor Lemma says that a group $G$ acting properly and cocompactly via isometries on a length space $X$ is finitely generated and induces a quasi-isometry equivalence $g\to g\cdot x_0$ for any $x_0\in X$. We redefine the concept of coarseness so that the proof of the Lemma is automatic.

math.GT↗

arXiv2006

Nagata-Assouad dimension via Lipschitz extensions

In the first part of the paper we show how to relate several dimension theories (asymptotic dimension with Higson property, asymptotic dimension of Gromov, and capacity dimension of Buyalo \cite{Buyalo1}) to Nagata-Assouad dimension. This is done by applying two functors on the Lipschitz category of metric spaces: microscopic and macroscopic. In the second part we identify (among spaces of finite Nagata-Assouad dimension) spaces of Nagata-Assouad dimension at most $n$ as those for which the $n$-sphere $S^n$ is a Lipschitz extensor. Large scale and small scale analogs of that result are given.

math.MG↗

arXiv2005

Coarse dimensions and partitions of unity

Gromov \cite{Gr$_1$} and Dranishnikov \cite{Dr$_1$} introduced asymptotic and coarse dimensions of proper metric spaces via quite different ways. We define coarse and asymptotic dimension of all metric spaces in a unified manner and we investigate relationships between them generalizing results of Dranishnikov \cite{Dr$_1$} and Dranishnikov-Keesling-Uspienskij \cite{DKU}.

math.GT↗

arXiv2005

Compression of uniform embeddings into Hilbert space

If one tries to embed a metric space uniformly in Hilbert space, how close to quasi-isometric could the embedding be? We answer this question for finite dimensional CAT(0) cube complexes and for hyperbolic groups. In particular, we show that the Hilbert space compression of any hyperbolic group is 1.

math.GR↗

arXiv2005

Root closed function algebras on compacta of large dimension

Let $X$ be a Hausdorff compact space and $C(X)$ be the algebra of all continuous complex-valued functions on $X$, endowed with the supremum norm. We say that $C(X)$ is (approximately) $n$-th root closed if any function from $C(X)$ is (approximately) equal to the $n$-th power of another function. We characterize the approximate $n$-th root closedness of $C(X)$ in terms of $n$-divisibility of first $\check {\rm C}$ech cohomology groups of closed subsets of $X$. Next, for each positive integer $m$ we construct $m$-dimensional metrizable compactum $X$ such that $C(X)$ is approximately $n$-th root closed for any $n$. Also, for each positive integer $m$ we construct $m$-dimensional compact Hausdorff space $X$ such that $C(X)$ is $n$-th root closed for any $n$.

math.FA↗