Related papers: Smallest homotopically trivial non-contractible sp…

Cianci and Ottina proved that a homotopically trivial non-contractible finite $T_0$-space cannot have fewer than nine points and classified all such spaces with exactly nine points. The present paper completes the classification for spaces…

We characterize the smallest finite spaces with the same homotopy groups of the spheres. Similarly, we describe the minimal finite models of any finite graph. We also develop new combinatorial techniques based on finite spaces to study…

We classify minimal extrinsically homogeneous submanifolds of complex hyperbolic spaces.

A non-trivial separable metric space $X$ is called an almost homology $n$-manifold if the homology groups $H_k(X,X\backslash\{x\},\mathbb Z)$ are trivial for all $x\in X$ and all $k=0,1,..,n-1$. We provide a necessary and sufficient…

A point of a digital space is called simple if it can be deleted from the space without altering topology. This paper introduces the notion simple set of points of a digital space. The definition is based on contractible spaces and…

We construct an example of a Peano continuum $X$ such that: (i) $X$ is a one-point compactification of a polyhedron; (ii) $X$ is weakly homotopy equivalent to a point (i.e. $\pi_n(X)$ is trivial for all $n \geq 0$); (iii) $X$ is…

For a given pair of numbers $(d,k)$, we establish the minimal number of vertices in pure $d$-dimensional simplicial complexes with non-trivial homology in dimension $k$. Furthermore, we solve the problem under the additional constraint of…

We show that a connected finite topological space with $12$ or less points has a weak homotopy type of a wedge of spheres. In other words, we show that the order complex of a connected finite poset with $12$ or less points has a homotopy…

We provide examples of nonseparable compact spaces with the property that any continuous image which is homeomorphic to a finite product of spaces has a maximal prescribed number of nonseparable factors.

In the paper there are described minimal nontrivial solutions of the isometry equation. This equation naturally appears in the coding theory in the study of additive code isometries. The minimal nontrivial solutions correspond to the case…

This paper expands on and refines some known and less well-known results about the finite subset spaces of a simplicial complex $X$ including their connectivity and their top homology groups. It also discusses the inclusion of the…

We classify small contractions of (holomorphically) symplectic 4-folds.

Numerably contractible spaces play an important role in the theory of homotopy pushouts and pullbacks. The corresponding results imply that a number of well known weak homotopy equivalences are genuine ones if numerably contractible spaces…

Suppose M is a noncompact connected PL 2-manifold and let H(M)_0 denote the identity component of the homeomorphism group of M with the compact-open topology. In this paper we classify the homotopy type of H(M)_0 by showing that {\cal…

We provide an efficient algorithm to compute the minimum area of a homotopy between two closed plane curves, given that they divide the plane into finite number of regions. For any positive real number $\varepsilon>0$, we construct a closed…

A topological space is nonseparably connected if it is connected but all of its connected separable subspaces are singletons. We show that each connected first countable space is the image of a nonseparably connected complete metric space…

We construct homotopically non-trivial maps from S^m to S^n with arbitrarily small 3-dilation for certain pairs (m,n). The simplest example is m=4, n=3. Other examples include arbitrarily large values of m and n. We show that a homotopy…

We present simple examples of finite-dimensional connected homogeneous spaces (they are actually topological manifolds) with nonhomogeneous and nonrigid factors. In particular, we give an elementary solution of an old problem in general…

By means of filters, minimal R_1 and minimal regular topologies are characterized on suitable intervals consisting of non-trivial R_0 topologies.

We prove that a space whose topological complexity equals 1 is homotopy equivalent to some odd-dimensional sphere. We prove a similar result, although not in complete generality, for spaces X whose higher topological complexity TC_n(X) is…