[論文レビュー] Recollements of extriangulated categories

Li Wang, Jiaqun Wei+1 more|arXiv (Cornell University)|Dec 6, 2020

Algebraic structures and combinatorial models参考文献 8被引用数 4

ひとこと要約

本稿は、アーベル圏および三角圏における再構成の一般化として、外三角圏における再構成を統一的な枠組みとして導入する。外側の圏 $π$ と $σ$ におけるコターレーション対が中間の圏 $β$ におけるコターレーション対を誘導するための条件を確立し、三角圏における既知の結果を回復するとともに、アーベル圏における新たな現象を明らかにする。

ABSTRACT

We give a simultaneous generalization of recollements of abelian categories and triangulated categories, which we call recollements of extriangulated categories. For a recollement $(\mathcal{A}$, $\mathcal{B}$, $\mathcal{C})$ of extriangulated categories, we show that cotorsion pairs in $\mathcal{A}$ and $\mathcal{C}$ induce cotorsion pairs in $\mathcal{B}$ under certain conditions. As an application, our main result recovers a result given by Chen for recollements of triangulated categories, and it also shows a new phenomena when it is applied to abelian categories.

研究の動機と目的

• アーベル圏および三角圏における再構成の概念を、より広範な外三角圏の文脈において再構成することにより統一すること。
• 再構成の外側の圏におけるコターレーション対とそれらが中間の圏に与える影響との関係を調査すること。
• チエンによる三角圏における再構成に関する結果を一般化し、アーベル圏に適用した際の新たな挙動を明らかにすること。
• 外側の圏 $π$ と $σ$ におけるコターレーション対の貼り合わせが中間の圏 $β$ におけるコターレーション対を形成するための十分条件を確立すること。
• 逆問題を検討する：特定の条件下で、$β$ におけるコターレーション対が $π$ と $σ$ におけるコターレーション対から生じる条件は何か。

提案手法

• ナカオカとパルの WIC 条件を用いて、適合する準同型と組み合わせた外三角圏における再構成の概念を導入・形式化する。
• 外三角圏の枠組み内での左完全関手・右完全関手、左完全列・右完全列、および適合する準同型を定義する。
• 再構成構造に関連する関手 $i^*$, $i^!$, $j_*$, $j^*$, $j^!$ を用いて、コターレーション対の貼り合わせを確立する。
• $τ$-拡張と $σ$-拡張の消滅を用いて、中間の圏 $β$ におけるコターレーション対の存在を検証する。
• 主定理を適用して、チエンによる三角圏における再構成に関する定理を特別な場合として回復する。
• mod-$A$ および mod-$B$ における明示的な例を提示し、貼り合わせプロセスを図示し、主定理の条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 外三角圏の再構成における外側の圏 $π$ と $σ$ におけるコターレーション対のペアが、中間の圏 $β$ におけるコターレーション対を誘導するための条件は何か？
• RQ2 提案された外三角圏における再構成の枠組みは、アーベル圏および三角圏における既存の結果をどのように一般化するか？
• RQ3 逆に成り立つ場合があるか：$β$ におけるコターレーション対が $π$ と $σ$ におけるコターレーション対から特定の条件下で生じる条件は何か？
• RQ4 主結果をアーベル圏に適用した際、三角圏とは対照的にどのような新たな現象が現れるか？
• RQ5 関手 $i^*$, $i^!$, $j^*$, および $j^!$ は、外三角再構成の文脈においてコターレーション対とどのように作用するか？

主な発見

• $(π_1, π_2)$ と $(σ_1, σ_2)$ がそれぞれ $π$ と $σ$ におけるコターレーション対であり、$i^*$, $i^!$, $j^*$, $j^!$ に関する関数の特定の条件を満たしている場合、貼り合わせられたペア $(β_1, β_2)$ が $β$ におけるコターレーション対を形成することを本稿は確立している。
• 主結果は、チエンによる三角圏における再構成に関する定理を特別な場合として回復しており、従来の研究と整合性を保っている。
• アーベル圏に適用した場合、三角圏とは対照的に、新たな現象が明らかになり、アーベルの文脈においてより豊かな構造が存在することが示唆される。
• mod-$B$ における例では、$τ$-拡張が消えないため、すべての貼り合わせられたペアがコターレーション対であるとは限らないが、特定の選択（例：$τ = π(ρ)$, $σ = ρ(ρ)$）により、有効なコターレーション対が得られる。
• 本稿は、$i_*i^*τ \to τ$ と $j_*j^*σ \to σ$ がそれぞれの部分圏に属する場合、誘導されたペア $(i^*τ, i^!σ)$ および $(j^*τ, j^*σ)$ が $π$ および $σ$ におけるコターレーション対であることが十分であることを示している。
• 例 4.7 では、$τ$-拡張が消えないために一部の貼り合わせペアがコターレーション対でないことが示されているが、$(π(ρ), ρ(ρ))$ のような他のペアは条件を満たしており、mod-$B$ における有効なコターレーション対である。