Effectual Topological Complexity
Abstract
We introduce the effectual topological complexity (ETC) of a -space . This is a -equivariant homotopy invariant sitting in between the effective topological complexity of the pair and the (regular) topological complexity of the orbit space . We study ETC for spheres and surfaces with antipodal involution, obtaining a full computation in the case of the torus. This allows us to prove the vanishing of twice the non-trivial obstruction responsible for the fact that the topological complexity of the Klein bottle is 4. In addition, this gives a counterexample to the possibility -- suggested in Pave\v{s}i\'c's work on the topological complexity of a map -- that ETC of would agree with Farber's whenever the projection map is finitely sheeted. We conjecture that ETC of spheres with antipodal action recasts the Hopf invariant one problem, and describe (conjecturally optimal) effectual motion planners.
Cite
@article{arxiv.2102.07249,
title = {Effectual Topological Complexity},
author = {Natalia Cadavid-Aguilar and Jesús González and Bárbara Gutiérrez and Cesar A. Ipanaque-Zapata},
journal= {arXiv preprint arXiv:2102.07249},
year = {2021}
}
Comments
19 pages