[论文解读] Stacks similar to the stack of perverse sheaves

David Treumann|ArXiv.org|Jan 19, 2008

Algebraic structures and combinatorial models参考文献 9被引用 4

一句话总结

本文引入了‘P型堆栈’这一概念——即在分层空间上定义的阿贝尔范畴堆栈类，其推广了 perverse sheaf 的堆栈。证明了此类堆栈在局部上等价于 MacPherson-Vilonen 构造，并在满足 2-连通性条件时，其整体截面构成有限维代数上的模范畴，通过所发展的 tilting 形式系统实现。

ABSTRACT

We introduce, on a topological space X, a class of stacks of abelian categories we call "stacks of type P." This class of stacks includes the stack of perverse sheaves (of any perversity, constructible with respect to a fixed stratification), and is singled out by fairly innocuous axioms. We show that some basic structure theory for perverse sheaves holds for a general stack of type P: such a stack is locally equivalent to a MacPherson-Vilonen construction, and under certain connectedness conditions its category of global objects is equivalent to the category of modules over a finite-dimensional algebra. To prove these results we develop a rudimentary tilting formalism for stacks of type P -- another sense in which these stacks are "similar to stacks of perverse sheaves."

研究动机与目标

• 定义并表征一类广义的堆栈——‘P 型堆栈’，其推广了 perverse sheaf 的堆栈。
• 证明这些堆栈与 perverse sheaf 具有关键的结构相似性，例如在局部上等价于 MacPherson-Vilonen 构造。
• 建立一个有限性结果：在分层的 2-连通性条件下，P 型堆栈的整体截面等价于有限维代数上的模范畴。
• 为 P 型堆栈发展一个 tilting 形式系统，其结构与 perverse sheaf 的形式系统相一致，以支持结构分析。

提出的方法

• 通过四个公理定义 P 型堆栈：相对于分层的构造性，Hom 与 Ext 群的局部有限性，每层上单个对象的唯一性，以及闭并层的并集的 Serre 商结构。
• 使用分层数的归纳法，利用闭分层的正规邻域，将问题约化为局部模型。
• 对堆栈的截面应用 MacPherson-Vilonen 构造，证明每个截面等价于一个三元组范畴 $ C(F,G;T) $，其中包含函子与自然变换。
• 构造一个从整体范畴到闭分层范畴的收缩函子，诱导出与 MacPherson-Vilonen 构造的等价。
• 利用弱拉回平方将整体范畴与局部数据关联，确保在开覆盖下的兼容性。
• 利用 tilting 形式系统证明整体范畴具有足够的投射对象，从而得出其等价于有限维代数上的模范畴的结论。

实验结果

研究问题

• RQ1 能否将 perverse sheaf 堆栈的结构推广到一类具有类似范畴性质的更广义堆栈？
• RQ2 每个 P 型堆栈是否在局部上等价于一个 MacPherson-Vilonen 构造？
• RQ3 在分层的何种拓扑条件下，P 型堆栈的整体截面范畴等价于有限维代数上的模范畴？
• RQ4 如何为 P 型堆栈发展一个形式系统，使其与 perverse sheaf 的 tilting 形式系统相一致？

主要发现

• 在分层空间 $X$ 上，$σ$-构造性 $p$-perverse sheaf 的堆栈是 P 型堆栈，推广了经典情形。
• 每个 P 型堆栈的截面等价于一个 MacPherson-Vilonen 构造 $C(F,G;T)$，其中 $F$ 和 $G$ 是从截面范畴到向量空间的函子。
• 当所有分层均为 2-连通时，整体截面范畴 $σ(X)$ 等价于有限维 $τ$-代数上的有限维模范畴。
• 为 P 型堆栈所发展的 tilting 形式系统，支持了到 MacPherson-Vilonen 范畴的收缩与等价构造。
• 整体范畴 $σ(X)$ 具有足够多的投射对象，这是模范畴等价的关键性质，该结论基于 [11] 中的结果。
• 堆栈的弱拉回结构确保了局部数据的兼容性，使得整体范畴可由局部 MacPherson-Vilonen 数据重构。