[論文レビュー] Hearts of twin Cotorsion pairs on extriangulated categories

Yu Liu, Hiroyuki Nakaoka|arXiv (Cornell University)|Feb 1, 2017

Algebraic structures and combinatorial models参考文献 16被引用数 6

ひとこと要約

本稿は、完全カテゴリーと三角カテゴリーを一般化する、外微分的カテゴリーにおけるコタORSION対のハートを統一的に研究する枠組みを確立する。ハートがアーベル的であること、およびそれへのコホモロジー的関手の構成を示す。主な結果として、外微分的カテゴリーに十分な射影対象が存在するとき、ハートはコハート上の有界関手の圏を射影対象で割ったものと同値であり、$n$-クラスター傾き部分カテゴリーは、互いに同値なハートを持つコタORSION対の族を誘導することを示す。

ABSTRACT

In this article, we study the heart of a cotorsion pairs on an exact category and a triangulated category in a unified meathod, by means of the notion of an extriangulated category. We prove that the heart is abelian, and construct a cohomological functor to the heart. If the extriangulated category has enough projectives, this functor gives an equivalence between the heart and the category of coherent functors over the coheart modulo projectives. We also show how an n-cluster tilting subcategory of an extriangulated category gives rise to a family of cotorsion pairs with equivalent hearts.

研究の動機と目的

• 外微分的カテゴリーの枠組みを用いて、完全カテゴリーと三角カテゴリーにおけるコタORSION対のハートの研究を統一すること。
• 外微分的カテゴリーにおけるコタORSION対のハートがアーベル的であること、完全カテゴリーおよび三角カテゴリーの既知の結果を一般化すること。
• 外微分的カテゴリーからハートへのコホモロジー的関手を構成し、ホモロジー的ブリッジを提供すること。
• 外微分的カテゴリーに十分な射影対象が存在する場合、ハートとコハートを射影対象で割った有界関手の圏との同値性を確立すること。
• $n$-クラスター傾き部分カテゴリーが、互いに同値なハートを持つコタORSION対の族を誘導することを示すこと。

提案手法

• 完全カテゴリーと三角カテゴリーを統一する枠組みとして、外微分的カテゴリーの概念を用いる。
• 二重コタORSION対を定義・分析し、随伴性と拡張構造を用いてハートが半アーベル的であることを証明する。
• 単一のコタORSION対に特化し、ハートがアーベル的であることと、関連する関手がコホモロジー的であることの証明を行う。
• コハートとコタORSION対の核を導入し、ハートに十分な射影対象が存在する条件を確立する。
• 外微分的カテゴリーに十分な射影対象が存在する場合、ハートがコハート上の有界関手の圏を射投影対象で割ったものと同値であることを証明する。
• $n$-クラスター傾き部分カテゴリーからコタORSION対の系列を構成し、コアとコハート構造を用いてそれらのハートが同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 コタORSION対のハートの理論を、完全カテゴリーと三角カテゴリーの間でどのように統一できるか？
• RQ2 外微分的カテゴリーにおけるコタORSION対のハートがアーベル的であるのはどのような条件下か？
• RQ3 コタORSION対のハートに十分な射影対象が存在するのはどのような場合か？また、これはコハートを射投影対象で割った有界関手の圏とどのように関係するか？
• RQ4 外微分的カテゴリーにおける$n$-クラスター傾き部分カテゴリーは、互いに同値なハートを持つコタORSION対の族をどのように誘導するか？
• RQ5 核とコハートは、コタORSION対のハートの構造と同値性を決定づける上で果たす役割は何か？

主な発見

• 外微分的カテゴリーにおけるコタORSION対のハートはアーベル的であり、完全カテゴリーおよび三角カテゴリーにおける既知の結果を一般化する。
• 外微分的カテゴリーからハートへのコホモロジー的関手が構成され、ホモロジー的リンクを提供する。
• 外微分的カテゴリーに十分な射影対象が存在する場合、ハートはコハート上の有界関手の圏を射投影対象で割ったものと同値である。
• ハートに十分な射影対象が存在するのは、コタORSION対の核がコハートに関連するある条件を満たすときであり、かつそのときに限る。
• $n$-クラスター傾き部分カテゴリーは、$n-1$個のコタORSION対を誘導し、それらのハートはすべて同値であり、それぞれ$\operatorname{mod}(\mathcal{M}/\mathcal{P})$と同値である。
• $n$-クラスター傾き部分カテゴリーから誘導されるすべてのコタORSION対は、同じコア$\Sigma^{\ell-1}\mathcal{M}$とコハート$\mathcal{M}$を持つため、ハートが同値である。