[论文解读] On some finiteness questions for algebraic stacks

Vladimir Drinfeld, Dennis Gaitsgory|arXiv (Cornell University)|Aug 26, 2011

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

一句话总结

本文在一個溫和的QCA（擬緊且仿射）假設下，建立了代數堆疊上D-模與擬 coherent 丛的導出類別的緊生成性與連續性性質。該工作將經典的概形結果推廣至一般代數堆疊與LM-代數堆疊，證明QCA堆疊上的D-模是緊生成的，且全局截面函子是連續的，並在Verdier對偶與重整化de Rham上同調中具有關鍵應用。

ABSTRACT

We prove that under a certain mild hypothesis, the DG category of D-modules on a quasi-compact algebraic stack is compactly generated. We also show that under the same hypothesis, the functor of global sections on the DG category of quasi-coherent sheaves is continuous.

研究动机与目标

• 在一個溫和的QCA條件下，建立擬緊代數堆疊上D-模的DG類別的緊生成性。
• 證明在這種堆疊上，擬 coherent 丛的全局截面函子是連續的。
• 將這些結果推廣至更廣泛的LM-代數堆疊類別，包含代數空間與可表示的態射。
• 發展ind- coherent 丛的理論，並與堆疊上的D-模及上同調對偶性關聯起來。
• 特徵化安全態射，並證明重整化de Rham上同調的基變換與投影公式結果。

提出的方法

• 引入預堆疊之間的QCA（擬緊且仿射）態射概念，推廣經典的擬緊且擬分離設定。
• 應用去縮技術並簡化至約化經典情形，以證明連續性與緊生成性結果。
• 利用誘導函子與沿光滑態射的基變換，將堆疊上的D-模與其在概形上的對應物關聯起來。
• 透過ind- coherent 丛理論及其緊生成性，建立直接像函子的連續性。
• 應用映射望遠鏡論證與關鍵命題，證明態射的安全性與對偶性性質。
• 利用DG概形及其導出類別理論，定義並研究堆疊上的de Rham上同調與Verdier對偶。

实验结果

研究问题

• RQ1 在什麼條件下，擬緊代數堆疊上D-模的DG類別是緊生成的？
• RQ2 在什麼條件下，代數堆疊上擬 coherent 丛的全局截面函子是連續的？
• RQ3 ind- coherent 丛及其緊對象的性質與堆疊上D-模的性質有何關係？
• RQ4 哪些態射的de Rham直接像函子是連續的？
• RQ5 D-模與上同調理論在何種意義上可推廣至LM-代數堆疊？

主要发现

• 對於QCA代數堆疊，D-模的DG類別是緊生成的，且緊對象與安全的凝聚D-模完全一致。
• 在QCA堆疊上，擬 coherent 丛的全局截面函子是連續的，其上同調幅度由依賴於堆疊的整數有界。
• 對於滿足QCA條件的LM-代數堆疊，ind- coherent 丛的類別是緊生成的，且緊對象可識別為凝聚層。
• 沿擬緊態射的D-模直接像函子是連續的，當且僅當該態射是安全的。
• QCA堆疊上的de Rham上同調函子是連續的，且在安全態射上重整化直接像的基變換成立。
• 理論可推廣至LM-代數堆疊：擬緊可表示態射是QCA且安全的，且主要定理在這一更廣泛的背景下依然成立。