[论文解读] Algebraic Geometry over model categories (a general approach to derived algebraic geometry)

Bertrand Toën, Gabriele Vezzosi|ArXiv.org|Oct 10, 2001

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

一句话总结

本文提出了一种基于模型范畴的导出代数几何的一般性框架，定义了在对称单一半单模型范畴上的几何叠。通过在模型范畴上引入格罗滕迪克拓扑，建立了叠的同伦理论，并将形式化应用于将DG-概形解释为复形上的叠，以及为$E_\infty$-环谱定义了étale K-理论。

ABSTRACT

For a (semi-)model category M, we define a notion of a ''homotopy'' Grothendieck topology on M, as well as its associated model category of stacks. We use this to define a notion of geometric stack over a symmetric monoidal base model category; geometric stacks are the fundamental objects to "do algebraic geometry over model categories". We give two examples of applications of this formalism. The first one is the interpretation of DG-schemes as geometric stacks over the model category of complexes and the second one is a definition of etale K-theory of E_{\infty}-ring spectra. This first version is very preliminary and might be considered as a detailed research announcement. Some proofs, more details and more examples will be added in a forthcoming version.

研究动机与目标

• 开发对称单一半单模型范畴上的代数几何的一般理论，将经典概形和叠推广到导出设定。
• 在配备有同伦格罗滕迪克拓扑的模型范畴上，将几何叠定义为同伦层（叠）。
• 提供一个统一的框架，将经典对象如DG-概形和$E_\infty$-代数在导出几何背景下进行解释。
• 利用叠论形式化，为$E_\infty$-环谱构造étale K-理论。
• 通过模型范畴结构，为基于$\Pi$-范畴和$\infty$-范畴的导出代数几何计划奠定基础。

提出的方法

• 在半模型范畴上引入同伦格罗滕迪克拓扑的概念，将经典拓扑推广到同伦设定。
• 通过在双锥集的预层上的局部化模型结构中进行纤维化替换，构造叠的模型范畴。
• 使用Yoneda嵌入正式添加同伦上积，使得仿射对象可通过预层范畴中的同伦上积进行粘合。
• 将形式化应用于谱上的$E_\infty$-代数的模型范畴，通过$K$-理论预层的纤维化替换，定义了étale K-理论。
• 将几何叠定义为满足同伦超覆盖下有效下降性质的叠，推广了经典的代数叠。
• 建立强对偶化模的瓦尔德豪森范畴的弱预层，从而得到取值于双锥集的$K$-理论预层。

实验结果

研究问题

• RQ1 如何在对称单一半单模型范畴上定义代数几何的导出版本？
• RQ2 何种条件可确保模型范畴及其拓扑所关联的叠范畴表现出良好的同伦理论性质？
• RQ3 DG-概形能否自然地被解释为链复形模型范畴上的几何叠？
• RQ4 如何利用同伦代数和叠论下降法，为$E_\infty$-环谱定义étale K-理论？
• RQ5 强对偶化模在该导出几何设定中构造$K$-理论预层的过程中起什么作用？

主要发现

• DG-概形被实现为无界复形模型范畴上的几何叠，为经典代数几何提供了导出解释。
• 对称单一半单模型范畴上的叠范畴具有良好的模型结构，且对同伦超覆盖具有下降性质。
• 谱上的$E_\infty$-代数的$K$-理论预层被构造为到瓦尔德豪森范畴的弱函子，从而得到一个双锥集$K$-理论空间。
• 一个$E_\infty$-环谱$A$的étale $K$-理论被定义为$K$-理论预层在étale拓扑下的纤维化替换，从而自然地诱导出一个局部化态射$\mathbb{K}(A) \to \mathbb{K}_{\text{et}}(A)$。
• $\mathbb{K}_{\text{et}}(A)$的构造通过$Sp^\Sigma_{\mathbb{U}}$-仿射概形上的拓扑是良定义的，该拓扑由形式étale性、有限表示性和基变换函子的保守性所定义。
• 展示了$E_\infty$-代数上的模的同伦范畴是闭对称单一半单的，从而能够定义强对偶化对象，因此得到一个行为良好的$K$-理论。