[論文レビュー] 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 であるための十分条件は、そのインバリアントが非ねじれであることである。これにより、古典的なコhomological手法が失敗する場合のケースが解消される。

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.

研究の動機と目的

• ルステルニク＝シュナイレルマン類数から、より広範な断面類数の設定へ一般化されたホフ・インバリアントを拡張すること。
• 標準的なコhomological境界が不十分な2セル複体の位相的複雑性（TC）に対する精密なホモトピー的推定を提供すること。
• ルステルニク＝シュナイレルマン類数におけるガネアの予想の類似を、ホフ・インバリアントを用いて反例を構成することで解明すること。
• 代数的・組合的技法に基づく計算フレームワークを確立し、ホモロジー的文脈でホフ・インバリアントを評価すること。

提案手法

• 不安定ホモトピー論を用いて、コーン付加による断面類数の増加を妨げる障害としてホフ・インバリアントを一般化する。
• シャッフル・ジョイン写像を導入し、積ファイブレーションのホフ・インバリアントを個々の因子のインバリアントの組み合わせに分解する。
• メタ安定範囲 $2p-1 < q \leq 3p-3$ 内で、2セル複体 $X = S^p \cup_\alpha e^{q+1}$ に関連するパス・ファイブレーションに理論を適用する。
• 底セル射影 $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})}$ を用いたスuspension およびホモロジー移行技術を適用し、ホモロジー上の誘導写像を関連づけ、$H_*(\Omega S^p) = \mathbb{Z}[x]$ のテンソル代数構造を活用する。

実験結果

リサーチクエスチョン

• RQ1 2セル複体 $X = S^p \cup_\alpha e^{q+1}$ の位相的複雑性が 3 に等しいのはどのような条件下か？
• RQ2 コhomologicalインバリアントが次元制約により失敗する場合でも、ホフ・インバリアントがTC(X) ≥ 3 を検出できるか？
• RQ3 ルステルニク＝シュナイレルマン類数におけるガネアの予想の類似が、位相的複雑性について成り立つか？
• RQ4 積ファイブレーションのホフ・インバリアントは、その因子のインバリアントの何らかの形に分解可能か？
• RQ5 シャッフル・ジョイン構造は、切断拡張の障害のホモトピー類を計算する際に果たす役割は何か？

主な発見

• $X = S^p \cup_\alpha e^{q+1}$ で $2p-1 < q \leq 3p-3$ かつ $H_0(\alpha) \neq 0$ のとき、$\mathrm{TC}(X) \leq 3$ であるための必要十分条件は $(4 + 2(-1)^p)H_0(\alpha) \circledast H_0(\alpha) = 0$ である。
• 同じクラスの複体について、$\mathrm{TC}(X) \geq 3$ であるための十分条件は $(2 + (-1)^p)H_0(\alpha) \neq 0$ であり、これは $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)$ がカテゴリの予想される境界を超える可能性があることを示した。