[论文解读] Faisceaux pervers sur les variétés toriques lisses

Delphine Dupont|arXiv (Cornell University)|Mar 16, 2010

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

一句话总结

该论文建立了在光滑射影簇 $X$ 上、由环作用分层的奇异层范畴与从 $X$ 的扇形图构造的 quiver 的全子范畴之间的等价性。该构造利用了 Galligo-Granger-Maisonobe 在 $\mathbb{C}^n$ 和 $\mathbb{C}^* \times \mathbb{C}^{n-1}$ 上的局部等价，通过扇形图中编码的组合重叠数据将这些局部等价粘合起来，兼容性条件确保了全局奇异层结构。

ABSTRACT

Let X be a smooth toric variety stratified by the torus action. This paper is a presentation of a description of the category Perv_X of perverse sheaves on X relatively to the fixed stratification. We define a category of representations of a quiver, defined thanks to the fan of X, equivalent to Perv_X.

研究动机与目标

• 为光滑射影簇上相对于环分层的奇异层范畴提供一个显式的、组合的描述。
• 将 $\mathbb{C}^n$ 和 $\mathbb{C}^* \times \mathbb{C}^{n-1}$ 上奇异层的局部 quiver 表示扩展为光滑射影簇上的全局描述。
• 通过扇形图结构形式化局部奇异层范畴的粘合，确保在各分层之间的一致性。
• 定义一个带有关系的 quiver，使其表示范畴与射影簇上奇异层的范畴等价。
• 确立全局奇异层范畴是构造性栈的全局截面，该栈由 quiver 表示构成。

提出的方法

• 从光滑射影簇 $X$ 的扇形图 $\Delta$ 构造一个 quiver $c_\Delta$，其中顶点对应于锥，边编码 codimension 为一的面关系。
• 为每个顶点 $s_I$ 分配 $n - \ell$ 个环，其中 $\ell$ 是满足 $\sigma_I$ 为极大锥的最大集合 $I$ 的大小。
• 定义 quiver 表示的一个全子范畴 $\mathcal{C}_\Delta$，其关系源自 Galligo-Granger-Maisonobe 在 $\mathbb{C}^n$ 和 $\mathbb{C}^* \times \mathbb{C}^{n-1}$ 上的局部等价。
• 引入表示的四个条件：(i) 沿面的映射兼容性，(ii) 相反方向映射的对偶性，(iii) 某些复合映射的可逆性，以及 (iv) 通过扇形图的重叠数据实现的全局一致性。
• 利用光滑射影簇局部同构于 $\mathbb{C}^k \times (\mathbb{C}^*)^l$ 的事实，定义一个构造性栈的 quiver 表示，然后证明其全局截面可恢复 $\mathcal{Perv}_X$。
• 验证条件 (iv) 编码了重叠数据，确保全局范畴与奇异层范畴一致。

实验结果

研究问题

• RQ1 能否通过从扇形图导出的 quiver 表示，组合性地描述光滑射影簇上奇异层的范畴？
• RQ2 如何将 $\mathbb{C}^n$ 和 $\mathbb{C}^* \times \mathbb{C}^{n-1}$ 上奇异层的局部等价粘合，以在光滑射影簇上形成全局描述？
• RQ3 quiver 表示必须满足何种关系，才能在环分层下精确对应于奇异层？
• RQ4 扇形图的组合结构如何编码通过 quiver 表示实现奇异层粘合的数据？
• RQ5 光滑射影簇上奇异层的全局范畴是否与一个构造性栈的全局截面范畴等价？

主要发现

• 由扇形图 $\Delta$ 构造的 quiver 表示范畴 $\mathcal{C}_\Delta$ 与光滑射影簇 $X$ 上奇异层范畴 $\mathcal{Perv}_X$ 等价。
• quiver $c_\Delta$ 由扇形图构造：顶点对应于锥，边编码 codimension 为一的面关系，并带有双向箭头。
• 每个顶点 $s_I$ 配备 $n - \ell$ 个环，其中 $\ell$ 是满足 $\sigma_I$ 为极大锥的最大集合 $I$ 的大小。
• 范畴 $\mathcal{C}_\Delta$ 中的关系包括：沿面的映射兼容性、逆映射的对偶性，以及如 $M_{IJ} = v_{IJ} \circ u_{IJ} + \text{id}$ 这类复合映射的可逆性。
• 条件 (iv) 确保全局一致性：例如 $M_{\emptyset 3} = M_{\emptyset 1}^{-1} M_{\emptyset 2}^{-1}$，反映了射影簇的重叠数据。
• 全局范畴 $\mathcal{Perv}_X$ 同构于一个构造性栈的全局截面范畴，该栈通过扇形图的组合结构粘合局部模型构造而成。