[论文解读] Sheaves on Triangulated Spaces and Koszul Duality

Maxim Vybornov|ArXiv.org|Oct 27, 1999

Algebraic structures and combinatorial models参考文献 21被引用 11

一句话总结

本文在有限单纯复形上的两类层之间建立了 Koszul 对偶性：关于三角剖分的局部常层（perverse sheaves）与沿谬误单纯形（δ-sheaves）常值的层。文章引入了 δ-谬误拓扑，证明该拓扑上的层范畴与 δ-层范畴等价，并表明 Koszul 对偶函子与单纯层和余层的 Verdier 对偶函子相容。

ABSTRACT

Let $X$ be a finite connected simplicial complex, and let $δ$ be a perversity (i.e., some function from integers to integers). One can consider two categories: (1) the category of perverse sheaves cohomologically constructible with respect to the triangulation, and (2) the category of sheaves constant along the perverse simplices ($δ$-sheaves). We interpret the categories (1) and (2) as categories of modules over certain quadratic (and even Koszul) algebras $A(X,δ)$ and $B(X,δ)$ respectively, and we prove that $A(X,δ)$ and $B(X,δ)$ are Koszul dual to each other. We define the $δ$-perverse topology on $X$ and prove that the category of sheaves on perverse topology is equivalent to the category of $δ$ sheaves. Finally, we study the relationship between the Koszul duality functor and the Verdier duality functor for simplicial sheaves and cosheaves.

研究动机与目标

• 在有限单纯复形上建立谬误层与 δ-层之间的 Koszul 对偶性框架。
• 在三角剖分空间上定义一种新拓扑——δ-谬误拓扑，并证明其层范畴与 δ-层范畴等价。
• 研究 Koszul 对偶函子与单纯层和余层情境下的 Verdier 对偶函子之间的相互作用。
• 将两类层分别解释为二次代数 A(X,δ) 和 B(X,δ) 上的模，并证明其 Koszul 对偶性。

提出的方法

• 通过 perversity 函数 δ 定义关于三角剖分的谬误层的上同调构造范畴。
• 将 δ-层定义为沿由 δ 确定的谬误单纯形常值的层。
• 构造二次代数 A(X,δ) 和 B(X,δ)，其模范畴分别与相应的层范畴等价。
• 通过其 Koszul 复形的对偶性，证明 A(X,δ) 和 B(X,δ) 是 Koszul 对偶的。
• 通过定义由 δ-构造集决定的覆盖的 Grothendieck 拓扑，定义 X 上的 δ-谬误拓扑。
• 通过层的局部化与限制过程，建立 δ-谬误拓扑上的层范畴与 δ-层范畴之间的等价性。

实验结果

研究问题

• RQ1 如何将三角剖分空间上的谬误层解释为某个二次代数上的模？
• RQ2 δ-层背后的精确代数结构是什么？它与谬误层有何关系？
• RQ3 参数化谬误层与 δ-层的代数之间是否存在 Koszul 对偶关系？
• RQ4 能否定义一种新的 Grothendieck 拓扑（称为 δ-谬误拓扑），使得其层恰好恢复 δ-层？
• RQ5 在单纯层与余层的情境下，Koszul 对偶函子与 Verdier 对偶函子如何相互作用？

主要发现

• 参数化关于三角剖分构造的谬误层的代数 A(X,δ) 是一个 Koszul 代数。
• 参数化 δ-层的代数 B(X,δ) 也是一个 Koszul 代数，且 A(X,δ) 与 B(X,δ) 相互为 Koszul 对偶。
• δ-谬误拓扑上的层范畴与 X 上 δ-层的范畴等价。
• 当应用于单纯层与余层时，A(X,δ) 与 B(X,δ) 之间的 Koszul 对偶函子与 Verdier 对偶函子相容。
• 该构造通过 Koszul 对偶性为谬误层提供了新的代数实现，将经典的层论对偶性推广至组合设定。
• 结果对任意有限连通单纯复形及任意 perversity 函数 δ 均成立，推广了代数拓扑与代数几何中的经典对偶现象。