[论文解读] Self-injective commutative rings have no nontrivial rigid ideals

Haydee Lindo|arXiv (Cornell University)|Oct 4, 2017

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

一句话总结

该论文证明了自内射交换环——特别是局部阿廷诺尔戈伦斯坦环——不具有非平凡的刚性理想。通过将迹模与Ext的消失性联系起来，证明了任意真迹模（包括理想）的同调模必须具有非零自扩张，从而表明在此类环中只有自由模可以是刚性的，因此证实了此类环上理想关于奥苏拉德-雷滕猜想的成立。

ABSTRACT

We establish a link between trace modules and rigidity in modules over Noetherian rings. Using the theory of trace ideals we make partial progress on a question of Dao, and on the Auslander-Reiten conjecture over Artinian Gorenstein rings.

研究动机与目标

• 研究诺诺尔德环上模的迹模与刚性之间的相互作用。
• 回应Dao提出的问题：关于阿廷诺尔戈伦斯坦环中理想的刚性问题。
• 为阿廷诺尔戈伦斯坦环上理想的部分确认奥苏拉德-雷滕猜想。
• 刻画真迹模何时为刚性，特别是在自内射环的背景下。
• 建立同调模的Ext¹消失或不消失的条件。

提出的方法

• 利用迹理想与迹模的理论，其定义为从一个模到另一个模的所有同态像的和。
• 应用引理2.7，该引理将Hom(M, X/M)的消失性与M在X中为迹模联系起来，尤其当M为刚性时成立。
• 利用在阿廷诺尔戈伦斯坦环中，每个真理想都是迹理想且环为自内射的性质。
• 利用在戈伦斯坦环中，刚性（即Ext¹(M,M)的消失）在取同调模时保持不变的性质。
• 利用Hom(M, X/M)消失与M为迹模之间的等价性，当假设非自由模为刚性时导出矛盾。
• 应用戈伦斯坦环理论中的结果，包括Ext¹仅在模不是真迹模时才消失的事实。

实验结果

研究问题

• RQ1 在局部阿廷诺尔戈伦斯坦环中，非自由理想是否可以是刚性的？
• RQ2 在局部阿artin诺尔戈伦斯坦环中，真迹模的同调模M满足Ext¹(M,M)消失的条件是什么？
• RQ3 奥苏拉德-雷滕猜想是否对阿廷诺尔戈伦斯坦环中的理想成立？
• RQ4 在环中，真迹模何时也是刚性的？
• RQ5 在自内射环中，迹理想与Ext群消失性之间存在何种关系？

主要发现

• 在局部阿廷诺尔戈伦斯坦环中，每个真理想都是迹理想，如命题3.1所确立。
• 若M是局部阿廷诺尔戈伦斯坦环上真迹模的同调模，则Ext¹_R(M,M) ≠ 0，如定理3.9所证明。
• 在该类环中，作为理想同调模出现的刚性模必为自由模，如推论3.10所示。
• 在局部阿廷诺尔戈伦斯坦环中，所有理想的奥苏拉德-雷滕猜想均成立，因为在此类设定中只有自由模可以是刚性模。
• 对于真理想I，若Hom_R(I, R/I) ≠ 0，则I不能是刚性模，此条件被用于排除非自由刚性模的存在。
• 在局部阿廷诺尔戈伦斯坦环中，由于Hom(I, R/I)非零，导致Ext¹非零，因此不存在非平凡的真迹理想是刚性的。