[论文解读] Homotopical Algebraic Geometry II: geometric stacks and applications

Bertrand Toën, Gabriele Vezzosi|ArXiv.org|Apr 21, 2004

Homotopy and Cohomology in Algebraic Topology被引用 9

一句话总结

本文提出了一套同伦代数几何中几何堆栈的统一框架，通过模型范畴将代数堆栈推广到导出、单纯和新式代数几何设定。它在对称张量模型范畴上建立了稳健的几何堆栈理论，利用障碍理论证明了表示性准则，并将该框架应用于导出代数几何中的几何对象，如局部系统和操作律代数的D-堆栈。

ABSTRACT

This is the second part of a series of papers devoted to develop Homotopical Algebraic Geometry. We start by defining and studying generalizations of standard notions of linear and commutative algebra in an abstract monoidal model category, such as derivations, etale and smooth maps, flat and projective modules, etc. We then use the theory of stacks over model categories introduced in \cite{hagI} in order to define a general notion of geometric stack over a base symmetric monoidal model category C, and prove that this notion satisfies the expected properties. The rest of the paper consists in specializing C to several different contexts. First of all, when C=k-Mod is the category of modules over a ring k, with the trivial model structure, we show that our notion gives back the algebraic n-stacks of C. Simpson. Then we set C=sk-Mod, the model category of simplicial k-modules, and obtain this way a notion of geometric derived stacks which are the main geometric objects of Derived Algebraic Geometry. We give several examples of derived version of classical moduli stacks, as for example the derived stack of local systems on a space, of algebra structures over an operad, of flat bundles on a projective complex manifold, etc. Finally, we present the cases where C=(k) is the model category of unbounded complexes of modules over a char 0 ring k, and C=Sp^Σ the model category of symmetric spectra. In these two contexts, called respectively Complicial and Brave New Algebraic Geometry, we give some examples of geometric stacks such as the stack of associative dg-algebras, the stack of dg-categories, and a geometric stack constructed using topological modular forms.

研究动机与目标

• 使用模型范畴发展同伦代数几何中几何堆栈的一般理论。
• 在单一框架下统一并推广经典代数堆栈、导出堆栈与拓扑堆栈的概念。
• 利用障碍理论与同伦提升性质，建立D-堆栈的表示性准则。
• 在导出与高范畴设定中，为经典模空间问题提供几何实现。
• 将点函子方法扩展至同伦上下文，包括单纯、微分分次与谱设定。

提出的方法

• 在对称张量模型范畴中形式化线性与交换代数，包括导出、余切复形与有限性条件。
• 将几何堆栈定义为满足同伦意义下下降性与局部表示性的模型站点上的堆栈。
• 应用障碍理论，通过同伦纤维与障碍群的消失，构造截断上从局部图集的光滑提升。
• 利用Lurie之后的表示性准则，证明若一个D-堆栈的截断是表示性的且障碍群在适当度数内消失，则该D-堆栈是表示性的。
• 通过导出代数几何技术，将几何D-堆栈构造为在截断上表示堆栈的同伦极限。
• 将该框架应用于具体情境：单纯k-模（导出堆栈）、无界复形（单纯堆栈）与对称谱（新式堆栈）。

实验结果

研究问题

• RQ1 如何通过模型范畴将代数堆栈的概念推广到导出与同伦设定？
• RQ2 在导出或同伦设定中，何种条件可确保堆栈是表示性的？
• RQ3 障碍群如何控制高阶堆栈中局部图集的光滑提升的存在性？
• RQ4 经典模空间问题（如局部系统、操作律代数）在导出代数几何中的几何实现是什么？
• RQ5 在D-堆栈与S-堆栈的背景下，光滑性、étale态射与平坦性的概念如何扩展？

主要发现

• 本文在对称张量模型范畴上建立了几何堆栈的一般概念，满足预期性质，如下降性与局部表示性。
• 证明了若一个D-堆栈的0-截断是表示性的，且障碍群在度数至n内消失，则该D-堆栈是表示性的，其依据是同伦提升过程。
• 证明了空间上局部系统的D-堆栈是一个几何D-堆栈，推广了经典的局部系统模空间。
• 构造了操作律上代数的D-堆栈作为几何D-堆栈，为代数结构提供了导出模空间。
• 在射影复流形上平坦丛的D-堆栈被实现为几何D-堆栈，扩展了经典模空间理论。
• 在对称谱的背景下，利用拓扑模形式构造了几何S-堆栈，将代数几何与稳定同伦理论联系起来。