[論文レビュー] $n$-exangulated categories

Martin Herschend, Yu Liu+1 more|arXiv (Cornell University)|Sep 20, 2017

Algebraic structures and combinatorial models参考文献 21被引用数 24

ひとこと要約

この論文は、高次のホモロジー代数を統一的に扱う枠組みとして、$n$-exangulated 圏を導入する。これは、extriangulated 圏、$n$-exact 圏、$(n+2)$-angulated 圏を一般化するものである。また、十分な射影的・injective を持つ extriangulated 圏における $n$-cluster tilting 部分圏が、弱い条件下で $n$-exangulated であることを示し、Jasso や Geiss-Keller-Oppermann の古典的結果を拡張する。

ABSTRACT

For each positive integer $n$ we introduce the notion of $n$-exangulated categories as higher dimensional analogues of extriangulated categories defined by Nakaoka-Palu. We characterize which $n$-exangulated categories are $n$-exact in the sense of Jasso and which are $(n+2)$-angulated in the sense of Geiss-Keller-Oppermann. For extriangulated categories with enough projectives and injectives we introduce the notion of $n$-cluster tilting subcategories and show that under certain conditions such $n$-cluster tilting subcategories are $n$-exangulated.

研究の動機と目的

• 高次のホモロジー代数を統一するため、$n$-exact 圏、$(n+2)$-angulated 圏、extriangulated 圏の共通一般化として $n$-exangulated 圏を導入すること。
• $n$-exangulated 圏のうち、$n$-exact または $(n+2)$-angulated であるものについての特徴づけを行うこと。
• 十分な射影的・injective を持つ extriangulated 圏における $n$-cluster tilting 部分圏が、適切な条件下で $n$-exangulated であることを示すこと。
• Jasso や Geiss-Keller-Oppermann の古典的結果をより広い圏論的枠組みへと拡張すること。

提案手法

• $\mathbb{E}$ を双加法的関手とし、$\mathbb{E}(C,A)$ の各元に $n$-exangle（$n+2$ 項の列）を割り当てる $\mathfrak{s}$ を備えた三つ組 $(\mathscr{C}, \mathbb{E}, \mathfrak{s})$ として $n$-exangulated 圏を定義する。これは extriangulated 圏の公理を一般化する。
• $n$-exangle の構造を形式化するために、$\mathbf{C}^{n+2}_{(A,C)}$ と $\mathbf{K}^{n+2}_{(A,C)}$ の圏を導入する。
• 次元シフトを用いて、十分な射影的・injective を持つ extriangulated 圏における高次の拡張群 $\mathbb{E}^i$ を定義する。
• $\mathbb{E}^i(\mathcal{T}, \mathcal{T}) = 0$（$1 \leq i \leq n-1$）を満たす部分圏 $\mathcal{T} \subseteq \mathscr{C}$ を $n$-cluster tilting 部分圏として定義する。
• $\mathcal{T}$ が $n$-exangulated 構造を誘導するための条件（$\mathcal{T}$ に関する条件 5.21、$\mathscr{C}$ に関する条件 5.23）を確立する。
• $n$-exangulated 圏が既知のクラスを一般化することを確認する：$1$-exangulated 圏は extriangulated 圏と同値であり、$n$-exact 圏および $(n+2)$-angulated 圏は $n$-exangulated 圏の特別な場合である。

実験結果

リサーチクエスチョン

• RQ1 extriangulated 圏、$n$-exact 圏、$(n+2)$-angulated 圏を、一つの圏論的枠組みで統一することは可能か？
• RQ2 extriangulated 圏における $n$-cluster tilting 部分圏が、どのような条件下で $n$-exangulated であるか？
• RQ3 $n$-exangulated 圏が $n$-exact または $(n+2)$-angulated であるための明確な特徴づけは何か？
• RQ4 十分な射影的・injective を持つ extriangulated 圏における高次の拡張群 $\mathbb{E}^i$ は、どのように振る舞うか？
• RQ5 次元シフトは、この文脈における $n$-cluster tilting 部分圏の定義において、果たす役割は何か？

主な発見

• $n$-exangulated 圏の概念は、extriangulated 圏を一般化する：$1$-exangulated 圏は extriangulated 圏と同値である。
• $n$-exact 圏および $(n+2)$-angulated 圏は、いずれも $n$-exangulated 圏の特別な場合である。
• 十分な射影的・injective を持つ extriangulated 圏 $\mathscr{C}$ における $n$-cluster tilting 部分圏 $\mathcal{T}$ は、$\mathscr{C}$ が条件 5.23 を満たし、$\mathcal{T}$ が条件 5.21 を満たす場合、$n$-exangulated である。
• 条件 5.23 は、$\mathscr{C}$ が三角圏であれば自動的に成り立ち、$\mathscr{C}$ が exact であれば弱い完全性と同値である。
• 条件 5.21 は、$\mathscr{C}$ が exact であれば自動的に成り立ち、$\mathscr{C}$ が三角圏で $\mathcal{T} = \mathcal{T}[n]$ であれば成り立つ。
• この構成により、$n$-exact でも $(n+2)$-angulated でもない $n$-exangulated 圏の具体的な例が得られる。例えば、$n$-表現有限代数の導来圏における $\mathcal{T}^{\leq 0}$ がその例である。