[論文レビュー] On the sectional category of certain maps

José Gabriel Carrasquel-Vera|arXiv (Cornell University)|Mar 25, 2015

Homotopy and Cohomology in Algebraic Topology被引用数 3

ひとこと要約

本稿は、ホモトピー再帰を備えた有理的写像の断面カテゴリーの代数的特徴付けを提供し、有理的ルステルニク＝シュナイレルマンカテゴリーに関するFelix-Halperin定理を拡張するとともに、Jessup-Murillo-Parentによる有理的トポロジカル複雑度に関する予想を証明する。さらに、Doeraene-El Haouariの意味における相対カテゴリーについても特徴付けを確立し、有理的ホモトピー論における主要な概念を統合する。

ABSTRACT

We give a simple algebraic characterisation of the sectional category of rational maps admitting a homotopy retraction. As a particular case we get the Felix-Halperin theorem for rational Lusternik-Schnirelmann category and prove the conjecture of Jessup-Murillo-Parent on rational topological complexity. We also give a characterisation for relative category in the sense of Doeraene-El Haouari.

研究の動機と目的

• ホモトピー再帰を備えた有理的写像の断面カテゴリーの代数的特徴付けを提供すること。
• 有理的ルステルニク＝シュナイレルマンカテゴリーに関するFelix-Halperin定理を、より広範な枠組みへと拡張すること。
• Jessup, Murillo, および Parent が提起した有理的トポロジカル複雑度に関する予想を証明すること。
• Doeraene および El Haouari の意味における相対カテゴリーの概念を有理的設定へと一般化すること。

提案手法

• 特に Sullivan モデルを用いて、写像とその再帰を代数的に表現するため、有理的ホモトピー論を利用する。
• 有理化された写像シリンダー構成を用いて、断面カテゴリーをその中にセクションが存在することによって定義する。
• ファイバーとベースを用いて、全空間の最小モデルを特徴付けるための代数的技法を適用する。
• 断面カテゴリーと、Sullivan モデル内での特定の代数的スプリットの存在との間の対応を確立する。
• 最小モデルおよび微分の理論を用いて、カテゴリー不変量の構造を分析する。
• 代数的条件を相対設定へと適応することで、相対カテゴリーへの枠組みの拡張を行う。

実験結果

リサーチクエスチョン

• RQ1 ホモトピー再帰を備えた有理的写像の断面カテゴリーは、どのように代数的に特徴付けられるか？
• RQ2 Jessup-Murillo-Parent が提起した有理的トポロジカル複雑度に関する予想は、有理的設定において真実であるか？
• RQ3 この代数的アプローチにより、有理的 LS-カテゴリーに関する Felix-Halperin 定理は、より広いクラスの写像へと一般化可能か？
• RQ4 Doeraene-El Haouari の意味における相対カテゴリーは、有理的ホモトピー圏においてどのように振る舞うか？
• RQ5 有理化された写像シリンダー内でのセクションの存在に対応する代数的条件は何か？

主な発見

• ホモトピー再帰を備えた有理的写像の断面カテゴリーは、その Sullivan モデル内での特定の代数的スプリットの存在によって特徴付けられる。
• 本稿は Jessup-Murillo-Parent の予想を確認し、有理的設定において有理的トポロジカル複雑度が断面カテゴリーと一致することを確立する。
• Felix-Halperin の有理的 LS-カテゴリーに関する定理は、主な特徴付けの特別な場合として回復され、一般化される。
• Doeraene および El Haouari の意味における相対カテゴリーについて、有理的ホモトピー論における新たな代数的特徴付けが提供される。
• 結果として、断面カテゴリーが写像の最小モデルの代数的構造によって完全に決定されることを示している。