Related papers: Criteria for Components of a Function Space to be …

This paper investigates sufficient and necessary conditions for the existence of a homotopy equivalence between two finite simplicial complexes from an algorithmic point of view. As a result, the conditions are formulated in terms of the…

A neighborhood homotopy is an equivalence relation on spatial graphs which is generated by crossing changes on the same component and neighborhood equivalence. We give a complete classification of all 2-component spatial graphs up to…

The author proposes a method for investigating actions of finite groups on aspherical spaces. Complete homotopy classification of free actions of finite groups on aspherical spaces is obtained. Also there are some results about non-free…

The question of whether a given H-space X is, up to homotopy, a loop space has been studied from a variety of viewpoints. Here we address this question from the aspect of homotopy operations, in the classical sense of operations on homotopy…

This paper presents two algorithms. In their simplest form, the first algorithm decides the existence of a pointed homotopy between given simplicial maps f, g from X to Y and the second computes the group $[\Sigma X,Y]^*$ of pointed…

We describe the behaviour of the homotopy similarity relations and finite-order invariants under the function $[X,Y]\to[X,Z]$ induced by a map $Y\to Z$ strongly $r$-similar to the constant map.

We survey research on the homotopy theory of the space map(X, Y) consisting of all continuous functions between two topological spaces. We summarize progress on various classification problems for the homotopy types represented by the…

In this paper, we introduce the notion of bi-homotopy between subsets of continuous functions. A map $\phi$ from $A$ to $B$ is called an $h$-map if, for each two homotopic maps $f, g\in A$, their image (i.e., $\phi(f), \phi(g)$) are…

Let U be a unipotent group over the field of complex numbers C, acting on a complex algebraic variety X. Assume that there exists a surjective morphism of complex algebraic varieties f: X --> Y whose fibres are orbits of U. We show that if…

Let $f$ be a real- or circle-valued Morse function on a compact surface M having exactly $n>0$ critical points. Denote by $O$ the orbit of $f$ with respect to the right action of the group of diffeomorphisms of $M$. We show that the…

This paper proposes an algorithm that decides if two simply connected spaces represented by finite simplicial sets of finite $k$-type and finite dimension $d$ are homotopy equivalent. If the spaces are homotopy equivalent, the algorithm…

Let $S$ be a complete flat surface, such as the Euclidean plane. We determine the homeomorphism class of the space of all curves on $S$ which start and end at given points in given directions and whose curvatures are constrained to lie in a…

We give a short, mostly elementary and self-contained proof of the classical result that the groups of diffeomorphisms, homeomorphisms, and homotopy equivalences of a surface have the same group of connected components.

We classify the path-components of the space of circle-valued Morse functions on compact surfaces: two Morse functions $f, g: M\to S^1$ belong to same path-component of this space if and only if they are homotopic and have equal numbers of…

We complete the classification of isometric cohomogeneity-one actions on all symmetric spaces of noncompact type up to orbit equivalence.

We give a sufficient condition for isometric actions to have the congruency of orbits, that is, all orbits are isometrically congruent to each other. As applications, we give simple and unified proofs for some known congruence results, and…

We define the notion of {\em classifying space} of a topological stack and show that every topological stack \X has a classifying space X which is a topological space well-defined up to weak homotopy equivalence. Under a certain…

This note extends Quillen's Theorem A to a large class of categories internal to topological spaces. This allows us to show that under a mild condition a fully faithful and essentially surjective functor between such topological categories…

Normal maps between discrete groups $N\rightarrow G$ were characterized [FS] as those which induce a compatible topological group structure on the homotopy quotient $EN\times_N G$. Here we deal with topological group (or loop) maps…

In this paper author proposes a construction of a universal space of type $K(\pi,1)$ such that any action (up to homotopy conjugation) of a given finite group $G$ on spaces of the same homotopy type is presented on the constructed space.…