[論文レビュー] Cosilting complexes and AIR-cotilting modules

Peiyu Zhang, Jiaqun Wei|arXiv (Cornell University)|Jan 7, 2016

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

ひとこと要約

本稿では、任意の環上でのモジュール論における3つの双対的概念—コシルティング複体、コシルティングモジュラス、およびAIR-コチルティングモジュラス—を導入し、それらが同値であることを示している。また、これらモジュラスの同値類と2項コシルティング複体、被覆クラス、および被被覆クラスとの間の自然な全単射を確立し、ティルティング理論における古典的双対性結果をコチルティング設定へと拡張している。

ABSTRACT

We introduce and study the new concepts of cosilting complexes, cosilting modules and AIR-cotilting modules. We prove that the three concepts AIR-cotilting modules, cosilting modules and quasi-cotilting modules coincide with each other, in contrast with the dual fact that AIR-tilting modules, silting modules and quasi-tilting modules are different. Further, we show that there are bijections between the following four classes (1) equivalent classes of AIR-cotilting (resp., cosilting, quasi-cotilting) modules, (2) equivalent classes of 2-term cosilting complexes, (3) torsion-free cover classes and (4) torsion-free special precover classes. We also extend a classical result of Auslander and Reiten on the correspondence between certain contravariantly finite subcategories and cotilting modules to the case of cosilting complexes.

研究の動機と目的

• コシルティング複体、コシルティングモジュラス、およびAIR-コチルティングモジュラスという新しい概念を導入し、シルティングおよびティルティングの双対的対応として体系的に研究すること。
• 任意の環上でのAIR-コチルティングモジュラス、コシルティングモジュラス、および準コチルティングモジュラスの同値性を確立し、ティルティングの場合に知られている区別とは対照的に示すこと。
• オースランダーとレイテンによる、反変的に有限な部分カテゴリとコチルティングモジュラスとの間の対応関係を、導来およびコシルティングの設定へと拡張すること。
• AIR-コチルティング（またはコシルティング）モジュラスの同値類と、主要な被被覆系クラスとの間の全単射を確立すること。

提案手法

• 環 $ R $ 上のコシルティング複体 $ T $ を、次の3条件を満たす有界なインジェクティブ・モジュラスの複体として定義する：(1) $ T o ext{Inj}(R) $、(2) $ T $ はプロダクト半自己直交的である、(3) $ ext{K}^b( ext{Inj}(R)) $ は $ ext{Adp}_{ ext{D}}(T) $ を含む最小の三角的部分カテゴリである。
• 導来カテゴリ $ ext{D}( ext{Mod}R) $ を用いて、コシルティング複体の同型類を定義し、それらを導来同型を通じてモジュラスと関連付ける。
• 2つの完全列（射影的表示と直積上でのホモロジー関手の上への性質）を用いて、AIR-コチルティングモジュラスを定義する。
• $ \text{Cogen}M $ および $ \text{F}_\rho $ をインジェクティブ・コプロセントレーション $ \rho $ に対して定義し、これらを用いて部分的および完全なAIR-コチルティングモジュラスを特徴付ける。
• 補題4.15および補題4.17を適用して、インジェクティブ写像の分解を行い、$ \text{F}_\rho $-クラスがホモロジー関手の核条件と関連することを示す。
• 被被覆写像およびエクステント・インジェクティブ性の性質を用いて、(1) ⇒ (2) ⇒ (3) ⇒ (1) の含意の鎖を用いて、3つのモジュラス類の同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 任意の環上でのコシルティング複体、コシルティングモジュラス、およびAIR-コチルティングモジュラスは同値な概念であるか？
• RQ2 コシルティング複体は、被被覆クラスおよび被被覆特別被被覆クラスとどのように関係しているか？
• RQ3 反変的に有限な部分カテゴリとコチルティングモジュラスとの間の古典的オースランダー＝レイテン対応関係は、導来およびコシルティングの設定へと拡張可能か？
• RQ4 コシルティングモジュラスは、純粋性およびコフィニテネスに関してどのような特徴づけおよび構造的性質を持つのか？
• RQ5 最小のインジェクティブ・コプロセントレーションは、部分的および完全なAIR-コチルティングモジュラスの特徴づけにおいて果たす役割は何か？

主な発見

• 任意の単位的環上では、コシルティング複体、コシルティングモジュラス、およびAIR-コチルティングモジュラスは同値な概念である。
• コシルティングモジュラスは常に純粋インジェクティブであり、コフィニテである。また、任意のコシルティングモジュラスは準コチルティングである。
• AIR-コチルティング（またはコシルティング、または準コチルティング）モジュラスの同値類と2項コシルティング複体の同値類との間には全単射が存在する。
• AIR-コチルティングモジュラスの同値類と被被覆クラスの同値類との間には全単射が存在する。
• AIR-コチルティングモジュラスの同値類と被被覆特別被被覆クラスの同値類との間には全単射が存在する。
• 反変的に有限な部分カテゴリとコチルティングモジュラスとの間の古典的オースランダー＝レイテン対応関係は、任意の環上のコシルティング複体へと拡張されている。