[论文解读] Cosilting complexes and AIR-cotilting modules

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

Algebraic structures and combinatorial models参考文献 18被引用 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 $ 定义为在内射模中的有界复形，满足三个条件：(1) $ T o ext{Inj}(R) $，(2) $ T $ 是prod-半自正交的，(3) $ ext{K}^b( ext{Inj}(R)) $ 是包含 $ ext{Adp}_{ ext{D}}(T) $ 的最小三角子范畴。
• 利用导出范畴 $ ext{D}( ext{Mod}R) $ 定义余倾复形的同构类，并通过导出同构将其与模联系起来。
• 通过涉及投射表示与在直积上同态函子的满射性的两个正合序列，引入AIR-余倾模。
• 对内射共表示 $ ho $，定义 $ ext{Cogen}M $ 和 $ ext{F}_ ho $，并利用这些概念刻画部分与完整的AIR-余倾模。
• 应用引理4.15与引理4.17，分解内射映射，并将 $ ext{F}_ ho $-类与同态函子的核条件联系起来。
• 通过链式蕴含 (1) ⇒ (2) ⇒ (3) ⇒ (1) 证明三类模的等价性，利用预覆盖映射与Ext-内射性的性质。

实验结果

研究问题

• RQ1 在任意环上，余倾复形、余倾模与AIR-余倾模是否为等价概念？
• RQ2 余倾复形如何与无挠覆盖类及无挠特殊预覆盖类相关联？
• RQ3 经典奥尔施泰因–雷滕对应关系（协变有限子范畴与余倾模之间）能否推广至导出与余倾设定？
• RQ4 余倾模具有哪些刻画与结构性质，特别是关于纯性与余有限性？
• RQ5 最小内射共表示在刻画部分与完整AIR-余倾模中起什么作用？

主要发现

• 在任意含单位元的环上，余倾复形、余倾模与AIR-余倾模是等价概念。
• 余倾模总是纯内射且余有限，并且每个余倾模都是拟余倾模。
• AIR-余倾（或余倾，或拟余倾）模的等价类与2-项余倾复形的等价类之间存在双射。
• AIR-余倾模的等价类与无挠覆盖类之间存在双射。
• AIR-余倾模的等价类与无挠特殊预覆盖类之间存在双射。
• 经典奥尔施泰因–雷滕对应关系（协变有限子范畴与余倾模之间）已推广至任意环上的余倾复形。