[論文レビュー] Stability data and t-structures on a triangulated category

A. Gorodentscev, Sergej Alekseevich Kuleshov+1 more|ArXiv.org|Dec 24, 2003

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

ひとこと要約

本稿は、中心的電荷と実数インデックスの必要性を排除することで、ブリジゲランドの安定性データを一般化したt安定性を導入する。t安定性とt構造の間の対応関係を確立し、$D^b(\text{Coh}\mathbb{P}^1)$および楕円曲線$C_1$の上で有界なt構造を完全に分類する。この分類には、ハラーナラシムハン分解と torsion ペアが用いられる。

ABSTRACT

We propose the notion of stability on a triangulated category that is a generalization of the T.Bridgeland's stability data. We establish connections between stabilities and t-structures on a category and as application we get the classification of bounded t-structures on the bounded derived category of coherent sheaves on a line.

研究の動機と目的

• ブリジゲランドの安定性データを、中心的電荷と実数インデックスの依存を排除することで一般化し、t安定性という新しい概念を導入すること。
• 三角カテゴリ−におけるt安定性とt構造の間の構造的関係を確立すること。
• $D^b(\text{Coh}\mathbb{P}^1)$上のすべての有界t構造を、t安定性とハラーナラシムハン分解を用いて分類すること。
• 楕円曲線$C_1$の有界t構造への分類を拡張し、すべての有界t構造がコチルティング torsion ペアから生じることを示すこと。
• $D^b(\text{Coh}\thinspace C_1)$上の最細t安定性が標準的であることを示し、曲線の層のスロープ安定性によって誘導されることを示すこと。

提案手法

• t安定性を、中心的電荷を必要とせず、ハラーナラシムハン分解に焦点を当てた、ブリジゲランドの安定性の一般化として三角カテゴリ−に定義する。
• tフィルトレーション（Postnikovシステムとしての別名）を用いて、各対象に対してt安定性のもとで標準的なHN分解を構成する。
• ハラーナラシムハン分解と正確な系列におけるシー・ソー条件を介して、t安定性とt構造の間の対応関係を確立する。
• $D^b(\text{Coh}\mathbb{P}^1)$にこの手法を適用し、t安定性がスロープ集合の順序付き分割に対応することを示し、有界t構造の完全な分類を得る。
• 楕円曲線の場合、セール双対性と安定層のモジュライを用いて、すべてのt安定性が標準的スロープ安定性に refine されることを示し、コチルティング torsion ペアを用いてt構造を分類する。
• 非分解的拡張がt安定性に矛盾することを、単純な層の構造とExt群の消失条件を用いて証明し、生成子の半安定性を強制する。

実験結果

リサーチクエスチョン

• RQ1 ブリジゲランドの安定性データを、中心的電荷に依存しない形に一般化することは可能か？ その際、ハラーナラシムハン分解のような主要な構造的特徴を保持できるか？
• RQ2 三角カテゴリ−におけるt安定性とt構造の正確な関係は何か？
• RQ3 $D^b(\text{Coh}\mathbb{P}^1)$上の有界t構造の完全な分類は何か？
• RQ4 楕円曲線の導来カテゴリ−におけるt安定性は、曲線自体のスロープ安定性とどのように関係するか？
• RQ5 $D^b(\text{Coh}\thinspace C_1)$上のすべての有界t構造は、torsion ペアによって記述可能か？ もしそうならば、その方法は何か？

主な発見

• 本稿は、$D^b(\text{Coh}\mathbb{P}^1)$上の有界t構造を完全に分類し、それがスロープ集合の順序付き分割によってパrameter化されることを示している。
• 滑らかな楕円曲線$C_1$について、$D^b(\text{Coh}\thinspace C_1)$上のすべての有界t構造は、コチルティング torsion ペア$(\mathcal{A}(q,P)_1, \mathcal{A}(q,P)_0)$によって決定される。ここで$q \in [0,1) \cup \{\infty\}$であり、$P \subset \mathfrak{M}_q$はスロープ$q$の安定層のモジュライ空間の部分集合である。
• 任意の$D^b(\text{Coh}\thinspace C_1)$上のt安定性は、曲線の層のスロープ安定性によって誘導される標準的安定構造に refine できる。
• 標準的t構造は、分類における$q=0$かつ$P=\varnothing$のケースとして得られる。
• 著者らは、$D^b(\text{Coh}\thinspace C_1)$上の最細t安定性がすべて標準的であることを証明した。これは、セール双対性と消失するExt群を用いた背理法により、曲線の層のスロープ安定性から誘導されることを示している。
• 任意のt安定性のもとで、すべての対象に対して標準的なハラーナラシムハン分解が存在し、その層は半安定で、スロープが厳密に減少する。これは、層の古典的HN分解を一般化する。