[论文解读] 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定理由有理Lusternik-Schnirelmann范畴推广至更广泛框架，并证明了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关于有理Lusternik-Schnirelmann范畴的定理推广至更广泛的框架。
• 证明Jessup、Murillo与Parent关于有理拓扑复杂度的猜想。
• 将Doeraene与El Haouari意义上的相对类别概念推广至有理设定。

提出的方法

• 利用有理同伦理论，特别是Sullivan模型，对映射及其收缩进行代数表示。
• 通过有理化映射柱构造中截面的存在性来定义横截类别。
• 应用代数技巧，根据纤维与基空间刻画全空间的极小模型。
• 建立横截类别与Sullivan模型中某种代数分裂存在的对应关系。
• 利用极小模型与导子理论分析类别不变量的结构。
• 通过将代数条件适配至相对设定，将框架扩展至相对类别。

实验结果

研究问题

• RQ1 如何对具有同伦收缩的有理映射的横截类别进行代数刻画？
• RQ2 Jessup-Murillo-Parent关于有理拓扑复杂度的猜想在有理设定下是否成立？
• RQ3 通过此代数方法，Felix-Halperin关于有理LS-范畴的定理能否推广至更广泛的映射类？
• RQ4 Doeraene-El Haouari意义下的相对类别在有理同伦范畴中表现为何种行为？
• RQ5 哪些代数条件对应于有理化映射柱中截面的存在性？

主要发现

• 具有同伦收缩的有理映射的横截类别由其Sullivan模型中某种代数分裂的存在性所刻画。
• 本文证实了Jessup-Murillo-Parent猜想，确立了在有理设定下，有理拓扑复杂度与横截类别一致。
• Felix-Halperin关于有理LS-范畴的定理作为主要刻画的特例被恢复并推广。
• 本文在有理同伦理论中为Doeraene与El Haouari意义上的相对类别提供了新的代数刻画。
• 结果表明，横截类别完全由映射极小模型的代数结构决定。