[論文レビュー] The naive approach for constructing the derived category of a $d$-abelian category fails

Gustavo Jasso, Julian Külshammer|arXiv (Cornell University)|Apr 12, 2016

Algebraic structures and combinatorial models参考文献 2被引用数 5

ひとこと要約

この論文は、2-アーベル圏の導来圏を、有界導来圏 D^b(mod A) の 2-クラスター代り部分圏として単純に構成する方法が一般には失敗することを示している。4-ゴレンシュタイン代数で、全体の次元が 4 である特定の 2-アーベル圏を用いて、元の圏を含み、2 回のシフト関手のべきに関して閉じている唯一の部分圏が、一般には 2-クラスター代りでもなく 4-角化でもないことが示され、標準的手法が無効であることが判明した。

ABSTRACT

Let $k$ be a field. In this short note we give an example of a $2$-abelian $k$-category, realized as a $2$-cluster-tilting subcategory of the category $\operatorname{mod}\,A$ of finite dimensional (right) $A$-modules over a finite dimensional $k$-algebra $A$, for which the naive idea for constructing its "bounded derived category" as $2$-cluster-tilting subcategory of the bounded derived category of $\operatorname{mod}\,A$ cannot work.

研究の動機と目的

• d-アーベル圏の導来圏を、D^b(mod A) 内の d-クラスター代り部分圏として単純に構成する方法が一般に成功するかを調査すること。
• そのような構成が、高次アウスランダー＝レインナー理論から予想されるように (d+2)-角化圏を生じるかを特定すること。
• 特に d=2 の場合に、単純なアプローチが失敗する条件を同定すること。
• 標準的構成によって期待される導来構造が得られない反例を提供すること。

提案手法

• クーヴィー 1→2→3→4→5 を用い、長さ 2 以上のパスで割った有限次元 k-代数 A を構成する。
• mod A の唯一の 2-クラスター代り部分圏 M(A) を特定し、特定の非可約モジュールからなる。
• U(A) を、M(A) のモジュールの 2 回のシフト関手の作用で生成される D^b(mod A) のフル部分圏として定義する。
• D^b(mod A) のアウスランダー＝レインナークーヴィーを用いて、U(A) の構造を解析し、その閉包性を検証する。
• GKO13 に提示された基準を適用し、U(A) が [2] を自己同型関手として持つ 4-角化構造をもつかをテストする。
• 非再帰的準同型を含む 4-角を構成することで矛盾を導き出し、最終写像が消える必要があるが、これは 4-角化圏の公理に反する。

実験結果

リサーチクエスチョン

• RQ1 d-アーベル圏の導来圏を、D^b(mod A) 内の d-クラスター代り部分圏として単純に構成することは一般に可能か？
• RQ2 2-アーベル圏 M(A) に対して、U(A) = add{M[2i] | M ∈ M(A), i ∈ ℤ} は D^b(mod A) の 2-クラスター代り部分圏か？
• RQ3 D^b(mod A) 内で、[2] を自己同型関手として持つ U(A) は 4-角化圏をなすか？
• RQ4 M(A) を含み、[2] に関して閉じている唯一の部分圏が 2-クラスター代りでも 4-角化でもない場合があるか？

主な発見

• U(A) は、M(A) を含み、2 回のシフト関手のべきに関して閉じている D^b(mod A) の唯一の剛性部分圏である。
• U(A) は D^b(mod A) の 2-クラスター代り部分圏ではない。これは、2-クラスター代りであれば消えるはずの、複体の中間の Ext^1 が非ゼロであることで示される。
• U(A) は [2] を自己同型関手として持つ 4-角化圏ではない。非再帰的準同型を含む 4-角が矛盾を引き起こし、最終写像が消える必要がある。
• その矛盾は、単純モジュール 1 から、[2] によるインジェクティブモジュール 2→3 のシフトへの非ゼロ準同型が存在しないことに起因し、4-角化圏の公理に反する。
• この例は、2-アーベル圏の導来圏を D^b(mod A) の 2-クラスター代り部分圏として単純に実現するアプローチが、一般には成立しないことを示している。