arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2102.07249math.AT
收藏

虚拟拓扑复杂性

Effectual Topological Complexity

Natalia Cadavid-Aguilar, Jesús González, Bárbara Gutiérrez, Cesar A. Ipanaque-Zapata

摘要:

引入了$G$ -空间$X$的有效拓扑复杂度(ETC).这是一个$G$ -等变同伦不变量,位于$(X,G)$对的有效拓扑复杂度和轨道空间$X/G$的(正则)拓扑复杂度之间。我们研究ETC的领域和表面的对映对合,获得一个完整的计算的情况下的环面。这使我们能够证明消失的两倍的非平凡障碍负责的事实,即拓扑复杂性的克莱因瓶是4。此外,这给出了一个反例,证明了帕维希奇关于地图的拓扑复杂性的工作中提出的可能性,即只要投影地图$X\to X/G$是单页的,$(X,G)$的ETC就会与法伯的$TC(X)$一致。我们猜想,ETC的领域与对映行动重铸的霍普夫不变一个问题,并描述(实际上是最优的)有效的运动规划。

英文摘要:

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 the orbit space $X/G$. 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šić's work on the topological complexity of a map -- that ETC of $(X,G)$ would agree with Farber's $TC(X)$ whenever the projection map $X\to X/G$ 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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑