Related papers: Are two given maps homotopic? An algorithmic viewp…

If K is a discrete group and Z is a K-spectrum, then the homotopy fixed point spectrum Z^{hK} is Map_*(EK_+, Z)^K, the fixed points of a familiar expression. Similarly, if G is a profinite group and X is a discrete G-spectrum, then X^{hG}…

In this note we give an algorithm to determine the rational homotopy type of the free and pointed mapping spaces $ map(F(\mathbb R^m,k), S^n)$ and $ map^*(F(\mathbb R^m,k), S^n)$. An explicit description of these spaces is given for $k=3$.…

Let $M$ be a closed, oriented, simply connected 6-manifold. After localization away from 2, we give a homotopy decomposition of $\Sigma M$ in terms of spheres, Moore spaces and other recognizable spaces. As applications we calculate…

In this paper, we demonstrate the non-existence of a computational algorithm capable of determining whether the second homotopy group of any compact constructive topological space is trivial. This finding shows the inherent limitations of…

Let $\K$ be a field of characteristic zero and $\Kbar$ be an algebraic closure of $\K$. Consider a sequence of polynomials$G=(g\_1,\dots,g\_s)$ in $\K[X\_1,\dots,X\_n]$, a polynomial matrix $\F=[f\_{i,j}] \in \K[X\_1,\dots,X\_n]^{p \times…

The commuting graph of a group $G$ is the graph whose vertices are the elements of $G$, two distinct vertices joined if they commute. Our purpose in this paper is twofold: we discuss the computational problem of deciding whether a given…

We introduce two new algebraic invariants, the (co)homological distances between continuous maps, which provide computable lower bounds for the homotopic distance and strictly refine the classical cup-length estimates. We then define the…

We give an alternative to Postnikov's homotopy classification of maps from 3-dimensional CW-complexes to homogeneous spaces G/H of Lie groups. It describes homotopy classes in terms of lifts to the group G and is suitable for extending the…

Let $X$ be a homogeneous space of a connected linear algebraic group $G$ defined over the field of complex numbers $\mathbb C$. Let $x\in X({\mathbb C})$ be a point. We denote by $H$ the stabilizer of $x$ in $G$. When $H$ is connected, we…

The aim of this paper is to show that the most elementary homotopy theory of $\mathbf{G}$-spaces is equivalent to a homotopy theory of simplicial sets over $\mathbf{BG}$, where $\mathbf{G}$ is a fixed group. Both homotopy theories are…

We investigate the problem of describing the homotopy classes $[X,Y]$ of continuous functions between $\omega$-bounded non metrizable manifolds $X,Y$. We define a family of surfaces $X$ built with the first octant $C$ in $L^2$ ($L$ is the…

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…

For given spaces $X$ and $Y$, let $map(X,Y)$ and $map_\ast(X,Y)$ be the unbased and based mapping spaces from $X$ to $Y$, equipped with compact-open topology respectively. Then let $map(X,Y;f)$ and $map_\ast(X,Y;g)$ be the path component of…

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…

We study the fixed point theory of n-valued maps of a space X using the fixed point theory of maps between X and its configuration spaces. We give some general results to decide whether an n-valued map can be deformed to a fixed point free…

Suppose that $X$ and $Y$ are surfaces of finite topological type, where $X$ has genus $g\geq 6$ and $Y$ has genus at most $2g-1$; in addition, suppose that $Y$ is not closed if it has genus $2g-1$. Our main result asserts that every…

We interpret mathematically the pair (master equation, solution of master equation) up to equivalence, as the pair (a presentation of a free triangular dga T over a combination operad O, dga map of T into C, a dga over O) up to homotopy…

In this article we consider the homotopy theory of stratified spaces through a simplicial point of view. We first consider a model category of filtered simplicial sets over some fixed poset $P$, and show that it is a simplicial…

An isovariant map is an equivariant map between $G$-spaces which strictly preserves isotropy groups. We consider an isovariant analogue of Klein--Williams equivariant intersection theory for a finite group $G$. We prove that under certain…

An action of A on X is a map F: AxX to X such that F|_X = id: X to X. The restriction F|_A: A to X of an action is called a cyclic map. Special cases of these notions include group actions and the Gottlieb groups of a space, each of which…