arXiv subjects

A. Vavpetic

Publications and source records attributed to A. Vavpetic.

8 recordsLinked to original sources

arXiv2009

Asymptotic dimension, Property A, and Lipschitz maps

It is well-known that a paracompact space X is of covering dimension n if and only if any map f from X to a simplicial complex K can be pushed into its n-skeleton. We use the same idea to define dimension in the coarse category. It turns out the analog of maps f from X to K is related to asymptotically Lipschitz maps, the analog of paracompact spaces are spaces related to Yu's Property A, and the dimension coincides with Gromov's asymptotic dimension.

math.MG↗

arXiv2008

Property A and asymptotic dimension

The purpose of this note is to characterize the asymptotic dimension $asdim(X)$ of metric spaces $X$ in terms similar to Property A of Yu: If $(X,d)$ is a metric space and $n\ge 0$, then the following conditions are equivalent: [a.] $asdim(X,d)\leq n$, [b.] For each $R,ε> 0$ there is $S > 0$ and finite non-empty subsets $A_x\subset B(x,S)\times N$, $x\in X$, such that $\frac{| A_xΔA_y|}{| A_x\cap A_y|} < ε$ if $d(x,y) < R$ and the projection of $A_x$ onto $X$ contains at most $n+1$ elements for all $x\in X$, [c.] For each $R > 0$ there is $S > 0$ and finite non-empty subsets $A_x\subset B(x,S)\times N$, $x\in X$, such that $\frac{| A_xΔA_y|}{| A_x\cap A_y|} < \frac{1}{n+1}$ if $d(x,y) < R$ and the projection of $A_x$ onto $X$ contains at most $n+1$ elements for all $x\in X$.

math.MG↗

arXiv2008

Bockstein theorem for nilpotent groups

We extend the definition of Bockstein basis $σ(G)$ to nilpotent groups $G$. A metrizable space $X$ is called a {\it Bockstein space} if $\dim_G(X) = \sup\{\dim_H(X) | H\in σ(G)\}$ for all Abelian groups $G$. Bockstein First Theorem says that all compact spaces are Bockstein spaces. Here are the main results of the paper: Let $X$ be a Bockstein space. If $G$ is nilpotent, then $\dim_G(X) \leq 1$ if and only if $\sup\{\dim_H(X) | H\inσ(G)\}\leq 1$. $X$ is a Bockstein space if and only if $\dim_{\Z_{(l)}} (X) = \dim_{\hat{Z}_{(l)}}(X)$ for all subsets $l$ of prime numbers.

math.GT↗

arXiv2008

Compact maps and quasi-finite complexes

The simplest condition characterizing quasi-finite CW complexes $K$ is the implication $Xτ_h K\implies β(X)τK$ for all paracompact spaces $X$. Here are the main results of the paper: Theorem: If $\{K_s\}_{s\in S}$ is a family of pointed quasi-finite complexes, then their wedge $\bigvee\limits_{s\in S}K_s$ is quasi-finite. Theorem: If $K_1$ and $K_2$ are quasi-finite countable complexes, then their join $K_1\ast K_2$ is quasi-finite. Theorem: For every quasi-finite CW complex $K$ there is a family $\{K_s\}_{s\in S}$ of countable CW complexes such that $\bigvee\limits_{s\in S} K_s$ is quasi-finite and is equivalent, over the class of paracompact spaces, to $K$. Theorem: Two quasi-finite CW complexes $K$ and $L$ are equivalent over the class of paracompact spaces if and only if they are equivalent over the class of compact metric spaces. Quasi-finite CW complexes lead naturally to the concept of $Xτ{\mathcal F}$, where ${\mathcal F}$ is a family of maps between CW complexes. We generalize some well-known results of extension theory using that concept.

math.GT↗

arXiv2006

Sublinear Higson corona and Lipschitz extensions

The purpose of the paper is to characterize the dimension of sublinear Higson corona $ν_L(X)$ of $X$ in terms of Lipschitz extensions of functions: Theorem: Suppose $(X,d)$ is a proper metric space. The dimension of the sublinear Higson corona $ν_L(X)$ of $X$ is the smallest integer $m\ge 0$ with the following property: Any norm-preserving asymptotically Lipschitz function $f'\colon A\to \R^{m+1}$, $A\subset X$, extends to a norm-preserving asymptotically Lipschitz function $g'\colon X\to \R^{m+1}$. One should compare it to the result of Dranishnikov \cite{Dr1} who characterized the dimension of the Higson corona $ν(X)$ of $X$ is the smallest integer $n\ge 0$ such that $\R^{n+1}$ is an absolute extensor of $X$ in the asymptotic category $\AAA$ (that means any proper asymptotically Lipschitz function $f\colon A\to \R^{n+1}$, $A$ closed in $X$, extends to a proper asymptotically Lipschitz function $f'\colon X\to \R^{n+1}$). \par In \cite{Dr1} Dranishnikov introduced the category $\tilde \AAA$ whose objects are pointed proper metric spaces $X$ and morphisms are asymptotically Lipschitz functions $f\colon X\to Y$ such that there are constants $b,c > 0$ satisfying $|f(x)|\ge c\cdot |x|-b$ for all $x\in X$. We show $\dim(ν_L(X))\leq n$ if and only if $\R^{n+1}$ is an absolute extensor of $X$ in the category $\tilde\AAA$. \par As an application we reprove the following result of Dranishnikov and Smith \cite{DRS}: Theorem: Suppose $(X,d)$ is a proper metric space of finite asymptotic Assouad-Nagata dimension $\asdim_{AN}(X)$. If $X$ is cocompact and connected, then $\asdim_{AN}(X)$ equals the dimension of the sublinear Higson corona $ν_L(X)$ of $X$.

math.MG↗

arXiv2006

Hurewicz-Serre Theorem in extension theory

The paper is devoted to generalizations of Cencelj-Dranishnikov theorems relating extension properties of nilpotent CW complexes to its homology groups. Here are the main results of the paper: \par {\bf Theorem}. Suppose $L$ is a nilpotent CW complex and $F$ is the homotopy fiber of the inclusion $i$ of $L$ into its infinite symmetric product $SP(L)$. If $X$ is a metrizable space such that $XτK(H_k(L),k)$ for all $k\ge 1$, then $XτK(π_k(F),k)$ and $XτK(π_k(L),k)$ for all $k\ge 2$. \par {\bf Theorem}. Let $X$ be a metrizable space such that $\dim(X) < \infty$ or $X\in ANR$. Suppose $L$ is a nilpotent CW complex and $SP(L)$ is its infinite symmetric product. If $XτSP(L)$, then $XτL$ in the following cases: \begin{itemize} \item[a.] $H_1(L)$ is finitely generated. \item[b.] $H_1(L)$ is a torsion group. \end{itemize}

math.AT↗

arXiv2005

Algebraic properties of quasi-finite complexes

A countable CW complex $K$ is quasi-finite (as defined by A.Karasev) if for every finite subcomplex $M$ of $K$ there is a finite subcomplex $e(M)$ such that any map $f:A\to M$, where $A$ is closed in a separable metric space $X$ satisfying $XτK$, has an extension $g:X\to e(M)$. Levin's results imply that none of the Eilenberg-MacLane spaces $K(G,2)$ is quasi-finite if $G\ne 0$. In this paper we discuss quasi-finiteness of all Eilenberg-MacLane spaces. More generally, we deal with CW complexes with finitely many nonzero Postnikov invariants. Here are the main results of the paper: Suppose $K$ is a countable CW complex with finitely many nonzero Postnikov invariants. If $π_1(K)$ is a locally finite group and $K$ is quasi-finite, then $K$ is acyclic. Suppose $K$ is a countable non-contractible CW complex with finitely many nonzero Postnikov invariants. If $π_1(K)$ is nilpotent and $K$ is quasi-finite, then $K$ is extensionally equivalent to $S^1$.

math.GT↗

arXiv2005

Symplectic groups are N-determined 2-compact groups

We show that for n>=3 the symplectic group Sp(n) is as a 2-compact group determined up to isomorphism by the isomorphism type of its maximal torus normalizer. This allows us to determine the integral homotopy type of Sp(n) among connected finite loop spaces with maximal torus.

math.AT↗