[論文レビュー] Ladders and simplicity of derived module categories

Lidia Angeleri H ugel, Steffen Koenig+2 more|arXiv (Cornell University)|Oct 13, 2013

Algebraic structures and combinatorial models参考文献 34被引用数 16

ひとこと要約

本稿は、導来加群圏を分析する構造的道具として、再構成のラダーを導入し、その高さが、非有界、有界、構成可能という導来圏の異なるレベルにおける導来単純性を決定することを示している。導来単純性が圏のレベルに依存することを確立し、ラダー高さを用いた特徴付けを提示するとともに、新しい導来単純環の例と導来Jordan–Hölder定理の反例を構成している。

ABSTRACT

Recollements of derived module categories are investigated, using a new technique, ladders of recollements, which are mutation sequences. The position in the ladder is shown to control whether a recollement restricts from unbounded to another level of derived category. Ladders also turn out to control derived simplicity on all levels. An algebra is derived simple if its derived category cannot be deconstructed, that is, if it is not the middle term of a non-trivial recollement whose outer terms are again derived categories of algebras. Derived simplicity on each level is characterised in terms of heights of ladders. These results are complemented by providing new classes of examples of derived simple algebras, in particular indecomposable commutative rings, as well as by a finite-dimensional counterexample to the Jordan--Hölder property for derived module categories. Moreover, recollements are used to compute homological and K-theoretic invariants.

研究の動機と目的

• 異なる導来圏のレベル（非有界、有界、構成可能）における再構成の振る舞い、特に持ち上げと制限の観点から理解すること。
• 非自明な再構成による導来圏の分解が不可能であると定義される導来単純性を、ラダー高さを用いて各レベルで特徴付けること。
• インデコンポジットな可換環を含む、新しい導来単純環のクラスを提供し、導来Jordan–Hölder問題を調査すること。
• 特に有界および構成可能レベルにおいてK群の同型を介して、再構成を用いてホモロジー的およびK理論的不変量を帰納的に計算すること。

提案手法

• ラダーの概念を導入：隣接する再構成の最大列であり、高さはそのような段階の数を測る。
• ラダー高さを用いて導来単純性を分類：ある環がレベルXで導来単純であるとは、そのレベルにおけるすべての非自明なラダーの高さが0（または≤1など）であるときを意味する。
• 命題3.2における持ち上げおよび制限基準を用いて、導来圏の異なるレベル間での再構成が拡張可能かどうかを特定する。
• 再構成を用いて代数的K理論における長い完全系列を導出し、K群の同型を証明する：有限次元代数に対して、$D^{-}$レベルで $\mathbb{K}_*(A) \cong \mathbb{K}_*(B) \oplus \mathbb{K}_*(C)$ が成り立つ。
• $Ae_2A$ がストラティファイイングイデアルであるという事実を用いて、$\mathcal{D}(\mathrm{Mod}A)$ の2つの異なる再構成を構成し、非同値な因子圏を導く。
• 関手 $i_*$ および $j_!$ に関する基準を用いて、再構成が $K^b(\mathrm{proj})$、$D^b(\mathrm{mod})$、または $D^{-}(\mathrm{Mod})$ に制限されない理由を分析する。

実験結果

リサーチクエスチョン

• RQ1 導来単純性は、導来圏のレベル（例えば非有界対有界対構成可能）の選択に依存するか？
• RQ2 導来圏間の再構成が、異なるレベル間で持ち上げられたり制限されたりする条件は何か？
• RQ3 導来Jordan–Hölder定理は一般化可能か、それとも反例があるか？
• RQ4 どの代数が導来単純であり、そのような代数の新しいクラスを構成可能か？
• RQ5 再構成を用いて、K理論的およびホモロジー的不変量を帰納的にどのように計算できるか？

主な発見

• 有限次元代数は、その導来圏におけるすべての非自明なラダーの高さが0であるときかつそのときに限り、$\mathcal{D}(\mathrm{Mod})$-単純である。
• 有限次元代数は、その導来圏におけるすべての非自明なラダーの高さが1以下であるときかつそのときに限り、$\mathcal{D}^{-}(\mathrm{Mod})$-単純である。
• 本稿では、$\mathcal{D}^{-}(\mathrm{Mod})$-単純であるが $\mathcal{D}(\mathrm{Mod})$-単純でない有限次元代数の例を構成しており、導来単純性がレベル依存であることを示している。
• 導来Jordan–Hölder定理の反例を提示：ある導来圏が、非モリタ同値な局所因子を持つ2つの異なる再構成を許容する。
• 有限次元代数に対して、$\mathcal{D}^{-}(\mathrm{Mod}A)$ が $\mathcal{D}^{-}(\mathrm{Mod}B)$ と $\mathcal{D}^{-}(\mathrm{Mod}C)$ による再構成を持つとき、$\mathbb{K}_*(A) \cong \mathbb{K}_*(B) \oplus \mathbb{K}_*(C)$ が成り立つ。
• 2番目の再構成（因子が $k[x]/(x^2)$）は高さ2以上のラダーに拡張可能であるのに対し、1番目の再構成（因子が $k\langle x,y\rangle/(x^2,y^2,xy)$）は上方向に拡張されないため、ラダー行動の非一様性が示されている。