[論文レビュー] Degenerations for derived categories

Bernt Tore Jensen, Xiuping Su+1 more|arXiv (Cornell University)|Sep 29, 2004

Algebraic structures and combinatorial models参考文献 12被引用数 24

ひとこと要約

本稿は、有限次元代数の導来カテゴリにおける幾何的退化理論を導入し、右有界な射影的モジュール複体のための位相的および代数的退化を定義する。代数的退化（区別された三角形を介して）が、アフィン多様体の射影極限における軌道の閉包を通じた位相的退化と同値であることを示し、リードトマン＝ツヴァラの定理を導来カテゴリへ拡張し、2項ティルティング複体がそのグレーディングモジュール構造によって決定されることを証明する。

ABSTRACT

We propose a theory of degenerations for derived module categories, analogous to degenerations in module varieties for module categories. In particular we define two types of degenerations, one algebraic and the other geometric. We show that these are equivalent, analogously to the Riemann-Zwara theorem for module varieties. Applications to tilting complexes are given, in particular that any two-term tilting complex is determined by its graded module structure.

研究の動機と目的

• モジュールの退化に関するリードトマン＝ツヴァラの定理を導来カテゴリへ拡張すること。
• アフィン多様体の射影極限を用いて、射影的モジュール複体の幾何的構造を定義すること。
• 代数的退化（区別された三角形を介して）と位相的退化（軌道の閉包を介して）の同値性を確立すること。
• 理論をティルティング複体に適用し、2項ティルティング複体がそのグレーディングモジュール構造によって決定されることを示すこと。
• この結果がより長いティルティング複体へは拡張されないことを、反例を用いて示すこと。

提案手法

• 右有界な射影的モジュール複体で次元配列 $\underline{d}$ を持つもののパラメータ空間として、アフィン多様体の射影極限 $comproj^{\delta}$ を定義する。
• 群 $G = \prod_{i\in\mathbb{Z}} Gl_{\alpha(d_i)}$ を導入し、$comproj^{\delta}$ 上に作用させ、その軌道が quasi-isomorphism クラスに対応するようにする。
• 導来カテゴリ内に区別された三角形 $N \to M \oplus Z \to Z \to N[1]$ が存在することにより、$M \leq_{\Delta} N$ を定義する。
• 軌道の閉包 $\overline{G \cdot M}$ に $N$ が属すること、すなわち $M \leq_{\text{top}} N$ を定義する。
• 複体が $comproj^\delta$ に属する限り、$M \leq_{\Delta} N$ であることと $M \leq_{\text{top}} N$ であることの同値性を証明し、リードトマン＝ツヴァラの定理を一般化する。
• 上半連続性を用いて、位相的退化がすべての $U$ に対して $dim_k Hom(U,M) \leq dim_k Hom(U,N)$ を意味することを示す。

実験結果

リサーチクエスチョン

• RQ1 導来カテゴリにおいて、モジュール多様体の退化と類似する意味のある退化の概念は存在するか？
• RQ2 リードトマン＝ツヴァラの定理が示す代数的および位相的退化の同値性は、導来カテゴリへ拡張可能か？
• RQ3 ティルティング複体は、そのグレーディングモジュール構造によってどの程度決定されるか？
• RQ4 導来カテゴリのすべての複体に対して、代数的および位相的退化の同値性は成り立つか？
• RQ5 多様体 $comproj^\delta$ の位相は、同じ次元配列を持つ非同型のティルティング複体を識別できるか？

主な発見

• 本稿は、有限次元代数の導来カテゴリにおいて、代数的退化（$M \leq_{\Delta} N$）と位相的退化（$M \leq_{\text{top}} N$）の完全な同値性を確立した。
• 任意の $D^b(A)$ 内の2つの複体 $M$ および $N$ に対して、$M$ および $N$ が $comproj^\delta$ に属するような次元配列 $\underline{d}$ が存在し、$M \leq_{\Delta} N$ であることと $M \leq_{\text{top}} N$ であることの同値性が成り立つ。
• 2項ティルティング複体は、そのグレーディングモジュール構造によって、同型を除いて一意に決定される。なぜなら、そのような複体の軌道はその既約成分において開かつ稠密であるからである。
• より長いティルティング複体ではこの結果は成り立たない。本稿では、同じ次元配列を持つが、$comproj^\delta$ の異なる既約成分に属する非同型のティルティング複体を構成する反例を提示し、グレーディング構造だけでは複体が決定されないことを示した。
• 多様体 $comproj^\delta$ は複数の既約成分を持つ可能性がある。3次元と4次元の2つの成分を持つ例を示し、そのうちの1つだけがティルティング複体の開軌道をサポートしている。
• 位相的退化は、すべての $U$ に対して $dim_k Hom_{D^b(A)}(U,M) \leq dim_k Hom_{D^b(A)}(U,N)$ を意味し、軌道の閉包の性質からホモロジー的不等式が導かれる。