[论文解读] Higher and derived stacks: a global overview

Bertrand Toën|ArXiv.org|Apr 24, 2006

Advanced Topics in Algebra参考文献 30被引用 76

一句话总结

本文全面概述了高阶堆栈与导出堆栈，介绍了其基础理论、来自模问题的动机，以及在代数几何与数学物理中的应用。研究结果表明，导出堆栈与高阶堆栈统一了几何与同伦结构，关键成果显示：导出堆栈上的凝聚层导出范畴编码了深层不变量，例如几何朗兰兹对应中的不变量与范畴化量子上同调中的不变量。

ABSTRACT

These are expended notes of my talk at the summer institute in algebraic geometry (Seattle, July-August 2005), whose main purpose is to present a global overview on the theory of higher and derived stacks. This text is far from being exhaustive but is intended to cover a rather large part of the subject, starting from the motivations and the foundational material, passing through some examples and basic notions, and ending with some more recent developments and open questions.

研究动机与目标

• 为代数几何及相关领域的研究人员提供高阶与导出堆栈的全局、易懂的概述。
• 通过模问题中的需求，说明为何需要高阶与导出堆栈，其中对象是按弱于同构的等价关系分类的。
• 利用塞加尔范畴与模型范畴为高阶堆栈建立基础框架，并通过导出增强处理阿廷堆栈。
• 展示几何与范畴论的应用，包括几何朗兰兹对应与范畴化量子上同调。
• 突出导出代数几何中的开放问题与新兴方向，特别是与D-模和特征循环的关系。

提出的方法

• 使用塞加尔范畴作为高阶范畴的模型，形式化高阶堆栈的理论，与模型范畴理论相衔接。
• 将导出增强的概念应用于阿廷堆栈，特别是通过导出切丛与余切丛复形。
• 利用稳定映射的导出堆栈 $\mathbb{R}\overline{\mathcal{M}}_{g,n+1}(X,\beta)$ 在凝聚层的导出范畴上定义函子性作用。
• 通过塞加尔范畴，利用导出范畴中的拉回与上推操作，构造范畴化量子上同调的作用。
• 依赖导出代数几何中的基变换定理，确保所提议作用的结合性。
• 通过导出全余切堆栈 $\mathbb{RV}(\mathbb{T}_F)$ 分析导出阿廷堆栈上 $\mathcal{D}$-模的特征循环。

实验结果

研究问题

• RQ1 高阶与导出堆栈如何解决模问题中的表示性问题，其中对象具有非平凡自同构或按弱于同构的等价关系分类？
• RQ2 导出增强在阿廷堆栈几何中扮演什么角色，特别是与余切复形和特征循环的关系如何？
• RQ3 几何朗兰兹对应如何自然地用导出堆栈及其导出范畴表述？
• RQ4 稳定映射的导出堆栈以何种方式导出范畴化版本的量子上同调？
• RQ5 导出代数几何中，堆栈方向（高阶群胚）与导出方向（上同调）之间存在何种对偶性？

主要发现

• 曲线 $C$ 上平坦联络的导出堆栈 $\mathbb{R}\mathbf{Loc}_1^{DR}(C)$ 可分解为 $\operatorname{Pic}^0(C)^\dagger \times K(\mathbb{G}_m,1) \times \mathbb{R}Spec\,\mathbb{C}[\mathbb{C}[1]]$，显示出堆栈分量与导出分量之间的对偶性。
• $K(\mathbb{G}_m,1)$-等变复形的导出范畴等价于 $\mathbb{C}[\mathbb{C}[1]]$-dg模的导出范畴，证实了堆栈结构的导出增强。
• 几何朗兰兹对应自然地以导出堆栈 $\mathbb{R}\mathbf{Loc}_n^{DR}(C)$ 的导出范畴表述，而不仅限于经典堆栈。
• 在高阶阿廷堆栈上，$\mathcal{D}$-模的特征循环位于导出全余切堆栈 $\mathbb{RV}(\mathbb{T}_F)$ 上，当切复形具有负上同调时，该结构非平凡。
• 系统 $\{L_{qcoh}(\overline{\mathcal{M}}_{g,n})\}_{n,g}$ 通过拉回与上推在 $L_{qcoh}(X)$ 上的作用，即使当 $X$ 为奇异时，也定义了范畴化量子上同调。
• 该作用保持了导出范畴结构，但不保持有界凝聚复形，表明几何框架发生了根本性转变。