[论文解读] Simplicial approach to derived differential manifolds

Dennis Borisov, Justin Noel|arXiv (Cornell University)|Nov 30, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用 12

一句话总结

本文为有限型的导出微分流形建立了一个单纯 $C^{\infty}$-环模型，表明Spivak基于同伦层的构造与更简单的单纯 $C^{\infty}$-环框架之间存在Quillen等价性。通过利用 $C^{\infty}$-环的柔韧性，作者证明了在层论设定下的局部弱等价对应于单纯环设定下的弱等价，从而使得在标准单纯 $C^{\infty}$-环模型范畴中通过同伦上积实现交点理论成为可能。

ABSTRACT

Derived differential manifolds are constructed using the usual homotopy theory of simplicial rings of smooth functions. They are proved to be equivalent to derived differential manifolds of finite type, constructed using homotopy sheaves of homotopy rings (D.Spivak), thus preserving the classical cobordism ring. This reduction to the usual algebraic homotopy can potentially lead to virtual fundamental classes beyond obstruction theory.

研究动机与目标

• 消除导出微分几何时对同伦 $C^\infty$-环层的依赖。
• 证明在标准模型结构下，有限型导出流形与单纯 $C^{\infty}$-环等价。
• 通过同伦上积保持经典cobordism环与交点理论。
• 在纯单纯设定下，通过工作于单纯范畴实现超越传统障碍理论的虚拟基本类。
• 在Spivak的层论导出流形与单纯 $C^{\infty}$-环模型之间建立Quillen等价性。

提出的方法

• 将 $C^{\infty}$-环作为光滑几何的基础代数对象，其定义为特定代数理论上的代数。
• 将经典 $C^{\infty}$-环理论扩展至单纯 $C^{\infty}$-环，并赋予标准的项目化模型结构。
• 利用经典流形上结构层的柔韧性，证明有限型导出流形在局部弱等价于单纯 $C^{\infty}$-环。
• 证明整体截面函子保持弱等价，从而可在不损失同伦数据的前提下，将层约化为单纯 $C^{\infty}$-环。
• 使用正规化函子将同伦 $C^{\infty}$-环转换为严格 $C^{\infty}$-环，同时保持同伦类型。
• 通过同伦上积在单纯 $C^{\infty}$-环范畴的同伦局部化与Spivak的导出流形范畴之间建立弱等价。

实验结果

研究问题

• RQ1 有限型导出微分流形能否完全通过单纯 $C^{\infty}$-环建模，而无需同伦层？
• RQ2 单纯 $C^{\infty}$-环上的标准模型结构是否捕捉了Spivak定义的导出流形的同伦理论？
• RQ3 导出流形的cobordism环在单纯 $C^{\infty}$-环模型下是否保持不变？
• RQ4 能否在此单纯框架下构建超越障碍理论的虚拟基本类？
• RQ5 Spivak的同伦层模型与单纯 $C^{\infty}$-环模型之间是否存在Quillen等价性？

主要发现

• 有限型导出流形在局部弱等价于其结构层为单纯 $C^{\infty}$-环的柔韧层的导出流形。
• 整体截面函子保持弱等价，从而可在不损失同伦信息的前提下，将层约化为单纯 $C^{\infty}$-环。
• Spivak基于同伦 $C^{\infty}$-环层的构造与单纯 $C^{\infty}$-环模型之间存在Quillen等价性。
• 有限型导出流形的范畴弱等价于单纯 $C^{\infty}$-环范畴中那些形如 $\mathbb{R}^0 \leftarrow \mathbb{R}^m \rightarrow \mathbb{R}^n$ 的图的局部同伦极限的全子范畴。
• 单纯 $C^{\infty}$-环范畴的同伦局部化弱等价于Spivak的导出流形范畴，从而验证了单纯模型的合理性。
• 该模型允许通过标准单纯 $C^{\infty}$-环范畴中的同伦上积实现函子性且同伦正确的交点。