[论文解读] Derived Algebraic Geometry IV: Deformation Theory

Jacob Lurie|ArXiv.org|Sep 19, 2007

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

一句话总结

本文在导出代数几何的框架下，利用 $E_\infty$-环发展了余切复形与形变理论的理论。它证明了 $E_\infty$-环之间的 étale 同态由相对余切复形的消失所刻画，并且此类同态可通过其截断被检测，从而实现一种稳健的形变理论分类。

ABSTRACT

In this paper, we prove some foundational results on the deformation theory of E-infinity ring spectra.

研究动机与目标

• 将经典凯勒微分与余切复形理论推广至导出代数几何中的 $E_\infty$-环。
• 利用余切复形作为核心不变量，为 $E_\infty$-环建立形变理论框架。
• 通过相对余切复形的消失来刻画 $E_\infty$-环之间的 étale 同态。
• 通过截断与映射空间同伦等价性，实现对 $E_\infty$-代数同态的同伦理论分类。
• 证明余切复形控制 $E_\infty$-环的 $\infty$-范畴中的形变问题。

提出的方法

• 使用 $\infty$-范畴的切丛构造，将绝对余切复形 $L_A$ 定义为一个通用导子对象。
• 应用稳定包络与相对伴随的形式化方法，在一般 $\infty$-范畴中定义余切复形。
• 为 $E_\infty$-环之间的同态构造相对余切复形 $L_{B/A}$，并在 $C$-模的稳定范畴中证明一个典型三角形。
• 利用平方零扩张与布什曼塔（Postnikov）塔分析形变函子，并证明映射空间的同伦等价性。
• 应用连通覆盖与截断的理论，将问题约化到连通情形。
• 使用基变换函子 $f_!$ 关联不同同态之间的余切复形，推导出基本典型三角形。

实验结果

研究问题

• RQ1 如何将交换环的经典余切复形推广至导出代数几何中的 $E_\infty$-环？
• RQ2 如何通过余切复形刻画 $E_\infty$-环之间的 étale 同态？
• RQ3 在何种条件下，$E_\infty$-环之间的同态会在其截断上的映射空间中诱导同伦等价？
• RQ4 余切复形如何控制 $E_\infty$-环的 $\infty$-范畴中的形变问题？
• RQ5 涉及 $L_{B/A}$、$L_{C/A}$ 与 $L_{C/B}$ 的典型三角形在形变理论中起什么作用？

主要发现

• 当且仅当一个连通 $E_\infty$-环同态 $f: A \to B$ 在 $π_0$ 上诱导同构且为同伦等价时，其相对余切复形 $L_{B/A}$ 消失。
• Étale 同态可通过相对余切复形的消失来刻画，这推广了经典判别准则。
• 截断映射 $C \to π_0 C$ 是一个良好同态，意味着它在映射空间上诱导同伦等价 $\operatorname{Map}_{({\mathfrak{E}}_{\infty})_{A/}}(B,C) \to \operatorname{Map}_{({\mathfrak{E}}_{\infty})_{\pi_0A/}}(B^\prime,\pi_0C)$。
• 余切复形控制形变问题：一个 $A$-代数同态的同伦纤维由 $\operatorname{Map}_{\operatorname{Mod}_B}(L_{B/A}, M)$ 控制，其中 $M$ 是 $A$-模。
• 在 $C$-模的稳定范畴的同伦范畴中，典型三角形 $f_!L_{B/A} \to L_{C/A} \to L_{C/B} \to f_!L_{B/A}[1]$ 成立，提供一个基本的结构工具。
• 一个连通 $E_\infty$-环的布什曼塔由平方零扩张构成，且该塔的极限同伦等价于原始环，从而支持归纳论证。