[论文解读] Derived manifolds and d-manifolds

Dennis Borisov|arXiv (Cornell University)|Dec 5, 2012

Homotopy and Cohomology in Algebraic Topology被引用 4

一句话总结

本文在导出微分概形上建立了模型结构，以研究从导出流形到d-流形的截断2-函子。证明了由此诱导的同伦范畴之间的1-函子是满的且本质上满射，从而在等价类上形成双射，尽管并非忠实，如反例所示。

ABSTRACT

A model structure is defined on the category of derived differentiable schemes, and it is used to analyse the truncation 2-functor from derived manifolds to d-manifolds. It is proved that the induced 1-functor between the homotopy categories is full and essentially surjective, giving a bijection between the sets of equivalence classes of objects. An example is constructed, showing that this 1-functor is not faithful.

研究动机与目标

• 通过同伦代数分析从导出流形到d-流形的截断2-函子。
• 在导出微分概形范畴上定义模型结构，以进行同伦分析。
• 确定导出流形与d-流形的同伦范畴之间诱导的1-函子的性质。
• 研究截断函子是否保持本质范畴结构，特别是忠实性。

提出的方法

• 在导出微分概形范畴上构建模型结构，以支持同伦推理。
• 利用该模型结构分析从导出流形到d-流形的截断2-函子。
• 研究导出流形与d-流形的同伦范畴之间诱导的1-函子。
• 通过范畴论与同伦论技术，证明诱导1-函子的满射性与本质满射性。
• 构造一个具体反例，以证明诱导1-函子并非忠实。

实验结果

研究问题

• RQ1 从导出流形到d-流形的截断2-函子在同伦范畴上是否为满射且本质上满射？
• RQ2 同伦范畴之间诱导的1-函子是否保持对象的等价类？
• RQ3 诱导1-函子是否忠实？即，导出流形同伦范畴中不同的态射是否可能被映射到d-流形同伦范畴中的同一态射？
• RQ4 能否构造一个反例，以证明诱导1-函子不忠实？
• RQ5 截断函子所捕捉的导出流形与d-流形之间的精确同伦关系是什么？

主要发现

• 导出流形与d-流形的同伦范畴之间诱导的1-函子是满射的。
• 诱导1-函子是本质上满射的，即每个d-流形在等价意义下均可作为某个导出流形的截断而得到。
• 诱导1-函子在同伦范畴的对象等价类集合之间建立了双射。
• 诱导1-函子并非忠实，如构造的反例所示：在导出流形同伦范畴中不同的态射被映射到d-流形同伦范畴中的同一态射。
• 导出微分概形上的模型结构为分析截断函子及其范畴性质提供了有效的框架。