[论文解读] The notion of category over an algebraic stack

Dennis Gaitsgory|ArXiv.org|Jul 9, 2005

Algebraic structures and combinatorial models参考文献 1被引用 30

一句话总结

本文形式化了代数堆上阿贝尔范畴的概念，将交换代数上的模范畴推广至堆上的阿贝尔范畴层。通过忠实平坦基变换建立了此类范畴的下降理论，并证明了具有群作用的范畴（例如通过 Rep(G) 实现）可通过去不变化重建，为几何与表示论构造提供了范畴框架。

ABSTRACT

The goal of this note is to spell out the (apparently well-known and intuitively clear) notion of abelian category over an algebraic stack. In the future we will discuss the (much less evident) notion, when instead of an abelian category one considers a triangulated one.

研究动机与目标

• 定义并形式化代数堆上阿贝尔范畴的概念，推广交换代数上的模范畴。
• 通过忠实平坦基变换建立堆上阿贝尔范畴的下降理论。
• 证明具有群作用的范畴（例如通过 Rep(G) 实现）可从其去不变化形式重建。
• 为几何与表示论构造（如 Hecke 特征对象与等变范畴）提供范畴框架。

提出的方法

• 引入 $ M \otimes_A X $ 的张量积，其中 $ M $ 为 $ A $-模，$ X $ 为 $ \mathbb{C} $-线性阿贝尔范畴 $ \mathcal{C} $ 中的对象，通过 $ M $ 的表示式与余核定义。
• 为仿射概形之间的态射定义基变换 $ f^* $ 与拉回函子，将 $ \mathcal{C} \times_S S' $ 构造为在 $ \mathcal{C} $ 上具有相容 $ A $-作用的 $ A' $-模范畴。
• 通过要求对角映射为仿射，并在堆上仿射概形的相容拉回下定义范畴层，将下降理论应用于堆。
• 利用当 $ \mathcal{A} $ 忠实平坦地覆盖 $ \mathcal{O}_\mathcal{Y} $ 时，函子 $ \mathcal{A} \otimes X \to X $ 的忠实性与正合性，证明下降同构。
• 将去不变化构造为 $ \mathcal{C} $ 中 $ G $-等变对象的范畴，通过从 $ \mathcal{C}^G $ 重建证明 $ \mathcal{C} \simeq \mathcal{C}^G $。
• 将该框架应用于 $ \operatorname{pt}/G $ 与 $ S/G $，表明 $ \operatorname{Rep}(G) $-作用与相容的 $ A $-作用可生成堆上的范畴。

实验结果

研究问题

• RQ1 如何定义代数堆上的阿贝尔范畴，使其推广交换代数上的模范畴？
• RQ2 在何种条件下，堆上的范畴在忠实平坦基变换下满足下降性质？
• RQ3 是否可通过下降从去不变化形式重建具有群作用的范畴？
• RQ4 具有 $ \operatorname{Rep}(G) $-作用的范畴中，Hecke 特征对象的范畴结构为何？
• RQ5 群在范畴上的作用如何与商堆 $ S/G $ 上范畴层的结构相关联？

主要发现

• 张量积 $ M \otimes_A X $ 定义良好且与表示式无关，对归纳极限可交换，且当 $ M $ 为平坦模时保持正合。
• 当 $ A' $ 为 $ A $ 上的忠实平坦代数时，若 $ X \neq 0 $，则 $ A' \otimes_A X \neq 0 $，确保基变换的忠实性。
• 对于堆 $ \mathcal{Y} $ 上的范畴 $ \mathcal{C} $，下降成立：若 $ S' \to S $ 为忠实平坦，则范畴 $ \mathcal{C} $ 同构于 $ \mathcal{C} \times_S S' $ 上的下降数据范畴。
• 具有 $ \operatorname{Rep}(G) $-作用的范畴 $ \mathcal{C} $ 的去不变化是 $ G $-等变对象的全子范畴，且 $ \mathcal{C} $ 可通过 $ G $-不变子范畴恢复。
• 当 $ \mathcal{Y} = \operatorname{pt}/G $ 时，$ \mathcal{Y} $ 上的层范畴 $ \mathcal{C}^{sh} $ 对应于具有 $ G $-作用的 $ \mathcal{C} $，且 $ \mathcal{C}^G $ 通过下降恢复 $ \mathcal{C} $。
• 当 $ \mathcal{Y} = S/G $ 时，$ \mathcal{Y} $ 上的范畴由 $ \mathcal{C} $ 上的 $ \operatorname{Rep}(G) $-作用与相容的 $ A $-作用给出，且在忠实平坦性下下降成立。