[论文解读] Sheaves of categories and the notion of 1-affineness

Dennis Gaitsgory|arXiv (Cornell University)|Jun 18, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用 28

一句话总结

本文引入了导出代数几何中预堆栈的1-仿射性概念，证明了多种几何对象——如代数空间、代数堆栈、代数群的分类预堆栈以及形式完备化——均为1-仿射。关键贡献在于通过拟 coherent 与 ind-coherent 层的上同调下降与 co-单模性定理，建立了预堆栈上层范畴的层与全局截面代数模之间的等价性，从而给出了1-仿射性的刻画。

ABSTRACT

We define the notion of 1-affineness for a prestack, and prove an array of results that establish 1-affineness of certain types of prestacks.

研究动机与目标

• 定义并研究导出代数几何中预堆栈的1-仿射性概念。
• 确立关键几何对象（包括代数空间、代数堆栈、分类预堆栈及形式完备化）的1-仿射性。
• 证明对于1-仿射预堆栈，从层范畴到其全局截面代数模的全局截面函子是一个等价。
• 建立基于拟 coherent 与 ind-coherent 层的层范畴框架，并通过对偶性与下降理论建立其关联。

提出的方法

• 在导出设定下，通过拟 coherent 与 ind-coherent 层来定义预堆栈上的层范畴。
• 利用 co-单形展开（通过 co-Barrier 构造）来建模 Hopf 代数上 comodule 的下降性质。
• 应用 co-单模性 Beck-Chevalley 条件，证明 co-Barrier 复形的总化恢复了 comodule 的范畴。
• 通过 Čech 型覆盖与下降理论，建立层范畴与模范畴之间的全纯嵌入函子。
• 利用对偶性与紧生成性，关联 QCoh 与 IndCoh 范畴，尤其在形式完备化与 DG ind-概形的背景下。
• 将1-仿射性的证明归约为仿射预堆栈的情形，并利用单体范畴的刚性条件验证等价性。

实验结果

研究问题

• RQ1 在何种条件下，一个预堆栈是1-仿射的，即从层范畴到其全局截面代数模的全局截面函子构成等价？
• RQ2 哪些类别的预堆栈（如代数堆栈、分类预堆栈或形式完备化）是1-仿射的？
• RQ3 co-Barrier 构造与 co-单模性定理如何与预堆栈上层范畴的下降性相关联？
• RQ4 在何种条件下，预堆栈上层范畴的范畴与该预堆栈全局截面代数模的范畴构成等价？
• RQ5 在何种情形下，局部系统函子 Loc 会诱导出层范畴与群或群概形表示之间的等价？

主要发现

• 代数空间与概形是1-仿射的，即从层范畴到其全局截面代数模的全局截面函子构成等价。
• 若代数堆栈满足特定的下降性与对偶性条件（特别是对角线为拟紧且拟分离），则其为1-仿射。
• 可约代数群 G 的分类预堆栈 BG 是1-仿射的，其等价由 G 的表示范畴给出。
• 概形沿闭子堆栈的形式完备化是1-仿射的，其上层范畴的全局截面等价于全局截面完成代数模。
• DG ind-概形（如无穷维仿射空间 A^∞）不是1-仿射的，通过 co-单模性条件失效的反例得以证明。
• 预堆栈上层范畴的范畴与该预堆栈全局截面代数模的范畴构成等价，当且仅当该预堆栈是1-仿射的，从而确立了仿射交流原理的导出版本。