[論文レビュー] Intervals of $s$-torsion pairs in extriangulated categories with negative first extensions

Takahide Adachi, Haruhisa Enomoto+1 more|arXiv (Cornell University)|Mar 17, 2021

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

ひとこと要約

この論文は、負の第一拡張を備えた外拡張カテゴリにおける $s$-torsion ペアを導入し、三角化カテゴリにおける $t$-構造とアーベリアンカテゴリにおける torsion ペアを一般化する。区間の $s$-torsion ペアとそれらの対応するハートにおける $s$-torsion ペアの間の順序集合同型を確立し、HRS-tilt と $\tau$-tilting 減少枠組みを、ハート構成の圏論的一般化を通じて統一する。

ABSTRACT

As a general framework for the studies of $t$-structures on triangulated categories and torsion pairs in abelian categories, we introduce the notions of extriangulated categories with negative first extensions and $s$-torsion pairs. We define a heart of an interval in the poset of $s$-torsion pairs, which naturally becomes an extriangulated category with a negative first extension. This notion generalizes hearts of $t$-structures on triangulated categories and hearts of twin torsion pairs in abelian categories. In this paper, we show that an interval in the poset of $s$-torsion pairs is bijectively associated with $s$-torsion pairs in the corresponding heart. This bijection unifies two well-known bijections: One is the bijection induced by HRS-tilt of $t$-structures on triangulated categories. The other is Asai--Pfeifer's and Tattar's bijections for torsion pairs in an abelian category, which is related to $τ$-tilting reduction and brick labeling.

研究の動機と目的

• 三角化カテゴリにおける $t$-構造とアーベリアンカテゴリにおける torsion ペアを、外拡張カテゴリを用いて統一的な枠組みで研究するためのもの。
• 負の第一拡張を備えた外拡張カテゴリにおける $s$-torsion ペアの定義と研究を行い、$t$-構造と torsion ペアの両方を一般化すること。
• 区間の $s$-torsion ペアのハートを、負の第一拡張を備えた外拡張カテゴリとして定義すること。
• 区間の $s$-torsion ペアとそのハートにおける $s$-torsion ペアの間の順序集合同型を確立し、2つの既知の双対性を統一すること。

提案手法

• 外拡張カテゴリにおける負の第一拡張 $\mathbb{E}^{-1}$ の概念を導入し、$t$-構造における負の第一拡張の消滅を一般化する。
• $\mathbb{E}^{-1}(\mathcal{T},\mathcal{F}) = 0$ を満たす torsion ペアとして $s$-torsion ペアを定義する。
• 順序集合における $s$-torsion ペアの区間 $[t_1,t_2]$ のハート $\mathcal{H}_{[t_1,t_2]} = \mathcal{T}_2 \cap \mathcal{F}_1$ を構成する。
• ハートが自然に負の第一拡張を備えた外拡張カテゴリの構造を引き継ぐことを示す。
• $[t_1,t_2]$ と $\mathcal{H}_{[t_1,t_2]}$ における $s$-torsion ペアの順序集合の間の順序集合同型を証明する。
• 一般結果を応用し、既知の双対性を回復する：三角化カテゴリの場合に HRS-tilt 双対性、アーベリアンカテゴリにおける torsion ペアの場合に Asai–Pfeifer／Tattar の双対性。

実験結果

リサーチクエスチョン

• RQ1 三角化カテゴリにおける $t$-構造とアーベリアンカテゴリにおける torsion ペアを、共通の圏論的枠組みで統一することは可能か？
• RQ2 負の第一拡張を備えた外拡張カテゴリにおける $t$-構造と torsion ペアの適切な一般化は何か？
• RQ3 区間の $s$-torsion ペアのハートは、負の第一拡張を備えた圏としてどのように振る舞うか？
• RQ4 区間の $s$-torsion ペアとそのハートにおける $s$-torsion ペアの間には、自然な順序集合同型が存在するか？
• RQ5 HRS-tilt と $\tau$-tilting 減少の双対性は、単一の一般的構成の特別な場合として回復可能か？

主な発見

• 負の第一拡張を備えた外拡張カテゴリにおける $s$-torsion ペアの順序集合の区間 $[t_1,t_2]$ は、そのハート $\mathcal{H}_{[t_1,t_2]}$ における $s$-torsion ペアの順序集合と順序集合同型である。
• ハート $\mathcal{H}_{[t_1,t_2]} = \mathcal{T}_2 \cap \mathcal{F}_1$ は、自然に負の第一拡張を備えた外拡張カテゴリの構造を引き継ぐ。
• 一般定理により、カテゴリが三角化カテゴリの場合に HRS-tilt 双対性（$t$-構造とハートにおける torsion ペアの間の双対性）が特別な場合として回復される。
• 一般定理により、アーベリアンカテゴリにおける torsion ペアの Asai–Pfeifer および Tattar の双対性も $\tau$-tilting 減少を介して回復される。
• 有限な非循環クイバーの場合、$s$-torsion ペアの順序集合は後続閉部分集合に対応し、同型はクイバーの部分クイバーの組合せ論と整合的である。
• 同型は、$I \mapsto I \setminus I_1$ および $J \mapsto I_1 \cup J$ による明示的構成により与えられ、区間の順序集合と部分クイバーの順序集合を結びつける。