[論文レビュー] Purity and decomposition theorems for staggered sheaves

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

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

ひとこと要約

本稿は、軌道が有限個である代数的多様体上の $G$-等配 coherent sheaf の文脈において、staggered sheaf における純粋性定理および分解定理の類似を確立する。軌道上の整数値関数によってパrameter化される baric 構造を用いて、任意の simple staggered sheaf が与えられた baric 次元において純粋であることを証明し、また、導来カテゴリ−内の任意の純粋複体が simple staggered sheaf のずらしの直和に分解されることを示す。これは、$ω$-adic 混合層理論における主要な結果を、coherent setting へと拡張するものである。

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.

研究の動機と目的

• $ω$-adic な混合構成可能層の文脈における純粋性定理および分解定理を、$G$-等配 coherent sheaf の文脈へと拡張すること。
• baric 構造を用いて、$ω$-adic 理論における重みフィルトレーションを一般化する形で、coherent sheaf における純粋性の概念を定義すること。
• 任意の simple staggered sheaf が baric 構造に関して純粋であること、および任意の純粋複体が simple staggered sheaf のずらしの直和に分解されることを証明すること。
• skew-purity を baric 純粋性の代替として導入し、主定理の第二版を提供すること。
• 分解定理に必要な $t$-構造および $\mathrm{Ext}$-消滅条件に関する基礎的結果を確立すること。

提案手法

• 著者たちは、$G$-軌道上の整数値関数を用いて、$G$-等配 coherent sheaf の導来カテゴリ−上に baric 構造を定義し、$ω$-adic の文脈における重みの代わりに用いる。
• baric 次元による純粋性の概念を導入する：対象が次元 $w$ において純粋であるとは、その対象およびその Serre–Grothendieck 双対が baric フィルトレーションの $\leq w$ 部分に属することを意味する。
• 固定された baric 次元の純粋対象の全部分カテゴリ−に、2 つの $t$-構造を構成する：純粋標準的 $t$-構造および純粋 perverse $t$-構造。
• 純粋 perverse $t$-構造の心が、staggered $t$-構造の心に含まれることを証明し、純粋 perverse 対象と staggered sheaf 間の構造的関係を確立する。
• 単一軌道多様体における $t$-構造の組み合わせ的分類を用いて、$\mathrm{Ext}^1$-消滅基準を確立し、これが主要な仮定として機能することを示す。
• 双対化条件を用いて skew-purity を定義し、合理的な仮定の下で baric および skew バージョンの純粋性および分解定理が成り立つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 perverse sheaf における純粋性定理は、coherent 圏における staggered sheaf の文脈へと拡張可能か？
• RQ2 $G$-等配 coherent sheaf の導来カテゴリ−における任意の純粋複体は、simple staggered sheaf のずらしの直和に同型か？
• RQ3 Frobenius の作用がない状況下で、重みまたは純粋性の概念をどのように一般化できるか？（$ω$-adic の文脈におけるように）
• RQ4 baric 構造は、導来カテゴリ−を整理し、coherent sheaf における純粋性定理を可能にする役割を果たすか？
• RQ5 skew-purity は baric 純粋性の代替として機能可能か？また、同様の分解定理が得られるか？

主な発見

• 任意の simple staggered sheaf は、与えられた baric 次元において純粋である。これは、perverse sheaf における純粋性定理の一般化である。
• $G$-等配 coherent sheaf の導来カテゴリ−における任意の純粋対象は、simple staggered sheaf のずらしの直和に同型である。これは、この文脈における分解定理の証明である。
• 純粋 perverse $t$-構造の心は、staggered $t$-構造の心に含まれる。これは、純粋 perverse と staggered sheaf 間の構造的関係を確立する。
• skew-purity 条件は、別の公理系の下で、同様の結論を持つ第二版の分解定理を導く。
• $G = \mathbb{G}_m^3$-作用を伴う $\mathbb{A}^3$ の例において、テンソル積 $\mathcal{O}_x \otimes^L \mathcal{O}_z$ が次数 0 の skew-pure であることが示され、$\mathcal{H}_0[3] \oplus \mathcal{H}_{(0,-1,0)}[5]$ に同型であることが示された。
• 主定理に必要な $\mathrm{Ext}^1$-消滅条件は、単一軌道多様体において組み合わせ的に特徴づけられ、適用可能性の実用的基準を提供する。