[论文解读] Derived Algebraic Geometry V: Structured Spaces

Jacob Lurie|ArXiv.org|May 4, 2009

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

一句话总结

本文通过使用结构化∞-拓扑和预几何，构建了一个导出代数几何的框架，将经典概形理论推广至导出几何，利用导出张量积和Τ-结构处理非横截相交。研究证明，贝祖定理在导出几何中普遍成立，通过导出函子编码交点重数，统一了代数、复解析与微分几何的设定于同一形式体系之下。

ABSTRACT

In this paper, we describe a general theory of "spaces with structure sheaves." Specializations of this theory include the classical theory of schemes, the theory of Deligne-Mumford stacks, and their derived generalizations.

研究动机与目标

• 通过引入结构化∞-拓扑和Τ-结构的∞-范畴，将经典概形理论推广至导出几何。
• 通过利用导出张量积和Τ-结构编码交点重数，解决非横截相交时贝祖定理失效的问题。
• 通过使用如$τ_{\text{Zar}}(\mathbf{C})$、$τ_{\text{ét}}(\mathbf{C})$和$τ_{\text{Diff}}$等预几何，将代数、复解析与微分几何统一于单一导出框架之下。
• 从$\mathbf{C}$上的导出Deligne-Mumford堆栈构造一个导出解析化函子，映射至导出复解析空间，同时保持几何结构。

提出的方法

• 使用预几何$\mathcal{T}$在∞-拓扑上定义$\mathcal{T}$-结构，推广经典代数几何中结构层的概念。
• 引入相对谱函子$\operatorname{Spec}^\mathcal{T}$，从$\mathcal{T}$-代数构造导出概形，扩展经典$\operatorname{Spec}$构造。
• 应用总导出函子$\otimes^L$定义编码更高$\operatorname{Tor}$-项的广义环，捕捉超越概形理论层次的交点重数。
• 在结构化空间范畴上建立因子分解系统，形式化导出设定中的几何态射与下降性质。
• 通过预几何$\mathcal{T}_{\text{Stein}}$，从$\mathbf{C}$上的导出$\mathcal{G}$-概形构造解析化函子。
• 证明光滑流形与轨道丛通过谱构造$\operatorname{Spec}^{\mathcal{T}_{\text{Diff}}}(M)$，完全忠实嵌入$\mathcal{T}_{\text{Diff}}$-概形的∞-范畴中。

实验结果

研究问题

• RQ1 如何利用导出代数几何将经典交点理论推广至非横截相交？
• RQ2 何种结构层的推广能捕捉交点重数中更高的$\operatorname{Tor}$-项？
• RQ3 能否通过单一形式体系统一导出设定下的代数、复解析与微分几何？
• RQ4 导出解析化函子与经典复解析几何有何关系？为何其在∞-范畴设定下不完全忠实？
• RQ5 预几何在分类结构化∞-拓扑与构造导出概形中扮演何种角色？

主要发现

• 通过总导出张量积$\mathcal{O}_C \otimes^{L} \mathcal{O}_{C'}$定义的导出交点$C \cap C'$，正确编码了作为$\operatorname{Tor}$-群欧拉示性数的交点重数，无需横截性假设即可验证贝祖定理。
• 当右侧通过导出交点解释时，公式$[C] \cup [C'] = [C \cap C']$在导出几何中普遍成立，即使对非横截或非约交点亦然。
• 从$\mathbf{C}$上的导出Deligne-Mumford堆栈到导出复解析空间的解析化函子定义良好，且保持几何结构，但其∞-范畴版本因导出解析层中更丰富的结构而不完全忠实。
• 光滑流形与轨道丛通过谱构造$\operatorname{Spec}^{\mathcal{T}_{\text{Diff}}}(M)$完全忠实嵌入$\mathcal{T}_{\text{Diff}}$-概形的∞-范畴中。
• 导出复解析空间的结构层所携带的信息不仅限于西米利阿诺$\mathbf{C}$-代数层，还支持与任意复解析函数的复合，此特性在代数情形中不存在。
• 导出复解析空间的范畴与局部环化空间的0-局部拓扑子范畴不等价，凸显了导出与经典解析几何之间的根本差异。