[論文レビュー] Recollement of additive quotient categories

Minxiong Wang, Zengqiang Lin|arXiv (Cornell University)|Feb 2, 2015

Algebraic structures and combinatorial models参考文献 11被引用数 3

ひとこと要約

本稿では加法圏に対する再接着構造を導入し、適切な条件下でその再接着が商圏においても再接着を誘導することを証明する。主な貢献は、三角圏における変異対を用いて商三角圏の再接着を構成することにより、アーベリアンおよび三角圏の再接着枠組みを統一することにある。

ABSTRACT

In this note, we define a recollement of additive categories, and prove that such a recollement can induce a recollement of their quotient categories. As an application, we get a recollement of quotient triangulated categories induced by mutation pairs.

研究の動機と目的

• 加法圏に対する再接着構造を定義し、既存のアーベリアンおよび三角圏における再接着を一般化すること。
• 加法圏の再接着がその商圏において再接着を誘導する条件を確立すること。
• 一般枠組みを三角圏に適用し、特に変異対を通じて商三角圏の再接着を構成すること。
• 商構成を用いてアーベリアンおよび三角圏の両方の設定における再接着の取り扱いを統一すること。

提案手法

• 六つのファンクターが随伴および全埋め込み条件を満たすことで、加法圏の再接着を定義する。
• 商圏構成を用いる：加法圏 𝒜 と部分圏 𝒳 に対して、𝑋 を通して因数化される射を modulo とする圏 𝒜/𝒳 を定義する。
• 加法圏間のファンクターが部分圏構造を保存するならば、それらが商圏間のファンクターを誘導することを証明する。
• 商圏における誘導ファンクターが随伴および全埋め込みを保存することを示し、したがって再接着を形成することを示す。
• 三角圏にこの枠組みを適用する際、(𝒞,𝒞) が 𝒟-変異対であり、𝒟 ⊆ Ker j* であると仮定する。
• 既知の結果（例：Iyama-Yoshino）を活用して、商圏 𝒞/𝒟 が三角圏であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 加法圏の再接着が適切な条件下でその商圏において再接着を誘導できるか？
• RQ2 加法圏における商構成の下で、再接着構造が一貫して定義され、保存されるか？
• RQ3 三角圏の再接着が、部分圏が変異対である場合、その商圏においても再接着を誘導するか？
• RQ4 商構成を用いて、アーベリアンおよび三角圏における再接着を統一的に扱う枠組みは可能か？
• RQ5 三角圏の商が変異対を介して三角圏の性質を保ち、再接着構造を有するための条件は何か？

主な発見

• 部分圏が関係するファンクターによって保存される限り、加法圏の再接着はその商圏においても再接着を誘導する。
• 加法圏間の商ファンクターは、商圏間のファンクターに引き上げられ、随伴および全埋め込みを保存する。
• (𝒞,𝒞) が 𝒟-変異対であり、𝒟 ⊆ Ker j* であるならば、商圏 𝒞/𝒟 は三角圏構造を引き継ぐ。
• 商圏における誘導ファンクターは、三角圏の再接着を形成し、それらの間の完全ファンクターを含む。
• ファンクター的に有限な部分圏で、Auslander-Reiten 翻訳に関して閉じたものに対しても結果が拡張され、商が三角圏のままであることが保証される。