[論文レビュー] Staggered t-structures on toric varieties

David Treumann|ArXiv.org|Jun 4, 2008

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

ひとこと要約

この論文は、トーリック多様体 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.

研究の動機と目的

• トーリック多様体の T-不変導来カテゴリにおけるスティッガード t-構造の明示的で組合せ的な記述を提供すること。
• Achar が導入した抽象的な「s-構造」の定義を、トーリック多様体のファンに沿った明示的データとして明らかにすること。
• このようなスティッガード t-構造が与えられた双対化複体に関して自己双対となる条件を特定すること。
• ファン上の分岐線形関数と次元および重みに関する偶奇条件を用いて、t-構造が自己双対となるための条件を確立すること。

提案手法

• 論文は、ファンの各錐 C に対して $ A_C \in -C $ を満たすような s-構造を定義し、その面において消失条件を満たすものとする。
• ファンの錐上で定義されるパーサビティ関数 $ p $ を導入し、導来制限および核心化ファンクターの下でのコホロジーの台の関係と関連する特定の不等式を満たすものとする。
• 重み $ \xi $ のコホロジー層とのペアリング $ \langle \xi, A_C \rangle $ を用いて、部分カテゴリ $ {}^{\mathbf{A},p}\!D^{\leq 0} $ および $ {}^{\mathbf{A},p}\!D^{\geq 0} $ を介して t-構造を定義する。
• 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^! $ の下でのコホロジーの台の関係を関連付ける。
• 自己双対性が成り立つのは、すべての錐 C に対して $ \dim(C) + \underline{\chi}(-A_C) $ が偶数であるとき、かつすべての codimension-one 面のペア $ C \subset C' $ に対して $ \underline{\chi}(-A_{C'}) - \underline{\chi}(-A_C) + 1 \geq 0 $ が成り立つときであると証明する。

実験結果

リサーチクエスチョン

• RQ1 スティッガード t-構造は、ファンからの組合せ的データとしてどのように明示的にパラメータ化できるか？
• RQ2 s-構造およびパーサビティ関数に課される条件は、得られる t-構造が有界かつ非退化となるために必要十分か？
• RQ3 与えられた双対化複体に関して、スティッガード t-構造が自己双対となるのはいつか？
• RQ4 抽象的な s-構造の概念は、ファン構造を用いてトーリック多様体上で明示的に実現可能か？
• 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} $ に対しても双対的に成り立つ。
• 論文は、トーリック多様体上の s-構造が、面の消失条件を満たす $ A_C \in -C $ の割り当てという組合せ的データと同値であることを証明した。
• 自己双対性は、関数 $ \underline{\chi} $ が存在して、すべての錐 C に対して $ \dim(C) + \underline{\chi}(-A_C) $ が偶数であることに同値である。
• さらに、すべての codimension-one 面のペア $ C \subset C' $ に対して、不等式 $ \underline{\chi}(-A_{C'}) - \underline{\chi}(-A_C) + 1 \geq 0 $ が成り立つ必要がある。
• 上記の偶奇条件および不等式条件を満たすとき、$ p(C) = \frac{1}{2}(\dim(C) + \underline{\chi}(-A_C)) $ であれば、自己双対 t-構造を明示的に構成できる。