[论文解读] Purity and decomposition theorems for staggered sheaves

Pramod N. Achar, David Treumann|ArXiv.org|Aug 23, 2008

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

一句话总结

本文在具有有限个轨道的代数簇上的等变凝聚层背景下，建立了交错层的纯度与分解定理的类比。通过使用轨道上取整数值的函数参数化的barycentric结构，证明了每个简单交错层均为给定barycentric度数的纯层，且导出范畴中的每个纯复形均可分解为简单交错层的移位的直和，从而将ω-进混合层理论中的关键结果推广至凝聚层设定。

ABSTRACT

Two major results in the theory of l-adic mixed constructible sheaves are the purity theorem (every simple perverse sheaf is pure) and the decomposition theorem (every pure object in the derived category is a direct sum of shifts of simple perverse sheaves). In this paper, we prove analogues of these results for coherent sheaves. Specificially, we work with staggered sheaves, which form the heart of a certain t-structure on the derived category of equivariant coherent sheaves. We prove, under some reasonable hypotheses, that every simple staggered sheaf is pure, and that every pure complex of coherent sheaves is a direct sum of shifts of simple staggered sheaves.

研究动机与目标

• 将ω-进混合构造层中的纯度与分解定理推广至等变凝聚层的设定。
• 通过barycentric结构定义凝聚层的纯度概念，该结构推广了ω-进理论中的权重滤子。
• 证明每个简单交错层相对于barycentric结构为纯的，且每个纯复形在导出范畴中可分解为简单交错层的移位的直和。
• 引入并分析斜纯性（skew-purity）作为barycentric纯性的替代，提供主要定理的第二个版本。
• 建立t-结构与Ext-消去条件的基础结果，这些结果是分解定理所必需的。

提出的方法

• 作者通过在G-轨道上取整数值的函数，定义了G-等变凝聚层的导出范畴上的barycentric结构，该结构在ω-进设定中替代了权重。
• 他们通过barycentric度数引入了纯度的概念：若一个对象及其Serre–Grothendieck对偶均属于barycentric滤子的≤w部分，则称其为度数w的纯对象。
• 他们在固定barycentric度数的纯对象全子范畴上构造了两个t-结构：纯化标准t-结构与纯 perverse t-结构。
• 他们证明了纯 perverse t-结构的心包含于交错t-结构的心中，从而将纯 perverse 对象与交错层联系起来。
• 他们利用单轨道簇上t-结构的组合分类，建立了Ext¹-消去准则，该准则作为主要定理的关键假设。
• 他们通过对偶化条件定义了斜纯性，并证明在合理假设下，barycentric与斜纯性版本的纯度与分解定理均成立。

实验结果

研究问题

• RQ1 能否将 perverse 层的纯度定理推广至凝聚范畴中的交错层设定？
• RQ2 导出范畴中等变凝聚层的每个纯复形是否均为简单交错层的移位的直和？
• RQ3 在缺乏Frobenius作用的情形下（如ω-进理论中），如何推广权重或纯度的概念？
• RQ4 barycentric结构在组织导出范畴并实现凝聚层纯度定理中起什么作用？
• RQ5 斜纯性能否作为barycentric纯性的替代，且是否能导出类似的分解定理？

主要发现

• 每个简单交错层均为给定barycentric度数的纯层，推广了perverse层的纯度定理。
• 在G-等变凝聚层的导出范畴中，每个纯对象均同构于简单交错层的移位的直和，从而在该设定下证明了分解定理。
• 纯 perverse t-结构的心包含于交错t-结构的心中，建立了纯 perverse 与交错层之间的结构性联系。
• 斜纯性条件导出了分解定理的第二个版本，其结论类似，但基于不同的公理体系。
• 在G = G_m^3作用下的A^3示例中，张量积O_x ⊗^L O_z被证明为度数0的斜纯层，且同构于H_0[3] ⊕ H_{(0,-1,0)}[5]。
• 对于单轨道簇，主定理所需的Ext¹-消去条件被组合地刻画，从而为适用性提供了实用准则。