Related papers: Higher topological complexity of aspherical spaces
Fix a finite group $G$. We analyze the computational complexity of the problem of counting homomorphisms $\pi_1(X) \to G$, where $X$ is a topological space treated as computational input. We are especially interested in requiring $G$ to be…
We determine the topological complexity of unordered configuration spaces on almost all punctured surfaces (both orientable and non-orientable). We also give improved bounds for the topological complexity of unordered configuration spaces…
Topological complexity $\TC{B}$ of a space $B$ is introduced by M. Farber to measure how much complex the space is, which is first considered on a configuration space of a motion planning of a robot arm. We also consider a stronger version…
We study an elementary problem of topological robotics: rotation of a line, which is fixed by a revolving joint at a base point: one wants to bring the line from its initial position to a final position by a continuous motion in the space.…
For positive integers $k$, $n$, and $g$ with $k\geq2$, we give a closed-form expression for the $k$-th $\mathbb{Z}_2$-zero-divisor cup length $\mathsf{zcl}_k(SP^n(N_g))$ of the $n$-th symmetric product $SP^n(N_g)$ of the closed…
We use rewriting systems to spell out cup-products in the (twisted) cohomology groups of a product of surface groups. This allows us to detect a non-trivial obstruction bounding from below the effective topological complexity of an…
A class of topological spaces is topologically rigid if any two spaces with the same fundamental group are also homeomorphic. Topological rigidity, in addition to its intrinsic interest, has been useful for solving abstract commensurability…
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…
The sectional category of a subgroup inclusion $H \hookrightarrow G$ can be defined as the sectional category of the corresponding map between Eilenberg--MacLane spaces. We extend a characterization of topological complexity of aspherical…
We study the group of rational concordance classes of codimension two knots in rational homology spheres. We give a full calculation of its algebraic theory by developing a complete set of new invariants. For computation, we relate these…
We introduce the higher topological complexity (TC_{n}) of a fibration in two ways: the higher homotopic distance and the Schwarz genus. Then we have some results on this notion related to TC, TC_{n} or cat of a topological space or a…
In this paper, we first prove the existence of relative free models of morphisms (resp. relative commutative models) in the category of $DGA(R)$ (resp. $CDGA(R)$), where $R$ is a principal ideal domain containing $\frac{1}{2}$. Next, we…
We note that, for any natural $k$ and every natural $l$ between $k$ and $2k$, there exists a group $\pi$ with $\cat K(\pi,1)=k$ and $\TC(K(\pi,1))=l$. Because of this, we can set up a problem of searching of purely group-theoretical…
We study higher analogues of effective and effectual topological complexity of spaces equipped with a group action. These are $G$-homotopy invariant and are motivated by the (higher) motion planning problem of $G$-spaces for which their…
This paper is devoted to study some topological properties of the SG subgroup, $\pi_1^{sg}(X,x)$, of the quasitopological fundamental group of a based space $(X,x)$, $\pt$, its topological properties as a subgroup of the topological…
We compute rationally the topological (complex) K-theory of the classifying space BG of a discrete group provided that G has a cocompact G-CW-model for its classifying space for proper G-actions. For instance word-hyperbolic groups and…
We extend the refined asymptotics of analytic torsion associated to congruence subgroups of $\operatorname{SL}(n)$ in previous work, to congruence subgroups in a large family of reductive groups. This is applied to give new asymptotics and…
We introduce the effectual topological complexity (ETC) of a $G$-space $X$. This is a $G$-equivariant homotopy invariant sitting in between the effective topological complexity of the pair $(X,G)$ and the (regular) topological complexity of…
A cohomology class u of a topological space X is atoroidal if its pullback to the torus vanishes for every map from a torus to X. Furthermore, X is atoroidally symplectic if there is an atoroidal cohomology class $u\in H^2(X;F)$ such that…
We determine topological complexity of a series of finite spaces which is weakly homotopy equivalent to a circle $S^1$, and give a finite space $X$ satisfying the inequality tc$(X) <$ cat$(X {\times} X)$. This answers two conjectures on…