[论文解读] Baric structures on triangulated categories and coherent sheaves

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

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

一句话总结

本文引入了三角范畴上的baric结构，作为Morel对$ω$-adic层的权过滤的推广，并将其应用于具有有限个$G$-轨道的概形上的$G$-等变凝聚层范畴。关键贡献在于：从层的阿贝尔范畴上的$s$-结构构造出非平凡的baric结构，以及证明了交错$t$-结构通过一种新的“交错”操作从相容的$t$-结构与baric结构中自然产生，其应用涵盖纯度与单个对象的分类。

ABSTRACT

We introduce the notion of a "baric structure" on a triangulated category, as an abstraction of S. Morel's weight truncation formalism for mixed l-adic sheaves. We study these structures on the derived category D_G(X) of G-equivariant coherent sheaves on a G-scheme X. Our main result shows how to endow this derived category with a family of nontrivial baric structures when G acts on X with finitely many orbits. We also describe a general construction for producing a new t-structure on a triangulated category equipped with given t- and baric structures, and we prove that the staggered t-structures on D_G(X) introduced by the first author arise in this way.

研究动机与目标

• 通过一种称为baric结构的新范畴结构，统一$ω$-adic层中的权过滤形式化与$G$-等变凝聚层中的$s$-结构形式化。
• 在$G$作用于$X$且仅有有限个轨道时，为$G$-等变凝聚层的导出范畴提供baric结构的一般构造方法。
• 证明由第一作者先前定义的交错$t$-结构自然源自于相容的$t$-结构与baric结构上的新“交错”操作。
• 证明这些交错$t$-结构的中心是有限长度范畴，并对其单个对象进行分类。
• 在导出范畴中建立类似于$ω$-adic混合 perverse 层的纯度定理的纯度概念。

提出的方法

• 将三角范畴上的baric结构定义为由$w \in \mathbb{Z}$索引的相容厚子范畴族$\mathfrak{D}_{\leq w}$与$\mathfrak{D}_{\geq w}$，满足包含性与移位公理。
• 引入“交错”操作：给定三角范畴上的$t$-结构与baric结构，通过根据baric滤子调整$t$-结构的截断函子，构造一个新的$t$-结构。
• 证明若$t$-结构与baric结构相容，则该交错操作可产生有效的$t$-结构，使用涉及$t$-结构中心与baric层的准则。
• 当$G$作用于$X$且仅有有限个轨道时，从$G$-等变凝聚层阿贝尔范畴上的$s$-结构构造$\mathcal{D}^b_G(X)$上的baric结构。
• 利用所得的baric结构，为轨道闭包上的不可约局部系统定义中间扩张$j_{!*}$与交集上同调复形$\mathcal{IC}(\overline{C}, \mathcal{L}[-q(C)+\text{step}\,\mathcal{L}])$。
• 证明交错层范畴${}^q\mathcal{M}(X)$是有限长度范畴，且其单个对象恰好为与轨道闭包上不可约局部系统相关的移位交集上同调复形。

实验结果

研究问题

• RQ1 能否将$ω$-adic层中的权过滤形式化抽象为三角范畴上的一般结构，使其不仅限于$ω$-adic情形？
• RQ2 如何将$G$-等变凝聚层阿贝尔范畴上的$s$-结构提升为导出范畴$\mathcal{D}^b_G(X)$上的baric结构？
• RQ3 先前工作中交错$t$-结构的构造是否为相容的$t$-结构与baric结构上一般范畴操作的特例？
• RQ4 baric结构与等变凝聚范畴中中间扩张函子$j_{!*}$之间的确切关系为何？
• RQ5 能否在$G$-等变凝聚层的导出范畴中定义类似于$ω$-adic层中纯度定理的纯度概念？

主要发现

• 对于任意具有有限个$G$-轨道的$G$-概形$X$，$\mathcal{D}^b_G(X)$上存在baric结构，其由$G$-等变凝聚层阿贝尔范畴上的$s$-结构构造而成。
• Achar在先前工作中引入的$\mathcal{D}^b_G(X)$上的交错$t$-结构，是标准$t$-结构与由$s$-结构构造的baric结构上“交错”操作的结果。
• 交错$t$-结构的中心是有限长度范畴，其单个对象恰好为移位交集上同调复形$\mathcal{IC}(\overline{C}, \mathcal{L}[-q(C)+\text{step}\,\mathcal{L}])$，其中$\mathcal{L}$为轨道$C$上的不可约局部系统。
• ${}^q\mathcal{M}(X)$交错层范畴是有限长度范畴，且对函数$q$无任何限制，与早期工作不同。
• 在导出范畴中定义了纯度概念，每个简单交错层都是纯的；每个纯对象都是简单交错层的移位的直和，类似于$ω$-adic层的纯度与分解定理。