Related papers: CW type of inverse limits and function spaces

We give necessary and sufficient conditions for certain pushouts of topological spaces in the category of Cech's closure spaces to agree with their pushout in the category of topological spaces. We prove that in these two categories, the…

In this paper we will define an invariant $mc_{\infty}(f)$ of maps $f:X \rightarrow Y_{\mathbb{Q}}$ between a finite CW-complex and a rational space $Y_{\mathbb{Q}}$. We prove that this invariant is complete, i.e.…

Globular CW-complexes and flows are both geometric models of concurrent processes which allow to model in a precise way the notion of dihomotopy. Dihomotopy is an equivalence relation which preserves computer-scientific properties like the…

Given a manifold $M$ and a proper sub-bundle $\Delta\subset TM$, we study homotopy properties of the horizontal base-point free loop space $\Lambda$, i.e. the space of absolutely continuous maps $\gamma:S^1\to M$ whose velocities are…

This paper proves that the functor $C(*)$ that sends pointed, simply-connected CW-complexes to their chain-complexes equipped with diagonals and iterated higher diagonals, determines their integral homotopy type --- even inducing an…

Given topological spaces X and Y, a fundamental problem of algebraic topology is understanding the structure of all continuous maps X -> Y . We consider a computational version, where X, Y are given as finite simplicial complexes, and the…

An inverse limit of a sequence of covering spaces over a given space $X$ is not, in general, a covering space over $X$ but is still a lifting space, i.e. a Hurewicz fibration with unique path lifting property. Of particular interest are…

To a digraph with a choice of certain integral basis, we construct a CW complex, whose integral singular cohomology is canonically isomorphic to the path cohomology of the digraph as introduced in \cite{GLMY}. The homotopy type of the CW…

We prove a new selection theorem for multivalued mappings of C-space. Using this theorem we prove extension dimensional version of Hurewicz theorem for a closed mapping $f\colon X\to Y$ of $k$-space $X$ onto paracompact $C$-space $Y$: if…

We show that if a complex has free finitely generated reduced homology groups for two consecutive dimensions and trivial homology for all other dimensions, then it must have the homotopy type of a wedge of spheres of two consecutive…

By a formula of Farber the topological complexity TC(X) of a (p-1)-connected, m-dimensional CW-complex X is bounded above by (2m+1)/p+1. There are also various lower estimates for TC(X) such as the nilpotency of the ring $H^*(X\times…

It is proved that the sum of the Loewy lengths of the homology modules of a finite free complex F over a local ring R is bounded below by a number depending only on R. This result uncovers, in the structure of modules of finite projective…

In a previous paper, under the assumption that the Riemannian metric is special, the author proved some results about the moduli spaces and CW structures arising from Morse theory. By virtue of topological equivalence, this paper extends…

We introduce a bivariate version of topological complexity, $\mathrm{TC}(f,g)$, associated with two continuous maps $f\colon X\to Z$ and $g\colon Y\to Z$. This invariant measures the minimal number of continuous motion planning rules…

Let $X$ be a $4$-dimensional toric orbifold. If $H^3(X)$ has a non-trivial odd primary torsion, then we show that $X$ is homotopy equivalent to the wedge of a Moore space and a CW-complex. As a corollary, given two 4-dimensional toric…

We prove that completion at a set of primes preserves homotopy fibre squares of connected nilpotent spaces. As a consequence, we deduce the Hasse fracture square associated to a connected nilpotent space. Along the way, we give a quick…

We study Hurewicz fibrations between finite T$_0$--spaces from a combinatorial viewpoint and give strong conditions that a continuous map between finite T$_0$--spaces must satisfy in order to be a Hurewicz fibration. We also show that there…

In this paper, we prove that certain spherical fibrations over certain CW-complexes are stably fibre homotopy equivalent to $\mm{TOP}$-spherical fibrations (see Definition 1,1). Applying this result, we get a sufficient condition for…

We investigate whether non-metrizable manifolds in various classes can be homotopy equivalent to a CW-complex (in short: heCWc), and in particular contractible. We show that a non-metrizable manifold cannot be heCWc if it has one of the…

This paper defines an invariant associated to Whitehead's certain exact sequence of a simply connected CW-complex which is much more elementary - and less powerful - than the boundary invariant of Baues. Nevertheless, in good cases, it…