On the topological complexity of directed parametrized motion planning

Abstract

We introduce and study a parametrized analogue of the directed topological complexity, originally developed by Goubault, Farber, and Sagnier. We establish the fibrewise basic dihomotopy invariance of directed parametrized topological complexity and explore its relationship with the parametrized topological complexity. In addition, we introduce the concept of the directed Lusternik-Schnirelmann (LS) category, prove its basic dihomotopy invariance, and investigate its connections with both directed topological complexity and directed parametrized topological complexity. We further investigate additional properties of our invariant and examine its connections with several other invariants that arise naturally in the context of topological robotics. Moreover, we compute the directed parametrized topological complexity of the Hopf fibrations and the Fadell-Neuwirth fibrations having specific directed fibration structures.