[論文レビュー] Invariants of t-structures and classification of nullity classes

Don Stanley|ArXiv.org|Feb 12, 2006

Algebraic structures and combinatorial models参考文献 8被引用数 4

ひとこと要約

本稿は、ネーター環上の準連接層の導来カテゴリ $D_{\text{qc}}(R)$ における $t$-構造およびノルティークラスの完全不変量を、スペクトルの特殊化閉部分集合への整数から始まる増加関数を用いて構成する。この不変量が $D_{\text{qc}}(R)$ 内のすべての $t$-構造を分類できることを証明し、$D(\mathbb{Z})$ 内の $t$-構造が真のクラスを形成することを示し、有限または集合論的分類が不可能であることを示している。

ABSTRACT

We construct an invariant of t-structures on the derived category of a Noetherian ring. This invariant is complete when restricting to the category of quasi-coherent complexes, and also gives a classification of nullity classes with the same restriction. On the full derived category of $\mathbb Z$ we show that the class of distinct t-structures do not form a set.

研究の動機と目的

• ネーター環の導来カテゴリにおける $t$-構造の完全不変量を構成すること。
• 準連接複体の導来カテゴリ $D_{\text{qc}}(R)$ 内のノルティークラスを分類すること。
• $D(\mathbb{Z})$ 内の $t$-構造が集合を形成しないことを示し、有限または集合論的分類が不可能であることを示すこと。
• ボウシールドのスペクトルにおける分類の哲学を、環の導来カテゴリへと拡張すること。
• $D(R)$ 内の $t$-構造と局所化部分カテゴリの構造的差異を調査し、より複雑さを強調すること。

提案手法

• ノルティークラス $\mathcal{A}$ に対して不変量 $\phi(\mathcal{A})$ を定義し、$\mathbb{Z}$ を $\operatorname{Spec}(R)$ の特殊化閉部分集合へ写像する。
• 各 $n$ に対して、$\phi(\mathcal{A})(n)$ を $\tau^{\geq -n}\mathcal{A}$ が生成する厚い部分カテゴリの台として計算する。
• ホプキンズ＝ニーマンによる、完全複体の厚い部分カテゴリのスペクトルによる分類を用いる。
• $P_E$ のノルム化ファンクターを用いて、対象 $E$ からアイルを構成し、$D_{\text{qc}}(R)$ への制限を調べる。
• シェラの可換群の剛性系を用いて、非可算個の異なる $P_E$-局所化を構成する。
• 異なる剛性系が異なるノルティークラスをもたらすことを、$P_E$-写像の非消滅性により示し、真のクラスの大きさを確立する。

実験結果

リサーチクエスチョン

• RQ1 導来カテゴリ $D_{\text{qc}}(R)$ 内の $t$-構造は、スペクトル的不変量によって完全に分類可能か？
• RQ2 関数 $\phi: \mathbb{Z} \to \{\text{特殊化閉部分集合 of } \operatorname{Spec}(R)\}$ が $t$-構造から生じるための必要十分条件は何か？
• RQ3 $D(\mathbb{Z})$ 内の $t$-構造のクラスは真のクラスか？ これは、集合論的分類が不可能であることを示唆する。
• RQ4 $\overline{C(E)}$-型のアイルの $D_{\text{qc}}(R)$ への制限は、常にアイルのままであるか？ どのような条件下でそうなるか？
• RQ5 不変量 $\phi$ は $D_{\text{qc}}(R)$ 内のすべてのノルティークラスを分類できるか？ そしてそれは完全な不変量か？

主な発見

• $\phi$ は、$D_{\text{qc}}(R)$ 内のノルティークラスと、$\mathbb{Z}$ から $\operatorname{Spec}(R)$ の特殊化閉部分集合への増加関数との間の順序を保つ双対写像である。
• この分類により、$\phi$ が $D_{\text{qc}}(R)$ 内の $t$-構造の完全不変量であることが示される。
• $D(\mathbb{Z})$ 内の $t$-構造のクラスは真のクラスであり、集合ではない。これは、非可算個の可換群の剛性系が存在するためである。
• 各可換群の剛性系 $\{A_\alpha\}$ に対して、$D(\mathbb{Z})$ 内のノルティークラス $\overline{C(A_\alpha)}$ は互いに異なる。
• 同じ構成により、トポロジカル空間およびスペクトルの三角カテゴリ内でも非可算個の異なるノルティークラスが得られる。
• ノルティークラスがアイルであるための必要十分条件として、$p' \in \phi(\mathcal{A})(n)$ かつ $p$ が $p'$ を極大に含むならば、$p \in \phi(\mathcal{A})(n+1)$ であるという予想が提示される。