[论文解读] Perverse Schobers

Mikhail Kapranov, Vadim Schechtman|arXiv (Cornell University)|Nov 11, 2014

Advanced Topics in Algebra参考文献 12被引用 7

一句话总结

本文通过用三角范畴替代向量空间，提出了 perverse sheaves 的范畴化推广，引入了 'perverse Schobers' 的概念。在最简单的情形——带有一个奇点的圆盘上的 perverse sheaves 中，通过球面函子定义了范畴类比，为导出代数几何与同调代数中的范畴化层论奠定了基础。

ABSTRACT

We suggest a possibility for a categorical generalization of the concept of a perverse sheaf, in which vector spaces are replaced by triangulated categories. We call such hypothetical objects perverse Schobers and consider several examples, giving a natural but ad hoc definition in each case. In the simplest case (perverse sheaves on a disk with one possible singular point) we propose, as a categorical analog, the data of a spherical functor.

研究动机与目标

• 通过用三角范畴替代向量空间，发展 perverse sheaves 的范畴类比。
• 将 perverse sheaves 理论推广至适合导出代数几何的更高范畴设置。
• 在特定几何设定中，提供 perverse Schobers 的自然但非系统性的定义。
• 探索球面函子作为带一个奇点的圆盘上 perverse sheaves 的范畴类比的作用。

提出的方法

• 提出将 perverse Schobers 定义为配备满足特定相容性条件的函子的三角范畴数据。
• 在最简单的情形——带一个奇点的圆盘上的 perverse sheaves 中，使用球面函子作为关键范畴结构。
• 应用三角范畴与导出范畴的框架，推广层论中 perversity 概念的范畴化。
• 在几何设定中构造 perverse Schobers 的例子，尤其聚焦于单个奇点的圆盘。
• 依赖球面函子及其性质，以建模范畴类比的 perverse t-结构。
• 采用一种非系统但自然的方法，在特定情形下定义 perverse Schobers，避免完整的公理化体系。

实验结果

研究问题

• RQ1 如何将 perverse sheaf 概念从向量空间推广至三角范畴？
• RQ2 在导出设定中，带一个奇点的圆盘上的 perverse sheaf 对应何种范畴结构？
• RQ3 球面函子能否作为 perverse sheaves 范畴化推广的基础构建块？
• RQ4 在几何背景下定义 perverse Schobers 所需的最小公理或结构是什么？
• RQ5 球面函子的性质如何反映范畴设定中的 perversity 条件？

主要发现

• 本文引入了 perverse Schobers 的概念，作为将向量空间替换为三角范畴的 perverse sheaves 的范畴化推广。
• 在带一个奇点的圆盘情形中，范畴类比通过球面函子实现，为一般思想提供了具体实现。
• 该构造在所选几何设定中虽为非系统性但自然，暗示了进一步推广的可行路径。
• 使用球面函子建立了范畴化层论与同调代数中已知结构之间的直接联系。
• 该框架为将 perverse sheaf 理论推广至更高范畴与导出背景提供了基础。
• 该方法通过范畴手段，为研究导出代数几何中奇点与对偶性开辟了新途径。