[論文レビュー] 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

ひとこと要約

この論文は、$\omega$-adic層のモレルの重みフィルトレーションの一般化として、三角カテゴリ−にbaric構造を導入し、有限個の$G$-軌道しか持たないスキーム上の$G$-等配な連接層の導来カテゴリに応用する。主な貢献は、アーベルカテゴリの層に対して$s$-構造から非自明なbaric構造を構成し、整合性のある$t$-構造とbaric構造の上での新しい「staggering」操作により、staggered $t$-構造が得られることの証明であり、純粋性および単純対象の分類への応用を含む。

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構造」と呼ばれる新しいカテゴリカル構造を用いて、$\omega$-adic層の重みフィルトレーションの形式的枠組みと、$G$-等配な連接層の$s$-構造を統一すること。
• 群$G$が$X$に作用し、有限個の$G$-軌道しか持たないとき、$G$-等配な連接層の導来カテゴリに一般化されたbaric構造の構成を提供すること。
• 最初の著者が以前に定義したstaggered $t$-構造が、整合性のある$t$-構造とbaric構造の上での新しい「staggering」操作から自然に生じることを示すこと。
• これらのstaggered $t$-構造のハートが有限長カテゴリであることを証明し、その単純対象を分類すること。
• ${\omega}$-adic混合 perverse層の純粋性定理に類似する、導来カテゴリにおける純粋性の概念を確立すること。

提案手法

• 三角カテゴリにbaric構造を定義する。これは、$w \in \mathbb{Z}$でインデックスづけられた、互いに適合する厚い部分カテゴリ$\mathfrak{D}_{\leq w}$と$\mathfrak{D}_{\geq w}$の族であり、包含およびシフトの公理を満たす。
• 「staggering」操作を導入する：三角カテゴリに$t$-構造とbaric構造が与えられたとき、baricフィルトレーションに従って$t$-構造の切断関手をずらすことで、新しい$t$-構造を構成する。
• $t$-構造とbaric構造が適合している場合、staggering操作が有効な$t$-構造を生成することを証明する。その際、$t$-構造のハートとbaric層に関する基準を用いる。
• 群$G$が$X$に作用し、有限個の$G$-軌道しか持たないとき、$G$-等配な連接層のアーベルカテゴリにおける$s$-構造から、$\mathcal{D}^b_G(X)$上にbaric構造を構成する。
• 得られたbaric構造を用いて、軌道閉包上の不可約局所系$\mathcal{L}$に対して、中間拡張$ j_{!*} $および交差コホモロジー複体$\mathcal{IC}(\overline{C}, \mathcal{L}[-q(C)+\text{step}\,\mathcal{L}])$を定義する。
• staggered sheavesのカテゴリ${}^q\mathcal{M}(X)$が有限長カテゴリであり、その単純対象が、軌道閉包上の不可約局所系$\mathcal{L}$に対応する、適切にずらされた交差コホモロジー複体$\mathcal{IC}(\overline{C}, \mathcal{L}[-q(C)+\text{step}\,\mathcal{L}])$であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 ${\omega}$-adic層における重みフィルトレーションの形式的枠組みを、${\omega}$-adic設定を超えて適用可能な、三角カテゴリ上の一般構造に抽象化できるか？
• RQ2 $G$-等配な連接層のアーベルカテゴリにおける$s$-構造を、導来カテゴリ$\mathcal{D}^b_G(X)$上のbaric構造にどのように持ち上げられるか？
• RQ3 以前の研究で得られたstaggered $t$-構造の構成が、整合性のある$t$-構造とbaric構造の上での一般カテゴリカル操作の特別な場合であるか？
• RQ4 等配な連接層の設定において、baric構造と中間拡張関手$ j_{!*} $の間の明確な関係は何か？
• RQ5 ${\omega}$-adic層の純粋性定理に類似した、$G$-等配な連接層の導来カテゴリにおける純粋性の概念を定義できるか？

主な発見

• $G$-スキーム$X$が有限個の$G$-軌道しか持たない限り、$\mathcal{D}^b_G(X)$上にbaric構造が存在し、これは$G$-等配な連接層のアーベルカテゴリにおける$s$-構造から構成される。
• Acharが導入した$\mathcal{D}^b_G(X)$上のstaggered $t$-構造は、標準$t$-構造と、$s$-構造から得られるbaric構造の上での「staggering」操作によって生じる。
• staggered $t$-構造のハートは有限長カテゴリであり、その単純対象は、軌道$C$上の不変局所系$\mathcal{L}$に対応する、適切にずらされた交差コホモロジー複体$\mathcal{IC}(\overline{C}, \mathcal{L}[-q(C)+\text{step}\,\mathcal{L}])$である。
• staggered sheavesのカテゴリ${}^q\mathcal{M}(X)$は有限長カテゴリであり、関数$q$に制限がなく、以前の研究とは異なり、$q$の任意の選択が許容される。
• 導来カテゴリに純粋性の概念を定義でき、すべての単純staggered sheafは純粋である。すべての純粋対象は、単純staggered sheafのずらしの直和である。これは、${\omega}$-adic層の純粋性定理および分解定理に類似している。