[论文解读] Derived manifolds and Kuranishi models

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

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用 8

一句话总结

本文通过在有限型的导出 $C^{\infty}$-代数系上构造右伪模型结构，建立了一个同伦论框架，用于导出流形，证明了从导出流形到 $d$-流形的截断函子在同伦范畴上诱导出一个满且本质上本质的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.

研究动机与目标

• 通过在有限型对象上构造右伪模型结构，发展导出 $C^{\infty}$-代数系的同伦理论。
• 分析从导出流形到 $d$-流形的截断2-函子，该函子源于Kuranishi模型之间态射的线性化。
• 确定截断函子在多大程度上保持范畴结构，特别是其忠实性。
• 证明尽管在同伦范畴之间诱导出的1-函子是满且本质上本质的，但其并非忠实，表明同伦非平凡的数据在过程中丢失。

提出的方法

• 在有限型导出 $C^{\infty}$-代数系的范畴上构造了一个右伪模型范畴结构，从而支持同伦拉直积和映射空间的计算。
• 该范畴在单纯集上进行富化，允许通过向量丛截面的0-余点的单纯 $C^{\infty}$-环结构显式计算映射空间。
• 导出流形被定义为单纯 $C^{\infty}$-环的谱，显式计算表明，向量丛截面的0-余点的单纯环为 $\{C^{\infty}(E^{\times_{\mathcal{M}}^{k}})\}_{k\geq 0}$。
• $d$-流形的2-范畴通过层的前推和导子被重新诠释，避免使用拉回，与导出几何框架保持一致。
• 利用单纯模型结构分析截断2-函子，通过取映射空间的基本群丛，将导出流形映射到 $d$-流形。
• 构造了一个反例，利用单纯 $C^{\infty}$-环的 $\pi_1$ 中一个非平凡类在截断后消失，证明了1-函子的非忠实性。

实验结果

研究问题

• RQ1 从导出流形到 $d$-流形的截断函子在同伦范畴上是否是满且本质上本质的？
• RQ2 截断过程是否保持了导出流形与 $d$-流形之间对象的等价类？
• RQ3 截断函子在多大程度上是忠实的？在该过程中损失了哪些同伦信息？
• RQ4 能否在有限型导出 $C^{\infty}$-代数系上构造一个支持导出几何中同伦计算的模型结构？
• RQ5 是否存在一个具体例子，使得两个在导出流形中不彼此同伦的态射在截断到 $d$-流形后变得相等？

主要发现

• 从导出流形到 $d$-流形的截断2-函子在它们的同伦范畴之间诱导出一个1-函子，该函子是满且本质上本质的。
• 所诱导的1-函子在导出流形与 $d$-流形的等价类集合之间建立了双射。
• 该1-函子并非忠实，如反例所示：一个单纯 $C^{\infty}$-环的 $\pi_1$ 中的非平凡类在截断后消失。
• 反例使用从导出流形 $\mathbf{Y}$ 到 $\mathbf{X}$ 的态射 $\Phi$ 和 $\Psi$，其中 $\Phi$ 将坐标 $t$ 映射到0，而 $\Psi$ 映射到 $u_1u_2 - u_3^2$，该表达式在 $\pi_1(A_\bullet)$ 中非平凡，但在 $d$-流形截断中为平凡。
• 在有限型流形上，向量丛截面的0-余点的单纯 $C^{\infty}$-环被显式计算为 $\{C^{\infty}(E^{\times_{\mathcal{M}}^{k}})\}_{k\geq 0}$，这构成了反例构造的基础。
• 截断函子能检测导出设定中的等价性，如证明所示：若 $\mathbf{T}(\Phi)$ 是等价，则 $\Phi$ 在导出范畴中是弱等价。