[论文解读] The universal property of derived geometry

Andrew W. Macpherson|arXiv (Cornell University)|Jan 29, 2017

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

一句话总结

本文确立了与现有导出几何框架密切相关的构造，能够普遍地向流形范畴添加有限同伦极限，同时保持乘积与粘合结构。该文证明了此普遍性质在微分几何设定下成立，并展示了与 D. Spivak 的导出 C-infinity 几何公理的一致性。

ABSTRACT

Derived geometry can be defined as the universal way to adjoin finite homotopical limits to a given category of manifolds compatibly with products and glueing. The point of this paper is to show that a construction closely resembling existing approaches to derived geometry in fact produces a geometry with this universal property. I also investigate consequences of this definition in particular in the differentiable setting, and compare the theory so obtained to D. Spivak's axioms for derived C-infinity geometry.

研究动机与目标

• 将导出几何定义为向流形范畴添加有限同伦极限的普遍方式。
• 确保该构造与乘积和粘合运算兼容。
• 研究该定义在微分设定下的后果。
• 将所得理论与 D. Spivak 的导出 C-infinity 几何公理进行比较。

提出的方法

• 将导出几何形式化为流形范畴在有限同伦极限下的普遍完备化。
• 使用单纯预层上的模型结构来编码同伦极限并保持与乘积的兼容性。
• 应用下降与粘合条件，以确保与层论构造的兼容性。
• 构建导出几何框架与 Spivak 的导出 C-infinity 几何之间的比较函子。
• 通过在流形范畴上的提升论证，验证该构造满足普遍性质。
• 使用同伦代数技术分析所得几何在微分设定下的性质。

实验结果

研究问题

• RQ1 一种类似于现有导出几何框架的构造是否满足向流形添加有限同伦极限的普遍性质？
• RQ2 所得导出几何在微分设定下如何表现？
• RQ3 该导出几何在多大程度上与 D. Spivak 的导出 C-infinity 几何公理兼容？
• RQ4 该普遍性质能否通过模型论或范畴论框架建立？
• RQ5 该普遍构造在极限与层条件方面带来了哪些结构性后果？

主要发现

• 该构造在保持乘积与粘合的前提下，满足向流形添加有限同伦极限的普遍性质。
• 导出几何框架与微分结构兼容，确保了良好定义的极限与余极限。
• 该理论与 D. Spivak 的导出 C-infinity 几何公理一致，建立了两种方法之间的正式桥梁。
• 通过流形上单纯预层范畴中的提升性质验证了普遍性质。
• 所得几何支持一个良好定义的导出流形概念，通过同伦极限推广了经典流形。
• 该构造被证明在最小性与普遍性意义上成立：任何其他此类完备化均能通过它进行因子分解。