arXiv research

The paper characterizes $G$-ANR spaces and their properties.

Study local properties of homogeneous ANR-spaces, proving dimension full-valuedness.

In accordance with the Bing-Borsuk conjecture, we show that if X is an n-dimensional homogeneous metric ANR compactum and x\in X, then there is a local basis at x consisting of connected open sets U such that the cohomological properties of \overline U and bdU are similar to the properties of the closed ball \mathbb B^…

The homological dimension $d_G$ of metric compacta was introduced by Alexandroff. In this paper we provide some general properties of $d_G$, mainly with an eye towards describing the dimensional full-valuedness of compact metric spaces. As a corollary of the established properties of $d_G$, we prove that any two-dimens…

Spaces are classified as almost homology n-manifolds if their homology groups are trivial for all but the last dimension.

Three themes of general topology: quotient spaces; absolute retracts; and inverse limits - are reapproached here in the setting of metrizable uniform spaces, with an eye to applications in geometric and algebraic topology. The results include: 1) If f: A -> Y is a uniformly continuous map, where X and Y are metric spac…

We prove that a monomorphic functor $F:Comp\to Comp$ with finite supports is epimorphic, continuous, and its maximal $\emptyset$-modification $F^\circ$ preserves intersections. This implies that a monomorphic functor $F:Comp\to Comp$ of finite degree $deg F\le n$ preserves (finite-dimensional) compact ANR's if the spac…

We provide some properties and characterizations of homologically $UV^n$-maps and $lc^n_G$-spaces. We show that there is a parallel between recently introduced by Cauty algebraic $ANR$'s and homologically $lc^n_G$-metric spaces, and this parallel is similar to the parallel between ordinary $ANR$'s and $LC^n$-metric spa…

In accordance with the Bing-Borsuk conjecture \cite{bb}, we show that if $X$ is an $n$-dimensional homogeneous metric $ANR$ compactum and $x\in X$, then there is a local basis at x consisting of connected open sets U such that the homological properties of \bar U and bdU are similar to the properties of the closed ball…

Study homology manifolds using spectral sheaves and spectral six functor formalism.

The Bryant-Ferry-Mio-Weinberger surgery exact sequence for high-dimensional compact ANR homology manifolds is used to obtain transversality, splitting and bordism results for homology manifolds, generalizing previous work of Johnston.

We introduce and develop fine shape, which has a very simple definition and aims to supersede all previously known shape theories for metrizable spaces. The problem with known shape theories of metrizable spaces is illustrated by the following bizarre situation. Čech cohomology is an invariant of shape, and a fortiori …

We introduce and investigate the notion of (strong) $K^n_G$-manifolds, where $G$ is an abelian group. One of the result related to that notion (Theorem 3.4) implies the following partial answer to the Bing-Borsuk problem \cite{bb}, whether any partition of a homogeneous metric $ANR$-space $X$ of dimension $n$ is cyclic…

Survey of recent results on homogeneous finite-dimensional spaces.

We prove the following result announced in Todorov and Valov: Any homogeneous, metric $ANR$-continuum is a $V^n_G$-continuum provided $\dim_GX=n\geq 1$ and $\check{H}^n(X;G)\neq 0$, where $G$ is a principal ideal domain. This implies that any homogeneous $n$-dimensional metric $ANR$-continuum with $\check{H}^n(X;G)\neq…

We offer a short and elementary proof that, for a Z-set A in a finite-dimensional ANR Y, dimA<dimY. This result is relevant to the study of group boundaries. The original proof by Bestvina and Mess relied on cohomological dimension theory.

We specify a result of Yokoi \cite{yo} by proving that if $G$ is an abelian group and $X$ is a homogeneous metric $ANR$ compactum with $\dim_GX=n$ and $\check{H}^n(X;G)\neq 0$, then $X$ is an $(n,G)$-bubble. This implies that any such space $X$ has the following properties: $\check{H}^{n-1}(A;G)\neq 0$ for every closed…

V. V. Fedorchuk has recently introduced dimension functions K-dim \leq K-Ind and L-dim \leq L-Ind, where K is a simplicial complex and L is a compact metric ANR. For each complex K with a non-contractible join |K| * |K| (we write |K| for the geometric realisation of K), he has constructed first countable, separable com…

The paper proves a conjecture about manifold limits and characterizes their structure.

We define the LS-category cat_g by means of covers of a space by general subsets, and show that this definition coincides with the classical Lusternik-Schnirelmann category for compact metric ANR spaces. We apply this result to give short dimension theoretic proofs of the Grossman-Whitehead theorem and Dranishnikov's t…

We present two classical conjectures concerning the characterization of manifolds: the Bing Borsuk Conjecture asserts that every $n$-dimensional homogeneous ANR is a topological $n$-manifold, whereas the Busemann Conjecture asserts that every $n$-dimensional $G$-space is a topological $n$-manifold. The key object in bo…

A combination of Bestvina--Brady Morse theory and an acyclic reflection group trick produces a torsion-free finitely presented Q-Poincaré duality group which is not the fundamental group of an aspherical closed ANR Q-homology manifold. The acyclic construction suggests asking which Q-Poincaré duality groups act freely …

We consider a natural question: "Is it true that each homotopy domination of a polyhedron over itself is a homotopy equivalence?" and a strongly related problem of K. Borsuk (1967): "Is it true that two ANR's homotopy dominating each other have the same homotopy type?" The answer was earlier known to be positive for ma…

Let $M$ be a manifold or (more generally) a locally compact, metrizable ANR. If $K$ is an attractor for a flow in $M$, with basin of attraction $\mathcal{A}(K)$, it is well known that the inclusion $i : K \subseteq \mathcal{A}(K)$ is always a shape equivalence. In this paper we investigate to what extent this generaliz…

Let $M$ be a complete metric $ANR$-space such that for any metric compactum $K$ the function space $C(K,M)$ contains a dense set of Bing (resp., Krasinkiewicz) maps. It is shown that $M$ has the following property: If $f\colon X\to Y$ is a perfect surjection between metric spaces, then $C(X,M)$ with the source limitati…

We show that an n-dimensional compactum X embeds in R^m, where m>3(n+1)/2, if and only if X x X - Δadmits an equivariant map to S^{m-1}. In particular, X embeds in R^{2n}, n>3, iff the top power of the (twisted) Euler class of the factor-exchanging involution on X x X - Δis trivial. Assuming that X quasi-embeds in R^{2…

The study of shadow of Vietoris-Rips complexes and their homotopy properties.

Let X be a locally compact Polish space and G a non-discrete Polish ANR group. By C(X,G), we denote the topological group of all continuous maps f:X \to G endowed with the Whitney (graph) topology and by C_c(X,G) the subgroup consisting of all maps with compact support. It is known that if X is compact and non-discrete…

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 in…

We say that a metrizable space $M$ is a Krasinkiewicz space if any map from a metrizable compactum $X$ into $M$ can be approximated by Krasinkiewicz maps (a map $g\colon X\to M$ is Krasinkiewicz provided every continuum in $X$ is either contained in a fiber of $g$ or contains a component of a fiber of $g$). In this pap…

There are different definitions of homological dimension of metric compacta involving either Čech homology or exact (Steenrod) homology. In this paper we investigate the relation between these homological dimensions with respect to different groups. It is shown that all homological dimensions of a metric compactum X wi…

Wright showed that, if a 1-ended simply connected locally compact ANR Y with pro-monomorphic fundamental group at infinity admits a proper Z-action, then that fundamental group at infinity can be represented by an inverse sequence of finitely generated free groups. Geoghegan and Guilbault strengthened that result, prov…

We extend several techniques and theorems from geometric group theory so that they apply to geometric actions on arbitrary proper metric ARs (absolute retracts). A second way that we generalize earlier results is by eliminating freeness requirements often placed on the group actions. In doing so, we allow for groups wi…

For a closed topological $n$--manifold $K$ and a map $p:K\to B$ inducing an isomorphism $π_1(K)\toπ_1(B)$, there is a canonicaly defined morphism $b:H_{n+1}(B,K,\mathbb{L})\to \mathbb{S} (K)$, where $\mathbb{L}$ is the periodic simply-connected surgery spectrum and $\mathbb{S} (K)$ is the topological structure set. We …

For $G$ a topological group, existence theorems by Milnor (1956), Gelfand-Fuks (1968), and Segal (1975) of classifying spaces for principal $G$-bundles are generalized to $G$-spaces with torsion. Namely, any $G$-space approximately covered by tubes (a generalization of local trivialization) is the pullback of a univers…

Given a proper map f : M $\rightarrow$ Q, having cell-like point-inverses, from a manifold-without-boundary M onto an ANR Q, it is a much-studied problem to find when f is approximable by homeomorphisms, i.e., when the decomposition of M induced by f is shrinkable (in the sense of Bing). If dimension M $\geq$ 5, J. W. …

In 1992, David Wright proved a remarkable theorem about which contractible open manifolds are covering spaces. He showed that if a one-ended open manifold M has pro-monomorphic fundamental group at infinity which is not pro-trivial and is not stably Z, then M does not cover any manifold (except itself). In the non-mani…

Čech cohomology $H^n(X)$ of a separable metrizable space $X$ is defined in terms of cohomology of its nerves (or ANR neighborhoods) $P_β$ whereas Steenrod-Sitnikov homology $H_n(X)$ is defined in terms of homology of compact subsets $K_α\subset X$. We show that one can also go vice versa: in a sense, $H^n(X)$ can be re…

Spaces containing compact subsets with polyhedral complements are studied.