Equivariant and invariant parametrized topological complexity

Abstract

For a $G$-equivariant fibration $p:E\to B$, we introduce and study the invariant analogue of Cohen, Farber and Weinberger's parametrized topological complexity, called the invariant parametrized topological complexity. This notion generalizes the invariant topological complexity introduced by Lubawski and Marzantowicz. When $G$ is a compact Lie group acting freely on $E$, we show that the invariant parametrized topological complexity of the $G$-fibration $p:E\to B$ coincides with the parametrized topological complexity of the induced fibration $\overline{p}:\overline{E}\to \overline{B}$ between the orbit spaces. Furthermore, we compute the invariant parametrized topological complexity of equivariant Fadell-Neuwirth fibrations, which measures the complexity of motion planning in the presence of obstacles with unknown positions, where the order of their placement is irrelevant. In addition, we study the equivariant sectional category and the equivariant parametrized topological complexity, which serve as essential tools for obtaining several results in this paper.

37 pages. This is the final version that will appear in the journal Proceedings of the Royal Society of Edinburgh: Section A Mathematics