[论文解读] Staggered t-structures on toric varieties

David Treumann|ArXiv.org|Jun 4, 2008

Algebraic structures and combinatorial models参考文献 1被引用 7

一句话总结

本文对 toric 变体 Y 上 T-等变有理层的有界导出范畴上的交错 t-结构进行了组合分类，其中 T 是一个环面。它通过 s-结构（将对偶共特征格中的元素分配给扇形中的锥）和偏度函数，给出了显式参数化，并证明此类数据定义了有界且非退化的 t-结构。关键贡献是通过在 T-轨道上对导出限制和导出上限制函子的上同调层的权重条件，完全刻画了这些 t-结构。

ABSTRACT

Achar has recently introduced a family of t-structures on the derived category of equivariant coherent sheaves on a $G$-scheme, generalizing the perverse coherent t-structures of Bezrukavnikov and Deligne. They are called \emph{staggered} t-structures, and their main point of interest so far is that they are more often self-dual. In this paper we investigate these t-structures on the $T$-equivariant derived category of a toric variety.

研究动机与目标

• 为 toric 变体的 T-等变导出范畴上的交错 t-结构提供一个具体且组合的描述，其中 T 是一个环面。
• 通过展示 s-结构在 toric 变体的扇形上等价于显式数据，澄清 Achar 引入的抽象定义 's-结构'。
• 刻画此类交错 t-结构在何种情况下是自对偶的，特别是相对于一个对偶复形而言。
• 通过扇形上的分段线性函数和维度与权重的奇偶性条件，建立 t-结构自对偶的条件。

提出的方法

• 本文将 s-结构定义为：对扇形 $ \Sigma $ 中的每个锥 $ C $，指定元素 $ A_C \in -C $，并满足在面处的消去条件。
• 在扇形 $ \Sigma $ 的锥上引入一个偏度函数 $ p $，其满足与导出限制和导出上限制函子下上同调支撑相关的特定不等式。
• 通过子范畴 $ {}^{\mathbf{A},p}\!D^{\leq 0} $ 和 $ {}^{\mathbf{A},p}\!D^{\geq 0} $ 定义 t-结构，使用与上同调层权重 $ \xi $ 的配对 $ \langle \xi, A_C \rangle $。
• 利用在 T-轨道 $ O_C $ 上的导出函子 $ \mathbf{L}i_C^* $ 和 $ \mathbf{R}i_C^! $，通过权重支撑定义 t-结构条件。
• 通过对偶函子 $ \mathbb{D} \mathcal{F} = \mathbf{R}\underline{\mathrm{Hom}}(-, K_Y \otimes L(\underline{\chi})[n]) $ 分析 t-结构的自对偶性，关联 $ \mathbf{L}i_C^* $ 和 $ \mathbf{R}i_C^! $ 下的上同调支撑。
• 证明 t-结构自对偶当且仅当对所有锥 $ C $，有 $ \dim(C) + \underline{\chi}(-A_C) $ 为偶数，且对所有余维数为一的面对 $ C \subset C' $，有 $ \underline{\chi}(-A_{C'}) - \underline{\chi}(-A_C) + 1 \geq 0 $。

实验结果

研究问题

• RQ1 如何通过扇形的组合数据显式参数化 toric 变体上的交错 t-结构？
• RQ2 s-结构和偏度函数的何种条件能确保所得到的 t-结构是有界且非退化的？
• RQ3 在何种条件下，一个交错 t-结构关于给定的对偶复形是自对偶的？
• RQ4 抽象的 s-结构概念能否在 toric 变体上通过扇形结构具体实现？
• RQ5 扇形上的分段线性函数在决定交错 t-结构的自对偶性中起什么作用？

主要发现

• 主要结果表明，对任意 s-结构 $ \mathbf{A} $ 和偏度函数 $ p $，对 $ ({}^{\mathbf{A},p}\!D^{\leq 0}, {}^{\mathbf{A},p}\!D^{\geq 0}) $ 构成 $ D^b_T(Y) $ 上的一个有界且非退化的 t-结构。
• t-结构通过权重条件定义：对所有 $ \xi $ 属于 $ h^k(\mathbf{L}i_C^*\mathcal{F}) $ 的支撑，有 $ \langle \xi, A_C \rangle \leq p(C) - k $，且对 $ \mathbf{R}i_C^!\mathcal{F} $ 有对偶条件。
• 本文证明了 toric 变体上的 s-结构等价于满足面消去条件的 $ A_C \in -C $ 的组合数据。
• 当且仅当存在一个分段线性函数 $ \underline{\chi} $，使得对所有锥 $ C $，有 $ \dim(C) + \underline{\chi}(-A_C) $ 为偶数时，$ (\mathbf{A},p) $-交错 t-结构是自对偶的。
• 此外，对所有余维数为一的面对 $ C \subset C' $，必须满足不等式 $ \underline{\chi}(-A_{C'}) - \underline{\chi}(-A_C) + 1 \geq 0 $。
• 当满足上述奇偶性和不等式条件时，可显式构造出自对偶 t-结构，其中 $ p(C) = \frac{1}{2}(\dim(C) + \underline{\chi}(-A_C)) $。