[论文解读] Hopf Invariants for sectional category with applications to topological robotics

Jesús González, Mark Grant+1 more|arXiv (Cornell University)|May 27, 2014

Homotopy and Cohomology in Algebraic Topology参考文献 39被引用 12

一句话总结

本文为横截类别发展了一般化的霍普夫不变量理论，使能够在2-胞复形中对拓扑复杂度（TC）进行更精细的同伦估计。通过利用纤维丛的混洗连乘积识别霍普夫不变量，作者建立了TC的精确界限：当且仅当某个伯斯坦-希尔顿-霍普夫不变量的连乘积为零时，TC(X) = 3；若该不变量非挠，则TC(X) ≥ 3，从而解决了经典上同调方法失效的情形。

ABSTRACT

We develop a theory of generalized Hopf invariants in the setting of sectional category. In particular we show how Hopf invariants for a product of fibrations can be identified as shuffle joins of Hopf invariants for the factors. Our results are applied in the study of Farber's topological complexity for 2-cell complexes, as well as in the construction of a counter-example to the analogue for topological complexity of Ganea's conjecture on Lusternik-Schnirelmann category.

研究动机与目标

• 将广义霍普夫不变量从路易斯蒂尼克-施尼雷尔曼范畴推广至更广泛的横截类别设定。
• 在标准上同调界限不足的情况下，为2-胞复形的拓扑复杂度（TC）提供更精细的同伦估计。
• 通过利用霍普夫不变量构造反例，解决拓扑复杂度的甘奈猜想类比问题。
• 基于代数-组合方法建立一个计算框架，以同调术语评估霍普夫不变量。

提出的方法

• 将霍普夫不变量作为锥附着后横截类别的增长障碍进行推广，使用不稳定同伦理论。
• 引入混洗连乘映射，将乘积纤维丛的霍普夫不变量分解为各因子不变量的组合。
• 将该理论应用于2-胞复形 $X = S^p \cup_\alpha e^{q+1}$ 关联的路径纤维丛，聚焦于亚稳态范围 $2p-1 < q \leq 3p-3$。
• 使用底胞射影 $H_0(\alpha) \in \pi_q(S^{2p-1})$ 表示附着映射 $\alpha$ 的伯斯坦-希尔顿-霍普夫不变量。
• 利用连乘函子 $\circledast$ 将TC(X)的条件表达为 $H_0(\alpha) \circledast H_0(\alpha) = 0$ 的形式。
• 通过 $s^{-({n+m+1})}$ 的悬垂与同调转移技术，关联同调上的诱导映射，利用 $H_*(\Omega S^p) = \mathbb{Z}[x]$ 的张量代数结构。

实验结果

研究问题

• RQ1 在何种条件下，2-胞复形 $X = S^p \cup_\alpha e^{q+1}$ 的拓扑复杂度等于3？
• RQ2 霍普夫不变量能否检测出TC(X) ≥ 3 的情形，特别是在上同调不变量因维数限制而失效的情况下？
• RQ3 路易斯蒂尼克-施尼雷尔曼范畴的甘奈猜想类比是否对拓扑复杂度成立？
• RQ4 乘积纤维丛的霍普夫不变量如何根据其因子的不变量进行分解？
• RQ5 混洗连乘结构在计算截面扩张障碍的同伦类中起什么作用？

主要发现

• 对于满足 $2p-1 < q \leq 3p-3$ 且 $H_0(\alpha) \neq 0$ 的 $X = S^p \cup_\alpha e^{q+1}$，有 $\mathrm{TC}(X) \leq 3$ 当且仅当 $(4 + 2(-1)^p)H_0(\alpha) \circledast H_0(\alpha) = 0$。
• 对于同一类复形，若 $(2 + (-1)^p)H_0(\alpha) \neq 0$，则 $\mathrm{TC}(X) \geq 3$，当 $p$ 为奇数时此条件自动成立。
• 当 $q$ 为偶数时，条件 $(4 + 2(-1)^p)H_0(\alpha) \circledast H_0(\alpha) = 0$ 自动满足，因此对所有满足 $H_0(\alpha) \neq 0$ 的此类 $X$，有 $\mathrm{TC}(X) = 3$。
• 若 $p$ 为奇数且 $H_0(\alpha) \circledast H_0(\alpha)$ 是奇挠元，则 $\mathrm{TC}(X) = 4$。
• 对于 $X = S^p \cup_\alpha e^{2p}$，本文给出了 $\mathrm{TC}(X)$ 的完整描述，其证明比亚稳态范围更初等。
• 作者构造了拓扑复杂度的甘奈猜想类比的反例，表明 $\mathrm{TC}(X)$ 可以超过基于范畴的预期界限。