Sectional category with respect to group actions and sequential topological complexity of fibre bundles

Abstract

Let $X$ be a $G$-space. In this paper, we introduce the notion of sectional category with respect to $G$. As a result, we obtain $G$-homotopy invariants: the LS category with respect to $G$, the sequential topological complexity with respect to $G$ (which is same as the weak sequential equivariant topological complexity ${\mathrm{TC}}_{k,G}^w(X)$ in the sense of Farber and Oprea), and the strong sequential topological complexity with respect to $G$, denoted by ${\mathrm{cat}}_G^{\#}(X)$, ${\mathrm{TC}}_{k,G}^{\#}(X)$, and ${\mathrm{TC}}_{k,G}^{\#,\ast }(X)$, respectively. We explore several relationships among these invariants and well-known ones, such as the LS category, the sequential (equivariant) topological complexity, and the sequential strong equivariant topological complexity. In one of our main results, we give an additive upper bound for ${\mathrm{TC}}_k(E)$ for a fibre bundle $F\hookrightarrow E\to B$ with structure group $G$ in terms of certain motion planning covers of the base $B$ and the invariant ${\mathrm{TC}}_{k,G}^{\#,\ast }(F)$ or ${\mathrm{cat}}_{G^k}^{\#}(F^k)$, where the fibre $F$ is viewed as a $G$-space. As applications of these results, we give bounds on the sequential topological complexity of generalized projective product spaces and mapping tori.

Following the reviewers' suggestions, Lemma 5.1 has been revised, Section 3 has been shortened, and additional computations for projective product spaces have been included in Section 6. This is the final version that will appear in Homology, Homotopy and Applications