Related papers: A Mapping Theorem for Topological Complexity
We define and study an equivariant version of Farber's topological complexity for spaces with a given compact group action. This is a special case of the equivariant sectional category of an equivariant map, also defined in this paper. The…
We study the homotopy types of spaces of algebraic (rational) maps from real projective spaces into complex projective spaces. In a previous paper we have shown that the inclusion of the first space into the second one is a homotopy…
The purpose of this paper is to generalise Sullivan's rational homotopy theory to non-nilpotent spaces, providing an alternative approach to defining Toen's schematic homotopy types over any field k of characteristic zero. New features…
We study certain topological problems that are inspired by applications to autonomous robot manipulation. Consider a continuous map $f\colon X\to Y$, where $f$ can be a kinematic map from the configuration space $X$ to the working space $Y$…
In this article we undertake a study of extension complexity from the perspective of formal languages. We define a natural way to associate a family of polytopes with binary languages. This allows us to define the notion of extension…
Let $X$ and $Y$ be finite complexes. When $Y$ is a nilpotent space, it has a rationalization $Y \to Y_{(0)}$ which is well-understood. Early on it was found that the induced map $[X,Y] \to [X,Y_{(0)}]$ on sets of mapping classes is…
We obtain restrictions on the rational homotopy types of mapping spaces and of classifying spaces of homotopy automorphisms by means of the theory of positive weight decompositions. The theory applies, in particular, to connected components…
We show that the Lusternik-Schnirelmann category of the homotopy cofiber of the diagonal map for non-orientable surfaces equals three. Also, we prove that the topological complexity of non-orientable surfaces of genus $>3$ is four.
We study the behavior of the abstract sectional category in the Quillen, the Strom and the Mixed proper model structures on topological spaces and prove that, under certain reasonable conditions, all of them coincide with the classical…
We prove that the topological complexity of (a motion planning algorithm on) the complement of generic complex essential hyperplane arrangement of $n$ hyperplanes in an $r$-dimensional linear space is min$\{n+1,2r\}$.
The results of a previous paper on the equivariant homotopy theory of crossed complexes are generalised from the case of a discrete group to general topological groups. The principal new ingredient necessary for this is an analysis of…
After introducing some motivations for this survey, we describe a formalism to parametrize a wide class of algebraic structures occurring naturally in various problems of topology, geometry and mathematical physics. This allows us to define…
We prove a result that enables us to calculate the rational homotopy of a wide class of spaces by the theory of minimal models.
In this work, we show that, for any simply-connected elliptic space $S$ admitting a pure minimal Sullivan model with a differential of constant length, we have ${\rm TC}_0(S)\leq 2{\rm cat}_0(S)+\chi_{\pi}(S)$ where $\chi_{\pi}(S)$ is the…
We introduce fibrewise Whitehead- and fibrewise Ganea definitions of monoidal topological complexity. We then define several lower bounds for the topological complexity, which improve on the standard lower bound in terms of nilpotency of…
James' sectional category and Farber's topological complexity are studied in a general and unified framework. We introduce `relative' and `strong relative' forms of the category for a map. We show that both can differ from sectional…
We define a class of spaces on which one may generalise the notion of compactness following motivating examples from higher-dimensional number theory. We establish analogues of several well-known topological results (such as Tychonoff's…
The complexity of algorithms solving the motion planning problem is measured by a homotopy invariant TC(X) of the configuration space X of the system. Previously known lower bounds for TC(X) use the structure of the cohomology algebra of X.…
The well-known theorem of Eilenberg and Ganea expresses the Lusternik - Schnirelmann category of an aspherical space as the cohomological dimension of its fundamental group. In this paper we study a similar problem of determining…
In this paper we prove tight bounds on the combinatorial and topological complexity of sets defined in terms of $n$ definable sets belonging to some fixed definable family of sets in an o-minimal structure. This generalizes the…