[論文レビュー] On the uniqueness of stratifications of derived module categories

Lidia Angeleri Hügel, Steffen Koenig+1 more|arXiv (Cornell University)|Jun 28, 2010

Algebraic structures and combinatorial models参考文献 17被引用数 6

ひとこと要約

この論文は、遺伝的アートン代数の導来加群圏に対して、Jordan-Hölder定理を確立する。具体的には、任意のこのような圏が、環の導来圏の有限な合成系列をもつことを示し、その単純因子は順序と導来同値性の意味で一意に定まる。主な結果は、recollementsによる階層構造に関する一意性定理であり、遺伝的アートン代数の導来加群圏が、導来単純成分への一意で標準的な分解をもつことの証明である。

ABSTRACT

Recollements of triangulated categories may be seen as exact sequences of such categories. Iterated recollements of triangulated categories are analogues of geometric or topological stratifications and of composition series of algebraic objects. We discuss the question of uniqueness of such a stratification, up to ordering and derived equivalence, for derived module categories. The main result is a positive answer in the form of a Jordan Hölder theorem for derived module categories of hereditary artin algebras. We also provide examples of derived simple rings.

研究の動機と目的

• 繰り返しrecollementを用いた導来加群圏の階層構造の一意性を調査すること。
• 導来圏の環を因子とする非自明なrecollementが存在しないことによって導来単純性を定義すること。
• 遺伝的アートン代数の導来圏に対してJordan-Hölder定理を確立し、合成因子の一意性（順序と導来同値性の意味で）を保証すること。
• 一般の代数へのこの定理の一般化の限界を明らかにするために、反例を提示すること。

提案手法

• アーベル圏における短完全列の類似として、三角的圏のrecollementを用いる。
• 古典的群論におけるバタフライ補題に類似した、recollement図式の完成という技術的道具を適用する。
• 普遍局所化およびティルティング加群に関する結果を活用し、recollementの構成と分析を行う。
• 垂直カテゴリーおよび torsion 対の理論を用いて、導来圏を分解する。
• 環の導来圏を、導来同値性およびグローバル次元などのホモロジー的不変量を用いて分析する。
• 反例を用いて、Jordan-Hölder性が一般には成り立たないことを示す。特に、因子が環の導来圏でなければならないという制約がない場合に顕著である。

実験結果

リサーチクエスチョン

• RQ1 遺伝的アートン代数の導来加群圏に対して、Jordan-Hölder定理を確立できるか？
• RQ2 このような導来圏の階層構造における単純因子は、順序と導来同値性の意味で一意的か？
• RQ3 recollementによる有限な階層構造の存在および一意性を保証する条件は何か？
• RQ4 なぜ、Jordan-Hölder性の一般化は一般の代数に対して失敗するのか？
• RQ5 非導来圏の環を含むrecollementが、一意性定理の有効性にどのように影響するか？

主な発見

• 任意の遺伝的アートン代数の導来加群圏は、recollementを用いた有限な合成系列をもつ。
• このような合成系列における単純因子は、順序と導来同値性の意味で一意に定まる。
• 主な結果は、遺伝的アートン代数の導来圏に対するJordan-Hölder定理である。
• 反例により、定理が一般には成り立たないことが示された：有限な階層構造の存在および一意性は失敗する可能性がある。
• 例は、無限大な階層構造が存在することを示している。例えば、クローンカー代数や積環 $k^\mathbb{N}$ の場合。
• ChenとXiの例は、有限な階層構造ですら長さや合成因子が異なる可能性があることを示しており、一般には一意性が成立しないことを示している。