arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1703.04745math.RTmath.RA
收藏

纯投射倾斜模

Pure Projective Tilting Modules

Silvana Bazzoni, Ivo Herzog, Pavel Příhoda, Jan Šaroch, Jan Trlifaj

摘要:

设$T$是一个$1$ -倾斜模,它的倾斜挠对$({\mathcal T}, {\mathcal F})$具有这样的性质:导出的$t$ -结构(在导出范畴${\mathcal D}({\rm Mod} \mbox{-} R)$中)的中心${\mathcal H}_t$是Grothendieck.证明了这类倾斜扭偶的几个特征:(1)$1$ -倾斜模$T$是纯投射的;(2)${\mathcal T}$是${\rm Mod} \mbox{-} R$的一个可定义子范畴,且有足够的纯投射;(3)类${\mathcal T}$和${\mathcal F}$都是可公理化的.这项研究解决了Saorín提出的问题,即心脏是否等同于一个模块类别,即,纯投射$1$ -倾斜模是否倾斜等价于一个非对称呈现模。对于Krull-Schmidt环和交换环,答案是肯定的,每个纯投射$1$ -倾斜模都是投射的。一个标准是发现,产生一个否定的答案Saorín的问题的左,右诺特环。对于Dubrovin-Puninski环也得到了否定的答案,其理论在附录中介绍。Dubrovin-Puninski环也提供了以下例子:(1)非经典的纯投射$2$ -倾斜模;(2)非淤积的finendo拟倾斜模;(3)存在左几乎分裂态射$m: A \to B,$但不存在以$A.$开始的几乎分裂序列的非内射模$A$

英文摘要:

Let $T$ be a $1$-tilting module whose tilting torsion pair $({\mathcal T}, {\mathcal F})$ has the property that the heart ${\mathcal H}_t$ of the induced $t$-structure (in the derived category ${\mathcal D}({\rm Mod} \mbox{-} R)$ is Grothendieck. It is proved that such tilting torsion pairs are characterized in several ways: (1) the $1$-tilting module $T$ is pure projective; (2) ${\mathcal T}$ is a definable subcategory of ${\rm Mod} \mbox{-} R$ with enough pure projectives, and (3) both classes ${\mathcal T}$ and ${\mathcal F}$ are finitely axiomatizable. This study addresses the question of Saorín that asks whether the heart is equivalent to a module category, i.e., whether the pure projective $1$-tilting module is tilting equivalent to a finitely presented module. The answer is positive for a Krull-Schmidt ring and for a commutative ring, every pure projective $1$-tilting module is projective. A criterion is found that yields a negative answer to Saorín's Question for a left and right noetherian ring. A negative answer is also obtained for a Dubrovin-Puninski ring, whose theory is covered in the Appendix. Dubrovin-Puninski rings also provide examples of (1) a pure projective $2$-tilting module that is not classical; (2) a finendo quasi-tilting module that is not silting; and (3) a noninjective module $A$ for which there exists a left almost split morphism $m: A \to B,$ but no almost split sequence beginning with $A.$

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑